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-3729002-1338678674/watcher-3729002-1338678674 -o /tmp/evaluation-result-3729002-1338678674/solver-3729002-1338678674 -C 1800 -W 1900 -M 15500 pbclasp instance-3729002-1338678674.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: 0.60 0.14 0.24 3/179 27212
/proc/meminfo: memFree=27907488/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[startup+0.0510331 s]
/proc/loadavg: 0.60 0.14 0.24 3/179 27212
/proc/meminfo: memFree=27907488/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.100212 s]
/proc/loadavg: 0.60 0.14 0.24 3/179 27212
/proc/meminfo: memFree=27907488/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.30018 s]
/proc/loadavg: 0.60 0.14 0.24 3/179 27212
/proc/meminfo: memFree=27907488/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.700181 s]
/proc/loadavg: 0.60 0.14 0.24 3/179 27212
/proc/meminfo: memFree=27907488/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+1.50029 s]
/proc/loadavg: 0.60 0.14 0.24 3/183 27217
/proc/meminfo: memFree=27904216/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[pid=27213] ppid=27212 vsize=9148 CPUtime=0.05 cores=1,3,5,7
/proc/27213/stat : 27213 (sh) S 27212 27212 26887 0 -1 4202496 372 624 0 0 0 0 5 0 20 0 1 0 333994142 9367552 264 33554432000 4194304 5064252 140737377869600 140737377867856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27213/statm: 2287 264 223 213 0 72 0
[pid=27215] ppid=27213 vsize=5808 CPUtime=1.44 cores=1,3,5,7
/proc/27215/stat : 27215 (clasp-1.0) R 27213 27212 26887 0 -1 4202496 1044 0 0 0 144 0 0 0 20 0 1 0 333994142 5947392 952 33554432000 134512640 134847168 4290250048 4290248688 134782104 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27215/statm: 1452 952 272 82 0 693 0
[pid=27216] ppid=27213 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27216/stat : 27216 (pboutclasp.pl) S 27213 27212 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 333994142 26071040 437 33554432000 4194304 4198148 140733985786736 140733985777272 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27216/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66008
[startup+3.1003 s]
/proc/loadavg: 0.71 0.17 0.25 3/183 27217
/proc/meminfo: memFree=27903232/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[pid=27213] ppid=27212 vsize=9148 CPUtime=0.05 cores=1,3,5,7
/proc/27213/stat : 27213 (sh) S 27212 27212 26887 0 -1 4202496 372 624 0 0 0 0 5 0 20 0 1 0 333994142 9367552 264 33554432000 4194304 5064252 140737377869600 140737377867856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27213/statm: 2287 264 223 213 0 72 0
[pid=27215] ppid=27213 vsize=6460 CPUtime=3.04 cores=1,3,5,7
/proc/27215/stat : 27215 (clasp-1.0) R 27213 27212 26887 0 -1 4202496 1202 0 0 0 304 0 0 0 20 0 1 0 333994142 6615040 1110 33554432000 134512640 134847168 4290250048 4290248320 134791743 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27215/statm: 1615 1110 272 82 0 856 0
[pid=27216] ppid=27213 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27216/stat : 27216 (pboutclasp.pl) S 27213 27212 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 333994142 26071040 437 33554432000 4194304 4198148 140733985786736 140733985777272 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27216/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66660
[startup+6.30029 s]
/proc/loadavg: 0.71 0.17 0.25 3/183 27217
/proc/meminfo: memFree=27895700/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[pid=27213] ppid=27212 vsize=9148 CPUtime=0.05 cores=1,3,5,7
/proc/27213/stat : 27213 (sh) S 27212 27212 26887 0 -1 4202496 372 624 0 0 0 0 5 0 20 0 1 0 333994142 9367552 264 33554432000 4194304 5064252 140737377869600 140737377867856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27213/statm: 2287 264 223 213 0 72 0
[pid=27215] ppid=27213 vsize=7360 CPUtime=6.24 cores=1,3,5,7
/proc/27215/stat : 27215 (clasp-1.0) R 27213 27212 26887 0 -1 4202496 1404 0 0 0 624 0 0 0 20 0 1 0 333994142 7536640 1312 33554432000 134512640 134847168 4290250048 4290248288 1582375 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27215/statm: 1840 1312 272 82 0 1081 0
[pid=27216] ppid=27213 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27216/stat : 27216 (pboutclasp.pl) S 27213 27212 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 333994142 26071040 437 33554432000 4194304 4198148 140733985786736 140733985777272 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27216/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67560
[startup+12.7003 s]
/proc/loadavg: 0.91 0.23 0.26 3/183 27217
/proc/meminfo: memFree=27894868/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[pid=27213] ppid=27212 vsize=9148 CPUtime=0.05 cores=1,3,5,7
/proc/27213/stat : 27213 (sh) S 27212 27212 26887 0 -1 4202496 372 624 0 0 0 0 5 0 20 0 1 0 333994142 9367552 264 33554432000 4194304 5064252 140737377869600 140737377867856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27213/statm: 2287 264 223 213 0 72 0
[pid=27215] ppid=27213 vsize=8120 CPUtime=12.64 cores=1,3,5,7
/proc/27215/stat : 27215 (clasp-1.0) R 27213 27212 26887 0 -1 4202496 1618 0 0 0 1264 0 0 0 20 0 1 0 333994142 8314880 1526 33554432000 134512640 134847168 4290250048 4290248732 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27215/statm: 2030 1526 272 82 0 1271 0
[pid=27216] ppid=27213 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27216/stat : 27216 (pboutclasp.pl) S 27213 27212 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 333994142 26071040 437 33554432000 4194304 4198148 140733985786736 140733985777272 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27216/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68320
[startup+25.5003 s]
/proc/loadavg: 0.99 0.27 0.28 3/183 27269
/proc/meminfo: memFree=27968344/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[pid=27213] ppid=27212 vsize=9148 CPUtime=0.05 cores=1,3,5,7
/proc/27213/stat : 27213 (sh) S 27212 27212 26887 0 -1 4202496 372 624 0 0 0 0 5 0 20 0 1 0 333994142 9367552 264 33554432000 4194304 5064252 140737377869600 140737377867856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27213/statm: 2287 264 223 213 0 72 0
[pid=27215] ppid=27213 vsize=9272 CPUtime=25.43 cores=1,3,5,7
/proc/27215/stat : 27215 (clasp-1.0) R 27213 27212 26887 0 -1 4202496 1897 0 0 0 2543 0 0 0 20 0 1 0 333994142 9494528 1805 33554432000 134512640 134847168 4290250048 4290248688 134782419 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27215/statm: 2318 1805 272 82 0 1559 0
[pid=27216] ppid=27213 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27216/stat : 27216 (pboutclasp.pl) S 27213 27212 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 333994142 26071040 437 33554432000 4194304 4198148 140733985786736 140733985777272 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27216/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69472
Solver just ended. Dumping a history of the last processes samples
[startup+31.9065 s]
/proc/loadavg: 1.15 0.33 0.29 3/183 27269
/proc/meminfo: memFree=27965848/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[pid=27213] ppid=27212 vsize=9148 CPUtime=0.05 cores=1,3,5,7
/proc/27213/stat : 27213 (sh) S 27212 27212 26887 0 -1 4202496 372 624 0 0 0 0 5 0 20 0 1 0 333994142 9367552 264 33554432000 4194304 5064252 140737377869600 140737377867856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27213/statm: 2287 264 223 213 0 72 0
[pid=27215] ppid=27213 vsize=9760 CPUtime=31.84 cores=1,3,5,7
/proc/27215/stat : 27215 (clasp-1.0) R 27213 27212 26887 0 -1 4202496 2029 0 0 0 3184 0 0 0 20 0 1 0 333994142 9994240 1935 33554432000 134512640 134847168 4290250048 4290248732 134715841 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27215/statm: 2440 1935 272 82 0 1681 0
[pid=27216] ppid=27213 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27216/stat : 27216 (pboutclasp.pl) S 27213 27212 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 333994142 26071040 437 33554432000 4194304 4198148 140733985786736 140733985777272 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27216/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 69960
[startup+38.3003 s]
/proc/loadavg: 1.22 0.36 0.30 3/183 27269
/proc/meminfo: memFree=27965856/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[pid=27213] ppid=27212 vsize=9148 CPUtime=0.05 cores=1,3,5,7
/proc/27213/stat : 27213 (sh) S 27212 27212 26887 0 -1 4202496 372 624 0 0 0 0 5 0 20 0 1 0 333994142 9367552 264 33554432000 4194304 5064252 140737377869600 140737377867856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27213/statm: 2287 264 223 213 0 72 0
[pid=27215] ppid=27213 vsize=9956 CPUtime=38.23 cores=1,3,5,7
/proc/27215/stat : 27215 (clasp-1.0) R 27213 27212 26887 0 -1 4202496 2061 0 0 0 3823 0 0 0 20 0 1 0 333994142 10194944 1967 33554432000 134512640 134847168 4290250048 4290248816 134737510 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27215/statm: 2489 1967 272 82 0 1730 0
[pid=27216] ppid=27213 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27216/stat : 27216 (pboutclasp.pl) S 27213 27212 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 333994142 26071040 437 33554432000 4194304 4198148 140733985786736 140733985777272 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27216/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 70156
[startup+39.9003 s]
/proc/loadavg: 1.22 0.36 0.30 4/183 27269
/proc/meminfo: memFree=27965856/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[pid=27213] ppid=27212 vsize=9148 CPUtime=0.05 cores=1,3,5,7
/proc/27213/stat : 27213 (sh) S 27212 27212 26887 0 -1 4202496 372 624 0 0 0 0 5 0 20 0 1 0 333994142 9367552 264 33554432000 4194304 5064252 140737377869600 140737377867856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27213/statm: 2287 264 223 213 0 72 0
[pid=27215] ppid=27213 vsize=9956 CPUtime=39.83 cores=1,3,5,7
/proc/27215/stat : 27215 (clasp-1.0) R 27213 27212 26887 0 -1 4202496 2062 0 0 0 3983 0 0 0 20 0 1 0 333994142 10194944 1968 33554432000 134512640 134847168 4290250048 4290248740 1577424 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27215/statm: 2489 1968 272 82 0 1730 0
[pid=27216] ppid=27213 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27216/stat : 27216 (pboutclasp.pl) S 27213 27212 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 333994142 26071040 437 33554432000 4194304 4198148 140733985786736 140733985777272 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27216/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 39.88
Current children cumulated vsize (KiB) 70156
[startup+40.7065 s]
/proc/loadavg: 1.22 0.36 0.30 3/183 27269
/proc/meminfo: memFree=27965172/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[pid=27213] ppid=27212 vsize=9148 CPUtime=0.05 cores=1,3,5,7
/proc/27213/stat : 27213 (sh) S 27212 27212 26887 0 -1 4202496 372 624 0 0 0 0 5 0 20 0 1 0 333994142 9367552 264 33554432000 4194304 5064252 140737377869600 140737377867856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27213/statm: 2287 264 223 213 0 72 0
[pid=27215] ppid=27213 vsize=9956 CPUtime=40.64 cores=1,3,5,7
/proc/27215/stat : 27215 (clasp-1.0) R 27213 27212 26887 0 -1 4202496 2062 0 0 0 4064 0 0 0 20 0 1 0 333994142 10194944 1968 33554432000 134512640 134847168 4290250048 4290248740 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27215/statm: 2489 1968 272 82 0 1730 0
[pid=27216] ppid=27213 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27216/stat : 27216 (pboutclasp.pl) S 27213 27212 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 333994142 26071040 437 33554432000 4194304 4198148 140733985786736 140733985777272 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27216/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 40.69
Current children cumulated vsize (KiB) 70156
[startup+41.5003 s]
/proc/loadavg: 1.22 0.36 0.30 3/183 27269
/proc/meminfo: memFree=27965172/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[pid=27213] ppid=27212 vsize=9148 CPUtime=0.05 cores=1,3,5,7
/proc/27213/stat : 27213 (sh) S 27212 27212 26887 0 -1 4202496 372 624 0 0 0 0 5 0 20 0 1 0 333994142 9367552 264 33554432000 4194304 5064252 140737377869600 140737377867856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27213/statm: 2287 264 223 213 0 72 0
[pid=27215] ppid=27213 vsize=10084 CPUtime=41.43 cores=1,3,5,7
/proc/27215/stat : 27215 (clasp-1.0) R 27213 27212 26887 0 -1 4202496 2108 0 0 0 4143 0 0 0 20 0 1 0 333994142 10326016 2014 33554432000 134512640 134847168 4290250048 4290248624 134742286 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27215/statm: 2521 2014 272 82 0 1762 0
[pid=27216] ppid=27213 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27216/stat : 27216 (pboutclasp.pl) S 27213 27212 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 333994142 26071040 437 33554432000 4194304 4198148 140733985786736 140733985777272 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27216/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 41.48
Current children cumulated vsize (KiB) 70284
[startup+41.9003 s]
/proc/loadavg: 1.28 0.38 0.31 3/183 27269
/proc/meminfo: memFree=27964552/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[pid=27213] ppid=27212 vsize=9148 CPUtime=0.05 cores=1,3,5,7
/proc/27213/stat : 27213 (sh) S 27212 27212 26887 0 -1 4202496 372 624 0 0 0 0 5 0 20 0 1 0 333994142 9367552 264 33554432000 4194304 5064252 140737377869600 140737377867856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27213/statm: 2287 264 223 213 0 72 0
[pid=27215] ppid=27213 vsize=10224 CPUtime=41.83 cores=1,3,5,7
/proc/27215/stat : 27215 (clasp-1.0) R 27213 27212 26887 0 -1 4202496 2151 0 0 0 4183 0 0 0 20 0 1 0 333994142 10469376 2057 33554432000 134512640 134847168 4290250048 4290248688 134782662 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27215/statm: 2556 2057 272 82 0 1797 0
[pid=27216] ppid=27213 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27216/stat : 27216 (pboutclasp.pl) S 27213 27212 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 333994142 26071040 437 33554432000 4194304 4198148 140733985786736 140733985777272 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27216/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 41.88
Current children cumulated vsize (KiB) 70424
[startup+42.0003 s]
/proc/loadavg: 1.28 0.38 0.31 3/183 27269
/proc/meminfo: memFree=27964552/32873648 swapFree=6852/6852
[pid=27212] ppid=27210 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27212/stat : 27212 (pbclasp) S 27210 27212 26887 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 333994142 26206208 489 33554432000 4194304 4198148 140733748342368 140733748341256 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27212/statm: 6398 489 363 1 0 193 0
[pid=27213] ppid=27212 vsize=9148 CPUtime=0.05 cores=1,3,5,7
/proc/27213/stat : 27213 (sh) S 27212 27212 26887 0 -1 4202496 372 624 0 0 0 0 5 0 20 0 1 0 333994142 9367552 264 33554432000 4194304 5064252 140737377869600 140737377867856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27213/statm: 2287 264 223 213 0 72 0
[pid=27215] ppid=27213 vsize=10224 CPUtime=41.93 cores=1,3,5,7
/proc/27215/stat : 27215 (clasp-1.0) R 27213 27212 26887 0 -1 4202496 2151 0 0 0 4193 0 0 0 20 0 1 0 333994142 10469376 2057 33554432000 134512640 134847168 4290250048 4290248816 134737584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27215/statm: 2556 2057 272 82 0 1797 0
[pid=27216] ppid=27213 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27216/stat : 27216 (pboutclasp.pl) S 27213 27212 26887 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 333994142 26071040 437 33554432000 4194304 4198148 140733985786736 140733985777272 271790957808 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27216/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 41.98
Current children cumulated vsize (KiB) 70424
Child status: 0
Real time (s): 42.0599
CPU time (s): 42.0616
CPU user time (s): 42.0526
CPU system time (s): 0.008998
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 70424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.0526
system time used= 0.008998
maximum resident set size= 8328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4385
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= 34
involuntary context switches= 44
runsolver used 0.087986 second user time and 0.219966 second system time
The end