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-3730939-1338685377/watcher-3730939-1338685377 -o /tmp/evaluation-result-3730939-1338685377/solver-3730939-1338685377 -C 1800 -W 1900 -M 15500 pbclasp instance-3730939-1338685377.opb HOME/temp
running on 4 cores: 0,2,4,6
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 28830
/proc/meminfo: memFree=27672396/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) R 28828 28830 26887 0 -1 4202496 557 0 0 0 0 0 0 0 20 0 1 0 334664530 26206208 488 33554432000 4194304 4198148 140736192162736 140736192160184 271787200404 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6398 488 355 1 0 193 0
[startup+0.030844 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 28830
/proc/meminfo: memFree=27672396/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25740
[startup+0.100284 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 28830
/proc/meminfo: memFree=27672396/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25740
[startup+0.300159 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 28830
/proc/meminfo: memFree=27672396/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25740
[startup+0.700117 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 28830
/proc/meminfo: memFree=27672396/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25740
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.98 3/185 28835
/proc/meminfo: memFree=27665396/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=18772 CPUtime=0.43 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 4495 0 0 0 43 0 0 0 20 0 1 0 334664532 19222528 4105 33554432000 134512640 134847168 4294890912 4294889680 134617488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28834/statm: 4693 4105 272 82 0 3934 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 79120
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 28835
/proc/meminfo: memFree=27655228/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=18772 CPUtime=2.03 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 4506 0 0 0 203 0 0 0 20 0 1 0 334664532 19222528 4116 33554432000 134512640 134847168 4294890912 4294889680 134737957 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28834/statm: 4693 4116 272 82 0 3934 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 79120
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 28835
/proc/meminfo: memFree=27644704/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=29676 CPUtime=5.23 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 7254 0 0 0 522 1 0 0 20 0 1 0 334664532 30388224 6864 33554432000 134512640 134847168 4294890912 4294889668 134737608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28834/statm: 7419 6864 272 82 0 6660 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 90024
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 28835
/proc/meminfo: memFree=27637032/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=38904 CPUtime=11.62 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 9509 0 0 0 1161 1 0 0 20 0 1 0 334664532 39837696 9129 33554432000 134512640 134847168 4294890912 4294889552 134782437 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 9726 9129 272 82 0 8967 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 99252
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 28835
/proc/meminfo: memFree=27620904/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=53740 CPUtime=24.41 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 13095 0 0 0 2439 2 0 0 20 0 1 0 334664532 55029760 12752 33554432000 134512640 134847168 4294890912 4294889632 134741346 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 13435 12752 272 82 0 12676 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 114088
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 28835
/proc/meminfo: memFree=27598192/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=68724 CPUtime=50 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 16650 0 0 0 4997 3 0 0 20 0 1 0 334664532 70373376 16463 33554432000 134512640 134847168 4294890912 4294889680 134737595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 17181 16463 272 82 0 16422 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 129072
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 28835
/proc/meminfo: memFree=27554848/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=100724 CPUtime=101.19 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 24220 0 0 0 10115 4 0 0 20 0 1 0 334664532 103141376 24033 33554432000 134512640 134847168 4294890912 4294889680 134737644 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 25181 24033 272 82 0 24422 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 161072
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 28835
/proc/meminfo: memFree=27523232/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=118096 CPUtime=161.19 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30558
/proc/meminfo: memFree=26887112/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=240040 CPUtime=1420.96 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 56141 0 0 0 142084 12 0 0 20 0 1 0 334664532 245800960 58586 33554432000 134512640 134847168 4294890912 4294889668 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 60010 58586 272 82 0 59251 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.14
Current children cumulated vsize (KiB) 300388
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30559
/proc/meminfo: memFree=26854516/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=242512 CPUtime=1480.94 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 56688 0 0 0 148082 12 0 0 20 0 1 0 334664532 248332288 59133 33554432000 134512640 134847168 4294890912 4294889552 134782444 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 60628 59133 272 82 0 59869 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.12
Current children cumulated vsize (KiB) 302860
[startup+1542.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 30612
/proc/meminfo: memFree=27640236/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=243968 CPUtime=1540.92 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 57187 0 0 0 154080 12 0 0 20 0 1 0 334664532 249823232 59532 33554432000 134512640 134847168 4294890912 4294889552 134782688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 60992 59532 272 82 0 60233 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.1
Current children cumulated vsize (KiB) 304316
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 30612
/proc/meminfo: memFree=27615252/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=245848 CPUtime=1600.92 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 57692 0 0 0 160079 13 0 0 20 0 1 0 334664532 251748352 59960 33554432000 134512640 134847168 4294890912 4294889680 134737644 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 61462 59960 272 82 0 60703 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 306196
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 30615
/proc/meminfo: memFree=27596332/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=247712 CPUtime=1660.9 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 58103 0 0 0 166077 13 0 0 20 0 1 0 334664532 253657088 61053 33554432000 134512640 134847168 4294890912 4294889632 134741383 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 61928 61053 272 82 0 61169 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 308060
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 30615
/proc/meminfo: memFree=27586464/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=249236 CPUtime=1720.89 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 58548 0 0 0 172076 13 0 0 20 0 1 0 334664532 255217664 61405 33554432000 134512640 134847168 4294890912 4294889680 134737681 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 62309 61405 272 82 0 61550 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 309584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30616
/proc/meminfo: memFree=27578900/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=250836 CPUtime=1780.88 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 59183 0 0 0 178075 13 0 0 20 0 1 0 334664532 256856064 61691 33554432000 134512640 134847168 4294890912 4294889552 134782463 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 62709 61691 272 82 0 61950 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 311184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 30617
/proc/meminfo: memFree=27577916/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=251076 CPUtime=1798.88 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 59232 0 0 0 179875 13 0 0 20 0 1 0 334664532 257101824 61740 33554432000 134512640 134847168 4294890912 4294889552 134748335 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 62769 61740 272 82 0 62010 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 311424
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 30617
/proc/meminfo: memFree=27577916/32873648 swapFree=6852/6852
[pid=28830] ppid=28828 vsize=25740 CPUtime=0.01 cores=0,2,4,6
/proc/28830/stat : 28830 (pbclasp) S 28828 28830 26887 0 -1 4202496 620 0 0 0 1 0 0 0 20 0 1 0 334664530 26357760 533 33554432000 4194304 4198148 140736192162736 140736192161624 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/28830/statm: 6435 533 363 1 0 230 0
[pid=28832] ppid=28830 vsize=9148 CPUtime=1.17 cores=0,2,4,6
/proc/28832/stat : 28832 (sh) S 28830 28830 26887 0 -1 4202496 373 617 0 0 0 0 117 0 20 0 1 0 334664532 9367552 264 33554432000 4194304 5064252 140736679543792 140736679542048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28832/statm: 2287 264 223 213 0 72 0
[pid=28834] ppid=28832 vsize=251076 CPUtime=1798.88 cores=0,2,4,6
/proc/28834/stat : 28834 (clasp-1.0) R 28832 28830 26887 0 -1 4202496 59232 0 0 0 179875 13 0 0 20 0 1 0 334664532 257101824 61740 33554432000 134512640 134847168 4294890912 4294889552 134748335 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28834/statm: 62769 61740 272 82 0 62010 0
[pid=28835] ppid=28832 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/28835/stat : 28835 (pboutclasp.pl) S 28832 28830 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334664532 26071040 437 33554432000 4194304 4198148 140737460360608 140737460351144 271790957808 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28835/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 311424
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.09
CPU user time (s): 1799.95
CPU system time (s): 0.140978
CPU usage (%): 99.988
Max. virtual memory (cumulated for all children) (KiB): 311424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.140978
maximum resident set size= 247256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61500
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= 397
involuntary context switches= 2274
runsolver used 2.96955 second user time and 8.60069 second system time
The end