runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/inescp-1.0/218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/debian-dudf//218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/inescp-1.0/218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debian-dudf.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.88 1.00 0.99 2/36 6374 /proc/meminfo: memFree=928976/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=2384 CPUtime=0 /proc/6375/stat : 6375 (inescp-1.0) R 6374 6374 3447 769 3447 4194368 57 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 83 1283457024 134512640 135191968 4292630704 18446744073709551615 4158854186 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6375/statm: 596 83 43 166 0 28 0 [startup+0.131378 s] /proc/loadavg: 0.88 1.00 0.99 2/36 6374 /proc/meminfo: memFree=928976/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=4008 CPUtime=0 /proc/6375/stat : 6375 (cudf-solver.py) S 6374 6374 3447 769 3447 4202496 748 0 1 0 0 0 0 0 25 0 1 0 526834600 4104192 644 1283457024 134512640 135539072 4286849840 18446744073709551615 4158704030 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6375/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6392 [startup+0.207355 s] /proc/loadavg: 0.88 1.00 0.99 2/36 6374 /proc/meminfo: memFree=928976/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=4008 CPUtime=0 /proc/6375/stat : 6375 (cudf-solver.py) S 6374 6374 3447 769 3447 4202496 748 0 1 0 0 0 0 0 25 0 1 0 526834600 4104192 644 1283457024 134512640 135539072 4286849840 18446744073709551615 4158704030 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6375/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6392 [startup+0.307388 s] /proc/loadavg: 0.88 1.00 0.99 2/36 6374 /proc/meminfo: memFree=928976/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=4008 CPUtime=0 /proc/6375/stat : 6375 (cudf-solver.py) S 6374 6374 3447 769 3447 4202496 748 0 1 0 0 0 0 0 25 0 1 0 526834600 4104192 644 1283457024 134512640 135539072 4286849840 18446744073709551615 4158704030 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6375/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6392 [startup+0.707433 s] /proc/loadavg: 0.88 1.00 0.99 2/36 6374 /proc/meminfo: memFree=928976/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=4008 CPUtime=0 /proc/6375/stat : 6375 (cudf-solver.py) S 6374 6374 3447 769 3447 4202496 748 0 1 0 0 0 0 0 25 0 1 0 526834600 4104192 644 1283457024 134512640 135539072 4286849840 18446744073709551615 4158704030 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6375/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6392 [startup+1.51631 s] /proc/loadavg: 0.88 1.00 0.99 1/47 6385 /proc/meminfo: memFree=905620/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=4008 CPUtime=0 /proc/6375/stat : 6375 (cudf-solver.py) S 6374 6374 3447 769 3447 4202496 748 0 1 0 0 0 0 0 25 0 1 0 526834600 4104192 644 1283457024 134512640 135539072 4286849840 18446744073709551615 4158704030 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6375/statm: 1002 644 348 251 0 303 0 [pid=6377] ppid=6375 vsize=864828 CPUtime=0.27 /proc/6377/stat : 6377 (java) S 6375 6374 3447 769 3447 4202496 6962 0 229 0 27 0 0 0 23 0 9 0 526834601 885583872 6078 1283457024 134512640 134550932 4289214544 18446744073709551615 4160349330 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6377/statm: 216207 6078 2715 10 0 210545 0 [pid=6377/tid=6378] ppid=6375 vsize=864828 CPUtime=0.17 /proc/6377/task/6378/stat : 6378 (java) R 6375 6374 3447 769 3447 4202560 2719 0 158 0 17 0 0 0 19 0 9 0 526834626 885583872 6078 1283457024 134512640 134550932 4289214544 18446744073709551615 4125011598 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6377/tid=6379] ppid=6375 vsize=864828 CPUtime=0.05 /proc/6377/task/6379/stat : 6379 (java) S 6375 6374 3447 769 3447 4202560 2756 0 24 0 5 0 0 0 16 0 9 0 526834639 885583872 6078 1283457024 134512640 134550932 4289214544 18446744073709551615 4160363528 0 0 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6377/tid=6380] ppid=6375 vsize=864828 CPUtime=0 /proc/6377/task/6380/stat : 6380 (java) S 6375 6374 3447 769 3447 4202560 15 0 0 0 0 0 0 0 15 0 9 0 526834644 885583872 6078 1283457024 134512640 134550932 4289214544 18446744073709551615 4160362736 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6377/tid=6381] ppid=6375 vsize=864828 CPUtime=0 /proc/6377/task/6381/stat : 6381 (java) S 6375 6374 3447 769 3447 4202560 7 0 1 0 0 0 0 0 15 0 9 0 526834644 885583872 6078 1283457024 134512640 134550932 4289214544 18446744073709551615 4160362736 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6377/tid=6382] ppid=6375 vsize=864828 CPUtime=0 /proc/6377/task/6382/stat : 6382 (java) S 6375 6374 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526834653 885583872 6078 1283457024 134512640 134550932 4289214544 18446744073709551615 4160371024 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6377/tid=6383] ppid=6375 vsize=864828 CPUtime=0.04 /proc/6377/task/6383/stat : 6383 (java) S 6375 6374 3447 769 3447 4202560 410 0 8 0 4 0 0 0 17 0 9 0 526834653 885583872 6078 1283457024 134512640 134550932 4289214544 18446744073709551615 4160362736 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6377/tid=6384] ppid=6375 vsize=864828 CPUtime=0 /proc/6377/task/6384/stat : 6384 (java) S 6375 6374 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526834653 885583872 6078 1283457024 134512640 134550932 4289214544 18446744073709551615 4160362736 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6377/tid=6385] ppid=6375 vsize=864828 CPUtime=0 /proc/6377/task/6385/stat : 6385 (java) S 6375 6374 3447 769 3447 4202560 1 0 0 0 0 0 0 0 16 0 9 0 526834653 885583872 6078 1283457024 134512640 134550932 4289214544 18446744073709551615 4160363528 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 871220 [startup+3.13664 s] /proc/loadavg: 0.88 1.00 0.99 2/47 6385 /proc/meminfo: memFree=870344/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=4008 CPUtime=0 /proc/6375/stat : 6375 (cudf-solver.py) S 6374 6374 3447 769 3447 4202496 748 0 1 0 0 0 0 0 25 0 1 0 526834600 4104192 644 1283457024 134512640 135539072 4286849840 18446744073709551615 4158704030 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6375/statm: 1002 644 348 251 0 303 0 [pid=6377] ppid=6375 vsize=865896 CPUtime=1.88 /proc/6377/stat : 6377 (java) S 6375 6374 3447 769 3447 4202496 22469 0 229 0 180 8 0 0 23 0 9 0 526834601 886677504 20628 1283457024 134512640 134550932 4289214544 18446744073709551615 4160349330 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6377/statm: 216474 20628 2715 10 0 210812 0 [pid=6377/tid=6378] ppid=6375 vsize=865896 CPUtime=1.06 /proc/6377/task/6378/stat : 6378 (java) R 6375 6374 3447 769 3447 4202560 3263 0 158 0 106 0 0 0 21 0 9 0 526834626 886677504 20628 1283457024 134512640 134550932 4289214544 18446744073709551615 4160373447 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6377/tid=6379] ppid=6375 vsize=865896 CPUtime=0.77 /proc/6377/task/6379/stat : 6379 (java) R 6375 6374 3447 769 3447 4202560 17707 0 24 0 69 8 0 0 16 0 9 0 526834639 886677504 20628 1283457024 134512640 134550932 4289214544 18446744073709551615 102768030 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=6377/tid=6380] ppid=6375 vsize=865896 CPUtime=0 /proc/6377/task/6380/stat : 6380 (java) S 6375 6374 3447 769 3447 4202560 15 0 0 0 0 0 0 0 15 0 9 0 526834644 886677504 20628 1283457024 134512640 134550932 4289214544 18446744073709551615 4160362736 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6377/tid=6381] ppid=6375 vsize=865896 CPUtime=0 /proc/6377/task/6381/stat : 6381 (java) S 6375 6374 3447 769 3447 4202560 7 0 1 0 0 0 0 0 15 0 9 0 526834644 886677504 20628 1283457024 134512640 134550932 4289214544 18446744073709551615 4160362736 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6377/tid=6382] ppid=6375 vsize=865896 CPUtime=0 /proc/6377/task/6382/stat : 6382 (java) S 6375 6374 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526834653 886677504 20628 1283457024 134512640 134550932 4289214544 18446744073709551615 4160371024 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6377/tid=6383] ppid=6375 vsize=865896 CPUtime=0.04 /proc/6377/task/6383/stat : 6383 (java) S 6375 6374 3447 769 3447 4202560 422 0 8 0 4 0 0 0 15 0 9 0 526834653 886677504 20628 1283457024 134512640 134550932 4289214544 18446744073709551615 4160362736 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6377/tid=6384] ppid=6375 vsize=865896 CPUtime=0 /proc/6377/task/6384/stat : 6384 (java) S 6375 6374 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526834653 886677504 20628 1283457024 134512640 134550932 4289214544 18446744073709551615 4160362736 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=6377/tid=6385] ppid=6375 vsize=865896 CPUtime=0 /proc/6377/task/6385/stat : 6385 (java) S 6375 6374 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 9 0 526834653 886677504 20628 1283457024 134512640 134550932 4289214544 18446744073709551615 4160363528 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 872288 heavy processes: [startup+6.30674 s] /proc/loadavg: 1.05 1.04 1.00 1/40 6388 /proc/meminfo: memFree=899588/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=4008 CPUtime=3.95 /proc/6375/stat : 6375 (cudf-solver.py) S 6374 6374 3447 769 3447 4202496 777 42185 1 240 0 0 369 26 18 0 1 0 526834600 4104192 644 1283457024 134512640 135539072 4286849840 18446744073709551615 4158704030 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6375/statm: 1002 644 348 251 0 303 0 [pid=6387] ppid=6375 vsize=2896 CPUtime=0 /proc/6387/stat : 6387 (sh) S 6375 6374 3447 769 3447 4194304 359 0 0 0 0 0 0 0 18 0 1 0 526835137 2965504 324 1283457024 134512640 135191968 4288269600 18446744073709551615 4159478174 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6387/statm: 724 324 221 166 0 156 0 [pid=6388] ppid=6387 vsize=3616 CPUtime=0.86 /proc/6388/stat : 6388 (pb2wcnf) R 6387 6374 3447 769 3447 4202496 728 0 13 0 84 2 0 0 24 0 1 0 526835138 3702784 663 1283457024 134512640 135650584 4291381328 18446744073709551615 135125636 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6388/statm: 904 663 93 278 0 624 0 Current children cumulated CPU time (s) 4.81 Current children cumulated vsize (KiB) 12904 heavy processes: [startup+12.7072 s] /proc/loadavg: 1.05 1.03 1.00 2/40 6390 /proc/meminfo: memFree=845532/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=4008 CPUtime=6.5 /proc/6375/stat : 6375 (cudf-solver.py) S 6374 6374 3447 769 3447 4202496 806 44103 1 253 0 0 558 92 18 0 1 0 526834600 4104192 644 1283457024 134512640 135539072 4286849840 18446744073709551615 4158704030 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6375/statm: 1002 644 348 251 0 303 0 [pid=6389] ppid=6375 vsize=2896 CPUtime=0 /proc/6389/stat : 6389 (sh) S 6375 6374 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 526835398 2965504 325 1283457024 134512640 135191968 4287366208 18446744073709551615 4159572382 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6389/statm: 724 325 221 166 0 156 0 [pid=6390] ppid=6389 vsize=47028 CPUtime=4.64 /proc/6390/stat : 6390 (msuncore) R 6389 6374 3447 769 3447 4202496 53957 0 14 0 442 22 0 0 25 0 1 0 526835398 48156672 11438 1283457024 134512640 135858300 4288543312 18446744073709551615 134671120 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6390/statm: 11757 11438 134 329 0 11426 0 Current children cumulated CPU time (s) 11.14 Current children cumulated vsize (KiB) 56316 Solver just ended. Dumping a history of the last processes samples [startup+15.9083 s] /proc/loadavg: 1.04 1.03 1.00 2/40 6390 /proc/meminfo: memFree=845160/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=4008 CPUtime=6.5 /proc/6375/stat : 6375 (cudf-solver.py) S 6374 6374 3447 769 3447 4202496 806 44103 1 253 0 0 558 92 18 0 1 0 526834600 4104192 644 1283457024 134512640 135539072 4286849840 18446744073709551615 4158704030 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6375/statm: 1002 644 348 251 0 303 0 [pid=6389] ppid=6375 vsize=2896 CPUtime=0 /proc/6389/stat : 6389 (sh) S 6375 6374 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 526835398 2965504 325 1283457024 134512640 135191968 4287366208 18446744073709551615 4159572382 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6389/statm: 724 325 221 166 0 156 0 [pid=6390] ppid=6389 vsize=111312 CPUtime=7.84 /proc/6390/stat : 6390 (msuncore) R 6389 6374 3447 769 3447 4202496 70044 0 14 0 756 28 0 0 25 0 1 0 526835398 113983488 27525 1283457024 134512640 135858300 4288543312 18446744073709551615 135336861 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6390/statm: 27828 27525 137 329 0 27497 0 Current children cumulated CPU time (s) 14.34 Current children cumulated vsize (KiB) 120600 [startup+17.5089 s] /proc/loadavg: 1.04 1.03 1.00 2/40 6390 /proc/meminfo: memFree=844168/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=4008 CPUtime=6.5 /proc/6375/stat : 6375 (cudf-solver.py) S 6374 6374 3447 769 3447 4202496 806 44103 1 253 0 0 558 92 18 0 1 0 526834600 4104192 644 1283457024 134512640 135539072 4286849840 18446744073709551615 4158704030 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6375/statm: 1002 644 348 251 0 303 0 [pid=6389] ppid=6375 vsize=2896 CPUtime=0 /proc/6389/stat : 6389 (sh) S 6375 6374 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 526835398 2965504 325 1283457024 134512640 135191968 4287366208 18446744073709551615 4159572382 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6389/statm: 724 325 221 166 0 156 0 [pid=6390] ppid=6389 vsize=47636 CPUtime=9.44 /proc/6390/stat : 6390 (msuncore) R 6389 6374 3447 769 3447 4202496 70044 0 14 0 914 30 0 0 25 0 1 0 526835398 48779264 11630 1283457024 134512640 135858300 4288543312 18446744073709551615 135336861 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6390/statm: 11909 11630 137 329 0 11578 0 Current children cumulated CPU time (s) 15.94 Current children cumulated vsize (KiB) 56924 [startup+19.1094 s] /proc/loadavg: 1.04 1.03 1.00 2/40 6390 /proc/meminfo: memFree=844168/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=4008 CPUtime=6.5 /proc/6375/stat : 6375 (cudf-solver.py) S 6374 6374 3447 769 3447 4202496 806 44103 1 253 0 0 558 92 18 0 1 0 526834600 4104192 644 1283457024 134512640 135539072 4286849840 18446744073709551615 4158704030 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6375/statm: 1002 644 348 251 0 303 0 [pid=6389] ppid=6375 vsize=2896 CPUtime=0 /proc/6389/stat : 6389 (sh) S 6375 6374 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 526835398 2965504 325 1283457024 134512640 135191968 4287366208 18446744073709551615 4159572382 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6389/statm: 724 325 221 166 0 156 0 [pid=6390] ppid=6389 vsize=47636 CPUtime=11.04 /proc/6390/stat : 6390 (msuncore) R 6389 6374 3447 769 3447 4202496 70044 0 14 0 1074 30 0 0 25 0 1 0 526835398 48779264 11630 1283457024 134512640 135858300 4288543312 18446744073709551615 134657737 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6390/statm: 11909 11630 137 329 0 11578 0 Current children cumulated CPU time (s) 17.54 Current children cumulated vsize (KiB) 56924 [startup+19.9098 s] /proc/loadavg: 1.04 1.03 1.00 2/40 6390 /proc/meminfo: memFree=844292/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=4008 CPUtime=6.5 /proc/6375/stat : 6375 (cudf-solver.py) S 6374 6374 3447 769 3447 4202496 806 44103 1 253 0 0 558 92 18 0 1 0 526834600 4104192 644 1283457024 134512640 135539072 4286849840 18446744073709551615 4158704030 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6375/statm: 1002 644 348 251 0 303 0 [pid=6389] ppid=6375 vsize=2896 CPUtime=0 /proc/6389/stat : 6389 (sh) S 6375 6374 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 526835398 2965504 325 1283457024 134512640 135191968 4287366208 18446744073709551615 4159572382 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6389/statm: 724 325 221 166 0 156 0 [pid=6390] ppid=6389 vsize=47636 CPUtime=11.84 /proc/6390/stat : 6390 (msuncore) R 6389 6374 3447 769 3447 4202496 70044 0 14 0 1154 30 0 0 25 0 1 0 526835398 48779264 11630 1283457024 134512640 135858300 4288543312 18446744073709551615 135344235 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6390/statm: 11909 11630 137 329 0 11578 0 Current children cumulated CPU time (s) 18.34 Current children cumulated vsize (KiB) 56924 [startup+20.3099 s] /proc/loadavg: 1.04 1.03 1.00 2/40 6390 /proc/meminfo: memFree=844292/1048576 swapFree=2092216/2097144 [pid=6374] ppid=6373 vsize=2384 CPUtime=0 /proc/6374/stat : 6374 (inescp-1.0) S 6373 6374 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526834600 2441216 261 1283457024 134512640 135191968 4292630704 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6374/statm: 596 261 222 166 0 28 0 [pid=6375] ppid=6374 vsize=14140 CPUtime=18.75 /proc/6375/stat : 6375 (cudf-solver.py) R 6374 6374 3447 769 3447 4202496 3594 114531 1 268 20 0 1731 124 18 0 1 0 526834600 14479360 3174 1283457024 134512640 135539072 4286849840 18446744073709551615 134775150 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/6375/statm: 3535 3174 348 251 0 2836 0 Current children cumulated CPU time (s) 18.75 Current children cumulated vsize (KiB) 16524 Child status: 0 Real time (s): 20.3859 CPU time (s): 18.8212 CPU user time (s): 17.5811 CPU system time (s): 1.24008 CPU usage (%): 92.3245 Max. virtual memory (cumulated for all children) (KiB): 872448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.5811 system time used= 1.24008 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120835 page faults= 270 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2261 involuntary context switches= 2030 runsolver used 0.008 second user time and 0 second system time The end