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-3743471-1338784498.opb>
0.39/0.44 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.39/0.44 c problem read
0.39/0.44 c presolving settings loaded
0.59/0.68 c presolving:
0.79/0.84 c (round 1) 126 del vars, 3 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13572 impls, 552 clqs
0.79/0.90 c (round 2) 1372 del vars, 1254 del conss, 1248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14312 impls, 551 clqs
0.89/0.96 c (round 3) 1890 del vars, 1772 del conss, 1766 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15344 impls, 551 clqs
0.99/1.03 c (round 4) 2450 del vars, 2332 del conss, 2326 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17208 impls, 551 clqs
0.99/1.08 c (round 5) 2788 del vars, 2670 del conss, 2664 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
1.09/1.14 c (round 6) 3150 del vars, 3032 del conss, 3026 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20550 impls, 551 clqs
1.19/1.20 c (round 7) 3418 del vars, 3300 del conss, 3294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21548 impls, 551 clqs
1.19/1.25 c (round 8) 3571 del vars, 3453 del conss, 3447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22728 impls, 551 clqs
1.29/1.30 c (round 9) 3629 del vars, 3511 del conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
1.29/1.35 c (round 10) 3654 del vars, 3536 del conss, 3530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23938 impls, 551 clqs
140.65/140.76 c (round 11) 3720 del vars, 3602 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37283 upgd conss, 9078930 impls, 551 clqs
141.04/141.15 c (round 12) 3720 del vars, 3667 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9078960 impls, 552 clqs
278.02/278.19 c (round 13) 3803 del vars, 3667 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 10267906 impls, 552 clqs
280.92/281.06 c (round 14) 3803 del vars, 3750 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 10267990 impls, 552 clqs
504.09/504.28 c (round 15) 3853 del vars, 3750 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 11923136 impls, 552 clqs
506.99/507.16 c (round 16) 3853 del vars, 3800 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 11923250 impls, 552 clqs
653.46/653.66 c (round 17) 3913 del vars, 3800 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 14399044 impls, 552 clqs
656.57/656.71 c (round 18) 3913 del vars, 3860 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 14399044 impls, 552 clqs
894.23/894.40 c (round 19) 3963 del vars, 3860 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 16390420 impls, 552 clqs
897.33/897.52 c (round 20) 3963 del vars, 3910 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 16390420 impls, 552 clqs
1171.19/1171.48 c (round 21) 4013 del vars, 3910 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 19623068 impls, 552 clqs
1174.38/1174.62 c (round 22) 4013 del vars, 3960 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 19623068 impls, 552 clqs
1474.34/1474.65 c (round 23) 4068 del vars, 3960 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 22202282 impls, 552 clqs
1477.44/1477.79 c (round 24) 4068 del vars, 4015 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 22202282 impls, 552 clqs
1722.31/1722.66 c (1722.2s) probing: 1000/36796 (2.7%) - 429 fixings, 13 aggregations, 5096758 implications, 0 bound changes
1791.39/1791.80 c (1791.4s) probing: 1018/36796 (2.8%) - 435 fixings, 13 aggregations, 5259169 implications, 0 bound changes
1791.39/1791.80 c (1791.4s) probing aborted: solving stopped
1791.39/1791.80 c (round 25) 4103 del vars, 4015 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 23645948 impls, 552 clqs
1791.39/1791.80 c presolving (25 rounds):
1791.39/1791.80 c 4103 deleted vars, 4015 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1791.39/1791.80 c 23645948 implications, 552 cliques
1791.39/1791.80 c presolving was interrupted.
1791.39/1791.80 c Presolving Time: 1791.22
1791.39/1791.80 c - non default parameters ----------------------------------------------------------------------
1791.39/1791.80 c # SCIP version 1.2.1.3
1791.39/1791.80 c
1791.39/1791.80 c # frequency for displaying node information lines
1791.39/1791.80 c # [type: int, range: [-1,2147483647], default: 100]
1791.39/1791.80 c display/freq = 10000
1791.39/1791.80 c
1791.39/1791.80 c # maximal time in seconds to run
1791.39/1791.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1791.39/1791.80 c limits/time = 1789.57
1791.39/1791.80 c
1791.39/1791.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1791.39/1791.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1791.39/1791.80 c limits/memory = 13950
1791.39/1791.80 c
1791.39/1791.80 c # default clock type (1: CPU user seconds, 2: wall clock time)
1791.39/1791.80 c # [type: int, range: [1,2], default: 1]
1791.39/1791.80 c timing/clocktype = 2
1791.39/1791.80 c
1791.39/1791.80 c # should presolving try to simplify inequalities
1791.39/1791.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1791.39/1791.80 c constraints/linear/simplifyinequalities = TRUE
1791.39/1791.80 c
1791.39/1791.80 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1791.39/1791.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1791.39/1791.80 c constraints/indicator/addCouplingCons = TRUE
1791.39/1791.80 c
1791.39/1791.80 c # should presolving try to simplify knapsacks
1791.39/1791.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1791.39/1791.80 c constraints/knapsack/simplifyinequalities = TRUE
1791.39/1791.80 c
1791.39/1791.80 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1791.39/1791.80 c # [type: int, range: [-1,2147483647], default: -1]
1791.39/1791.80 c separating/rapidlearning/freq = 0
1791.39/1791.80 c
1791.39/1791.80 c -----------------------------------------------------------------------------------------------
1791.39/1791.80 c start solving
1791.49/1791.82 c presolving:
1791.49/1791.82 c presolving (25 rounds):
1791.49/1791.82 c 4103 deleted vars, 4015 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1791.49/1791.82 c 23645948 implications, 552 cliques
1791.49/1791.82 c presolving was interrupted.
1791.49/1791.82 c Presolving Time: 1791.24
1791.49/1791.82 c
1791.49/1791.82 c SCIP Status : solving was interrupted [time limit reached]
1791.49/1791.82 c Solving Time (sec) : 1791.38
1791.49/1791.82 c Solving Nodes : 0
1791.49/1791.82 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1791.49/1791.82 s UNKNOWN
1791.49/1791.82 c SCIP Status : solving was interrupted [time limit reached]
1791.49/1791.82 c Solving Time : 1791.38
1791.49/1791.82 c Original Problem :
1791.49/1791.82 c Problem name : HOME/instance-3743471-1338784498.opb
1791.49/1791.82 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1791.49/1791.82 c Constraints : 40950 initial, 40950 maximal
1791.49/1791.82 c Presolved Problem :
1791.49/1791.82 c Problem name : t_HOME/instance-3743471-1338784498.opb
1791.49/1791.82 c Variables : 36348 (36348 binary, 0 integer, 0 implicit integer, 0 continuous)
1791.49/1791.82 c Constraints : 36935 initial, 36935 maximal
1791.49/1791.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1791.49/1791.82 c trivial : 0.07 123 0 0 0 0 0 0 0
1791.49/1791.82 c dualfix : 0.05 0 0 0 0 0 0 0 0
1791.49/1791.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
1791.49/1791.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1791.49/1791.82 c implics : 0.11 0 1 0 0 0 0 0 0
1791.49/1791.82 c probing : 1770.16 435 13 0 0 0 0 0 0
1791.49/1791.82 c knapsack : 18.22 0 0 0 0 0 0 0 0
1791.49/1791.82 c setppc : 0.10 0 0 0 0 0 337 0 0
1791.49/1791.82 c linear : 1.80 3531 0 0 3531 0 3602 0 0
1791.49/1791.82 c logicor : 0.50 0 0 0 0 0 76 0 0
1791.49/1791.82 c root node : - 0 - - 0 - - - -
1791.49/1791.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1791.49/1791.82 c integral : 0 0 0 0 0 0 0 0 0 0
1791.49/1791.82 c knapsack : 0+ 0 7719 0 0 142 0 0 0 0
1791.49/1791.82 c setppc : 0+ 0 7576 0 0 89 0 0 0 0
1791.49/1791.82 c linear : 0+ 0 1620 0 0 0 0 0 0 0
1791.49/1791.82 c logicor : 0+ 0 5886 0 0 27 0 0 0 0
1791.49/1791.82 c countsols : 0 0 0 0 0 0 0 0 0 0
1791.49/1791.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1791.49/1791.82 c integral : 0.00 0.00 0.00 0.00 0.00
1791.49/1791.82 c knapsack : 1467.87 0.00 1467.87 0.00 0.00
1791.49/1791.82 c setppc : 1.38 0.00 1.38 0.00 0.00
1791.49/1791.82 c linear : 0.22 0.00 0.22 0.00 0.00
1791.49/1791.82 c logicor : 7.00 0.00 7.00 0.00 0.00
1791.49/1791.82 c countsols : 0.00 0.00 0.00 0.00 0.00
1791.49/1791.82 c Propagators : Time Calls Cutoffs DomReds
1791.49/1791.82 c vbounds : 0.01 1 0 0
1791.49/1791.82 c rootredcost : 0.00 0 0 0
1791.49/1791.82 c pseudoobj : 0.01 0 0 0
1791.49/1791.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1791.49/1791.82 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1791.49/1791.82 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1791.49/1791.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1791.49/1791.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1791.49/1791.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1791.49/1791.82 c applied globally : - - - 0 0.0 - - -
1791.49/1791.82 c applied locally : - - - 0 0.0 - - -
1791.69/1792.06 c Time complete: 1791.75.
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-3743471-1338784498/watcher-3743471-1338784498 -o /tmp/evaluation-result-3743471-1338784498/solver-3743471-1338784498 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743471-1338784498.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.00 2.00 3/178 12913
/proc/meminfo: memFree=25070316/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 1247 0 0 0 0 0 0 0 20 0 1 0 344575167 8105984 1194 33554432000 4194304 8395647 140736178438144 140736178370200 7385025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 1979 1194 370 1026 0 949 0
[startup+0.033903 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12913
/proc/meminfo: memFree=25070316/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=21704 CPUtime=0.02 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 4648 0 0 0 2 0 0 0 20 0 1 0 344575167 22224896 4589 33554432000 4194304 8395647 140736178438144 140736178300648 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 5426 4620 387 1026 0 4396 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21704
[startup+0.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12913
/proc/meminfo: memFree=25070316/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=38860 CPUtime=0.08 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 9014 0 0 0 7 1 0 0 20 0 1 0 344575167 39792640 8955 33554432000 4194304 8395647 140736178438144 140736178300648 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 9715 8955 394 1026 0 8685 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 38860
[startup+0.300283 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12913
/proc/meminfo: memFree=25070316/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=52968 CPUtime=0.29 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 12303 0 0 0 27 2 0 0 20 0 1 0 344575167 54239232 12245 33554432000 4194304 8395647 140736178438144 140736178300648 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 13242 12277 394 1026 0 12212 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52968
[startup+0.700397 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12913
/proc/meminfo: memFree=25070316/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=132952 CPUtime=0.69 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 32395 0 0 0 64 5 0 0 20 0 1 0 344575167 136142848 31982 33554432000 4194304 8395647 140736178438144 140736178300648 5050522 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 33238 31982 470 1026 0 32208 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 132952
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12914
/proc/meminfo: memFree=24937960/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=140920 CPUtime=1.49 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 34693 0 0 0 144 5 0 0 20 0 1 0 344575167 144302080 33965 33554432000 4194304 8395647 140736178438144 140736178433944 5019226 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 35230 33965 478 1026 0 34200 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140920
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12914
/proc/meminfo: memFree=24986680/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=201484 CPUtime=3.09 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 49676 0 0 0 301 8 0 0 20 0 1 0 344575167 206319616 48913 33554432000 4194304 8395647 140736178438144 140736178433624 6347101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 50371 48913 498 1026 0 49341 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 201484
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12914
/proc/meminfo: memFree=24843380/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=298916 CPUtime=6.29 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 72635 0 0 0 617 12 0 0 20 0 1 0 344575167 306089984 71872 33554432000 4194304 8395647 140736178438144 140736178434008 6080653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 74729 71872 498 1026 0 73699 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 298916
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12914
/proc/meminfo: memFree=24810632/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=342528 CPUtime=12.69 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 83152 0 0 0 1255 14 0 0 20 0 1 0 344575167 350748672 82389 33554432000 4194304 8395647 140736178438144 140736178434008 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 85632 82389 498 1026 0 84602 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 342528
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12952
/proc/meminfo: memFree=27337704/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=418352 CPUtime=25.49 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 101578 0 0 0 2530 19 0 0 20 0 1 0 344575167 428392448 100815 33554432000 4194304 8395647 140736178438144 140736178434008 6345866 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 104588 100815 498 1026 0 103558 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 418352
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12953
/proc/meminfo: memFree=27092596/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=501000 CPUtime=51.07 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 121913 0 0 0 5083 24 0 0 20 0 1 0 344575167 513024000 121227 33554432000 4194304 8395647 140736178438144 140736178434008 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 125250 121227 498 1026 0 124220 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 501000
[startup+102.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12953
/proc/meminfo: memFree=26810044/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=644532 CPUtime=102.26 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 156340 0 0 0 10196 30 0 0 20 0 1 0 344575167 660000768 155965 33554432000 4194304 8395647 140736178438144 140736178434296 6080653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 161133 155965 498 1026 0 160103 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 644532
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12953
/proc/meminfo: memFree=26492940/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=778408 CPUtime=162.24 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 189514 0 0 0 16186 38 0 0 20 0 1 0 344575167 797089792 190456 33554432000 4194304 8395647 140736178438144 140736178434168 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 194602 190456 507 1026 0 193572 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 778408
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12953
/proc/meminfo: memFree=26490240/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=778408 CPUtime=222.23 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 189514 0 0 0 22185 38 0 0 20 0 1 0 344575167 797089792 191159 33554432000 4194304 8395647 140736178438144 140736178434168 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 194602 191159 507 1026 0 193572 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 778408
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12953
/proc/meminfo: memFree=26482332/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=783524 CPUtime=282.22 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 190816 0 0 0 28184 38 0 0 20 0 1 0 344575167 802328576 193116 33554432000 4194304 8395647 140736178438144 140736178434168 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 195881 193116 507 1026 0 194851 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 783524
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 12957
/proc/meminfo: memFree=26479624/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=783524 CPUtime=342.21 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 190816 0 0 0 34183 38 0 0 20 0 1 0 344575167 802328576 193582 33554432000 4194304 8395647 140736178438144 140736178434168 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 195881 193582 507 1026 0 194851 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 783524
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12957
/proc/meminfo: memFree=26468252/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=783524 CPUtime=402.2 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 190816 0 0 0 40182 38 0 0 20 0 1 0 344575167 802328576 194255 33554432000 4194304 8395647 140736178438144 140736178434168 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 195881 194255 507 1026 0 194851 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 783524
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12957
/proc/meminfo: memFree=26461708/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=785628 CPUtime=462.19 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 191343 0 0 0 46181 38 0 0 20 0 1 0 344575167 804483072 195365 33554432000 4194304 8395647 140736178438144 140736178434216 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 196407 195365 507 1026 0 195377 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 785628
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12957
/proc/meminfo: memFree=26398328/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=794788 CPUtime=522.19 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 193634 0 0 0 52180 39 0 0 20 0 1 0 344575167 813862912 197887 33554432000 4194304 8395647 140736178438144 140736178434168 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 198697 197887 507 1026 0 197667 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 794788
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12957
/proc/meminfo: memFree=26296800/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=795868 CPUtime=582.18 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 193904 0 0 0 58179 39 0 0 20 0 1 0 344575167 814968832 198157 33554432000 4194304 8395647 140736178438144 140736178434216 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 198967 198157 507 1026 0 197937 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 795868
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25634892/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=944252 CPUtime=1122.1 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 230733 0 0 0 112164 46 0 0 20 0 1 0 344575167 966914048 234986 33554432000 4194304 8395647 140736178438144 140736178434008 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 236063 234986 507 1026 0 235033 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 944252
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12962
/proc/meminfo: memFree=25612724/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=955496 CPUtime=1182.08 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 233409 0 0 0 118162 46 0 0 20 0 1 0 344575167 978427904 237662 33554432000 4194304 8395647 140736178438144 140736178434008 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 238874 237662 507 1026 0 237844 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 955496
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12962
/proc/meminfo: memFree=25591672/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=970832 CPUtime=1242.08 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 236946 0 0 0 124161 47 0 0 20 0 1 0 344575167 994131968 241199 33554432000 4194304 8395647 140736178438144 140736178434216 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 242708 241199 507 1026 0 241678 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 970832
[startup+1302.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 12963
/proc/meminfo: memFree=25588356/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=971856 CPUtime=1302.08 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 237206 0 0 0 130161 47 0 0 20 0 1 0 344575167 995180544 241459 33554432000 4194304 8395647 140736178438144 140736178434008 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 242964 241459 507 1026 0 241934 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 971856
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 12963
/proc/meminfo: memFree=25575676/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=980996 CPUtime=1362.05 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 239101 0 0 0 136158 47 0 0 20 0 1 0 344575167 1004539904 243354 33554432000 4194304 8395647 140736178438144 140736178433272 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 245249 243354 507 1026 0 244219 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 980996
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 12963
/proc/meminfo: memFree=25555292/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=990192 CPUtime=1422.05 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 241404 0 0 0 142157 48 0 0 20 0 1 0 344575167 1013956608 245657 33554432000 4194304 8395647 140736178438144 140736178434216 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 247548 245657 507 1026 0 246518 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 990192
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12963
/proc/meminfo: memFree=25506560/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1035972 CPUtime=1482.04 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 253084 0 0 0 148155 49 0 0 20 0 1 0 344575167 1060835328 257337 33554432000 4194304 8395647 140736178438144 140736178433944 6080665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 258993 257337 507 1026 0 257963 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1035972
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12966
/proc/meminfo: memFree=25495640/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1044204 CPUtime=1542.02 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 254873 0 0 0 154153 49 0 0 20 0 1 0 344575167 1069264896 259126 33554432000 4194304 8395647 140736178438144 140736178434216 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 261051 259126 507 1026 0 260021 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1044204
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12990
/proc/meminfo: memFree=25480264/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1059544 CPUtime=1602.02 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 258502 0 0 0 160152 50 0 0 20 0 1 0 344575167 1084973056 262755 33554432000 4194304 8395647 140736178438144 140736178434216 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 264886 262755 507 1026 0 263856 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1059544
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12990
/proc/meminfo: memFree=25472832/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1062612 CPUtime=1662.01 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 259419 0 0 0 166151 50 0 0 20 0 1 0 344575167 1088114688 263672 33554432000 4194304 8395647 140736178438144 140736178434216 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 265653 263672 507 1026 0 264623 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1062612
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12990
/proc/meminfo: memFree=25444312/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1072828 CPUtime=1722 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 261948 0 0 0 172150 50 0 0 20 0 1 0 344575167 1098575872 266201 33554432000 4194304 8395647 140736178438144 140736178434216 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 268207 266201 507 1026 0 267177 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1072828
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 12990
/proc/meminfo: memFree=25405252/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1085096 CPUtime=1781.99 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 264898 0 0 0 178149 50 0 0 20 0 1 0 344575167 1111138304 269151 33554432000 4194304 8395647 140736178438144 140736178434216 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 271274 269151 513 1026 0 270244 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1085096
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12990
/proc/meminfo: memFree=25398060/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1085096 CPUtime=1785.19 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 264898 0 0 0 178469 50 0 0 20 0 1 0 344575167 1111138304 269151 33554432000 4194304 8395647 140736178438144 140736178434216 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 271274 269151 513 1026 0 270244 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 1085096
[startup+1788.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12990
/proc/meminfo: memFree=25392356/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1085096 CPUtime=1788.39 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 264898 0 0 0 178789 50 0 0 20 0 1 0 344575167 1111138304 269151 33554432000 4194304 8395647 140736178438144 140736178434216 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 271274 269151 513 1026 0 270244 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 1085096
[startup+1790.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12990
/proc/meminfo: memFree=25391612/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1085096 CPUtime=1789.99 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 264898 0 0 0 178949 50 0 0 20 0 1 0 344575167 1111138304 269151 33554432000 4194304 8395647 140736178438144 140736178434216 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 271274 269151 513 1026 0 270244 0
Current children cumulated CPU time (s) 1789.99
Current children cumulated vsize (KiB) 1085096
[startup+1791.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12990
/proc/meminfo: memFree=25390868/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1085096 CPUtime=1790.79 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 264898 0 0 0 179029 50 0 0 20 0 1 0 344575167 1111138304 269151 33554432000 4194304 8395647 140736178438144 140736178434216 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 271274 269151 513 1026 0 270244 0
Current children cumulated CPU time (s) 1790.79
Current children cumulated vsize (KiB) 1085096
[startup+1791.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12990
/proc/meminfo: memFree=25390868/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1085096 CPUtime=1791.19 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 264898 0 0 0 179069 50 0 0 20 0 1 0 344575167 1111138304 269151 33554432000 4194304 8395647 140736178438144 140736178434216 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 271274 269151 513 1026 0 270244 0
Current children cumulated CPU time (s) 1791.19
Current children cumulated vsize (KiB) 1085096
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12990
/proc/meminfo: memFree=25390000/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1086120 CPUtime=1791.59 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 265166 0 0 0 179109 50 0 0 20 0 1 0 344575167 1112186880 269419 33554432000 4194304 8395647 140736178438144 140736178434216 6066925 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 271530 269419 520 1026 0 270500 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 1086120
[startup+1792 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12990
/proc/meminfo: memFree=25390000/32873844 swapFree=7124/7124
[pid=12913] ppid=12911 vsize=1077944 CPUtime=1791.69 cores=1,3,5,7
/proc/12913/stat : 12913 (pbscip.linux.x8) R 12911 12913 12290 0 -1 4202496 265166 0 0 0 179119 50 0 0 20 0 1 0 344575167 1103814656 267425 33554432000 4194304 8395647 140736178438144 140736178434216 6345229 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12913/statm: 269486 267425 520 1026 0 268456 0
Current children cumulated CPU time (s) 1791.69
Current children cumulated vsize (KiB) 1077944
Child status: 0
Real time (s): 1792.06
CPU time (s): 1791.76
CPU user time (s): 1791.22
CPU system time (s): 0.544917
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 1086120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.22
system time used= 0.544917
maximum resident set size= 1077676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265180
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= 29
involuntary context switches= 1845
runsolver used 2.89756 second user time and 8.74367 second system time
The end