0.28/0.39 c SCIP version 1.1.0.7
0.28/0.39 c LP-Solver SoPlex 1.4.1
0.28/0.39 c user parameter file <scip.set> not found - using default parameters
0.28/0.39 c read problem <HOME/instance-3742926-1338799244.opb>
0.28/0.39 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.48/0.58 c start presolving problem
0.48/0.58 c presolving:
0.69/0.70 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.69/0.75 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.69/0.78 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.78/0.81 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.78/0.85 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
0.78/0.88 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
0.88/0.90 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
0.88/0.93 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
0.88/0.95 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
0.88/0.97 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
152.56/152.68 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
152.66/152.78 c (round 12) 3721 del vars, 4149 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9599212 impls, 551 clqs
181.47/181.52 c (180.6s) probing: 1000/37282 (2.7%) - 64 fixings, 9 aggregations, 1353974 implications, 0 bound changes
231.35/231.46 c (230.4s) probing: 2000/37282 (5.4%) - 65 fixings, 31 aggregations, 3756801 implications, 0 bound changes
285.74/285.89 c (284.7s) probing: 3000/37282 (8.0%) - 69 fixings, 39 aggregations, 6364376 implications, 0 bound changes
393.32/393.42 c (392.1s) probing: 4000/37282 (10.7%) - 69 fixings, 45 aggregations, 10493359 implications, 0 bound changes
407.42/407.51 c (round 13) 3771 del vars, 4149 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36523400 impls, 551 clqs
407.42/407.57 c (round 14) 3771 del vars, 4157 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36523400 impls, 551 clqs
445.71/445.86 c (444.5s) probing: 5000/37282 (13.4%) - 69 fixings, 49 aggregations, 12144059 implications, 0 bound changes
567.70/567.85 c (566.3s) probing: 6000/37282 (16.1%) - 74 fixings, 56 aggregations, 16355278 implications, 0 bound changes
712.59/712.70 c (711.0s) probing: 7000/37282 (18.8%) - 75 fixings, 65 aggregations, 20837156 implications, 0 bound changes
847.86/848.01 c (846.2s) probing: 8000/37282 (21.5%) - 77 fixings, 72 aggregations, 24714500 implications, 0 bound changes
1004.43/1004.66 c (1002.7s) probing: 9000/37282 (24.1%) - 78 fixings, 77 aggregations, 29309386 implications, 0 bound changes
1149.01/1149.20 c (1147.0s) probing: 10000/37282 (26.8%) - 80 fixings, 84 aggregations, 33348493 implications, 0 bound changes
1162.60/1162.80 c (round 15) 3821 del vars, 4157 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 85543446 impls, 551 clqs
1162.60/1162.86 c (round 16) 3821 del vars, 4168 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 85543446 impls, 551 clqs
1286.79/1287.06 c (1284.8s) probing: 11000/37282 (29.5%) - 82 fixings, 91 aggregations, 37020196 implications, 0 bound changes
1437.87/1438.12 c (1435.7s) probing: 12000/37282 (32.2%) - 84 fixings, 97 aggregations, 41160434 implications, 0 bound changes
1587.34/1587.68 c (1585.1s) probing: 13000/37282 (34.9%) - 85 fixings, 105 aggregations, 45117109 implications, 0 bound changes
1731.73/1732.09 c (1729.4s) probing: 14000/37282 (37.6%) - 87 fixings, 111 aggregations, 48971388 implications, 0 bound changes
1793.51/1793.85 c (1791.1s) probing: 14420/37282 (38.7%) - 87 fixings, 114 aggregations, 50649418 implications, 0 bound changes
1793.51/1793.85 c (1791.1s) probing aborted: solving stopped
1793.51/1793.85 c (round 17) 3856 del vars, 4168 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 122146766 impls, 551 clqs
1793.51/1793.85 c presolving (17 rounds):
1793.51/1793.85 c 3856 deleted vars, 4168 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.51/1793.85 c 122146766 implications, 551 cliques
1793.51/1793.85 c presolving was interrupted.
1793.51/1793.85 c Presolving Time: 1790.98
1793.51/1793.85 c OPT-LIN
1793.51/1793.85 c -----------------------------------------------------------------------------------------------
1793.51/1793.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1793.51/1793.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.51/1793.85 c limits/memory = c 13950
1793.51/1793.85 c # maximal time in seconds to run
1793.51/1793.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.51/1793.85 c limits/time = c 1791
1793.51/1793.85 c # frequency for displaying node information lines
1793.51/1793.85 c # [type: int, range: [-1,2147483647], default: 100]
1793.51/1793.85 c display/freq = c 10000
1793.51/1793.85 c -----------------------------------------------------------------------------------------------
1793.51/1793.85 c start solving problem
1793.51/1793.85 c presolving:
1793.51/1793.85 c presolving (17 rounds):
1793.51/1793.85 c 3856 deleted vars, 4168 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.51/1793.85 c 122146766 implications, 551 cliques
1793.51/1793.85 c presolving was interrupted.
1793.51/1793.85 c Presolving Time: 1790.98
1793.51/1793.85 c
1793.51/1793.85 c SCIP Status : solving was interrupted [time limit reached]
1793.51/1793.85 c Solving Time (sec) : 1791.07
1793.51/1793.85 c Solving Nodes : 0
1793.51/1793.85 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.51/1793.85 c NODE 0
1793.51/1793.85 c DUAL BOUND -1e+20
1793.51/1793.85 c PRIMAL BOUND 1e+20
1793.51/1793.85 c GAP 1e+20
1793.51/1793.85 s UNKNOWN
1793.51/1793.85 c SCIP Status : solving was interrupted [time limit reached]
1793.51/1793.85 c Solving Time : 1791.07
1793.51/1793.85 c Original Problem :
1793.51/1793.85 c Problem name : HOME/instance-3742926-1338799244.opb
1793.51/1793.85 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.51/1793.85 c Constraints : 41436 initial, 41436 maximal
1793.51/1793.85 c Presolved Problem :
1793.51/1793.85 c Problem name : t_HOME/instance-3742926-1338799244.opb
1793.51/1793.85 c Variables : 37081 (37081 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.51/1793.85 c Constraints : 37268 initial, 37268 maximal
1793.51/1793.85 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.51/1793.85 c trivial : 0.03 123 0 0 0 0 0 0 0
1793.51/1793.85 c dualfix : 0.04 0 0 0 0 0 0 0 0
1793.51/1793.85 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.51/1793.85 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.51/1793.85 c implics : 0.02 0 1 0 0 0 0 0 0
1793.51/1793.85 c probing : 1790.09 87 114 0 0 0 0 0 0
1793.51/1793.85 c knapsack : 0.11 0 0 0 0 0 0 0 0
1793.51/1793.85 c setppc : 0.01 0 0 0 0 0 0 0 0
1793.51/1793.85 c linear : 0.46 3531 0 0 3531 0 4088 0 0
1793.51/1793.85 c logicor : 0.09 0 0 0 0 0 80 0 0
1793.51/1793.85 c root node : - 0 - - 0 - - - -
1793.51/1793.85 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.51/1793.85 c integral : 0 0 0 0 0 0 0 0 0 0
1793.51/1793.85 c knapsack : 0+ 0 203044 0 0 0 0 0 0 0
1793.51/1793.85 c setppc : 0+ 0 200204 0 0 25 0 0 0 0
1793.51/1793.85 c linear : 0+ 0 2839 0 0 0 0 0 0 0
1793.51/1793.85 c logicor : 0+ 0 190693 0 0 4 0 0 0 0
1793.51/1793.85 c countsols : 0 0 0 0 0 0 0 0 0 0
1793.51/1793.85 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.51/1793.85 c integral : 0.00 0.00 0.00 0.00 0.00
1793.51/1793.85 c knapsack : 0.06 0.00 0.06 0.00 0.00
1793.51/1793.85 c setppc : 2.00 0.00 2.00 0.00 0.00
1793.51/1793.85 c linear : 3.12 0.00 3.12 0.00 0.00
1793.51/1793.85 c logicor : 89.64 0.00 89.64 0.00 0.00
1793.51/1793.85 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.51/1793.85 c Propagators : Time Calls Cutoffs DomReds
1793.51/1793.85 c rootredcost : 0.04 0 0 0
1793.51/1793.85 c pseudoobj : 0.01 0 0 0
1793.51/1793.85 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.51/1793.85 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.51/1793.85 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.51/1793.85 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.51/1793.85 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.51/1793.85 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.51/1793.85 c applied globally : - - - 0 0.0 - - -
1793.51/1793.85 c applied locally : - - - 0 0.0 - - -
1793.91/1794.23 c Time complete: 1793.94.
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-3742926-1338799244/watcher-3742926-1338799244 -o /tmp/evaluation-result-3742926-1338799244/solver-3742926-1338799244 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3742926-1338799244.opb
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.04 2.01 1.91 3/177 17648
/proc/meminfo: memFree=26303016/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=8980 CPUtime=0 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 1574 0 0 0 0 0 0 0 20 0 1 0 346048817 9195520 1527 33554432000 4194304 7823515 140737133224752 140737227336888 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17648/statm: 2245 1537 354 887 0 1355 0
[startup+0.038308 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 17648
/proc/meminfo: memFree=26303016/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=15076 CPUtime=0.03 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 3106 0 0 0 3 0 0 0 20 0 1 0 346048817 15437824 3058 33554432000 4194304 7823515 140737133224752 140737227336888 6908057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17648/statm: 3769 3058 354 887 0 2879 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15076
[startup+0.100272 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 17648
/proc/meminfo: memFree=26303016/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=21848 CPUtime=0.08 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 4799 0 0 0 8 0 0 0 20 0 1 0 346048817 22372352 4751 33554432000 4194304 7823515 140737133224752 140737227336888 6908032 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17648/statm: 5462 4751 354 887 0 4572 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21848
[startup+0.300244 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 17648
/proc/meminfo: memFree=26303016/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=48556 CPUtime=0.28 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 11488 0 0 0 27 1 0 0 20 0 1 0 346048817 49721344 11440 33554432000 4194304 7823515 140737133224752 140737133090856 5879390 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17648/statm: 12139 11440 354 887 0 11249 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48556
[startup+0.700251 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 17648
/proc/meminfo: memFree=26303016/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=130332 CPUtime=0.69 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 31954 0 0 0 62 7 0 0 20 0 1 0 346048817 133459968 31548 33554432000 4194304 7823515 140737133224752 140737133222296 4401518 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17648/statm: 32583 31548 431 887 0 31693 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 130332
[startup+1.50026 s]
/proc/loadavg: 2.04 2.01 1.91 3/178 17649
/proc/meminfo: memFree=26160152/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=167512 CPUtime=1.49 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 42150 0 0 0 133 16 0 0 20 0 1 0 346048817 171532288 40906 33554432000 4194304 7823515 140737133224752 140737133222376 5028821 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17648/statm: 41878 40906 449 887 0 40988 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 167512
[startup+3.10034 s]
/proc/loadavg: 2.04 2.01 1.91 3/178 17649
/proc/meminfo: memFree=26084876/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=332212 CPUtime=3.09 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 81323 0 0 0 287 22 0 0 20 0 1 0 346048817 340185088 80079 33554432000 4194304 7823515 140737133224752 140737133220616 5803608 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17648/statm: 83053 80079 449 887 0 82163 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 332212
[startup+6.30038 s]
/proc/loadavg: 2.04 2.01 1.91 3/178 17649
/proc/meminfo: memFree=25925784/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=370320 CPUtime=6.28 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 90295 0 0 0 605 23 0 0 20 0 1 0 346048817 379207680 89051 33554432000 4194304 7823515 140737133224752 140737133220616 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 92580 89051 449 887 0 91690 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 370320
[startup+12.7004 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 17649
/proc/meminfo: memFree=25845628/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=403828 CPUtime=12.68 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 98180 0 0 0 1244 24 0 0 20 0 1 0 346048817 413519872 96936 33554432000 4194304 7823515 140737133224752 140737133220616 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 100957 96936 449 887 0 100067 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 403828
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 17649
/proc/meminfo: memFree=25735464/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=444128 CPUtime=25.48 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 108121 0 0 0 2520 28 0 0 20 0 1 0 346048817 454787072 106877 33554432000 4194304 7823515 140737133224752 140737133221448 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 111032 106877 449 887 0 110142 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 444128
[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 17649
/proc/meminfo: memFree=25602860/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=490776 CPUtime=51.08 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 120129 0 0 0 5076 32 0 0 20 0 1 0 346048817 502554624 118885 33554432000 4194304 7823515 140737133224752 140737133220616 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 122694 118885 449 887 0 121804 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 490776
[startup+102.307 s]
/proc/loadavg: 2.04 2.02 1.92 3/177 17649
/proc/meminfo: memFree=25358624/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=597320 CPUtime=102.27 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 146326 0 0 0 10189 38 0 0 20 0 1 0 346048817 611655680 145082 33554432000 4194304 7823515 140737133224752 140737133221448 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 149330 145082 449 887 0 148440 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 597320
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 17650
/proc/meminfo: memFree=24963588/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=768764 CPUtime=162.26 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 188508 0 0 0 16178 48 0 0 20 0 1 0 346048817 787214336 187264 33554432000 4194304 7823515 140737133224752 140737133221448 4817293 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 192191 187264 461 887 0 191301 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 768764
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 17650
/proc/meminfo: memFree=24456084/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=1073628 CPUtime=222.25 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 264329 0 0 0 22163 62 0 0 20 0 1 0 346048817 1099395072 263085 33554432000 4194304 7823515 140737133224752 140737133220616 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 268407 263085 466 887 0 267517 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1073628
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/177 17650
/proc/meminfo: memFree=24120196/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=1323136 CPUtime=282.24 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 326532 0 0 0 28148 76 0 0 20 0 1 0 346048817 1354891264 325288 33554432000 4194304 7823515 140737133224752 140737133221448 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 330784 325288 466 887 0 329894 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1323136
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 17650
/proc/meminfo: memFree=23853996/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=1445360 CPUtime=342.23 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 356693 0 0 0 34140 83 0 0 20 0 1 0 346048817 1480048640 355449 33554432000 4194304 7823515 140737133224752 140737133221432 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 361340 355449 466 887 0 360450 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1445360
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 17650
/proc/meminfo: memFree=23655872/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=1540332 CPUtime=402.22 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 380726 0 0 0 40134 88 0 0 20 0 1 0 346048817 1577299968 379482 33554432000 4194304 7823515 140737133224752 140737133220808 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 385083 379482 466 887 0 384193 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1540332
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 17651
/proc/meminfo: memFree=23395500/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=1664408 CPUtime=462.22 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 410786 0 0 0 46125 97 0 0 20 0 1 0 346048817 1704353792 409542 33554432000 4194304 7823515 140737133224752 140737133221448 4817523 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 416102 409542 466 887 0 415212 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1664408
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 17651
/proc/meminfo: memFree=23190556/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=1752896 CPUtime=522.21 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 433383 0 0 0 52119 102 0 0 20 0 1 0 346048817 1794965504 432139 33554432000 4194304 7823515 140737133224752 140737133221448 5803635 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 438224 432139 466 887 0 437334 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1752896
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 17654
/proc/meminfo: memFree=22928564/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=1883688 CPUtime=582.2 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 464847 0 0 0 58111 109 0 0 20 0 1 0 346048817 1928896512 463603 33554432000 4194304 7823515 140737133224752 140737133220808 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 470922 463603 466 887 0 470032 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1883688
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=21067584/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=2805396 CPUtime=1122.12 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 690293 0 0 0 112053 159 0 0 20 0 1 0 346048817 2872725504 689049 33554432000 4194304 7823515 140737133224752 140737133221448 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 701349 689049 466 887 0 700459 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2805396
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17659
/proc/meminfo: memFree=20892392/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=2881452 CPUtime=1182.1 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 709207 0 0 0 118045 165 0 0 20 0 1 0 346048817 2950606848 707963 33554432000 4194304 7823515 140737133224752 140737133221448 4817501 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 720363 707963 466 887 0 719473 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2881452
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17682
/proc/meminfo: memFree=20703692/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=2967344 CPUtime=1242.09 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 730199 0 0 0 124040 169 0 0 20 0 1 0 346048817 3038560256 728955 33554432000 4194304 7823515 140737133224752 140737133221432 5803600 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 741836 728955 466 887 0 740946 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2967344
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 17682
/proc/meminfo: memFree=20519092/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3052580 CPUtime=1302.1 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 750796 0 0 0 130035 175 0 0 20 0 1 0 346048817 3125841920 749552 33554432000 4194304 7823515 140737133224752 140737133221448 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 763145 749552 466 887 0 762255 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3052580
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 17683
/proc/meminfo: memFree=20324564/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3140080 CPUtime=1362.08 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 772322 0 0 0 136029 179 0 0 20 0 1 0 346048817 3215441920 771078 33554432000 4194304 7823515 140737133224752 140737133221448 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 785020 771078 466 887 0 784130 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3140080
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 1.94 3/177 17683
/proc/meminfo: memFree=20110444/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3246800 CPUtime=1422.08 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 797482 0 0 0 142023 185 0 0 20 0 1 0 346048817 3324723200 796238 33554432000 4194304 7823515 140737133224752 140737133221448 5803658 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 811700 796238 466 887 0 810810 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3246800
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 17683
/proc/meminfo: memFree=19931052/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3323116 CPUtime=1482.06 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 817278 0 0 0 148017 189 0 0 20 0 1 0 346048817 3402870784 816034 33554432000 4194304 7823515 140737133224752 140737133221448 5803662 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 830779 816034 466 887 0 829889 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3323116
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 17684
/proc/meminfo: memFree=19743336/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3406300 CPUtime=1542.05 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 837322 0 0 0 154011 194 0 0 20 0 1 0 346048817 3488051200 836078 33554432000 4194304 7823515 140737133224752 140737133221448 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 851575 836078 466 887 0 850685 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3406300
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 1.94 3/177 17684
/proc/meminfo: memFree=19552652/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3494308 CPUtime=1602.04 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 858454 0 0 0 160006 198 0 0 20 0 1 0 346048817 3578171392 857210 33554432000 4194304 7823515 140737133224752 140737133221448 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 873577 857210 466 887 0 872687 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3494308
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 17685
/proc/meminfo: memFree=19364820/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3581388 CPUtime=1662.03 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 879669 0 0 0 166001 202 0 0 20 0 1 0 346048817 3667341312 878425 33554432000 4194304 7823515 140737133224752 140737133221448 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 895347 878425 466 887 0 894457 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3581388
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/177 17685
/proc/meminfo: memFree=19156900/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3678848 CPUtime=1722.02 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 903375 0 0 0 171995 207 0 0 20 0 1 0 346048817 3767140352 902131 33554432000 4194304 7823515 140737133224752 140737133221448 5803662 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 919712 902131 466 887 0 918822 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3678848
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 17688
/proc/meminfo: memFree=18971788/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3760104 CPUtime=1782.01 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 923219 0 0 0 177991 210 0 0 20 0 1 0 346048817 3850346496 921975 33554432000 4194304 7823515 140737133224752 140737133221448 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 940026 921975 466 887 0 939136 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3760104
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 17688
/proc/meminfo: memFree=18962116/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3764928 CPUtime=1785.22 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 924439 0 0 0 178311 211 0 0 20 0 1 0 346048817 3855286272 923195 33554432000 4194304 7823515 140737133224752 140737133221448 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 941232 923195 466 887 0 940342 0
Current children cumulated CPU time (s) 1785.22
Current children cumulated vsize (KiB) 3764928
[startup+1788.7 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 17726
/proc/meminfo: memFree=22688164/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3768820 CPUtime=1788.41 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 925349 0 0 0 178630 211 0 0 20 0 1 0 346048817 3859271680 924105 33554432000 4194304 7823515 140737133224752 140737133221448 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 942205 924105 466 887 0 941315 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 3768820
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 17726
/proc/meminfo: memFree=22529064/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3776708 CPUtime=1791.62 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 927269 0 0 0 178950 212 0 0 20 0 1 0 346048817 3867348992 926119 33554432000 4194304 7823515 140737133224752 140737133221448 5879248 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 944177 926119 466 887 0 943287 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 3776708
[startup+1793.5 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 17726
/proc/meminfo: memFree=22528072/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3777692 CPUtime=1793.21 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 927516 0 0 0 179109 212 0 0 20 0 1 0 346048817 3868356608 926366 33554432000 4194304 7823515 140737133224752 140737133221448 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 944423 926366 466 887 0 943533 0
Current children cumulated CPU time (s) 1793.21
Current children cumulated vsize (KiB) 3777692
[startup+1793.9 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 17726
/proc/meminfo: memFree=22528072/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=3778716 CPUtime=1793.61 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 927782 0 0 0 179149 212 0 0 20 0 1 0 346048817 3869405184 926632 33554432000 4194304 7823515 140737133224752 140737133220072 4813895 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 944679 926632 476 887 0 943789 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (KiB) 3778716
[startup+1794.11 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 17726
/proc/meminfo: memFree=22747800/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=2858948 CPUtime=1793.81 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 927784 0 0 0 179157 224 0 0 20 0 1 0 346048817 2927562752 441746 33554432000 4194304 7823515 140737133224752 140737133220072 7132266 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 714737 441317 478 887 0 713847 0
Current children cumulated CPU time (s) 1793.81
Current children cumulated vsize (KiB) 2858948
[startup+1794.2 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 17726
/proc/meminfo: memFree=22747800/32873844 swapFree=7628/7628
[pid=17648] ppid=17646 vsize=695000 CPUtime=1793.91 cores=0,2,4,6
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 17511 0 -1 4202496 927787 0 0 0 179159 232 0 0 20 0 1 0 346048817 711680000 149744 33554432000 4194304 7823515 140737133224752 140737133220072 7132266 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17648/statm: 173750 149744 481 887 0 172860 0
Current children cumulated CPU time (s) 1793.91
Current children cumulated vsize (KiB) 695000
Child status: 0
Real time (s): 1794.24
CPU time (s): 1793.96
CPU user time (s): 1791.6
CPU system time (s): 2.35764
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 3778716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.6
system time used= 2.35764
maximum resident set size= 3706528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 927796
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= 8
involuntary context switches= 2102
runsolver used 3.2675 second user time and 8.78066 second system time
The end