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-3742736-1338790691/watcher-3742736-1338790691 -o /tmp/evaluation-result-3742736-1338790691/solver-3742736-1338790691 -C 1800 -W 1900 -M 15500 pbclasp instance-3742736-1338790691.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.93 2.00 1.99 3/177 8407
/proc/meminfo: memFree=28254748/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) R 8405 8407 5924 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 508 33554432000 4194304 4198148 140736415071712 140734148863064 252266472688 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 508 356 1 0 230 0
[startup+0.024681 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 8407
/proc/meminfo: memFree=28254748/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100266 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 8407
/proc/meminfo: memFree=28254748/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300229 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 8407
/proc/meminfo: memFree=28254748/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.700225 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 8407
/proc/meminfo: memFree=28254748/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+1.50033 s]
/proc/loadavg: 1.93 2.00 1.99 3/181 8412
/proc/meminfo: memFree=28249028/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
[pid=8409] ppid=8407 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8409/stat : 8409 (sh) S 8407 8407 5924 0 -1 4202496 372 621 0 0 0 0 21 0 20 0 1 0 345194513 9367552 264 33554432000 4194304 5064252 140736766970160 140736766968416 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8409/statm: 2287 264 223 213 0 72 0
[pid=8411] ppid=8409 vsize=8780 CPUtime=1.28 cores=1,3,5,7
/proc/8411/stat : 8411 (clasp-1.0) R 8409 8407 5924 0 -1 4202496 1743 0 0 0 128 0 0 0 20 0 1 0 345194514 8990720 1650 33554432000 134512640 134847168 4286985040 4286983808 134737666 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8411/statm: 2195 1650 272 82 0 1436 0
[pid=8412] ppid=8409 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8412/stat : 8412 (pboutclasp.pl) S 8409 8407 5924 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 345194514 26071040 438 33554432000 4194304 4198148 140735785168320 140735785158856 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8412/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69128
[startup+3.10034 s]
/proc/loadavg: 1.93 2.00 1.99 3/181 8412
/proc/meminfo: memFree=28246672/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
[pid=8409] ppid=8407 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8409/stat : 8409 (sh) S 8407 8407 5924 0 -1 4202496 372 621 0 0 0 0 21 0 20 0 1 0 345194513 9367552 264 33554432000 4194304 5064252 140736766970160 140736766968416 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8409/statm: 2287 264 223 213 0 72 0
[pid=8411] ppid=8409 vsize=11236 CPUtime=2.88 cores=1,3,5,7
/proc/8411/stat : 8411 (clasp-1.0) R 8409 8407 5924 0 -1 4202496 2362 0 0 0 288 0 0 0 20 0 1 0 345194514 11505664 2269 33554432000 134512640 134847168 4286985040 4286983680 134782472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8411/statm: 2809 2269 272 82 0 2050 0
[pid=8412] ppid=8409 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8412/stat : 8412 (pboutclasp.pl) S 8409 8407 5924 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 345194514 26071040 438 33554432000 4194304 4198148 140735785168320 140735785158856 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8412/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71584
[startup+6.30033 s]
/proc/loadavg: 1.94 2.00 1.99 3/181 8412
/proc/meminfo: memFree=28243004/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
[pid=8409] ppid=8407 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8409/stat : 8409 (sh) S 8407 8407 5924 0 -1 4202496 372 621 0 0 0 0 21 0 20 0 1 0 345194513 9367552 264 33554432000 4194304 5064252 140736766970160 140736766968416 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8409/statm: 2287 264 223 213 0 72 0
[pid=8411] ppid=8409 vsize=13168 CPUtime=6.09 cores=1,3,5,7
/proc/8411/stat : 8411 (clasp-1.0) R 8409 8407 5924 0 -1 4202496 2874 0 0 0 608 1 0 0 20 0 1 0 345194514 13484032 2779 33554432000 134512640 134847168 4286985040 4286983808 134737260 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8411/statm: 3292 2779 272 82 0 2533 0
[pid=8412] ppid=8409 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8412/stat : 8412 (pboutclasp.pl) S 8409 8407 5924 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 345194514 26071040 438 33554432000 4194304 4198148 140735785168320 140735785158856 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8412/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 73516
[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 1.99 3/181 8412
/proc/meminfo: memFree=28239192/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
[pid=8409] ppid=8407 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8409/stat : 8409 (sh) S 8407 8407 5924 0 -1 4202496 372 621 0 0 0 0 21 0 20 0 1 0 345194513 9367552 264 33554432000 4194304 5064252 140736766970160 140736766968416 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8409/statm: 2287 264 223 213 0 72 0
[pid=8411] ppid=8409 vsize=14836 CPUtime=12.48 cores=1,3,5,7
/proc/8411/stat : 8411 (clasp-1.0) R 8409 8407 5924 0 -1 4202496 3270 0 0 0 1247 1 0 0 20 0 1 0 345194514 15192064 3175 33554432000 134512640 134847168 4286985040 4286983680 134782385 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8411/statm: 3709 3175 272 82 0 2950 0
[pid=8412] ppid=8409 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8412/stat : 8412 (pboutclasp.pl) S 8409 8407 5924 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 345194514 26071040 438 33554432000 4194304 4198148 140735785168320 140735785158856 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8412/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75184
[startup+25.5004 s]
/proc/loadavg: 1.96 2.00 1.99 3/181 8412
/proc/meminfo: memFree=28232424/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
[pid=8409] ppid=8407 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8409/stat : 8409 (sh) S 8407 8407 5924 0 -1 4202496 372 621 0 0 0 0 21 0 20 0 1 0 345194513 9367552 264 33554432000 4194304 5064252 140736766970160 140736766968416 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8409/statm: 2287 264 223 213 0 72 0
[pid=8411] ppid=8409 vsize=18532 CPUtime=25.27 cores=1,3,5,7
/proc/8411/stat : 8411 (clasp-1.0) R 8409 8407 5924 0 -1 4202496 4225 0 0 0 2526 1 0 0 20 0 1 0 345194514 18976768 4134 33554432000 134512640 134847168 4286985040 4286983680 134782472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8411/statm: 4633 4134 272 82 0 3874 0
[pid=8412] ppid=8409 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8412/stat : 8412 (pboutclasp.pl) S 8409 8407 5924 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 345194514 26071040 438 33554432000 4194304 4198148 140735785168320 140735785158856 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8412/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78880
Solver just ended. Dumping a history of the last processes samples
[startup+31.9068 s]
/proc/loadavg: 1.96 2.00 1.99 3/181 8412
/proc/meminfo: memFree=28228952/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
[pid=8409] ppid=8407 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8409/stat : 8409 (sh) S 8407 8407 5924 0 -1 4202496 372 621 0 0 0 0 21 0 20 0 1 0 345194513 9367552 264 33554432000 4194304 5064252 140736766970160 140736766968416 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8409/statm: 2287 264 223 213 0 72 0
[pid=8411] ppid=8409 vsize=20740 CPUtime=31.69 cores=1,3,5,7
/proc/8411/stat : 8411 (clasp-1.0) R 8409 8407 5924 0 -1 4202496 4761 0 0 0 3167 2 0 0 20 0 1 0 345194514 21237760 4670 33554432000 134512640 134847168 4286985040 4286983316 134792553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8411/statm: 5185 4670 272 82 0 4426 0
[pid=8412] ppid=8409 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8412/stat : 8412 (pboutclasp.pl) S 8409 8407 5924 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 345194514 26071040 438 33554432000 4194304 4198148 140735785168320 140735785158856 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8412/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 81088
[startup+35.1003 s]
/proc/loadavg: 1.96 2.00 1.99 3/181 8412
/proc/meminfo: memFree=28228700/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
[pid=8409] ppid=8407 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8409/stat : 8409 (sh) S 8407 8407 5924 0 -1 4202496 372 621 0 0 0 0 21 0 20 0 1 0 345194513 9367552 264 33554432000 4194304 5064252 140736766970160 140736766968416 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8409/statm: 2287 264 223 213 0 72 0
[pid=8411] ppid=8409 vsize=21000 CPUtime=34.89 cores=1,3,5,7
/proc/8411/stat : 8411 (clasp-1.0) R 8409 8407 5924 0 -1 4202496 4821 0 0 0 3487 2 0 0 20 0 1 0 345194514 21504000 4730 33554432000 134512640 134847168 4286985040 4286983808 134737438 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8411/statm: 5250 4730 272 82 0 4491 0
[pid=8412] ppid=8409 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8412/stat : 8412 (pboutclasp.pl) S 8409 8407 5924 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 345194514 26071040 438 33554432000 4194304 4198148 140735785168320 140735785158856 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8412/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 35.1
Current children cumulated vsize (KiB) 81348
[startup+36.7003 s]
/proc/loadavg: 1.96 2.00 1.99 3/181 8412
/proc/meminfo: memFree=28228700/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
[pid=8409] ppid=8407 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8409/stat : 8409 (sh) S 8407 8407 5924 0 -1 4202496 372 621 0 0 0 0 21 0 20 0 1 0 345194513 9367552 264 33554432000 4194304 5064252 140736766970160 140736766968416 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8409/statm: 2287 264 223 213 0 72 0
[pid=8411] ppid=8409 vsize=21256 CPUtime=36.48 cores=1,3,5,7
/proc/8411/stat : 8411 (clasp-1.0) R 8409 8407 5924 0 -1 4202496 4873 0 0 0 3646 2 0 0 20 0 1 0 345194514 21766144 4782 33554432000 134512640 134847168 4286985040 4286983808 134737666 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8411/statm: 5314 4782 272 82 0 4555 0
[pid=8412] ppid=8409 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8412/stat : 8412 (pboutclasp.pl) S 8409 8407 5924 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 345194514 26071040 438 33554432000 4194304 4198148 140735785168320 140735785158856 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8412/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 36.69
Current children cumulated vsize (KiB) 81604
[startup+37.5004 s]
/proc/loadavg: 1.96 2.00 1.99 3/181 8412
/proc/meminfo: memFree=28228080/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
[pid=8409] ppid=8407 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8409/stat : 8409 (sh) S 8407 8407 5924 0 -1 4202496 372 621 0 0 0 0 21 0 20 0 1 0 345194513 9367552 264 33554432000 4194304 5064252 140736766970160 140736766968416 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8409/statm: 2287 264 223 213 0 72 0
[pid=8411] ppid=8409 vsize=21256 CPUtime=37.28 cores=1,3,5,7
/proc/8411/stat : 8411 (clasp-1.0) R 8409 8407 5924 0 -1 4202496 4873 0 0 0 3726 2 0 0 20 0 1 0 345194514 21766144 4782 33554432000 134512640 134847168 4286985040 4286983680 134782432 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8411/statm: 5314 4782 272 82 0 4555 0
[pid=8412] ppid=8409 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8412/stat : 8412 (pboutclasp.pl) S 8409 8407 5924 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 345194514 26071040 438 33554432000 4194304 4198148 140735785168320 140735785158856 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8412/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 37.49
Current children cumulated vsize (KiB) 81604
[startup+37.7004 s]
/proc/loadavg: 1.96 2.00 1.99 3/181 8412
/proc/meminfo: memFree=28228080/32873852 swapFree=7624/7624
[pid=8407] ppid=8405 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/8407/stat : 8407 (pbclasp) S 8405 8407 5924 0 -1 4202496 602 0 0 0 0 0 0 0 20 0 1 0 345194513 26357760 515 33554432000 4194304 4198148 140736415071712 140736415070600 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8407/statm: 6435 515 363 1 0 230 0
[pid=8409] ppid=8407 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/8409/stat : 8409 (sh) S 8407 8407 5924 0 -1 4202496 372 621 0 0 0 0 21 0 20 0 1 0 345194513 9367552 264 33554432000 4194304 5064252 140736766970160 140736766968416 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8409/statm: 2287 264 223 213 0 72 0
[pid=8411] ppid=8409 vsize=21256 CPUtime=37.48 cores=1,3,5,7
/proc/8411/stat : 8411 (clasp-1.0) R 8409 8407 5924 0 -1 4202496 4873 0 0 0 3746 2 0 0 20 0 1 0 345194514 21766144 4782 33554432000 134512640 134847168 4286985040 4286983680 134782530 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8411/statm: 5314 4782 272 82 0 4555 0
[pid=8412] ppid=8409 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/8412/stat : 8412 (pboutclasp.pl) S 8409 8407 5924 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 345194514 26071040 438 33554432000 4194304 4198148 140735785168320 140735785158856 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8412/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 37.69
Current children cumulated vsize (KiB) 81604
Child status: 0
Real time (s): 37.7176
CPU time (s): 37.7343
CPU user time (s): 37.7033
CPU system time (s): 0.030995
CPU usage (%): 100.044
Max. virtual memory (cumulated for all children) (KiB): 81604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.7033
system time used= 0.030995
maximum resident set size= 19208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7154
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= 78
involuntary context switches= 65
runsolver used 0.057991 second user time and 0.164974 second system time
The end