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-3742593-1338790339/watcher-3742593-1338790339 -o /tmp/evaluation-result-3742593-1338790339/solver-3742593-1338790339 -C 1800 -W 1900 -M 15500 pbclasp instance-3742593-1338790339.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 2.00 3/179 20802
/proc/meminfo: memFree=25249592/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) R 20800 20802 20391 0 -1 4202496 524 0 0 0 0 0 0 0 20 0 1 0 345158285 26206208 455 33554432000 4194304 4198148 140733840645536 140733840642984 251044269972 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6398 456 345 1 0 193 0
[startup+0.0368791 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20802
/proc/meminfo: memFree=25249592/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100303 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20802
/proc/meminfo: memFree=25249592/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300129 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20802
/proc/meminfo: memFree=25249592/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.700112 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20802
/proc/meminfo: memFree=25249592/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20807
/proc/meminfo: memFree=25244732/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
[pid=20804] ppid=20802 vsize=9148 CPUtime=0.22 cores=0,2,4,6
/proc/20804/stat : 20804 (sh) S 20802 20802 20391 0 -1 4202496 372 620 0 0 0 0 22 0 20 0 1 0 345158286 9367552 264 33554432000 4194304 5064252 140736027819616 140736027817872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20804/statm: 2287 264 223 213 0 72 0
[pid=20806] ppid=20804 vsize=7856 CPUtime=1.28 cores=0,2,4,6
/proc/20806/stat : 20806 (clasp-1.0) R 20804 20802 20391 0 -1 4202496 1542 0 0 0 128 0 0 0 20 0 1 0 345158287 8044544 1421 33554432000 134512640 134847168 4287835248 4287833824 134714120 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20806/statm: 1964 1421 270 82 0 1205 0
[pid=20807] ppid=20804 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/20807/stat : 20807 (pboutclasp.pl) S 20804 20802 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345158287 26071040 437 33554432000 4194304 4198148 140736996277616 140736996268152 251048027376 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20807/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 68204
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20807
/proc/meminfo: memFree=25242632/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
[pid=20804] ppid=20802 vsize=9148 CPUtime=0.22 cores=0,2,4,6
/proc/20804/stat : 20804 (sh) S 20802 20802 20391 0 -1 4202496 372 620 0 0 0 0 22 0 20 0 1 0 345158286 9367552 264 33554432000 4194304 5064252 140736027819616 140736027817872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20804/statm: 2287 264 223 213 0 72 0
[pid=20806] ppid=20804 vsize=9620 CPUtime=2.88 cores=0,2,4,6
/proc/20806/stat : 20806 (clasp-1.0) R 20804 20802 20391 0 -1 4202496 1977 0 0 0 288 0 0 0 20 0 1 0 345158287 9850880 1856 33554432000 134512640 134847168 4287835248 4287833632 12829991 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20806/statm: 2405 1856 270 82 0 1646 0
[pid=20807] ppid=20804 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/20807/stat : 20807 (pboutclasp.pl) S 20804 20802 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345158287 26071040 437 33554432000 4194304 4198148 140736996277616 140736996268152 251048027376 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20807/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 69968
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20807
/proc/meminfo: memFree=25240152/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
[pid=20804] ppid=20802 vsize=9148 CPUtime=0.22 cores=0,2,4,6
/proc/20804/stat : 20804 (sh) S 20802 20802 20391 0 -1 4202496 372 620 0 0 0 0 22 0 20 0 1 0 345158286 9367552 264 33554432000 4194304 5064252 140736027819616 140736027817872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20804/statm: 2287 264 223 213 0 72 0
[pid=20806] ppid=20804 vsize=11964 CPUtime=6.07 cores=0,2,4,6
/proc/20806/stat : 20806 (clasp-1.0) R 20804 20802 20391 0 -1 4202496 2561 0 0 0 607 0 0 0 20 0 1 0 345158287 12251136 2440 33554432000 134512640 134847168 4287835248 4287833888 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20806/statm: 2991 2440 270 82 0 2232 0
[pid=20807] ppid=20804 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/20807/stat : 20807 (pboutclasp.pl) S 20804 20802 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345158287 26071040 437 33554432000 4194304 4198148 140736996277616 140736996268152 251048027376 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20807/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72312
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20807
/proc/meminfo: memFree=25234268/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
[pid=20804] ppid=20802 vsize=9148 CPUtime=0.22 cores=0,2,4,6
/proc/20804/stat : 20804 (sh) S 20802 20802 20391 0 -1 4202496 372 620 0 0 0 0 22 0 20 0 1 0 345158286 9367552 264 33554432000 4194304 5064252 140736027819616 140736027817872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20804/statm: 2287 264 223 213 0 72 0
[pid=20806] ppid=20804 vsize=17528 CPUtime=12.47 cores=0,2,4,6
/proc/20806/stat : 20806 (clasp-1.0) R 20804 20802 20391 0 -1 4202496 3944 0 0 0 1247 0 0 0 20 0 1 0 345158287 17948672 3823 33554432000 134512640 134847168 4287835248 4287833984 134741030 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20806/statm: 4382 3823 270 82 0 3623 0
[pid=20807] ppid=20804 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/20807/stat : 20807 (pboutclasp.pl) S 20804 20802 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345158287 26071040 437 33554432000 4194304 4198148 140736996277616 140736996268152 251048027376 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20807/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77876
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20807
/proc/meminfo: memFree=25228640/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
[pid=20804] ppid=20802 vsize=9148 CPUtime=0.22 cores=0,2,4,6
/proc/20804/stat : 20804 (sh) S 20802 20802 20391 0 -1 4202496 372 620 0 0 0 0 22 0 20 0 1 0 345158286 9367552 264 33554432000 4194304 5064252 140736027819616 140736027817872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20804/statm: 2287 264 223 213 0 72 0
[pid=20806] ppid=20804 vsize=21984 CPUtime=25.28 cores=0,2,4,6
/proc/20806/stat : 20806 (clasp-1.0) R 20804 20802 20391 0 -1 4202496 5084 0 0 0 2527 1 0 0 20 0 1 0 345158287 22511616 4963 33554432000 134512640 134847168 4287835248 4287833712 134713657 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20806/statm: 5496 4963 270 82 0 4737 0
[pid=20807] ppid=20804 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/20807/stat : 20807 (pboutclasp.pl) S 20804 20802 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345158287 26071040 437 33554432000 4194304 4198148 140736996277616 140736996268152 251048027376 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20807/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 82332
Solver just ended. Dumping a history of the last processes samples
[startup+28.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20807
/proc/meminfo: memFree=25227268/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
[pid=20804] ppid=20802 vsize=9148 CPUtime=0.22 cores=0,2,4,6
/proc/20804/stat : 20804 (sh) S 20802 20802 20391 0 -1 4202496 372 620 0 0 0 0 22 0 20 0 1 0 345158286 9367552 264 33554432000 4194304 5064252 140736027819616 140736027817872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20804/statm: 2287 264 223 213 0 72 0
[pid=20806] ppid=20804 vsize=23168 CPUtime=28.47 cores=0,2,4,6
/proc/20806/stat : 20806 (clasp-1.0) R 20804 20802 20391 0 -1 4202496 5350 0 0 0 2846 1 0 0 20 0 1 0 345158287 23724032 5229 33554432000 134512640 134847168 4287835248 4287834004 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20806/statm: 5792 5229 270 82 0 5033 0
[pid=20807] ppid=20804 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/20807/stat : 20807 (pboutclasp.pl) S 20804 20802 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345158287 26071040 437 33554432000 4194304 4198148 140736996277616 140736996268152 251048027376 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20807/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 83516
[startup+31.9067 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20807
/proc/meminfo: memFree=25227392/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
[pid=20804] ppid=20802 vsize=9148 CPUtime=0.22 cores=0,2,4,6
/proc/20804/stat : 20804 (sh) S 20802 20802 20391 0 -1 4202496 372 620 0 0 0 0 22 0 20 0 1 0 345158286 9367552 264 33554432000 4194304 5064252 140736027819616 140736027817872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20804/statm: 2287 264 223 213 0 72 0
[pid=20806] ppid=20804 vsize=23168 CPUtime=31.68 cores=0,2,4,6
/proc/20806/stat : 20806 (clasp-1.0) R 20804 20802 20391 0 -1 4202496 5371 0 0 0 3167 1 0 0 20 0 1 0 345158287 23724032 5250 33554432000 134512640 134847168 4287835248 4287834016 134737584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20806/statm: 5792 5250 270 82 0 5033 0
[pid=20807] ppid=20804 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/20807/stat : 20807 (pboutclasp.pl) S 20804 20802 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345158287 26071040 437 33554432000 4194304 4198148 140736996277616 140736996268152 251048027376 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20807/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 83516
[startup+33.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20807
/proc/meminfo: memFree=25227392/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
[pid=20804] ppid=20802 vsize=9148 CPUtime=0.22 cores=0,2,4,6
/proc/20804/stat : 20804 (sh) S 20802 20802 20391 0 -1 4202496 372 620 0 0 0 0 22 0 20 0 1 0 345158286 9367552 264 33554432000 4194304 5064252 140736027819616 140736027817872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20804/statm: 2287 264 223 213 0 72 0
[pid=20806] ppid=20804 vsize=23168 CPUtime=33.27 cores=0,2,4,6
/proc/20806/stat : 20806 (clasp-1.0) R 20804 20802 20391 0 -1 4202496 5371 0 0 0 3326 1 0 0 20 0 1 0 345158287 23724032 5250 33554432000 134512640 134847168 4287835248 4287833712 134713648 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20806/statm: 5792 5250 270 82 0 5033 0
[pid=20807] ppid=20804 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/20807/stat : 20807 (pboutclasp.pl) S 20804 20802 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345158287 26071040 437 33554432000 4194304 4198148 140736996277616 140736996268152 251048027376 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20807/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 33.49
Current children cumulated vsize (KiB) 83516
[startup+34.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20807
/proc/meminfo: memFree=25227392/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
[pid=20804] ppid=20802 vsize=9148 CPUtime=0.22 cores=0,2,4,6
/proc/20804/stat : 20804 (sh) S 20802 20802 20391 0 -1 4202496 372 620 0 0 0 0 22 0 20 0 1 0 345158286 9367552 264 33554432000 4194304 5064252 140736027819616 140736027817872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20804/statm: 2287 264 223 213 0 72 0
[pid=20806] ppid=20804 vsize=23168 CPUtime=34.07 cores=0,2,4,6
/proc/20806/stat : 20806 (clasp-1.0) R 20804 20802 20391 0 -1 4202496 5371 0 0 0 3406 1 0 0 20 0 1 0 345158287 23724032 5250 33554432000 134512640 134847168 4287835248 4287833888 134782441 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20806/statm: 5792 5250 270 82 0 5033 0
[pid=20807] ppid=20804 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/20807/stat : 20807 (pboutclasp.pl) S 20804 20802 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345158287 26071040 437 33554432000 4194304 4198148 140736996277616 140736996268152 251048027376 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20807/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 34.29
Current children cumulated vsize (KiB) 83516
[startup+34.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20807
/proc/meminfo: memFree=25227392/32873844 swapFree=7628/7628
[pid=20802] ppid=20800 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/20802/stat : 20802 (pbclasp) S 20800 20802 20391 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 345158285 26357760 516 33554432000 4194304 4198148 140733840645536 140733840644424 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20802/statm: 6435 516 363 1 0 230 0
[pid=20804] ppid=20802 vsize=9148 CPUtime=0.22 cores=0,2,4,6
/proc/20804/stat : 20804 (sh) S 20802 20802 20391 0 -1 4202496 372 620 0 0 0 0 22 0 20 0 1 0 345158286 9367552 264 33554432000 4194304 5064252 140736027819616 140736027817872 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20804/statm: 2287 264 223 213 0 72 0
[pid=20806] ppid=20804 vsize=23168 CPUtime=34.27 cores=0,2,4,6
/proc/20806/stat : 20806 (clasp-1.0) R 20804 20802 20391 0 -1 4202496 5371 0 0 0 3426 1 0 0 20 0 1 0 345158287 23724032 5250 33554432000 134512640 134847168 4287835248 4287833888 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20806/statm: 5792 5250 270 82 0 5033 0
[pid=20807] ppid=20804 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/20807/stat : 20807 (pboutclasp.pl) S 20804 20802 20391 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345158287 26071040 437 33554432000 4194304 4198148 140736996277616 140736996268152 251048027376 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/20807/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 34.49
Current children cumulated vsize (KiB) 83516
Child status: 0
Real time (s): 34.5818
CPU time (s): 34.6047
CPU user time (s): 34.5807
CPU system time (s): 0.023996
CPU usage (%): 100.066
Max. virtual memory (cumulated for all children) (KiB): 83516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.5807
system time used= 0.023996
maximum resident set size= 21080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7650
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= 87
involuntary context switches= 49
runsolver used 0.06299 second user time and 0.167974 second system time
The end