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-3746992-1339109025/watcher-3746992-1339109025 -o /tmp/evaluation-result-3746992-1339109025/solver-3746992-1339109025 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746992-1339109025.opb 36834480 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 2/178 13138
/proc/meminfo: memFree=20351880/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[startup+0.049673 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 13138
/proc/meminfo: memFree=20351880/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100314 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 13138
/proc/meminfo: memFree=20351880/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300175 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 13138
/proc/meminfo: memFree=20351880/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70028 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 13138
/proc/meminfo: memFree=20351880/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13145
/proc/meminfo: memFree=20313004/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=29240 CPUtime=1.45 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 9786 11383 0 0 70 18 53 4 20 0 1 0 377027885 29941760 6801 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 7310 6801 183 442 0 6864 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 38388
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13147
/proc/meminfo: memFree=20178632/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=29240 CPUtime=1.45 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 9786 11383 0 0 70 18 53 4 20 0 1 0 377027885 29941760 6801 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 7310 6801 183 442 0 6864 0
[pid=13147] ppid=13139 vsize=123340 CPUtime=1.61 cores=0,2,4,6
/proc/13147/stat : 13147 (glucosInc) R 13139 13138 11259 0 -1 4202496 24198 0 0 0 156 5 0 0 20 0 1 0 377028033 126300160 26835 33554432000 4194304 5654031 140734324869504 140734324857320 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13147/statm: 30835 26835 141 357 0 30475 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 161728
[startup+6.30033 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 13147
/proc/meminfo: memFree=20172368/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=29240 CPUtime=1.45 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 9786 11383 0 0 70 18 53 4 20 0 1 0 377027885 29941760 6801 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 7310 6801 183 442 0 6864 0
[pid=13147] ppid=13139 vsize=124400 CPUtime=4.81 cores=0,2,4,6
/proc/13147/stat : 13147 (glucosInc) R 13139 13138 11259 0 -1 4202496 24506 0 0 0 476 5 0 0 20 0 1 0 377028033 127385600 27654 33554432000 4194304 5654031 140734324869504 140734324857320 4797458 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13147/statm: 31100 27654 142 357 0 30740 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 162788
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 13147
/proc/meminfo: memFree=20169260/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=80656 CPUtime=12.68 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) R 13138 13138 11259 0 -1 4202496 14096 36210 0 0 105 19 1134 10 20 0 1 0 377027885 82591744 16593 33554432000 4194304 6004724 140736221609392 140736221604880 4582623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 20164 16593 183 442 0 19718 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89804
[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 13149
/proc/meminfo: memFree=20162716/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=12.97 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 15279 36725 0 0 127 25 1134 11 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13149] ppid=13139 vsize=119472 CPUtime=12.5 cores=0,2,4,6
/proc/13149/stat : 13149 (glucosInc) R 13139 13138 11259 0 -1 4202496 22695 0 0 0 1246 4 0 0 20 0 1 0 377029183 122339328 26026 33554432000 4194304 5654031 140734636934544 140734636932328 4232752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13149/statm: 29868 26026 142 357 0 29508 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 176508
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 13149
/proc/meminfo: memFree=20156824/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=12.97 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 15279 36725 0 0 127 25 1134 11 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13149] ppid=13139 vsize=123152 CPUtime=38.09 cores=0,2,4,6
/proc/13149/stat : 13149 (glucosInc) R 13139 13138 11259 0 -1 4202496 24241 0 0 0 3804 5 0 0 20 0 1 0 377029183 126107648 27686 33554432000 4194304 5654031 140734636934544 140734636932312 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13149/statm: 30788 27686 142 357 0 30428 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 180188
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 13191
/proc/meminfo: memFree=26152568/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=12.97 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 15279 36725 0 0 127 25 1134 11 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13149] ppid=13139 vsize=202084 CPUtime=89.29 cores=0,2,4,6
/proc/13149/stat : 13149 (glucosInc) R 13139 13138 11259 0 -1 4202496 26405 0 0 0 8922 7 0 0 20 0 1 0 377029183 206934016 43580 33554432000 4194304 5654031 140734636934544 140734636922360 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13149/statm: 50521 43580 142 357 0 50161 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 259120
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 13193
/proc/meminfo: memFree=25995512/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=12.97 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 15279 36725 0 0 127 25 1134 11 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13149] ppid=13139 vsize=202084 CPUtime=149.26 cores=0,2,4,6
/proc/13149/stat : 13149 (glucosInc) R 13139 13138 11259 0 -1 4202496 27999 0 0 0 14917 9 0 0 20 0 1 0 377029183 206934016 44092 33554432000 4194304 5654031 140734636934544 140734636922360 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13149/statm: 50521 44092 142 357 0 50161 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 259120
[startup+222.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 13193
/proc/meminfo: memFree=26024608/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=12.97 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 15279 36725 0 0 127 25 1134 11 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13149] ppid=13139 vsize=152764 CPUtime=209.25 cores=0,2,4,6
/proc/13149/stat : 13149 (glucosInc) R 13139 13138 11259 0 -1 4202496 28529 0 0 0 20915 10 0 0 20 0 1 0 377029183 156430336 35976 33554432000 4194304 5654031 140734636934544 140734636922360 4232681 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13149/statm: 38191 35976 142 357 0 37831 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 209800
[startup+282.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/181 13197
/proc/meminfo: memFree=25195600/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=12.97 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=24689968/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=685.46 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 20719 72486 0 0 182 33 68297 34 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13203] ppid=13139 vsize=201208 CPUtime=556.58 cores=0,2,4,6
/proc/13203/stat : 13203 (glucosInc) R 13139 13138 11259 0 -1 4202496 30735 0 0 0 55641 17 0 0 20 0 1 0 377096443 206036992 44392 33554432000 4194304 5654031 140736962687872 140736962675688 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13203/statm: 50302 44392 142 357 0 49942 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 258244
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 13231
/proc/meminfo: memFree=24858164/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=685.46 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 20719 72486 0 0 182 33 68297 34 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13203] ppid=13139 vsize=201208 CPUtime=616.58 cores=0,2,4,6
/proc/13203/stat : 13203 (glucosInc) R 13139 13138 11259 0 -1 4202496 31117 0 0 0 61641 17 0 0 20 0 1 0 377096443 206036992 44392 33554432000 4194304 5654031 140736962687872 140736962675688 4232922 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13203/statm: 50302 44392 142 357 0 49942 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 258244
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13233
/proc/meminfo: memFree=24638128/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=1346.16 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 26152 104840 0 0 237 40 134284 55 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13233] ppid=13139 vsize=119956 CPUtime=15.86 cores=0,2,4,6
/proc/13233/stat : 13233 (glucosInc) R 13139 13138 11259 0 -1 4202496 22861 0 0 0 1581 5 0 0 20 0 1 0 377162527 122834944 26782 33554432000 4194304 5654031 140733874317728 140733874305544 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13233/statm: 29989 26782 142 357 0 29629 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 176992
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13233
/proc/meminfo: memFree=24796032/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=1346.16 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 26152 104840 0 0 237 40 134284 55 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13233] ppid=13139 vsize=183228 CPUtime=75.86 cores=0,2,4,6
/proc/13233/stat : 13233 (glucosInc) R 13139 13138 11259 0 -1 4202496 24364 0 0 0 7579 7 0 0 20 0 1 0 377162527 187625472 41850 33554432000 4194304 5654031 140733874317728 140733874305544 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13233/statm: 45807 41850 142 357 0 45447 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 240264
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13234
/proc/meminfo: memFree=24525016/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=1346.16 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 26152 104840 0 0 237 40 134284 55 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13233] ppid=13139 vsize=152876 CPUtime=135.84 cores=0,2,4,6
/proc/13233/stat : 13233 (glucosInc) R 13139 13138 11259 0 -1 4202496 24961 0 0 0 13576 8 0 0 20 0 1 0 377162527 156545024 34998 33554432000 4194304 5654031 140733874317728 140733874305544 4215036 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13233/statm: 38219 34998 142 357 0 37859 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 209912
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13234
/proc/meminfo: memFree=24774904/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=1346.16 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 26152 104840 0 0 237 40 134284 55 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13233] ppid=13139 vsize=152876 CPUtime=195.82 cores=0,2,4,6
/proc/13233/stat : 13233 (glucosInc) R 13139 13138 11259 0 -1 4202496 26115 0 0 0 19572 10 0 0 20 0 1 0 377162527 156545024 35826 33554432000 4194304 5654031 140733874317728 140733874305544 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13233/statm: 38219 35826 142 357 0 37859 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 209912
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13237
/proc/meminfo: memFree=24488400/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=1346.16 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 26152 104840 0 0 237 40 134284 55 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13233] ppid=13139 vsize=152876 CPUtime=255.81 cores=0,2,4,6
/proc/13233/stat : 13233 (glucosInc) R 13139 13138 11259 0 -1 4202496 26406 0 0 0 25570 11 0 0 20 0 1 0 377162527 156545024 36204 33554432000 4194304 5654031 140733874317728 140733874305544 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13233/statm: 38219 36204 142 357 0 37859 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 209912
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13237
/proc/meminfo: memFree=24750904/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=1346.16 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 26152 104840 0 0 237 40 134284 55 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13233] ppid=13139 vsize=152876 CPUtime=315.79 cores=0,2,4,6
/proc/13233/stat : 13233 (glucosInc) R 13139 13138 11259 0 -1 4202496 26683 0 0 0 31568 11 0 0 20 0 1 0 377162527 156545024 36258 33554432000 4194304 5654031 140733874317728 140733874305544 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13233/statm: 38219 36258 142 357 0 37859 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 209912
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 13237
/proc/meminfo: memFree=24434524/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=1346.16 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 26152 104840 0 0 237 40 134284 55 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13233] ppid=13139 vsize=202196 CPUtime=375.78 cores=0,2,4,6
/proc/13233/stat : 13233 (glucosInc) R 13139 13138 11259 0 -1 4202496 27231 0 0 0 37566 12 0 0 20 0 1 0 377162527 207048704 44196 33554432000 4194304 5654031 140733874317728 140733874315656 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13233/statm: 50549 44196 142 357 0 50189 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 259232
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 13238
/proc/meminfo: memFree=24740096/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=1346.16 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 26152 104840 0 0 237 40 134284 55 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13233] ppid=13139 vsize=152876 CPUtime=435.77 cores=0,2,4,6
/proc/13233/stat : 13233 (glucosInc) R 13139 13138 11259 0 -1 4202496 27514 0 0 0 43564 13 0 0 20 0 1 0 377162527 156545024 36259 33554432000 4194304 5654031 140733874317728 140733874305544 4232791 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13233/statm: 38219 36259 142 357 0 37859 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 209912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 13238
/proc/meminfo: memFree=24612624/32873648 swapFree=7376/7376
[pid=13138] ppid=13136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13138/stat : 13138 (npSolver-pbo-It) S 13136 13138 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377027885 9367552 275 33554432000 4194304 5064252 140734930366192 140734930365104 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13138/statm: 2287 275 233 213 0 72 0
[pid=13139] ppid=13138 vsize=47888 CPUtime=1346.16 cores=0,2,4,6
/proc/13139/stat : 13139 (npSolver-pbo) S 13138 13138 11259 0 -1 4202496 26152 104840 0 0 237 40 134284 55 20 0 1 0 377027885 49037312 11463 33554432000 4194304 6004724 140736221609392 140736221595240 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13139/statm: 11972 11463 183 442 0 11526 0
[pid=13233] ppid=13139 vsize=202196 CPUtime=453.88 cores=0,2,4,6
/proc/13233/stat : 13233 (glucosInc) R 13139 13138 11259 0 -1 4202496 27788 0 0 0 45374 14 0 0 20 0 1 0 377162527 207048704 44709 33554432000 4194304 5654031 140733874317728 140733874305544 4232782 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13233/statm: 50549 44709 142 357 0 50189 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 259232
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1798.97
CPU system time (s): 1.10883
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 339260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.10883
maximum resident set size= 238356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159162
page faults= 0
swaps= 0
block input operations= 0
block output operations= 306336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1465
involuntary context switches= 2180
runsolver used 3.08753 second user time and 8.47971 second system time
The end