0.69/0.70 c SCIP version 1.1.0.7
0.69/0.70 c LP-Solver SoPlex 1.4.1
0.69/0.70 c user parameter file <scip.set> not found - using default parameters
0.69/0.70 c read problem <HOME/instance-3740190-1338758293.opb>
0.69/0.70 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 117788 constraints
0.89/0.94 c start presolving problem
0.89/0.94 c presolving:
4.19/4.30 c (round 1) 1913 del vars, 5194 del conss, 1221 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8151016 impls, 0 clqs
5.29/5.37 c (round 2) 5024 del vars, 14938 del conss, 4041 chg bounds, 3 chg sides, 3 chg coeffs, 0 upgd conss, 8165753 impls, 0 clqs
5.49/5.59 c (round 3) 5777 del vars, 19102 del conss, 4361 chg bounds, 80 chg sides, 79 chg coeffs, 0 upgd conss, 8171045 impls, 0 clqs
5.59/5.69 c (round 4) 6037 del vars, 20226 del conss, 4477 chg bounds, 82 chg sides, 81 chg coeffs, 0 upgd conss, 8172558 impls, 0 clqs
5.69/5.76 c (round 5) 6111 del vars, 20578 del conss, 4499 chg bounds, 82 chg sides, 81 chg coeffs, 0 upgd conss, 8172896 impls, 0 clqs
5.79/5.82 c (round 6) 6135 del vars, 20686 del conss, 4509 chg bounds, 82 chg sides, 81 chg coeffs, 0 upgd conss, 8172950 impls, 0 clqs
5.79/5.87 c (round 7) 6135 del vars, 20706 del conss, 4509 chg bounds, 82 chg sides, 81 chg coeffs, 0 upgd conss, 8172950 impls, 0 clqs
6.29/6.39 c (round 8) 6135 del vars, 20706 del conss, 4509 chg bounds, 82 chg sides, 81 chg coeffs, 97082 upgd conss, 8172950 impls, 0 clqs
218.42/218.52 c (216.8s) probing: 1000/30587 (3.3%) - 0 fixings, 0 aggregations, 6317527 implications, 0 bound changes
290.59/290.71 c (288.6s) probing: 2000/30587 (6.5%) - 2 fixings, 0 aggregations, 10043803 implications, 0 bound changes
351.46/351.61 c (349.1s) probing: 3000/30587 (9.8%) - 2 fixings, 1 aggregations, 13045275 implications, 0 bound changes
413.45/413.69 c (410.8s) probing: 4000/30587 (13.1%) - 2 fixings, 1 aggregations, 16026624 implications, 0 bound changes
478.42/478.61 c (475.4s) probing: 5000/30587 (16.3%) - 2 fixings, 2 aggregations, 18764920 implications, 0 bound changes
540.71/540.94 c (537.4s) probing: 6000/30587 (19.6%) - 2 fixings, 2 aggregations, 21289322 implications, 0 bound changes
586.10/586.33 c (582.6s) probing: 6669/30587 (21.8%) - 2 fixings, 2 aggregations, 22793303 implications, 0 bound changes
586.10/586.33 c (582.6s) probing aborted: 2000/2000 successive useless probings
586.10/586.33 c (round 9) 6139 del vars, 20706 del conss, 4509 chg bounds, 90 chg sides, 267 chg coeffs, 97082 upgd conss, 70504712 impls, 0 clqs
586.69/586.92 c (round 10) 6139 del vars, 20718 del conss, 4509 chg bounds, 92 chg sides, 1009 chg coeffs, 97082 upgd conss, 70504712 impls, 21 clqs
647.18/647.41 c (643.6s) probing: 6869/30587 (22.5%) - 2 fixings, 2 aggregations, 23446394 implications, 0 bound changes
647.18/647.41 c (643.6s) probing aborted: 2000/2000 successive useless probings
647.18/647.41 c presolving (11 rounds):
647.18/647.41 c 6139 deleted vars, 20718 deleted constraints, 4509 tightened bounds, 0 added holes, 94 changed sides, 1063 changed coefficients
647.18/647.41 c 72198794 implications, 38 cliques
647.18/647.41 c presolved problem has 30583 variables (30583 bin, 0 int, 0 impl, 0 cont) and 97079 constraints
647.18/647.41 c 1099 constraints of type <knapsack>
647.18/647.41 c 9 constraints of type <setppc>
647.18/647.41 c 95971 constraints of type <logicor>
647.18/647.41 c transformed objective value is always integral (scale: 1)
647.18/647.41 c Presolving Time: 643.44
647.18/647.43 c OPT-LIN
647.18/647.43 c -----------------------------------------------------------------------------------------------
647.18/647.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
647.18/647.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
647.18/647.43 c limits/memory = c 13950
647.18/647.43 c # maximal time in seconds to run
647.18/647.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
647.18/647.43 c limits/time = c 1791
647.18/647.43 c # frequency for displaying node information lines
647.18/647.43 c # [type: int, range: [-1,2147483647], default: 100]
647.18/647.43 c display/freq = c 10000
647.18/647.43 c -----------------------------------------------------------------------------------------------
647.18/647.43 c start solving problem
647.18/647.43 c
712.38/712.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.38/712.62 c 709s| 1 | 0 | 27852 |2057M| 0 | 123 | 30k| 97k| 97k| 30k| 97k| 0 | 0 | 0 | 5.700000e+01 | -- | Inf
1575.93/1576.33 c 1563s| 1 | 0 | 69060 |2058M| 0 | 576 | 30k| 97k| 97k| 30k| 97k| 51 | 0 | 0 | 5.700000e+01 | -- | Inf
1627.62/1628.07 c 1614s| 1 | 0 | 77525 |2060M| 0 | 816 | 30k| 97k| 97k| 30k| 97k| 90 | 0 | 0 | 5.700000e+01 | -- | Inf
1713.19/1713.65 c 1700s| 1 | 0 | 93575 |2063M| 0 | 886 | 30k| 97k| 97k| 30k| 97k| 154 | 0 | 0 | 5.700000e+01 | -- | Inf
1760.08/1760.58 c 1747s| 1 | 0 |102957 |2065M| 0 | 890 | 30k| 97k| 97k| 30k| 97k| 188 | 0 | 0 | 5.700000e+01 | -- | Inf
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-3740190-1338758293/watcher-3740190-1338758293 -o /tmp/evaluation-result-3740190-1338758293/solver-3740190-1338758293 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740190-1338758293.opb
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: 2.08 2.06 2.01 3/176 28742
/proc/meminfo: memFree=27938156/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=8868 CPUtime=0 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 1561 0 0 0 0 0 0 0 20 0 1 0 341953889 9080832 1514 33554432000 4194304 7823515 140737255227760 140735523276648 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 2217 1514 354 887 0 1327 0
[startup+0.083794 s]
/proc/loadavg: 2.08 2.06 2.01 3/176 28742
/proc/meminfo: memFree=27938156/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=24392 CPUtime=0.08 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 5227 0 0 0 7 1 0 0 20 0 1 0 341953889 24977408 5181 33554432000 4194304 7823515 140737255227760 140735523276648 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 6098 5215 354 887 0 5208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24392
[startup+0.100356 s]
/proc/loadavg: 2.08 2.06 2.01 3/176 28742
/proc/meminfo: memFree=27938156/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=25828 CPUtime=0.09 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 5785 0 0 0 8 1 0 0 20 0 1 0 341953889 26447872 5738 33554432000 4194304 7823515 140737255227760 140735523276648 5537893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 6457 5738 354 887 0 5567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25828
[startup+0.300301 s]
/proc/loadavg: 2.08 2.06 2.01 3/176 28742
/proc/meminfo: memFree=27938156/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=40744 CPUtime=0.29 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 9512 0 0 0 28 1 0 0 20 0 1 0 341953889 41721856 9465 33554432000 4194304 7823515 140737255227760 140735523276648 5011134 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 10186 9465 354 887 0 9296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40744
[startup+0.7003 s]
/proc/loadavg: 2.08 2.06 2.01 3/176 28742
/proc/meminfo: memFree=27938156/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=75252 CPUtime=0.69 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 18130 0 0 0 66 3 0 0 20 0 1 0 341953889 77058048 18083 33554432000 4194304 7823515 140737255227760 140735523276648 4765623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 18813 18083 354 887 0 17923 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75252
[startup+1.50032 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 28743
/proc/meminfo: memFree=27763912/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=245172 CPUtime=1.49 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 60548 0 0 0 139 10 0 0 20 0 1 0 341953889 251056128 60147 33554432000 4194304 7823515 140737255227760 140737255224072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 61293 60147 427 887 0 60403 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 245172
[startup+3.1003 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 28743
/proc/meminfo: memFree=27645244/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=379976 CPUtime=3.09 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 92830 0 0 0 292 17 0 0 20 0 1 0 341953889 389095424 92429 33554432000 4194304 7823515 140737255227760 140737255224696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 94994 92429 427 887 0 94104 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 379976
[startup+6.30029 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 28743
/proc/meminfo: memFree=27515912/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=479360 CPUtime=6.29 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 117529 0 0 0 592 37 0 0 20 0 1 0 341953889 490864640 116781 33554432000 4194304 7823515 140737255227760 140737255224696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 119840 116781 440 887 0 118950 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 479360
[startup+12.7003 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 28743
/proc/meminfo: memFree=27408960/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=550136 CPUtime=12.69 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 132106 0 0 0 1228 41 0 0 20 0 1 0 341953889 563339264 133805 33554432000 4194304 7823515 140737255227760 140737255223624 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 137534 133805 460 887 0 136644 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 550136
[startup+25.5003 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 28743
/proc/meminfo: memFree=27364328/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=593900 CPUtime=25.48 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 142258 0 0 0 2505 43 0 0 20 0 1 0 341953889 608153600 143957 33554432000 4194304 7823515 140737255227760 140737255224456 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 148475 143957 460 887 0 147585 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 593900
[startup+51.1003 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 28743
/proc/meminfo: memFree=27278892/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=680288 CPUtime=51.08 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 163308 0 0 0 5060 48 0 0 20 0 1 0 341953889 696614912 165007 33554432000 4194304 7823515 140737255227760 140737255223816 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 170072 165007 460 887 0 169182 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 680288
[startup+102.307 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 28743
/proc/meminfo: memFree=27088236/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=872536 CPUtime=102.27 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 210322 0 0 0 10171 56 0 0 20 0 1 0 341953889 893476864 212019 33554432000 4194304 7823515 140737255227760 140737255224456 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 218134 212019 461 887 0 217244 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 872536
[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/178 28746
/proc/meminfo: memFree=26893080/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=1071736 CPUtime=162.24 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 258923 0 0 0 16156 68 0 0 20 0 1 0 341953889 1097457664 260809 33554432000 4194304 7823515 140737255227760 140737255224456 5802402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 267934 260809 461 887 0 267044 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1071736
[startup+222.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 28746
/proc/meminfo: memFree=26671900/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=1289552 CPUtime=222.21 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 314277 0 0 0 22125 96 0 0 20 0 1 0 341953889 1320501248 316409 33554432000 4194304 7823515 140737255227760 140737255224456 4787558 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 322388 316409 466 887 0 321498 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1289552
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 28747
/proc/meminfo: memFree=26476628/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=1488500 CPUtime=282.19 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 363351 0 0 0 28092 127 0 0 20 0 1 0 341953889 1524224000 365476 33554432000 4194304 7823515 140737255227760 140737255224456 5803135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 372125 365476 466 887 0 371235 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1488500
[startup+342.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 28747
/proc/meminfo: memFree=26266600/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=1697712 CPUtime=342.16 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 415448 0 0 0 34054 162 0 0 20 0 1 0 341953889 1738457088 417564 33554432000 4194304 7823515 140737255227760 140737255224456 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 424428 417564 466 887 0 423538 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1697712
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 28747
/proc/meminfo: memFree=26069044/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=1896488 CPUtime=402.14 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 465259 0 0 0 40016 198 0 0 20 0 1 0 341953889 1942003712 467545 33554432000 4194304 7823515 140737255227760 140737255224456 5102375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 474122 467545 466 887 0 473232 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1896488
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 28747
/proc/meminfo: memFree=25863232/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2097968 CPUtime=462.12 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 515339 0 0 0 45985 227 0 0 20 0 1 0 341953889 2148319232 518082 33554432000 4194304 7823515 140737255227760 140737255223624 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 524492 518082 466 887 0 523602 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 2097968
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 28747
/proc/meminfo: memFree=25669216/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2291084 CPUtime=522.11 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 563914 0 0 0 51954 257 0 0 20 0 1 0 341953889 2346070016 567039 33554432000 4194304 7823515 140737255227760 140737255224456 4799920 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 572771 567039 466 887 0 571881 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 2291084
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 28748
/proc/meminfo: memFree=25471820/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2488540 CPUtime=582.1 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 612498 0 0 0 57927 283 0 0 20 0 1 0 341953889 2548264960 615682 33554432000 4194304 7823515 140737255227760 140737255224456 5803127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 622135 615682 466 887 0 621245 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 2488540
[startup+642.3 s]
################
# More data... #
################
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664615 0 0 0 105501 700 0 0 20 0 1 0 341953889 2812919808 679042 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679042 561 887 0 685858 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 2746992
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 28791
/proc/meminfo: memFree=24214000/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2746992 CPUtime=1122 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664618 0 0 0 111411 789 0 0 20 0 1 0 341953889 2812919808 679120 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679120 561 887 0 685858 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 2746992
[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 28792
/proc/meminfo: memFree=23956356/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2746992 CPUtime=1181.99 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664623 0 0 0 117331 868 0 0 20 0 1 0 341953889 2812919808 679165 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679165 561 887 0 685858 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 2746992
[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 28792
/proc/meminfo: memFree=23766320/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2746992 CPUtime=1241.98 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664627 0 0 0 123248 950 0 0 20 0 1 0 341953889 2812919808 679213 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679213 561 887 0 685858 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 2746992
[startup+1302.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 28792
/proc/meminfo: memFree=23764844/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2746992 CPUtime=1301.97 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664628 0 0 0 129168 1029 0 0 20 0 1 0 341953889 2812919808 679239 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679239 561 887 0 685858 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 2746992
[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 28795
/proc/meminfo: memFree=23764508/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2746992 CPUtime=1361.96 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664630 0 0 0 135085 1111 0 0 20 0 1 0 341953889 2812919808 679378 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679378 561 887 0 685858 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 2746992
[startup+1422.31 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 28795
/proc/meminfo: memFree=23764032/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2746992 CPUtime=1421.95 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 664634 0 0 0 140997 1198 0 0 20 0 1 0 341953889 2812919808 679451 33554432000 4194304 7823515 140737255227760 140737255223768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 686748 679451 561 887 0 685858 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 2746992
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 28796
/proc/meminfo: memFree=23726536/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=2787448 CPUtime=1481.93 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 666467 0 0 0 146932 1261 0 0 20 0 1 0 341953889 2854346752 689080 33554432000 4194304 7823515 140737255227760 140737255223544 5562298 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 696862 689080 561 887 0 695972 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 2787448
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 28796
/proc/meminfo: memFree=23366980/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3070112 CPUtime=1541.92 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 673890 0 0 0 152925 1267 0 0 20 0 1 0 341953889 3143794688 752387 33554432000 4194304 7823515 140737255227760 140737255223336 6908032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 767528 752387 575 887 0 766638 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 3070112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28796
/proc/meminfo: memFree=23272092/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3084092 CPUtime=1601.91 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 675566 0 0 0 158914 1277 0 0 20 0 1 0 341953889 3158110208 755679 33554432000 4194304 7823515 140737255227760 140737255223560 6908067 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 771023 755679 575 887 0 770133 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 3084092
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 28796
/proc/meminfo: memFree=23248120/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3084092 CPUtime=1661.91 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 675719 0 0 0 164908 1283 0 0 20 0 1 0 341953889 3158110208 759104 33554432000 4194304 7823515 140737255227760 140737255223096 6212340 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 771023 759104 575 887 0 770133 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 3084092
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28796
/proc/meminfo: memFree=23233972/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3084092 CPUtime=1721.89 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 675730 0 0 0 170900 1289 0 0 20 0 1 0 341953889 3158110208 760526 33554432000 4194304 7823515 140737255227760 140737255224456 5566647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 771023 760526 575 887 0 770133 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 3084092
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28797
/proc/meminfo: memFree=23221128/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3092508 CPUtime=1781.88 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 676249 0 0 0 176891 1297 0 0 20 0 1 0 341953889 3166728192 761966 33554432000 4194304 7823515 140737255227760 140737255223560 6212404 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 773127 761966 575 887 0 772237 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 3092508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28797
/proc/meminfo: memFree=23220972/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3092508 CPUtime=1800.08 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 676249 0 0 0 178709 1299 0 0 20 0 1 0 341953889 3166728192 761966 33554432000 4194304 7823515 140737255227760 140737255223096 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 773127 761966 575 887 0 772237 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3092508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -28742
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28798
/proc/meminfo: memFree=23220972/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3092508 CPUtime=1800.98 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 676249 0 0 0 178799 1299 0 0 20 0 1 0 341953889 3166728192 761966 33554432000 4194304 7823515 140737255227760 140737255223096 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 773127 761966 575 887 0 772237 0
Current children cumulated CPU time (s) 1800.98
Current children cumulated vsize (KiB) 3092508
[startup+1802.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28798
/proc/meminfo: memFree=23220964/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3092508 CPUtime=1801.77 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 676249 0 0 0 178878 1299 0 0 20 0 1 0 341953889 3166728192 761966 33554432000 4194304 7823515 140737255227760 140737255223448 6212771 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 773127 761966 575 887 0 772237 0
Current children cumulated CPU time (s) 1801.77
Current children cumulated vsize (KiB) 3092508
[startup+1802.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28798
/proc/meminfo: memFree=23220964/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3092508 CPUtime=1801.97 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 676249 0 0 0 178898 1299 0 0 20 0 1 0 341953889 3166728192 761966 33554432000 4194304 7823515 140737255227760 140737255223448 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 773127 761966 575 887 0 772237 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 3092508
[startup+1802.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28798
/proc/meminfo: memFree=23220964/32873844 swapFree=7108/7108
[pid=28742] ppid=28740 vsize=3092508 CPUtime=1802.07 cores=1,3,5,7
/proc/28742/stat : 28742 (pbscip.linux.x8) R 28740 28742 26990 0 -1 4202496 676249 0 0 0 178908 1299 0 0 20 0 1 0 341953889 3166728192 761966 33554432000 4194304 7823515 140737255227760 140737255223448 6205296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28742/statm: 773127 761966 575 887 0 772237 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 3092508
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.11
CPU user time (s): 1789.1
CPU system time (s): 13.018
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 3092508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.1
system time used= 13.018
maximum resident set size= 3047864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 676249
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 185
involuntary context switches= 1843
runsolver used 5.16721 second user time and 11.4553 second system time
The end