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-3730991-1338686041/watcher-3730991-1338686041 -o /tmp/evaluation-result-3730991-1338686041/solver-3730991-1338686041 -C 1800 -W 1900 -M 15500 pbclasp instance-3730991-1338686041.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 2.00 1.98 3/180 27930
/proc/meminfo: memFree=27821148/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) R 27928 27930 14418 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 334729512 26357760 526 33554432000 4194304 4198148 140735908880112 140733515333880 239876498672 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 526 356 1 0 230 0
[startup+0.0612461 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 27930
/proc/meminfo: memFree=27821148/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25740
[startup+0.100276 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 27930
/proc/meminfo: memFree=27821148/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25740
[startup+0.300226 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 27930
/proc/meminfo: memFree=27821148/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25740
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 27930
/proc/meminfo: memFree=27821148/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25740
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 1.98 3/185 27935
/proc/meminfo: memFree=27814048/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=18404 CPUtime=0.49 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 4398 0 0 0 49 0 0 0 20 0 1 0 334729514 18845696 4009 33554432000 134512640 134847168 4292276368 4292275136 134617547 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27934/statm: 4601 4009 270 82 0 3842 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 78752
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 27935
/proc/meminfo: memFree=27804252/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=19464 CPUtime=2.09 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 4671 0 0 0 209 0 0 0 20 0 1 0 334729514 19931136 4282 33554432000 134512640 134847168 4292276368 4292274988 134789696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27934/statm: 4866 4282 270 82 0 4107 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 79812
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 27935
/proc/meminfo: memFree=27794836/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=27660 CPUtime=5.29 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 6690 0 0 0 528 1 0 0 20 0 1 0 334729514 28323840 6301 33554432000 134512640 134847168 4292276368 4292275124 134737608 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27934/statm: 6915 6301 270 82 0 6156 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 88008
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 27935
/proc/meminfo: memFree=27784188/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=36548 CPUtime=11.69 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 8841 0 0 0 1167 2 0 0 20 0 1 0 334729514 37425152 8452 33554432000 134512640 134847168 4292276368 4292274944 134742277 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27934/statm: 9137 8452 270 82 0 8378 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.82
Current children cumulated vsize (KiB) 96896
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 27935
/proc/meminfo: memFree=27768200/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=53812 CPUtime=24.48 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 13044 0 0 0 2445 3 0 0 20 0 1 0 334729514 55103488 12655 33554432000 134512640 134847168 4292276368 4292275008 134782662 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27934/statm: 13453 12655 270 82 0 12694 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.61
Current children cumulated vsize (KiB) 114160
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 27935
/proc/meminfo: memFree=27757908/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=63520 CPUtime=50.08 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 15298 0 0 0 5004 4 0 0 20 0 1 0 334729514 65044480 14909 33554432000 134512640 134847168 4292276368 4292274832 134713707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27934/statm: 15880 14909 270 82 0 15121 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 123868
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 27935
/proc/meminfo: memFree=27735692/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=84332 CPUtime=101.27 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 20126 0 0 0 10122 5 0 0 20 0 1 0 334729514 86355968 19758 33554432000 134512640 134847168 4292276368 4292275008 134782385 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27934/statm: 21083 19758 270 82 0 20324 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 144680
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/184 27935
/proc/meminfo: memFree=27714792/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=97304 CPUtime=161.24 cores=1,3,5,7
################
# More data... #
################
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=209136 CPUtime=1301.03 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 47975 0 0 0 130091 12 0 0 20 0 1 0 334729514 214155264 51464 33554432000 134512640 134847168 4292276368 4292275124 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27934/statm: 52284 51464 270 82 0 51525 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1302.16
Current children cumulated vsize (KiB) 269484
[startup+1362.3 s]
/proc/loadavg: 1.30 1.60 1.83 3/184 15933
/proc/meminfo: memFree=27721176/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=216048 CPUtime=1361.02 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 49608 0 0 0 136089 13 0 0 20 0 1 0 334729514 221233152 53097 33554432000 134512640 134847168 4292276368 4292275008 134782726 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27934/statm: 54012 53097 270 82 0 53253 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1362.15
Current children cumulated vsize (KiB) 276396
[startup+1422.31 s]
/proc/loadavg: 1.19 1.52 1.78 3/183 16662
/proc/meminfo: memFree=27706452/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=225016 CPUtime=1421 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 51707 0 0 0 142087 13 0 0 20 0 1 0 334729514 230416384 55434 33554432000 134512640 134847168 4292276368 4292275008 134782452 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27934/statm: 56254 55434 270 82 0 55495 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.13
Current children cumulated vsize (KiB) 285364
[startup+1482.3 s]
/proc/loadavg: 1.26 1.48 1.75 3/183 16533
/proc/meminfo: memFree=27692300/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=236428 CPUtime=1480.99 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 54340 0 0 0 148084 15 0 0 20 0 1 0 334729514 242102272 58067 33554432000 134512640 134847168 4292276368 4292274992 134784806 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27934/statm: 59107 58067 270 82 0 58348 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.12
Current children cumulated vsize (KiB) 296776
[startup+1542.3 s]
/proc/loadavg: 1.31 1.45 1.72 3/182 17264
/proc/meminfo: memFree=27680344/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=245268 CPUtime=1540.98 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 56434 0 0 0 154082 16 0 0 20 0 1 0 334729514 251154432 60210 33554432000 134512640 134847168 4292276368 4292275072 134748523 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27934/statm: 61317 60210 270 82 0 60558 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.11
Current children cumulated vsize (KiB) 305616
[startup+1602.3 s]
/proc/loadavg: 2.16 1.63 1.77 3/185 17285
/proc/meminfo: memFree=27669144/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=248444 CPUtime=1600.96 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 57215 0 0 0 160080 16 0 0 20 0 1 0 334729514 254406656 61197 33554432000 134512640 134847168 4292276368 4292275124 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27934/statm: 62111 61197 270 82 0 61352 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 308792
[startup+1662.3 s]
/proc/loadavg: 2.97 1.96 1.87 3/182 18179
/proc/meminfo: memFree=27663320/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=252348 CPUtime=1660.95 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 58014 0 0 0 166079 16 0 0 20 0 1 0 334729514 258404352 61996 33554432000 134512640 134847168 4292276368 4292275008 134782441 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27934/statm: 63087 61996 270 82 0 62328 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 312696
[startup+1722.3 s]
/proc/loadavg: 1.79 1.81 1.82 3/181 18075
/proc/meminfo: memFree=27660388/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=253084 CPUtime=1720.93 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 58375 0 0 0 172077 16 0 0 20 0 1 0 334729514 259158016 62461 33554432000 134512640 134847168 4292276368 4292275124 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27934/statm: 63271 62461 270 82 0 62512 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 313432
[startup+1782.72 s]
/proc/loadavg: 1.29 1.66 1.77 4/182 18208
/proc/meminfo: memFree=27641688/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=253564 CPUtime=1781.36 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 58462 0 0 0 178119 17 0 0 20 0 1 0 334729514 259649536 62548 33554432000 134512640 134847168 4292276368 4292275008 134782432 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27934/statm: 63391 62548 270 82 0 62632 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (KiB) 313912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.86 s]
/proc/loadavg: 1.20 1.61 1.75 3/183 28901
/proc/meminfo: memFree=27646356/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=255484 CPUtime=1799.49 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 58928 0 0 0 179932 17 0 0 20 0 1 0 334729514 261615616 62909 33554432000 134512640 134847168 4292276368 4292275060 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27934/statm: 63871 62909 270 82 0 63112 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 315832
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.86 s]
/proc/loadavg: 1.20 1.61 1.75 3/183 28901
/proc/meminfo: memFree=27646356/32873844 swapFree=7384/7384
[pid=27930] ppid=27928 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27930/stat : 27930 (pbclasp) S 27928 27930 14418 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334729512 26357760 533 33554432000 4194304 4198148 140735908880112 140735908879000 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27930/statm: 6435 533 363 1 0 230 0
[pid=27932] ppid=27930 vsize=9148 CPUtime=1.12 cores=1,3,5,7
/proc/27932/stat : 27932 (sh) S 27930 27930 14418 0 -1 4202496 371 618 0 0 0 0 112 0 20 0 1 0 334729514 9367552 263 33554432000 4194304 5064252 140734151175472 140734151173728 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27932/statm: 2287 263 223 213 0 72 0
[pid=27934] ppid=27932 vsize=255484 CPUtime=1799.49 cores=1,3,5,7
/proc/27934/stat : 27934 (clasp-1.0) R 27932 27930 14418 0 -1 4202496 58928 0 0 0 179932 17 0 0 20 0 1 0 334729514 261615616 62909 33554432000 134512640 134847168 4292276368 4292275060 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27934/statm: 63871 62909 270 82 0 63112 0
[pid=27935] ppid=27932 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27935/stat : 27935 (pboutclasp.pl) S 27932 27930 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334729514 26071040 437 33554432000 4194304 4198148 140736727947904 140736727938440 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27935/statm: 6365 437 342 1 0 160 0
\xb8