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-3743549-1338786702.opb>
0.39/0.42 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.39/0.42 c problem read
0.39/0.42 c presolving settings loaded
0.59/0.60 c presolving:
0.69/0.75 c (round 1) 6528 del vars, 6502 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12516 impls, 455 clqs
0.69/0.79 c (round 2) 7591 del vars, 7570 del conss, 1065 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13104 impls, 454 clqs
0.79/0.84 c (round 3) 8144 del vars, 8123 del conss, 1618 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14002 impls, 454 clqs
0.79/0.89 c (round 4) 8527 del vars, 8506 del conss, 2001 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15554 impls, 454 clqs
0.89/0.93 c (round 5) 8826 del vars, 8805 del conss, 2300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17236 impls, 454 clqs
0.89/0.97 c (round 6) 9087 del vars, 9066 del conss, 2561 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18340 impls, 454 clqs
1.00/1.01 c (round 7) 9312 del vars, 9291 del conss, 2786 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19138 impls, 454 clqs
1.00/1.05 c (round 8) 9439 del vars, 9418 del conss, 2913 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20144 impls, 454 clqs
1.00/1.09 c (round 9) 9485 del vars, 9464 del conss, 2959 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20812 impls, 454 clqs
1.10/1.12 c (round 10) 9504 del vars, 9483 del conss, 2978 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21132 impls, 454 clqs
65.28/65.38 c (round 11) 9564 del vars, 9549 del conss, 2979 chg bounds, 0 chg sides, 0 chg coeffs, 31336 upgd conss, 7459616 impls, 454 clqs
65.48/65.52 c (round 12) 9564 del vars, 9608 del conss, 2979 chg bounds, 0 chg sides, 0 chg coeffs, 31401 upgd conss, 7459616 impls, 454 clqs
316.84/316.94 c (316.5s) probing: 1000/30946 (3.2%) - 56 fixings, 20 aggregations, 1287178 implications, 0 bound changes
492.02/492.16 c (491.7s) probing: 2000/30946 (6.5%) - 58 fixings, 38 aggregations, 3531592 implications, 0 bound changes
703.37/703.59 c (round 13) 9614 del vars, 9608 del conss, 2979 chg bounds, 0 chg sides, 0 chg coeffs, 31401 upgd conss, 21941666 impls, 454 clqs
703.57/703.73 c (round 14) 9614 del vars, 9658 del conss, 2979 chg bounds, 0 chg sides, 0 chg coeffs, 31401 upgd conss, 21941666 impls, 454 clqs
773.86/774.07 c (773.7s) probing: 3000/30946 (9.7%) - 61 fixings, 48 aggregations, 5659535 implications, 0 bound changes
1136.80/1137.01 c (1136.6s) probing: 4000/30946 (12.9%) - 61 fixings, 49 aggregations, 8079064 implications, 0 bound changes
1494.34/1494.66 c (1494.2s) probing: 5000/30946 (16.2%) - 66 fixings, 57 aggregations, 11390930 implications, 0 bound changes
1789.90/1790.25 c (1789.8s) probing: 5760/30946 (18.6%) - 67 fixings, 63 aggregations, 13919700 implications, 0 bound changes
1789.90/1790.25 c (1789.8s) probing aborted: solving stopped
1789.90/1790.25 c (round 15) 9635 del vars, 9658 del conss, 2979 chg bounds, 0 chg sides, 0 chg coeffs, 31401 upgd conss, 39782906 impls, 454 clqs
1789.90/1790.25 c presolving (15 rounds):
1789.90/1790.25 c 9635 deleted vars, 9658 deleted constraints, 2979 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.90/1790.25 c 39782906 implications, 454 cliques
1789.90/1790.25 c presolving was interrupted.
1789.90/1790.25 c Presolving Time: 1789.72
1789.90/1790.25 c - non default parameters ----------------------------------------------------------------------
1789.90/1790.25 c # SCIP version 1.2.1.3
1789.90/1790.25 c
1789.90/1790.25 c # frequency for displaying node information lines
1789.90/1790.25 c # [type: int, range: [-1,2147483647], default: 100]
1789.90/1790.25 c display/freq = 10000
1789.90/1790.25 c
1789.90/1790.25 c # maximal time in seconds to run
1789.90/1790.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.90/1790.25 c limits/time = 1789.59
1789.90/1790.25 c
1789.90/1790.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.90/1790.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.90/1790.25 c limits/memory = 13950
1789.90/1790.25 c
1789.90/1790.25 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.90/1790.25 c # [type: int, range: [1,2], default: 1]
1789.90/1790.25 c timing/clocktype = 2
1789.90/1790.25 c
1789.90/1790.25 c # should presolving try to simplify inequalities
1789.90/1790.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.90/1790.25 c constraints/linear/simplifyinequalities = TRUE
1789.90/1790.25 c
1789.90/1790.25 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.90/1790.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.90/1790.25 c constraints/indicator/addCouplingCons = TRUE
1789.90/1790.25 c
1789.90/1790.25 c # should presolving try to simplify knapsacks
1789.90/1790.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.90/1790.25 c constraints/knapsack/simplifyinequalities = TRUE
1789.90/1790.25 c
1789.90/1790.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.90/1790.25 c # [type: int, range: [-1,2147483647], default: -1]
1789.90/1790.25 c separating/rapidlearning/freq = 0
1789.90/1790.25 c
1789.90/1790.25 c -----------------------------------------------------------------------------------------------
1789.90/1790.25 c start solving
1789.90/1790.27 c presolving:
1789.90/1790.27 c presolving (15 rounds):
1789.90/1790.27 c 9635 deleted vars, 9658 deleted constraints, 2979 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.90/1790.27 c 39782906 implications, 454 cliques
1789.90/1790.27 c presolving was interrupted.
1789.90/1790.27 c Presolving Time: 1789.73
1789.90/1790.27 c
1789.90/1790.27 c SCIP Status : solving was interrupted [time limit reached]
1789.90/1790.27 c Solving Time (sec) : 1789.85
1789.90/1790.27 c Solving Nodes : 0
1789.90/1790.27 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.90/1790.27 s UNKNOWN
1789.90/1790.27 c SCIP Status : solving was interrupted [time limit reached]
1789.90/1790.27 c Solving Time : 1789.85
1789.90/1790.27 c Original Problem :
1789.90/1790.27 c Problem name : HOME/instance-3743549-1338786702.opb
1789.90/1790.27 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.90/1790.27 c Constraints : 40950 initial, 40950 maximal
1789.90/1790.27 c Presolved Problem :
1789.90/1790.27 c Problem name : t_HOME/instance-3743549-1338786702.opb
1789.90/1790.27 c Variables : 30816 (30816 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.90/1790.27 c Constraints : 31292 initial, 31292 maximal
1789.90/1790.27 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.90/1790.27 c trivial : 0.02 123 0 0 0 0 0 0 0
1789.90/1790.27 c dualfix : 0.02 6402 0 0 0 0 0 0 0
1789.90/1790.27 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.90/1790.27 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.90/1790.27 c implics : 0.03 0 1 0 0 0 0 0 0
1789.90/1790.27 c probing : 1788.06 67 63 0 0 0 0 0 0
1789.90/1790.27 c knapsack : 0.20 0 0 0 0 0 0 0 0
1789.90/1790.27 c setppc : 0.03 0 0 0 0 0 57 0 0
1789.90/1790.27 c linear : 1.12 2979 0 0 2979 0 9549 0 0
1789.90/1790.27 c logicor : 0.10 0 0 0 0 0 52 0 0
1789.90/1790.27 c root node : - 0 - - 0 - - - -
1789.90/1790.27 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.90/1790.27 c integral : 0 0 0 0 0 0 0 0 0 0
1789.90/1790.27 c knapsack : 0+ 0 72852 0 0 0 0 0 0 0
1789.90/1790.27 c setppc : 0+ 0 72852 0 0 13 0 0 0 0
1789.90/1790.27 c linear : 0+ 0 1966 0 0 0 0 0 0 0
1789.90/1790.27 c logicor : 0+ 0 67205 0 0 3 0 0 0 0
1789.90/1790.27 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.90/1790.27 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.90/1790.27 c integral : 0.00 0.00 0.00 0.00 0.00
1789.90/1790.27 c knapsack : 1473.38 0.00 1473.38 0.00 0.00
1789.90/1790.27 c setppc : 7.83 0.00 7.83 0.00 0.00
1789.90/1790.27 c linear : 0.21 0.00 0.21 0.00 0.00
1789.90/1790.27 c logicor : 26.62 0.00 26.62 0.00 0.00
1789.90/1790.27 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.90/1790.27 c Propagators : Time Calls Cutoffs DomReds
1789.90/1790.27 c vbounds : 0.06 1 0 0
1789.90/1790.27 c rootredcost : 0.05 0 0 0
1789.90/1790.27 c pseudoobj : 0.05 0 0 0
1789.90/1790.27 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.90/1790.27 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.90/1790.27 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.90/1790.27 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.90/1790.27 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.90/1790.27 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.90/1790.27 c applied globally : - - - 0 0.0 - - -
1789.90/1790.27 c applied locally : - - - 0 0.0 - - -
1790.10/1790.42 c Time complete: 1790.13.
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-3743549-1338786702/watcher-3743549-1338786702 -o /tmp/evaluation-result-3743549-1338786702/solver-3743549-1338786702 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743549-1338786702.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: 1.93 1.99 1.99 3/176 2728
/proc/meminfo: memFree=26711696/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 1253 0 0 0 0 0 0 0 20 0 1 0 344796969 8105984 1199 33554432000 4194304 8395647 140736803467920 140734129946216 7385025 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 1979 1199 370 1026 0 949 0
[startup+0.0248051 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 2728
/proc/meminfo: memFree=26711696/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=18636 CPUtime=0.02 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 3915 0 0 0 2 0 0 0 20 0 1 0 344796969 19083264 3855 33554432000 4194304 8395647 140736803467920 140734129946216 5759075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 4659 3855 387 1026 0 3629 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18636
[startup+0.100325 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 2728
/proc/meminfo: memFree=26711696/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=37260 CPUtime=0.09 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 8567 0 0 0 8 1 0 0 20 0 1 0 344796969 38154240 8507 33554432000 4194304 8395647 140736803467920 140734129946216 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 9315 8507 394 1026 0 8285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37260
[startup+0.300287 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 2728
/proc/meminfo: memFree=26711696/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=53004 CPUtime=0.29 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 12512 0 0 0 28 1 0 0 20 0 1 0 344796969 54276096 12452 33554432000 4194304 8395647 140736803467920 140734129946216 4423932 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 13251 12452 394 1026 0 12221 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53004
[startup+0.700306 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 2728
/proc/meminfo: memFree=26711696/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=136248 CPUtime=0.69 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 33195 0 0 0 65 4 0 0 20 0 1 0 344796969 139517952 32781 33554432000 4194304 8395647 140736803467920 140734129946216 4215509 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 34062 32781 471 1026 0 33032 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 136248
[startup+1.50031 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 2729
/proc/meminfo: memFree=26531632/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=139844 CPUtime=1.49 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 34940 0 0 0 145 4 0 0 20 0 1 0 344796969 143200256 33700 33554432000 4194304 8395647 140736803467920 140736803463720 4684092 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 34961 33700 478 1026 0 33931 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 139844
[startup+3.10031 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 2729
/proc/meminfo: memFree=26426852/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=239416 CPUtime=3.09 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 58780 0 0 0 302 7 0 0 20 0 1 0 344796969 245161984 57511 33554432000 4194304 8395647 140736803467920 140736803463784 6080665 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 59854 57511 498 1026 0 58824 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 239416
[startup+6.30034 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 2729
/proc/meminfo: memFree=26304144/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=285924 CPUtime=6.29 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 69661 0 0 0 620 9 0 0 20 0 1 0 344796969 292786176 68392 33554432000 4194304 8395647 140736803467920 140736803463784 6080688 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 71481 68392 498 1026 0 70451 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 285924
[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 2729
/proc/meminfo: memFree=26162980/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=360780 CPUtime=12.69 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 87770 0 0 0 1256 13 0 0 20 0 1 0 344796969 369438720 86501 33554432000 4194304 8395647 140736803467920 140736803463784 6080657 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 90195 86501 498 1026 0 89165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 360780
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 2729
/proc/meminfo: memFree=25962780/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=445680 CPUtime=25.49 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 108986 0 0 0 2532 17 0 0 20 0 1 0 344796969 456376320 107717 33554432000 4194304 8395647 140736803467920 140736803463784 6080679 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 111420 107717 498 1026 0 110390 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 445680
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 2729
/proc/meminfo: memFree=25782052/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=569360 CPUtime=51.08 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 138976 0 0 0 5085 23 0 0 20 0 1 0 344796969 583024640 137707 33554432000 4194304 8395647 140736803467920 140736803463784 6080679 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 142340 137707 498 1026 0 141310 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 569360
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 2729
/proc/meminfo: memFree=25678680/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=664980 CPUtime=102.29 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 162662 0 0 0 10202 27 0 0 20 0 1 0 344796969 680939520 161393 33554432000 4194304 8395647 140736803467920 140736803463944 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 166245 161393 507 1026 0 165215 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 664980
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 2730
/proc/meminfo: memFree=25647212/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=669788 CPUtime=162.27 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 163921 0 0 0 16200 27 0 0 20 0 1 0 344796969 685862912 162652 33554432000 4194304 8395647 140736803467920 140736803463992 4911327 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 167447 162652 507 1026 0 166417 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 669788
[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 2730
/proc/meminfo: memFree=25598388/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=672496 CPUtime=222.26 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 164650 0 0 0 22199 27 0 0 20 0 1 0 344796969 688635904 163381 33554432000 4194304 8395647 140736803467920 140736803463784 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 168124 163381 507 1026 0 167094 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 672496
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 2730
/proc/meminfo: memFree=25519304/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=706168 CPUtime=282.25 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 172933 0 0 0 28197 28 0 0 20 0 1 0 344796969 723116032 171664 33554432000 4194304 8395647 140736803467920 140736803463992 4911327 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 176542 171664 507 1026 0 175512 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 706168
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2730
/proc/meminfo: memFree=25350944/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=817684 CPUtime=342.24 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 200817 0 0 0 34191 33 0 0 20 0 1 0 344796969 837308416 199548 33554432000 4194304 8395647 140736803467920 140736803463992 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 204421 199548 513 1026 0 203391 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 817684
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2730
/proc/meminfo: memFree=25225112/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=882560 CPUtime=402.23 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 216792 0 0 0 40187 36 0 0 20 0 1 0 344796969 903741440 215523 33554432000 4194304 8395647 140736803467920 140736803463992 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 220640 215523 513 1026 0 219610 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 882560
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2731
/proc/meminfo: memFree=25122840/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=945092 CPUtime=462.21 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 232489 0 0 0 46183 38 0 0 20 0 1 0 344796969 967774208 231220 33554432000 4194304 8395647 140736803467920 140736803463608 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 236273 231220 513 1026 0 235243 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 945092
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2734
/proc/meminfo: memFree=25023904/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1004776 CPUtime=522.2 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 247749 0 0 0 52179 41 0 0 20 0 1 0 344796969 1028890624 246556 33554432000 4194304 8395647 140736803467920 140736803463784 6080661 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 251194 246556 513 1026 0 250164 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1004776
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2734
/proc/meminfo: memFree=24913456/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1060048 CPUtime=582.19 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 260752 0 0 0 58175 44 0 0 20 0 1 0 344796969 1085489152 259904 33554432000 4194304 8395647 140736803467920 140736803463992 4911287 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 265012 259904 513 1026 0 263982 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1060048
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24438392/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1196548 CPUtime=1062.11 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 295621 0 0 0 106162 49 0 0 20 0 1 0 344796969 1225265152 296615 33554432000 4194304 8395647 140736803467920 140736803463784 4911287 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 299137 296615 513 1026 0 298107 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1196548
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 2739
/proc/meminfo: memFree=24366476/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1236572 CPUtime=1122.11 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 305198 0 0 0 112159 52 0 0 20 0 1 0 344796969 1266249728 306279 33554432000 4194304 8395647 140736803467920 140736803463992 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 309143 306279 513 1026 0 308113 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1236572
[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 2739
/proc/meminfo: memFree=24303024/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1267576 CPUtime=1182.09 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 312775 0 0 0 118156 53 0 0 20 0 1 0 344796969 1297997824 314374 33554432000 4194304 8395647 140736803467920 140736803463992 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 316894 314374 513 1026 0 315864 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1267576
[startup+1242.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 2739
/proc/meminfo: memFree=24242604/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1290412 CPUtime=1242.08 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 318473 0 0 0 124154 54 0 0 20 0 1 0 344796969 1321381888 320846 33554432000 4194304 8395647 140736803467920 140736803463992 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 322603 320846 513 1026 0 321573 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1290412
[startup+1302.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/178 2740
/proc/meminfo: memFree=24183224/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1315460 CPUtime=1302.08 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 324083 0 0 0 130153 55 0 0 20 0 1 0 344796969 1347031040 327333 33554432000 4194304 8395647 140736803467920 140736803463992 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 328865 327333 513 1026 0 327835 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1315460
[startup+1362.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/177 2741
/proc/meminfo: memFree=24114288/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1353448 CPUtime=1362.06 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 333219 0 0 0 136150 56 0 0 20 0 1 0 344796969 1385930752 336469 33554432000 4194304 8395647 140736803467920 140736803463784 4247653 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 338362 336469 513 1026 0 337332 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1353448
[startup+1422.31 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 2741
/proc/meminfo: memFree=24061464/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1373164 CPUtime=1422.06 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 338824 0 0 0 142149 57 0 0 20 0 1 0 344796969 1406119936 342074 33554432000 4194304 8395647 140736803467920 140736803463784 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 343291 342074 513 1026 0 342261 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1373164
[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 2741
/proc/meminfo: memFree=23998100/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1407796 CPUtime=1482.04 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 346616 0 0 0 148146 58 0 0 20 0 1 0 344796969 1441583104 349866 33554432000 4194304 8395647 140736803467920 140736803463992 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 351949 349866 513 1026 0 350919 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1407796
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 2741
/proc/meminfo: memFree=23933500/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1439544 CPUtime=1542.04 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 354896 0 0 0 154144 60 0 0 20 0 1 0 344796969 1474093056 358146 33554432000 4194304 8395647 140736803467920 140736803463992 4911307 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 359886 358146 513 1026 0 358856 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1439544
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 2741
/proc/meminfo: memFree=23870384/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1479924 CPUtime=1602.02 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 364067 0 0 0 160142 60 0 0 20 0 1 0 344796969 1515442176 367317 33554432000 4194304 8395647 140736803467920 140736803463992 4911307 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 369981 367317 513 1026 0 368951 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1479924
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2742
/proc/meminfo: memFree=23808260/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1512532 CPUtime=1662.02 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 372159 0 0 0 166140 62 0 0 20 0 1 0 344796969 1548832768 375409 33554432000 4194304 8395647 140736803467920 140736803463992 4911307 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 378133 375409 513 1026 0 377103 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1512532
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2745
/proc/meminfo: memFree=23751572/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1542048 CPUtime=1722.01 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 379215 0 0 0 172138 63 0 0 20 0 1 0 344796969 1579057152 382465 33554432000 4194304 8395647 140736803467920 140736803463992 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 385512 382465 513 1026 0 384482 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1542048
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 2745
/proc/meminfo: memFree=23687268/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1571588 CPUtime=1782 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 386486 0 0 0 178136 64 0 0 20 0 1 0 344796969 1609306112 389736 33554432000 4194304 8395647 140736803467920 140736803463992 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 392897 389736 513 1026 0 391867 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1571588
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2745
/proc/meminfo: memFree=23683672/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1573556 CPUtime=1785.2 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 386878 0 0 0 178456 64 0 0 20 0 1 0 344796969 1611321344 390128 33554432000 4194304 8395647 140736803467920 140736803463992 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 393389 390128 513 1026 0 392359 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 1573556
[startup+1788.7 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2745
/proc/meminfo: memFree=23679332/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1576540 CPUtime=1788.4 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 387516 0 0 0 178776 64 0 0 20 0 1 0 344796969 1614376960 390766 33554432000 4194304 8395647 140736803467920 140736803463992 4911287 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 394135 390766 513 1026 0 393105 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 1576540
[startup+1789.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2745
/proc/meminfo: memFree=23679332/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1576540 CPUtime=1789.2 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 387593 0 0 0 178856 64 0 0 20 0 1 0 344796969 1614376960 390843 33554432000 4194304 8395647 140736803467920 140736803463992 4911287 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 394135 390843 513 1026 0 393105 0
Current children cumulated CPU time (s) 1789.2
Current children cumulated vsize (KiB) 1576540
[startup+1789.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2745
/proc/meminfo: memFree=23676216/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1576540 CPUtime=1789.6 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 387634 0 0 0 178896 64 0 0 20 0 1 0 344796969 1614376960 390884 33554432000 4194304 8395647 140736803467920 140736803463992 6080692 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 394135 390884 513 1026 0 393105 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 1576540
[startup+1790.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2745
/proc/meminfo: memFree=23676216/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1577564 CPUtime=1790 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 387960 0 0 0 178936 64 0 0 20 0 1 0 344796969 1615425536 391210 33554432000 4194304 8395647 140736803467920 140736803463992 4423594 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 394391 391210 520 1026 0 393361 0
Current children cumulated CPU time (s) 1790
Current children cumulated vsize (KiB) 1577564
[startup+1790.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2745
/proc/meminfo: memFree=23676216/32873648 swapFree=6852/6852
[pid=2728] ppid=2726 vsize=1418728 CPUtime=1790.1 cores=1,3,5,7
/proc/2728/stat : 2728 (pbscip.linux.x8) R 2726 2728 1632 0 -1 4202496 387961 0 0 0 178944 66 0 0 20 0 1 0 344796969 1452777472 168745 33554432000 4194304 8395647 140736803467920 140736803463992 7602442 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2728/statm: 354682 168745 521 1026 0 353652 0
Current children cumulated CPU time (s) 1790.1
Current children cumulated vsize (KiB) 1418728
Child status: 0
Real time (s): 1790.43
CPU time (s): 1790.13
CPU user time (s): 1789.46
CPU system time (s): 0.671897
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 1577564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.46
system time used= 0.671897
maximum resident set size= 1564840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387974
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= 36
involuntary context switches= 1840
runsolver used 2.71059 second user time and 8.69568 second system time
The end