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-3700136-1338081766/watcher-3700136-1338081766 -o /tmp/evaluation-result-3700136-1338081766/solver-3700136-1338081766 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700136-1338081766.opb 620157722 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.01 2.00 3/180 15636
/proc/meminfo: memFree=31358524/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[startup+0.075851 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 15636
/proc/meminfo: memFree=31358524/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100302 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 15636
/proc/meminfo: memFree=31358524/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300274 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 15636
/proc/meminfo: memFree=31358524/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700274 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 15636
/proc/meminfo: memFree=31358524/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15642
/proc/meminfo: memFree=31333992/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=11024 CPUtime=0.94 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 3723 12528 0 0 9 0 75 10 20 0 1 0 274301903 11288576 2395 33554432000 4194304 5992684 140736321962240 140736321948504 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 2756 2395 171 440 0 2312 0
[pid=15642] ppid=15637 vsize=24276 CPUtime=0.51 cores=0,2,4,6
/proc/15642/stat : 15642 (glucosInc) R 15637 15636 8474 0 -1 4202496 4897 0 0 0 51 0 0 0 20 0 1 0 274302000 24858624 5080 33554432000 4194304 5654031 140736015184144 140736321949736 4233322 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15642/statm: 6069 5080 140 357 0 5709 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 44448
[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15642
/proc/meminfo: memFree=31325248/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=2.67 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 4614 18621 0 0 15 23 217 12 20 0 1 0 274301903 13631488 2943 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2943 181 440 0 2884 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 22460
[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15645
/proc/meminfo: memFree=31316948/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=2.67 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 4614 18621 0 0 15 23 217 12 20 0 1 0 274301903 13631488 2943 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2943 181 440 0 2884 0
[pid=15645] ppid=15637 vsize=26940 CPUtime=3.59 cores=0,2,4,6
/proc/15645/stat : 15645 (glucosInc) R 15637 15636 8474 0 -1 4202496 5949 0 0 0 359 0 0 0 20 0 1 0 274302171 27586560 6148 33554432000 4194304 5654031 140733630273328 140733630271112 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15645/statm: 6735 6148 141 357 0 6375 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 49400
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15645
/proc/meminfo: memFree=31314592/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=2.67 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 4614 18621 0 0 15 23 217 12 20 0 1 0 274301903 13631488 2943 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2943 181 440 0 2884 0
[pid=15645] ppid=15637 vsize=30788 CPUtime=10 cores=0,2,4,6
/proc/15645/stat : 15645 (glucosInc) R 15637 15636 8474 0 -1 4202496 7321 0 0 0 999 1 0 0 20 0 1 0 274302171 31526912 6580 33554432000 4194304 5654031 140733630273328 140733630261144 4234964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15645/statm: 7697 6580 142 357 0 7337 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 53248
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 15645
/proc/meminfo: memFree=31301444/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=2.67 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 4614 18621 0 0 15 23 217 12 20 0 1 0 274301903 13631488 2943 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2943 181 440 0 2884 0
[pid=15645] ppid=15637 vsize=39948 CPUtime=22.8 cores=0,2,4,6
/proc/15645/stat : 15645 (glucosInc) R 15637 15636 8474 0 -1 4202496 8816 0 0 0 2278 2 0 0 20 0 1 0 274302171 40906752 9271 33554432000 4194304 5654031 140733630273328 140733630261144 4232733 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15645/statm: 9987 9271 142 357 0 9627 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 62408
[startup+51.1004 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 15645
/proc/meminfo: memFree=31289840/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=2.67 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 4614 18621 0 0 15 23 217 12 20 0 1 0 274301903 13631488 2943 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2943 181 440 0 2884 0
[pid=15645] ppid=15637 vsize=47088 CPUtime=48.39 cores=0,2,4,6
/proc/15645/stat : 15645 (glucosInc) R 15637 15636 8474 0 -1 4202496 9247 0 0 0 4837 2 0 0 20 0 1 0 274302171 48218112 11195 33554432000 4194304 5654031 140733630273328 140733630261144 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15645/statm: 11772 11195 142 357 0 11412 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 69548
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 15646
/proc/meminfo: memFree=31273336/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=2.67 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 4614 18621 0 0 15 23 217 12 20 0 1 0 274301903 13631488 2943 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2943 181 440 0 2884 0
[pid=15645] ppid=15637 vsize=70328 CPUtime=99.59 cores=0,2,4,6
/proc/15645/stat : 15645 (glucosInc) R 15637 15636 8474 0 -1 4202496 10705 0 0 0 9956 3 0 0 20 0 1 0 274302171 72015872 14190 33554432000 4194304 5654031 140733630273328 140733630261144 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15645/statm: 17582 14190 142 357 0 17222 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 92788
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 15646
/proc/meminfo: memFree=31259684/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=2.67 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 4614 18621 0 0 15 23 217 12 20 0 1 0 274301903 13631488 2943 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2943 181 440 0 2884 0
[pid=15645] ppid=15637 vsize=89180 CPUtime=159.57 cores=0,2,4,6
/proc/15645/stat : 15645 (glucosInc) R 15637 15636 8474 0 -1 4202496 11551 0 0 0 15953 4 0 0 20 0 1 0 274302171 91320320 21314 33554432000 4194304 5654031 140733630273328 140733630261144 4232755 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15645/statm: 22295 21314 142 357 0 21935 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 111640
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 15646
/proc/meminfo: memFree=31249548/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=2.67 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 4614 18621 0 0 15 23 217 12 20 0 1 0 274301903 13631488 2943 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2943 181 440 0 2884 0
[pid=15645] ppid=15637 vsize=89180 CPUtime=219.55 cores=0,2,4,6
/proc/15645/stat : 15645 (glucosInc) R 15637 15636 8474 0 -1 4202496 11944 0 0 0 21951 4 0 0 20 0 1 0 274302171 91320320 21734 33554432000 4194304 5654031 140733630273328 140733630261144 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15645/statm: 22295 21734 142 357 0 21935 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 111640
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 15646
/proc/meminfo: memFree=31237756/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=31267696/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=2.67 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 4614 18621 0 0 15 23 217 12 20 0 1 0 274301903 13631488 2943 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2943 181 440 0 2884 0
[pid=15645] ppid=15637 vsize=194600 CPUtime=1239.4 cores=0,2,4,6
/proc/15645/stat : 15645 (glucosInc) R 15637 15636 8474 0 -1 4202496 25343 0 0 0 123915 25 0 0 20 0 1 0 274302171 199270400 41930 33554432000 4194304 5654031 140733630273328 140733630261144 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15645/statm: 48650 41930 142 357 0 48290 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 217060
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15702
/proc/meminfo: memFree=31237984/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=2.67 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 4614 18621 0 0 15 23 217 12 20 0 1 0 274301903 13631488 2943 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2943 181 440 0 2884 0
[pid=15645] ppid=15637 vsize=163780 CPUtime=1299.4 cores=0,2,4,6
/proc/15645/stat : 15645 (glucosInc) R 15637 15636 8474 0 -1 4202496 25835 0 0 0 129914 26 0 0 20 0 1 0 274302171 167710720 40327 33554432000 4194304 5654031 140733630273328 140733630261144 4216105 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15645/statm: 40945 40327 142 357 0 40585 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 186240
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15703
/proc/meminfo: memFree=31279828/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=2.67 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 4614 18621 0 0 15 23 217 12 20 0 1 0 274301903 13631488 2943 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2943 181 440 0 2884 0
[pid=15645] ppid=15637 vsize=164204 CPUtime=1359.39 cores=0,2,4,6
/proc/15645/stat : 15645 (glucosInc) R 15637 15636 8474 0 -1 4202496 27018 0 0 0 135911 28 0 0 20 0 1 0 274302171 168144896 38897 33554432000 4194304 5654031 140733630273328 140733630261144 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15645/statm: 41051 38897 142 357 0 40691 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 186664
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15705
/proc/meminfo: memFree=31363948/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=1390.51 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 5115 46662 0 0 16 23 138970 42 20 0 1 0 274301903 13631488 2958 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2958 182 440 0 2884 0
[pid=15705] ppid=15637 vsize=38088 CPUtime=31.52 cores=0,2,4,6
/proc/15705/stat : 15705 (glucosInc) R 15637 15636 8474 0 -1 4202496 9790 0 0 0 3150 2 0 0 20 0 1 0 274440978 39002112 8468 33554432000 4194304 5654031 140736131988896 140736131976712 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15705/statm: 9522 8468 140 357 0 9162 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 60548
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 15705
/proc/meminfo: memFree=31379328/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=1390.51 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 5115 46662 0 0 16 23 138970 42 20 0 1 0 274301903 13631488 2958 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2958 182 440 0 2884 0
[pid=15705] ppid=15637 vsize=73188 CPUtime=91.5 cores=0,2,4,6
/proc/15705/stat : 15705 (glucosInc) R 15637 15636 8474 0 -1 4202496 11724 0 0 0 9147 3 0 0 20 0 1 0 274440978 74944512 14137 33554432000 4194304 5654031 140736131988896 140736131976712 4215194 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15705/statm: 18297 14137 140 357 0 17937 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 95648
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 15705
/proc/meminfo: memFree=31358972/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=1390.51 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 5115 46662 0 0 16 23 138970 42 20 0 1 0 274301903 13631488 2958 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2958 182 440 0 2884 0
[pid=15705] ppid=15637 vsize=73188 CPUtime=151.49 cores=0,2,4,6
/proc/15705/stat : 15705 (glucosInc) R 15637 15636 8474 0 -1 4202496 11937 0 0 0 15146 3 0 0 20 0 1 0 274440978 74944512 17413 33554432000 4194304 5654031 140736131988896 140736131976712 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15705/statm: 18297 17413 140 357 0 17937 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 95648
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15705
/proc/meminfo: memFree=31299832/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=1390.51 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 5115 46662 0 0 16 23 138970 42 20 0 1 0 274301903 13631488 2958 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2958 182 440 0 2884 0
[pid=15705] ppid=15637 vsize=92044 CPUtime=211.48 cores=0,2,4,6
/proc/15705/stat : 15705 (glucosInc) R 15637 15636 8474 0 -1 4202496 12733 0 0 0 21144 4 0 0 20 0 1 0 274440978 94253056 22083 33554432000 4194304 5654031 140736131988896 140736131976712 4232710 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15705/statm: 23011 22083 140 357 0 22651 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 114504
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15709
/proc/meminfo: memFree=31276240/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=1390.51 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 5115 46662 0 0 16 23 138970 42 20 0 1 0 274301903 13631488 2958 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2958 182 440 0 2884 0
[pid=15705] ppid=15637 vsize=122392 CPUtime=271.48 cores=0,2,4,6
/proc/15705/stat : 15705 (glucosInc) R 15637 15636 8474 0 -1 4202496 12943 0 0 0 27143 5 0 0 20 0 1 0 274440978 125329408 25357 33554432000 4194304 5654031 140736131988896 140736131976712 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15705/statm: 30598 25357 140 357 0 30238 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 144852
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15709
/proc/meminfo: memFree=31287848/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=1390.51 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 5115 46662 0 0 16 23 138970 42 20 0 1 0 274301903 13631488 2958 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2958 182 440 0 2884 0
[pid=15705] ppid=15637 vsize=122392 CPUtime=331.47 cores=0,2,4,6
/proc/15705/stat : 15705 (glucosInc) R 15637 15636 8474 0 -1 4202496 13622 0 0 0 33141 6 0 0 20 0 1 0 274440978 125329408 25913 33554432000 4194304 5654031 140736131988896 140736131976712 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15705/statm: 30598 25913 140 357 0 30238 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 144852
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15709
/proc/meminfo: memFree=31239504/32873844 swapFree=7112/7112
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=1390.51 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 5115 46662 0 0 16 23 138970 42 20 0 1 0 274301903 13631488 2958 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2958 182 440 0 2884 0
[pid=15705] ppid=15637 vsize=171712 CPUtime=391.45 cores=0,2,4,6
/proc/15705/stat : 15705 (glucosInc) R 15637 15636 8474 0 -1 4202496 14254 0 0 0 39138 7 0 0 20 0 1 0 274440978 175833088 35428 33554432000 4194304 5654031 140736131988896 140736131976712 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15705/statm: 42928 35428 140 357 0 42568 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 194172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15709
/proc/meminfo: memFree=31273140/32873844 swapFree=7116/7116
[pid=15636] ppid=15634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15636/stat : 15636 (npSolver-pbo-I.) S 15634 15636 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274301902 9367552 274 33554432000 4194304 5064252 140736614855488 140736614854400 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15636/statm: 2287 274 233 213 0 72 0
[pid=15637] ppid=15636 vsize=13312 CPUtime=1390.51 cores=0,2,4,6
/proc/15637/stat : 15637 (npSolver-pbo) S 15636 15636 8474 0 -1 4202496 5115 46662 0 0 16 23 138970 42 20 0 1 0 274301903 13631488 2958 33554432000 4194304 5992684 140736321962240 140736321947144 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15637/statm: 3328 2958 182 440 0 2884 0
[pid=15705] ppid=15637 vsize=122392 CPUtime=409.56 cores=0,2,4,6
/proc/15705/stat : 15705 (glucosInc) R 15637 15636 8474 0 -1 4202496 14256 0 0 0 40949 7 0 0 20 0 1 0 274440978 125329408 25913 33554432000 4194304 5654031 140736131988896 140736131976712 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15705/statm: 30598 25913 140 357 0 30238 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 144852
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.1
CPU user time (s): 1799.36
CPU system time (s): 0.740887
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 217484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.740887
maximum resident set size= 171820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66413
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166
involuntary context switches= 2178
runsolver used 3.64245 second user time and 9.34158 second system time
The end