0.29/0.39 c SCIP version 1.1.0.7
0.29/0.39 c LP-Solver SoPlex 1.4.1
0.29/0.39 c user parameter file <scip.set> not found - using default parameters
0.29/0.39 c read problem <HOME/instance-3743080-1338801837.opb>
0.29/0.39 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.49/0.57 c start presolving problem
0.49/0.57 c presolving:
0.59/0.69 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.73 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.76 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.69/0.79 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.79/0.82 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.79/0.85 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.79/0.87 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.89/0.90 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.89/0.92 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.89/0.94 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
175.85/175.94 c (round 11) 3720 del vars, 4088 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 8924290 impls, 551 clqs
175.95/176.05 c (round 12) 3720 del vars, 4148 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 8924460 impls, 551 clqs
179.05/179.18 c (round 13) 3774 del vars, 4148 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9910386 impls, 551 clqs
179.16/179.21 c (round 14) 3774 del vars, 4202 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9910386 impls, 551 clqs
208.55/208.66 c (207.7s) probing: 1000/37282 (2.7%) - 117 fixings, 9 aggregations, 1485554 implications, 0 bound changes
253.54/253.62 c (252.6s) probing: 2000/37282 (5.4%) - 118 fixings, 29 aggregations, 3650551 implications, 0 bound changes
312.34/312.46 c (311.3s) probing: 3000/37282 (8.0%) - 122 fixings, 39 aggregations, 6378217 implications, 0 bound changes
420.22/420.35 c (419.0s) probing: 4000/37282 (10.7%) - 122 fixings, 46 aggregations, 10501244 implications, 0 bound changes
435.21/435.37 c (round 15) 3824 del vars, 4202 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36636582 impls, 551 clqs
435.31/435.42 c (round 16) 3824 del vars, 4211 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36636582 impls, 551 clqs
472.50/472.68 c (471.3s) probing: 5000/37282 (13.4%) - 123 fixings, 49 aggregations, 12184800 implications, 0 bound changes
593.49/593.69 c (592.1s) probing: 6000/37282 (16.1%) - 126 fixings, 52 aggregations, 16459695 implications, 0 bound changes
728.08/728.23 c (726.5s) probing: 7000/37282 (18.8%) - 128 fixings, 65 aggregations, 20492936 implications, 0 bound changes
879.35/879.55 c (877.7s) probing: 8000/37282 (21.5%) - 130 fixings, 72 aggregations, 24856434 implications, 0 bound changes
1030.53/1030.75 c (1028.7s) probing: 9000/37282 (24.1%) - 131 fixings, 76 aggregations, 29314197 implications, 0 bound changes
1175.40/1175.63 c (1173.5s) probing: 10000/37282 (26.8%) - 133 fixings, 84 aggregations, 33282350 implications, 0 bound changes
1199.00/1199.25 c (round 17) 3874 del vars, 4211 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86081564 impls, 551 clqs
1199.09/1199.31 c (round 18) 3874 del vars, 4221 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86081564 impls, 551 clqs
1302.88/1303.15 c (1300.8s) probing: 11000/37282 (29.5%) - 135 fixings, 91 aggregations, 36689324 implications, 0 bound changes
1455.06/1455.32 c (1452.9s) probing: 12000/37282 (32.2%) - 137 fixings, 97 aggregations, 40886832 implications, 0 bound changes
1603.73/1604.00 c (1601.4s) probing: 13000/37282 (34.9%) - 138 fixings, 105 aggregations, 44834111 implications, 0 bound changes
1743.92/1744.20 c (1741.5s) probing: 14000/37282 (37.6%) - 140 fixings, 111 aggregations, 48604794 implications, 0 bound changes
1793.51/1793.82 c (1791.0s) probing: 14390/37282 (38.6%) - 140 fixings, 114 aggregations, 49948282 implications, 0 bound changes
1793.51/1793.82 c (1791.0s) probing aborted: solving stopped
1793.51/1793.82 c (round 19) 3909 del vars, 4221 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 120699094 impls, 551 clqs
1793.51/1793.82 c presolving (19 rounds):
1793.51/1793.82 c 3909 deleted vars, 4221 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.51/1793.82 c 120699094 implications, 551 cliques
1793.51/1793.82 c presolving was interrupted.
1793.51/1793.82 c Presolving Time: 1790.95
1793.51/1793.82 c OPT-LIN
1793.51/1793.82 c -----------------------------------------------------------------------------------------------
1793.51/1793.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1793.51/1793.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.51/1793.82 c limits/memory = c 13950
1793.51/1793.82 c # maximal time in seconds to run
1793.51/1793.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.51/1793.82 c limits/time = c 1791
1793.51/1793.82 c # frequency for displaying node information lines
1793.51/1793.82 c # [type: int, range: [-1,2147483647], default: 100]
1793.51/1793.82 c display/freq = c 10000
1793.51/1793.82 c -----------------------------------------------------------------------------------------------
1793.51/1793.82 c start solving problem
1793.51/1793.82 c presolving:
1793.51/1793.82 c presolving (19 rounds):
1793.51/1793.82 c 3909 deleted vars, 4221 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.51/1793.82 c 120699094 implications, 551 cliques
1793.51/1793.82 c presolving was interrupted.
1793.51/1793.82 c Presolving Time: 1790.95
1793.51/1793.82 c
1793.51/1793.82 c SCIP Status : solving was interrupted [time limit reached]
1793.51/1793.82 c Solving Time (sec) : 1791.04
1793.51/1793.82 c Solving Nodes : 0
1793.51/1793.82 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.51/1793.82 c NODE 0
1793.51/1793.82 c DUAL BOUND -1e+20
1793.51/1793.82 c PRIMAL BOUND 1e+20
1793.51/1793.82 c GAP 1e+20
1793.51/1793.82 s UNKNOWN
1793.51/1793.82 c SCIP Status : solving was interrupted [time limit reached]
1793.51/1793.82 c Solving Time : 1791.04
1793.51/1793.82 c Original Problem :
1793.51/1793.82 c Problem name : HOME/instance-3743080-1338801837.opb
1793.51/1793.82 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.51/1793.82 c Constraints : 41436 initial, 41436 maximal
1793.51/1793.82 c Presolved Problem :
1793.51/1793.82 c Problem name : t_HOME/instance-3743080-1338801837.opb
1793.51/1793.82 c Variables : 37028 (37028 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.51/1793.82 c Constraints : 37215 initial, 37215 maximal
1793.51/1793.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.51/1793.82 c trivial : 0.02 123 0 0 0 0 0 0 0
1793.51/1793.82 c dualfix : 0.07 0 0 0 0 0 0 0 0
1793.51/1793.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.51/1793.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.51/1793.82 c implics : 0.03 0 1 0 0 0 0 0 0
1793.51/1793.82 c probing : 1790.02 140 114 0 0 0 0 0 0
1793.51/1793.82 c knapsack : 0.10 0 0 0 0 0 0 0 0
1793.51/1793.82 c setppc : 0.03 0 0 0 0 0 0 0 0
1793.51/1793.82 c linear : 0.44 3531 0 0 3531 0 4088 0 0
1793.51/1793.82 c logicor : 0.10 0 0 0 0 0 133 0 0
1793.51/1793.82 c root node : - 0 - - 0 - - - -
1793.51/1793.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.51/1793.82 c integral : 0 0 0 0 0 0 0 0 0 0
1793.51/1793.82 c knapsack : 0+ 0 201586 0 0 0 0 0 0 0
1793.51/1793.82 c setppc : 0+ 0 199874 0 0 25 0 0 0 0
1793.51/1793.82 c linear : 0+ 0 1711 0 0 0 0 0 0 0
1793.51/1793.82 c logicor : 0+ 0 189222 0 0 5 0 0 0 0
1793.51/1793.82 c countsols : 0 0 0 0 0 0 0 0 0 0
1793.51/1793.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.51/1793.82 c integral : 0.00 0.00 0.00 0.00 0.00
1793.51/1793.82 c knapsack : 0.03 0.00 0.03 0.00 0.00
1793.51/1793.82 c setppc : 1.89 0.00 1.89 0.00 0.00
1793.51/1793.82 c linear : 1.41 0.00 1.41 0.00 0.00
1793.51/1793.82 c logicor : 86.95 0.00 86.95 0.00 0.00
1793.51/1793.82 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.51/1793.82 c Propagators : Time Calls Cutoffs DomReds
1793.51/1793.82 c rootredcost : 0.01 0 0 0
1793.51/1793.82 c pseudoobj : 0.01 0 0 0
1793.51/1793.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.51/1793.82 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.51/1793.82 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.51/1793.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.51/1793.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.51/1793.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.51/1793.82 c applied globally : - - - 0 0.0 - - -
1793.51/1793.82 c applied locally : - - - 0 0.0 - - -
1793.90/1794.20 c Time complete: 1793.91.
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-3743080-1338801837/watcher-3743080-1338801837 -o /tmp/evaluation-result-3743080-1338801837/solver-3743080-1338801837 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743080-1338801837.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.00 2.00 2.08 2/176 11137
/proc/meminfo: memFree=28642352/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=8732 CPUtime=0 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 1539 0 0 0 0 0 0 0 20 0 1 0 346308625 8941568 1492 33554432000 4194304 7823515 140734135336880 140733291754184 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11137/statm: 2183 1492 349 887 0 1293 0
[startup+0.0848291 s]
/proc/loadavg: 2.00 2.00 2.08 2/176 11137
/proc/meminfo: memFree=28642352/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=19476 CPUtime=0.08 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 4203 0 0 0 8 0 0 0 20 0 1 0 346308625 19943424 4156 33554432000 4194304 7823515 140734135336880 140733291754184 5537983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11137/statm: 4869 4156 354 887 0 3979 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19476
[startup+0.10026 s]
/proc/loadavg: 2.00 2.00 2.08 2/176 11137
/proc/meminfo: memFree=28642352/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=21732 CPUtime=0.09 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 4802 0 0 0 9 0 0 0 20 0 1 0 346308625 22253568 4755 33554432000 4194304 7823515 140734135336880 140733291754184 5538238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11137/statm: 5433 4755 354 887 0 4543 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21732
[startup+0.300217 s]
/proc/loadavg: 2.00 2.00 2.08 2/176 11137
/proc/meminfo: memFree=28642352/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=48656 CPUtime=0.29 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 11497 0 0 0 28 1 0 0 20 0 1 0 346308625 49823744 11450 33554432000 4194304 7823515 140734135336880 140734135201480 6908057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11137/statm: 12164 11450 354 887 0 11274 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48656
[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.08 2/176 11137
/proc/meminfo: memFree=28642352/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=130332 CPUtime=0.69 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 31955 0 0 0 64 5 0 0 20 0 1 0 346308625 133459968 31550 33554432000 4194304 7823515 140734135336880 140734135333016 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11137/statm: 32583 31550 431 887 0 31693 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 130332
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 11138
/proc/meminfo: memFree=28395784/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=170756 CPUtime=1.49 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 43008 0 0 0 135 14 0 0 20 0 1 0 346308625 174854144 41765 33554432000 4194304 7823515 140734135336880 140734135333560 5803658 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11137/statm: 42689 41765 449 887 0 41799 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 170756
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 11138
/proc/meminfo: memFree=28243016/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=313204 CPUtime=3.09 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 76635 0 0 0 290 19 0 0 20 0 1 0 346308625 320720896 75392 33554432000 4194304 7823515 140734135336880 140734135332744 6911832 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11137/statm: 78301 75392 449 887 0 77411 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 313204
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 11138
/proc/meminfo: memFree=27981228/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=345036 CPUtime=6.28 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 84688 0 0 0 608 20 0 0 20 0 1 0 346308625 353316864 83445 33554432000 4194304 7823515 140734135336880 140734135332744 4246027 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11137/statm: 86259 83445 449 887 0 85369 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 345036
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 11138
/proc/meminfo: memFree=27926360/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=402808 CPUtime=12.69 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 97840 0 0 0 1246 23 0 0 20 0 1 0 346308625 412475392 96597 33554432000 4194304 7823515 140734135336880 140734135332744 5803631 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11137/statm: 100702 96597 449 887 0 99812 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 402808
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 11138
/proc/meminfo: memFree=27825300/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=444132 CPUtime=25.48 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 107965 0 0 0 2523 25 0 0 20 0 1 0 346308625 454791168 106722 33554432000 4194304 7823515 140734135336880 140734135332744 5803619 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11137/statm: 111033 106722 449 887 0 110143 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 444132
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 11138
/proc/meminfo: memFree=27703500/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=489756 CPUtime=51.07 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 119650 0 0 0 5079 28 0 0 20 0 1 0 346308625 501510144 118407 33554432000 4194304 7823515 140734135336880 140734135333576 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 122439 118407 449 887 0 121549 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 489756
[startup+102.308 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 11138
/proc/meminfo: memFree=27522628/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=582212 CPUtime=102.27 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 142068 0 0 0 10195 32 0 0 20 0 1 0 346308625 596185088 140825 33554432000 4194304 7823515 140734135336880 140734135333576 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 145553 140825 449 887 0 144663 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 582212
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 11138
/proc/meminfo: memFree=27305160/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=717672 CPUtime=162.25 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 175050 0 0 0 16187 38 0 0 20 0 1 0 346308625 734896128 173807 33554432000 4194304 7823515 140734135336880 140734135333560 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 179418 173807 449 887 0 178528 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 717672
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 11138
/proc/meminfo: memFree=26924632/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=939924 CPUtime=222.25 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 230629 0 0 0 22171 54 0 0 20 0 1 0 346308625 962482176 229386 33554432000 4194304 7823515 140734135336880 140734135333576 4243040 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 234981 229386 466 887 0 234091 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 939924
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/176 11138
/proc/meminfo: memFree=26398660/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=1202472 CPUtime=282.24 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 296420 0 0 0 28155 69 0 0 20 0 1 0 346308625 1231331328 295177 33554432000 4194304 7823515 140734135336880 140734135333576 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 300618 295177 466 887 0 299728 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1202472
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11140
/proc/meminfo: memFree=25986512/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=1395056 CPUtime=342.22 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 344492 0 0 0 34143 79 0 0 20 0 1 0 346308625 1428537344 343249 33554432000 4194304 7823515 140734135336880 140734135333576 6911743 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 348764 343249 466 887 0 347874 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1395056
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 11143
/proc/meminfo: memFree=25818140/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=1444464 CPUtime=402.22 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 356844 0 0 0 40138 84 0 0 20 0 1 0 346308625 1479131136 355601 33554432000 4194304 7823515 140734135336880 140734135333576 4263286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 361116 355601 466 887 0 360226 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1444464
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 11143
/proc/meminfo: memFree=25603408/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=1578844 CPUtime=462.21 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 389973 0 0 0 46129 92 0 0 20 0 1 0 346308625 1616736256 388730 33554432000 4194304 7823515 140734135336880 140734135333560 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 394711 388730 466 887 0 393821 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1578844
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 11144
/proc/meminfo: memFree=25356296/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=1723656 CPUtime=522.2 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 426578 0 0 0 52120 100 0 0 20 0 1 0 346308625 1765023744 425335 33554432000 4194304 7823515 140734135336880 140734135333576 5803604 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 430914 425335 466 887 0 430024 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1723656
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 11144
/proc/meminfo: memFree=25141316/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=1811136 CPUtime=582.19 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 447924 0 0 0 58114 105 0 0 20 0 1 0 346308625 1854603264 446681 33554432000 4194304 7823515 140734135336880 140734135333576 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 452784 446681 466 887 0 451894 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1811136
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23347660/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=2769152 CPUtime=1122.11 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 681721 0 0 0 112056 155 0 0 20 0 1 0 346308625 2835611648 680478 33554432000 4194304 7823515 140734135336880 140734135333560 5802376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 692288 680478 466 887 0 691398 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 2769152
[startup+1182.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 11149
/proc/meminfo: memFree=23180288/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=2860956 CPUtime=1182.1 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 704303 0 0 0 118050 160 0 0 20 0 1 0 346308625 2929618944 703060 33554432000 4194304 7823515 140734135336880 140734135333560 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 715239 703060 466 887 0 714349 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2860956
[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 11150
/proc/meminfo: memFree=22994812/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=2940940 CPUtime=1242.09 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 724293 0 0 0 124043 166 0 0 20 0 1 0 346308625 3011522560 723050 33554432000 4194304 7823515 140734135336880 140734135333576 4263286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 735235 723050 466 887 0 734345 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2940940
[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 11150
/proc/meminfo: memFree=22820744/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3034888 CPUtime=1302.09 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 747000 0 0 0 130038 171 0 0 20 0 1 0 346308625 3107725312 745757 33554432000 4194304 7823515 140734135336880 140734135333576 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 758722 745757 466 887 0 757832 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3034888
[startup+1362.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 11150
/proc/meminfo: memFree=22666144/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3117120 CPUtime=1362.07 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 767058 0 0 0 136032 175 0 0 20 0 1 0 346308625 3191930880 765815 33554432000 4194304 7823515 140734135336880 140734135333576 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 779280 765815 466 887 0 778390 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3117120
[startup+1422.31 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 11150
/proc/meminfo: memFree=22493316/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3207092 CPUtime=1422.07 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 788871 0 0 0 142026 181 0 0 20 0 1 0 346308625 3284062208 787628 33554432000 4194304 7823515 140734135336880 140734135333576 5803647 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 801773 787628 466 887 0 800883 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3207092
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 11150
/proc/meminfo: memFree=22337228/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3285640 CPUtime=1482.06 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 807972 0 0 0 148020 186 0 0 20 0 1 0 346308625 3364495360 806729 33554432000 4194304 7823515 140734135336880 140734135333576 5803662 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 821410 806729 466 887 0 820520 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3285640
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 11151
/proc/meminfo: memFree=22173824/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3372624 CPUtime=1542.05 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 829378 0 0 0 154015 190 0 0 20 0 1 0 346308625 3453566976 828135 33554432000 4194304 7823515 140734135336880 140734135333576 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 843156 828135 466 887 0 842266 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3372624
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 11154
/proc/meminfo: memFree=22003840/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3465340 CPUtime=1602.03 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 851964 0 0 0 160008 195 0 0 20 0 1 0 346308625 3548508160 850721 33554432000 4194304 7823515 140734135336880 140734135333576 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 866335 850721 466 887 0 865445 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3465340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11154
/proc/meminfo: memFree=21837220/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3556288 CPUtime=1662.03 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 873820 0 0 0 166002 201 0 0 20 0 1 0 346308625 3641638912 872577 33554432000 4194304 7823515 140734135336880 140734135333576 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 889072 872577 466 887 0 888182 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3556288
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21662656/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3651856 CPUtime=1722.02 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 896924 0 0 0 171996 206 0 0 20 0 1 0 346308625 3739500544 895681 33554432000 4194304 7823515 140734135336880 140734135333576 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 912964 895681 466 887 0 912074 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3651856
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21494416/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3740512 CPUtime=1782.01 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 919089 0 0 0 177990 211 0 0 20 0 1 0 346308625 3830284288 917846 33554432000 4194304 7823515 140734135336880 140734135333576 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 935128 917846 466 887 0 934238 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3740512
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21484232/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3747312 CPUtime=1785.21 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 920413 0 0 0 178310 211 0 0 20 0 1 0 346308625 3837247488 919170 33554432000 4194304 7823515 140734135336880 140734135333576 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 936828 919170 466 887 0 935938 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 3747312
[startup+1788.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21475676/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3752160 CPUtime=1788.4 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 921521 0 0 0 178629 211 0 0 20 0 1 0 346308625 3842211840 920278 33554432000 4194304 7823515 140734135336880 140734135333576 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 938040 920278 466 887 0 937150 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 3752160
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21469228/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3755068 CPUtime=1791.61 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 922280 0 0 0 178950 211 0 0 20 0 1 0 346308625 3845189632 921037 33554432000 4194304 7823515 140734135336880 140734135332936 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 938767 921037 466 887 0 937877 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 3755068
[startup+1793.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21466128/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3757012 CPUtime=1793.21 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 922850 0 0 0 179109 212 0 0 20 0 1 0 346308625 3847180288 921607 33554432000 4194304 7823515 140734135336880 140734135333576 5803647 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 939253 921607 466 887 0 938363 0
Current children cumulated CPU time (s) 1793.21
Current children cumulated vsize (KiB) 3757012
[startup+1793.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21466128/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=3758036 CPUtime=1793.61 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 923274 0 0 0 179149 212 0 0 20 0 1 0 346308625 3848228864 922031 33554432000 4194304 7823515 140734135336880 140734135333576 5875788 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 939509 922031 476 887 0 938619 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (KiB) 3758036
[startup+1794.11 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=22120972/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=2870760 CPUtime=1793.82 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 923276 0 0 0 179155 227 0 0 20 0 1 0 346308625 2939658240 325045 33554432000 4194304 7823515 140734135336880 140734135333576 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 717690 324557 478 887 0 716800 0
Current children cumulated CPU time (s) 1793.82
Current children cumulated vsize (KiB) 2870760
[startup+1794.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=22120972/32873844 swapFree=7120/7120
[pid=11137] ppid=11135 vsize=135960 CPUtime=1793.9 cores=0,2,4,6
/proc/11137/stat : 11137 (pbscip.linux.x8) R 11135 11137 7918 0 -1 4202496 923281 0 0 0 179156 234 0 0 20 0 1 0 346308625 139223040 26023 33554432000 4194304 7823515 140734135336880 140734135333576 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11137/statm: 33990 25988 483 887 0 33100 0
Current children cumulated CPU time (s) 1793.9
Current children cumulated vsize (KiB) 135960
Child status: 0
Real time (s): 1794.21
CPU time (s): 1793.92
CPU user time (s): 1791.57
CPU system time (s): 2.35364
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 3758036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.57
system time used= 2.35364
maximum resident set size= 3688124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 923288
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= 3
involuntary context switches= 1997
runsolver used 3.57346 second user time and 9.01463 second system time
The end