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-3752548-1339138081/watcher-3752548-1339138081 -o /tmp/evaluation-result-3752548-1339138081/solver-3752548-1339138081 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752548-1339138081.opb 2114508097 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.05 2.03 2.00 3/178 18323
/proc/meminfo: memFree=31671932/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[startup+0.029833 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 18323
/proc/meminfo: memFree=31671932/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100252 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 18323
/proc/meminfo: memFree=31671932/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300157 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 18323
/proc/meminfo: memFree=31671932/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700137 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 18323
/proc/meminfo: memFree=31671932/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/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.05 2.03 2.00 3/181 18336
/proc/meminfo: memFree=31657824/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=0.18 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 3758 9039 0 0 5 2 8 3 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18336] ppid=18324 vsize=13016 CPUtime=1.27 cores=1,3,5,7
/proc/18336/stat : 18336 (glucosInc) R 18324 18323 17615 0 -1 4202496 3143 0 0 0 127 0 0 0 20 0 1 0 379933228 13328384 2785 33554432000 4194304 5654031 140736315880304 140736315868120 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18336/statm: 3254 2785 142 357 0 2894 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 27320
[startup+3.10029 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 18336
/proc/meminfo: memFree=31650884/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=0.18 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 3758 9039 0 0 5 2 8 3 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18336] ppid=18324 vsize=20208 CPUtime=2.88 cores=1,3,5,7
/proc/18336/stat : 18336 (glucosInc) R 18324 18323 17615 0 -1 4202496 4995 0 0 0 287 1 0 0 20 0 1 0 379933228 20692992 4540 33554432000 4194304 5654031 140736315880304 140736315868120 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18336/statm: 5052 4540 142 357 0 4692 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34512
[startup+6.30025 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 18338
/proc/meminfo: memFree=31691596/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=3.88 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 4299 14593 0 0 7 2 375 4 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18338] ppid=18324 vsize=17548 CPUtime=2.37 cores=1,3,5,7
/proc/18338/stat : 18338 (glucosInc) R 18324 18323 17615 0 -1 4202496 4128 0 0 0 236 1 0 0 20 0 1 0 379933598 17969152 3371 33554432000 4194304 5654031 140735887721200 140735887709016 4215307 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18338/statm: 4387 3371 142 357 0 4027 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 31852
[startup+12.7003 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 18338
/proc/meminfo: memFree=31656724/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=3.88 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 4299 14593 0 0 7 2 375 4 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18338] ppid=18324 vsize=29116 CPUtime=8.77 cores=1,3,5,7
/proc/18338/stat : 18338 (glucosInc) R 18324 18323 17615 0 -1 4202496 6639 0 0 0 875 2 0 0 20 0 1 0 379933598 29814784 6442 33554432000 4194304 5654031 140735887721200 140735887709016 4215088 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18338/statm: 7279 6442 142 357 0 6919 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 43420
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 18340
/proc/meminfo: memFree=31671232/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=13.53 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 4840 22397 0 0 8 2 1335 8 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18340] ppid=18324 vsize=47988 CPUtime=11.93 cores=1,3,5,7
/proc/18340/stat : 18340 (glucosInc) R 18324 18323 17615 0 -1 4202496 6996 0 0 0 1190 3 0 0 20 0 1 0 379934564 49139712 8507 33554432000 4194304 5654031 140733356868192 140733356856008 4216105 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 11997 8507 142 357 0 11637 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 62292
[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 18342
/proc/meminfo: memFree=31598492/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=40744 CPUtime=20.58 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 6846 0 0 0 2056 2 0 0 20 0 1 0 379936257 41721856 9757 33554432000 4194304 5654031 140734687910240 140734687898056 4215188 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18342/statm: 10186 9757 142 357 0 9826 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 55048
[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 18344
/proc/meminfo: memFree=31602912/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=120436 CPUtime=71.78 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 7365 0 0 0 7173 5 0 0 20 0 1 0 379936257 123326464 28620 33554432000 4194304 5654031 140734687910240 140734687898056 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18342/statm: 30109 28620 142 357 0 29749 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 134740
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 18348
/proc/meminfo: memFree=31615312/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=120436 CPUtime=131.76 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 7685 0 0 0 13167 9 0 0 20 0 1 0 379936257 123326464 26060 33554432000 4194304 5654031 140734687910240 140734687898056 4215040 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18342/statm: 30109 26060 142 357 0 29749 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 134740
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 18348
/proc/meminfo: memFree=31570356/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=181892 CPUtime=191.76 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 8348 0 0 0 19162 14 0 0 20 0 1 0 379936257 186257408 36630 33554432000 4194304 5654031 140734687910240 140734687908328 4215055 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18342/statm: 45473 36630 142 357 0 45113 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 196196
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 18378
/proc/meminfo: memFree=31448936/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=183356 CPUtime=1271.56 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 31588 0 0 0 127058 98 0 0 20 0 1 0 379936257 187756544 41832 33554432000 4194304 5654031 140734687910240 140734687898056 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18342/statm: 45839 41832 142 357 0 45479 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 197660
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18381
/proc/meminfo: memFree=31437112/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=233444 CPUtime=1331.54 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 33387 0 0 0 133052 102 0 0 20 0 1 0 379936257 239046656 46741 33554432000 4194304 5654031 140734687910240 140734687898056 4232830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18342/statm: 58361 46741 142 357 0 58001 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 247748
[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 18382
/proc/meminfo: memFree=31406744/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=233444 CPUtime=1391.53 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 34395 0 0 0 139047 106 0 0 20 0 1 0 379936257 239046656 53397 33554432000 4194304 5654031 140734687910240 140734687898056 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18342/statm: 58361 53397 142 357 0 58001 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 247748
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 18382
/proc/meminfo: memFree=31396476/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=233444 CPUtime=1451.51 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 35896 0 0 0 145041 110 0 0 20 0 1 0 379936257 239046656 55445 33554432000 4194304 5654031 140734687910240 140734687898056 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18342/statm: 58361 55445 142 357 0 58001 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 247748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18382
/proc/meminfo: memFree=31400964/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=233444 CPUtime=1511.51 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 37390 0 0 0 151038 113 0 0 20 0 1 0 379936257 239046656 51349 33554432000 4194304 5654031 140734687910240 140734687908328 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18342/statm: 58361 51349 142 357 0 58001 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 247748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18382
/proc/meminfo: memFree=31374452/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=314832 CPUtime=1571.5 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 37935 0 0 0 157036 114 0 0 20 0 1 0 379936257 322387968 68245 33554432000 4194304 5654031 140734687910240 140734687908328 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18342/statm: 78708 68245 142 357 0 78348 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 329136
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 18426
/proc/meminfo: memFree=31374704/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=233444 CPUtime=1631.49 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 39466 0 0 0 163032 117 0 0 20 0 1 0 379936257 239046656 51903 33554432000 4194304 5654031 140734687910240 140734687908328 4214996 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18342/statm: 58361 51903 142 357 0 58001 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 247748
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18427
/proc/meminfo: memFree=31303272/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=314832 CPUtime=1691.47 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 40013 0 0 0 169029 118 0 0 20 0 1 0 379936257 322387968 68799 33554432000 4194304 5654031 140734687910240 140734687908328 4215091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18342/statm: 78708 68799 142 357 0 78348 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 329136
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18427
/proc/meminfo: memFree=31386304/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=233444 CPUtime=1751.46 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 40982 0 0 0 175025 121 0 0 20 0 1 0 379936257 239046656 47765 33554432000 4194304 5654031 140734687910240 140734687908328 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18342/statm: 58361 47765 142 357 0 58001 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 247748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 18427
/proc/meminfo: memFree=31353444/32873844 swapFree=7124/7124
[pid=18323] ppid=18321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (npSolver-pbo-It) S 18321 18323 17615 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379933207 9367552 275 33554432000 4194304 5064252 140734419362800 140734419361712 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18323/statm: 2287 275 233 213 0 72 0
[pid=18324] ppid=18323 vsize=5156 CPUtime=30.45 cores=1,3,5,7
/proc/18324/stat : 18324 (npSolver-pbo) S 18323 18323 17615 0 -1 4202496 5381 29925 0 0 9 3 3022 11 20 0 1 0 379933207 5279744 915 33554432000 4194304 6004724 140735917674240 140735917660088 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 1289 915 188 442 0 843 0
[pid=18342] ppid=18324 vsize=233444 CPUtime=1769.57 cores=1,3,5,7
/proc/18342/stat : 18342 (glucosInc) R 18324 18323 17615 0 -1 4202496 40997 0 0 0 176835 122 0 0 20 0 1 0 379936257 239046656 55445 33554432000 4194304 5654031 140734687910240 140734687898056 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18342/statm: 58361 55445 142 357 0 58001 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 247748
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 18323 and gives
# childrusage.ru_utime.tv_sec=30
# childrusage.ru_utime.tv_usec=326389
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=150977
# CPU time returned by wait4() is 30.4774
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1798.66
CPU system time (s): 1.36
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 378456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.3264
system time used= 0.150977
maximum resident set size= 40576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 252
involuntary context switches= 159
runsolver used 5.98609 second user time and 15.2377 second system time
The end