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-3729834-1338679713/watcher-3729834-1338679713 -o /tmp/evaluation-result-3729834-1338679713/solver-3729834-1338679713 -C 1800 -W 1900 -M 15500 pbclasp instance-3729834-1338679713.opb HOME/temp
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 1.64 1.02 3/179 25949
/proc/meminfo: memFree=27984936/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
[startup+0.0350351 s]
/proc/loadavg: 1.96 1.64 1.02 3/179 25949
/proc/meminfo: memFree=27984936/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.100256 s]
/proc/loadavg: 1.96 1.64 1.02 3/179 25949
/proc/meminfo: memFree=27984936/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.300224 s]
/proc/loadavg: 1.96 1.64 1.02 3/179 25949
/proc/meminfo: memFree=27984936/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.700224 s]
/proc/loadavg: 1.96 1.64 1.02 3/179 25949
/proc/meminfo: memFree=27984936/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/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: 1.97 1.64 1.03 3/183 25954
/proc/meminfo: memFree=27982084/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
[pid=25950] ppid=25949 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25950/stat : 25950 (sh) S 25949 25949 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334096790 9367552 263 33554432000 4194304 5064252 140735054212992 140735054211248 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25950/statm: 2287 263 223 213 0 72 0
[pid=25952] ppid=25950 vsize=5092 CPUtime=1.4 cores=1,3,5,7
/proc/25952/stat : 25952 (clasp-1.0) R 25950 25949 14418 0 -1 4202496 836 0 0 0 140 0 0 0 20 0 1 0 334096790 5214208 744 33554432000 134512640 134847168 4288867760 4288866384 134784604 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25952/statm: 1273 744 270 82 0 514 0
[pid=25953] ppid=25950 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25953/stat : 25953 (pboutclasp.pl) S 25950 25949 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334096790 26071040 437 33554432000 4194304 4198148 140734335396432 140734335386968 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25953/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65292
[startup+3.10033 s]
/proc/loadavg: 1.97 1.64 1.03 3/183 25954
/proc/meminfo: memFree=27981356/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
[pid=25950] ppid=25949 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25950/stat : 25950 (sh) S 25949 25949 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334096790 9367552 263 33554432000 4194304 5064252 140735054212992 140735054211248 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25950/statm: 2287 263 223 213 0 72 0
[pid=25952] ppid=25950 vsize=5500 CPUtime=3 cores=1,3,5,7
/proc/25952/stat : 25952 (clasp-1.0) R 25950 25949 14418 0 -1 4202496 949 0 0 0 300 0 0 0 20 0 1 0 334096790 5632000 857 33554432000 134512640 134847168 4288867760 4288866488 134714081 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25952/statm: 1375 857 270 82 0 616 0
[pid=25953] ppid=25950 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25953/stat : 25953 (pboutclasp.pl) S 25950 25949 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334096790 26071040 437 33554432000 4194304 4198148 140734335396432 140734335386968 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25953/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65700
[startup+6.30033 s]
/proc/loadavg: 1.97 1.65 1.03 3/183 25954
/proc/meminfo: memFree=27980760/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
[pid=25950] ppid=25949 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25950/stat : 25950 (sh) S 25949 25949 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334096790 9367552 263 33554432000 4194304 5064252 140735054212992 140735054211248 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25950/statm: 2287 263 223 213 0 72 0
[pid=25952] ppid=25950 vsize=6052 CPUtime=6.2 cores=1,3,5,7
/proc/25952/stat : 25952 (clasp-1.0) R 25950 25949 14418 0 -1 4202496 1093 0 0 0 620 0 0 0 20 0 1 0 334096790 6197248 1001 33554432000 134512640 134847168 4288867760 4288866400 134782375 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25952/statm: 1513 1001 270 82 0 754 0
[pid=25953] ppid=25950 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25953/stat : 25953 (pboutclasp.pl) S 25950 25949 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334096790 26071040 437 33554432000 4194304 4198148 140734335396432 140734335386968 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25953/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66252
[startup+12.7003 s]
/proc/loadavg: 1.97 1.65 1.04 3/183 25954
/proc/meminfo: memFree=27980032/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
[pid=25950] ppid=25949 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25950/stat : 25950 (sh) S 25949 25949 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334096790 9367552 263 33554432000 4194304 5064252 140735054212992 140735054211248 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25950/statm: 2287 263 223 213 0 72 0
[pid=25952] ppid=25950 vsize=6876 CPUtime=12.6 cores=1,3,5,7
/proc/25952/stat : 25952 (clasp-1.0) R 25950 25949 14418 0 -1 4202496 1277 0 0 0 1260 0 0 0 20 0 1 0 334096790 7041024 1185 33554432000 134512640 134847168 4288867760 4288866384 134784798 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25952/statm: 1719 1185 270 82 0 960 0
[pid=25953] ppid=25950 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25953/stat : 25953 (pboutclasp.pl) S 25950 25949 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334096790 26071040 437 33554432000 4194304 4198148 140734335396432 140734335386968 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25953/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67076
Solver just ended. Dumping a history of the last processes samples
[startup+14.3065 s]
/proc/loadavg: 1.97 1.65 1.04 3/183 25954
/proc/meminfo: memFree=27979488/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
[pid=25950] ppid=25949 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25950/stat : 25950 (sh) S 25949 25949 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334096790 9367552 263 33554432000 4194304 5064252 140735054212992 140735054211248 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25950/statm: 2287 263 223 213 0 72 0
[pid=25952] ppid=25950 vsize=6876 CPUtime=14.2 cores=1,3,5,7
/proc/25952/stat : 25952 (clasp-1.0) R 25950 25949 14418 0 -1 4202496 1296 0 0 0 1420 0 0 0 20 0 1 0 334096790 7041024 1208 33554432000 134512640 134847168 4288867760 4288866400 134782452 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25952/statm: 1719 1208 270 82 0 960 0
[pid=25953] ppid=25950 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25953/stat : 25953 (pboutclasp.pl) S 25950 25949 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334096790 26071040 437 33554432000 4194304 4198148 140734335396432 140734335386968 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25953/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 67076
[startup+15.1003 s]
/proc/loadavg: 1.97 1.65 1.04 3/183 25954
/proc/meminfo: memFree=27979488/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
[pid=25950] ppid=25949 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25950/stat : 25950 (sh) S 25949 25949 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334096790 9367552 263 33554432000 4194304 5064252 140735054212992 140735054211248 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25950/statm: 2287 263 223 213 0 72 0
[pid=25952] ppid=25950 vsize=7008 CPUtime=15 cores=1,3,5,7
/proc/25952/stat : 25952 (clasp-1.0) R 25950 25949 14418 0 -1 4202496 1312 0 0 0 1500 0 0 0 20 0 1 0 334096790 7176192 1224 33554432000 134512640 134847168 4288867760 4288866400 134782678 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25952/statm: 1752 1224 270 82 0 993 0
[pid=25953] ppid=25950 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25953/stat : 25953 (pboutclasp.pl) S 25950 25949 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334096790 26071040 437 33554432000 4194304 4198148 140734335396432 140734335386968 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25953/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 67208
[startup+15.5003 s]
/proc/loadavg: 1.97 1.66 1.04 3/183 25954
/proc/meminfo: memFree=27979364/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
[pid=25950] ppid=25949 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25950/stat : 25950 (sh) S 25949 25949 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334096790 9367552 263 33554432000 4194304 5064252 140735054212992 140735054211248 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25950/statm: 2287 263 223 213 0 72 0
[pid=25952] ppid=25950 vsize=7008 CPUtime=15.4 cores=1,3,5,7
/proc/25952/stat : 25952 (clasp-1.0) R 25950 25949 14418 0 -1 4202496 1319 0 0 0 1540 0 0 0 20 0 1 0 334096790 7176192 1231 33554432000 134512640 134847168 4288867760 4288866400 134782422 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25952/statm: 1752 1231 270 82 0 993 0
[pid=25953] ppid=25950 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25953/stat : 25953 (pboutclasp.pl) S 25950 25949 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334096790 26071040 437 33554432000 4194304 4198148 140734335396432 140734335386968 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25953/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 15.49
Current children cumulated vsize (KiB) 67208
[startup+15.9003 s]
/proc/loadavg: 1.97 1.66 1.04 3/183 25954
/proc/meminfo: memFree=27979364/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
[pid=25950] ppid=25949 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25950/stat : 25950 (sh) S 25949 25949 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334096790 9367552 263 33554432000 4194304 5064252 140735054212992 140735054211248 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25950/statm: 2287 263 223 213 0 72 0
[pid=25952] ppid=25950 vsize=7008 CPUtime=15.8 cores=1,3,5,7
/proc/25952/stat : 25952 (clasp-1.0) R 25950 25949 14418 0 -1 4202496 1326 0 0 0 1580 0 0 0 20 0 1 0 334096790 7176192 1238 33554432000 134512640 134847168 4288867760 4288866508 134737613 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25952/statm: 1752 1238 270 82 0 993 0
[pid=25953] ppid=25950 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25953/stat : 25953 (pboutclasp.pl) S 25950 25949 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334096790 26071040 437 33554432000 4194304 4198148 140734335396432 140734335386968 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25953/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 67208
[startup+16.0003 s]
/proc/loadavg: 1.97 1.66 1.04 3/183 25954
/proc/meminfo: memFree=27979364/32873844 swapFree=7384/7384
[pid=25949] ppid=25947 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25949/stat : 25949 (pbclasp) S 25947 25949 14418 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 334096789 26206208 486 33554432000 4194304 4198148 140736664781520 140736664780408 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25949/statm: 6398 486 363 1 0 193 0
[pid=25950] ppid=25949 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25950/stat : 25950 (sh) S 25949 25949 14418 0 -1 4202496 371 620 0 0 0 0 9 0 20 0 1 0 334096790 9367552 263 33554432000 4194304 5064252 140735054212992 140735054211248 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25950/statm: 2287 263 223 213 0 72 0
[pid=25952] ppid=25950 vsize=7008 CPUtime=15.9 cores=1,3,5,7
/proc/25952/stat : 25952 (clasp-1.0) R 25950 25949 14418 0 -1 4202496 1331 0 0 0 1590 0 0 0 20 0 1 0 334096790 7176192 1243 33554432000 134512640 134847168 4288867760 4288866528 134738003 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25952/statm: 1752 1243 270 82 0 993 0
[pid=25953] ppid=25950 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25953/stat : 25953 (pboutclasp.pl) S 25950 25949 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334096790 26071040 437 33554432000 4194304 4198148 140734335396432 140734335386968 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25953/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 67208
Child status: 0
Real time (s): 16.0146
CPU time (s): 16.0266
CPU user time (s): 16.0226
CPU system time (s): 0.003999
CPU usage (%): 100.074
Max. virtual memory (cumulated for all children) (KiB): 67208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0226
system time used= 0.003999
maximum resident set size= 5052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3550
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= 39
involuntary context switches= 57
runsolver used 0.014997 second user time and 0.079987 second system time
The end