1.39/1.44 c SCIP version 1.1.0.7
1.39/1.44 c LP-Solver SoPlex 1.4.1
1.39/1.44 c user parameter file <scip.set> not found - using default parameters
1.39/1.44 c read problem <HOME/instance-3740498-1338762126.opb>
1.39/1.44 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234141 constraints
1.89/1.94 c start presolving problem
1.89/1.94 c presolving:
8.79/8.84 c (round 1) 5047 del vars, 15271 del conss, 3503 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034200 impls, 0 clqs
13.29/13.39 c (round 2) 12844 del vars, 42362 del conss, 11000 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16074485 impls, 0 clqs
14.69/14.72 c (round 3) 15687 del vars, 54937 del conss, 12623 chg bounds, 25 chg sides, 19 chg coeffs, 0 upgd conss, 16091281 impls, 0 clqs
15.49/15.53 c (round 4) 16875 del vars, 59552 del conss, 13402 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16098910 impls, 0 clqs
15.89/15.91 c (round 5) 17532 del vars, 62185 del conss, 13759 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16103405 impls, 0 clqs
16.09/16.13 c (round 6) 17834 del vars, 63489 del conss, 13905 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16105955 impls, 0 clqs
16.29/16.30 c (round 7) 17973 del vars, 64070 del conss, 13989 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16107417 impls, 0 clqs
16.39/16.45 c (round 8) 18073 del vars, 64485 del conss, 14049 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16108307 impls, 0 clqs
16.49/16.56 c (round 9) 18105 del vars, 64671 del conss, 14067 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16108617 impls, 0 clqs
16.59/16.67 c (round 10) 18123 del vars, 64769 del conss, 14076 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16108753 impls, 0 clqs
16.68/16.77 c (round 11) 18125 del vars, 64792 del conss, 14077 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 16108771 impls, 0 clqs
772.57/772.71 c (769.7s) probing: 1000/54715 (1.8%) - 9 fixings, 3 aggregations, 10561754 implications, 0 bound changes
1404.85/1405.19 c (1401.5s) probing: 2000/54715 (3.7%) - 9 fixings, 3 aggregations, 16310210 implications, 0 bound changes
1524.62/1524.94 c (1521.2s) probing: 2208/54715 (4.0%) - 9 fixings, 3 aggregations, 17404775 implications, 0 bound changes
1524.62/1524.94 c (1521.2s) probing aborted: 2000/2000 successive useless probings
1524.62/1524.94 c (round 12) 18139 del vars, 64804 del conss, 14078 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 78544711 impls, 0 clqs
1524.93/1525.21 c (round 13) 18139 del vars, 65316 del conss, 14078 chg bounds, 46 chg sides, 42 chg coeffs, 0 upgd conss, 78544711 impls, 0 clqs
1526.03/1526.32 c (round 14) 18139 del vars, 65316 del conss, 14078 chg bounds, 46 chg sides, 42 chg coeffs, 168825 upgd conss, 78544711 impls, 0 clqs
1527.22/1527.54 c (round 15) 18139 del vars, 65323 del conss, 14078 chg bounds, 71 chg sides, 219 chg coeffs, 168825 upgd conss, 78545599 impls, 2778 clqs
1795.18/1795.59 c (1791.4s) probing: 2583/54715 (4.7%) - 27 fixings, 17 aggregations, 20078668 implications, 0 bound changes
1795.18/1795.59 c (1791.4s) probing aborted: solving stopped
1795.18/1795.59 c (round 16) 18171 del vars, 65325 del conss, 14078 chg bounds, 81 chg sides, 256 chg coeffs, 168825 upgd conss, 86398271 impls, 2875 clqs
1795.18/1795.59 c presolving (16 rounds):
1795.18/1795.59 c 18171 deleted vars, 65325 deleted constraints, 14078 tightened bounds, 0 added holes, 81 changed sides, 256 changed coefficients
1795.18/1795.59 c 86398271 implications, 2875 cliques
1795.18/1795.59 c presolving was interrupted.
1795.18/1795.59 c Presolving Time: 1791.11
1795.18/1795.59 c OPT-LIN
1795.18/1795.59 c -----------------------------------------------------------------------------------------------
1795.18/1795.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1795.18/1795.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.18/1795.59 c limits/memory = c 13950
1795.18/1795.59 c # maximal time in seconds to run
1795.18/1795.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.18/1795.59 c limits/time = c 1791
1795.18/1795.59 c # frequency for displaying node information lines
1795.18/1795.59 c # [type: int, range: [-1,2147483647], default: 100]
1795.18/1795.59 c display/freq = c 10000
1795.18/1795.59 c -----------------------------------------------------------------------------------------------
1795.18/1795.59 c start solving problem
1795.18/1795.59 c presolving:
1795.18/1795.59 c presolving (16 rounds):
1795.18/1795.59 c 18171 deleted vars, 65325 deleted constraints, 14078 tightened bounds, 0 added holes, 81 changed sides, 256 changed coefficients
1795.18/1795.59 c 86398271 implications, 2875 cliques
1795.18/1795.59 c presolving was interrupted.
1795.18/1795.59 c Presolving Time: 1791.11
1795.18/1795.59 c
1795.18/1795.59 c SCIP Status : solving was interrupted [time limit reached]
1795.18/1795.59 c Solving Time (sec) : 1791.43
1795.18/1795.59 c Solving Nodes : 0
1795.18/1795.59 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.18/1795.59 c NODE 0
1795.18/1795.59 c DUAL BOUND -1e+20
1795.18/1795.59 c PRIMAL BOUND 1e+20
1795.18/1795.59 c GAP 1e+20
1795.18/1795.59 s UNKNOWN
1795.18/1795.59 c SCIP Status : solving was interrupted [time limit reached]
1795.18/1795.59 c Solving Time : 1791.43
1795.18/1795.59 c Original Problem :
1795.18/1795.59 c Problem name : HOME/instance-3740498-1338762126.opb
1795.18/1795.59 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.18/1795.59 c Constraints : 234141 initial, 234141 maximal
1795.18/1795.59 c Presolved Problem :
1795.18/1795.59 c Problem name : t_HOME/instance-3740498-1338762126.opb
1795.18/1795.59 c Variables : 54671 (54671 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.18/1795.59 c Constraints : 168848 initial, 168848 maximal
1795.18/1795.59 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.18/1795.59 c trivial : 0.06 1308 0 0 0 0 0 0 0
1795.18/1795.59 c dualfix : 0.09 121 0 0 0 0 0 0 0
1795.18/1795.59 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.18/1795.59 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.18/1795.59 c implics : 1.15 0 0 0 0 0 0 0 0
1795.18/1795.59 c probing : 1773.21 27 17 0 0 0 0 0 0
1795.18/1795.59 c knapsack : 1.69 0 0 0 0 0 2 35 214
1795.18/1795.59 c setppc : 0.00 0 0 0 0 0 7 0 0
1795.18/1795.59 c linear : 14.07 12770 3928 0 14078 0 65316 46 42
1795.18/1795.59 c logicor : 0.45 0 0 0 0 0 0 0 0
1795.18/1795.59 c root node : - 0 - - 0 - - - -
1795.18/1795.59 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.18/1795.59 c integral : 0 0 0 0 0 0 0 0 0 0
1795.18/1795.59 c knapsack : 0+ 0 10930 0 0 4 0 0 0 0
1795.18/1795.59 c setppc : 0+ 0 10926 0 0 0 0 0 0 0
1795.18/1795.59 c linear : 0+ 0 102102 0 0 5 0 0 0 0
1795.18/1795.59 c logicor : 0+ 0 10909 0 0 9 0 0 0 0
1795.18/1795.59 c countsols : 0 0 0 0 0 0 0 0 0 0
1795.18/1795.59 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.18/1795.59 c integral : 0.00 0.00 0.00 0.00 0.00
1795.18/1795.59 c knapsack : 0.23 0.00 0.23 0.00 0.00
1795.18/1795.59 c setppc : 0.01 0.00 0.01 0.00 0.00
1795.18/1795.59 c linear : 888.37 0.00 888.37 0.00 0.00
1795.18/1795.59 c logicor : 24.24 0.00 24.24 0.00 0.00
1795.18/1795.59 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.18/1795.59 c Propagators : Time Calls Cutoffs DomReds
1795.18/1795.59 c rootredcost : 0.01 0 0 0
1795.18/1795.59 c pseudoobj : 0.03 0 0 0
1795.18/1795.59 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.18/1795.59 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1795.18/1795.59 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1795.18/1795.59 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.18/1795.59 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.18/1795.59 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.18/1795.59 c applied globally : - - - 0 0.0 - - -
1795.18/1795.59 c applied locally : - - - 0 0.0 - - -
1795.89/1796.21 c Time complete: 1795.89.
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-3740498-1338762126/watcher-3740498-1338762126 -o /tmp/evaluation-result-3740498-1338762126/solver-3740498-1338762126 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740498-1338762126.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.00 2.00 2.00 3/176 11013
/proc/meminfo: memFree=28114968/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=8872 CPUtime=0 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 1559 0 0 0 0 0 0 0 20 0 1 0 342337195 9084928 1512 33554432000 4194304 7823515 140734369978064 140734369910056 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 2218 1512 354 887 0 1328 0
[startup+0.0226929 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11013
/proc/meminfo: memFree=28114968/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=12824 CPUtime=0.01 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 2543 0 0 0 1 0 0 0 20 0 1 0 342337195 13131776 2496 33554432000 4194304 7823515 140734369978064 140734369910056 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 3206 2496 354 887 0 2316 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12824
[startup+0.100292 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11013
/proc/meminfo: memFree=28114968/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=25832 CPUtime=0.09 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 5787 0 0 0 9 0 0 0 20 0 1 0 342337195 26451968 5740 33554432000 4194304 7823515 140734369978064 140734369910056 5879340 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 6458 5740 354 887 0 5568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25832
[startup+0.300333 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11013
/proc/meminfo: memFree=28114968/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=51588 CPUtime=0.29 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 12254 0 0 0 27 2 0 0 20 0 1 0 342337195 52826112 12207 33554432000 4194304 7823515 140734369978064 140734369910056 6908057 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 12897 12207 354 887 0 12007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51588
[startup+0.700347 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11013
/proc/meminfo: memFree=28114968/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=76116 CPUtime=0.69 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 18339 0 0 0 65 4 0 0 20 0 1 0 342337195 77942784 18292 33554432000 4194304 7823515 140734369978064 140734369910056 5874624 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 19029 18292 354 887 0 18139 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76116
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11014
/proc/meminfo: memFree=28014776/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=194344 CPUtime=1.49 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 48029 0 0 0 141 8 0 0 20 0 1 0 342337195 199008256 47629 33554432000 4194304 7823515 140734369978064 140734369844168 6911832 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 48586 47660 367 887 0 47696 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 194344
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11014
/proc/meminfo: memFree=27765956/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=473720 CPUtime=3.09 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 117046 0 0 0 288 21 0 0 20 0 1 0 342337195 485089280 116645 33554432000 4194304 7823515 140734369978064 140734369975000 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 118430 116645 427 887 0 117540 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 473720
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11014
/proc/meminfo: memFree=27454236/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=719000 CPUtime=6.29 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 177234 0 0 0 597 32 0 0 20 0 1 0 342337195 736256000 176833 33554432000 4194304 7823515 140734369978064 140734369975000 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 179750 176833 427 887 0 178860 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 719000
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=27262756/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=832024 CPUtime=12.69 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 203780 0 0 0 1224 45 0 0 20 0 1 0 342337195 851992576 203379 33554432000 4194304 7823515 140734369978064 140734369975000 5808261 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 208006 203379 432 887 0 207116 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 832024
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=27153504/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=891376 CPUtime=25.49 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 218197 0 0 0 2471 78 0 0 20 0 1 0 342337195 912769024 217687 33554432000 4194304 7823515 140734369978064 140734369974760 5803127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 222844 217687 440 887 0 221954 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 891376
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=27043980/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=921744 CPUtime=51.08 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 225093 0 0 0 5029 79 0 0 20 0 1 0 342337195 943865856 224583 33554432000 4194304 7823515 140734369978064 140734369974760 5803146 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 230436 224583 440 887 0 229546 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 921744
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=26873880/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1005092 CPUtime=102.28 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 245482 0 0 0 10145 83 0 0 20 0 1 0 342337195 1029214208 244972 33554432000 4194304 7823515 140734369978064 140734369974120 5803158 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 251273 244972 440 887 0 250383 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1005092
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=26698944/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1115392 CPUtime=162.27 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 272926 0 0 0 16139 88 0 0 20 0 1 0 342337195 1142161408 272416 33554432000 4194304 7823515 140734369978064 140734369974744 5066007 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 278848 272416 441 887 0 277958 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1115392
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=26467712/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1223920 CPUtime=222.26 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 299622 0 0 0 22132 94 0 0 20 0 1 0 342337195 1253294080 299112 33554432000 4194304 7823515 140734369978064 140734369974760 4800444 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 305980 299112 441 887 0 305090 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1223920
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11015
/proc/meminfo: memFree=26236992/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1349176 CPUtime=282.24 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 330086 0 0 0 28124 100 0 0 20 0 1 0 342337195 1381556224 329576 33554432000 4194304 7823515 140734369978064 140734369974760 4842008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 337294 329576 441 887 0 336404 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1349176
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11016
/proc/meminfo: memFree=25993468/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1494676 CPUtime=342.24 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 366234 0 0 0 34117 107 0 0 20 0 1 0 342337195 1530548224 365724 33554432000 4194304 7823515 140734369978064 140734369974744 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 373669 365724 441 887 0 372779 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1494676
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11016
/proc/meminfo: memFree=25818672/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1598704 CPUtime=402.23 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 391932 0 0 0 40109 114 0 0 20 0 1 0 342337195 1637072896 391422 33554432000 4194304 7823515 140734369978064 140734369974744 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 399676 391422 441 887 0 398786 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1598704
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11016
/proc/meminfo: memFree=25651904/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1667196 CPUtime=462.22 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 409085 0 0 0 46102 120 0 0 20 0 1 0 342337195 1707208704 408575 33554432000 4194304 7823515 140734369978064 140734369974744 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 416799 408575 441 887 0 415909 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1667196
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11019
/proc/meminfo: memFree=25476232/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1746860 CPUtime=522.21 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 428916 0 0 0 52095 126 0 0 20 0 1 0 342337195 1788784640 428406 33554432000 4194304 7823515 140734369978064 140734369974744 5066048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 436715 428406 441 887 0 435825 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1746860
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11019
/proc/meminfo: memFree=25354360/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=1793388 CPUtime=582.2 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 440560 0 0 0 58090 130 0 0 20 0 1 0 342337195 1836429312 440050 33554432000 4194304 7823515 140734369978064 140734369973928 5020793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 448347 440050 441 887 0 447457 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1793388
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24084364/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2451112 CPUtime=1122.12 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 603562 0 0 0 112033 179 0 0 20 0 1 0 342337195 2509938688 603052 33554432000 4194304 7823515 140734369978064 140734369974744 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 612778 603052 446 887 0 611888 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2451112
[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 11062
/proc/meminfo: memFree=27660388/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2486448 CPUtime=1182.11 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 612396 0 0 0 118028 183 0 0 20 0 1 0 342337195 2546122752 611886 33554432000 4194304 7823515 140734369978064 140734369974744 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 621612 611886 446 887 0 620722 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2486448
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 11063
/proc/meminfo: memFree=27174288/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2525640 CPUtime=1242.08 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 621832 0 0 0 124020 188 0 0 20 0 1 0 342337195 2586255360 621392 33554432000 4194304 7823515 140734369978064 140734369974744 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 631410 621392 446 887 0 630520 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 2525640
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11063
/proc/meminfo: memFree=26944652/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2610500 CPUtime=1302.07 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 643196 0 0 0 130011 196 0 0 20 0 1 0 342337195 2673152000 643026 33554432000 4194304 7823515 140734369978064 140734369974120 5061266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 652625 643026 446 887 0 651735 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2610500
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11063
/proc/meminfo: memFree=26700912/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2647656 CPUtime=1362.05 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 652636 0 0 0 136005 200 0 0 20 0 1 0 342337195 2711199744 652464 33554432000 4194304 7823515 140734369978064 140734369974744 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 661914 652464 446 887 0 661024 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2647656
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11063
/proc/meminfo: memFree=26410780/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2679960 CPUtime=1422.04 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 660655 0 0 0 142001 203 0 0 20 0 1 0 342337195 2744279040 660482 33554432000 4194304 7823515 140734369978064 140734369974744 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 669990 660482 446 887 0 669100 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2679960
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11063
/proc/meminfo: memFree=26097460/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2708128 CPUtime=1482.03 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 667523 0 0 0 147996 207 0 0 20 0 1 0 342337195 2773123072 667350 33554432000 4194304 7823515 140734369978064 140734369974744 4788458 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 677032 667350 446 887 0 676142 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2708128
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11064
/proc/meminfo: memFree=25796032/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2809416 CPUtime=1542.03 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 691495 0 0 0 153971 232 0 0 20 0 1 0 342337195 2876841984 693538 33554432000 4194304 7823515 140734369978064 140734369974760 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 702354 693538 466 887 0 701464 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2809416
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 11064
/proc/meminfo: memFree=25569016/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2836248 CPUtime=1602.01 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 697684 0 0 0 159967 234 0 0 20 0 1 0 342337195 2904317952 699726 33554432000 4194304 7823515 140734369978064 140734369974760 4243040 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 709062 699726 466 887 0 708172 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 2836248
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11064
/proc/meminfo: memFree=25424512/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2904400 CPUtime=1662 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 714079 0 0 0 165962 238 0 0 20 0 1 0 342337195 2974105600 716466 33554432000 4194304 7823515 140734369978064 140734369974744 5803643 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 726100 716466 466 887 0 725210 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 2904400
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11067
/proc/meminfo: memFree=25342816/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2947868 CPUtime=1721.99 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 725122 0 0 0 171957 242 0 0 20 0 1 0 342337195 3018616832 727925 33554432000 4194304 7823515 140734369978064 140734369974760 4817351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 736967 727925 466 887 0 736077 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 2947868
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25188224/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=3028488 CPUtime=1781.98 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 744717 0 0 0 177951 247 0 0 20 0 1 0 342337195 3101171712 747692 33554432000 4194304 7823515 140734369978064 140734369974760 4788408 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 757122 747692 466 887 0 756232 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 3028488
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25178908/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=3031432 CPUtime=1785.18 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 745370 0 0 0 178271 247 0 0 20 0 1 0 342337195 3104186368 748345 33554432000 4194304 7823515 140734369978064 140734369974744 4787288 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 757858 748345 466 887 0 756968 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 3031432
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25150016/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=3045532 CPUtime=1791.59 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 748612 0 0 0 178911 248 0 0 20 0 1 0 342337195 3118624768 751587 33554432000 4194304 7823515 140734369978064 140734369974760 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 761383 751587 466 887 0 760493 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 3045532
[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25145288/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=3046548 CPUtime=1793.18 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 749121 0 0 0 179070 248 0 0 20 0 1 0 342337195 3119665152 752173 33554432000 4194304 7823515 140734369978064 140734369974760 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 761637 752173 466 887 0 760747 0
Current children cumulated CPU time (s) 1793.18
Current children cumulated vsize (KiB) 3046548
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25140576/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=3046548 CPUtime=1794.79 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 749154 0 0 0 179231 248 0 0 20 0 1 0 342337195 3119665152 752206 33554432000 4194304 7823515 140734369978064 140734369974760 5102447 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 761637 752206 466 887 0 760747 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 3046548
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25140576/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=3045380 CPUtime=1795.58 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 749436 0 0 0 179310 248 0 0 20 0 1 0 342337195 3118469120 752030 33554432000 4194304 7823515 140734369978064 140734369973576 4814162 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 761345 752030 476 887 0 760455 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 3045380
[startup+1796.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25140576/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2685040 CPUtime=1795.78 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 749438 0 0 0 179328 250 0 0 20 0 1 0 342337195 2749480960 667063 33554432000 4194304 7823515 140734369978064 140734369973576 5875083 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 671260 667063 478 887 0 670370 0
Current children cumulated CPU time (s) 1795.78
Current children cumulated vsize (KiB) 2685040
[startup+1796.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=27815592/32873844 swapFree=7900/7900
[pid=11013] ppid=11011 vsize=2660004 CPUtime=1795.89 cores=1,3,5,7
/proc/11013/stat : 11013 (pbscip.linux.x8) R 11011 11013 8610 0 -1 4202496 749443 0 0 0 179328 261 0 0 20 0 1 0 342337195 2723844096 58689 33554432000 4194304 7823515 140734369978064 140734369973576 7132266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11013/statm: 665001 58689 483 887 0 664111 0
Current children cumulated CPU time (s) 1795.89
Current children cumulated vsize (KiB) 2660004
Child status: 0
Real time (s): 1796.22
CPU time (s): 1795.91
CPU user time (s): 1793.29
CPU system time (s): 2.6196
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 3047572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.29
system time used= 2.6196
maximum resident set size= 3009952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 749450
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= 62
involuntary context switches= 1841
runsolver used 3.80342 second user time and 8.81266 second system time
The end