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-3713542-1338185369/watcher-3713542-1338185369 -o /tmp/evaluation-result-3713542-1338185369/solver-3713542-1338185369 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713542-1338185369.wbo 2103160559 HOME HOME
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.98 1.96 1.98 3/179 32586
/proc/meminfo: memFree=29066064/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
[startup+0.059904 s]
/proc/loadavg: 1.98 1.96 1.98 3/179 32586
/proc/meminfo: memFree=29066064/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 1.98 1.96 1.98 3/179 32586
/proc/meminfo: memFree=29066064/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300263 s]
/proc/loadavg: 1.98 1.96 1.98 3/179 32586
/proc/meminfo: memFree=29066064/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700221 s]
/proc/loadavg: 1.98 1.96 1.98 3/179 32586
/proc/meminfo: memFree=29066064/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 1.98 1.96 1.98 3/183 32603
/proc/meminfo: memFree=29041120/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
[pid=32587] ppid=32586 vsize=11296 CPUtime=1.28 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-wbo) S 32586 32586 26029 0 -1 4202496 4738 23199 0 0 15 2 94 17 20 0 1 0 284664245 11567104 2299 33554432000 4194304 5990268 140734766143824 140734766135264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 2824 2299 160 439 0 2381 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 20444
[startup+3.10027 s]
/proc/loadavg: 1.98 1.96 1.98 3/183 32614
/proc/meminfo: memFree=29048876/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
[pid=32587] ppid=32586 vsize=11296 CPUtime=2.53 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-wbo) S 32586 32586 26029 0 -1 4202496 5575 42815 0 0 17 2 204 30 20 0 1 0 284664245 11567104 2299 33554432000 4194304 5990268 140734766143824 140734766135264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 2824 2299 160 439 0 2381 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 20444
[startup+6.30028 s]
/proc/loadavg: 1.98 1.96 1.98 3/183 32635
/proc/meminfo: memFree=29047448/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
[pid=32587] ppid=32586 vsize=11296 CPUtime=6.17 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-wbo) S 32586 32586 26029 0 -1 4202496 5756 53457 0 0 17 3 565 32 20 0 1 0 284664245 11567104 2299 33554432000 4194304 5990268 140734766143824 140734766135264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 2824 2299 160 439 0 2381 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 20444
[startup+12.7003 s]
/proc/loadavg: 1.99 1.96 1.98 3/183 32649
/proc/meminfo: memFree=29045968/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
[pid=32587] ppid=32586 vsize=11296 CPUtime=7.88 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-wbo) S 32586 32586 26029 0 -1 4202496 5844 58857 0 0 17 3 735 33 20 0 1 0 284664245 11567104 2300 33554432000 4194304 5990268 140734766143824 140734766135264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 2824 2300 161 439 0 2381 0
[pid=32648] ppid=32587 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32648/stat : 32648 (satsolver.sh) S 32587 32586 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284665035 9367552 267 33554432000 4194304 5064252 140736806604336 140736806603248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32648/statm: 2287 267 226 213 0 72 0
[pid=32649] ppid=32648 vsize=11900 CPUtime=4.79 cores=1,3,5,7
/proc/32649/stat : 32649 (glucose) R 32648 32586 26029 0 -1 4202496 3133 0 0 0 479 0 0 0 20 0 1 0 284665035 12185600 2534 33554432000 4194304 5208918 140733715321712 140733715319576 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32649/statm: 2975 2534 102 248 0 2724 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 41492
[startup+25.5004 s]
/proc/loadavg: 1.99 1.96 1.98 3/183 32701
/proc/meminfo: memFree=29297140/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
[pid=32587] ppid=32586 vsize=11296 CPUtime=7.88 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-wbo) S 32586 32586 26029 0 -1 4202496 5844 58857 0 0 17 3 735 33 20 0 1 0 284664245 11567104 2300 33554432000 4194304 5990268 140734766143824 140734766135264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 2824 2300 161 439 0 2381 0
[pid=32648] ppid=32587 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32648/stat : 32648 (satsolver.sh) S 32587 32586 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284665035 9367552 267 33554432000 4194304 5064252 140736806604336 140736806603248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32648/statm: 2287 267 226 213 0 72 0
[pid=32649] ppid=32648 vsize=14644 CPUtime=17.58 cores=1,3,5,7
/proc/32649/stat : 32649 (glucose) R 32648 32586 26029 0 -1 4202496 3358 0 0 0 1758 0 0 0 20 0 1 0 284665035 14995456 3227 33554432000 4194304 5208918 140733715321712 140733715319800 4229006 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32649/statm: 3661 3227 102 248 0 3410 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 44236
Solver just ended. Dumping a history of the last processes samples
[startup+28.7004 s]
/proc/loadavg: 1.99 1.97 1.98 3/183 32701
/proc/meminfo: memFree=29296044/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
[pid=32587] ppid=32586 vsize=11296 CPUtime=7.88 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-wbo) S 32586 32586 26029 0 -1 4202496 5844 58857 0 0 17 3 735 33 20 0 1 0 284664245 11567104 2300 33554432000 4194304 5990268 140734766143824 140734766135264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 2824 2300 161 439 0 2381 0
[pid=32648] ppid=32587 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32648/stat : 32648 (satsolver.sh) S 32587 32586 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284665035 9367552 267 33554432000 4194304 5064252 140736806604336 140736806603248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32648/statm: 2287 267 226 213 0 72 0
[pid=32649] ppid=32648 vsize=14644 CPUtime=20.78 cores=1,3,5,7
/proc/32649/stat : 32649 (glucose) R 32648 32586 26029 0 -1 4202496 3359 0 0 0 2078 0 0 0 20 0 1 0 284665035 14995456 3228 33554432000 4194304 5208918 140733715321712 140733715319800 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32649/statm: 3661 3228 103 248 0 3410 0
Current children cumulated CPU time (s) 28.66
Current children cumulated vsize (KiB) 44236
[startup+31.9068 s]
/proc/loadavg: 1.99 1.97 1.98 3/183 32701
/proc/meminfo: memFree=29290160/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
[pid=32587] ppid=32586 vsize=11296 CPUtime=7.88 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-wbo) S 32586 32586 26029 0 -1 4202496 5844 58857 0 0 17 3 735 33 20 0 1 0 284664245 11567104 2300 33554432000 4194304 5990268 140734766143824 140734766135264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 2824 2300 161 439 0 2381 0
[pid=32648] ppid=32587 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32648/stat : 32648 (satsolver.sh) S 32587 32586 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284665035 9367552 267 33554432000 4194304 5064252 140736806604336 140736806603248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32648/statm: 2287 267 226 213 0 72 0
[pid=32649] ppid=32648 vsize=18996 CPUtime=23.98 cores=1,3,5,7
/proc/32649/stat : 32649 (glucose) R 32648 32586 26029 0 -1 4202496 3881 0 0 0 2398 0 0 0 20 0 1 0 284665035 19451904 4232 33554432000 4194304 5208918 140733715321712 140733715319560 4229377 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32649/statm: 4749 4232 103 248 0 4498 0
Current children cumulated CPU time (s) 31.86
Current children cumulated vsize (KiB) 48588
[startup+33.5004 s]
/proc/loadavg: 1.99 1.97 1.98 3/182 32709
/proc/meminfo: memFree=29297788/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
[pid=32587] ppid=32586 vsize=11296 CPUtime=7.88 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-wbo) S 32586 32586 26029 0 -1 4202496 5844 58857 0 0 17 3 735 33 20 0 1 0 284664245 11567104 2300 33554432000 4194304 5990268 140734766143824 140734766135264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 2824 2300 161 439 0 2381 0
[pid=32648] ppid=32587 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32648/stat : 32648 (satsolver.sh) S 32587 32586 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284665035 9367552 267 33554432000 4194304 5064252 140736806604336 140736806603248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32648/statm: 2287 267 226 213 0 72 0
[pid=32649] ppid=32648 vsize=18996 CPUtime=25.58 cores=1,3,5,7
/proc/32649/stat : 32649 (glucose) R 32648 32586 26029 0 -1 4202496 3881 0 0 0 2558 0 0 0 20 0 1 0 284665035 19451904 4232 33554432000 4194304 5208918 140733715321712 140733715319560 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32649/statm: 4749 4232 103 248 0 4498 0
Current children cumulated CPU time (s) 33.46
Current children cumulated vsize (KiB) 48588
[startup+33.9004 s]
/proc/loadavg: 1.99 1.97 1.98 3/182 32709
/proc/meminfo: memFree=29297788/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
[pid=32587] ppid=32586 vsize=11296 CPUtime=7.88 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-wbo) S 32586 32586 26029 0 -1 4202496 5844 58857 0 0 17 3 735 33 20 0 1 0 284664245 11567104 2300 33554432000 4194304 5990268 140734766143824 140734766135264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 2824 2300 161 439 0 2381 0
[pid=32648] ppid=32587 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32648/stat : 32648 (satsolver.sh) S 32587 32586 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284665035 9367552 267 33554432000 4194304 5064252 140736806604336 140736806603248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32648/statm: 2287 267 226 213 0 72 0
[pid=32649] ppid=32648 vsize=18996 CPUtime=25.98 cores=1,3,5,7
/proc/32649/stat : 32649 (glucose) R 32648 32586 26029 0 -1 4202496 3881 0 0 0 2598 0 0 0 20 0 1 0 284665035 19451904 4232 33554432000 4194304 5208918 140733715321712 140733715319560 4229427 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32649/statm: 4749 4232 103 248 0 4498 0
Current children cumulated CPU time (s) 33.86
Current children cumulated vsize (KiB) 48588
[startup+34.1066 s]
/proc/loadavg: 1.99 1.97 1.98 3/184 32711
/proc/meminfo: memFree=29228764/32873648 swapFree=7116/7116
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-wbo.sh) S 32584 32586 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284664245 9367552 274 33554432000 4194304 5064252 140734912367472 140734912366384 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 274 233 213 0 72 0
[pid=32587] ppid=32586 vsize=11296 CPUtime=7.88 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-wbo) S 32586 32586 26029 0 -1 4202496 5844 58857 0 0 17 3 735 33 20 0 1 0 284664245 11567104 2300 33554432000 4194304 5990268 140734766143824 140734766135264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 2824 2300 161 439 0 2381 0
[pid=32648] ppid=32587 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32648/stat : 32648 (satsolver.sh) S 32587 32586 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284665035 9367552 267 33554432000 4194304 5064252 140736806604336 140736806603248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32648/statm: 2287 267 226 213 0 72 0
[pid=32649] ppid=32648 vsize=18996 CPUtime=26.18 cores=1,3,5,7
/proc/32649/stat : 32649 (glucose) R 32648 32586 26029 0 -1 4202496 3881 0 0 0 2618 0 0 0 20 0 1 0 284665035 19451904 4232 33554432000 4194304 5208918 140733715321712 140733715319560 4229695 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32649/statm: 4749 4232 103 248 0 4498 0
Current children cumulated CPU time (s) 34.06
Current children cumulated vsize (KiB) 48588
Child status: 0
Real time (s): 34.1242
CPU time (s): 34.1068
CPU user time (s): 33.7229
CPU system time (s): 0.383941
CPU usage (%): 99.9489
Max. virtual memory (cumulated for all children) (KiB): 51312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.7229
system time used= 0.383941
maximum resident set size= 52120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72915
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 600
involuntary context switches= 140
runsolver used 0.106983 second user time and 0.347947 second system time
The end