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-3729691-1338679620/watcher-3729691-1338679620 -o /tmp/evaluation-result-3729691-1338679620/solver-3729691-1338679620 -C 1800 -W 1900 -M 15500 pbclasp instance-3729691-1338679620.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.53 0.93 3/179 25481
/proc/meminfo: memFree=27986932/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
[startup+0.106151 s]
/proc/loadavg: 2.00 1.53 0.93 3/179 25481
/proc/meminfo: memFree=27986932/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.200262 s]
/proc/loadavg: 2.00 1.53 0.93 3/179 25481
/proc/meminfo: memFree=27986932/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.300253 s]
/proc/loadavg: 2.00 1.53 0.93 3/179 25481
/proc/meminfo: memFree=27986932/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.700226 s]
/proc/loadavg: 2.00 1.53 0.93 3/179 25481
/proc/meminfo: memFree=27986932/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+1.50034 s]
/proc/loadavg: 2.00 1.53 0.93 3/183 25486
/proc/meminfo: memFree=27983676/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
[pid=25482] ppid=25481 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25482/stat : 25482 (sh) S 25481 25481 14418 0 -1 4202496 373 620 0 0 0 0 9 0 20 0 1 0 334087467 9367552 264 33554432000 4194304 5064252 140735462202560 140735462200816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 2287 264 223 213 0 72 0
[pid=25484] ppid=25482 vsize=4956 CPUtime=1.4 cores=1,3,5,7
/proc/25484/stat : 25484 (clasp-1.0) R 25482 25481 14418 0 -1 4202496 826 0 0 0 140 0 0 0 20 0 1 0 334087467 5074944 734 33554432000 134512640 134847168 4288749600 4288748224 134784651 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25484/statm: 1239 734 270 82 0 480 0
[pid=25485] ppid=25482 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25485/stat : 25485 (pboutclasp.pl) S 25482 25481 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334087467 26071040 437 33554432000 4194304 4198148 140735088130640 140735088121176 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25485/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65156
[startup+3.10034 s]
/proc/loadavg: 2.00 1.53 0.93 3/183 25486
/proc/meminfo: memFree=27982824/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
[pid=25482] ppid=25481 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25482/stat : 25482 (sh) S 25481 25481 14418 0 -1 4202496 373 620 0 0 0 0 9 0 20 0 1 0 334087467 9367552 264 33554432000 4194304 5064252 140735462202560 140735462200816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 2287 264 223 213 0 72 0
[pid=25484] ppid=25482 vsize=5500 CPUtime=3 cores=1,3,5,7
/proc/25484/stat : 25484 (clasp-1.0) R 25482 25481 14418 0 -1 4202496 948 0 0 0 300 0 0 0 20 0 1 0 334087467 5632000 856 33554432000 134512640 134847168 4288749600 4288748144 134714782 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25484/statm: 1375 856 270 82 0 616 0
[pid=25485] ppid=25482 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25485/stat : 25485 (pboutclasp.pl) S 25482 25481 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334087467 26071040 437 33554432000 4194304 4198148 140735088130640 140735088121176 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25485/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65700
[startup+6.30034 s]
/proc/loadavg: 2.00 1.54 0.94 3/183 25486
/proc/meminfo: memFree=27982080/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
[pid=25482] ppid=25481 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25482/stat : 25482 (sh) S 25481 25481 14418 0 -1 4202496 373 620 0 0 0 0 9 0 20 0 1 0 334087467 9367552 264 33554432000 4194304 5064252 140735462202560 140735462200816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 2287 264 223 213 0 72 0
[pid=25484] ppid=25482 vsize=6176 CPUtime=6.2 cores=1,3,5,7
/proc/25484/stat : 25484 (clasp-1.0) R 25482 25481 14418 0 -1 4202496 1108 0 0 0 620 0 0 0 20 0 1 0 334087467 6324224 1016 33554432000 134512640 134847168 4288749600 4288748224 134784670 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25484/statm: 1544 1016 270 82 0 785 0
[pid=25485] ppid=25482 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25485/stat : 25485 (pboutclasp.pl) S 25482 25481 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334087467 26071040 437 33554432000 4194304 4198148 140735088130640 140735088121176 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25485/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66376
[startup+12.7003 s]
/proc/loadavg: 2.00 1.55 0.94 3/183 25486
/proc/meminfo: memFree=27981368/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
[pid=25482] ppid=25481 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25482/stat : 25482 (sh) S 25481 25481 14418 0 -1 4202496 373 620 0 0 0 0 9 0 20 0 1 0 334087467 9367552 264 33554432000 4194304 5064252 140735462202560 140735462200816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 2287 264 223 213 0 72 0
[pid=25484] ppid=25482 vsize=6872 CPUtime=12.6 cores=1,3,5,7
/proc/25484/stat : 25484 (clasp-1.0) R 25482 25481 14418 0 -1 4202496 1287 0 0 0 1260 0 0 0 20 0 1 0 334087467 7036928 1195 33554432000 134512640 134847168 4288749600 4288748224 134784653 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25484/statm: 1718 1195 270 82 0 959 0
[pid=25485] ppid=25482 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25485/stat : 25485 (pboutclasp.pl) S 25482 25481 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334087467 26071040 437 33554432000 4194304 4198148 140735088130640 140735088121176 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25485/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67072
Solver just ended. Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 2.00 1.55 0.94 3/183 25486
/proc/meminfo: memFree=27981368/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
[pid=25482] ppid=25481 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25482/stat : 25482 (sh) S 25481 25481 14418 0 -1 4202496 373 620 0 0 0 0 9 0 20 0 1 0 334087467 9367552 264 33554432000 4194304 5064252 140735462202560 140735462200816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 2287 264 223 213 0 72 0
[pid=25484] ppid=25482 vsize=6872 CPUtime=12.7 cores=1,3,5,7
/proc/25484/stat : 25484 (clasp-1.0) R 25482 25481 14418 0 -1 4202496 1287 0 0 0 1270 0 0 0 20 0 1 0 334087467 7036928 1195 33554432000 134512640 134847168 4288749600 4288748240 134782685 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25484/statm: 1718 1195 270 82 0 959 0
[pid=25485] ppid=25482 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25485/stat : 25485 (pboutclasp.pl) S 25482 25481 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334087467 26071040 437 33554432000 4194304 4198148 140735088130640 140735088121176 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25485/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 67072
[startup+16.0003 s]
/proc/loadavg: 2.00 1.55 0.95 3/183 25486
/proc/meminfo: memFree=27981120/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
[pid=25482] ppid=25481 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25482/stat : 25482 (sh) S 25481 25481 14418 0 -1 4202496 373 620 0 0 0 0 9 0 20 0 1 0 334087467 9367552 264 33554432000 4194304 5064252 140735462202560 140735462200816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 2287 264 223 213 0 72 0
[pid=25484] ppid=25482 vsize=7144 CPUtime=15.9 cores=1,3,5,7
/proc/25484/stat : 25484 (clasp-1.0) R 25482 25481 14418 0 -1 4202496 1343 0 0 0 1590 0 0 0 20 0 1 0 334087467 7315456 1251 33554432000 134512640 134847168 4288749600 4288748224 134784800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25484/statm: 1786 1251 270 82 0 1027 0
[pid=25485] ppid=25482 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25485/stat : 25485 (pboutclasp.pl) S 25482 25481 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334087467 26071040 437 33554432000 4194304 4198148 140735088130640 140735088121176 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25485/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 67344
[startup+17.6003 s]
/proc/loadavg: 2.00 1.55 0.95 3/183 25486
/proc/meminfo: memFree=27980436/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
[pid=25482] ppid=25481 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25482/stat : 25482 (sh) S 25481 25481 14418 0 -1 4202496 373 620 0 0 0 0 9 0 20 0 1 0 334087467 9367552 264 33554432000 4194304 5064252 140735462202560 140735462200816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 2287 264 223 213 0 72 0
[pid=25484] ppid=25482 vsize=7144 CPUtime=17.5 cores=1,3,5,7
/proc/25484/stat : 25484 (clasp-1.0) R 25482 25481 14418 0 -1 4202496 1361 0 0 0 1750 0 0 0 20 0 1 0 334087467 7315456 1273 33554432000 134512640 134847168 4288749600 4288748176 134714266 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25484/statm: 1786 1273 270 82 0 1027 0
[pid=25485] ppid=25482 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25485/stat : 25485 (pboutclasp.pl) S 25482 25481 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334087467 26071040 437 33554432000 4194304 4198148 140735088130640 140735088121176 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25485/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 67344
[startup+18.4003 s]
/proc/loadavg: 2.00 1.55 0.95 3/183 25486
/proc/meminfo: memFree=27980436/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
[pid=25482] ppid=25481 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25482/stat : 25482 (sh) S 25481 25481 14418 0 -1 4202496 373 620 0 0 0 0 9 0 20 0 1 0 334087467 9367552 264 33554432000 4194304 5064252 140735462202560 140735462200816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 2287 264 223 213 0 72 0
[pid=25484] ppid=25482 vsize=7280 CPUtime=18.3 cores=1,3,5,7
/proc/25484/stat : 25484 (clasp-1.0) R 25482 25481 14418 0 -1 4202496 1375 0 0 0 1830 0 0 0 20 0 1 0 334087467 7454720 1287 33554432000 134512640 134847168 4288749600 4288748340 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25484/statm: 1820 1287 270 82 0 1061 0
[pid=25485] ppid=25482 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25485/stat : 25485 (pboutclasp.pl) S 25482 25481 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334087467 26071040 437 33554432000 4194304 4198148 140735088130640 140735088121176 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25485/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 18.39
Current children cumulated vsize (KiB) 67480
[startup+18.8067 s]
/proc/loadavg: 2.00 1.56 0.95 3/183 25486
/proc/meminfo: memFree=27980312/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
[pid=25482] ppid=25481 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25482/stat : 25482 (sh) S 25481 25481 14418 0 -1 4202496 373 620 0 0 0 0 9 0 20 0 1 0 334087467 9367552 264 33554432000 4194304 5064252 140735462202560 140735462200816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 2287 264 223 213 0 72 0
[pid=25484] ppid=25482 vsize=7280 CPUtime=18.7 cores=1,3,5,7
/proc/25484/stat : 25484 (clasp-1.0) R 25482 25481 14418 0 -1 4202496 1376 0 0 0 1870 0 0 0 20 0 1 0 334087467 7454720 1288 33554432000 134512640 134847168 4288749600 4288748240 134782437 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25484/statm: 1820 1288 270 82 0 1061 0
[pid=25485] ppid=25482 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25485/stat : 25485 (pboutclasp.pl) S 25482 25481 14418 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334087467 26071040 437 33554432000 4194304 4198148 140735088130640 140735088121176 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25485/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 18.79
Current children cumulated vsize (KiB) 67480
[startup+19.0003 s]
/proc/loadavg: 2.00 1.56 0.95 3/183 25486
/proc/meminfo: memFree=27980312/32873844 swapFree=7384/7384
[pid=25481] ppid=25479 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25481/stat : 25481 (pbclasp) S 25479 25481 14418 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 334087467 26206208 486 33554432000 4194304 4198148 140736551576720 140736551575608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25481/statm: 6398 486 363 1 0 193 0
[pid=25482] ppid=25481 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/25482/stat : 25482 (sh) S 25481 25481 14418 0 -1 4202496 373 620 0 0 0 0 9 0 20 0 1 0 334087467 9367552 264 33554432000 4194304 5064252 140735462202560 140735462200816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25482/statm: 2287 264 223 213 0 72 0
[pid=25484] ppid=25482 vsize=0 CPUtime=18.9 cores=1,3,5,7
/proc/25484/stat : 25484 (clasp-1.0) R 25482 25481 14418 0 -1 4202500 1402 0 0 0 1890 0 0 0 20 0 1 0 334087467 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25484/statm: 0 0 0 0 0 0 0
[pid=25485] ppid=25482 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25485/stat : 25485 (pboutclasp.pl) S 25482 25481 14418 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 334087467 26071040 446 33554432000 4194304 4198148 140735088130640 140735088121176 239876498672 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25485/statm: 6365 446 351 1 0 160 0
Current children cumulated CPU time (s) 18.99
Current children cumulated vsize (KiB) 60200
Child status: 0
Real time (s): 19.0018
CPU time (s): 19.0161
CPU user time (s): 19.0051
CPU system time (s): 0.010998
CPU usage (%): 100.075
Max. virtual memory (cumulated for all children) (KiB): 67480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.0051
system time used= 0.010998
maximum resident set size= 5256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3604
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= 71
runsolver used 0.034994 second user time and 0.090986 second system time
The end