0.38/0.40 c SCIP version 1.1.0.7
0.38/0.40 c LP-Solver SoPlex 1.4.1
0.38/0.40 c user parameter file <scip.set> not found - using default parameters
0.38/0.40 c read problem <HOME/instance-3742860-1338797441.opb>
0.38/0.40 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.59/0.60 c start presolving problem
0.59/0.60 c presolving:
0.68/0.74 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.68/0.78 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.78/0.83 c (round 3) 1890 del vars, 1772 del conss, 1766 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15344 impls, 551 clqs
0.78/0.88 c (round 4) 2450 del vars, 2332 del conss, 2326 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17208 impls, 551 clqs
0.89/0.92 c (round 5) 2788 del vars, 2670 del conss, 2664 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
0.89/0.96 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.99/1.00 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.99/1.04 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.99/1.08 c (round 9) 3629 del vars, 3511 del conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
1.09/1.11 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
147.35/147.47 c (round 11) 3720 del vars, 3602 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37283 upgd conss, 9078930 impls, 551 clqs
148.15/148.27 c (round 12) 3720 del vars, 3662 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9078960 impls, 551 clqs
183.34/183.44 c (182.5s) probing: 1000/36796 (2.7%) - 63 fixings, 9 aggregations, 1142209 implications, 0 bound changes
237.53/237.66 c (236.5s) probing: 2000/36796 (5.4%) - 64 fixings, 31 aggregations, 3693553 implications, 0 bound changes
298.01/298.11 c (296.8s) probing: 3000/36796 (8.2%) - 68 fixings, 40 aggregations, 6270942 implications, 0 bound changes
376.18/376.37 c (round 13) 3770 del vars, 3662 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 32882960 impls, 551 clqs
376.98/377.16 c (round 14) 3770 del vars, 3671 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 32882960 impls, 551 clqs
388.39/388.54 c (387.1s) probing: 4000/36796 (10.9%) - 69 fixings, 46 aggregations, 9321237 implications, 0 bound changes
494.56/494.72 c (493.1s) probing: 5000/36796 (13.6%) - 70 fixings, 49 aggregations, 13046780 implications, 0 bound changes
620.43/620.63 c (618.9s) probing: 6000/36796 (16.3%) - 73 fixings, 57 aggregations, 17172720 implications, 0 bound changes
761.00/761.26 c (759.3s) probing: 7000/36796 (19.0%) - 74 fixings, 66 aggregations, 21675860 implications, 0 bound changes
897.15/897.46 c (895.3s) probing: 8000/36796 (21.7%) - 76 fixings, 71 aggregations, 25854056 implications, 0 bound changes
1034.24/1034.56 c (1032.2s) probing: 9000/36796 (24.5%) - 77 fixings, 76 aggregations, 30074092 implications, 0 bound changes
1167.22/1167.52 c (1165.0s) probing: 10000/36796 (27.2%) - 79 fixings, 85 aggregations, 33971190 implications, 0 bound changes
1186.52/1186.82 c (round 15) 3820 del vars, 3671 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 87357296 impls, 551 clqs
1187.31/1187.61 c (round 16) 3820 del vars, 3681 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 87357296 impls, 551 clqs
1286.79/1287.16 c (1284.5s) probing: 11000/36796 (29.9%) - 81 fixings, 91 aggregations, 37685411 implications, 0 bound changes
1414.06/1414.42 c (1411.6s) probing: 12000/36796 (32.6%) - 83 fixings, 98 aggregations, 41463338 implications, 0 bound changes
1546.93/1547.34 c (1544.4s) probing: 13000/36796 (35.3%) - 84 fixings, 105 aggregations, 45428813 implications, 0 bound changes
1677.71/1678.17 c (1675.1s) probing: 14000/36796 (38.0%) - 86 fixings, 111 aggregations, 49321891 implications, 0 bound changes
1793.89/1794.35 c (1791.1s) probing: 14841/36796 (40.3%) - 87 fixings, 118 aggregations, 52836542 implications, 0 bound changes
1793.89/1794.35 c (1791.1s) probing aborted: solving stopped
1793.89/1794.35 c (round 17) 3860 del vars, 3681 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 126695128 impls, 551 clqs
1793.89/1794.35 c presolving (17 rounds):
1793.89/1794.35 c 3860 deleted vars, 3681 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.89/1794.35 c 126695128 implications, 551 cliques
1793.89/1794.35 c presolving was interrupted.
1793.89/1794.35 c Presolving Time: 1790.99
1793.89/1794.35 c OPT-LIN
1793.89/1794.35 c -----------------------------------------------------------------------------------------------
1793.89/1794.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1793.89/1794.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.89/1794.35 c limits/memory = c 13950
1793.89/1794.35 c # maximal time in seconds to run
1793.89/1794.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.89/1794.35 c limits/time = c 1791
1793.89/1794.35 c # frequency for displaying node information lines
1793.89/1794.35 c # [type: int, range: [-1,2147483647], default: 100]
1793.89/1794.35 c display/freq = c 10000
1793.89/1794.35 c -----------------------------------------------------------------------------------------------
1793.89/1794.35 c start solving problem
1793.89/1794.35 c presolving:
1793.89/1794.35 c presolving (17 rounds):
1793.89/1794.35 c 3860 deleted vars, 3681 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.89/1794.35 c 126695128 implications, 551 cliques
1793.89/1794.35 c presolving was interrupted.
1793.89/1794.35 c Presolving Time: 1790.99
1793.89/1794.35 c
1793.89/1794.35 c SCIP Status : solving was interrupted [time limit reached]
1793.89/1794.35 c Solving Time (sec) : 1791.10
1793.89/1794.35 c Solving Nodes : 0
1793.89/1794.35 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.89/1794.35 c NODE 0
1793.89/1794.35 c DUAL BOUND -1e+20
1793.89/1794.35 c PRIMAL BOUND 1e+20
1793.89/1794.35 c GAP 1e+20
1793.89/1794.35 s UNKNOWN
1793.89/1794.35 c SCIP Status : solving was interrupted [time limit reached]
1793.89/1794.35 c Solving Time : 1791.10
1793.89/1794.35 c Original Problem :
1793.89/1794.35 c Problem name : HOME/instance-3742860-1338797441.opb
1793.89/1794.35 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.89/1794.35 c Constraints : 40950 initial, 40950 maximal
1793.89/1794.35 c Presolved Problem :
1793.89/1794.35 c Problem name : t_HOME/instance-3742860-1338797441.opb
1793.89/1794.35 c Variables : 36591 (36591 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.89/1794.35 c Constraints : 37269 initial, 37269 maximal
1793.89/1794.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.89/1794.35 c trivial : 0.06 123 0 0 0 0 0 0 0
1793.89/1794.35 c dualfix : 0.07 0 0 0 0 0 0 0 0
1793.89/1794.35 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.89/1794.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.89/1794.35 c implics : 0.09 0 1 0 0 0 0 0 0
1793.89/1794.35 c probing : 1786.63 87 118 0 0 0 0 0 0
1793.89/1794.35 c knapsack : 2.26 0 0 0 0 0 0 0 0
1793.89/1794.35 c setppc : 0.02 0 0 0 0 0 0 0 0
1793.89/1794.35 c linear : 1.66 3531 0 0 3531 0 3602 0 0
1793.89/1794.35 c logicor : 0.07 0 0 0 0 0 79 0 0
1793.89/1794.35 c root node : - 0 - - 0 - - - -
1793.89/1794.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.89/1794.35 c integral : 0 0 0 0 0 0 0 0 0 0
1793.89/1794.35 c knapsack : 0+ 0 211858 0 0 0 0 0 0 0
1793.89/1794.35 c setppc : 0+ 0 211856 0 0 26 0 0 0 0
1793.89/1794.35 c linear : 0+ 0 1973 0 0 0 0 0 0 0
1793.89/1794.35 c logicor : 0+ 0 198958 0 0 3 0 0 0 0
1793.89/1794.35 c countsols : 0 0 0 0 0 0 0 0 0 0
1793.89/1794.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.89/1794.35 c integral : 0.00 0.00 0.00 0.00 0.00
1793.89/1794.35 c knapsack : 0.06 0.00 0.06 0.00 0.00
1793.89/1794.35 c setppc : 2.11 0.00 2.11 0.00 0.00
1793.89/1794.35 c linear : 0.12 0.00 0.12 0.00 0.00
1793.89/1794.35 c logicor : 143.23 0.00 143.23 0.00 0.00
1793.89/1794.35 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.89/1794.35 c Propagators : Time Calls Cutoffs DomReds
1793.89/1794.35 c rootredcost : 0.04 0 0 0
1793.89/1794.35 c pseudoobj : 0.01 0 0 0
1793.89/1794.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.89/1794.35 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.89/1794.35 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.89/1794.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.89/1794.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.89/1794.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.89/1794.35 c applied globally : - - - 0 0.0 - - -
1793.89/1794.35 c applied locally : - - - 0 0.0 - - -
1794.19/1794.64 c Time complete: 1794.23.
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-3742860-1338797441/watcher-3742860-1338797441 -o /tmp/evaluation-result-3742860-1338797441/solver-3742860-1338797441 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3742860-1338797441.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.37 1.46 1.71 3/173 17551
/proc/meminfo: memFree=26572416/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=8180 CPUtime=0 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) D 17548 17550 17511 0 -1 4202496 1215 0 0 0 0 0 0 0 20 0 1 0 345868485 8376320 1322 33554432000 4194304 7823515 140734311386656 140734311318568 4402248 0 0 4096 0 18446744071581355444 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 2045 1338 335 887 0 1155 0
[startup+0.0164369 s]
/proc/loadavg: 1.37 1.46 1.71 3/173 17551
/proc/meminfo: memFree=26572416/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=13332 CPUtime=0 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 2508 0 0 0 0 0 0 0 20 0 1 0 345868485 13651968 2631 33554432000 4194304 7823515 140734311386656 140734311318568 4512305 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 3333 2631 349 887 0 2443 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13332
[startup+0.100269 s]
/proc/loadavg: 1.37 1.46 1.71 3/173 17551
/proc/meminfo: memFree=26572416/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=38548 CPUtime=0.09 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 8846 0 0 0 8 1 0 0 20 0 1 0 345868485 39473152 8965 33554432000 4194304 7823515 140734311386656 140734311318568 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 9637 8965 354 887 0 8747 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38548
[startup+0.300251 s]
/proc/loadavg: 1.37 1.46 1.71 3/173 17551
/proc/meminfo: memFree=26572416/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=50328 CPUtime=0.29 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 11793 0 0 0 28 1 0 0 20 0 1 0 345868485 51535872 11912 33554432000 4194304 7823515 140734311386656 140734311318568 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 12582 11912 354 887 0 11692 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50328
[startup+0.700285 s]
/proc/loadavg: 1.37 1.46 1.71 3/173 17551
/proc/meminfo: memFree=26572416/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=127356 CPUtime=0.68 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 30889 0 0 0 63 5 0 0 20 0 1 0 345868485 130412544 30654 33554432000 4194304 7823515 140734311386656 140734311318568 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 31839 30654 428 887 0 30949 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 127356
[startup+1.50031 s]
/proc/loadavg: 1.37 1.46 1.71 3/178 17556
/proc/meminfo: memFree=26321840/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=131896 CPUtime=1.49 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 32867 0 0 0 136 13 0 0 20 0 1 0 345868485 135061504 31805 33554432000 4194304 7823515 140734311386656 140734311384328 5047756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 32974 31805 433 887 0 32084 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131896
[startup+3.10026 s]
/proc/loadavg: 1.42 1.47 1.71 3/178 17556
/proc/meminfo: memFree=26283880/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=197088 CPUtime=3.09 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 49128 0 0 0 292 17 0 0 20 0 1 0 345868485 201818112 48066 33554432000 4194304 7823515 140734311386656 140734311382520 4787006 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 49272 48066 452 887 0 48382 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 197088
[startup+6.30037 s]
/proc/loadavg: 1.42 1.47 1.71 3/178 17556
/proc/meminfo: memFree=26039476/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=272908 CPUtime=6.28 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 66976 0 0 0 609 19 0 0 20 0 1 0 345868485 279457792 65914 33554432000 4194304 7823515 140734311386656 140734311382712 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 68227 65914 452 887 0 67337 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 272908
[startup+12.7004 s]
/proc/loadavg: 1.51 1.48 1.71 3/178 17556
/proc/meminfo: memFree=25940804/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=321392 CPUtime=12.69 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 78393 0 0 0 1247 22 0 0 20 0 1 0 345868485 329105408 77413 33554432000 4194304 7823515 140734311386656 140734311382520 6911755 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 80348 77413 452 887 0 79458 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 321392
[startup+25.5004 s]
/proc/loadavg: 1.58 1.50 1.72 3/177 17556
/proc/meminfo: memFree=25848308/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=377964 CPUtime=25.47 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 92284 0 0 0 2523 24 0 0 20 0 1 0 345868485 387035136 91300 33554432000 4194304 7823515 140734311386656 140734311382520 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 94491 91300 452 887 0 93601 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 377964
[startup+51.1005 s]
/proc/loadavg: 1.72 1.54 1.72 3/177 17556
/proc/meminfo: memFree=25635228/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=493356 CPUtime=51.06 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 120016 0 0 0 5075 31 0 0 20 0 1 0 345868485 505196544 119309 33554432000 4194304 7823515 140734311386656 140734311383352 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 123339 119309 452 887 0 122449 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 493356
[startup+102.308 s]
/proc/loadavg: 1.89 1.61 1.74 3/177 17556
/proc/meminfo: memFree=25343748/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=604188 CPUtime=102.26 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 147801 0 0 0 10187 39 0 0 20 0 1 0 345868485 618688512 147245 33554432000 4194304 7823515 140734311386656 140734311382520 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 151047 147245 452 887 0 150157 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 604188
[startup+162.3 s]
/proc/loadavg: 1.95 1.68 1.75 3/177 17557
/proc/meminfo: memFree=25085360/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=769192 CPUtime=162.25 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 188107 0 0 0 16176 49 0 0 20 0 1 0 345868485 787652608 188682 33554432000 4194304 7823515 140734311386656 140734311383352 4788473 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 192298 188682 461 887 0 191408 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 769192
[startup+222.3 s]
/proc/loadavg: 1.98 1.74 1.76 3/177 17557
/proc/meminfo: memFree=24793740/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=1046628 CPUtime=222.22 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 255753 0 0 0 22157 65 0 0 20 0 1 0 345868485 1071747072 257117 33554432000 4194304 7823515 140734311386656 140734311382520 4244514 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 261657 257117 466 887 0 260767 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1046628
[startup+282.3 s]
/proc/loadavg: 2.10 1.81 1.78 3/177 17557
/proc/meminfo: memFree=24453016/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=1260372 CPUtime=282.21 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 309411 0 0 0 28142 79 0 0 20 0 1 0 345868485 1290620928 311044 33554432000 4194304 7823515 140734311386656 140734311383352 6911387 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 315093 311044 466 887 0 314203 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1260372
[startup+342.3 s]
/proc/loadavg: 2.03 1.84 1.79 3/177 17557
/proc/meminfo: memFree=24091404/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=1429776 CPUtime=342.2 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 351464 0 0 0 34131 89 0 0 20 0 1 0 345868485 1464090624 353611 33554432000 4194304 7823515 140734311386656 140734311383352 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 357444 353611 466 887 0 356554 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1429776
[startup+402.3 s]
/proc/loadavg: 2.01 1.87 1.80 3/177 17557
/proc/meminfo: memFree=23734992/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=1485508 CPUtime=402.18 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 364716 0 0 0 40122 96 0 0 20 0 1 0 345868485 1521160192 368229 33554432000 4194304 7823515 140734311386656 140734311383352 4243012 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 371377 368229 466 887 0 370487 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1485508
[startup+462.3 s]
/proc/loadavg: 2.00 1.89 1.82 3/177 17558
/proc/meminfo: memFree=23282172/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=1584524 CPUtime=462.17 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 388823 0 0 0 46115 102 0 0 20 0 1 0 345868485 1622552576 392338 33554432000 4194304 7823515 140734311386656 140734311383352 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 396131 392338 466 887 0 395241 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1584524
[startup+522.3 s]
/proc/loadavg: 2.07 1.92 1.83 3/177 17558
/proc/meminfo: memFree=22941572/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=1702564 CPUtime=522.16 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 417828 0 0 0 52108 108 0 0 20 0 1 0 345868485 1743425536 421350 33554432000 4194304 7823515 140734311386656 140734311383352 4243002 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 425641 421350 466 887 0 424751 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1702564
[startup+582.3 s]
/proc/loadavg: 2.02 1.93 1.83 3/178 17561
/proc/meminfo: memFree=22607784/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=1815948 CPUtime=582.14 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 445457 0 0 0 58098 116 0 0 20 0 1 0 345868485 1859530752 448988 33554432000 4194304 7823515 140734311386656 140734311383352 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 453987 448988 466 887 0 453097 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1815948
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=21478020/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=2786324 CPUtime=1122.02 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 683388 0 0 0 112025 177 0 0 20 0 1 0 345868485 2853195776 689708 33554432000 4194304 7823515 140734311386656 140734311383352 4243008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 696581 689708 466 887 0 695691 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 2786324
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 17566
/proc/meminfo: memFree=21383800/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=2883212 CPUtime=1182.01 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 706997 0 0 0 118017 184 0 0 20 0 1 0 345868485 2952409088 713649 33554432000 4194304 7823515 140734311386656 140734311383336 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 720803 713649 466 887 0 719913 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 2883212
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 17566
/proc/meminfo: memFree=21277692/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=2990804 CPUtime=1242 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 732473 0 0 0 124008 192 0 0 20 0 1 0 345868485 3062583296 739655 33554432000 4194304 7823515 140734311386656 140734311383352 5102336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 747701 739655 466 887 0 746811 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 2990804
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 17566
/proc/meminfo: memFree=21177900/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3088688 CPUtime=1301.99 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 756644 0 0 0 130000 199 0 0 20 0 1 0 345868485 3162816512 764377 33554432000 4194304 7823515 140734311386656 140734311383352 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 772172 764377 466 887 0 771282 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 3088688
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 17567
/proc/meminfo: memFree=21077240/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3189456 CPUtime=1361.97 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 781360 0 0 0 135992 205 0 0 20 0 1 0 345868485 3266002944 789683 33554432000 4194304 7823515 140734311386656 140734311383352 4263286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 797364 789683 466 887 0 796474 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 3189456
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 17567
/proc/meminfo: memFree=20978068/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3286100 CPUtime=1421.96 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 805221 0 0 0 141985 211 0 0 20 0 1 0 345868485 3364966400 814226 33554432000 4194304 7823515 140734311386656 140734311383352 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 821525 814226 466 887 0 820635 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 3286100
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 17567
/proc/meminfo: memFree=20881500/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3385000 CPUtime=1481.94 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 828931 0 0 0 147977 217 0 0 20 0 1 0 345868485 3466240000 838493 33554432000 4194304 7823515 140734311386656 140734311383352 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 846250 838493 466 887 0 845360 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 3385000
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 17568
/proc/meminfo: memFree=20783064/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3482512 CPUtime=1541.93 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 852850 0 0 0 153971 222 0 0 20 0 1 0 345868485 3566092288 863022 33554432000 4194304 7823515 140734311386656 140734311383352 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 870628 863022 466 887 0 869738 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 3482512
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 17568
/proc/meminfo: memFree=20467148/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3577348 CPUtime=1601.92 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 876189 0 0 0 159964 228 0 0 20 0 1 0 345868485 3663204352 886963 33554432000 4194304 7823515 140734311386656 140734311382376 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 894337 886963 466 887 0 893447 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 3577348
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 17569
/proc/meminfo: memFree=20374796/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3666324 CPUtime=1661.91 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 897823 0 0 0 165958 233 0 0 20 0 1 0 345868485 3754315776 909263 33554432000 4194304 7823515 140734311386656 140734311383352 5803604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 916581 909263 466 887 0 915691 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 3666324
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 17569
/proc/meminfo: memFree=20243000/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3766032 CPUtime=1721.91 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 922242 0 0 0 171952 239 0 0 20 0 1 0 345868485 3856416768 934389 33554432000 4194304 7823515 140734311386656 140734311383352 5102406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 941508 934389 466 887 0 940618 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 3766032
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/178 17572
/proc/meminfo: memFree=20092796/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3862900 CPUtime=1781.89 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 945458 0 0 0 177943 246 0 0 20 0 1 0 345868485 3955609600 958118 33554432000 4194304 7823515 140734311386656 140734311383352 5422857 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 965725 958118 466 887 0 964835 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 3862900
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.06 2.01 1.91 3/178 17572
/proc/meminfo: memFree=20077600/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3873676 CPUtime=1785.09 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 947819 0 0 0 178263 246 0 0 20 0 1 0 345868485 3966644224 960479 33554432000 4194304 7823515 140734311386656 140734311383352 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 968419 960479 466 887 0 967529 0
Current children cumulated CPU time (s) 1785.09
Current children cumulated vsize (KiB) 3873676
[startup+1788.7 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 17572
/proc/meminfo: memFree=20075492/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3874636 CPUtime=1788.29 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 948312 0 0 0 178583 246 0 0 20 0 1 0 345868485 3967627264 960972 33554432000 4194304 7823515 140734311386656 140734311383352 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 968659 960972 466 887 0 967769 0
Current children cumulated CPU time (s) 1788.29
Current children cumulated vsize (KiB) 3874636
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 17572
/proc/meminfo: memFree=20070144/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3879540 CPUtime=1791.5 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 949462 0 0 0 178903 247 0 0 20 0 1 0 345868485 3972648960 962267 33554432000 4194304 7823515 140734311386656 140734311383352 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 969885 962267 466 887 0 968995 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 3879540
[startup+1793.5 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 17572
/proc/meminfo: memFree=20068656/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3881512 CPUtime=1793.09 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 950000 0 0 0 179062 247 0 0 20 0 1 0 345868485 3974668288 962805 33554432000 4194304 7823515 140734311386656 140734311383352 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 970378 962805 466 887 0 969488 0
Current children cumulated CPU time (s) 1793.09
Current children cumulated vsize (KiB) 3881512
[startup+1794.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 17572
/proc/meminfo: memFree=20066920/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3882468 CPUtime=1793.89 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 950297 0 0 0 179142 247 0 0 20 0 1 0 345868485 3975647232 963102 33554432000 4194304 7823515 140734311386656 140734311383352 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 970617 963102 466 887 0 969727 0
Current children cumulated CPU time (s) 1793.89
Current children cumulated vsize (KiB) 3882468
[startup+1794.5 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 17572
/proc/meminfo: memFree=20066920/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3883492 CPUtime=1794.09 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 950610 0 0 0 179162 247 0 0 20 0 1 0 345868485 3976695808 963415 33554432000 4194304 7823515 140734311386656 140734311383352 4813834 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 970873 963415 476 887 0 969983 0
Current children cumulated CPU time (s) 1794.09
Current children cumulated vsize (KiB) 3883492
[startup+1794.6 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 17572
/proc/meminfo: memFree=20066920/32873844 swapFree=7628/7628
[pid=17550] ppid=17548 vsize=3858976 CPUtime=1794.19 cores=1,3,5,7
/proc/17550/stat : 17550 (pbscip.linux.x8) R 17548 17550 17511 0 -1 4202496 950612 0 0 0 179167 252 0 0 20 0 1 0 345868485 3951591424 279334 33554432000 4194304 7823515 140734311386656 140734311383352 7132266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17550/statm: 964744 278826 478 887 0 963854 0
Current children cumulated CPU time (s) 1794.19
Current children cumulated vsize (KiB) 3858976
Child status: 0
Real time (s): 1794.65
CPU time (s): 1794.24
CPU user time (s): 1791.7
CPU system time (s): 2.54661
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 3883492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.7
system time used= 2.54661
maximum resident set size= 3853660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 950624
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= 155
involuntary context switches= 1913
runsolver used 3.03054 second user time and 9.02763 second system time
The end