0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3740194-1338733865.opb>
0.69/0.75 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 117788 constraints
0.69/0.75 c problem read
0.69/0.75 c presolving settings loaded
1.00/1.04 c presolving:
4.30/4.32 c (round 1) 1913 del vars, 5194 del conss, 1221 chg bounds, 1 chg sides, 1 chg coeffs, 0 upgd conss, 8151016 impls, 0 clqs
5.19/5.29 c (round 2) 5024 del vars, 14938 del conss, 4041 chg bounds, 5 chg sides, 5 chg coeffs, 0 upgd conss, 8165753 impls, 0 clqs
5.40/5.46 c (round 3) 5777 del vars, 19102 del conss, 4361 chg bounds, 85 chg sides, 85 chg coeffs, 0 upgd conss, 8171045 impls, 0 clqs
5.50/5.55 c (round 4) 6037 del vars, 20226 del conss, 4477 chg bounds, 87 chg sides, 87 chg coeffs, 0 upgd conss, 8172558 impls, 0 clqs
5.50/5.59 c (round 5) 6111 del vars, 20578 del conss, 4499 chg bounds, 87 chg sides, 87 chg coeffs, 0 upgd conss, 8172896 impls, 0 clqs
5.59/5.64 c (round 6) 6135 del vars, 20686 del conss, 4509 chg bounds, 87 chg sides, 87 chg coeffs, 0 upgd conss, 8172950 impls, 0 clqs
5.59/5.67 c (round 7) 6135 del vars, 20706 del conss, 4509 chg bounds, 87 chg sides, 87 chg coeffs, 0 upgd conss, 8172950 impls, 0 clqs
5.99/6.09 c (round 8) 6135 del vars, 20706 del conss, 4509 chg bounds, 87 chg sides, 87 chg coeffs, 97082 upgd conss, 8172950 impls, 0 clqs
346.80/346.98 c (346.2s) probing: 1000/30587 (3.3%) - 0 fixings, 0 aggregations, 6317532 implications, 0 bound changes
648.03/648.28 c (647.5s) probing: 2000/30587 (6.5%) - 2 fixings, 0 aggregations, 10043807 implications, 0 bound changes
931.79/932.08 c (931.3s) probing: 3000/30587 (9.8%) - 2 fixings, 1 aggregations, 13045280 implications, 0 bound changes
1222.84/1223.13 c (1222.4s) probing: 4000/30587 (13.1%) - 2 fixings, 1 aggregations, 16026630 implications, 0 bound changes
1489.97/1490.39 c (1489.6s) probing: 5000/30587 (16.3%) - 2 fixings, 2 aggregations, 18764926 implications, 0 bound changes
1711.53/1711.97 c (1711.2s) probing: 6000/30587 (19.6%) - 2 fixings, 2 aggregations, 21289328 implications, 0 bound changes
1789.62/1790.05 c (1789.3s) probing: 6386/30587 (20.9%) - 2 fixings, 2 aggregations, 22157241 implications, 0 bound changes
1789.62/1790.05 c (1789.3s) probing aborted: solving stopped
1789.62/1790.05 c (round 9) 6139 del vars, 20706 del conss, 4509 chg bounds, 95 chg sides, 270 chg coeffs, 97082 upgd conss, 68901750 impls, 0 clqs
1789.62/1790.05 c presolving (9 rounds):
1789.62/1790.05 c 6139 deleted vars, 20706 deleted constraints, 4509 tightened bounds, 0 added holes, 95 changed sides, 270 changed coefficients
1789.62/1790.05 c 68901750 implications, 0 cliques
1789.62/1790.05 c presolving was interrupted.
1789.62/1790.05 c Presolving Time: 1789.10
1789.62/1790.05 c - non default parameters ----------------------------------------------------------------------
1789.62/1790.05 c # SCIP version 1.2.1.3
1789.62/1790.05 c
1789.62/1790.05 c # frequency for displaying node information lines
1789.62/1790.05 c # [type: int, range: [-1,2147483647], default: 100]
1789.62/1790.05 c display/freq = 10000
1789.62/1790.05 c
1789.62/1790.05 c # maximal time in seconds to run
1789.62/1790.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.62/1790.05 c limits/time = 1789.26
1789.62/1790.05 c
1789.62/1790.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.62/1790.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.62/1790.05 c limits/memory = 13950
1789.62/1790.05 c
1789.62/1790.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.62/1790.05 c # [type: int, range: [1,2], default: 1]
1789.62/1790.05 c timing/clocktype = 2
1789.62/1790.05 c
1789.62/1790.05 c # should presolving try to simplify inequalities
1789.62/1790.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.62/1790.05 c constraints/linear/simplifyinequalities = TRUE
1789.62/1790.05 c
1789.62/1790.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.62/1790.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.62/1790.05 c constraints/indicator/addCouplingCons = TRUE
1789.62/1790.05 c
1789.62/1790.05 c # should presolving try to simplify knapsacks
1789.62/1790.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.62/1790.05 c constraints/knapsack/simplifyinequalities = TRUE
1789.62/1790.05 c
1789.62/1790.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.62/1790.05 c # [type: int, range: [-1,2147483647], default: -1]
1789.62/1790.05 c separating/rapidlearning/freq = 0
1789.62/1790.05 c
1789.62/1790.05 c -----------------------------------------------------------------------------------------------
1789.62/1790.05 c start solving
1789.62/1790.07 c presolving:
1789.62/1790.07 c presolving (9 rounds):
1789.62/1790.07 c 6139 deleted vars, 20706 deleted constraints, 4509 tightened bounds, 0 added holes, 95 changed sides, 270 changed coefficients
1789.62/1790.07 c 68901750 implications, 0 cliques
1789.62/1790.07 c presolving was interrupted.
1789.62/1790.07 c Presolving Time: 1789.12
1789.62/1790.07 c
1789.62/1790.07 c SCIP Status : solving was interrupted [time limit reached]
1789.62/1790.07 c Solving Time (sec) : 1789.32
1789.62/1790.07 c Solving Nodes : 0
1789.62/1790.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.62/1790.07 s UNKNOWN
1789.62/1790.07 c SCIP Status : solving was interrupted [time limit reached]
1789.62/1790.07 c Solving Time : 1789.32
1789.62/1790.07 c Original Problem :
1789.62/1790.07 c Problem name : HOME/instance-3740194-1338733865.opb
1789.62/1790.07 c Variables : 36722 (36722 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.62/1790.07 c Constraints : 117788 initial, 117788 maximal
1789.62/1790.07 c Presolved Problem :
1789.62/1790.07 c Problem name : t_HOME/instance-3740194-1338733865.opb
1789.62/1790.07 c Variables : 30583 (30583 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.62/1790.07 c Constraints : 97084 initial, 97084 maximal
1789.62/1790.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.62/1790.07 c trivial : 0.02 436 0 0 0 0 0 0 0
1789.62/1790.07 c dualfix : 0.03 60 0 0 0 0 0 0 0
1789.62/1790.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.62/1790.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.62/1790.07 c implics : 0.21 0 0 0 0 0 0 0 0
1789.62/1790.07 c probing : 1783.72 2 2 0 0 0 0 0 0
1789.62/1790.07 c knapsack : 0.06 0 0 0 0 0 0 8 183
1789.62/1790.07 c setppc : 0.13 0 0 0 0 0 0 0 0
1789.62/1790.07 c linear : 4.68 4073 1566 0 4509 0 20706 87 87
1789.62/1790.07 c logicor : 0.03 0 0 0 0 0 0 0 0
1789.62/1790.07 c root node : - 0 - - 0 - - - -
1789.62/1790.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.62/1790.07 c integral : 0 0 0 0 0 0 0 0 0 0
1789.62/1790.07 c knapsack : 0+ 0 325636 0 0 0 0 0 0 0
1789.62/1790.07 c setppc : 0+ 0 325636 0 0 1 0 0 0 0
1789.62/1790.07 c linear : 0+ 0 0 0 0 0 0 0 0 0
1789.62/1790.07 c logicor : 0+ 0 291922 0 0 1 0 0 0 0
1789.62/1790.07 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.62/1790.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.62/1790.07 c integral : 0.00 0.00 0.00 0.00 0.00
1789.62/1790.07 c knapsack : 20.13 0.00 20.13 0.00 0.00
1789.62/1790.07 c setppc : 1321.04 0.00 1321.04 0.00 0.00
1789.62/1790.07 c linear : 0.00 0.00 0.00 0.00 0.00
1789.62/1790.07 c logicor : 8.85 0.00 8.85 0.00 0.00
1789.62/1790.07 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.62/1790.07 c Propagators : Time Calls Cutoffs DomReds
1789.62/1790.07 c vbounds : 0.14 1 0 0
1789.62/1790.07 c rootredcost : 0.11 0 0 0
1789.62/1790.07 c pseudoobj : 0.12 0 0 0
1789.62/1790.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.62/1790.07 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.62/1790.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.62/1790.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.62/1790.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.62/1790.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.62/1790.07 c applied globally : - - - 0 0.0 - - -
1789.62/1790.07 c applied locally : - - - 0 0.0 - - -
1789.92/1790.37 c Time complete: 1790.
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-3740194-1338733865/watcher-3740194-1338733865 -o /tmp/evaluation-result-3740194-1338733865/solver-3740194-1338733865 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740194-1338733865.opb -t 1800 -m 15500
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.01 2.00 3/176 26065
/proc/meminfo: memFree=27773708/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 1547 0 0 0 0 0 0 0 20 0 1 0 339511080 10211328 1493 33554432000 4194304 8395647 140735413370096 140737055280856 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 2493 1500 374 1026 0 1463 0
[startup+0.091479 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 26065
/proc/meminfo: memFree=27773708/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=26208 CPUtime=0.07 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 5787 0 0 0 7 0 0 0 20 0 1 0 339511080 26836992 5733 33554432000 4194304 8395647 140735413370096 140737055280856 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 6552 5733 393 1026 0 5522 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26208
[startup+0.100366 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 26065
/proc/meminfo: memFree=27773708/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=27232 CPUtime=0.08 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 6080 0 0 0 8 0 0 0 20 0 1 0 339511080 27885568 6026 33554432000 4194304 8395647 140735413370096 140737055280856 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 6808 6027 393 1026 0 5778 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27232
[startup+0.300306 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 26065
/proc/meminfo: memFree=27773708/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=41528 CPUtime=0.29 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 9621 0 0 0 28 1 0 0 20 0 1 0 339511080 42524672 9567 33554432000 4194304 8395647 140735413370096 140737055280856 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 10382 9567 393 1026 0 9352 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41528
[startup+0.700302 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 26065
/proc/meminfo: memFree=27773708/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=74644 CPUtime=0.69 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 17898 0 0 0 67 2 0 0 20 0 1 0 339511080 76435456 17844 33554432000 4194304 8395647 140735413370096 140737055280856 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 18661 17844 393 1026 0 17631 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74644
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26066
/proc/meminfo: memFree=27602176/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=242768 CPUtime=1.49 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 59555 0 0 0 141 8 0 0 20 0 1 0 339511080 248594432 59147 33554432000 4194304 8395647 140735413370096 140735413366584 6347101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 60692 59147 469 1026 0 59662 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 242768
[startup+3.10032 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26066
/proc/meminfo: memFree=27475448/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=383520 CPUtime=3.09 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 93662 0 0 0 295 14 0 0 20 0 1 0 339511080 392724480 93254 33554432000 4194304 8395647 140735413370096 140735413365848 7385355 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 95880 93254 469 1026 0 94850 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 383520
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26066
/proc/meminfo: memFree=27341776/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=486528 CPUtime=6.29 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 118649 0 0 0 610 19 0 0 20 0 1 0 339511080 498204672 118333 33554432000 4194304 8395647 140735413370096 140735413366856 5091218 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 121632 118333 499 1026 0 120602 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 486528
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26066
/proc/meminfo: memFree=27225228/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=565756 CPUtime=12.68 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 137233 0 0 0 1246 22 0 0 20 0 1 0 339511080 579334144 136883 33554432000 4194304 8395647 140735413370096 140735413365960 6080340 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 141439 136883 509 1026 0 140409 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 565756
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26066
/proc/meminfo: memFree=27189152/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=608204 CPUtime=25.49 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 147143 0 0 0 2524 25 0 0 20 0 1 0 339511080 622800896 146793 33554432000 4194304 8395647 140735413370096 140735413366168 6080353 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 152051 146793 509 1026 0 151021 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 608204
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26066
/proc/meminfo: memFree=27096028/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=699148 CPUtime=51.08 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 169125 0 0 0 5080 28 0 0 20 0 1 0 339511080 715927552 168775 33554432000 4194304 8395647 140735413370096 140735413366168 6080336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 174787 168775 509 1026 0 173757 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 699148
[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 26066
/proc/meminfo: memFree=26891736/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=898040 CPUtime=102.28 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 218777 0 0 0 10192 36 0 0 20 0 1 0 339511080 919592960 218427 33554432000 4194304 8395647 140735413370096 140735413366168 4706214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 224510 218427 509 1026 0 223480 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 898040
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26066
/proc/meminfo: memFree=26734700/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1066736 CPUtime=162.26 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 260291 0 0 0 16183 43 0 0 20 0 1 0 339511080 1092337664 259941 33554432000 4194304 8395647 140735413370096 140735413366168 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 266684 259941 509 1026 0 265654 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1066736
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26067
/proc/meminfo: memFree=26614720/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1179220 CPUtime=222.25 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 288898 0 0 0 22177 48 0 0 20 0 1 0 339511080 1207521280 288548 33554432000 4194304 8395647 140735413370096 140735413365960 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 294805 288548 509 1026 0 293775 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1179220
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26106
/proc/meminfo: memFree=26243032/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1229912 CPUtime=282.22 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 301687 0 0 0 28170 52 0 0 20 0 1 0 339511080 1259429888 301514 33554432000 4194304 8395647 140735413370096 140735413365960 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 307478 301514 509 1026 0 306448 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1229912
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26106
/proc/meminfo: memFree=25949056/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1284592 CPUtime=342.2 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 315250 0 0 0 34166 54 0 0 20 0 1 0 339511080 1315422208 315322 33554432000 4194304 8395647 140735413370096 140735413366024 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 321148 315322 509 1026 0 320118 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1284592
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26106
/proc/meminfo: memFree=25776848/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1339232 CPUtime=402.18 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 328675 0 0 0 40161 57 0 0 20 0 1 0 339511080 1371373568 328743 33554432000 4194304 8395647 140735413370096 140735413366168 5210281 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 334808 328743 514 1026 0 333778 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1339232
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26106
/proc/meminfo: memFree=25636136/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1390760 CPUtime=462.17 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 341640 0 0 0 46156 61 0 0 20 0 1 0 339511080 1424138240 341700 33554432000 4194304 8395647 140735413370096 140735413366168 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 347690 341700 514 1026 0 346660 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1390760
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26106
/proc/meminfo: memFree=25520972/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1433168 CPUtime=522.15 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 351933 0 0 0 52152 63 0 0 20 0 1 0 339511080 1467564032 352093 33554432000 4194304 8395647 140735413370096 140735413366168 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 358292 352093 514 1026 0 357262 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1433168
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26110
/proc/meminfo: memFree=25396124/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1482096 CPUtime=582.15 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 364230 0 0 0 58148 67 0 0 20 0 1 0 339511080 1517666304 364610 33554432000 4194304 8395647 140735413370096 140735413366168 5210648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 370524 364610 514 1026 0 369494 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1482096
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24754468/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1779164 CPUtime=1002.07 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 439275 0 0 0 100119 88 0 0 20 0 1 0 339511080 1821863936 441342 33554432000 4194304 8395647 140735413370096 140735413366168 5210648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 444791 441342 514 1026 0 443761 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 1779164
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26111
/proc/meminfo: memFree=24703160/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1832656 CPUtime=1062.07 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 451932 0 0 0 106115 92 0 0 20 0 1 0 339511080 1876639744 454228 33554432000 4194304 8395647 140735413370096 140735413366168 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 458164 454228 514 1026 0 457134 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 1832656
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26111
/proc/meminfo: memFree=24635648/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1869004 CPUtime=1122.06 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 461134 0 0 0 112111 95 0 0 20 0 1 0 339511080 1913860096 463455 33554432000 4194304 8395647 140735413370096 140735413366168 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 467251 463455 514 1026 0 466221 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 1869004
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26115
/proc/meminfo: memFree=24454584/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1913332 CPUtime=1182.05 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 472093 0 0 0 118107 98 0 0 20 0 1 0 339511080 1959251968 474474 33554432000 4194304 8395647 140735413370096 140735413366168 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 478333 474474 514 1026 0 477303 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 1913332
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26115
/proc/meminfo: memFree=24404520/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1952644 CPUtime=1242.03 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 482160 0 0 0 124103 100 0 0 20 0 1 0 339511080 1999507456 484713 33554432000 4194304 8395647 140735413370096 140735413366168 6068911 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 488161 484713 514 1026 0 487131 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1952644
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26115
/proc/meminfo: memFree=24356684/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=1999960 CPUtime=1302.02 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 493853 0 0 0 130098 104 0 0 20 0 1 0 339511080 2047959040 496549 33554432000 4194304 8395647 140735413370096 140735413366168 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 499990 496549 514 1026 0 498960 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1999960
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26115
/proc/meminfo: memFree=24327280/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2057360 CPUtime=1362 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 507517 0 0 0 136092 108 0 0 20 0 1 0 339511080 2106736640 510898 33554432000 4194304 8395647 140735413370096 140735413366168 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 514340 510898 514 1026 0 513310 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 2057360
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26115
/proc/meminfo: memFree=24273864/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2108764 CPUtime=1421.99 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 520347 0 0 0 142088 111 0 0 20 0 1 0 339511080 2159374336 523817 33554432000 4194304 8395647 140735413370096 140735413365960 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 527191 523817 514 1026 0 526161 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 2108764
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26116
/proc/meminfo: memFree=24225532/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2152096 CPUtime=1481.97 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 530172 0 0 0 148083 114 0 0 20 0 1 0 339511080 2203746304 535880 33554432000 4194304 8395647 140735413370096 140735413366168 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 538024 535880 514 1026 0 536994 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 2152096
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26116
/proc/meminfo: memFree=24155384/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2199268 CPUtime=1541.96 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 539269 0 0 0 154079 117 0 0 20 0 1 0 339511080 2252050432 546100 33554432000 4194304 8395647 140735413370096 140735413366168 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 549817 546100 514 1026 0 548787 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 2199268
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26116
/proc/meminfo: memFree=24102092/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2251576 CPUtime=1601.95 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 552281 0 0 0 160074 121 0 0 20 0 1 0 339511080 2305613824 559112 33554432000 4194304 8395647 140735413370096 140735413366168 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 562894 559112 514 1026 0 561864 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 2251576
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26116
/proc/meminfo: memFree=24040740/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2311800 CPUtime=1661.94 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 567548 0 0 0 166070 124 0 0 20 0 1 0 339511080 2367283200 574379 33554432000 4194304 8395647 140735413370096 140735413366168 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 577950 574379 514 1026 0 576920 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 2311800
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26116
/proc/meminfo: memFree=23986208/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2368952 CPUtime=1721.93 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 581239 0 0 0 172065 128 0 0 20 0 1 0 339511080 2425806848 588070 33554432000 4194304 8395647 140735413370096 140735413366168 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 592238 588070 514 1026 0 591208 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 2368952
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26119
/proc/meminfo: memFree=23896212/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2459852 CPUtime=1781.92 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 603478 0 0 0 178060 132 0 0 20 0 1 0 339511080 2518888448 610309 33554432000 4194304 8395647 140735413370096 140735413366168 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 614963 610309 514 1026 0 613933 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 2459852
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26120
/proc/meminfo: memFree=23893724/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2463932 CPUtime=1785.12 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 604397 0 0 0 178379 133 0 0 20 0 1 0 339511080 2523066368 611228 33554432000 4194304 8395647 140735413370096 140735413365960 6080125 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 615983 611228 514 1026 0 614953 0
Current children cumulated CPU time (s) 1785.12
Current children cumulated vsize (KiB) 2463932
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26120
/proc/meminfo: memFree=23891168/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2464944 CPUtime=1788.32 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 604775 0 0 0 178699 133 0 0 20 0 1 0 339511080 2524102656 611606 33554432000 4194304 8395647 140735413370096 140735413366168 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 616236 611606 514 1026 0 615206 0
Current children cumulated CPU time (s) 1788.32
Current children cumulated vsize (KiB) 2464944
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26120
/proc/meminfo: memFree=23891168/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2464944 CPUtime=1789.12 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 604785 0 0 0 178779 133 0 0 20 0 1 0 339511080 2524102656 611616 33554432000 4194304 8395647 140735413370096 140735413366168 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 616236 611616 514 1026 0 615206 0
Current children cumulated CPU time (s) 1789.12
Current children cumulated vsize (KiB) 2464944
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26120
/proc/meminfo: memFree=23891168/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2464944 CPUtime=1789.52 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 604831 0 0 0 178819 133 0 0 20 0 1 0 339511080 2524102656 611662 33554432000 4194304 8395647 140735413370096 140735413366168 6080362 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 616236 611662 514 1026 0 615206 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (KiB) 2464944
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26120
/proc/meminfo: memFree=23891168/32873844 swapFree=7108/7108
[pid=26065] ppid=26063 vsize=2467980 CPUtime=1789.92 cores=1,3,5,7
/proc/26065/stat : 26065 (pbscip.linux.x8) R 26063 26065 21683 0 -1 4202496 605402 0 0 0 178859 133 0 0 20 0 1 0 339511080 2527211520 612233 33554432000 4194304 8395647 140735413370096 140735413366168 6066710 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26065/statm: 616995 612233 521 1026 0 615965 0
Current children cumulated CPU time (s) 1789.92
Current children cumulated vsize (KiB) 2467980
Child status: 0
Real time (s): 1790.38
CPU time (s): 1790.01
CPU user time (s): 1788.64
CPU system time (s): 1.36779
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 2467980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.64
system time used= 1.36779
maximum resident set size= 2448936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605416
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= 136
involuntary context switches= 1825
runsolver used 2.57961 second user time and 8.92664 second system time
The end