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-3700008-1338086519/watcher-3700008-1338086519 -o /tmp/evaluation-result-3700008-1338086519/solver-3700008-1338086519 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700008-1338086519.opb 1315402862 HOME HOME
running on 4 cores: 0,2,4,6
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 2.00 2.00 3/178 6531
/proc/meminfo: memFree=29328952/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[startup+0.0411351 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6531
/proc/meminfo: memFree=29328952/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100234 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6531
/proc/meminfo: memFree=29328952/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6531
/proc/meminfo: memFree=29328952/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700242 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6531
/proc/meminfo: memFree=29328952/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6533
/proc/meminfo: memFree=29283948/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=114048 CPUtime=1.49 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) R 6531 6531 1127 0 -1 4202496 15262 0 0 0 146 3 0 0 20 0 1 0 274780441 116785152 23904 33554432000 4194304 5992684 140734106810736 140734106806152 4606747 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 28512 23904 158 440 0 28068 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123196
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6533
/proc/meminfo: memFree=29167384/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=392760 CPUtime=3.09 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) R 6531 6531 1127 0 -1 4202496 36936 0 0 0 298 11 0 0 20 0 1 0 274780441 402186240 66433 33554432000 4194304 5992684 140734106810736 140734106798792 5044375 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 98190 66433 158 440 0 97746 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 401908
[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6535
/proc/meminfo: memFree=28604984/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=438656 CPUtime=4.27 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) S 6531 6531 1127 0 -1 4202496 48940 0 0 0 386 41 0 0 20 0 1 0 274780441 449183744 90195 33554432000 4194304 5992684 140734106810736 140734106805184 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 109664 90195 165 440 0 109220 0
[pid=6534] ppid=6532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6534/stat : 6534 (cp2_pre.sh) S 6532 6531 1127 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274780868 9367552 277 33554432000 4194304 5064252 140737210091728 140737210090432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6534/statm: 2287 277 234 213 0 72 0
[pid=6535] ppid=6534 vsize=322440 CPUtime=2.01 cores=0,2,4,6
/proc/6535/stat : 6535 (coprocessor) R 6534 6531 1127 0 -1 4202496 15266 0 0 0 191 10 0 0 20 0 1 0 274780869 330178560 79818 33554432000 4194304 6586260 140733256763504 140733256760264 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/6535/statm: 80610 79818 137 584 0 80022 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 779392
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6535
/proc/meminfo: memFree=28029448/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=438656 CPUtime=4.27 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) S 6531 6531 1127 0 -1 4202496 48940 0 0 0 386 41 0 0 20 0 1 0 274780441 449183744 90195 33554432000 4194304 5992684 140734106810736 140734106805184 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 109664 90195 165 440 0 109220 0
[pid=6534] ppid=6532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6534/stat : 6534 (cp2_pre.sh) S 6532 6531 1127 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274780868 9367552 277 33554432000 4194304 5064252 140737210091728 140737210090432 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6534/statm: 2287 277 234 213 0 72 0
[pid=6535] ppid=6534 vsize=883132 CPUtime=8.18 cores=0,2,4,6
/proc/6535/stat : 6535 (coprocessor) R 6534 6531 1127 0 -1 4202496 20011 0 0 0 775 43 0 0 20 0 1 0 274780869 904327168 158313 33554432000 4194304 6586260 140733256763504 140733256759256 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 22 0 0
/proc/6535/statm: 220783 158313 158 584 0 220195 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 1340084
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6537
/proc/meminfo: memFree=27715788/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=438656 CPUtime=15.18 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) S 6531 6531 1127 0 -1 4202496 48955 20914 0 0 386 41 1031 60 20 0 1 0 274780441 449183744 90197 33554432000 4194304 5992684 140734106810736 140734106797000 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 109664 90197 167 440 0 109220 0
[pid=6537] ppid=6532 vsize=1222200 CPUtime=10.05 cores=0,2,4,6
/proc/6537/stat : 6537 (glucosInc) R 6532 6531 1127 0 -1 4202496 156342 0 0 0 968 37 0 0 20 0 1 0 274781983 1251532800 268006 33554432000 4194304 5654031 140737049219984 140737049217864 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6537/statm: 305550 268006 130 357 0 305190 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 1670004
[startup+51.1067 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6537
/proc/meminfo: memFree=27711632/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=438656 CPUtime=15.18 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) S 6531 6531 1127 0 -1 4202496 48955 20914 0 0 386 41 1031 60 20 0 1 0 274780441 449183744 90197 33554432000 4194304 5992684 140734106810736 140734106797000 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 109664 90197 167 440 0 109220 0
[pid=6537] ppid=6532 vsize=1224840 CPUtime=35.65 cores=0,2,4,6
/proc/6537/stat : 6537 (glucosInc) R 6532 6531 1127 0 -1 4202496 157012 0 0 0 3527 38 0 0 20 0 1 0 274781983 1254236160 268676 33554432000 4194304 5654031 140737049219984 140737049217768 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6537/statm: 306210 268676 140 357 0 305850 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 1672644
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6538
/proc/meminfo: memFree=26950304/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=535236 CPUtime=16.28 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) S 6531 6531 1127 0 -1 4204032 54546 20914 0 0 458 79 1031 60 20 0 1 0 274780441 548081664 114360 33554432000 4194304 5992684 140734106810736 140734106805272 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 133809 114360 185 440 0 133365 0
[pid=6537] ppid=6532 vsize=1233980 CPUtime=84.29 cores=0,2,4,6
/proc/6537/stat : 6537 (glucosInc) S 6532 6531 1127 0 -1 4202496 161136 0 0 0 8389 40 0 0 20 0 1 0 274781983 1263595520 274844 33554432000 4194304 5654031 140737049219984 140737049218296 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6537/statm: 308495 274844 146 357 0 308135 0
Current children cumulated CPU time (s) 100.57
Current children cumulated vsize (KiB) 1778364
Solver just ended. Dumping a history of the last processes samples
[startup+102.807 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 6538
/proc/meminfo: memFree=26685316/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=535236 CPUtime=16.28 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) S 6531 6531 1127 0 -1 4204032 54546 20914 0 0 458 79 1031 60 20 0 1 0 274780441 548081664 114360 33554432000 4194304 5992684 140734106810736 140734106805272 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 133809 114360 185 440 0 133365 0
[pid=6537] ppid=6532 vsize=1233980 CPUtime=84.29 cores=0,2,4,6
/proc/6537/stat : 6537 (glucosInc) S 6532 6531 1127 0 -1 4202496 161136 0 0 0 8389 40 0 0 20 0 1 0 274781983 1263595520 274844 33554432000 4194304 5654031 140737049219984 140737049218296 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6537/statm: 308495 274844 146 357 0 308135 0
Current children cumulated CPU time (s) 100.57
Current children cumulated vsize (KiB) 1778364
[startup+109.2 s]
/proc/loadavg: 2.08 2.02 2.01 2/182 6538
/proc/meminfo: memFree=26684004/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=535236 CPUtime=16.28 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) S 6531 6531 1127 0 -1 4204032 54546 20914 0 0 458 79 1031 60 20 0 1 0 274780441 548081664 114360 33554432000 4194304 5992684 140734106810736 140734106805272 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 133809 114360 185 440 0 133365 0
[pid=6537] ppid=6532 vsize=1233980 CPUtime=84.29 cores=0,2,4,6
/proc/6537/stat : 6537 (glucosInc) S 6532 6531 1127 0 -1 4202496 161136 0 0 0 8389 40 0 0 20 0 1 0 274781983 1263595520 274844 33554432000 4194304 5654031 140737049219984 140737049218296 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6537/statm: 308495 274844 146 357 0 308135 0
Current children cumulated CPU time (s) 100.57
Current children cumulated vsize (KiB) 1778364
[startup+110.8 s]
/proc/loadavg: 2.23 2.05 2.02 2/182 6538
/proc/meminfo: memFree=26684128/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=535236 CPUtime=16.28 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) S 6531 6531 1127 0 -1 4204032 54546 20914 0 0 458 79 1031 60 20 0 1 0 274780441 548081664 114360 33554432000 4194304 5992684 140734106810736 140734106805272 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 133809 114360 185 440 0 133365 0
[pid=6537] ppid=6532 vsize=1233980 CPUtime=84.29 cores=0,2,4,6
/proc/6537/stat : 6537 (glucosInc) S 6532 6531 1127 0 -1 4202496 161136 0 0 0 8389 40 0 0 20 0 1 0 274781983 1263595520 274844 33554432000 4194304 5654031 140737049219984 140737049218296 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6537/statm: 308495 274844 146 357 0 308135 0
Current children cumulated CPU time (s) 100.57
Current children cumulated vsize (KiB) 1778364
[startup+112.4 s]
/proc/loadavg: 2.23 2.05 2.02 2/182 6538
/proc/meminfo: memFree=26683880/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=535236 CPUtime=16.28 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) S 6531 6531 1127 0 -1 4204032 54546 20914 0 0 458 79 1031 60 20 0 1 0 274780441 548081664 114360 33554432000 4194304 5992684 140734106810736 140734106805272 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 133809 114360 185 440 0 133365 0
[pid=6537] ppid=6532 vsize=1233980 CPUtime=84.29 cores=0,2,4,6
/proc/6537/stat : 6537 (glucosInc) S 6532 6531 1127 0 -1 4202496 161136 0 0 0 8389 40 0 0 20 0 1 0 274781983 1263595520 274844 33554432000 4194304 5654031 140737049219984 140737049218296 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6537/statm: 308495 274844 146 357 0 308135 0
Current children cumulated CPU time (s) 100.57
Current children cumulated vsize (KiB) 1778364
[startup+113.2 s]
/proc/loadavg: 2.23 2.05 2.02 2/182 6538
/proc/meminfo: memFree=26683756/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=535236 CPUtime=16.28 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) S 6531 6531 1127 0 -1 4204032 54546 20914 0 0 458 79 1031 60 20 0 1 0 274780441 548081664 114360 33554432000 4194304 5992684 140734106810736 140734106805272 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 133809 114360 185 440 0 133365 0
[pid=6537] ppid=6532 vsize=1233980 CPUtime=84.29 cores=0,2,4,6
/proc/6537/stat : 6537 (glucosInc) S 6532 6531 1127 0 -1 4202496 161136 0 0 0 8389 40 0 0 20 0 1 0 274781983 1263595520 274844 33554432000 4194304 5654031 140737049219984 140737049218296 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6537/statm: 308495 274844 146 357 0 308135 0
Current children cumulated CPU time (s) 100.57
Current children cumulated vsize (KiB) 1778364
[startup+113.4 s]
/proc/loadavg: 2.23 2.05 2.02 2/182 6538
/proc/meminfo: memFree=26683756/32873844 swapFree=7108/7108
[pid=6531] ppid=6529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6531/stat : 6531 (npSolver-pbo-I.) S 6529 6531 1127 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274780440 9367552 274 33554432000 4194304 5064252 140736295464032 140736295462944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6531/statm: 2287 274 233 213 0 72 0
[pid=6532] ppid=6531 vsize=535236 CPUtime=16.28 cores=0,2,4,6
/proc/6532/stat : 6532 (npSolver-pbo) S 6531 6531 1127 0 -1 4204032 54546 20914 0 0 458 79 1031 60 20 0 1 0 274780441 548081664 114360 33554432000 4194304 5992684 140734106810736 140734106805272 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6532/statm: 133809 114360 185 440 0 133365 0
[pid=6537] ppid=6532 vsize=1233980 CPUtime=84.29 cores=0,2,4,6
/proc/6537/stat : 6537 (glucosInc) S 6532 6531 1127 0 -1 4202496 161136 0 0 0 8389 40 0 0 20 0 1 0 274781983 1263595520 274844 33554432000 4194304 5654031 140737049219984 140737049218296 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6537/statm: 308495 274844 146 357 0 308135 0
Current children cumulated CPU time (s) 100.57
Current children cumulated vsize (KiB) 1778364
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6531 and gives
# childrusage.ru_utime.tv_sec=14
# childrusage.ru_utime.tv_usec=894735
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=419784
# CPU time returned by wait4() is 16.3145
# while last known CPU time is 100.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 113.492
CPU time (s): 100.57
CPU user time (s): 98.78
CPU system time (s): 1.79
CPU usage (%): 88.6145
Max. virtual memory (cumulated for all children) (KiB): 1779828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.8947
system time used= 1.41978
maximum resident set size= 633260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 721432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133399
involuntary context switches= 45
runsolver used 0.173973 second user time and 0.447931 second system time
The end