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-3748494-1339177485/watcher-3748494-1339177485 -o /tmp/evaluation-result-3748494-1339177485/solver-3748494-1339177485 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748494-1339177485.opb 1549265252 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: 2.32 2.09 2.07 3/180 31321
/proc/meminfo: memFree=30994960/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[startup+0.0113499 s]
/proc/loadavg: 2.32 2.09 2.07 3/180 31321
/proc/meminfo: memFree=30994960/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100253 s]
/proc/loadavg: 2.32 2.09 2.07 3/180 31321
/proc/meminfo: memFree=30994960/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300269 s]
/proc/loadavg: 2.32 2.09 2.07 3/180 31321
/proc/meminfo: memFree=30994960/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700302 s]
/proc/loadavg: 2.32 2.09 2.07 3/180 31321
/proc/meminfo: memFree=30994960/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 2.32 2.09 2.07 3/184 31325
/proc/meminfo: memFree=30828108/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=37592 CPUtime=0.51 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 8269 0 0 0 47 4 0 0 20 0 1 0 27715559 38494208 7807 33554432000 4194304 6004724 140735834971760 140735834966224 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31322/statm: 9398 7807 164 442 0 8952 0
[pid=31324] ppid=31322 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31324/stat : 31324 (cp2_pre.sh) S 31322 31321 30631 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 27715611 9367552 277 33554432000 4194304 5064252 140737112213040 140737112211744 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31324/statm: 2287 277 234 213 0 72 0
[pid=31325] ppid=31324 vsize=163032 CPUtime=0.96 cores=1,3,5,7
/proc/31325/stat : 31325 (coprocessor) R 31324 31321 30631 0 -1 4202496 29016 0 0 0 91 5 0 0 20 0 1 0 27715611 166944768 39260 33554432000 4194304 6586260 140737162157728 140737162153992 4756569 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/31325/statm: 40758 39260 182 584 0 40170 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 218920
[startup+3.10043 s]
/proc/loadavg: 2.32 2.09 2.07 3/184 31325
/proc/meminfo: memFree=30770908/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=37592 CPUtime=0.51 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 8269 0 0 0 47 4 0 0 20 0 1 0 27715559 38494208 7807 33554432000 4194304 6004724 140735834971760 140735834966224 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31322/statm: 9398 7807 164 442 0 8952 0
[pid=31324] ppid=31322 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31324/stat : 31324 (cp2_pre.sh) S 31322 31321 30631 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 27715611 9367552 277 33554432000 4194304 5064252 140737112213040 140737112211744 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31324/statm: 2287 277 234 213 0 72 0
[pid=31325] ppid=31324 vsize=188432 CPUtime=2.56 cores=1,3,5,7
/proc/31325/stat : 31325 (coprocessor) R 31324 31321 30631 0 -1 4202496 33004 0 0 0 250 6 0 0 20 0 1 0 27715611 192954368 45803 33554432000 4194304 6586260 140737162157728 140737162153048 4676454 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/31325/statm: 47108 45803 192 584 0 46520 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 244320
[startup+6.30029 s]
/proc/loadavg: 2.30 2.09 2.07 3/183 31327
/proc/meminfo: memFree=30872144/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=37592 CPUtime=5.55 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) R 31321 31321 30631 0 -1 4202496 10059 35296 0 0 58 30 449 18 20 0 1 0 27715559 38494208 7816 33554432000 4194304 6004724 140735834971760 140735834965960 5190832 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31322/statm: 9398 7816 173 442 0 8952 0
[pid=31327] ppid=31322 vsize=84512 CPUtime=0.72 cores=1,3,5,7
/proc/31327/stat : 31327 (glucosInc) S 31322 31321 30631 0 -1 4202496 17653 0 0 0 69 3 0 0 20 0 1 0 27716079 86540288 20070 33554432000 4194304 5654031 140733374764720 140733374763032 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31327/statm: 21128 20070 146 357 0 20768 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 131252
[startup+12.7004 s]
/proc/loadavg: 2.27 2.09 2.07 3/183 31330
/proc/meminfo: memFree=30586024/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=51288 CPUtime=8.31 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 15858 53986 0 0 184 102 518 27 20 0 1 0 27715559 52518912 11250 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 12822 11250 184 442 0 12376 0
[pid=31330] ppid=31322 vsize=299960 CPUtime=3.74 cores=1,3,5,7
/proc/31330/stat : 31330 (glucosInc) R 31322 31321 30631 0 -1 4202496 49305 0 0 0 362 12 0 0 20 0 1 0 27716453 307159040 63644 33554432000 4194304 5654031 140733637189280 140733637186888 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31330/statm: 74990 63644 140 357 0 74630 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 360396
[startup+25.5004 s]
/proc/loadavg: 2.30 2.10 2.07 3/183 31330
/proc/meminfo: memFree=30579012/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=51288 CPUtime=8.31 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 15858 53986 0 0 184 102 518 27 20 0 1 0 27715559 52518912 11250 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 12822 11250 184 442 0 12376 0
[pid=31330] ppid=31322 vsize=305832 CPUtime=16.53 cores=1,3,5,7
/proc/31330/stat : 31330 (glucosInc) R 31322 31321 30631 0 -1 4202496 50560 0 0 0 1641 12 0 0 20 0 1 0 27716453 313171968 65410 33554432000 4194304 5654031 140733637189280 140733637177096 4215200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31330/statm: 76458 65410 140 357 0 76098 0
Current children cumulated CPU time (s) 24.84
Current children cumulated vsize (KiB) 366268
[startup+51.1004 s]
/proc/loadavg: 2.31 2.12 2.08 3/183 31332
/proc/meminfo: memFree=30626944/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=40760 CPUtime=32.41 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 22969 105188 0 0 290 118 2787 46 20 0 1 0 27715559 41738240 8651 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 10190 8651 185 442 0 9744 0
[pid=31332] ppid=31322 vsize=239620 CPUtime=18.03 cores=1,3,5,7
/proc/31332/stat : 31332 (glucosInc) R 31322 31321 30631 0 -1 4202496 44920 0 0 0 1789 14 0 0 20 0 1 0 27718863 245370880 56503 33554432000 4194304 5654031 140734947336944 140734947334552 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31332/statm: 59905 56503 141 357 0 59545 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 289528
[startup+102.3 s]
/proc/loadavg: 2.13 2.10 2.08 3/183 31333
/proc/meminfo: memFree=30594184/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=40760 CPUtime=32.41 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 22969 105188 0 0 290 118 2787 46 20 0 1 0 27715559 41738240 8651 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 10190 8651 185 442 0 9744 0
[pid=31332] ppid=31322 vsize=274808 CPUtime=69.22 cores=1,3,5,7
/proc/31332/stat : 31332 (glucosInc) R 31322 31321 30631 0 -1 4202496 46606 0 0 0 6907 15 0 0 20 0 1 0 27718863 281403392 60224 33554432000 4194304 5654031 140734947336944 140734947324760 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31332/statm: 68702 60224 142 357 0 68342 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 324716
[startup+162.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/183 31333
/proc/meminfo: memFree=30514008/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=40760 CPUtime=32.41 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 22969 105188 0 0 290 118 2787 46 20 0 1 0 27715559 41738240 8651 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 10190 8651 185 442 0 9744 0
[pid=31332] ppid=31322 vsize=276572 CPUtime=129.22 cores=1,3,5,7
/proc/31332/stat : 31332 (glucosInc) R 31322 31321 30631 0 -1 4202496 47745 0 0 0 12904 18 0 0 20 0 1 0 27718863 283209728 60858 33554432000 4194304 5654031 140734947336944 140734947324760 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31332/statm: 69143 60858 142 357 0 68783 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 326480
[startup+222.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/183 31333
/proc/meminfo: memFree=30527056/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=40760 CPUtime=32.41 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 22969 105188 0 0 290 118 2787 46 20 0 1 0 27715559 41738240 8651 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 10190 8651 185 442 0 9744 0
[pid=31332] ppid=31322 vsize=279592 CPUtime=189.21 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/183 31372
/proc/meminfo: memFree=30701408/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=71932 CPUtime=411.81 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 29706 160383 0 0 381 131 40584 85 20 0 1 0 27715559 73658368 16412 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 17983 16412 185 442 0 17537 0
[pid=31339] ppid=31322 vsize=266560 CPUtime=889.6 cores=1,3,5,7
/proc/31339/stat : 31339 (glucosInc) R 31322 31321 30631 0 -1 4202496 51756 0 0 0 88933 27 0 0 20 0 1 0 27756811 272957440 60992 33554432000 4194304 5654031 140735397314096 140735397312120 4218807 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31339/statm: 66640 60992 141 357 0 66280 0
Current children cumulated CPU time (s) 1301.41
Current children cumulated vsize (KiB) 347640
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31373
/proc/meminfo: memFree=30617924/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=71932 CPUtime=411.81 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 29706 160383 0 0 381 131 40584 85 20 0 1 0 27715559 73658368 16412 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 17983 16412 185 442 0 17537 0
[pid=31339] ppid=31322 vsize=402248 CPUtime=949.59 cores=1,3,5,7
/proc/31339/stat : 31339 (glucosInc) R 31322 31321 30631 0 -1 4202496 55885 0 0 0 94923 36 0 0 20 0 1 0 27756811 411901952 86159 33554432000 4194304 5654031 140735397314096 140735397312184 4214957 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31339/statm: 100562 86159 141 357 0 100202 0
Current children cumulated CPU time (s) 1361.4
Current children cumulated vsize (KiB) 483328
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31373
/proc/meminfo: memFree=30498264/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=71932 CPUtime=411.81 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 29706 160383 0 0 381 131 40584 85 20 0 1 0 27715559 73658368 16412 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 17983 16412 185 442 0 17537 0
[pid=31339] ppid=31322 vsize=322964 CPUtime=1009.59 cores=1,3,5,7
/proc/31339/stat : 31339 (glucosInc) R 31322 31321 30631 0 -1 4202496 59903 0 0 0 100909 50 0 0 20 0 1 0 27756811 330715136 70276 33554432000 4194304 5654031 140735397314096 140735397312184 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31339/statm: 80741 70276 141 357 0 80381 0
Current children cumulated CPU time (s) 1421.4
Current children cumulated vsize (KiB) 404044
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31373
/proc/meminfo: memFree=30525184/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=71932 CPUtime=411.81 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 29706 160383 0 0 381 131 40584 85 20 0 1 0 27715559 73658368 16412 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 17983 16412 185 442 0 17537 0
[pid=31339] ppid=31322 vsize=537264 CPUtime=1069.57 cores=1,3,5,7
/proc/31339/stat : 31339 (glucosInc) R 31322 31321 30631 0 -1 4202496 62757 0 0 0 106899 58 0 0 20 0 1 0 27756811 550158336 100083 33554432000 4194304 5654031 140735397314096 140735397312184 4215374 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31339/statm: 134316 100083 141 357 0 133956 0
Current children cumulated CPU time (s) 1481.38
Current children cumulated vsize (KiB) 618344
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 31376
/proc/meminfo: memFree=30395284/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=71932 CPUtime=411.81 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 29706 160383 0 0 381 131 40584 85 20 0 1 0 27715559 73658368 16412 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 17983 16412 185 442 0 17537 0
[pid=31339] ppid=31322 vsize=539288 CPUtime=1129.56 cores=1,3,5,7
/proc/31339/stat : 31339 (glucosInc) R 31322 31321 30631 0 -1 4202496 64648 0 0 0 112888 68 0 0 20 0 1 0 27756811 552230912 124907 33554432000 4194304 5654031 140735397314096 140735397311880 4215014 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31339/statm: 134822 124907 141 357 0 134462 0
Current children cumulated CPU time (s) 1541.37
Current children cumulated vsize (KiB) 620368
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31376
/proc/meminfo: memFree=30662312/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=71932 CPUtime=411.81 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 29706 160383 0 0 381 131 40584 85 20 0 1 0 27715559 73658368 16412 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 17983 16412 185 442 0 17537 0
[pid=31339] ppid=31322 vsize=326540 CPUtime=1189.55 cores=1,3,5,7
/proc/31339/stat : 31339 (glucosInc) R 31322 31321 30631 0 -1 4202496 66542 0 0 0 118875 80 0 0 20 0 1 0 27756811 334376960 72276 33554432000 4194304 5654031 140735397314096 140735397312120 4214977 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31339/statm: 81635 72276 141 357 0 81275 0
Current children cumulated CPU time (s) 1601.36
Current children cumulated vsize (KiB) 407620
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31377
/proc/meminfo: memFree=30633396/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=71932 CPUtime=411.81 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 29706 160383 0 0 381 131 40584 85 20 0 1 0 27715559 73658368 16412 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 17983 16412 185 442 0 17537 0
[pid=31339] ppid=31322 vsize=328108 CPUtime=1249.54 cores=1,3,5,7
/proc/31339/stat : 31339 (glucosInc) R 31322 31321 30631 0 -1 4202496 68748 0 0 0 124866 88 0 0 20 0 1 0 27756811 335982592 75735 33554432000 4194304 5654031 140735397314096 140735397312120 4233455 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31339/statm: 82027 75735 141 357 0 81667 0
Current children cumulated CPU time (s) 1661.35
Current children cumulated vsize (KiB) 409188
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31377
/proc/meminfo: memFree=30342432/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=71932 CPUtime=411.81 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 29706 160383 0 0 381 131 40584 85 20 0 1 0 27715559 73658368 16412 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 17983 16412 185 442 0 17537 0
[pid=31339] ppid=31322 vsize=758956 CPUtime=1309.52 cores=1,3,5,7
/proc/31339/stat : 31339 (glucosInc) R 31322 31321 30631 0 -1 4202496 70475 0 0 0 130858 94 0 0 20 0 1 0 27756811 777170944 136219 33554432000 4194304 5654031 140735397314096 140735397312184 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31339/statm: 189739 136219 141 357 0 189379 0
Current children cumulated CPU time (s) 1721.33
Current children cumulated vsize (KiB) 840036
[startup+1782.3 s]
/proc/loadavg: 2.14 2.03 2.01 3/184 31419
/proc/meminfo: memFree=28261868/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=71932 CPUtime=411.81 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 29706 160383 0 0 381 131 40584 85 20 0 1 0 27715559 73658368 16412 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 17983 16412 185 442 0 17537 0
[pid=31339] ppid=31322 vsize=544888 CPUtime=1369.52 cores=1,3,5,7
/proc/31339/stat : 31339 (glucosInc) R 31322 31321 30631 0 -1 4202496 71991 0 0 0 136849 103 0 0 20 0 1 0 27756811 557965312 128539 33554432000 4194304 5654031 140735397314096 140735397311880 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31339/statm: 136222 128539 141 357 0 135862 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (KiB) 625968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.38 2.09 2.03 3/184 31419
/proc/meminfo: memFree=26885976/32873844 swapFree=7132/7132
[pid=31321] ppid=31319 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31321/stat : 31321 (npSolver-pbo-I.) S 31319 31321 30631 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27715558 9367552 274 33554432000 4194304 5064252 140733639029344 140733639028256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31321/statm: 2287 274 233 213 0 72 0
[pid=31322] ppid=31321 vsize=71932 CPUtime=411.81 cores=1,3,5,7
/proc/31322/stat : 31322 (npSolver-pbo) S 31321 31321 30631 0 -1 4202496 29706 160383 0 0 381 131 40584 85 20 0 1 0 27715559 73658368 16412 33554432000 4194304 6004724 140735834971760 140735834956680 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31322/statm: 17983 16412 185 442 0 17537 0
[pid=31339] ppid=31322 vsize=759812 CPUtime=1388.22 cores=1,3,5,7
/proc/31339/stat : 31339 (glucosInc) R 31322 31321 30631 0 -1 4202496 72548 0 0 0 138718 104 0 0 20 0 1 0 27756811 778047488 149025 33554432000 4194304 5654031 140735397314096 140735397312184 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31339/statm: 189953 149025 141 357 0 189593 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 840892
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31321 and gives
# childrusage.ru_utime.tv_sec=409
# childrusage.ru_utime.tv_usec=665721
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=171669
# CPU time returned by wait4() is 411.837
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.02
CPU time (s): 1800.03
CPU user time (s): 1796.83
CPU system time (s): 3.2
CPU usage (%): 99.9449
Max. virtual memory (cumulated for all children) (KiB): 970836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 409.666
system time used= 2.17167
maximum resident set size= 429500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190464
page faults= 0
swaps= 0
block input operations= 8
block output operations= 553088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2933
involuntary context switches= 462
runsolver used 7.11692 second user time and 19.747 second system time
The end