runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742073-1338784701/watcher-3742073-1338784701 -o /tmp/evaluation-result-3742073-1338784701/solver-3742073-1338784701 -C 1800 -W 1900 -M 15500 pbclasp instance-3742073-1338784701.opb HOME/temp
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.85 1.61 3/179 15428
/proc/meminfo: memFree=27304032/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) R 15426 15428 15309 0 -1 4202496 548 0 0 0 0 0 0 0 20 0 1 0 344594481 26206208 479 33554432000 4194304 4198148 140733529441888 140733529439336 213419265940 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6398 479 355 1 0 193 0
[startup+0.04666 s]
/proc/loadavg: 2.00 1.85 1.61 3/179 15428
/proc/meminfo: memFree=27304032/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.100284 s]
/proc/loadavg: 2.00 1.85 1.61 3/179 15428
/proc/meminfo: memFree=27304032/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.300232 s]
/proc/loadavg: 2.00 1.85 1.61 3/179 15428
/proc/meminfo: memFree=27304032/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.70011 s]
/proc/loadavg: 2.00 1.85 1.61 3/179 15428
/proc/meminfo: memFree=27304032/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+1.50033 s]
/proc/loadavg: 2.00 1.85 1.61 3/183 15433
/proc/meminfo: memFree=27296428/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=9576 CPUtime=1.11 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 1978 0 0 0 111 0 0 0 20 0 1 0 344594482 9805824 1819 33554432000 134512640 134847168 4291901584 4291900324 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 2394 1819 270 82 0 1635 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 70056
[startup+3.10033 s]
/proc/loadavg: 2.00 1.85 1.61 3/183 15433
/proc/meminfo: memFree=27296056/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=10236 CPUtime=2.71 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 2163 0 0 0 271 0 0 0 20 0 1 0 344594482 10481664 2004 33554432000 134512640 134847168 4291901584 4291900160 134714330 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 2559 2004 270 82 0 1800 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 70716
[startup+6.30035 s]
/proc/loadavg: 2.00 1.85 1.62 3/183 15433
/proc/meminfo: memFree=27293328/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=14160 CPUtime=5.91 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 3140 0 0 0 591 0 0 0 20 0 1 0 344594482 14499840 2981 33554432000 134512640 134847168 4291901584 4291900268 134715846 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 3540 2981 270 82 0 2781 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 74640
[startup+12.7004 s]
/proc/loadavg: 2.00 1.85 1.62 3/183 15433
/proc/meminfo: memFree=27283440/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=21480 CPUtime=12.31 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 4953 0 0 0 1230 1 0 0 20 0 1 0 344594482 21995520 4794 33554432000 134512640 134847168 4291901584 4291900160 134714478 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 5370 4794 270 82 0 4611 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 81960
[startup+25.5004 s]
/proc/loadavg: 2.07 1.87 1.63 3/183 15433
/proc/meminfo: memFree=27272040/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=26512 CPUtime=25.1 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 6251 0 0 0 2509 1 0 0 20 0 1 0 344594482 27148288 6092 33554432000 134512640 134847168 4291901584 4291900352 134737597 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 6628 6092 270 82 0 5869 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 86992
[startup+51.1004 s]
/proc/loadavg: 2.05 1.88 1.64 3/183 15433
/proc/meminfo: memFree=27254924/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=46120 CPUtime=50.7 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 11154 0 0 0 5068 2 0 0 20 0 1 0 344594482 47226880 10995 33554432000 134512640 134847168 4291901584 4291900224 134782432 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 11530 10995 270 82 0 10771 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 106600
[startup+102.307 s]
/proc/loadavg: 2.02 1.90 1.65 3/184 15436
/proc/meminfo: memFree=27225020/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=67736 CPUtime=101.88 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 16543 0 0 0 10184 4 0 0 20 0 1 0 344594482 69361664 16409 33554432000 134512640 134847168 4291901584 4291900224 134782592 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 16934 16409 270 82 0 16175 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 128216
[startup+162.3 s]
/proc/loadavg: 2.00 1.91 1.67 3/183 15436
/proc/meminfo: memFree=27207860/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=84492 CPUtime=161.87 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 20704 0 0 0 16181 6 0 0 20 0 1 0 344594482 86519808 20570 33554432000 134512640 134847168 4291901584 4291900224 134782432 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 21123 20570 270 82 0 20364 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 144972
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.00 1.92 1.67 3/183 15436
/proc/meminfo: memFree=27205688/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=84492 CPUtime=178.67 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 20706 0 0 0 17861 6 0 0 20 0 1 0 344594482 86519808 20575 33554432000 134512640 134847168 4291901584 4291900340 134737608 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 21123 20575 270 82 0 20364 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 179.08
Current children cumulated vsize (KiB) 144972
[startup+191.9 s]
/proc/loadavg: 2.00 1.92 1.68 3/182 15436
/proc/meminfo: memFree=27205696/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=84492 CPUtime=191.46 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 20706 0 0 0 19140 6 0 0 20 0 1 0 344594482 86519808 20575 33554432000 134512640 134847168 4291901584 4291900224 134782432 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 21123 20575 270 82 0 20364 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 191.87
Current children cumulated vsize (KiB) 144972
[startup+198.3 s]
/proc/loadavg: 2.00 1.92 1.68 3/183 15437
/proc/meminfo: memFree=27205620/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=84492 CPUtime=197.86 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 20710 0 0 0 19780 6 0 0 20 0 1 0 344594482 86519808 20581 33554432000 134512640 134847168 4291901584 4291900224 134782416 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 21123 20581 270 82 0 20364 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 198.27
Current children cumulated vsize (KiB) 144972
[startup+201.5 s]
/proc/loadavg: 2.00 1.92 1.68 3/183 15437
/proc/meminfo: memFree=27205620/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=84492 CPUtime=201.06 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 20710 0 0 0 20100 6 0 0 20 0 1 0 344594482 86519808 20581 33554432000 134512640 134847168 4291901584 4291900224 134782325 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 21123 20581 270 82 0 20364 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 201.47
Current children cumulated vsize (KiB) 144972
[startup+202.3 s]
/proc/loadavg: 2.00 1.92 1.68 3/183 15437
/proc/meminfo: memFree=27205620/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=84492 CPUtime=201.87 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 20710 0 0 0 20181 6 0 0 20 0 1 0 344594482 86519808 20581 33554432000 134512640 134847168 4291901584 4291899860 134792592 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 21123 20581 270 82 0 20364 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 202.28
Current children cumulated vsize (KiB) 144972
[startup+202.7 s]
/proc/loadavg: 2.00 1.92 1.68 3/183 15437
/proc/meminfo: memFree=27205620/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=84492 CPUtime=202.26 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 20710 0 0 0 20220 6 0 0 20 0 1 0 344594482 86519808 20581 33554432000 134512640 134847168 4291901584 4291900340 134737608 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 21123 20581 270 82 0 20364 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 437 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 202.67
Current children cumulated vsize (KiB) 144972
[startup+202.9 s]
/proc/loadavg: 2.00 1.92 1.68 3/183 15437
/proc/meminfo: memFree=27205620/32873844 swapFree=6608/6608
[pid=15428] ppid=15426 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (pbclasp) S 15426 15428 15309 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 344594481 26492928 544 33554432000 4194304 4198148 140733529441888 140733529440776 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15428/statm: 6468 544 363 1 0 263 0
[pid=15430] ppid=15428 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15430/stat : 15430 (sh) S 15428 15428 15309 0 -1 4202496 374 624 0 0 0 0 41 0 20 0 1 0 344594482 9367552 264 33554432000 4194304 5064252 140736042870720 140736042868976 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15430/statm: 2287 264 223 213 0 72 0
[pid=15432] ppid=15430 vsize=83788 CPUtime=202.46 cores=1,3,5,7
/proc/15432/stat : 15432 (clasp-1.0) R 15430 15428 15309 0 -1 4202496 20730 0 0 0 20240 6 0 0 20 0 1 0 344594482 85798912 20425 33554432000 134512640 134847168 4291901584 4291900512 10955519 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15432/statm: 20947 20425 290 82 0 20188 0
[pid=15433] ppid=15430 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15433/stat : 15433 (pboutclasp.pl) S 15430 15428 15309 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 344594482 26071040 446 33554432000 4194304 4198148 140734035265136 140734035255672 213423023344 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15433/statm: 6365 446 351 1 0 160 0
Current children cumulated CPU time (s) 202.87
Current children cumulated vsize (KiB) 144268
Child status: 0
Real time (s): 202.904
CPU time (s): 202.913
CPU user time (s): 202.839
CPU system time (s): 0.073988
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 144972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 202.839
system time used= 0.073988
maximum resident set size= 82404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 191
involuntary context switches= 747
runsolver used 0.32395 second user time and 0.971852 second system time
The end