0.00/0.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3743483-1338784911.opb>
0.38/0.42 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.38/0.42 c problem read
0.38/0.42 c presolving settings loaded
0.58/0.61 c presolving:
0.68/0.76 c (round 1) 6528 del vars, 6502 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12912 impls, 455 clqs
0.78/0.81 c (round 2) 7594 del vars, 7573 del conss, 1068 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13490 impls, 454 clqs
0.78/0.85 c (round 3) 8157 del vars, 8136 del conss, 1631 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14398 impls, 454 clqs
0.88/0.90 c (round 4) 8547 del vars, 8526 del conss, 2021 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15900 impls, 454 clqs
0.88/0.94 c (round 5) 8853 del vars, 8832 del conss, 2327 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17574 impls, 454 clqs
0.88/0.99 c (round 6) 9118 del vars, 9097 del conss, 2592 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18736 impls, 454 clqs
0.98/1.03 c (round 7) 9340 del vars, 9319 del conss, 2814 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19656 impls, 454 clqs
0.98/1.07 c (round 8) 9466 del vars, 9445 del conss, 2940 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20660 impls, 454 clqs
1.08/1.11 c (round 9) 9508 del vars, 9487 del conss, 2982 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21314 impls, 454 clqs
1.08/1.15 c (round 10) 9524 del vars, 9503 del conss, 2998 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21600 impls, 454 clqs
80.04/80.16 c (round 11) 9591 del vars, 9569 del conss, 2999 chg bounds, 0 chg sides, 0 chg coeffs, 31316 upgd conss, 12889368 impls, 454 clqs
80.25/80.33 c (round 12) 9591 del vars, 9635 del conss, 2999 chg bounds, 0 chg sides, 0 chg coeffs, 31381 upgd conss, 12889368 impls, 454 clqs
456.58/456.70 c (456.3s) probing: 1000/30926 (3.2%) - 27 fixings, 39 aggregations, 467168 implications, 0 bound changes
641.55/641.74 c (641.3s) probing: 2000/30926 (6.5%) - 29 fixings, 58 aggregations, 1694613 implications, 0 bound changes
790.04/790.20 c (789.8s) probing: 3000/30926 (9.7%) - 32 fixings, 67 aggregations, 3800584 implications, 0 bound changes
1024.60/1024.86 c (1024.4s) probing: 4000/30926 (12.9%) - 35 fixings, 76 aggregations, 6757347 implications, 0 bound changes
1184.88/1185.16 c (round 13) 9641 del vars, 9635 del conss, 2999 chg bounds, 0 chg sides, 0 chg coeffs, 31381 upgd conss, 32075870 impls, 454 clqs
1185.08/1185.33 c (round 14) 9641 del vars, 9685 del conss, 2999 chg bounds, 0 chg sides, 0 chg coeffs, 31381 upgd conss, 32075870 impls, 454 clqs
1428.55/1428.81 c (1428.4s) probing: 5000/30926 (16.2%) - 37 fixings, 79 aggregations, 8643117 implications, 0 bound changes
1782.18/1782.51 c (1782.1s) probing: 6000/30926 (19.4%) - 39 fixings, 89 aggregations, 12122813 implications, 0 bound changes
1789.68/1790.06 c (1789.6s) probing: 6022/30926 (19.5%) - 40 fixings, 89 aggregations, 12195788 implications, 0 bound changes
1789.68/1790.06 c (1789.6s) probing aborted: solving stopped
1789.68/1790.06 c (round 15) 9654 del vars, 9685 del conss, 2999 chg bounds, 0 chg sides, 0 chg coeffs, 31381 upgd conss, 40414842 impls, 454 clqs
1789.68/1790.06 c presolving (15 rounds):
1789.68/1790.06 c 9654 deleted vars, 9685 deleted constraints, 2999 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.68/1790.06 c 40414842 implications, 454 cliques
1789.68/1790.06 c presolving was interrupted.
1789.68/1790.06 c Presolving Time: 1789.52
1789.68/1790.06 c - non default parameters ----------------------------------------------------------------------
1789.68/1790.06 c # SCIP version 1.2.1.3
1789.68/1790.06 c
1789.68/1790.06 c # frequency for displaying node information lines
1789.68/1790.06 c # [type: int, range: [-1,2147483647], default: 100]
1789.68/1790.06 c display/freq = 10000
1789.68/1790.06 c
1789.68/1790.06 c # maximal time in seconds to run
1789.68/1790.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.68/1790.06 c limits/time = 1789.59
1789.68/1790.06 c
1789.68/1790.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.68/1790.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.68/1790.06 c limits/memory = 13950
1789.68/1790.06 c
1789.68/1790.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.68/1790.06 c # [type: int, range: [1,2], default: 1]
1789.68/1790.06 c timing/clocktype = 2
1789.68/1790.06 c
1789.68/1790.06 c # should presolving try to simplify inequalities
1789.68/1790.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.68/1790.06 c constraints/linear/simplifyinequalities = TRUE
1789.68/1790.06 c
1789.68/1790.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.68/1790.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.68/1790.06 c constraints/indicator/addCouplingCons = TRUE
1789.68/1790.06 c
1789.68/1790.06 c # should presolving try to simplify knapsacks
1789.68/1790.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.68/1790.06 c constraints/knapsack/simplifyinequalities = TRUE
1789.68/1790.06 c
1789.68/1790.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.68/1790.06 c # [type: int, range: [-1,2147483647], default: -1]
1789.68/1790.06 c separating/rapidlearning/freq = 0
1789.68/1790.06 c
1789.68/1790.06 c -----------------------------------------------------------------------------------------------
1789.68/1790.06 c start solving
1789.68/1790.07 c presolving:
1789.68/1790.07 c presolving (15 rounds):
1789.68/1790.07 c 9654 deleted vars, 9685 deleted constraints, 2999 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.68/1790.07 c 40414842 implications, 454 cliques
1789.68/1790.07 c presolving was interrupted.
1789.68/1790.07 c Presolving Time: 1789.54
1789.68/1790.07 c
1789.68/1790.07 c SCIP Status : solving was interrupted [time limit reached]
1789.68/1790.07 c Solving Time (sec) : 1789.65
1789.68/1790.07 c Solving Nodes : 0
1789.68/1790.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.68/1790.07 s UNKNOWN
1789.68/1790.07 c SCIP Status : solving was interrupted [time limit reached]
1789.68/1790.07 c Solving Time : 1789.65
1789.68/1790.08 c Original Problem :
1789.68/1790.08 c Problem name : HOME/instance-3743483-1338784911.opb
1789.68/1790.08 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.68/1790.08 c Constraints : 40950 initial, 40950 maximal
1789.68/1790.08 c Presolved Problem :
1789.68/1790.08 c Problem name : t_HOME/instance-3743483-1338784911.opb
1789.68/1790.08 c Variables : 30797 (30797 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.68/1790.08 c Constraints : 31265 initial, 31265 maximal
1789.68/1790.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.68/1790.08 c trivial : 0.03 123 0 0 0 0 0 0 0
1789.68/1790.08 c dualfix : 0.03 6402 0 0 0 0 0 0 0
1789.68/1790.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.08 c implics : 0.03 0 1 0 0 0 0 0 0
1789.68/1790.08 c probing : 1787.73 40 89 0 0 0 0 0 0
1789.68/1790.08 c knapsack : 0.24 0 0 0 0 0 0 0 0
1789.68/1790.08 c setppc : 0.04 0 0 0 0 0 107 0 0
1789.68/1790.08 c linear : 1.17 2999 0 0 2999 0 9569 0 0
1789.68/1790.08 c logicor : 0.11 0 0 0 0 0 9 0 0
1789.68/1790.08 c root node : - 0 - - 0 - - - -
1789.68/1790.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.68/1790.08 c integral : 0 0 0 0 0 0 0 0 0 0
1789.68/1790.08 c knapsack : 0+ 0 67324 0 0 0 0 0 0 0
1789.68/1790.08 c setppc : 0+ 0 67323 0 0 13 0 0 0 0
1789.68/1790.08 c linear : 0+ 0 1851 0 0 0 0 0 0 0
1789.68/1790.08 c logicor : 0+ 0 60897 0 0 2 0 0 0 0
1789.68/1790.08 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.68/1790.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.68/1790.08 c integral : 0.00 0.00 0.00 0.00 0.00
1789.68/1790.08 c knapsack : 1444.97 0.00 1444.97 0.00 0.00
1789.68/1790.08 c setppc : 9.85 0.00 9.85 0.00 0.00
1789.68/1790.08 c linear : 0.24 0.00 0.24 0.00 0.00
1789.68/1790.08 c logicor : 33.31 0.00 33.31 0.00 0.00
1789.68/1790.08 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.68/1790.08 c Propagators : Time Calls Cutoffs DomReds
1789.68/1790.08 c vbounds : 0.05 1 0 0
1789.68/1790.08 c rootredcost : 0.04 0 0 0
1789.68/1790.08 c pseudoobj : 0.05 0 0 0
1789.68/1790.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.68/1790.08 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.68/1790.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.68/1790.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.68/1790.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.68/1790.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.68/1790.08 c applied globally : - - - 0 0.0 - - -
1789.68/1790.08 c applied locally : - - - 0 0.0 - - -
1789.98/1790.32 c Time complete: 1790.01.
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-3743483-1338784911/watcher-3743483-1338784911 -o /tmp/evaluation-result-3743483-1338784911/solver-3743483-1338784911 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743483-1338784911.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2576
/proc/meminfo: memFree=23976516/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/2576/stat : 2576 (runsolver) D 2574 2576 1632 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 344617841 12095488 50 33554432000 4194304 5436572 140736374749104 140736374745400 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/2576/statm: 2953 50 31 304 0 2645 0
[startup+0.0453 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2576
/proc/meminfo: memFree=23976516/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=25336 CPUtime=0.03 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 5581 0 0 0 3 0 0 0 20 0 1 0 344617841 25944064 5521 33554432000 4194304 8395647 140734898628768 140734898491256 4246004 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/2576/statm: 6334 5521 387 1026 0 5304 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25336
[startup+0.100189 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2576
/proc/meminfo: memFree=23976516/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=37264 CPUtime=0.08 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 8565 0 0 0 8 0 0 0 20 0 1 0 344617841 38158336 8505 33554432000 4194304 8395647 140734898628768 140734898493976 5758034 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/2576/statm: 9316 8505 394 1026 0 8286 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 37264
[startup+0.300148 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2576
/proc/meminfo: memFree=23976516/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=53008 CPUtime=0.28 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 12510 0 0 0 27 1 0 0 20 0 1 0 344617841 54280192 12450 33554432000 4194304 8395647 140734898628768 140734898493976 5759787 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/2576/statm: 13252 12450 394 1026 0 12222 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 53008
[startup+0.700171 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2576
/proc/meminfo: memFree=23976516/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=135952 CPUtime=0.68 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 33118 0 0 0 63 5 0 0 20 0 1 0 344617841 139214848 32704 33554432000 4194304 8395647 140734898628768 140734898624808 18446744073699066235 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/2576/statm: 33988 32704 471 1026 0 32958 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 135952
[startup+1.50025 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 2615
/proc/meminfo: memFree=26654696/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=140092 CPUtime=1.47 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 34481 0 0 0 142 5 0 0 20 0 1 0 344617841 143454208 33752 33554432000 4194304 8395647 140734898628768 140734898625992 5019509 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2576/statm: 35023 33752 478 1026 0 33993 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 140092
[startup+3.10024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 2615
/proc/meminfo: memFree=26507864/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=234344 CPUtime=3.07 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 57242 0 0 0 299 8 0 0 20 0 1 0 344617841 239968256 56484 33554432000 4194304 8395647 140734898628768 140734898624632 6080692 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 58586 56484 498 1026 0 57556 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 234344
[startup+6.30034 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 2615
/proc/meminfo: memFree=26316552/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=292268 CPUtime=6.27 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 70764 0 0 0 617 10 0 0 20 0 1 0 344617841 299282432 70006 33554432000 4194304 8395647 140734898628768 140734898624632 6080701 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 73067 70006 498 1026 0 72037 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 292268
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 2615
/proc/meminfo: memFree=26164808/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=364052 CPUtime=12.67 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 88036 0 0 0 1254 13 0 0 20 0 1 0 344617841 372789248 87354 33554432000 4194304 8395647 140734898628768 140734898624632 6080661 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 91013 87354 498 1026 0 89983 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 364052
[startup+25.5003 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 2615
/proc/meminfo: memFree=25977768/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=443324 CPUtime=25.47 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 107935 0 0 0 2530 17 0 0 20 0 1 0 344617841 453963776 107249 33554432000 4194304 8395647 140734898628768 140734898624632 6080653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 110831 107249 498 1026 0 109801 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 443324
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 2615
/proc/meminfo: memFree=25765524/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=576052 CPUtime=51.06 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 140230 0 0 0 5084 22 0 0 20 0 1 0 344617841 589877248 139822 33554432000 4194304 8395647 140734898628768 140734898624632 6080688 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 144013 139822 498 1026 0 142983 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 576052
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 2616
/proc/meminfo: memFree=25517320/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=822480 CPUtime=102.24 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 201620 0 0 0 10193 31 0 0 20 0 1 0 344617841 842219520 201387 33554432000 4194304 8395647 140734898628768 140734898624792 6349204 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 205620 201387 507 1026 0 204590 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 822480
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 2616
/proc/meminfo: memFree=25470236/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=822480 CPUtime=162.23 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 201631 0 0 0 16192 31 0 0 20 0 1 0 344617841 842219520 202413 33554432000 4194304 8395647 140734898628768 140734898624792 4911287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 205620 202413 507 1026 0 204590 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 822480
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2617
/proc/meminfo: memFree=25397236/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=823080 CPUtime=222.22 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 201764 0 0 0 22191 31 0 0 20 0 1 0 344617841 842833920 203024 33554432000 4194304 8395647 140734898628768 140734898624840 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 205770 203024 507 1026 0 204740 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 823080
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2617
/proc/meminfo: memFree=25334644/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=823080 CPUtime=282.21 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 201801 0 0 0 28190 31 0 0 20 0 1 0 344617841 842833920 203395 33554432000 4194304 8395647 140734898628768 140734898624840 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 205770 203395 507 1026 0 204740 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 823080
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2617
/proc/meminfo: memFree=25304544/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=835020 CPUtime=342.21 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 204715 0 0 0 34189 32 0 0 20 0 1 0 344617841 855060480 207324 33554432000 4194304 8395647 140734898628768 140734898624840 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 208755 207324 507 1026 0 207725 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 835020
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2618
/proc/meminfo: memFree=25259932/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=853008 CPUtime=402.2 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 209029 0 0 0 40187 33 0 0 20 0 1 0 344617841 873480192 211785 33554432000 4194304 8395647 140734898628768 140734898624840 4911287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 213252 211785 507 1026 0 212222 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 853008
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2618
/proc/meminfo: memFree=25204284/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=857992 CPUtime=462.18 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 210302 0 0 0 46185 33 0 0 20 0 1 0 344617841 878583808 213069 33554432000 4194304 8395647 140734898628768 140734898623704 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 214498 213069 513 1026 0 213468 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 857992
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 2621
/proc/meminfo: memFree=25148372/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=869076 CPUtime=522.18 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 213090 0 0 0 52184 34 0 0 20 0 1 0 344617841 889933824 216249 33554432000 4194304 8395647 140734898628768 140734898624632 4911307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 217269 216249 513 1026 0 216239 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 869076
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2621
/proc/meminfo: memFree=25061520/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=911884 CPUtime=582.16 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 223636 0 0 0 58181 35 0 0 20 0 1 0 344617841 933769216 226795 33554432000 4194304 8395647 140734898628768 140734898624840 4911307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 227971 226795 513 1026 0 226941 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 911884
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24363352/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1330360 CPUtime=1002.1 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 326604 0 0 0 100158 52 0 0 20 0 1 0 344617841 1362288640 329763 33554432000 4194304 8395647 140734898628768 140734898624840 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 332590 329763 513 1026 0 331560 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 1330360
[startup+1062.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/177 2623
/proc/meminfo: memFree=24286004/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1376452 CPUtime=1062.09 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 337551 0 0 0 106155 54 0 0 20 0 1 0 344617841 1409486848 340710 33554432000 4194304 8395647 140734898628768 140734898624632 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 344113 340710 513 1026 0 343083 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 1376452
[startup+1122.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/178 2626
/proc/meminfo: memFree=24214104/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1413456 CPUtime=1122.08 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 347153 0 0 0 112153 55 0 0 20 0 1 0 344617841 1447378944 350312 33554432000 4194304 8395647 140734898628768 140734898624840 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 353364 350312 513 1026 0 352334 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1413456
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 2648
/proc/meminfo: memFree=24132540/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1459592 CPUtime=1182.08 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 358455 0 0 0 118151 57 0 0 20 0 1 0 344617841 1494622208 361614 33554432000 4194304 8395647 140734898628768 140734898624632 6080653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 364898 361614 513 1026 0 363868 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1459592
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 2648
/proc/meminfo: memFree=24096504/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1462608 CPUtime=1242.07 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 359535 0 0 0 124150 57 0 0 20 0 1 0 344617841 1497710592 362694 33554432000 4194304 8395647 140734898628768 140734898624792 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 365652 362694 513 1026 0 364622 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1462608
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 2649
/proc/meminfo: memFree=24060328/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1470328 CPUtime=1302.06 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 361256 0 0 0 130149 57 0 0 20 0 1 0 344617841 1505615872 364415 33554432000 4194304 8395647 140734898628768 140734898624840 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 367582 364415 513 1026 0 366552 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1470328
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2649
/proc/meminfo: memFree=24023492/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1480244 CPUtime=1362.05 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 363325 0 0 0 136147 58 0 0 20 0 1 0 344617841 1515769856 366484 33554432000 4194304 8395647 140734898628768 140734898624840 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 370061 366484 513 1026 0 369031 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1480244
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2649
/proc/meminfo: memFree=23977488/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1493100 CPUtime=1422.04 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 366909 0 0 0 142146 58 0 0 20 0 1 0 344617841 1528934400 370068 33554432000 4194304 8395647 140734898628768 140734898624840 4911307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 373275 370068 513 1026 0 372245 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1493100
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2649
/proc/meminfo: memFree=23909660/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1534356 CPUtime=1482.03 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 376822 0 0 0 148143 60 0 0 20 0 1 0 344617841 1571180544 379981 33554432000 4194304 8395647 140734898628768 140734898624840 4911287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 383589 379981 513 1026 0 382559 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1534356
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2649
/proc/meminfo: memFree=23840720/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1565912 CPUtime=1542.02 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 384758 0 0 0 154141 61 0 0 20 0 1 0 344617841 1603493888 387917 33554432000 4194304 8395647 140734898628768 140734898624840 4706426 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 391478 387917 513 1026 0 390448 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1565912
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2650
/proc/meminfo: memFree=23765328/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1606712 CPUtime=1602.01 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 394650 0 0 0 160138 63 0 0 20 0 1 0 344617841 1645273088 397809 33554432000 4194304 8395647 140734898628768 140734898624840 4715374 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 401678 397809 513 1026 0 400648 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1606712
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2650
/proc/meminfo: memFree=23710644/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1635384 CPUtime=1662 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 401767 0 0 0 166136 64 0 0 20 0 1 0 344617841 1674633216 404926 33554432000 4194304 8395647 140734898628768 140734898624632 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 408846 404926 513 1026 0 407816 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1635384
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 2653
/proc/meminfo: memFree=23640084/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1673044 CPUtime=1722 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 410693 0 0 0 172135 65 0 0 20 0 1 0 344617841 1713197056 413852 33554432000 4194304 8395647 140734898628768 140734898624840 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 418261 413852 513 1026 0 417231 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1673044
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2653
/proc/meminfo: memFree=23572760/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1703860 CPUtime=1781.98 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 418714 0 0 0 178131 67 0 0 20 0 1 0 344617841 1744752640 421873 33554432000 4194304 8395647 140734898628768 140734898624456 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 425965 421873 513 1026 0 424935 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1703860
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2653
/proc/meminfo: memFree=23569660/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1708888 CPUtime=1785.18 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 419616 0 0 0 178451 67 0 0 20 0 1 0 344617841 1749901312 422775 33554432000 4194304 8395647 140734898628768 140734898624840 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 427222 422775 513 1026 0 426192 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 1708888
[startup+1788.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2653
/proc/meminfo: memFree=23566064/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1709856 CPUtime=1788.38 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 420186 0 0 0 178771 67 0 0 20 0 1 0 344617841 1750892544 423345 33554432000 4194304 8395647 140734898628768 140734898624840 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 427464 423345 513 1026 0 426434 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 1709856
[startup+1789.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2653
/proc/meminfo: memFree=23566064/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1709856 CPUtime=1789.18 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 420224 0 0 0 178851 67 0 0 20 0 1 0 344617841 1750892544 423383 33554432000 4194304 8395647 140734898628768 140734898624840 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 427464 423383 513 1026 0 426434 0
Current children cumulated CPU time (s) 1789.18
Current children cumulated vsize (KiB) 1709856
[startup+1789.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2653
/proc/meminfo: memFree=23564948/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=1710824 CPUtime=1789.58 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 420282 0 0 0 178891 67 0 0 20 0 1 0 344617841 1751883776 423441 33554432000 4194304 8395647 140734898628768 140734898624840 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 427706 423441 513 1026 0 426676 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (KiB) 1710824
[startup+1790.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2653
/proc/meminfo: memFree=23564948/32873648 swapFree=6852/6852
[pid=2576] ppid=2574 vsize=820012 CPUtime=1789.98 cores=0,2,4,6
/proc/2576/stat : 2576 (pbscip.linux.x8) R 2574 2576 1632 0 -1 4202496 420553 0 0 0 178925 73 0 0 20 0 1 0 344617841 839692288 204238 33554432000 4194304 8395647 140734898628768 140734898628088 4735748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2576/statm: 205003 204238 521 1026 0 203973 0
Current children cumulated CPU time (s) 1789.98
Current children cumulated vsize (KiB) 820012
Child status: 0
Real time (s): 1790.33
CPU time (s): 1790.02
CPU user time (s): 1789.28
CPU system time (s): 0.741887
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 1711848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.28
system time used= 0.741887
maximum resident set size= 1694844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420566
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= 33
involuntary context switches= 2187
runsolver used 2.6526 second user time and 7.18091 second system time
The end