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-3743117-1338779123.opb>
0.39/0.42 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.39/0.42 c problem read
0.39/0.42 c presolving settings loaded
0.59/0.64 c presolving:
0.69/0.79 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.85 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.79/0.89 c (round 3) 2024 del vars, 1906 del conss, 1900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15434 impls, 551 clqs
0.89/0.94 c (round 4) 2475 del vars, 2357 del conss, 2351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17248 impls, 551 clqs
0.89/0.98 c (round 5) 2838 del vars, 2720 del conss, 2714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
1.00/1.03 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.00/1.07 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.10/1.11 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.10/1.14 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.10/1.18 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
146.96/147.07 c (round 11) 3721 del vars, 4088 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 9599108 impls, 551 clqs
147.16/147.28 c (round 12) 3721 del vars, 4154 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9599212 impls, 551 clqs
186.35/186.44 c (186.0s) probing: 1000/37282 (2.7%) - 64 fixings, 9 aggregations, 1353974 implications, 0 bound changes
232.95/233.06 c (232.6s) probing: 2000/37282 (5.4%) - 65 fixings, 31 aggregations, 3756801 implications, 0 bound changes
288.14/288.27 c (287.9s) probing: 3000/37282 (8.0%) - 69 fixings, 39 aggregations, 6364376 implications, 0 bound changes
387.22/387.38 c (387.0s) probing: 4000/37282 (10.7%) - 69 fixings, 45 aggregations, 10493359 implications, 0 bound changes
400.62/400.78 c (round 13) 3771 del vars, 4154 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36523400 impls, 551 clqs
400.82/400.95 c (round 14) 3771 del vars, 4204 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36523400 impls, 551 clqs
458.71/458.84 c (458.4s) probing: 5000/37282 (13.4%) - 69 fixings, 49 aggregations, 12144059 implications, 0 bound changes
573.80/573.91 c (573.5s) probing: 6000/37282 (16.1%) - 74 fixings, 56 aggregations, 16355278 implications, 0 bound changes
709.47/709.60 c (709.2s) probing: 7000/37282 (18.8%) - 75 fixings, 65 aggregations, 20837156 implications, 0 bound changes
835.93/836.10 c (835.7s) probing: 8000/37282 (21.5%) - 77 fixings, 72 aggregations, 24714500 implications, 0 bound changes
977.60/977.89 c (977.5s) probing: 9000/37282 (24.1%) - 78 fixings, 77 aggregations, 29309386 implications, 0 bound changes
1111.79/1112.07 c (1111.6s) probing: 10000/37282 (26.8%) - 80 fixings, 84 aggregations, 33348493 implications, 0 bound changes
1123.38/1123.65 c (round 15) 3821 del vars, 4204 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 85543446 impls, 551 clqs
1123.58/1123.82 c (round 16) 3821 del vars, 4254 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 85543446 impls, 551 clqs
1239.56/1239.87 c (1239.4s) probing: 11000/37282 (29.5%) - 82 fixings, 91 aggregations, 37020196 implications, 0 bound changes
1374.53/1374.88 c (1374.5s) probing: 12000/37282 (32.2%) - 84 fixings, 97 aggregations, 41160434 implications, 0 bound changes
1510.51/1510.82 c (1510.4s) probing: 13000/37282 (34.9%) - 85 fixings, 105 aggregations, 45117109 implications, 0 bound changes
1642.48/1642.88 c (1642.5s) probing: 14000/37282 (37.6%) - 87 fixings, 111 aggregations, 48971388 implications, 0 bound changes
1778.05/1778.40 c (1778.0s) probing: 15000/37282 (40.2%) - 88 fixings, 119 aggregations, 52926807 implications, 0 bound changes
1789.65/1790.06 c (1789.6s) probing: 15092/37282 (40.5%) - 88 fixings, 119 aggregations, 53280346 implications, 0 bound changes
1789.65/1790.06 c (1789.6s) probing aborted: solving stopped
1789.65/1790.06 c (round 17) 3862 del vars, 4254 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 128053200 impls, 551 clqs
1789.65/1790.06 c presolving (17 rounds):
1789.65/1790.06 c 3862 deleted vars, 4254 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.65/1790.06 c 128053200 implications, 551 cliques
1789.65/1790.06 c presolving was interrupted.
1789.65/1790.06 c Presolving Time: 1789.51
1789.65/1790.06 c - non default parameters ----------------------------------------------------------------------
1789.65/1790.06 c # SCIP version 1.2.1.3
1789.65/1790.06 c
1789.65/1790.06 c # frequency for displaying node information lines
1789.65/1790.06 c # [type: int, range: [-1,2147483647], default: 100]
1789.65/1790.06 c display/freq = 10000
1789.65/1790.06 c
1789.65/1790.06 c # maximal time in seconds to run
1789.65/1790.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.65/1790.06 c limits/time = 1789.59
1789.65/1790.06 c
1789.65/1790.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.65/1790.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.65/1790.06 c limits/memory = 13950
1789.65/1790.06 c
1789.65/1790.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.65/1790.06 c # [type: int, range: [1,2], default: 1]
1789.65/1790.06 c timing/clocktype = 2
1789.65/1790.06 c
1789.65/1790.06 c # should presolving try to simplify inequalities
1789.65/1790.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.65/1790.06 c constraints/linear/simplifyinequalities = TRUE
1789.65/1790.06 c
1789.65/1790.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.65/1790.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.65/1790.06 c constraints/indicator/addCouplingCons = TRUE
1789.65/1790.06 c
1789.65/1790.06 c # should presolving try to simplify knapsacks
1789.65/1790.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.65/1790.06 c constraints/knapsack/simplifyinequalities = TRUE
1789.65/1790.06 c
1789.65/1790.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.65/1790.06 c # [type: int, range: [-1,2147483647], default: -1]
1789.65/1790.06 c separating/rapidlearning/freq = 0
1789.65/1790.06 c
1789.65/1790.06 c -----------------------------------------------------------------------------------------------
1789.65/1790.06 c start solving
1789.65/1790.07 c presolving:
1789.65/1790.07 c presolving (17 rounds):
1789.65/1790.07 c 3862 deleted vars, 4254 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.65/1790.07 c 128053200 implications, 551 cliques
1789.65/1790.07 c presolving was interrupted.
1789.65/1790.07 c Presolving Time: 1789.52
1789.65/1790.07 c
1789.65/1790.07 c SCIP Status : solving was interrupted [time limit reached]
1789.65/1790.07 c Solving Time (sec) : 1789.65
1789.65/1790.07 c Solving Nodes : 0
1789.65/1790.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.65/1790.07 s UNKNOWN
1789.65/1790.07 c SCIP Status : solving was interrupted [time limit reached]
1789.65/1790.07 c Solving Time : 1789.65
1789.65/1790.07 c Original Problem :
1789.65/1790.07 c Problem name : HOME/instance-3743117-1338779123.opb
1789.65/1790.07 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.65/1790.07 c Constraints : 41436 initial, 41436 maximal
1789.65/1790.07 c Presolved Problem :
1789.65/1790.07 c Problem name : t_HOME/instance-3743117-1338779123.opb
1789.65/1790.07 c Variables : 37075 (37075 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.65/1790.07 c Constraints : 37182 initial, 37182 maximal
1789.65/1790.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.65/1790.07 c trivial : 0.04 123 0 0 0 0 0 0 0
1789.65/1790.07 c dualfix : 0.03 0 0 0 0 0 0 0 0
1789.65/1790.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.65/1790.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.65/1790.07 c implics : 0.03 0 1 0 0 0 0 0 0
1789.65/1790.07 c probing : 1787.90 88 119 0 0 0 0 0 0
1789.65/1790.07 c knapsack : 0.40 0 0 0 0 0 0 0 0
1789.65/1790.07 c setppc : 0.05 0 0 0 0 0 95 0 0
1789.65/1790.07 c linear : 0.70 3531 0 0 3531 0 4088 0 0
1789.65/1790.07 c logicor : 0.18 0 0 0 0 0 71 0 0
1789.65/1790.07 c root node : - 0 - - 0 - - - -
1789.65/1790.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.65/1790.07 c integral : 0 0 0 0 0 0 0 0 0 0
1789.65/1790.07 c knapsack : 0+ 0 211252 0 0 0 0 0 0 0
1789.65/1790.07 c setppc : 0+ 0 211251 0 0 26 0 0 0 0
1789.65/1790.07 c linear : 0+ 0 2536 0 0 0 0 0 0 0
1789.65/1790.07 c logicor : 0+ 0 195692 0 0 4 0 0 0 0
1789.65/1790.07 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.65/1790.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.65/1790.07 c integral : 0.00 0.00 0.00 0.00 0.00
1789.65/1790.07 c knapsack : 326.63 0.00 326.63 0.00 0.00
1789.65/1790.07 c setppc : 23.82 0.00 23.82 0.00 0.00
1789.65/1790.07 c linear : 3.19 0.00 3.19 0.00 0.00
1789.65/1790.07 c logicor : 81.87 0.00 81.87 0.00 0.00
1789.65/1790.07 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.65/1790.07 c Propagators : Time Calls Cutoffs DomReds
1789.65/1790.07 c vbounds : 0.16 1 0 0
1789.65/1790.07 c rootredcost : 0.13 0 0 0
1789.65/1790.07 c pseudoobj : 0.14 0 0 0
1789.65/1790.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.65/1790.07 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.65/1790.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.65/1790.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.65/1790.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.65/1790.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.65/1790.07 c applied globally : - - - 0 0.0 - - -
1789.65/1790.07 c applied locally : - - - 0 0.0 - - -
1789.95/1790.36 c Time complete: 1790.02.
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-3743117-1338779123/watcher-3743117-1338779123 -o /tmp/evaluation-result-3743117-1338779123/solver-3743117-1338779123 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743117-1338779123.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.07 2.02 1.97 4/178 12654
/proc/meminfo: memFree=27693628/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 1549 0 0 0 0 0 0 0 20 0 1 0 344037656 10211328 1496 33554432000 4194304 8395647 140737428397824 140733615669352 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12654/statm: 2493 1506 374 1026 0 1463 0
[startup+0.0266329 s]
/proc/loadavg: 2.07 2.02 1.97 4/178 12654
/proc/meminfo: memFree=27693628/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=13840 CPUtime=0.02 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 2700 0 0 0 2 0 0 0 20 0 1 0 344037656 14172160 2646 33554432000 4194304 8395647 140737428397824 140733615669352 7430272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12654/statm: 3460 2646 393 1026 0 2430 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13840
[startup+0.100241 s]
/proc/loadavg: 2.07 2.02 1.97 4/178 12654
/proc/meminfo: memFree=27693628/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=21588 CPUtime=0.09 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 4657 0 0 0 9 0 0 0 20 0 1 0 344037656 22106112 4603 33554432000 4194304 8395647 140737428397824 140733615669352 6765799 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12654/statm: 5397 4603 393 1026 0 4367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21588
[startup+0.300276 s]
/proc/loadavg: 2.07 2.02 1.97 4/178 12654
/proc/meminfo: memFree=27693628/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=49148 CPUtime=0.29 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 11532 0 0 0 28 1 0 0 20 0 1 0 344037656 50327552 11478 33554432000 4194304 8395647 140737428397824 140737428261656 7382036 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12654/statm: 12287 11478 393 1026 0 11257 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49148
[startup+0.700305 s]
/proc/loadavg: 2.07 2.02 1.97 4/178 12654
/proc/meminfo: memFree=27693628/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=134188 CPUtime=0.69 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 32742 0 0 0 65 4 0 0 20 0 1 0 344037656 137408512 32329 33554432000 4194304 8395647 140737428397824 140737428261656 5029706 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12654/statm: 33547 32329 471 1026 0 32517 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134188
[startup+1.50029 s]
/proc/loadavg: 2.07 2.02 1.97 3/179 12655
/proc/meminfo: memFree=27536240/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=173804 CPUtime=1.49 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 43465 0 0 0 143 6 0 0 20 0 1 0 344037656 177975296 42215 33554432000 4194304 8395647 140737428397824 140737428393624 4967933 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12654/statm: 43451 42215 498 1026 0 42421 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 173804
[startup+3.10033 s]
/proc/loadavg: 2.06 2.02 1.97 3/179 12655
/proc/meminfo: memFree=27469900/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=338064 CPUtime=3.09 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 82765 0 0 0 297 12 0 0 20 0 1 0 344037656 346177536 81515 33554432000 4194304 8395647 140737428397824 140737428393688 6080688 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12654/statm: 84516 81515 498 1026 0 83486 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 338064
[startup+6.30032 s]
/proc/loadavg: 2.06 2.02 1.97 3/179 12655
/proc/meminfo: memFree=27325052/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=376176 CPUtime=6.29 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 91695 0 0 0 616 13 0 0 20 0 1 0 344037656 385204224 90445 33554432000 4194304 8395647 140737428397824 140737428393688 6080701 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12654/statm: 94044 90445 498 1026 0 93014 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 376176
[startup+12.7004 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 12655
/proc/meminfo: memFree=27241028/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=410608 CPUtime=12.68 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 99809 0 0 0 1254 14 0 0 20 0 1 0 344037656 420462592 98559 33554432000 4194304 8395647 140737428397824 140737428393688 6080688 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 102652 98559 498 1026 0 101622 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 410608
[startup+25.5004 s]
/proc/loadavg: 2.04 2.02 1.97 3/179 12655
/proc/meminfo: memFree=27160024/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=449708 CPUtime=25.48 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 109464 0 0 0 2532 16 0 0 20 0 1 0 344037656 460500992 108214 33554432000 4194304 8395647 140737428397824 140737428393688 6349013 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 112427 108214 498 1026 0 111397 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 449708
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 1.97 3/179 12655
/proc/meminfo: memFree=27020492/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=497164 CPUtime=51.08 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 121684 0 0 0 5089 19 0 0 20 0 1 0 344037656 509095936 120434 33554432000 4194304 8395647 140737428397824 140737428393688 6080679 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 124291 120434 498 1026 0 123261 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 497164
[startup+102.308 s]
/proc/loadavg: 2.07 2.02 1.98 3/179 12655
/proc/meminfo: memFree=26794236/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=591040 CPUtime=102.28 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 144629 0 0 0 10204 24 0 0 20 0 1 0 344037656 605224960 143379 33554432000 4194304 8395647 140737428397824 140737428393688 6080692 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 147760 143379 498 1026 0 146730 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 591040
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/179 12655
/proc/meminfo: memFree=26534236/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=773780 CPUtime=162.26 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 189748 0 0 0 16195 31 0 0 20 0 1 0 344037656 792350720 188498 33554432000 4194304 8395647 140737428397824 140737428393848 4911307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 193445 188498 507 1026 0 192415 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 773780
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/179 12656
/proc/meminfo: memFree=26243112/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=1063552 CPUtime=222.25 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 261395 0 0 0 22183 42 0 0 20 0 1 0 344037656 1089077248 260145 33554432000 4194304 8395647 140737428397824 140737428393896 4230937 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 265888 260145 513 1026 0 264858 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1063552
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/180 12659
/proc/meminfo: memFree=25976112/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=1316188 CPUtime=282.24 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 324843 0 0 0 28171 53 0 0 20 0 1 0 344037656 1347776512 323593 33554432000 4194304 8395647 140737428397824 140737428393896 5085437 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 329047 323593 513 1026 0 328017 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1316188
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12659
/proc/meminfo: memFree=25833472/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=1450380 CPUtime=342.23 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 358323 0 0 0 34165 58 0 0 20 0 1 0 344037656 1485189120 357073 33554432000 4194304 8395647 140737428397824 140737428393896 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 362595 357073 513 1026 0 361565 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1450380
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12659
/proc/meminfo: memFree=25635100/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=1561064 CPUtime=402.22 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 385723 0 0 0 40159 63 0 0 20 0 1 0 344037656 1598529536 384473 33554432000 4194304 8395647 140737428397824 140737428393848 5604430 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 390266 384473 513 1026 0 389236 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1561064
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12659
/proc/meminfo: memFree=25494884/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=1632900 CPUtime=462.21 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 402758 0 0 0 46157 64 0 0 20 0 1 0 344037656 1672089600 401508 33554432000 4194304 8395647 140737428397824 140737428393896 6080692 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 408225 401508 513 1026 0 407195 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1632900
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12659
/proc/meminfo: memFree=25302972/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=1742068 CPUtime=522.2 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 430858 0 0 0 52151 69 0 0 20 0 1 0 344037656 1783877632 429608 33554432000 4194304 8395647 140737428397824 140737428393896 6080688 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 435517 429608 513 1026 0 434487 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1742068
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/179 12660
/proc/meminfo: memFree=25104220/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=1876836 CPUtime=582.2 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 462796 0 0 0 58146 74 0 0 20 0 1 0 344037656 1921880064 461546 33554432000 4194304 8395647 140737428397824 140737428393896 5604422 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 469209 461546 513 1026 0 468179 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1876836
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24072080/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=2643388 CPUtime=1002.1 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 650605 0 0 0 100108 102 0 0 20 0 1 0 344037656 2706829312 650065 33554432000 4194304 8395647 140737428397824 140737428393896 6080692 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 660847 650065 513 1026 0 659817 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 2643388
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 1.99 3/179 12664
/proc/meminfo: memFree=23921944/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=2770384 CPUtime=1062.09 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 681441 0 0 0 106102 107 0 0 20 0 1 0 344037656 2836873216 681391 33554432000 4194304 8395647 140737428397824 140737428393512 4911307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 692596 681391 513 1026 0 691566 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 2770384
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 12664
/proc/meminfo: memFree=23793260/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=2870836 CPUtime=1122.08 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 706341 0 0 0 112098 110 0 0 20 0 1 0 344037656 2939736064 707096 33554432000 4194304 8395647 140737428397824 140737428393512 6080679 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 717709 707096 513 1026 0 716679 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 2870836
[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 12665
/proc/meminfo: memFree=23724344/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=2941160 CPUtime=1182.07 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 723647 0 0 0 118095 112 0 0 20 0 1 0 344037656 3011747840 724402 33554432000 4194304 8395647 140737428397824 140737428393896 6080665 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 735290 724402 513 1026 0 734260 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 2941160
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12665
/proc/meminfo: memFree=23624180/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3040996 CPUtime=1242.06 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 747870 0 0 0 124091 115 0 0 20 0 1 0 344037656 3113979904 748634 33554432000 4194304 8395647 140737428397824 140737428393896 6080679 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 760249 748634 513 1026 0 759219 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 3040996
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12665
/proc/meminfo: memFree=23524884/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3138288 CPUtime=1302.06 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 771637 0 0 0 130086 120 0 0 20 0 1 0 344037656 3213606912 772415 33554432000 4194304 8395647 140737428397824 140737428393896 6080653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 784572 772415 513 1026 0 783542 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 3138288
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12665
/proc/meminfo: memFree=23413808/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3251792 CPUtime=1362.04 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 798801 0 0 0 136081 123 0 0 20 0 1 0 344037656 3329835008 799670 33554432000 4194304 8395647 140737428397824 140737428393896 5608699 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 812948 799670 513 1026 0 811918 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 3251792
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12665
/proc/meminfo: memFree=23323936/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3337912 CPUtime=1422.03 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 820379 0 0 0 142076 127 0 0 20 0 1 0 344037656 3418021888 821264 33554432000 4194304 8395647 140737428397824 140737428393896 6080661 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 834478 821264 513 1026 0 833448 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 3337912
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12669
/proc/meminfo: memFree=23213424/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3440600 CPUtime=1482.02 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 845165 0 0 0 148070 132 0 0 20 0 1 0 344037656 3523174400 846133 33554432000 4194304 8395647 140737428397824 140737428393896 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 860150 846133 513 1026 0 859120 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 3440600
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12669
/proc/meminfo: memFree=23088888/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3532596 CPUtime=1541.99 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 867798 0 0 0 154064 135 0 0 20 0 1 0 344037656 3617378304 869039 33554432000 4194304 8395647 140737428397824 140737428393896 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 883149 869039 513 1026 0 882119 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 3532596
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12669
/proc/meminfo: memFree=22968760/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3630188 CPUtime=1601.99 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 891322 0 0 0 160058 141 0 0 20 0 1 0 344037656 3717312512 892666 33554432000 4194304 8395647 140737428397824 140737428393896 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 907547 892666 513 1026 0 906517 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 3630188
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12669
/proc/meminfo: memFree=22856444/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3721196 CPUtime=1661.98 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 913616 0 0 0 166054 144 0 0 20 0 1 0 344037656 3810504704 915401 33554432000 4194304 8395647 140737428397824 140737428393896 6080661 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 930299 915401 513 1026 0 929269 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 3721196
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12669
/proc/meminfo: memFree=22730364/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3820860 CPUtime=1721.97 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 937948 0 0 0 172049 148 0 0 20 0 1 0 344037656 3912560640 940107 33554432000 4194304 8395647 140737428397824 140737428393896 6080665 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 955215 940107 513 1026 0 954185 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 3820860
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12708
/proc/meminfo: memFree=23694924/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3920464 CPUtime=1781.95 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 962253 0 0 0 178043 152 0 0 20 0 1 0 344037656 4014555136 964878 33554432000 4194304 8395647 140737428397824 140737428393896 6080661 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 980116 964878 513 1026 0 979086 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 3920464
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12708
/proc/meminfo: memFree=22995476/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3924360 CPUtime=1785.15 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 963335 0 0 0 178362 153 0 0 20 0 1 0 344037656 4018544640 966037 33554432000 4194304 8395647 140737428397824 140737428393896 6080705 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 981090 966037 513 1026 0 980060 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 3924360
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12708
/proc/meminfo: memFree=22577532/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3930196 CPUtime=1788.35 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 964635 0 0 0 178682 153 0 0 20 0 1 0 344037656 4024520704 967337 33554432000 4194304 8395647 140737428397824 140737428393896 6080665 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 982549 967337 513 1026 0 981519 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 3930196
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12708
/proc/meminfo: memFree=22577532/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3931152 CPUtime=1789.15 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 964935 0 0 0 178762 153 0 0 20 0 1 0 344037656 4025499648 967637 33554432000 4194304 8395647 140737428397824 140737428393896 6080665 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 982788 967637 513 1026 0 981758 0
Current children cumulated CPU time (s) 1789.15
Current children cumulated vsize (KiB) 3931152
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12708
/proc/meminfo: memFree=22575184/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=3932144 CPUtime=1789.55 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 965230 0 0 0 178802 153 0 0 20 0 1 0 344037656 4026515456 967932 33554432000 4194304 8395647 140737428397824 140737428393896 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 983036 967932 513 1026 0 982006 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 3932144
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12708
/proc/meminfo: memFree=22575184/32873844 swapFree=7124/7124
[pid=12654] ppid=12652 vsize=2861996 CPUtime=1789.95 cores=0,2,4,6
/proc/12654/stat : 12654 (pbscip.linux.x8) R 12652 12654 12290 0 -1 4202496 965517 0 0 0 178832 163 0 0 20 0 1 0 344037656 2930683904 195902 33554432000 4194304 8395647 140737428397824 140737428393656 7602442 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12654/statm: 715499 195597 521 1026 0 714469 0
Current children cumulated CPU time (s) 1789.95
Current children cumulated vsize (KiB) 2861996
Child status: 0
Real time (s): 1790.37
CPU time (s): 1790.03
CPU user time (s): 1788.34
CPU system time (s): 1.68674
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 3933168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.34
system time used= 1.68674
maximum resident set size= 3872872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 965530
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= 68
involuntary context switches= 1962
runsolver used 6.08308 second user time and 18.7142 second system time
The end