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-3729626-1338679458/watcher-3729626-1338679458 -o /tmp/evaluation-result-3729626-1338679458/solver-3729626-1338679458 -C 1800 -W 1900 -M 15500 pbclasp instance-3729626-1338679458.opb HOME/temp
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.20 0.73 3/179 25220
/proc/meminfo: memFree=27987360/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) R 25218 25220 14418 0 -1 4202496 549 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 479 33554432000 4194304 4198148 140735379739680 140735379737128 239876498672 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 479 356 1 0 193 0
[startup+0.105946 s]
/proc/loadavg: 2.00 1.20 0.73 3/179 25220
/proc/meminfo: memFree=27987360/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.200271 s]
/proc/loadavg: 2.00 1.20 0.73 3/179 25220
/proc/meminfo: memFree=27987360/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.300259 s]
/proc/loadavg: 2.00 1.20 0.73 3/179 25220
/proc/meminfo: memFree=27987360/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.700227 s]
/proc/loadavg: 2.00 1.20 0.73 3/179 25220
/proc/meminfo: memFree=27987360/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+1.50033 s]
/proc/loadavg: 2.00 1.21 0.74 3/183 25225
/proc/meminfo: memFree=27985120/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
[pid=25222] ppid=25220 vsize=9148 CPUtime=0.1 cores=1,3,5,7
/proc/25222/stat : 25222 (sh) S 25220 25220 14418 0 -1 4202496 373 620 0 0 0 0 10 0 20 0 1 0 334071257 9367552 264 33554432000 4194304 5064252 140734841164304 140734841162560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25222/statm: 2287 264 223 213 0 72 0
[pid=25224] ppid=25222 vsize=4956 CPUtime=1.4 cores=1,3,5,7
/proc/25224/stat : 25224 (clasp-1.0) R 25222 25220 14418 0 -1 4202496 827 0 0 0 140 0 0 0 20 0 1 0 334071257 5074944 735 33554432000 134512640 134847168 4293209520 4293208224 134616608 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25224/statm: 1239 735 272 82 0 480 0
[pid=25225] ppid=25222 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25225/stat : 25225 (pboutclasp.pl) S 25222 25220 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334071257 26071040 437 33554432000 4194304 4198148 140735738918608 140735738909144 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25225/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 65156
[startup+3.10034 s]
/proc/loadavg: 2.00 1.21 0.74 3/183 25225
/proc/meminfo: memFree=27984012/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
[pid=25222] ppid=25220 vsize=9148 CPUtime=0.1 cores=1,3,5,7
/proc/25222/stat : 25222 (sh) S 25220 25220 14418 0 -1 4202496 373 620 0 0 0 0 10 0 20 0 1 0 334071257 9367552 264 33554432000 4194304 5064252 140734841164304 140734841162560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25222/statm: 2287 264 223 213 0 72 0
[pid=25224] ppid=25222 vsize=5484 CPUtime=2.99 cores=1,3,5,7
/proc/25224/stat : 25224 (clasp-1.0) R 25222 25220 14418 0 -1 4202496 934 0 0 0 299 0 0 0 20 0 1 0 334071257 5615616 842 33554432000 134512640 134847168 4293209520 4293208160 134782705 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25224/statm: 1371 842 272 82 0 612 0
[pid=25225] ppid=25222 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25225/stat : 25225 (pboutclasp.pl) S 25222 25220 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334071257 26071040 437 33554432000 4194304 4198148 140735738918608 140735738909144 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25225/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65684
[startup+6.30034 s]
/proc/loadavg: 2.00 1.22 0.75 3/183 25225
/proc/meminfo: memFree=27983268/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
[pid=25222] ppid=25220 vsize=9148 CPUtime=0.1 cores=1,3,5,7
/proc/25222/stat : 25222 (sh) S 25220 25220 14418 0 -1 4202496 373 620 0 0 0 0 10 0 20 0 1 0 334071257 9367552 264 33554432000 4194304 5064252 140734841164304 140734841162560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25222/statm: 2287 264 223 213 0 72 0
[pid=25224] ppid=25222 vsize=5880 CPUtime=6.19 cores=1,3,5,7
/proc/25224/stat : 25224 (clasp-1.0) R 25222 25220 14418 0 -1 4202496 1059 0 0 0 619 0 0 0 20 0 1 0 334071257 6021120 967 33554432000 134512640 134847168 4293209520 4293208240 134741477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25224/statm: 1470 967 272 82 0 711 0
[pid=25225] ppid=25222 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25225/stat : 25225 (pboutclasp.pl) S 25222 25220 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334071257 26071040 437 33554432000 4194304 4198148 140735738918608 140735738909144 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25225/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66080
[startup+12.7003 s]
/proc/loadavg: 2.00 1.24 0.75 3/183 25225
/proc/meminfo: memFree=27982796/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
[pid=25222] ppid=25220 vsize=9148 CPUtime=0.1 cores=1,3,5,7
/proc/25222/stat : 25222 (sh) S 25220 25220 14418 0 -1 4202496 373 620 0 0 0 0 10 0 20 0 1 0 334071257 9367552 264 33554432000 4194304 5064252 140734841164304 140734841162560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25222/statm: 2287 264 223 213 0 72 0
[pid=25224] ppid=25222 vsize=6564 CPUtime=12.59 cores=1,3,5,7
/proc/25224/stat : 25224 (clasp-1.0) R 25222 25220 14418 0 -1 4202496 1218 0 0 0 1259 0 0 0 20 0 1 0 334071257 6721536 1126 33554432000 134512640 134847168 4293209520 4293208160 134782479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25224/statm: 1641 1126 272 82 0 882 0
[pid=25225] ppid=25222 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25225/stat : 25225 (pboutclasp.pl) S 25222 25220 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334071257 26071040 437 33554432000 4194304 4198148 140735738918608 140735738909144 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25225/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66764
Solver just ended. Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 2.00 1.24 0.75 3/183 25225
/proc/meminfo: memFree=27982796/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
[pid=25222] ppid=25220 vsize=9148 CPUtime=0.1 cores=1,3,5,7
/proc/25222/stat : 25222 (sh) S 25220 25220 14418 0 -1 4202496 373 620 0 0 0 0 10 0 20 0 1 0 334071257 9367552 264 33554432000 4194304 5064252 140734841164304 140734841162560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25222/statm: 2287 264 223 213 0 72 0
[pid=25224] ppid=25222 vsize=6564 CPUtime=12.69 cores=1,3,5,7
/proc/25224/stat : 25224 (clasp-1.0) R 25222 25220 14418 0 -1 4202496 1218 0 0 0 1269 0 0 0 20 0 1 0 334071257 6721536 1126 33554432000 134512640 134847168 4293209520 4293208160 134782795 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25224/statm: 1641 1126 272 82 0 882 0
[pid=25225] ppid=25222 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25225/stat : 25225 (pboutclasp.pl) S 25222 25220 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334071257 26071040 437 33554432000 4194304 4198148 140735738918608 140735738909144 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25225/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 66764
[startup+16.0003 s]
/proc/loadavg: 2.00 1.24 0.75 3/183 25225
/proc/meminfo: memFree=27982548/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
[pid=25222] ppid=25220 vsize=9148 CPUtime=0.1 cores=1,3,5,7
/proc/25222/stat : 25222 (sh) S 25220 25220 14418 0 -1 4202496 373 620 0 0 0 0 10 0 20 0 1 0 334071257 9367552 264 33554432000 4194304 5064252 140734841164304 140734841162560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25222/statm: 2287 264 223 213 0 72 0
[pid=25224] ppid=25222 vsize=6708 CPUtime=15.89 cores=1,3,5,7
/proc/25224/stat : 25224 (clasp-1.0) R 25222 25220 14418 0 -1 4202496 1258 0 0 0 1589 0 0 0 20 0 1 0 334071257 6868992 1166 33554432000 134512640 134847168 4293209520 4293208288 134737402 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25224/statm: 1677 1166 272 82 0 918 0
[pid=25225] ppid=25222 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25225/stat : 25225 (pboutclasp.pl) S 25222 25220 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334071257 26071040 437 33554432000 4194304 4198148 140735738918608 140735738909144 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25225/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 66908
[startup+17.6003 s]
/proc/loadavg: 2.00 1.25 0.76 3/183 25225
/proc/meminfo: memFree=27982300/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
[pid=25222] ppid=25220 vsize=9148 CPUtime=0.1 cores=1,3,5,7
/proc/25222/stat : 25222 (sh) S 25220 25220 14418 0 -1 4202496 373 620 0 0 0 0 10 0 20 0 1 0 334071257 9367552 264 33554432000 4194304 5064252 140734841164304 140734841162560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25222/statm: 2287 264 223 213 0 72 0
[pid=25224] ppid=25222 vsize=6980 CPUtime=17.5 cores=1,3,5,7
/proc/25224/stat : 25224 (clasp-1.0) R 25222 25220 14418 0 -1 4202496 1296 0 0 0 1750 0 0 0 20 0 1 0 334071257 7147520 1204 33554432000 134512640 134847168 4293209520 4293208240 134741535 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25224/statm: 1745 1204 272 82 0 986 0
[pid=25225] ppid=25222 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25225/stat : 25225 (pboutclasp.pl) S 25222 25220 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334071257 26071040 437 33554432000 4194304 4198148 140735738918608 140735738909144 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25225/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 17.6
Current children cumulated vsize (KiB) 67180
[startup+18.0003 s]
/proc/loadavg: 2.00 1.25 0.76 3/183 25225
/proc/meminfo: memFree=27982300/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
[pid=25222] ppid=25220 vsize=9148 CPUtime=0.1 cores=1,3,5,7
/proc/25222/stat : 25222 (sh) S 25220 25220 14418 0 -1 4202496 373 620 0 0 0 0 10 0 20 0 1 0 334071257 9367552 264 33554432000 4194304 5064252 140734841164304 140734841162560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25222/statm: 2287 264 223 213 0 72 0
[pid=25224] ppid=25222 vsize=6980 CPUtime=17.89 cores=1,3,5,7
/proc/25224/stat : 25224 (clasp-1.0) R 25222 25220 14418 0 -1 4202496 1296 0 0 0 1789 0 0 0 20 0 1 0 334071257 7147520 1204 33554432000 134512640 134847168 4293209520 4293207904 134735825 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25224/statm: 1745 1204 272 82 0 986 0
[pid=25225] ppid=25222 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25225/stat : 25225 (pboutclasp.pl) S 25222 25220 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334071257 26071040 437 33554432000 4194304 4198148 140735738918608 140735738909144 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25225/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 17.99
Current children cumulated vsize (KiB) 67180
[startup+18.2003 s]
/proc/loadavg: 2.00 1.25 0.76 3/183 25225
/proc/meminfo: memFree=27982300/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
[pid=25222] ppid=25220 vsize=9148 CPUtime=0.1 cores=1,3,5,7
/proc/25222/stat : 25222 (sh) S 25220 25220 14418 0 -1 4202496 373 620 0 0 0 0 10 0 20 0 1 0 334071257 9367552 264 33554432000 4194304 5064252 140734841164304 140734841162560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25222/statm: 2287 264 223 213 0 72 0
[pid=25224] ppid=25222 vsize=6980 CPUtime=18.09 cores=1,3,5,7
/proc/25224/stat : 25224 (clasp-1.0) R 25222 25220 14418 0 -1 4202496 1296 0 0 0 1809 0 0 0 20 0 1 0 334071257 7147520 1204 33554432000 134512640 134847168 4293209520 4293208160 134782437 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25224/statm: 1745 1204 272 82 0 986 0
[pid=25225] ppid=25222 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25225/stat : 25225 (pboutclasp.pl) S 25222 25220 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334071257 26071040 437 33554432000 4194304 4198148 140735738918608 140735738909144 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25225/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 18.19
Current children cumulated vsize (KiB) 67180
[startup+18.3003 s]
/proc/loadavg: 2.00 1.25 0.76 3/183 25225
/proc/meminfo: memFree=27982300/32873844 swapFree=7384/7384
[pid=25220] ppid=25218 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25220/stat : 25220 (pbclasp) S 25218 25220 14418 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 334071257 26206208 486 33554432000 4194304 4198148 140735379739680 140735379738568 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25220/statm: 6398 486 363 1 0 193 0
[pid=25222] ppid=25220 vsize=9148 CPUtime=0.1 cores=1,3,5,7
/proc/25222/stat : 25222 (sh) S 25220 25220 14418 0 -1 4202496 373 620 0 0 0 0 10 0 20 0 1 0 334071257 9367552 264 33554432000 4194304 5064252 140734841164304 140734841162560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25222/statm: 2287 264 223 213 0 72 0
[pid=25224] ppid=25222 vsize=6980 CPUtime=18.19 cores=1,3,5,7
/proc/25224/stat : 25224 (clasp-1.0) R 25222 25220 14418 0 -1 4202496 1299 0 0 0 1819 0 0 0 20 0 1 0 334071257 7147520 1207 33554432000 134512640 134847168 4293209520 4293208080 134735825 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25224/statm: 1745 1207 272 82 0 986 0
[pid=25225] ppid=25222 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25225/stat : 25225 (pboutclasp.pl) S 25222 25220 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334071257 26071040 437 33554432000 4194304 4198148 140735738918608 140735738909144 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25225/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 18.29
Current children cumulated vsize (KiB) 67180
Child status: 0
Real time (s): 18.3785
CPU time (s): 18.3852
CPU user time (s): 18.3792
CPU system time (s): 0.005999
CPU usage (%): 100.036
Max. virtual memory (cumulated for all children) (KiB): 67180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.3792
system time used= 0.005999
maximum resident set size= 4908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3523
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48
involuntary context switches= 63
runsolver used 0.029995 second user time and 0.073988 second system time
The end