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-3730549-1338685073/watcher-3730549-1338685073 -o /tmp/evaluation-result-3730549-1338685073/solver-3730549-1338685073 -C 1800 -W 1900 -M 15500 pbclasp instance-3730549-1338685073.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: 1.92 1.98 1.97 3/179 28751
/proc/meminfo: memFree=27913720/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) R 28749 28751 26887 0 -1 4202496 642 0 0 0 0 0 0 0 20 0 1 0 334634094 26628096 573 33554432000 4194304 4198148 140734450460704 140733716325080 271812538056 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 6501 573 356 1 0 296 0
[startup+0.0749059 s]
/proc/loadavg: 1.92 1.98 1.97 3/179 28751
/proc/meminfo: memFree=27913720/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.07 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) R 28749 28751 26887 0 -1 4202496 2089 0 0 0 7 0 0 0 20 0 1 0 334634094 32468992 2020 33554432000 4194304 4198148 140734450460704 140733716325080 271790957808 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2020 357 1 0 1722 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31708
[startup+0.100294 s]
/proc/loadavg: 1.92 1.98 1.97 3/179 28751
/proc/meminfo: memFree=27913720/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.09 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) R 28749 28751 26887 0 -1 4202496 2089 0 0 0 9 0 0 0 20 0 1 0 334634094 32468992 2020 33554432000 4194304 4198148 140734450460704 140733716325080 271790957808 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2020 357 1 0 1722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31708
[startup+0.300261 s]
/proc/loadavg: 1.92 1.98 1.97 3/179 28751
/proc/meminfo: memFree=27913720/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 31708
[startup+0.700225 s]
/proc/loadavg: 1.92 1.98 1.97 3/179 28751
/proc/meminfo: memFree=27913720/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 31708
[startup+1.50037 s]
/proc/loadavg: 1.92 1.98 1.97 3/184 28756
/proc/meminfo: memFree=27901420/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28754] ppid=28753 vsize=25592 CPUtime=1.2 cores=1,3,5,7
/proc/28754/stat : 28754 (pb2clasp1) R 28753 28751 26887 0 -1 4202496 609 0 0 0 120 0 0 0 20 0 1 0 334634123 26206208 508 33554432000 4194304 4198148 140734388617040 140734388607576 271812584356 0 0 4224 0 0 0 0 17 3 0 0 0 0 0
/proc/28754/statm: 6398 508 378 1 0 193 0
[pid=28755] ppid=28753 vsize=12040 CPUtime=0.15 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) S 28753 28751 26887 0 -1 4202496 2510 0 0 0 15 0 0 0 20 0 1 0 334634123 12328960 2417 33554432000 134512640 134847168 4290050832 4290046712 14128176 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28755/statm: 3010 2417 251 82 0 2251 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 103948
[startup+3.10035 s]
/proc/loadavg: 1.92 1.98 1.97 3/184 28756
/proc/meminfo: memFree=27893324/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28754] ppid=28753 vsize=25592 CPUtime=2.8 cores=1,3,5,7
/proc/28754/stat : 28754 (pb2clasp1) R 28753 28751 26887 0 -1 4202496 609 0 0 0 280 0 0 0 20 0 1 0 334634123 26206208 508 33554432000 4194304 4198148 140734388617040 140734388616024 271812580763 0 0 4224 0 0 0 0 17 3 0 0 0 0 0
/proc/28754/statm: 6398 508 378 1 0 193 0
[pid=28755] ppid=28753 vsize=22620 CPUtime=0.37 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) S 28753 28751 26887 0 -1 4202496 5188 0 0 0 36 1 0 0 20 0 1 0 334634123 23162880 5095 33554432000 134512640 134847168 4290050832 4290046712 14128176 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 5655 5095 251 82 0 4896 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 114528
[startup+6.30036 s]
/proc/loadavg: 2.01 2.00 1.98 4/184 28756
/proc/meminfo: memFree=27871084/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28754] ppid=28753 vsize=25592 CPUtime=6 cores=1,3,5,7
/proc/28754/stat : 28754 (pb2clasp1) R 28753 28751 26887 0 -1 4202496 609 0 0 0 600 0 0 0 20 0 1 0 334634123 26206208 508 33554432000 4194304 4198148 140734388617040 140734388607576 271812558432 0 0 4224 0 0 0 0 17 3 0 0 0 0 0
/proc/28754/statm: 6398 508 378 1 0 193 0
[pid=28755] ppid=28753 vsize=44508 CPUtime=0.77 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) S 28753 28751 26887 0 -1 4202496 10632 0 0 0 75 2 0 0 20 0 1 0 334634123 45576192 10437 33554432000 134512640 134847168 4290050832 4290046984 14128176 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 11127 10437 251 82 0 10368 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 136416
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 1.98 4/184 28756
/proc/meminfo: memFree=27827040/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28754] ppid=28753 vsize=25592 CPUtime=12.4 cores=1,3,5,7
/proc/28754/stat : 28754 (pb2clasp1) R 28753 28751 26887 0 -1 4202496 609 0 0 0 1238 2 0 0 20 0 1 0 334634123 26206208 508 33554432000 4194304 4198148 140734388617040 140734388607576 271787005531 0 0 4224 0 0 0 0 17 3 0 0 0 0 0
/proc/28754/statm: 6398 508 378 1 0 193 0
[pid=28755] ppid=28753 vsize=88260 CPUtime=1.65 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) S 28753 28751 26887 0 -1 4202496 21513 0 0 0 161 4 0 0 20 0 1 0 334634123 90378240 21091 33554432000 134512640 134847168 4290050832 4290046552 14128176 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 22065 21091 251 82 0 21306 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 14.33
Current children cumulated vsize (KiB) 180168
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 28756
/proc/meminfo: memFree=27655248/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=17.17 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 619 0 0 0 0 1715 2 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28755] ppid=28753 vsize=254420 CPUtime=10.46 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) R 28753 28751 26887 0 -1 4202496 53996 0 0 0 1034 12 0 0 20 0 1 0 334634123 260526080 62711 33554432000 134512640 134847168 4290050832 4290049564 134740921 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 63605 62711 272 82 0 62846 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 27.91
Current children cumulated vsize (KiB) 320736
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 28756
/proc/meminfo: memFree=27655588/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=17.17 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 619 0 0 0 0 1715 2 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28755] ppid=28753 vsize=254420 CPUtime=36.05 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) R 28753 28751 26887 0 -1 4202496 54026 0 0 0 3593 12 0 0 20 0 1 0 334634123 260526080 62741 33554432000 134512640 134847168 4290050832 4290049516 134715892 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 63605 62741 272 82 0 62846 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 53.5
Current children cumulated vsize (KiB) 320736
[startup+102.307 s]
/proc/loadavg: 2.07 2.02 1.98 3/183 28756
/proc/meminfo: memFree=27653920/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=17.17 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 619 0 0 0 0 1715 2 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28755] ppid=28753 vsize=254420 CPUtime=87.24 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) R 28753 28751 26887 0 -1 4202496 54063 0 0 0 8712 12 0 0 20 0 1 0 334634123 260526080 62993 33554432000 134512640 134847168 4290050832 4290049600 134617488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 63605 62993 272 82 0 62846 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 104.69
################
# More data... #
################
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1364.42
Current children cumulated vsize (KiB) 725056
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30557
/proc/meminfo: memFree=27032104/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=17.17 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 619 0 0 0 0 1715 2 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28755] ppid=28753 vsize=683212 CPUtime=1406.97 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) R 28753 28751 26887 0 -1 4202496 162897 0 0 0 140629 68 0 0 20 0 1 0 334634123 699609088 168811 33554432000 134512640 134847168 4290050832 4290049472 134782662 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 170803 168811 272 82 0 170044 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1424.42
Current children cumulated vsize (KiB) 749528
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30558
/proc/meminfo: memFree=27009148/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=17.17 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 619 0 0 0 0 1715 2 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28755] ppid=28753 vsize=705752 CPUtime=1466.95 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) R 28753 28751 26887 0 -1 4202496 169003 0 0 0 146624 71 0 0 20 0 1 0 334634123 722690048 174194 33554432000 134512640 134847168 4290050832 4290049520 134735785 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 176438 174194 272 82 0 175679 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1484.4
Current children cumulated vsize (KiB) 772068
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 30558
/proc/meminfo: memFree=26989544/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=17.17 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 619 0 0 0 0 1715 2 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28755] ppid=28753 vsize=724320 CPUtime=1526.94 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) R 28753 28751 26887 0 -1 4202496 173600 0 0 0 152621 73 0 0 20 0 1 0 334634123 741703680 178437 33554432000 134512640 134847168 4290050832 4290049600 134737400 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 181080 178437 272 82 0 180321 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1544.39
Current children cumulated vsize (KiB) 790636
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 30558
/proc/meminfo: memFree=26949428/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=17.17 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 619 0 0 0 0 1715 2 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28755] ppid=28753 vsize=749644 CPUtime=1586.92 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) R 28753 28751 26887 0 -1 4202496 179984 0 0 0 158616 76 0 0 20 0 1 0 334634123 767635456 184748 33554432000 134512640 134847168 4290050832 4290049600 134737400 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 187411 184748 272 82 0 186652 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1604.37
Current children cumulated vsize (KiB) 815960
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30558
/proc/meminfo: memFree=26916472/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=17.17 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 619 0 0 0 0 1715 2 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28755] ppid=28753 vsize=776156 CPUtime=1646.89 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) R 28753 28751 26887 0 -1 4202496 186669 0 0 0 164609 80 0 0 20 0 1 0 334634123 794783744 191931 33554432000 134512640 134847168 4290050832 4290049568 134741030 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 194039 191931 272 82 0 193280 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1664.34
Current children cumulated vsize (KiB) 842472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30558
/proc/meminfo: memFree=26889344/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=17.17 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 619 0 0 0 0 1715 2 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28755] ppid=28753 vsize=798500 CPUtime=1706.86 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) R 28753 28751 26887 0 -1 4202496 192178 0 0 0 170602 84 0 0 20 0 1 0 334634123 817664000 197761 33554432000 134512640 134847168 4290050832 4290049140 134792544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 199625 197761 272 82 0 198866 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1724.31
Current children cumulated vsize (KiB) 864816
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30559
/proc/meminfo: memFree=26856252/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=17.17 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 619 0 0 0 0 1715 2 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28755] ppid=28753 vsize=828072 CPUtime=1766.85 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) R 28753 28751 26887 0 -1 4202496 199712 0 0 0 176598 87 0 0 20 0 1 0 334634123 847945728 205376 33554432000 134512640 134847168 4290050832 4290049600 134737260 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 207018 205376 272 82 0 206259 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1784.3
Current children cumulated vsize (KiB) 894388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30559
/proc/meminfo: memFree=26849856/32873648 swapFree=6852/6852
[pid=28751] ppid=28749 vsize=31708 CPUtime=0.28 cores=1,3,5,7
/proc/28751/stat : 28751 (pbclasp) S 28749 28751 26887 0 -1 4202496 2115 0 0 0 28 0 0 0 20 0 1 0 334634094 32468992 2027 33554432000 4194304 4198148 140734450460704 140734450459592 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28751/statm: 7927 2027 364 1 0 1722 0
[pid=28753] ppid=28751 vsize=9148 CPUtime=17.17 cores=1,3,5,7
/proc/28753/stat : 28753 (sh) S 28751 28751 26887 0 -1 4202496 376 619 0 0 0 0 1715 2 20 0 1 0 334634123 9367552 264 33554432000 4194304 5064252 140735897531984 140735897530240 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28753/statm: 2287 264 223 213 0 72 0
[pid=28755] ppid=28753 vsize=835304 CPUtime=1782.55 cores=1,3,5,7
/proc/28755/stat : 28755 (clasp-1.0) R 28753 28751 26887 0 -1 4202496 201688 0 0 0 178167 88 0 0 20 0 1 0 334634123 855351296 207081 33554432000 134512640 134847168 4290050832 4290049600 134737311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28755/statm: 208826 207081 272 82 0 208067 0
[pid=28756] ppid=28753 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/28756/stat : 28756 (pboutclasp.pl) S 28753 28751 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334634123 26071040 437 33554432000 4194304 4198148 140734963923072 140734963913608 271790957808 0 0 4224 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28756/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 901620
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28751 and gives
# childrusage.ru_utime.tv_sec=17
# childrusage.ru_utime.tv_usec=437349
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=36994
# CPU time returned by wait4() is 17.4743
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1798.02
CPU time (s): 1800
CPU user time (s): 1799.1
CPU system time (s): 0.9
CPU usage (%): 100.11
Max. virtual memory (cumulated for all children) (KiB): 901620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4373
system time used= 0.036994
maximum resident set size= 8132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5035
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1183
involuntary context switches= 20
runsolver used 3.9694 second user time and 8.90864 second system time
The end