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-3742959-1338800301.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
173.04/173.16 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
173.14/173.27 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
176.04/176.17 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
176.14/176.20 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
204.94/205.09 c (204.2s) probing: 1000/37282 (2.7%) - 117 fixings, 9 aggregations, 1485554 implications, 0 bound changes
248.93/249.00 c (248.0s) probing: 2000/37282 (5.4%) - 118 fixings, 29 aggregations, 3650551 implications, 0 bound changes
306.42/306.54 c (305.4s) probing: 3000/37282 (8.0%) - 122 fixings, 39 aggregations, 6378217 implications, 0 bound changes
413.59/413.79 c (412.5s) probing: 4000/37282 (10.7%) - 122 fixings, 46 aggregations, 10501244 implications, 0 bound changes
428.69/428.85 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
428.80/428.91 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
465.89/466.01 c (464.6s) probing: 5000/37282 (13.4%) - 123 fixings, 49 aggregations, 12184800 implications, 0 bound changes
587.07/587.20 c (585.7s) probing: 6000/37282 (16.1%) - 126 fixings, 52 aggregations, 16459695 implications, 0 bound changes
721.54/721.71 c (720.0s) probing: 7000/37282 (18.8%) - 128 fixings, 65 aggregations, 20492936 implications, 0 bound changes
873.02/873.20 c (871.4s) probing: 8000/37282 (21.5%) - 130 fixings, 72 aggregations, 24856434 implications, 0 bound changes
1024.29/1024.54 c (1022.5s) probing: 9000/37282 (24.1%) - 131 fixings, 76 aggregations, 29314197 implications, 0 bound changes
1169.37/1169.60 c (1167.4s) probing: 10000/37282 (26.8%) - 133 fixings, 84 aggregations, 33282350 implications, 0 bound changes
1192.86/1193.11 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
1192.86/1193.17 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
1296.65/1296.96 c (1294.7s) probing: 11000/37282 (29.5%) - 135 fixings, 91 aggregations, 36689324 implications, 0 bound changes
1449.31/1449.69 c (1447.2s) probing: 12000/37282 (32.2%) - 137 fixings, 97 aggregations, 40886832 implications, 0 bound changes
1598.28/1598.67 c (1596.1s) probing: 13000/37282 (34.9%) - 138 fixings, 105 aggregations, 44834111 implications, 0 bound changes
1738.77/1739.12 c (1736.3s) probing: 14000/37282 (37.6%) - 140 fixings, 111 aggregations, 48604794 implications, 0 bound changes
1793.45/1793.88 c (1791.0s) probing: 14434/37282 (38.7%) - 140 fixings, 114 aggregations, 50097296 implications, 0 bound changes
1793.45/1793.88 c (1791.0s) probing aborted: solving stopped
1793.45/1793.88 c (round 19) 3909 del vars, 4221 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 120997380 impls, 551 clqs
1793.45/1793.88 c presolving (19 rounds):
1793.45/1793.88 c 3909 deleted vars, 4221 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.45/1793.88 c 120997380 implications, 551 cliques
1793.45/1793.88 c presolving was interrupted.
1793.45/1793.88 c Presolving Time: 1790.93
1793.45/1793.88 c OPT-LIN
1793.45/1793.88 c -----------------------------------------------------------------------------------------------
1793.45/1793.88 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1793.45/1793.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.45/1793.88 c limits/memory = c 13950
1793.45/1793.88 c # maximal time in seconds to run
1793.45/1793.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.45/1793.88 c limits/time = c 1791
1793.45/1793.88 c # frequency for displaying node information lines
1793.45/1793.88 c # [type: int, range: [-1,2147483647], default: 100]
1793.45/1793.88 c display/freq = c 10000
1793.45/1793.88 c -----------------------------------------------------------------------------------------------
1793.45/1793.88 c start solving problem
1793.45/1793.88 c presolving:
1793.45/1793.88 c presolving (19 rounds):
1793.45/1793.88 c 3909 deleted vars, 4221 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.45/1793.88 c 120997380 implications, 551 cliques
1793.45/1793.88 c presolving was interrupted.
1793.45/1793.88 c Presolving Time: 1790.93
1793.45/1793.88 c
1793.45/1793.88 c SCIP Status : solving was interrupted [time limit reached]
1793.45/1793.88 c Solving Time (sec) : 1791.04
1793.45/1793.88 c Solving Nodes : 0
1793.45/1793.88 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.45/1793.88 c NODE 0
1793.45/1793.88 c DUAL BOUND -1e+20
1793.45/1793.88 c PRIMAL BOUND 1e+20
1793.45/1793.88 c GAP 1e+20
1793.45/1793.88 s UNKNOWN
1793.45/1793.88 c SCIP Status : solving was interrupted [time limit reached]
1793.45/1793.88 c Solving Time : 1791.04
1793.45/1793.88 c Original Problem :
1793.45/1793.88 c Problem name : HOME/instance-3742959-1338800301.opb
1793.45/1793.88 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.45/1793.88 c Constraints : 41436 initial, 41436 maximal
1793.45/1793.88 c Presolved Problem :
1793.45/1793.88 c Problem name : t_HOME/instance-3742959-1338800301.opb
1793.45/1793.88 c Variables : 37028 (37028 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.45/1793.88 c Constraints : 37215 initial, 37215 maximal
1793.45/1793.88 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.45/1793.88 c trivial : 0.05 123 0 0 0 0 0 0 0
1793.45/1793.88 c dualfix : 0.04 0 0 0 0 0 0 0 0
1793.45/1793.88 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.45/1793.88 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.45/1793.88 c implics : 0.05 0 1 0 0 0 0 0 0
1793.45/1793.88 c probing : 1790.01 140 114 0 0 0 0 0 0
1793.45/1793.88 c knapsack : 0.09 0 0 0 0 0 0 0 0
1793.45/1793.88 c setppc : 0.03 0 0 0 0 0 0 0 0
1793.45/1793.88 c linear : 0.43 3531 0 0 3531 0 4088 0 0
1793.45/1793.88 c logicor : 0.10 0 0 0 0 0 133 0 0
1793.45/1793.88 c root node : - 0 - - 0 - - - -
1793.45/1793.88 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.45/1793.88 c integral : 0 0 0 0 0 0 0 0 0 0
1793.45/1793.88 c knapsack : 0+ 0 202223 0 0 0 0 0 0 0
1793.45/1793.88 c setppc : 0+ 0 200511 0 0 25 0 0 0 0
1793.45/1793.88 c linear : 0+ 0 1711 0 0 0 0 0 0 0
1793.45/1793.88 c logicor : 0+ 0 189817 0 0 5 0 0 0 0
1793.45/1793.88 c countsols : 0 0 0 0 0 0 0 0 0 0
1793.45/1793.88 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.45/1793.88 c integral : 0.00 0.00 0.00 0.00 0.00
1793.45/1793.88 c knapsack : 0.07 0.00 0.07 0.00 0.00
1793.45/1793.88 c setppc : 2.17 0.00 2.17 0.00 0.00
1793.45/1793.88 c linear : 1.37 0.00 1.37 0.00 0.00
1793.45/1793.88 c logicor : 86.47 0.00 86.47 0.00 0.00
1793.45/1793.88 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.45/1793.88 c Propagators : Time Calls Cutoffs DomReds
1793.45/1793.88 c rootredcost : 0.04 0 0 0
1793.45/1793.88 c pseudoobj : 0.03 0 0 0
1793.45/1793.88 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.45/1793.88 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.45/1793.88 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.45/1793.88 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.45/1793.88 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.45/1793.88 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.45/1793.88 c applied globally : - - - 0 0.0 - - -
1793.45/1793.88 c applied locally : - - - 0 0.0 - - -
1793.65/1794.08 c Time complete: 1793.74.
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-3742959-1338800301/watcher-3742959-1338800301 -o /tmp/evaluation-result-3742959-1338800301/solver-3742959-1338800301 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3742959-1338800301.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: 0.92 1.34 1.70 3/175 21226
/proc/meminfo: memFree=26427176/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=8732 CPUtime=0 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 1537 0 0 0 0 0 0 0 20 0 1 0 346154963 8941568 1489 33554432000 4194304 7823515 140735966410080 140736004213544 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21226/statm: 2183 1492 349 887 0 1293 0
[startup+0.0885731 s]
/proc/loadavg: 0.92 1.34 1.70 3/175 21226
/proc/meminfo: memFree=26427176/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=19728 CPUtime=0.08 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 4267 0 0 0 8 0 0 0 20 0 1 0 346154963 20201472 4219 33554432000 4194304 7823515 140735966410080 140735966276184 4487644 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21226/statm: 4932 4219 354 887 0 4042 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19728
[startup+0.100254 s]
/proc/loadavg: 0.92 1.34 1.70 3/175 21226
/proc/meminfo: memFree=26427176/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=21732 CPUtime=0.09 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 4803 0 0 0 9 0 0 0 20 0 1 0 346154963 22253568 4755 33554432000 4194304 7823515 140735966410080 140735966276184 6820915 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21226/statm: 5433 4755 354 887 0 4543 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21732
[startup+0.30022 s]
/proc/loadavg: 0.92 1.34 1.70 3/175 21226
/proc/meminfo: memFree=26427176/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=49680 CPUtime=0.29 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 11568 0 0 0 28 1 0 0 20 0 1 0 346154963 50872320 11521 33554432000 4194304 7823515 140735966410080 140735966276184 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21226/statm: 12420 11548 354 887 0 11530 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49680
[startup+0.700221 s]
/proc/loadavg: 0.92 1.34 1.70 3/175 21226
/proc/meminfo: memFree=26427176/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=130332 CPUtime=0.69 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 31956 0 0 0 65 4 0 0 20 0 1 0 346154963 133459968 31550 33554432000 4194304 7823515 140735966410080 140735966407016 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21226/statm: 32583 31550 431 887 0 31693 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 130332
[startup+1.50023 s]
/proc/loadavg: 0.92 1.34 1.70 4/177 21228
/proc/meminfo: memFree=26175548/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=171792 CPUtime=1.48 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 42679 0 0 0 136 12 0 0 20 0 1 0 346154963 175915008 42091 33554432000 4194304 7823515 140735966410080 140735966406776 5803612 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21226/statm: 42948 42091 449 887 0 42058 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 171792
[startup+3.10028 s]
/proc/loadavg: 0.92 1.34 1.70 4/177 21228
/proc/meminfo: memFree=26023492/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=331192 CPUtime=3.09 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 80343 0 0 0 291 18 0 0 20 0 1 0 346154963 339140608 79755 33554432000 4194304 7823515 140735966410080 140735966405944 5803654 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 82798 79755 449 887 0 81908 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 331192
[startup+6.30031 s]
/proc/loadavg: 1.09 1.37 1.71 4/177 21228
/proc/meminfo: memFree=25760488/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=370324 CPUtime=6.29 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 89605 0 0 0 610 19 0 0 20 0 1 0 346154963 379211776 89017 33554432000 4194304 7823515 140735966410080 140735966405944 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 92581 89017 449 887 0 91691 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 370324
[startup+12.7003 s]
/proc/loadavg: 1.16 1.38 1.71 4/177 21228
/proc/meminfo: memFree=25680712/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=403832 CPUtime=12.68 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 97612 0 0 0 1248 20 0 0 20 0 1 0 346154963 413523968 97020 33554432000 4194304 7823515 140735966410080 140735966405944 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 100958 97020 449 887 0 100068 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 403832
[startup+25.5003 s]
/proc/loadavg: 1.35 1.41 1.72 4/177 21228
/proc/meminfo: memFree=25604104/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=444132 CPUtime=25.47 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 107505 0 0 0 2525 22 0 0 20 0 1 0 346154963 454791168 106918 33554432000 4194304 7823515 140735966410080 140735966406776 5803658 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 111033 106918 449 887 0 110143 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 444132
[startup+51.1004 s]
/proc/loadavg: 1.57 1.45 1.72 4/177 21228
/proc/meminfo: memFree=25484536/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=489756 CPUtime=51.07 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 119198 0 0 0 5081 26 0 0 20 0 1 0 346154963 501510144 118892 33554432000 4194304 7823515 140735966410080 140735966406776 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 122439 118892 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: 1.81 1.53 1.73 4/178 21232
/proc/meminfo: memFree=25328192/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=584196 CPUtime=102.27 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 142098 0 0 0 10195 32 0 0 20 0 1 0 346154963 598216704 142603 33554432000 4194304 7823515 140735966410080 140735966405944 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 146049 142603 449 887 0 145159 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 584196
[startup+162.3 s]
/proc/loadavg: 1.93 1.62 1.75 4/178 21255
/proc/meminfo: memFree=25084180/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=717672 CPUtime=162.25 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 174284 0 0 0 16186 39 0 0 20 0 1 0 346154963 734896128 175598 33554432000 4194304 7823515 140735966410080 140735966406776 5803619 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 179418 175598 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: 1.97 1.68 1.76 4/178 21256
/proc/meminfo: memFree=24685184/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=960992 CPUtime=222.24 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 234126 0 0 0 22169 55 0 0 20 0 1 0 346154963 984055808 236239 33554432000 4194304 7823515 140735966410080 140735966406776 5802704 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 240248 236239 466 887 0 239358 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 960992
[startup+282.3 s]
/proc/loadavg: 1.99 1.74 1.77 4/177 21256
/proc/meminfo: memFree=24172604/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=1218592 CPUtime=282.22 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 298540 0 0 0 28154 68 0 0 20 0 1 0 346154963 1247838208 300914 33554432000 4194304 7823515 140735966410080 140735966405944 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 304648 300914 466 887 0 303758 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1218592
[startup+342.3 s]
/proc/loadavg: 2.06 1.81 1.79 4/177 21256
/proc/meminfo: memFree=23770872/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=1398068 CPUtime=342.21 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 343258 0 0 0 34144 77 0 0 20 0 1 0 346154963 1431621632 346148 33554432000 4194304 7823515 140735966410080 140735966406776 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 349517 346148 466 887 0 348627 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1398068
[startup+402.3 s]
/proc/loadavg: 2.02 1.84 1.80 4/177 21257
/proc/meminfo: memFree=23583056/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=1472464 CPUtime=402.2 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 361120 0 0 0 40139 81 0 0 20 0 1 0 346154963 1507803136 364839 33554432000 4194304 7823515 140735966410080 140735966406776 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 368116 364839 466 887 0 367226 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1472464
[startup+462.3 s]
/proc/loadavg: 2.00 1.87 1.82 4/177 21257
/proc/meminfo: memFree=23369352/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=1602448 CPUtime=462.19 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 392247 0 0 0 46129 90 0 0 20 0 1 0 346154963 1640906752 396477 33554432000 4194304 7823515 140735966410080 140735966406776 5803658 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 400612 396477 466 887 0 399722 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1602448
[startup+522.3 s]
/proc/loadavg: 2.00 1.89 1.82 4/177 21257
/proc/meminfo: memFree=23134788/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=1737424 CPUtime=522.18 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 426795 0 0 0 52121 97 0 0 20 0 1 0 346154963 1779122176 431038 33554432000 4194304 7823515 140735966410080 140735966406776 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 434356 431038 466 887 0 433466 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1737424
[startup+582.3 s]
/proc/loadavg: 2.00 1.91 1.83 4/177 21257
/proc/meminfo: memFree=22927224/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=1825844 CPUtime=582.16 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 447855 0 0 0 58114 102 0 0 20 0 1 0 346154963 1869664256 452141 33554432000 4194304 7823515 140735966410080 140735966406136 5803619 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 456461 452141 466 887 0 455571 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1825844
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=21147412/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=2780940 CPUtime=1122.07 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 680953 0 0 0 112053 154 0 0 20 0 1 0 346154963 2847682560 687793 33554432000 4194304 7823515 140735966410080 140735966406776 5422857 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 695235 687793 466 887 0 694345 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 2780940
[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.90 4/177 21262
/proc/meminfo: memFree=20977808/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=2871744 CPUtime=1182.06 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 703473 0 0 0 118047 159 0 0 20 0 1 0 346154963 2940665856 710854 33554432000 4194304 7823515 140735966410080 140735966406776 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 717936 710854 466 887 0 717046 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 2871744
[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.90 4/177 21262
/proc/meminfo: memFree=20814652/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=2946852 CPUtime=1242.05 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 722357 0 0 0 124041 164 0 0 20 0 1 0 346154963 3017576448 730186 33554432000 4194304 7823515 140735966410080 140735966406776 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 736713 730186 466 887 0 735823 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2946852
[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.91 4/178 21266
/proc/meminfo: memFree=20620472/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3043740 CPUtime=1302.05 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 745426 0 0 0 130036 169 0 0 20 0 1 0 346154963 3116789760 753783 33554432000 4194304 7823515 140735966410080 140735966406776 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 760935 753783 466 887 0 760045 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 3043740
[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21266
/proc/meminfo: memFree=20467384/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3124020 CPUtime=1362.03 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 765075 0 0 0 136029 174 0 0 20 0 1 0 346154963 3198996480 774085 33554432000 4194304 7823515 140735966410080 140735966406776 5803600 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 781005 774085 466 887 0 780115 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 3124020
[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21266
/proc/meminfo: memFree=20301624/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3213912 CPUtime=1422.03 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 786910 0 0 0 142024 179 0 0 20 0 1 0 346154963 3291045888 796414 33554432000 4194304 7823515 140735966410080 140735966406776 5422857 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 803478 796414 466 887 0 802588 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 3213912
[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21266
/proc/meminfo: memFree=20139832/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3299336 CPUtime=1482.01 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 807523 0 0 0 148018 183 0 0 20 0 1 0 346154963 3378520064 817612 33554432000 4194304 7823515 140735966410080 140735966406776 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 824834 817612 466 887 0 823944 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 3299336
[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21266
/proc/meminfo: memFree=19982008/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3382404 CPUtime=1542 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 827995 0 0 0 154011 189 0 0 20 0 1 0 346154963 3463581696 838820 33554432000 4194304 7823515 140735966410080 140735966406776 5803658 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 845601 838820 466 887 0 844711 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 3382404
[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.91 4/176 21266
/proc/meminfo: memFree=19811544/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3474080 CPUtime=1601.98 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 850498 0 0 0 160005 193 0 0 20 0 1 0 346154963 3557457920 861870 33554432000 4194304 7823515 140735966410080 140735966406776 5803635 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 868520 861870 466 887 0 867630 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 3474080
[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21267
/proc/meminfo: memFree=19644908/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3563060 CPUtime=1661.97 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 871960 0 0 0 165998 199 0 0 20 0 1 0 346154963 3648573440 883786 33554432000 4194304 7823515 140735966410080 140735966406776 5803619 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 890765 883786 466 887 0 889875 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 3563060
[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21267
/proc/meminfo: memFree=19477908/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3656704 CPUtime=1721.96 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 894579 0 0 0 171991 205 0 0 20 0 1 0 346154963 3744464896 907136 33554432000 4194304 7823515 140735966410080 140735966406776 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 914176 907136 466 887 0 913286 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 3656704
[startup+1782.3 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21267
/proc/meminfo: memFree=19303840/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3749256 CPUtime=1781.95 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 917351 0 0 0 177984 211 0 0 20 0 1 0 346154963 3839238144 930501 33554432000 4194304 7823515 140735966410080 140735966406776 5803635 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 937314 930501 466 887 0 936424 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 3749256
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21267
/proc/meminfo: memFree=19295764/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3752160 CPUtime=1785.14 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 918254 0 0 0 178303 211 0 0 20 0 1 0 346154963 3842211840 931491 33554432000 4194304 7823515 140735966410080 140735966406776 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 938040 931491 466 887 0 937150 0
Current children cumulated CPU time (s) 1785.14
Current children cumulated vsize (KiB) 3752160
[startup+1788.7 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21267
/proc/meminfo: memFree=19287332/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3757012 CPUtime=1788.35 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 919364 0 0 0 178623 212 0 0 20 0 1 0 346154963 3847180288 932601 33554432000 4194304 7823515 140735966410080 140735966406760 4243708 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 939253 932601 466 887 0 938363 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 3757012
[startup+1791.91 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21267
/proc/meminfo: memFree=19279520/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3760932 CPUtime=1791.56 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 920316 0 0 0 178944 212 0 0 20 0 1 0 346154963 3851194368 933553 33554432000 4194304 7823515 140735966410080 140735966406776 5803662 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 940233 933553 466 887 0 939343 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 3760932
[startup+1792.7 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21267
/proc/meminfo: memFree=19279520/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3761888 CPUtime=1792.35 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 920636 0 0 0 179023 212 0 0 20 0 1 0 346154963 3852173312 933985 33554432000 4194304 7823515 140735966410080 140735966406776 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 940472 933985 466 887 0 939582 0
Current children cumulated CPU time (s) 1792.35
Current children cumulated vsize (KiB) 3761888
[startup+1793.5 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21267
/proc/meminfo: memFree=19277024/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3763836 CPUtime=1793.15 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 920896 0 0 0 179103 212 0 0 20 0 1 0 346154963 3854168064 934245 33554432000 4194304 7823515 140735966410080 140735966406776 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 940959 934245 466 887 0 940069 0
Current children cumulated CPU time (s) 1793.15
Current children cumulated vsize (KiB) 3763836
[startup+1793.9 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 21267
/proc/meminfo: memFree=19277024/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3765820 CPUtime=1793.54 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 921347 0 0 0 179142 212 0 0 20 0 1 0 346154963 3856199680 934696 33554432000 4194304 7823515 140735966410080 140735966405416 4802903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 941455 934696 476 887 0 940565 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (KiB) 3765820
[startup+1794 s]
/proc/loadavg: 2.16 2.01 1.92 4/177 21267
/proc/meminfo: memFree=19389120/32873844 swapFree=7628/7628
[pid=21226] ppid=21222 vsize=3628448 CPUtime=1793.65 cores=0,2,4,6
/proc/21226/stat : 21226 (pbscip.linux.x8) R 21222 21226 21183 0 -1 4202496 921347 0 0 0 179152 213 0 0 20 0 1 0 346154963 3715530752 902107 33554432000 4194304 7823515 140735966410080 140735966405416 6899811 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21226/statm: 907112 902107 476 887 0 906222 0
Current children cumulated CPU time (s) 1793.65
Current children cumulated vsize (KiB) 3628448
Child status: 0
Real time (s): 1794.09
CPU time (s): 1793.75
CPU user time (s): 1791.56
CPU system time (s): 2.18767
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 3765820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.56
system time used= 2.18767
maximum resident set size= 3738784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 921361
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= 105
involuntary context switches= 2023
runsolver used 3.19751 second user time and 10.4594 second system time
The end