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-3749218-1339218959/watcher-3749218-1339218959 -o /tmp/evaluation-result-3749218-1339218959/solver-3749218-1339218959 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749218-1339218959.opb 484236772 HOME HOME
running on 4 cores: 1,3,5,7
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: 0.00 0.00 0.00 3/173 16982
/proc/meminfo: memFree=31367060/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[startup+0.01149 s]
/proc/loadavg: 0.00 0.00 0.00 3/173 16982
/proc/meminfo: memFree=31367060/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100298 s]
/proc/loadavg: 0.00 0.00 0.00 3/173 16982
/proc/meminfo: memFree=31367060/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300375 s]
/proc/loadavg: 0.00 0.00 0.00 3/173 16982
/proc/meminfo: memFree=31367060/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700326 s]
/proc/loadavg: 0.00 0.00 0.00 3/173 16982
/proc/meminfo: memFree=31367060/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50052 s]
/proc/loadavg: 0.00 0.00 0.00 3/181 16990
/proc/meminfo: memFree=31078352/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46160 CPUtime=0.49 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 10792 0 0 0 46 3 0 0 20 0 1 0 388024418 47267840 11091 33554432000 4194304 6004724 140737145053088 140737145047552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11540 11091 148 442 0 11094 0
[pid=16989] ppid=16985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16989/stat : 16989 (cp2_pre.sh) S 16985 16982 16941 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 388024468 9367552 277 33554432000 4194304 5064252 140735457123744 140735457122448 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16989/statm: 2287 277 234 213 0 72 0
[pid=16990] ppid=16989 vsize=130140 CPUtime=0.98 cores=1,3,5,7
/proc/16990/stat : 16990 (coprocessor) R 16989 16982 16941 0 -1 4202496 23927 0 0 0 93 5 0 0 20 0 1 0 388024468 133263360 31607 33554432000 4194304 6586260 140733324744848 140733324741608 4683456 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/16990/statm: 32535 31607 191 584 0 31947 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 194596
[startup+3.10025 s]
/proc/loadavg: 0.16 0.03 0.01 3/183 16992
/proc/meminfo: memFree=30949284/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=2.68 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) R 16982 16982 16941 0 -1 4202496 12293 25492 0 0 62 30 166 10 20 0 1 0 388024418 47271936 11103 33554432000 4194304 6004724 140737145053088 140737145039368 5190832 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11103 159 442 0 11095 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 55312
[startup+6.30032 s]
/proc/loadavg: 0.16 0.03 0.01 3/182 16997
/proc/meminfo: memFree=30640476/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=3.28 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 14861 38193 0 0 72 55 185 16 20 0 1 0 388024418 47271936 11123 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16985/statm: 11541 11123 179 442 0 11095 0
[pid=16997] ppid=16985 vsize=65684 CPUtime=2.78 cores=1,3,5,7
/proc/16997/stat : 16997 (glucosInc) R 16985 16982 16941 0 -1 4202496 14004 0 0 0 275 3 0 0 20 0 1 0 388024768 67260416 15035 33554432000 4194304 5654031 140735953404272 140735953392088 4215374 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16997/statm: 16421 15035 140 357 0 16061 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 120996
[startup+12.7004 s]
/proc/loadavg: 0.44 0.10 0.03 3/181 16999
/proc/meminfo: memFree=30934332/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=3.28 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 14861 38193 0 0 72 55 185 16 20 0 1 0 388024418 47271936 11123 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16985/statm: 11541 11123 179 442 0 11095 0
[pid=16997] ppid=16985 vsize=66936 CPUtime=9.18 cores=1,3,5,7
/proc/16997/stat : 16997 (glucosInc) R 16985 16982 16941 0 -1 4202496 14330 0 0 0 915 3 0 0 20 0 1 0 388024768 68542464 15361 33554432000 4194304 5654031 140735953404272 140735953392088 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16997/statm: 16734 15361 140 357 0 16374 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 122248
[startup+25.5003 s]
/proc/loadavg: 0.68 0.16 0.05 3/181 16999
/proc/meminfo: memFree=30936012/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=3.28 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 14861 38193 0 0 72 55 185 16 20 0 1 0 388024418 47271936 11123 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16985/statm: 11541 11123 179 442 0 11095 0
[pid=16997] ppid=16985 vsize=68132 CPUtime=21.98 cores=1,3,5,7
/proc/16997/stat : 16997 (glucosInc) R 16985 16982 16941 0 -1 4202496 15000 0 0 0 2194 4 0 0 20 0 1 0 388024768 69767168 15522 33554432000 4194304 5654031 140735953404272 140735953402296 4215357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16997/statm: 17033 15522 142 357 0 16673 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 123444
[startup+51.1003 s]
/proc/loadavg: 1.13 0.31 0.10 3/181 16999
/proc/meminfo: memFree=30935692/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=3.28 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 14861 38193 0 0 72 55 185 16 20 0 1 0 388024418 47271936 11123 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16985/statm: 11541 11123 179 442 0 11095 0
[pid=16997] ppid=16985 vsize=66888 CPUtime=47.57 cores=1,3,5,7
/proc/16997/stat : 16997 (glucosInc) R 16985 16982 16941 0 -1 4202496 15973 0 0 0 4753 4 0 0 20 0 1 0 388024768 68493312 15366 33554432000 4194304 5654031 140735953404272 140735953402296 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16997/statm: 16722 15366 142 357 0 16362 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 122200
[startup+102.3 s]
/proc/loadavg: 1.62 0.56 0.20 3/181 16999
/proc/meminfo: memFree=30878192/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=3.28 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 14861 38193 0 0 72 55 185 16 20 0 1 0 388024418 47271936 11123 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16985/statm: 11541 11123 179 442 0 11095 0
[pid=16997] ppid=16985 vsize=115872 CPUtime=98.76 cores=1,3,5,7
/proc/16997/stat : 16997 (glucosInc) R 16985 16982 16941 0 -1 4202496 17270 0 0 0 9872 4 0 0 20 0 1 0 388024768 118652928 23299 33554432000 4194304 5654031 140735953404272 140735953392088 4214522 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16997/statm: 28968 23299 142 357 0 28608 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 171184
[startup+162.3 s]
/proc/loadavg: 1.90 0.86 0.32 3/181 17005
/proc/meminfo: memFree=30219752/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=159.29 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 17484 56286 0 0 77 56 15772 24 20 0 1 0 388024418 47271936 11123 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11123 179 442 0 11095 0
[pid=17005] ppid=16985 vsize=65036 CPUtime=2.75 cores=1,3,5,7
/proc/17005/stat : 17005 (glucosInc) R 16985 16982 16941 0 -1 4202496 14070 0 0 0 272 3 0 0 20 0 1 0 388040371 66596864 15055 33554432000 4194304 5654031 140737322695056 140737322692936 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17005/statm: 16259 15055 140 357 0 15899 0
Current children cumulated CPU time (s) 162.04
Current children cumulated vsize (KiB) 120348
[startup+222.3 s]
/proc/loadavg: 1.96 1.05 0.42 3/181 17005
/proc/meminfo: memFree=30214568/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=159.29 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 17484 56286 0 0 77 56 15772 24 20 0 1 0 388024418 47271936 11123 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11123 179 442 0 11095 0
[pid=17005] ppid=16985 vsize=68888 CPUtime=62.74 cores=1,3,5,7
/proc/17005/stat : 17005 (glucosInc) R 16985 16982 16941 0 -1 4202496 16655 0 0 0 6269 5 0 0 20 0 1 0 388040371 70541312 15904 33554432000 4194304 5654031 140737322695056 140737322682872 4215200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17005/statm: 17222 15904 142 357 0 16862 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 124200
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30133664/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=1025.51 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 25356 115260 0 0 89 58 102353 51 20 0 1 0 388024418 47271936 11123 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11123 179 442 0 11095 0
[pid=17020] ppid=16985 vsize=116572 CPUtime=276.27 cores=1,3,5,7
/proc/17020/stat : 17020 (glucosInc) R 16985 16982 16941 0 -1 4202496 19302 0 0 0 27622 5 0 0 20 0 1 0 388127013 119369728 28020 33554432000 4194304 5654031 140736359748016 140736359735832 4215964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17020/statm: 29143 28020 142 357 0 28783 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 171884
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/181 17022
/proc/meminfo: memFree=30131120/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=1025.51 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 25356 115260 0 0 89 58 102353 51 20 0 1 0 388024418 47271936 11123 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11123 179 442 0 11095 0
[pid=17020] ppid=16985 vsize=116572 CPUtime=336.26 cores=1,3,5,7
/proc/17020/stat : 17020 (glucosInc) R 16985 16982 16941 0 -1 4202496 19430 0 0 0 33620 6 0 0 20 0 1 0 388127013 119369728 28063 33554432000 4194304 5654031 140736359748016 140736359735832 4232639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17020/statm: 29143 28063 142 357 0 28783 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 171884
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/181 17024
/proc/meminfo: memFree=30176456/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=1403.07 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 27978 135210 0 0 94 59 140095 59 20 0 1 0 388024418 47271936 11123 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11123 179 442 0 11095 0
[pid=17024] ppid=16985 vsize=67184 CPUtime=18.68 cores=1,3,5,7
/proc/17024/stat : 17024 (glucosInc) R 16985 16982 16941 0 -1 4202496 14573 0 0 0 1866 2 0 0 20 0 1 0 388164777 68796416 15276 33554432000 4194304 5654031 140737216190640 140737216188664 4232659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17024/statm: 16796 15276 142 357 0 16436 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 122496
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/182 17029
/proc/meminfo: memFree=30173984/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=1452.8 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 30987 152096 0 0 108 60 145047 65 20 0 1 0 388024418 47271936 11124 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11124 180 442 0 11095 0
[pid=17029] ppid=16985 vsize=66972 CPUtime=28.94 cores=1,3,5,7
/proc/17029/stat : 17029 (glucosInc) R 16985 16982 16941 0 -1 4202496 16688 0 0 0 2890 4 0 0 20 0 1 0 388169751 68579328 15344 33554432000 4194304 5654031 140733795010416 140733794998232 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17029/statm: 16743 15344 142 357 0 16383 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 122284
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/181 17029
/proc/meminfo: memFree=30140948/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=1452.8 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 30987 152096 0 0 108 60 145047 65 20 0 1 0 388024418 47271936 11124 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11124 180 442 0 11095 0
[pid=17029] ppid=16985 vsize=97416 CPUtime=88.94 cores=1,3,5,7
/proc/17029/stat : 17029 (glucosInc) R 16985 16982 16941 0 -1 4202496 18462 0 0 0 8888 6 0 0 20 0 1 0 388169751 99753984 23227 33554432000 4194304 5654031 140733795010416 140733794998232 4216494 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17029/statm: 24354 23227 142 357 0 23994 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 152728
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/182 17030
/proc/meminfo: memFree=30136284/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=1452.8 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 30987 152096 0 0 108 60 145047 65 20 0 1 0 388024418 47271936 11124 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11124 180 442 0 11095 0
[pid=17029] ppid=16985 vsize=116272 CPUtime=148.93 cores=1,3,5,7
/proc/17029/stat : 17029 (glucosInc) R 16985 16982 16941 0 -1 4202496 18914 0 0 0 14887 6 0 0 20 0 1 0 388169751 119062528 23229 33554432000 4194304 5654031 140733795010416 140733794998232 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17029/statm: 29068 23229 142 357 0 28708 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 171584
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/181 17031
/proc/meminfo: memFree=30116248/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=1452.8 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 30987 152096 0 0 108 60 145047 65 20 0 1 0 388024418 47271936 11124 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11124 180 442 0 11095 0
[pid=17029] ppid=16985 vsize=116272 CPUtime=208.92 cores=1,3,5,7
/proc/17029/stat : 17029 (glucosInc) R 16985 16982 16941 0 -1 4202496 19550 0 0 0 20885 7 0 0 20 0 1 0 388169751 119062528 27897 33554432000 4194304 5654031 140733795010416 140733794998232 4214996 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17029/statm: 29068 27897 142 357 0 28708 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 171584
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.66 3/181 17031
/proc/meminfo: memFree=30112152/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=1452.8 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 30987 152096 0 0 108 60 145047 65 20 0 1 0 388024418 47271936 11124 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11124 180 442 0 11095 0
[pid=17029] ppid=16985 vsize=116272 CPUtime=268.91 cores=1,3,5,7
/proc/17029/stat : 17029 (glucosInc) R 16985 16982 16941 0 -1 4202496 19550 0 0 0 26884 7 0 0 20 0 1 0 388169751 119062528 27897 33554432000 4194304 5654031 140733795010416 140733794998232 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17029/statm: 29068 27897 142 357 0 28708 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 171584
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 17031
/proc/meminfo: memFree=30109204/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=1452.8 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 30987 152096 0 0 108 60 145047 65 20 0 1 0 388024418 47271936 11124 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11124 180 442 0 11095 0
[pid=17029] ppid=16985 vsize=116272 CPUtime=328.9 cores=1,3,5,7
/proc/17029/stat : 17029 (glucosInc) R 16985 16982 16941 0 -1 4202496 19684 0 0 0 32883 7 0 0 20 0 1 0 388169751 119062528 27947 33554432000 4194304 5654031 140733795010416 140733794998232 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17029/statm: 29068 27947 142 357 0 28708 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 171584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 17031
/proc/meminfo: memFree=30109380/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=1452.8 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 30987 152096 0 0 108 60 145047 65 20 0 1 0 388024418 47271936 11124 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11124 180 442 0 11095 0
[pid=17029] ppid=16985 vsize=116272 CPUtime=347.29 cores=1,3,5,7
/proc/17029/stat : 17029 (glucosInc) R 16985 16982 16941 0 -1 4202496 19684 0 0 0 34722 7 0 0 20 0 1 0 388169751 119062528 27983 33554432000 4194304 5654031 140733795010416 140733794998232 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17029/statm: 29068 27983 142 357 0 28708 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 171584
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 17031
/proc/meminfo: memFree=30109380/32873844 swapFree=8656/8656
[pid=16982] ppid=16979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16982/stat : 16982 (npSolver-pbo-I.) S 16979 16982 16941 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388024417 9367552 275 33554432000 4194304 5064252 140736520425696 140736520424608 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16982/statm: 2287 275 233 213 0 72 0
[pid=16985] ppid=16982 vsize=46164 CPUtime=1452.8 cores=1,3,5,7
/proc/16985/stat : 16985 (npSolver-pbo) S 16982 16982 16941 0 -1 4202496 30987 152096 0 0 108 60 145047 65 20 0 1 0 388024418 47271936 11124 33554432000 4194304 6004724 140737145053088 140737145038008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16985/statm: 11541 11124 180 442 0 11095 0
[pid=17029] ppid=16985 vsize=116272 CPUtime=347.29 cores=1,3,5,7
/proc/17029/stat : 17029 (glucosInc) R 16985 16982 16941 0 -1 4202496 19684 0 0 0 34722 7 0 0 20 0 1 0 388169751 119062528 27983 33554432000 4194304 5654031 140733795010416 140733794998232 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17029/statm: 29068 27983 142 357 0 28708 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 171584
Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.13
CPU user time (s): 1798.79
CPU system time (s): 1.3408
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 221688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.3408
maximum resident set size= 152868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203150
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 857
involuntary context switches= 1924
runsolver used 6.37603 second user time and 11.9482 second system time
The end