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-3697683-1338121682/watcher-3697683-1338121682 -o /tmp/evaluation-result-3697683-1338121682/solver-3697683-1338121682 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697683-1338121682.opb 438423532 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: 1.16 1.03 1.23 2/179 24776
/proc/meminfo: memFree=28910668/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[startup+0.0870349 s]
/proc/loadavg: 1.16 1.03 1.23 2/179 24776
/proc/meminfo: memFree=28910668/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 1.16 1.03 1.23 2/179 24776
/proc/meminfo: memFree=28910668/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 1.16 1.03 1.23 2/179 24776
/proc/meminfo: memFree=28910668/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70028 s]
/proc/loadavg: 1.16 1.03 1.23 2/179 24776
/proc/meminfo: memFree=28910668/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 1.23 1.05 1.23 3/181 24778
/proc/meminfo: memFree=28832608/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=1.32 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12772 0 0 0 118 14 0 0 20 0 1 0 278293108 105619456 22989 33554432000 4194304 5992684 140733591655232 140733591649680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22989 174 440 0 25342 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 112292
[startup+3.10035 s]
/proc/loadavg: 1.23 1.05 1.23 3/183 24780
/proc/meminfo: memFree=28655252/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=1.32 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12772 0 0 0 118 14 0 0 20 0 1 0 278293108 105619456 22989 33554432000 4194304 5992684 140733591655232 140733591649680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22989 174 440 0 25342 0
[pid=24779] ppid=24777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24779/stat : 24779 (cp2_pre.sh) S 24777 24776 24682 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278293243 9367552 276 33554432000 4194304 5064252 140736601127712 140736601126416 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24779/statm: 2287 276 234 213 0 72 0
[pid=24780] ppid=24779 vsize=249876 CPUtime=1.73 cores=0,2,4,6
/proc/24780/stat : 24780 (coprocessor) R 24779 24776 24682 0 -1 4202496 34303 0 0 0 166 7 0 0 20 0 1 0 278293243 255873024 57090 33554432000 4194304 6586260 140737398895840 140737398892104 5511711 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/24780/statm: 62469 57090 166 584 0 61881 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 371316
[startup+6.30033 s]
/proc/loadavg: 1.29 1.06 1.24 3/183 24780
/proc/meminfo: memFree=28458784/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=1.32 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12772 0 0 0 118 14 0 0 20 0 1 0 278293108 105619456 22989 33554432000 4194304 5992684 140733591655232 140733591649680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22989 174 440 0 25342 0
[pid=24779] ppid=24777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24779/stat : 24779 (cp2_pre.sh) S 24777 24776 24682 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278293243 9367552 276 33554432000 4194304 5064252 140736601127712 140736601126416 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24779/statm: 2287 276 234 213 0 72 0
[pid=24780] ppid=24779 vsize=313864 CPUtime=4.93 cores=0,2,4,6
/proc/24780/stat : 24780 (coprocessor) R 24779 24776 24682 0 -1 4202496 46596 0 0 0 479 14 0 0 20 0 1 0 278293243 321396736 77047 33554432000 4194304 6586260 140737398895840 140737398891592 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/24780/statm: 78466 77047 204 584 0 77878 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 435304
[startup+12.7003 s]
/proc/loadavg: 1.34 1.08 1.24 3/182 24782
/proc/meminfo: memFree=28688248/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=7.02 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12787 47499 0 0 118 14 550 20 20 0 1 0 278293108 105619456 22991 33554432000 4194304 5992684 140733591655232 140733591641496 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22991 176 440 0 25342 0
[pid=24782] ppid=24777 vsize=126616 CPUtime=5.63 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 23253 0 0 0 560 3 0 0 20 0 1 0 278293814 129654784 26810 33554432000 4194304 5654031 140735292659616 140735292657400 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24782/statm: 31654 26810 131 357 0 31294 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 238908
[startup+25.5004 s]
/proc/loadavg: 1.44 1.11 1.25 3/182 24783
/proc/meminfo: memFree=28681736/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=7.02 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12787 47499 0 0 118 14 550 20 20 0 1 0 278293108 105619456 22991 33554432000 4194304 5992684 140733591655232 140733591641496 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22991 176 440 0 25342 0
[pid=24782] ppid=24777 vsize=128596 CPUtime=18.42 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 23822 0 0 0 1839 3 0 0 20 0 1 0 278293814 131682304 27890 33554432000 4194304 5654031 140735292659616 140735292657448 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 32149 27890 131 357 0 31789 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 240888
[startup+51.1004 s]
/proc/loadavg: 1.66 1.19 1.27 3/182 24783
/proc/meminfo: memFree=28680992/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=7.02 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12787 47499 0 0 118 14 550 20 20 0 1 0 278293108 105619456 22991 33554432000 4194304 5992684 140733591655232 140733591641496 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22991 176 440 0 25342 0
[pid=24782] ppid=24777 vsize=128736 CPUtime=44.02 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 23858 0 0 0 4399 3 0 0 20 0 1 0 278293814 131825664 27926 33554432000 4194304 5654031 140735292659616 140735292657512 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 32184 27926 131 357 0 31824 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 241028
[startup+102.307 s]
/proc/loadavg: 1.85 1.31 1.31 3/181 24783
/proc/meminfo: memFree=28679572/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=7.02 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12787 47499 0 0 118 14 550 20 20 0 1 0 278293108 105619456 22991 33554432000 4194304 5992684 140733591655232 140733591641496 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22991 176 440 0 25342 0
[pid=24782] ppid=24777 vsize=129000 CPUtime=95.22 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 23941 0 0 0 9519 3 0 0 20 0 1 0 278293814 132096000 28009 33554432000 4194304 5654031 140735292659616 140735292657400 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 32250 28009 131 357 0 31890 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 241292
[startup+162.3 s]
/proc/loadavg: 1.94 1.44 1.35 3/182 24786
/proc/meminfo: memFree=28676744/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=7.02 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12787 47499 0 0 118 14 550 20 20 0 1 0 278293108 105619456 22991 33554432000 4194304 5992684 140733591655232 140733591641496 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22991 176 440 0 25342 0
[pid=24782] ppid=24777 vsize=129528 CPUtime=155.2 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 24047 0 0 0 15517 3 0 0 20 0 1 0 278293814 132636672 28115 33554432000 4194304 5654031 140735292659616 140735292657400 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 32382 28115 131 357 0 32022 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 241820
[startup+222.3 s]
/proc/loadavg: 1.98 1.54 1.38 3/181 24786
/proc/meminfo: memFree=28675672/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=7.02 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12787 47499 0 0 118 14 550 20 20 0 1 0 278293108 105619456 22991 33554432000 4194304 5992684 140733591655232 140733591641496 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22991 176 440 0 25342 0
[pid=24782] ppid=24777 vsize=130076 CPUtime=215.19 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 24195 0 0 0 21516 3 0 0 20 0 1 0 278293814 133197824 28263 33554432000 4194304 5654031 140735292659616 140735292657400 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 32519 28263 131 357 0 32159 0
Current children cumulated CPU time (s) 222.21
################
# More data... #
################
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 25141 0 0 0 45511 4 0 0 20 0 1 0 278293814 138072064 29860 33554432000 4194304 5654031 140735292659616 140735292647432 4215124 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 33709 29860 139 357 0 33349 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 247128
[startup+522.3 s]
/proc/loadavg: 1.99 1.82 1.54 3/181 24787
/proc/meminfo: memFree=28654996/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=7.02 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12787 47499 0 0 118 14 550 20 20 0 1 0 278293108 105619456 22991 33554432000 4194304 5992684 140733591655232 140733591641496 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22991 176 440 0 25342 0
[pid=24782] ppid=24777 vsize=134836 CPUtime=515.14 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 25196 0 0 0 51510 4 0 0 20 0 1 0 278293814 138072064 30426 33554432000 4194304 5654031 140735292659616 140735292647432 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 33709 30426 139 357 0 33349 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 247128
Solver just ended. Dumping a history of the last processes samples
[startup+537.5 s]
/proc/loadavg: 1.99 1.83 1.55 3/181 24787
/proc/meminfo: memFree=28652700/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=7.02 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12787 47499 0 0 118 14 550 20 20 0 1 0 278293108 105619456 22991 33554432000 4194304 5992684 140733591655232 140733591641496 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22991 176 440 0 25342 0
[pid=24782] ppid=24777 vsize=134836 CPUtime=530.34 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 25201 0 0 0 53030 4 0 0 20 0 1 0 278293814 138072064 30431 33554432000 4194304 5654031 140735292659616 140735292647432 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 33709 30431 140 357 0 33349 0
Current children cumulated CPU time (s) 537.36
Current children cumulated vsize (KiB) 247128
[startup+563.1 s]
/proc/loadavg: 1.99 1.84 1.56 3/181 24787
/proc/meminfo: memFree=28652452/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=7.02 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12787 47499 0 0 118 14 550 20 20 0 1 0 278293108 105619456 22991 33554432000 4194304 5992684 140733591655232 140733591641496 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22991 176 440 0 25342 0
[pid=24782] ppid=24777 vsize=134836 CPUtime=555.94 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 25204 0 0 0 55590 4 0 0 20 0 1 0 278293814 138072064 30434 33554432000 4194304 5654031 140735292659616 140735292647432 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 33709 30434 140 357 0 33349 0
Current children cumulated CPU time (s) 562.96
Current children cumulated vsize (KiB) 247128
[startup+569.5 s]
/proc/loadavg: 1.99 1.84 1.56 3/181 24787
/proc/meminfo: memFree=28652452/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=7.02 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12787 47499 0 0 118 14 550 20 20 0 1 0 278293108 105619456 22991 33554432000 4194304 5992684 140733591655232 140733591641496 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22991 176 440 0 25342 0
[pid=24782] ppid=24777 vsize=134836 CPUtime=562.34 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 25204 0 0 0 56230 4 0 0 20 0 1 0 278293814 138072064 30434 33554432000 4194304 5654031 140735292659616 140735292647432 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 33709 30434 140 357 0 33349 0
Current children cumulated CPU time (s) 569.36
Current children cumulated vsize (KiB) 247128
[startup+572.7 s]
/proc/loadavg: 1.99 1.85 1.56 3/181 24787
/proc/meminfo: memFree=28652328/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=7.02 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12787 47499 0 0 118 14 550 20 20 0 1 0 278293108 105619456 22991 33554432000 4194304 5992684 140733591655232 140733591641496 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22991 176 440 0 25342 0
[pid=24782] ppid=24777 vsize=134836 CPUtime=565.54 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 25204 0 0 0 56550 4 0 0 20 0 1 0 278293814 138072064 30434 33554432000 4194304 5654031 140735292659616 140735292647432 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 33709 30434 140 357 0 33349 0
Current children cumulated CPU time (s) 572.56
Current children cumulated vsize (KiB) 247128
[startup+575.9 s]
/proc/loadavg: 1.99 1.85 1.56 3/181 24787
/proc/meminfo: memFree=28652204/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=103144 CPUtime=7.02 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4202496 12787 47499 0 0 118 14 550 20 20 0 1 0 278293108 105619456 22991 33554432000 4194304 5992684 140733591655232 140733591641496 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 25786 22991 176 440 0 25342 0
[pid=24782] ppid=24777 vsize=134836 CPUtime=568.73 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) R 24777 24776 24682 0 -1 4202496 25204 0 0 0 56869 4 0 0 20 0 1 0 278293814 138072064 30434 33554432000 4194304 5654031 140735292659616 140735292647432 4216213 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 33709 30434 140 357 0 33349 0
Current children cumulated CPU time (s) 575.75
Current children cumulated vsize (KiB) 247128
[startup+576.7 s]
/proc/loadavg: 1.99 1.85 1.56 3/181 24787
/proc/meminfo: memFree=28644328/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=111088 CPUtime=7.2 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) R 24776 24776 24682 0 -1 4204032 15739 47499 0 0 130 20 550 20 20 0 1 0 278293108 113754112 25092 33554432000 4194304 5992684 140733591655232 140733591649768 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 27772 25092 193 440 0 27328 0
[pid=24782] ppid=24777 vsize=134844 CPUtime=569.08 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) S 24777 24776 24682 0 -1 4202496 25240 0 0 0 56904 4 0 0 20 0 1 0 278293814 138080256 30470 33554432000 4194304 5654031 140735292659616 140735292657928 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 33711 30470 146 357 0 33351 0
Current children cumulated CPU time (s) 576.28
Current children cumulated vsize (KiB) 255080
[startup+577.507 s]
/proc/loadavg: 1.99 1.85 1.56 2/182 24788
/proc/meminfo: memFree=28437000/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=111088 CPUtime=7.21 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4204032 15740 47499 0 0 130 21 550 20 20 0 1 0 278293108 113754112 25093 33554432000 4194304 5992684 140733591655232 140733591649768 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 27772 25093 194 440 0 27328 0
[pid=24782] ppid=24777 vsize=134844 CPUtime=569.08 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) S 24777 24776 24682 0 -1 4202496 25240 0 0 0 56904 4 0 0 20 0 1 0 278293814 138080256 30470 33554432000 4194304 5654031 140735292659616 140735292657928 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 33711 30470 146 357 0 33351 0
Current children cumulated CPU time (s) 576.29
Current children cumulated vsize (KiB) 255080
[startup+577.9 s]
/proc/loadavg: 1.99 1.85 1.56 2/182 24788
/proc/meminfo: memFree=28437000/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=111088 CPUtime=7.21 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4204032 15740 47499 0 0 130 21 550 20 20 0 1 0 278293108 113754112 25093 33554432000 4194304 5992684 140733591655232 140733591649768 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 27772 25093 194 440 0 27328 0
[pid=24782] ppid=24777 vsize=134844 CPUtime=569.08 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) S 24777 24776 24682 0 -1 4202496 25240 0 0 0 56904 4 0 0 20 0 1 0 278293814 138080256 30470 33554432000 4194304 5654031 140735292659616 140735292657928 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 33711 30470 146 357 0 33351 0
Current children cumulated CPU time (s) 576.29
Current children cumulated vsize (KiB) 255080
[startup+578 s]
/proc/loadavg: 1.99 1.85 1.56 2/182 24788
/proc/meminfo: memFree=28437000/32873844 swapFree=6856/6856
[pid=24776] ppid=24774 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24776/stat : 24776 (npSolver-pbo-It) S 24774 24776 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278293108 9367552 275 33554432000 4194304 5064252 140733598316592 140733598315504 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24776/statm: 2287 275 233 213 0 72 0
[pid=24777] ppid=24776 vsize=111088 CPUtime=7.21 cores=0,2,4,6
/proc/24777/stat : 24777 (npSolver-pbo) S 24776 24776 24682 0 -1 4204032 15740 47499 0 0 130 21 550 20 20 0 1 0 278293108 113754112 25093 33554432000 4194304 5992684 140733591655232 140733591649768 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 1 0 0
/proc/24777/statm: 27772 25093 194 440 0 27328 0
[pid=24782] ppid=24777 vsize=134844 CPUtime=569.08 cores=0,2,4,6
/proc/24782/stat : 24782 (glucosInc) S 24777 24776 24682 0 -1 4202496 25240 0 0 0 56904 4 0 0 20 0 1 0 278293814 138080256 30470 33554432000 4194304 5654031 140735292659616 140735292657928 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24782/statm: 33711 30470 146 357 0 33351 0
Current children cumulated CPU time (s) 576.29
Current children cumulated vsize (KiB) 255080
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24776 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=810964
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=422935
# CPU time returned by wait4() is 7.2339
# while last known CPU time is 576.29
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 578.059
CPU time (s): 576.29
CPU user time (s): 575.84
CPU system time (s): 0.45
CPU usage (%): 99.694
Max. virtual memory (cumulated for all children) (KiB): 435304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.81096
system time used= 0.422935
maximum resident set size= 316356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63614
page faults= 0
swaps= 0
block input operations= 8
block output operations= 157008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27936
involuntary context switches= 33
runsolver used 1.02284 second user time and 2.87856 second system time
The end