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-3699484-1338049548/watcher-3699484-1338049548 -o /tmp/evaluation-result-3699484-1338049548/solver-3699484-1338049548 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699484-1338049548.opb 1956845639 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.72 2.69 3/178 13835
/proc/meminfo: memFree=28348540/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[startup+0.0565789 s]
/proc/loadavg: 2.00 2.72 2.69 3/178 13835
/proc/meminfo: memFree=28348540/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100311 s]
/proc/loadavg: 2.00 2.72 2.69 3/178 13835
/proc/meminfo: memFree=28348540/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300153 s]
/proc/loadavg: 2.00 2.72 2.69 3/178 13835
/proc/meminfo: memFree=28348540/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700164 s]
/proc/loadavg: 2.00 2.72 2.69 3/178 13835
/proc/meminfo: memFree=28348540/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.00 2.72 2.69 3/182 13839
/proc/meminfo: memFree=28218716/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=19068 CPUtime=0.17 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 4663 0 0 0 15 2 0 0 20 0 1 0 271083305 19525632 4034 33554432000 4194304 5992684 140735643208400 140735643202848 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13836/statm: 4767 4034 172 440 0 4323 0
[pid=13838] ppid=13836 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13838/stat : 13838 (cp2_pre.sh) S 13836 13835 4553 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271083322 9367552 277 33554432000 4194304 5064252 140734497112784 140734497111488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13838/statm: 2287 277 234 213 0 72 0
[pid=13839] ppid=13838 vsize=113628 CPUtime=1.3 cores=0,2,4,6
/proc/13839/stat : 13839 (coprocessor) R 13838 13835 4553 0 -1 4202496 22313 0 0 0 126 4 0 0 20 0 1 0 271083322 116355072 27438 33554432000 4194304 6586260 140736043499968 140736043495288 4676794 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/13839/statm: 28407 27438 192 584 0 27819 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 150992
[startup+3.10027 s]
/proc/loadavg: 2.00 2.72 2.69 3/182 13839
/proc/meminfo: memFree=28200292/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=19068 CPUtime=2.33 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 4678 25755 0 0 15 2 185 31 20 0 1 0 271083305 19525632 4036 33554432000 4194304 5992684 140735643208400 140735643194664 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13836/statm: 4767 4036 174 440 0 4323 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 28216
heavy processes:
[startup+6.30032 s]
/proc/loadavg: 2.00 2.70 2.68 3/181 13841
/proc/meminfo: memFree=28283028/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=19068 CPUtime=2.33 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 4678 25755 0 0 15 2 185 31 20 0 1 0 271083305 19525632 4036 33554432000 4194304 5992684 140735643208400 140735643194664 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13836/statm: 4767 4036 174 440 0 4323 0
[pid=13841] ppid=13836 vsize=46464 CPUtime=3.94 cores=0,2,4,6
/proc/13841/stat : 13841 (glucosInc) R 13836 13835 4553 0 -1 4202496 10997 0 0 0 392 2 0 0 20 0 1 0 271083540 47579136 9853 33554432000 4194304 5654031 140733863539616 140733863527432 4232752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13841/statm: 11616 9853 142 357 0 11256 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 74680
[startup+12.7003 s]
/proc/loadavg: 2.00 2.69 2.68 3/181 13841
/proc/meminfo: memFree=28266664/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=19068 CPUtime=2.33 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 4678 25755 0 0 15 2 185 31 20 0 1 0 271083305 19525632 4036 33554432000 4194304 5992684 140735643208400 140735643194664 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13836/statm: 4767 4036 174 440 0 4323 0
[pid=13841] ppid=13836 vsize=64500 CPUtime=10.33 cores=0,2,4,6
/proc/13841/stat : 13841 (glucosInc) R 13836 13835 4553 0 -1 4202496 12446 0 0 0 1031 2 0 0 20 0 1 0 271083540 66048000 14843 33554432000 4194304 5654031 140733863539616 140733863527432 4234964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13841/statm: 16125 14843 142 357 0 15765 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 92716
[startup+25.5003 s]
/proc/loadavg: 2.07 2.67 2.67 3/181 13841
/proc/meminfo: memFree=28246396/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=19068 CPUtime=2.33 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 4678 25755 0 0 15 2 185 31 20 0 1 0 271083305 19525632 4036 33554432000 4194304 5992684 140735643208400 140735643194664 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13836/statm: 4767 4036 174 440 0 4323 0
[pid=13841] ppid=13836 vsize=71680 CPUtime=23.13 cores=0,2,4,6
/proc/13841/stat : 13841 (glucosInc) R 13836 13835 4553 0 -1 4202496 13257 0 0 0 2311 2 0 0 20 0 1 0 271083540 73400320 16615 33554432000 4194304 5654031 140733863539616 140733863527432 4232505 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13841/statm: 17920 16615 142 357 0 17560 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 99896
[startup+51.1004 s]
/proc/loadavg: 2.05 2.62 2.66 3/181 13841
/proc/meminfo: memFree=28221756/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=19068 CPUtime=2.33 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 4678 25755 0 0 15 2 185 31 20 0 1 0 271083305 19525632 4036 33554432000 4194304 5992684 140735643208400 140735643194664 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13836/statm: 4767 4036 174 440 0 4323 0
[pid=13841] ppid=13836 vsize=94956 CPUtime=48.72 cores=0,2,4,6
/proc/13841/stat : 13841 (glucosInc) R 13836 13835 4553 0 -1 4202496 15519 0 0 0 4868 4 0 0 20 0 1 0 271083540 97234944 22460 33554432000 4194304 5654031 140733863539616 140733863527432 4215009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13841/statm: 23739 22460 142 357 0 23379 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 123172
[startup+102.306 s]
/proc/loadavg: 2.08 2.54 2.62 3/181 13843
/proc/meminfo: memFree=28279900/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=19068 CPUtime=2.33 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 4678 25755 0 0 15 2 185 31 20 0 1 0 271083305 19525632 4036 33554432000 4194304 5992684 140735643208400 140735643194664 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13836/statm: 4767 4036 174 440 0 4323 0
[pid=13841] ppid=13836 vsize=125604 CPUtime=99.92 cores=0,2,4,6
/proc/13841/stat : 13841 (glucosInc) R 13836 13835 4553 0 -1 4202496 16675 0 0 0 9986 6 0 0 20 0 1 0 271083540 128618496 23182 33554432000 4194304 5654031 140733863539616 140733863527432 4215112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13841/statm: 31401 23182 142 357 0 31041 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 153820
[startup+162.3 s]
/proc/loadavg: 2.03 2.44 2.58 3/181 13844
/proc/meminfo: memFree=28254408/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=19068 CPUtime=2.33 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 4678 25755 0 0 15 2 185 31 20 0 1 0 271083305 19525632 4036 33554432000 4194304 5992684 140735643208400 140735643194664 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13836/statm: 4767 4036 174 440 0 4323 0
[pid=13841] ppid=13836 vsize=125604 CPUtime=159.89 cores=0,2,4,6
/proc/13841/stat : 13841 (glucosInc) R 13836 13835 4553 0 -1 4202496 18901 0 0 0 15980 9 0 0 20 0 1 0 271083540 128618496 25582 33554432000 4194304 5654031 140733863539616 140733863537640 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13841/statm: 31401 25582 142 357 0 31041 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 153820
[startup+222.3 s]
/proc/loadavg: 2.06 2.37 2.55 3/181 13844
/proc/meminfo: memFree=28246624/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=19068 CPUtime=2.33 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 4678 25755 0 0 15 2 185 31 20 0 1 0 271083305 19525632 4036 33554432000 4194304 5992684 140735643208400 140735643194664 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13836/statm: 4767 4036 174 440 0 4323 0
[pid=13841] ppid=13836 vsize=125604 CPUtime=219.89 cores=0,2,4,6
/proc/13841/stat : 13841 (glucosInc) R 13836 13835 4553 0 -1 4202496 20721 0 0 0 21976 13 0 0 20 0 1 0 271083540 128618496 25582 33554432000 4194304 5654031 140733863539616 140733863527432 4215357 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13841/statm: 31401 25582 142 357 0 31041 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 153820
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.14 3/181 13854
/proc/meminfo: memFree=28174100/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=19068 CPUtime=2.33 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 4678 25755 0 0 15 2 185 31 20 0 1 0 271083305 19525632 4036 33554432000 4194304 5992684 140735643208400 140735643194664 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13836/statm: 4767 4036 174 440 0 4323 0
[pid=13841] ppid=13836 vsize=140736 CPUtime=1359.65 cores=0,2,4,6
/proc/13841/stat : 13841 (glucosInc) R 13836 13835 4553 0 -1 4202496 47255 0 0 0 135897 68 0 0 20 0 1 0 271083540 144113664 33262 33554432000 4194304 5654031 140733863539616 140733863537640 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13841/statm: 35184 33262 142 357 0 34824 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 168952
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.13 3/181 13855
/proc/meminfo: memFree=28075056/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=19068 CPUtime=2.33 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 4678 25755 0 0 15 2 185 31 20 0 1 0 271083305 19525632 4036 33554432000 4194304 5992684 140735643208400 140735643194664 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13836/statm: 4767 4036 174 440 0 4323 0
[pid=13841] ppid=13836 vsize=270964 CPUtime=1419.65 cores=0,2,4,6
/proc/13841/stat : 13841 (glucosInc) R 13836 13835 4553 0 -1 4202496 48612 0 0 0 141895 70 0 0 20 0 1 0 271083540 277467136 57611 33554432000 4194304 5654031 140733863539616 140733863527432 4215124 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13841/statm: 67741 57611 142 357 0 67381 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 299180
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/182 13861
/proc/meminfo: memFree=28187724/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=31000 CPUtime=1463.4 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 9496 75799 0 0 37 39 146159 105 20 0 1 0 271083305 31744000 7036 33554432000 4194304 5992684 140735643208400 140735643193304 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13836/statm: 7750 7036 192 440 0 7306 0
[pid=13861] ppid=13836 vsize=101788 CPUtime=18.56 cores=0,2,4,6
/proc/13861/stat : 13861 (glucosInc) R 13836 13835 4553 0 -1 4202496 16981 0 0 0 1851 5 0 0 20 0 1 0 271229678 104230912 22552 33554432000 4194304 5654031 140734509722336 140734509710152 4208584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 25447 22552 142 357 0 25087 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 141936
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/181 14118
/proc/meminfo: memFree=28013808/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=31000 CPUtime=1463.4 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 9496 75799 0 0 37 39 146159 105 20 0 1 0 271083305 31744000 7036 33554432000 4194304 5992684 140735643208400 140735643193304 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13836/statm: 7750 7036 192 440 0 7306 0
[pid=13861] ppid=13836 vsize=120644 CPUtime=78.53 cores=0,2,4,6
/proc/13861/stat : 13861 (glucosInc) R 13836 13835 4553 0 -1 4202496 18984 0 0 0 7846 7 0 0 20 0 1 0 271229678 123539456 27278 33554432000 4194304 5654031 140734509722336 140734509710152 4233464 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 30161 27278 142 357 0 29801 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 160792
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/181 14118
/proc/meminfo: memFree=28011032/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=31000 CPUtime=1463.4 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 9496 75799 0 0 37 39 146159 105 20 0 1 0 271083305 31744000 7036 33554432000 4194304 5992684 140735643208400 140735643193304 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13836/statm: 7750 7036 192 440 0 7306 0
[pid=13861] ppid=13836 vsize=120644 CPUtime=138.52 cores=0,2,4,6
/proc/13861/stat : 13861 (glucosInc) R 13836 13835 4553 0 -1 4202496 21607 0 0 0 13840 12 0 0 20 0 1 0 271229678 123539456 28041 33554432000 4194304 5654031 140734509722336 140734509710152 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 30161 28041 142 357 0 29801 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 160792
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 14118
/proc/meminfo: memFree=27925856/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=31000 CPUtime=1463.4 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 9496 75799 0 0 37 39 146159 105 20 0 1 0 271083305 31744000 7036 33554432000 4194304 5992684 140735643208400 140735643193304 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13836/statm: 7750 7036 192 440 0 7306 0
[pid=13861] ppid=13836 vsize=250872 CPUtime=198.51 cores=0,2,4,6
/proc/13861/stat : 13861 (glucosInc) R 13836 13835 4553 0 -1 4202496 24061 0 0 0 19835 16 0 0 20 0 1 0 271229678 256892928 49862 33554432000 4194304 5654031 140734509722336 140734509720424 4215112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 62718 49862 142 357 0 62358 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 291020
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 14119
/proc/meminfo: memFree=27936880/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=31000 CPUtime=1463.4 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 9496 75799 0 0 37 39 146159 105 20 0 1 0 271083305 31744000 7036 33554432000 4194304 5992684 140735643208400 140735643193304 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13836/statm: 7750 7036 192 440 0 7306 0
[pid=13861] ppid=13836 vsize=182616 CPUtime=258.5 cores=0,2,4,6
/proc/13861/stat : 13861 (glucosInc) R 13836 13835 4553 0 -1 4202496 25725 0 0 0 25830 20 0 0 20 0 1 0 271229678 186998784 42417 33554432000 4194304 5654031 140734509722336 140734509710152 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 45654 42417 142 357 0 45294 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 222764
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 14119
/proc/meminfo: memFree=27965544/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=31000 CPUtime=1463.4 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 9496 75799 0 0 37 39 146159 105 20 0 1 0 271083305 31744000 7036 33554432000 4194304 5992684 140735643208400 140735643193304 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13836/statm: 7750 7036 192 440 0 7306 0
[pid=13861] ppid=13836 vsize=133296 CPUtime=318.49 cores=0,2,4,6
/proc/13861/stat : 13861 (glucosInc) R 13836 13835 4553 0 -1 4202496 27399 0 0 0 31826 23 0 0 20 0 1 0 271229678 136495104 31205 33554432000 4194304 5654031 140734509722336 140734509710152 4215091 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 33324 31205 142 357 0 32964 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 173444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.07 3/181 14119
/proc/meminfo: memFree=27907708/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=31000 CPUtime=1463.4 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 9496 75799 0 0 37 39 146159 105 20 0 1 0 271083305 31744000 7036 33554432000 4194304 5992684 140735643208400 140735643193304 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13836/statm: 7750 7036 192 440 0 7306 0
[pid=13861] ppid=13836 vsize=213436 CPUtime=336.7 cores=0,2,4,6
/proc/13861/stat : 13861 (glucosInc) R 13836 13835 4553 0 -1 4202496 28465 0 0 0 33645 25 0 0 20 0 1 0 271229678 218558464 45045 33554432000 4194304 5654031 140734509722336 140734509710152 4233201 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 53359 45045 142 357 0 52999 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 253584
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.07 3/181 14119
/proc/meminfo: memFree=27907708/32873844 swapFree=6856/6856
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (npSolver-pbo-I.) S 13833 13835 4553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271083305 9367552 275 33554432000 4194304 5064252 140735622748800 140735622747712 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13835/statm: 2287 275 233 213 0 72 0
[pid=13836] ppid=13835 vsize=31000 CPUtime=1463.4 cores=0,2,4,6
/proc/13836/stat : 13836 (npSolver-pbo) S 13835 13835 4553 0 -1 4202496 9496 75799 0 0 37 39 146159 105 20 0 1 0 271083305 31744000 7036 33554432000 4194304 5992684 140735643208400 140735643193304 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13836/statm: 7750 7036 192 440 0 7306 0
[pid=13861] ppid=13836 vsize=213436 CPUtime=336.7 cores=0,2,4,6
/proc/13861/stat : 13861 (glucosInc) R 13836 13835 4553 0 -1 4202496 28465 0 0 0 33645 25 0 0 20 0 1 0 271229678 218558464 45045 33554432000 4194304 5654031 140734509722336 140734509710152 4233201 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 53359 45045 142 357 0 52999 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 253584
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13835 and gives
# childrusage.ru_utime.tv_sec=1461
# childrusage.ru_utime.tv_usec=971746
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=446780
# CPU time returned by wait4() is 1463.42
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1798.41
CPU system time (s): 1.69
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 414756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1461.97
system time used= 1.44678
maximum resident set size= 302352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 69232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 386
involuntary context switches= 1587
runsolver used 2.69259 second user time and 7.15091 second system time
The end