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-3751987-1339116262/watcher-3751987-1339116262 -o /tmp/evaluation-result-3751987-1339116262/solver-3751987-1339116262 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751987-1339116262.opb 1485369587 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 24087
/proc/meminfo: memFree=28461584/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[startup+0.0820671 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24087
/proc/meminfo: memFree=28461584/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100366 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24087
/proc/meminfo: memFree=28461584/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24087
/proc/meminfo: memFree=28461584/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700337 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24087
/proc/meminfo: memFree=28461584/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24089
/proc/meminfo: memFree=28319944/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229596 CPUtime=1.48 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) R 24087 24087 22344 0 -1 4202496 41078 0 0 0 139 9 0 0 20 0 1 0 377751175 235106304 57016 33554432000 4194304 6004724 140735155687776 140735155684296 4534735 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24088/statm: 57399 57016 137 442 0 56953 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 238744
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24091
/proc/meminfo: memFree=28162240/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229596 CPUtime=2.97 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 41110 12376 0 0 156 12 125 4 20 0 1 0 377751175 235106304 57034 33554432000 4194304 6004724 140735155687776 140735155674056 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24088/statm: 57399 57034 152 442 0 56953 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 238744
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24096
/proc/meminfo: memFree=28311700/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=262368 CPUtime=6.17 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) R 24087 24087 22344 0 -1 4202496 55252 42476 0 0 289 100 212 16 20 0 1 0 377751175 268664832 64190 33554432000 4194304 6004724 140735155687776 140735155681624 4582654 0 0 4096 0 0 0 0 17 2 0 0 10 0 0
/proc/24088/statm: 65592 64190 195 442 0 65146 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 271516
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24103
/proc/meminfo: memFree=28119756/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=6.56 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 55926 42991 0 0 317 108 213 18 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24103] ppid=24088 vsize=163936 CPUtime=6.01 cores=0,2,4,6
/proc/24103/stat : 24103 (glucosInc) R 24088 24087 22344 0 -1 4202496 30082 0 0 0 593 8 0 0 20 0 1 0 377751842 167870464 36637 33554432000 4194304 5654031 140735529388208 140735529376024 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24103/statm: 40984 36637 141 357 0 40624 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 402684
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 24106
/proc/meminfo: memFree=28009780/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=16.35 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 67503 73845 0 0 452 118 1035 30 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24106] ppid=24088 vsize=164428 CPUtime=9.02 cores=0,2,4,6
/proc/24106/stat : 24106 (glucosInc) R 24088 24087 22344 0 -1 4202496 31526 0 0 0 894 8 0 0 20 0 1 0 377752822 168374272 37065 33554432000 4194304 5654031 140735162892704 140735162880520 4233012 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24106/statm: 41107 37065 141 357 0 40747 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 403176
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 24106
/proc/meminfo: memFree=28043788/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=16.35 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 67503 73845 0 0 452 118 1035 30 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24106] ppid=24088 vsize=167788 CPUtime=34.61 cores=0,2,4,6
/proc/24106/stat : 24106 (glucosInc) R 24088 24087 22344 0 -1 4202496 33032 0 0 0 3451 10 0 0 20 0 1 0 377752822 171814912 38343 33554432000 4194304 5654031 140735162892704 140735162880520 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24106/statm: 41947 38343 141 357 0 41587 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 406536
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 24106
/proc/meminfo: memFree=28141412/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=16.35 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 67503 73845 0 0 452 118 1035 30 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24106] ppid=24088 vsize=169960 CPUtime=85.81 cores=0,2,4,6
/proc/24106/stat : 24106 (glucosInc) R 24088 24087 22344 0 -1 4202496 34743 0 0 0 8568 13 0 0 20 0 1 0 377752822 174039040 38491 33554432000 4194304 5654031 140735162892704 140735162880520 4232782 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24106/statm: 42490 38491 141 357 0 42130 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 408708
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 24110
/proc/meminfo: memFree=27993400/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=111.29 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 90754 141585 0 0 722 138 10210 59 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24110] ppid=24088 vsize=199416 CPUtime=50.86 cores=0,2,4,6
/proc/24110/stat : 24110 (glucosInc) R 24088 24087 22344 0 -1 4202496 31454 0 0 0 5076 10 0 0 20 0 1 0 377762317 204201984 41444 33554432000 4194304 5654031 140734562082336 140734562070152 4214131 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24110/statm: 49854 41444 141 357 0 49494 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 438164
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 24110
/proc/meminfo: memFree=28127040/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=111.29 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 90754 141585 0 0 722 138 10210 59 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24110] ppid=24088 vsize=171012 CPUtime=110.85 cores=0,2,4,6
/proc/24110/stat : 24110 (glucosInc) R 24088 24087 22344 0 -1 4202496 32432 0 0 0 11071 14 0 0 20 0 1 0 377762317 175116288 40545 33554432000 4194304 5654031 140734562082336 140734562070152 4232662 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24110/statm: 42753 40545 141 357 0 42393 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 409760
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 24110
/proc/meminfo: memFree=28050168/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=111.29 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 90754 141585 0 0 722 138 10210 59 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24110] ppid=24088 vsize=174456 CPUtime=170.84 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=26939364/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=319.41 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 102397 178842 0 0 857 147 30849 88 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24113] ppid=24088 vsize=1065816 CPUtime=1042.49 cores=0,2,4,6
/proc/24113/stat : 24113 (glucosInc) R 24088 24087 22344 0 -1 4202496 65154 0 0 0 104152 97 0 0 20 0 1 0 377783133 1091395584 193388 33554432000 4194304 5654031 140736991526480 140736991524264 4215091 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24113/statm: 266454 193388 141 357 0 266094 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1304564
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 24145
/proc/meminfo: memFree=27646516/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=319.41 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 102397 178842 0 0 857 147 30849 88 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24113] ppid=24088 vsize=370104 CPUtime=1102.49 cores=0,2,4,6
/proc/24113/stat : 24113 (glucosInc) R 24088 24087 22344 0 -1 4202496 66933 0 0 0 110144 105 0 0 20 0 1 0 377783133 378986496 74619 33554432000 4194304 5654031 140736991526480 140736991524568 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24113/statm: 92526 74619 141 357 0 92166 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 608852
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 24145
/proc/meminfo: memFree=27123848/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=319.41 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 102397 178842 0 0 857 147 30849 88 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24113] ppid=24088 vsize=717800 CPUtime=1162.48 cores=0,2,4,6
/proc/24113/stat : 24113 (glucosInc) R 24088 24087 22344 0 -1 4202496 68158 0 0 0 116137 111 0 0 20 0 1 0 377783133 735027200 146362 33554432000 4194304 5654031 140736991526480 140736991524264 4232968 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24113/statm: 179450 146362 141 357 0 179090 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 956548
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24149
/proc/meminfo: memFree=27148164/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=319.41 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 102397 178842 0 0 857 147 30849 88 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24113] ppid=24088 vsize=1068944 CPUtime=1222.47 cores=0,2,4,6
/proc/24113/stat : 24113 (glucosInc) R 24088 24087 22344 0 -1 4202496 68881 0 0 0 122130 117 0 0 20 0 1 0 377783133 1094598656 201251 33554432000 4194304 5654031 140736991526480 140736991524264 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24113/statm: 267236 201251 141 357 0 266876 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1307692
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/182 24149
/proc/meminfo: memFree=27424292/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=319.41 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 102397 178842 0 0 857 147 30849 88 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24113] ppid=24088 vsize=373164 CPUtime=1282.46 cores=0,2,4,6
/proc/24113/stat : 24113 (glucosInc) R 24088 24087 22344 0 -1 4202496 70661 0 0 0 128120 126 0 0 20 0 1 0 377783133 382119936 72756 33554432000 4194304 5654031 140736991526480 140736991524568 4215088 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24113/statm: 93291 72756 141 357 0 92931 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 611912
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 24257
/proc/meminfo: memFree=28304892/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=319.41 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 102397 178842 0 0 857 147 30849 88 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24113] ppid=24088 vsize=505584 CPUtime=1342.45 cores=0,2,4,6
/proc/24113/stat : 24113 (glucosInc) R 24088 24087 22344 0 -1 4202496 71278 0 0 0 134115 130 0 0 20 0 1 0 377783133 517718016 121918 33554432000 4194304 5654031 140736991526480 140736991524264 4233168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24113/statm: 126396 121918 141 357 0 126036 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 744332
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/182 24282
/proc/meminfo: memFree=28119096/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=319.41 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 102397 178842 0 0 857 147 30849 88 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24113] ppid=24088 vsize=721200 CPUtime=1402.43 cores=0,2,4,6
/proc/24113/stat : 24113 (glucosInc) R 24088 24087 22344 0 -1 4202496 72003 0 0 0 140111 132 0 0 20 0 1 0 377783133 738508800 166078 33554432000 4194304 5654031 140736991526480 140736991524264 4233168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24113/statm: 180300 166078 141 357 0 179940 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 959948
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 24282
/proc/meminfo: memFree=28565344/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=319.41 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 102397 178842 0 0 857 147 30849 88 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24113] ppid=24088 vsize=225644 CPUtime=1462.43 cores=0,2,4,6
/proc/24113/stat : 24113 (glucosInc) R 24088 24087 22344 0 -1 4202496 76354 0 0 0 146101 142 0 0 20 0 1 0 377783133 231059456 52492 33554432000 4194304 5654031 140736991526480 140736991524504 4215040 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24113/statm: 56411 52492 141 357 0 56051 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 464392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 4/182 24282
/proc/meminfo: memFree=28517220/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=319.41 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 102397 178842 0 0 857 147 30849 88 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24113] ppid=24088 vsize=306980 CPUtime=1480.62 cores=0,2,4,6
/proc/24113/stat : 24113 (glucosInc) R 24088 24087 22344 0 -1 4202496 76833 0 0 0 147918 144 0 0 20 0 1 0 377783133 314347520 63938 33554432000 4194304 5654031 140736991526480 140736991524568 4216456 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24113/statm: 76745 63938 141 357 0 76385 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 545728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 4/182 24282
/proc/meminfo: memFree=28517220/32873844 swapFree=7120/7120
[pid=24087] ppid=24085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24087/stat : 24087 (npSolver-pbo-It) S 24085 24087 22344 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377751175 9367552 275 33554432000 4194304 5064252 140733955781632 140733955780544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24087/statm: 2287 275 233 213 0 72 0
[pid=24088] ppid=24087 vsize=229600 CPUtime=319.41 cores=0,2,4,6
/proc/24088/stat : 24088 (npSolver-pbo) S 24087 24087 22344 0 -1 4202496 102397 178842 0 0 857 147 30849 88 20 0 1 0 377751175 235110400 57078 33554432000 4194304 6004724 140735155687776 140735155673624 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/24088/statm: 57400 57078 195 442 0 56954 0
[pid=24113] ppid=24088 vsize=306980 CPUtime=1480.62 cores=0,2,4,6
/proc/24113/stat : 24113 (glucosInc) R 24088 24087 22344 0 -1 4202496 76833 0 0 0 147918 144 0 0 20 0 1 0 377783133 314347520 63938 33554432000 4194304 5654031 140736991526480 140736991524568 4216456 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24113/statm: 76745 63938 141 357 0 76385 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 545728
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24087 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# 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): 1800.52
CPU time (s): 1800.03
CPU user time (s): 1796.24
CPU system time (s): 3.79
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1372440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 3.23151 second user time and 11.1023 second system time
The end