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-3698428-1338101013/watcher-3698428-1338101013 -o /tmp/evaluation-result-3698428-1338101013/solver-3698428-1338101013 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698428-1338101013.opb 1956536878 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.00 2.16 3/180 12954
/proc/meminfo: memFree=27819968/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[startup+0.090984 s]
/proc/loadavg: 2.00 2.00 2.16 3/180 12954
/proc/meminfo: memFree=27819968/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100281 s]
/proc/loadavg: 2.00 2.00 2.16 3/180 12954
/proc/meminfo: memFree=27819968/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300245 s]
/proc/loadavg: 2.00 2.00 2.16 3/180 12954
/proc/meminfo: memFree=27819968/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700266 s]
/proc/loadavg: 2.00 2.00 2.16 3/180 12954
/proc/meminfo: memFree=27819968/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.15 3/182 12956
/proc/meminfo: memFree=27768192/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=78740 CPUtime=1.49 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) R 12954 12954 10899 0 -1 4202496 14142 0 0 0 145 4 0 0 20 0 1 0 276226732 80629760 19250 33554432000 4194304 5992684 140735259615008 140735259607576 4524999 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12955/statm: 19685 19250 165 440 0 19241 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87888
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.15 3/182 12956
/proc/meminfo: memFree=27702092/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=213344 CPUtime=3.09 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) R 12954 12954 10899 0 -1 4202496 24311 0 0 0 301 8 0 0 20 0 1 0 276226732 218464256 49300 33554432000 4194304 5992684 140735259615008 140735259601016 4951636 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12955/statm: 53336 49300 165 440 0 52892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 222492
[startup+6.3003 s]
/proc/loadavg: 2.08 2.02 2.16 3/184 13043
/proc/meminfo: memFree=27263660/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=690380 CPUtime=6.29 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) R 12954 12954 10899 0 -1 4202496 46581 0 0 0 609 20 0 0 20 0 1 0 276226732 706949120 110725 33554432000 4194304 5992684 140735259615008 140735259604520 4524790 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12955/statm: 172595 110725 165 440 0 172151 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 699528
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.16 3/184 13043
/proc/meminfo: memFree=26566416/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=1379404 CPUtime=12.69 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) R 12954 12954 10899 0 -1 4202496 88699 0 0 0 1230 39 0 0 20 0 1 0 276226732 1412509696 235368 33554432000 4194304 5992684 140735259615008 140735259601816 4234755 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12955/statm: 344851 235368 165 440 0 344407 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1388552
[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.16 3/184 13043
/proc/meminfo: memFree=25488176/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=2751512 CPUtime=25.47 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) R 12954 12954 10899 0 -1 4202496 170959 0 0 0 2470 77 0 0 20 0 1 0 276226732 2817548288 494944 33554432000 4194304 5992684 140735259615008 140735259598280 4951595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12955/statm: 687878 494944 165 440 0 687434 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2760660
[startup+51.1004 s]
/proc/loadavg: 2.26 2.06 2.17 3/185 13047
/proc/meminfo: memFree=21120588/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=2908652 CPUtime=35.08 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4202496 211609 0 0 0 3143 365 0 0 20 0 1 0 276226732 2978459648 623116 33554432000 4194304 5992684 140735259615008 140735259609456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12955/statm: 727163 623116 172 440 0 726719 0
[pid=13044] ppid=12955 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/13044/stat : 13044 (cp2_pre.sh) S 12955 12954 10899 0 -1 4202496 609 0 0 0 0 1 0 0 20 0 1 0 276230243 9367552 277 33554432000 4194304 5064252 140735827841664 140735827840368 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13044/statm: 2287 277 234 213 0 72 0
[pid=13045] ppid=13044 vsize=2411300 CPUtime=15.96 cores=0,2,4,6
/proc/13045/stat : 13045 (coprocessor) R 13044 12954 10899 0 -1 4202496 24535 0 0 0 1520 76 0 0 20 0 1 0 276230245 2469171200 582790 33554432000 4194304 6586260 140733619547920 140733619544680 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/13045/statm: 602825 582790 137 584 0 602237 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 5338248
[startup+102.307 s]
/proc/loadavg: 2.81 2.25 2.22 3/184 13056
/proc/meminfo: memFree=17734212/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=2908652 CPUtime=35.08 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4202496 211609 0 0 0 3143 365 0 0 20 0 1 0 276226732 2978459648 623116 33554432000 4194304 5992684 140735259615008 140735259609456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12955/statm: 727163 623116 172 440 0 726719 0
[pid=13044] ppid=12955 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/13044/stat : 13044 (cp2_pre.sh) S 12955 12954 10899 0 -1 4202496 609 0 0 0 0 1 0 0 20 0 1 0 276230243 9367552 277 33554432000 4194304 5064252 140735827841664 140735827840368 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13044/statm: 2287 277 234 213 0 72 0
[pid=13045] ppid=13044 vsize=6112136 CPUtime=66.94 cores=0,2,4,6
/proc/13045/stat : 13045 (coprocessor) R 13044 12954 10899 0 -1 4202496 30521 0 0 0 6363 331 0 0 20 0 1 0 276230245 6258827264 1170679 33554432000 4194304 6586260 140733619547920 140733619543672 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 20 0 0
/proc/13045/statm: 1528034 1170679 158 584 0 1527446 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 9039084
[startup+162.3 s]
/proc/loadavg: 2.57 2.30 2.24 3/183 13060
/proc/meminfo: memFree=16146488/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=2908652 CPUtime=132.81 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4202496 211626 31426 0 0 3143 366 9279 493 20 0 1 0 276226732 2978459648 623118 33554432000 4194304 5992684 140735259615008 140735259601272 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12955/statm: 727163 623118 174 440 0 726719 0
[pid=13058] ppid=12955 vsize=8114144 CPUtime=28.73 cores=0,2,4,6
/proc/13058/stat : 13058 (glucosInc) R 12955 12954 10899 0 -1 4202496 877106 0 0 0 2635 238 0 0 20 0 1 0 276240087 8308883456 1817640 33554432000 4194304 5654031 140733357540336 140733357538216 4797458 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13058/statm: 2028536 1817640 131 357 0 2028176 0
Current children cumulated CPU time (s) 161.54
Current children cumulated vsize (KiB) 11031944
[startup+222.3 s]
/proc/loadavg: 2.21 2.24 2.23 3/183 13061
/proc/meminfo: memFree=15997920/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=2908652 CPUtime=132.81 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4202496 211626 31426 0 0 3143 366 9279 493 20 0 1 0 276226732 2978459648 623118 33554432000 4194304 5992684 140735259615008 140735259601272 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12955/statm: 727163 623118 174 440 0 726719 0
[pid=13058] ppid=12955 vsize=8213476 CPUtime=88.72 cores=0,2,4,6
/proc/13058/stat : 13058 (glucosInc) R 12955 12954 10899 0 -1 4202496 909196 0 0 0 8623 249 0 0 20 0 1 0 276240087 8410599424 1849612 33554432000 4194304 5654031 140733357540336 140733357538216 4215188 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13058/statm: 2053369 1849612 140 357 0 2053009 0
Current children cumulated CPU time (s) 221.53
Current children cumulated vsize (KiB) 11131276
[startup+282.3 s]
/proc/loadavg: 2.07 2.20 2.21 3/183 13061
/proc/meminfo: memFree=15968140/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=2908652 CPUtime=132.81 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4202496 211626 31426 0 0 3143 366 9279 493 20 0 1 0 276226732 2978459648 623118 33554432000 4194304 5992684 140735259615008 140735259601272 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12955/statm: 727163 623118 174 440 0 726719 0
[pid=13058] ppid=12955 vsize=8218668 CPUtime=148.71 cores=0,2,4,6
################
# More data... #
################
/proc/13058/stat : 13058 (glucosInc) S 12955 12954 10899 0 -1 4202496 980352 0 0 0 89274 297 0 0 20 0 1 0 276240087 8558321664 1928065 33554432000 4194304 5654031 140733357540336 140733357538648 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13058/statm: 2089434 1928065 147 357 0 2089074 0
Current children cumulated CPU time (s) 1034
Current children cumulated vsize (KiB) 11847776
Solver just ended. Dumping a history of the last processes samples
[startup+1127.5 s]
/proc/loadavg: 4.60 2.91 2.39 2/184 13094
/proc/meminfo: memFree=8669420/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=3480892 CPUtime=138.29 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4204032 220998 31426 0 0 3454 603 9279 493 20 0 1 0 276226732 3564433408 766374 33554432000 4194304 5992684 140735259615008 140735259609544 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12955/statm: 870223 766374 192 440 0 869779 0
[pid=13058] ppid=12955 vsize=8357736 CPUtime=895.71 cores=0,2,4,6
/proc/13058/stat : 13058 (glucosInc) S 12955 12954 10899 0 -1 4202496 980352 0 0 0 89274 297 0 0 20 0 1 0 276240087 8558321664 1928065 33554432000 4194304 5654031 140733357540336 140733357538648 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13058/statm: 2089434 1928065 147 357 0 2089074 0
Current children cumulated CPU time (s) 1034
Current children cumulated vsize (KiB) 11847776
[startup+1153.1 s]
/proc/loadavg: 4.89 3.11 2.47 2/184 13094
/proc/meminfo: memFree=8670408/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=3480892 CPUtime=138.29 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4204032 220998 31426 0 0 3454 603 9279 493 20 0 1 0 276226732 3564433408 766374 33554432000 4194304 5992684 140735259615008 140735259609544 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12955/statm: 870223 766374 192 440 0 869779 0
[pid=13058] ppid=12955 vsize=8357736 CPUtime=895.71 cores=0,2,4,6
/proc/13058/stat : 13058 (glucosInc) S 12955 12954 10899 0 -1 4202496 980352 0 0 0 89274 297 0 0 20 0 1 0 276240087 8558321664 1928065 33554432000 4194304 5654031 140733357540336 140733357538648 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13058/statm: 2089434 1928065 147 357 0 2089074 0
Current children cumulated CPU time (s) 1034
Current children cumulated vsize (KiB) 11847776
[startup+1165.9 s]
/proc/loadavg: 4.99 3.19 2.50 2/184 13094
/proc/meminfo: memFree=8668832/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=3480892 CPUtime=138.29 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4204032 220998 31426 0 0 3454 603 9279 493 20 0 1 0 276226732 3564433408 766374 33554432000 4194304 5992684 140735259615008 140735259609544 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12955/statm: 870223 766374 192 440 0 869779 0
[pid=13058] ppid=12955 vsize=8357736 CPUtime=895.71 cores=0,2,4,6
/proc/13058/stat : 13058 (glucosInc) S 12955 12954 10899 0 -1 4202496 980352 0 0 0 89274 297 0 0 20 0 1 0 276240087 8558321664 1928065 33554432000 4194304 5654031 140733357540336 140733357538648 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13058/statm: 2089434 1928065 147 357 0 2089074 0
Current children cumulated CPU time (s) 1034
Current children cumulated vsize (KiB) 11847776
[startup+1172.3 s]
/proc/loadavg: 4.99 3.25 2.53 2/184 13094
/proc/meminfo: memFree=8668860/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=3480892 CPUtime=138.29 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4204032 220998 31426 0 0 3454 603 9279 493 20 0 1 0 276226732 3564433408 766374 33554432000 4194304 5992684 140735259615008 140735259609544 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12955/statm: 870223 766374 192 440 0 869779 0
[pid=13058] ppid=12955 vsize=8357736 CPUtime=895.71 cores=0,2,4,6
/proc/13058/stat : 13058 (glucosInc) S 12955 12954 10899 0 -1 4202496 980352 0 0 0 89274 297 0 0 20 0 1 0 276240087 8558321664 1928065 33554432000 4194304 5654031 140733357540336 140733357538648 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13058/statm: 2089434 1928065 147 357 0 2089074 0
Current children cumulated CPU time (s) 1034
Current children cumulated vsize (KiB) 11847776
[startup+1175.5 s]
/proc/loadavg: 4.99 3.25 2.53 2/184 13094
/proc/meminfo: memFree=8677832/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=3480892 CPUtime=138.29 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4204032 220998 31426 0 0 3454 603 9279 493 20 0 1 0 276226732 3564433408 766374 33554432000 4194304 5992684 140735259615008 140735259609544 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12955/statm: 870223 766374 192 440 0 869779 0
[pid=13058] ppid=12955 vsize=8357736 CPUtime=895.71 cores=0,2,4,6
/proc/13058/stat : 13058 (glucosInc) S 12955 12954 10899 0 -1 4202496 980352 0 0 0 89274 297 0 0 20 0 1 0 276240087 8558321664 1928065 33554432000 4194304 5654031 140733357540336 140733357538648 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13058/statm: 2089434 1928065 147 357 0 2089074 0
Current children cumulated CPU time (s) 1034
Current children cumulated vsize (KiB) 11847776
[startup+1177.11 s]
/proc/loadavg: 4.99 3.28 2.54 2/184 13094
/proc/meminfo: memFree=8677832/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=3480892 CPUtime=138.29 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4204032 220998 31426 0 0 3454 603 9279 493 20 0 1 0 276226732 3564433408 766374 33554432000 4194304 5992684 140735259615008 140735259609544 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12955/statm: 870223 766374 192 440 0 869779 0
[pid=13058] ppid=12955 vsize=8357736 CPUtime=895.71 cores=0,2,4,6
/proc/13058/stat : 13058 (glucosInc) S 12955 12954 10899 0 -1 4202496 980352 0 0 0 89274 297 0 0 20 0 1 0 276240087 8558321664 1928065 33554432000 4194304 5654031 140733357540336 140733357538648 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13058/statm: 2089434 1928065 147 357 0 2089074 0
Current children cumulated CPU time (s) 1034
Current children cumulated vsize (KiB) 11847776
[startup+1178.7 s]
/proc/loadavg: 4.99 3.28 2.54 2/184 13094
/proc/meminfo: memFree=8678204/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=3480892 CPUtime=138.29 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4204032 220998 31426 0 0 3454 603 9279 493 20 0 1 0 276226732 3564433408 766374 33554432000 4194304 5992684 140735259615008 140735259609544 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12955/statm: 870223 766374 192 440 0 869779 0
[pid=13058] ppid=12955 vsize=8357736 CPUtime=895.71 cores=0,2,4,6
/proc/13058/stat : 13058 (glucosInc) S 12955 12954 10899 0 -1 4202496 980352 0 0 0 89274 297 0 0 20 0 1 0 276240087 8558321664 1928065 33554432000 4194304 5654031 140733357540336 140733357538648 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13058/statm: 2089434 1928065 147 357 0 2089074 0
Current children cumulated CPU time (s) 1034
Current children cumulated vsize (KiB) 11847776
[startup+1179.5 s]
/proc/loadavg: 4.99 3.28 2.54 2/185 13095
/proc/meminfo: memFree=8677832/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=3480892 CPUtime=138.29 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4204032 220998 31426 0 0 3454 603 9279 493 20 0 1 0 276226732 3564433408 766374 33554432000 4194304 5992684 140735259615008 140735259609544 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12955/statm: 870223 766374 192 440 0 869779 0
[pid=13058] ppid=12955 vsize=8357736 CPUtime=895.71 cores=0,2,4,6
/proc/13058/stat : 13058 (glucosInc) S 12955 12954 10899 0 -1 4202496 980352 0 0 0 89274 297 0 0 20 0 1 0 276240087 8558321664 1928065 33554432000 4194304 5654031 140733357540336 140733357538648 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13058/statm: 2089434 1928065 147 357 0 2089074 0
Current children cumulated CPU time (s) 1034
Current children cumulated vsize (KiB) 11847776
[startup+1179.7 s]
/proc/loadavg: 4.99 3.28 2.54 2/185 13095
/proc/meminfo: memFree=8677832/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=3480892 CPUtime=138.29 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4204032 220998 31426 0 0 3454 603 9279 493 20 0 1 0 276226732 3564433408 766374 33554432000 4194304 5992684 140735259615008 140735259609544 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12955/statm: 870223 766374 192 440 0 869779 0
[pid=13058] ppid=12955 vsize=8357736 CPUtime=895.71 cores=0,2,4,6
/proc/13058/stat : 13058 (glucosInc) S 12955 12954 10899 0 -1 4202496 980352 0 0 0 89274 297 0 0 20 0 1 0 276240087 8558321664 1928065 33554432000 4194304 5654031 140733357540336 140733357538648 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13058/statm: 2089434 1928065 147 357 0 2089074 0
Current children cumulated CPU time (s) 1034
Current children cumulated vsize (KiB) 11847776
[startup+1179.8 s]
/proc/loadavg: 4.99 3.28 2.54 2/185 13095
/proc/meminfo: memFree=8677832/32873844 swapFree=7124/7124
[pid=12954] ppid=12952 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12954/stat : 12954 (npSolver-pbo-It) S 12952 12954 10899 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276226732 9367552 275 33554432000 4194304 5064252 140735388640800 140735388639712 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12954/statm: 2287 275 233 213 0 72 0
[pid=12955] ppid=12954 vsize=3480892 CPUtime=138.29 cores=0,2,4,6
/proc/12955/stat : 12955 (npSolver-pbo) S 12954 12954 10899 0 -1 4204032 220998 31426 0 0 3454 603 9279 493 20 0 1 0 276226732 3564433408 766374 33554432000 4194304 5992684 140735259615008 140735259609544 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12955/statm: 870223 766374 192 440 0 869779 0
[pid=13058] ppid=12955 vsize=8357736 CPUtime=895.71 cores=0,2,4,6
/proc/13058/stat : 13058 (glucosInc) S 12955 12954 10899 0 -1 4202496 980352 0 0 0 89274 297 0 0 20 0 1 0 276240087 8558321664 1928065 33554432000 4194304 5654031 140733357540336 140733357538648 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13058/statm: 2089434 1928065 147 357 0 2089074 0
Current children cumulated CPU time (s) 1034
Current children cumulated vsize (KiB) 11847776
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12954 and gives
# childrusage.ru_utime.tv_sec=127
# childrusage.ru_utime.tv_usec=337641
# childrusage.ru_stime.tv_sec=11
# childrusage.ru_stime.tv_usec=31322
# CPU time returned by wait4() is 138.369
# while last known CPU time is 1034
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1179.87
CPU time (s): 1034
CPU user time (s): 1020.07
CPU system time (s): 13.93
CPU usage (%): 87.6367
Max. virtual memory (cumulated for all children) (KiB): 12007776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.338
system time used= 11.0313
maximum resident set size= 4682724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6701864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 850364
involuntary context switches= 197
runsolver used 4.01739 second user time and 12.4871 second system time
The end