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-3703362-1338079251/watcher-3703362-1338079251 -o /tmp/evaluation-result-3703362-1338079251/solver-3703362-1338079251 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703362-1338079251.opb 1638257958 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.01 2.02 2.00 3/179 13949
/proc/meminfo: memFree=27085024/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[startup+0.0807301 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13949
/proc/meminfo: memFree=27085024/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100345 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13949
/proc/meminfo: memFree=27085024/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300316 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13949
/proc/meminfo: memFree=27085024/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70016 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13949
/proc/meminfo: memFree=27085024/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 13958
/proc/meminfo: memFree=27063904/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=0.5 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 2928 10163 0 0 7 6 30 7 20 0 1 0 274053661 8327168 1602 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/13950/statm: 2033 1602 194 440 0 1589 0
[pid=13958] ppid=13950 vsize=17640 CPUtime=0.96 cores=0,2,4,6
/proc/13958/stat : 13958 (glucosInc) R 13950 13949 1653 0 -1 4202496 3615 0 0 0 96 0 0 0 20 0 1 0 274053713 18063360 3320 33554432000 4194304 5654031 140737471837232 140737471835016 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13958/statm: 4410 3320 131 357 0 4050 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34920
[startup+3.10019 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 13960
/proc/meminfo: memFree=27063716/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=2.98 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 4407 18209 0 0 11 7 272 8 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 17280
[startup+6.30017 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 13964
/proc/meminfo: memFree=27061288/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=5.8 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 5845 26151 0 0 15 7 547 11 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 17280
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 13970
/proc/meminfo: memFree=27101460/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=8.03 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 7285 33328 0 0 18 7 765 13 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13970] ppid=13950 vsize=22100 CPUtime=4.59 cores=0,2,4,6
/proc/13970/stat : 13970 (glucosInc) R 13950 13949 1653 0 -1 4202496 4838 0 0 0 459 0 0 0 20 0 1 0 274054470 22630400 4613 33554432000 4194304 5654031 140736643613872 140736643601688 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13970/statm: 5525 4613 141 357 0 5165 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 39380
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 13970
/proc/meminfo: memFree=27086364/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=8.03 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 7285 33328 0 0 18 7 765 13 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13970] ppid=13950 vsize=40860 CPUtime=17.39 cores=0,2,4,6
/proc/13970/stat : 13970 (glucosInc) R 13950 13949 1653 0 -1 4202496 6666 0 0 0 1738 1 0 0 20 0 1 0 274054470 41840640 8260 33554432000 4194304 5654031 140736643613872 140736643611752 4232960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13970/statm: 10215 8260 141 357 0 9855 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 58140
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 13970
/proc/meminfo: memFree=27028652/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=8.03 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 7285 33328 0 0 18 7 765 13 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13970] ppid=13950 vsize=45324 CPUtime=42.98 cores=0,2,4,6
/proc/13970/stat : 13970 (glucosInc) R 13950 13949 1653 0 -1 4202496 7304 0 0 0 4297 1 0 0 20 0 1 0 274054470 46411776 10372 33554432000 4194304 5654031 140736643613872 140736643601688 4208687 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13970/statm: 11331 10372 141 357 0 10971 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 62604
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 13971
/proc/meminfo: memFree=27049036/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=8.03 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 7285 33328 0 0 18 7 765 13 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13970] ppid=13950 vsize=71700 CPUtime=94.18 cores=0,2,4,6
/proc/13970/stat : 13970 (glucosInc) R 13950 13949 1653 0 -1 4202496 10294 0 0 0 9414 4 0 0 20 0 1 0 274054470 73420800 17264 33554432000 4194304 5654031 140736643613872 140736643611896 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13970/statm: 17925 17264 141 357 0 17565 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 88980
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13975
/proc/meminfo: memFree=27046176/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=121.36 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 8724 50319 0 0 22 8 12087 19 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13975] ppid=13950 vsize=46352 CPUtime=40.83 cores=0,2,4,6
/proc/13975/stat : 13975 (glucosInc) R 13950 13949 1653 0 -1 4202496 8121 0 0 0 4081 2 0 0 20 0 1 0 274065805 47464448 9841 33554432000 4194304 5654031 140736591866832 140736591854648 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13975/statm: 11588 9841 141 357 0 11228 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 63632
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13975
/proc/meminfo: memFree=27041108/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=121.36 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 8724 50319 0 0 22 8 12087 19 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13975] ppid=13950 vsize=84040 CPUtime=100.82 cores=0,2,4,6
/proc/13975/stat : 13975 (glucosInc) R 13950 13949 1653 0 -1 4202496 10108 0 0 0 10078 4 0 0 20 0 1 0 274065805 86056960 19566 33554432000 4194304 5654031 140736591866832 140736591854648 4232581 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13975/statm: 21010 19566 141 357 0 20650 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 101320
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13975
/proc/meminfo: memFree=27037200/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=121.36 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=26891180/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=364.87 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 9446 62251 0 0 24 8 36429 26 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13977] ppid=13950 vsize=201520 CPUtime=877.14 cores=0,2,4,6
/proc/13977/stat : 13977 (glucosInc) R 13950 13949 1653 0 -1 4202496 27760 0 0 0 87676 38 0 0 20 0 1 0 274090161 206356480 43788 33554432000 4194304 5654031 140737263822624 140737263820712 4232925 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13977/statm: 50380 43788 141 357 0 50020 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 218800
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 14069
/proc/meminfo: memFree=26908596/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=364.87 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 9446 62251 0 0 24 8 36429 26 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13977] ppid=13950 vsize=151792 CPUtime=937.13 cores=0,2,4,6
/proc/13977/stat : 13977 (glucosInc) R 13950 13949 1653 0 -1 4202496 28682 0 0 0 93673 40 0 0 20 0 1 0 274090161 155435008 31853 33554432000 4194304 5654031 140737263822624 140737263810440 4233232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13977/statm: 37948 31853 141 357 0 37588 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 169072
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14069
/proc/meminfo: memFree=26827144/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=364.87 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 9446 62251 0 0 24 8 36429 26 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13977] ppid=13950 vsize=231932 CPUtime=997.12 cores=0,2,4,6
/proc/13977/stat : 13977 (glucosInc) R 13950 13949 1653 0 -1 4202496 30299 0 0 0 99669 43 0 0 20 0 1 0 274090161 237498368 47474 33554432000 4194304 5654031 140737263822624 140737263810440 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13977/statm: 57983 47474 141 357 0 57623 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 249212
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14070
/proc/meminfo: memFree=26983968/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=364.87 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 9446 62251 0 0 24 8 36429 26 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13977] ppid=13950 vsize=151792 CPUtime=1057.11 cores=0,2,4,6
/proc/13977/stat : 13977 (glucosInc) R 13950 13949 1653 0 -1 4202496 31117 0 0 0 105666 45 0 0 20 0 1 0 274090161 155435008 32877 33554432000 4194304 5654031 140737263822624 140737263810440 4208591 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13977/statm: 37948 32877 141 357 0 37588 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 169072
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14070
/proc/meminfo: memFree=26859172/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=364.87 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 9446 62251 0 0 24 8 36429 26 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13977] ppid=13950 vsize=201112 CPUtime=1117.1 cores=0,2,4,6
/proc/13977/stat : 13977 (glucosInc) R 13950 13949 1653 0 -1 4202496 32145 0 0 0 111662 48 0 0 20 0 1 0 274090161 205938688 45359 33554432000 4194304 5654031 140737263822624 140737263820552 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13977/statm: 50278 45359 141 357 0 49918 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 218392
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14070
/proc/meminfo: memFree=26814680/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=364.87 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 9446 62251 0 0 24 8 36429 26 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13977] ppid=13950 vsize=231932 CPUtime=1177.09 cores=0,2,4,6
/proc/13977/stat : 13977 (glucosInc) R 13950 13949 1653 0 -1 4202496 33554 0 0 0 117659 50 0 0 20 0 1 0 274090161 237498368 50546 33554432000 4194304 5654031 140737263822624 140737263820712 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13977/statm: 57983 50546 141 357 0 57623 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 249212
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14071
/proc/meminfo: memFree=26850452/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=364.87 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 9446 62251 0 0 24 8 36429 26 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13977] ppid=13950 vsize=249592 CPUtime=1237.08 cores=0,2,4,6
/proc/13977/stat : 13977 (glucosInc) R 13950 13949 1653 0 -1 4202496 35849 0 0 0 123654 54 0 0 20 0 1 0 274090161 255582208 58366 33554432000 4194304 5654031 140737263822624 140737263820712 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13977/statm: 62398 58366 141 357 0 62038 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 266872
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14071
/proc/meminfo: memFree=26803824/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=364.87 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 9446 62251 0 0 24 8 36429 26 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13977] ppid=13950 vsize=249592 CPUtime=1297.08 cores=0,2,4,6
/proc/13977/stat : 13977 (glucosInc) R 13950 13949 1653 0 -1 4202496 37478 0 0 0 129651 57 0 0 20 0 1 0 274090161 255582208 57342 33554432000 4194304 5654031 140737263822624 140737263820712 4233173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13977/statm: 62398 57342 141 357 0 62038 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 266872
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 14071
/proc/meminfo: memFree=26892032/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=364.87 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 9446 62251 0 0 24 8 36429 26 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13977] ppid=13950 vsize=249592 CPUtime=1357.07 cores=0,2,4,6
/proc/13977/stat : 13977 (glucosInc) R 13950 13949 1653 0 -1 4202496 39114 0 0 0 135647 60 0 0 20 0 1 0 274090161 255582208 55806 33554432000 4194304 5654031 140737263822624 140737263820712 4217063 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13977/statm: 62398 55806 141 357 0 62038 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 266872
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14074
/proc/meminfo: memFree=26856376/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=364.87 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 9446 62251 0 0 24 8 36429 26 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13977] ppid=13950 vsize=218772 CPUtime=1417.05 cores=0,2,4,6
/proc/13977/stat : 13977 (glucosInc) R 13950 13949 1653 0 -1 4202496 40165 0 0 0 141643 62 0 0 20 0 1 0 274090161 224022528 53691 33554432000 4194304 5654031 140737263822624 140737263820552 4233213 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13977/statm: 54693 53691 141 357 0 54333 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 236052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14074
/proc/meminfo: memFree=26797052/32873844 swapFree=6088/6088
[pid=13949] ppid=13947 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13949/stat : 13949 (npSolver-pbo-It) S 13947 13949 1653 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274053661 9367552 274 33554432000 4194304 5064252 140735563033872 140735563032784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13949/statm: 2287 274 233 213 0 72 0
[pid=13950] ppid=13949 vsize=8132 CPUtime=364.87 cores=0,2,4,6
/proc/13950/stat : 13950 (npSolver-pbo) S 13949 13949 1653 0 -1 4202496 9446 62251 0 0 24 8 36429 26 20 0 1 0 274053661 8327168 1617 33554432000 4194304 5992684 140735877379696 140735877365528 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13950/statm: 2033 1617 194 440 0 1589 0
[pid=13977] ppid=13950 vsize=249592 CPUtime=1435.16 cores=0,2,4,6
/proc/13977/stat : 13977 (glucosInc) R 13950 13949 1653 0 -1 4202496 40757 0 0 0 143453 63 0 0 20 0 1 0 274090161 255582208 58366 33554432000 4194304 5654031 140737263822624 140737263820712 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13977/statm: 62398 58366 141 357 0 62038 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 266872
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.06
CPU user time (s): 1799.07
CPU system time (s): 0.994848
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 316960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 0.994848
maximum resident set size= 253100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 817
involuntary context switches= 2142
runsolver used 2.68859 second user time and 7.18291 second system time
The end