0.29/0.37 c SCIP version 1.1.0.7
0.29/0.37 c LP-Solver SoPlex 1.4.1
0.29/0.37 c user parameter file <scip.set> not found - using default parameters
0.29/0.37 c read problem <HOME/instance-3742904-1338799034.opb>
0.29/0.37 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.49/0.51 c start presolving problem
0.49/0.51 c presolving:
0.58/0.63 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.58/0.67 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.70 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.72 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.69/0.75 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.69/0.78 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.80 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.79/0.82 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.79/0.84 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.79/0.86 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
124.97/125.05 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
125.07/125.16 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
127.77/127.82 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
127.77/127.84 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
155.57/155.62 c (154.8s) probing: 1000/37282 (2.7%) - 117 fixings, 9 aggregations, 1485554 implications, 0 bound changes
199.06/199.12 c (198.2s) probing: 2000/37282 (5.4%) - 118 fixings, 29 aggregations, 3650551 implications, 0 bound changes
255.06/255.13 c (254.0s) probing: 3000/37282 (8.0%) - 122 fixings, 39 aggregations, 6378217 implications, 0 bound changes
359.54/359.66 c (358.4s) probing: 4000/37282 (10.7%) - 122 fixings, 46 aggregations, 10501244 implications, 0 bound changes
374.13/374.28 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
374.23/374.34 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
410.33/410.45 c (409.1s) probing: 5000/37282 (13.4%) - 123 fixings, 49 aggregations, 12184800 implications, 0 bound changes
527.21/527.31 c (525.8s) probing: 6000/37282 (16.1%) - 126 fixings, 52 aggregations, 16459695 implications, 0 bound changes
656.69/656.87 c (655.2s) probing: 7000/37282 (18.8%) - 128 fixings, 65 aggregations, 20492936 implications, 0 bound changes
803.07/803.21 c (801.4s) probing: 8000/37282 (21.5%) - 130 fixings, 72 aggregations, 24856434 implications, 0 bound changes
948.84/949.01 c (947.0s) probing: 9000/37282 (24.1%) - 131 fixings, 76 aggregations, 29314197 implications, 0 bound changes
1088.12/1088.39 c (1086.2s) probing: 10000/37282 (26.8%) - 133 fixings, 84 aggregations, 33282350 implications, 0 bound changes
1111.02/1111.23 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
1111.02/1111.29 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
1210.60/1210.84 c (1208.5s) probing: 11000/37282 (29.5%) - 135 fixings, 91 aggregations, 36689324 implications, 0 bound changes
1362.27/1362.56 c (1360.1s) probing: 12000/37282 (32.2%) - 137 fixings, 97 aggregations, 40886832 implications, 0 bound changes
1511.85/1512.11 c (1509.5s) probing: 13000/37282 (34.9%) - 138 fixings, 105 aggregations, 44834111 implications, 0 bound changes
1653.13/1653.48 c (1650.8s) probing: 14000/37282 (37.6%) - 140 fixings, 111 aggregations, 48604794 implications, 0 bound changes
1785.41/1785.70 c (1782.8s) probing: 15000/37282 (40.2%) - 141 fixings, 118 aggregations, 52151700 implications, 0 bound changes
1793.61/1793.99 c (1791.1s) probing: 15047/37282 (40.4%) - 141 fixings, 119 aggregations, 52314669 implications, 0 bound changes
1793.61/1793.99 c (1791.1s) probing aborted: solving stopped
1793.61/1793.99 c (round 19) 3915 del vars, 4221 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 126070702 impls, 551 clqs
1793.61/1793.99 c presolving (19 rounds):
1793.61/1793.99 c 3915 deleted vars, 4221 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.61/1793.99 c 126070702 implications, 551 cliques
1793.61/1793.99 c presolving was interrupted.
1793.61/1793.99 c Presolving Time: 1791.03
1793.61/1793.99 c OPT-LIN
1793.61/1793.99 c -----------------------------------------------------------------------------------------------
1793.61/1793.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1793.61/1793.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.61/1793.99 c limits/memory = c 13950
1793.61/1793.99 c # maximal time in seconds to run
1793.61/1793.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.61/1793.99 c limits/time = c 1791
1793.61/1793.99 c # frequency for displaying node information lines
1793.61/1793.99 c # [type: int, range: [-1,2147483647], default: 100]
1793.61/1793.99 c display/freq = c 10000
1793.61/1793.99 c -----------------------------------------------------------------------------------------------
1793.61/1793.99 c start solving problem
1793.61/1793.99 c presolving:
1793.61/1793.99 c presolving (19 rounds):
1793.61/1793.99 c 3915 deleted vars, 4221 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.61/1793.99 c 126070702 implications, 551 cliques
1793.61/1793.99 c presolving was interrupted.
1793.61/1793.99 c Presolving Time: 1791.03
1793.61/1793.99 c
1793.61/1793.99 c SCIP Status : solving was interrupted [time limit reached]
1793.61/1793.99 c Solving Time (sec) : 1791.12
1793.61/1793.99 c Solving Nodes : 0
1793.61/1793.99 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.61/1793.99 c NODE 0
1793.61/1793.99 c DUAL BOUND -1e+20
1793.61/1793.99 c PRIMAL BOUND 1e+20
1793.61/1793.99 c GAP 1e+20
1793.61/1793.99 s UNKNOWN
1793.61/1793.99 c SCIP Status : solving was interrupted [time limit reached]
1793.61/1793.99 c Solving Time : 1791.12
1793.61/1793.99 c Original Problem :
1793.61/1793.99 c Problem name : HOME/instance-3742904-1338799034.opb
1793.61/1793.99 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.61/1793.99 c Constraints : 41436 initial, 41436 maximal
1793.61/1793.99 c Presolved Problem :
1793.61/1793.99 c Problem name : t_HOME/instance-3742904-1338799034.opb
1793.61/1793.99 c Variables : 37022 (37022 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.61/1793.99 c Constraints : 37215 initial, 37215 maximal
1793.61/1793.99 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.61/1793.99 c trivial : 0.06 123 0 0 0 0 0 0 0
1793.61/1793.99 c dualfix : 0.05 0 0 0 0 0 0 0 0
1793.61/1793.99 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.61/1793.99 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.61/1793.99 c implics : 0.02 0 1 0 0 0 0 0 0
1793.61/1793.99 c probing : 1790.16 141 119 0 0 0 0 0 0
1793.61/1793.99 c knapsack : 0.10 0 0 0 0 0 0 0 0
1793.61/1793.99 c setppc : 0.02 0 0 0 0 0 0 0 0
1793.61/1793.99 c linear : 0.38 3531 0 0 3531 0 4088 0 0
1793.61/1793.99 c logicor : 0.12 0 0 0 0 0 133 0 0
1793.61/1793.99 c root node : - 0 - - 0 - - - -
1793.61/1793.99 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.61/1793.99 c integral : 0 0 0 0 0 0 0 0 0 0
1793.61/1793.99 c knapsack : 0+ 0 211022 0 0 0 0 0 0 0
1793.61/1793.99 c setppc : 0+ 0 209310 0 0 26 0 0 0 0
1793.61/1793.99 c linear : 0+ 0 1711 0 0 0 0 0 0 0
1793.61/1793.99 c logicor : 0+ 0 198076 0 0 5 0 0 0 0
1793.61/1793.99 c countsols : 0 0 0 0 0 0 0 0 0 0
1793.61/1793.99 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.61/1793.99 c integral : 0.00 0.00 0.00 0.00 0.00
1793.61/1793.99 c knapsack : 0.09 0.00 0.09 0.00 0.00
1793.61/1793.99 c setppc : 2.09 0.00 2.09 0.00 0.00
1793.61/1793.99 c linear : 1.11 0.00 1.11 0.00 0.00
1793.61/1793.99 c logicor : 97.25 0.00 97.25 0.00 0.00
1793.61/1793.99 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.61/1793.99 c Propagators : Time Calls Cutoffs DomReds
1793.61/1793.99 c rootredcost : 0.03 0 0 0
1793.61/1793.99 c pseudoobj : 0.01 0 0 0
1793.61/1793.99 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.61/1793.99 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.61/1793.99 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.61/1793.99 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.61/1793.99 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.61/1793.99 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.61/1793.99 c applied globally : - - - 0 0.0 - - -
1793.61/1793.99 c applied locally : - - - 0 0.0 - - -
1794.01/1794.35 c Time complete: 1794.06.
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-3742904-1338799034/watcher-3742904-1338799034 -o /tmp/evaluation-result-3742904-1338799034/solver-3742904-1338799034 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3742904-1338799034.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.92 1.98 1.99 3/176 8289
/proc/meminfo: memFree=27651340/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=9140 CPUtime=0 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 1630 0 0 0 0 0 0 0 20 0 1 0 346028918 9359360 1583 33554432000 4194304 7823515 140736944711120 140733790909176 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 2285 1583 354 887 0 1395 0
[startup+0.0460719 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8289
/proc/meminfo: memFree=27651340/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=16652 CPUtime=0.04 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 3529 0 0 0 4 0 0 0 20 0 1 0 346028918 17051648 3482 33554432000 4194304 7823515 140736944711120 140733790909176 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 4163 3482 354 887 0 3273 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16652
[startup+0.100266 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8289
/proc/meminfo: memFree=27651340/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=24012 CPUtime=0.09 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 5360 0 0 0 9 0 0 0 20 0 1 0 346028918 24588288 5313 33554432000 4194304 7823515 140736944711120 140733790909176 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 6003 5313 354 887 0 5113 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24012
[startup+0.300217 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8289
/proc/meminfo: memFree=27651340/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=50828 CPUtime=0.29 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 12037 0 0 0 28 1 0 0 20 0 1 0 346028918 52047872 11990 33554432000 4194304 7823515 140736944711120 140733790909176 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 12707 11990 354 887 0 11817 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50828
[startup+0.700224 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8289
/proc/meminfo: memFree=27651340/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=131356 CPUtime=0.69 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 32211 0 0 0 62 7 0 0 20 0 1 0 346028918 134508544 31806 33554432000 4194304 7823515 140736944711120 140736944708664 5808607 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 32839 31806 431 887 0 31949 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 131356
[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 8290
/proc/meminfo: memFree=27494720/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=185832 CPUtime=1.49 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 46514 0 0 0 134 15 0 0 20 0 1 0 346028918 190291968 45271 33554432000 4194304 7823515 140736944711120 140736944708664 5061266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 46458 45271 449 887 0 45568 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 185832
[startup+3.10014 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 8290
/proc/meminfo: memFree=27384228/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=332216 CPUtime=3.09 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 81425 0 0 0 290 19 0 0 20 0 1 0 346028918 340189184 80182 33554432000 4194304 7823515 140736944711120 140736944706984 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 83054 80182 449 887 0 82164 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 332216
[startup+6.30031 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8290
/proc/meminfo: memFree=27229548/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=370324 CPUtime=6.28 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 90433 0 0 0 608 20 0 0 20 0 1 0 346028918 379211776 89190 33554432000 4194304 7823515 140736944711120 140736944706984 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 92581 89190 449 887 0 91691 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 370324
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8290
/proc/meminfo: memFree=27125580/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=405696 CPUtime=12.69 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 98974 0 0 0 1246 23 0 0 20 0 1 0 346028918 415432704 97731 33554432000 4194304 7823515 140736944711120 140736944706984 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 101424 97731 449 887 0 100534 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 405696
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8290
/proc/meminfo: memFree=27016700/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=446916 CPUtime=25.48 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 109408 0 0 0 2523 25 0 0 20 0 1 0 346028918 457641984 108165 33554432000 4194304 7823515 140736944711120 140736944707816 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 111729 108165 449 887 0 110839 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 446916
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8291
/proc/meminfo: memFree=26814780/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=535744 CPUtime=51.08 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 130590 0 0 0 5079 29 0 0 20 0 1 0 346028918 548601856 129347 33554432000 4194304 7823515 140736944711120 140736944706984 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 133936 129347 449 887 0 133046 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 535744
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8291
/proc/meminfo: memFree=26614068/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=660180 CPUtime=102.28 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 161623 0 0 0 10193 35 0 0 20 0 1 0 346028918 676024320 160380 33554432000 4194304 7823515 140736944711120 140736944706984 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 165045 160380 449 887 0 164155 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 660180
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8291
/proc/meminfo: memFree=26230876/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=896284 CPUtime=162.27 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 220249 0 0 0 16179 48 0 0 20 0 1 0 346028918 917794816 219006 33554432000 4194304 7823515 140736944711120 140736944706984 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 224071 219006 466 887 0 223181 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 896284
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8294
/proc/meminfo: memFree=25830944/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=1170044 CPUtime=222.26 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 288083 0 0 0 22162 64 0 0 20 0 1 0 346028918 1198125056 286840 33554432000 4194304 7823515 140736944711120 140736944707816 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 292511 286840 466 887 0 291621 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1170044
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8294
/proc/meminfo: memFree=25494876/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=1390120 CPUtime=282.24 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 343170 0 0 0 28148 76 0 0 20 0 1 0 346028918 1423482880 341927 33554432000 4194304 7823515 140736944711120 140736944707816 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 347530 341927 466 887 0 346640 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1390120
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8294
/proc/meminfo: memFree=25346976/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=1444464 CPUtime=342.23 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 356904 0 0 0 34143 80 0 0 20 0 1 0 346028918 1479131136 355661 33554432000 4194304 7823515 140736944711120 140736944707176 5803643 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 361116 355661 466 887 0 360226 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1444464
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8295
/proc/meminfo: memFree=25114008/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=1587752 CPUtime=402.22 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 391948 0 0 0 40132 90 0 0 20 0 1 0 346028918 1625858048 390705 33554432000 4194304 7823515 140736944711120 140736944707816 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 396938 390705 466 887 0 396048 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1587752
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8295
/proc/meminfo: memFree=24867896/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=1731460 CPUtime=462.22 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 428404 0 0 0 46123 99 0 0 20 0 1 0 346028918 1773015040 427161 33554432000 4194304 7823515 140736944711120 140736944707816 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 432865 427161 466 887 0 431975 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1731460
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8295
/proc/meminfo: memFree=24671756/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=1823828 CPUtime=522.2 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 450583 0 0 0 52116 104 0 0 20 0 1 0 346028918 1867599872 449340 33554432000 4194304 7823515 140736944711120 140736944707816 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 455957 449340 466 887 0 455067 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1823828
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8295
/proc/meminfo: memFree=24463652/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=1952740 CPUtime=582.2 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 482243 0 0 0 58108 112 0 0 20 0 1 0 346028918 1999605760 481000 33554432000 4194304 7823515 140736944711120 140736944707816 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 488185 481000 466 887 0 487295 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1952740
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23121056/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=2807376 CPUtime=1062.13 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 690857 0 0 0 106053 160 0 0 20 0 1 0 346028918 2874753024 689614 33554432000 4194304 7823515 140736944711120 140736944707816 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 701844 689614 466 887 0 700954 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 2807376
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8300
/proc/meminfo: memFree=23026044/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=2897088 CPUtime=1122.12 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 713606 0 0 0 112046 166 0 0 20 0 1 0 346028918 2966618112 712363 33554432000 4194304 7823515 140736944711120 140736944707816 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 724272 712363 466 887 0 723382 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2897088
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8300
/proc/meminfo: memFree=22939728/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=2984948 CPUtime=1182.11 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 735078 0 0 0 118039 172 0 0 20 0 1 0 346028918 3056586752 733835 33554432000 4194304 7823515 140736944711120 140736944707816 5808253 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 746237 733835 466 887 0 745347 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2984948
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8300
/proc/meminfo: memFree=22844772/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3080856 CPUtime=1242.09 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 758270 0 0 0 124032 177 0 0 20 0 1 0 346028918 3154796544 757407 33554432000 4194304 7823515 140736944711120 140736944707816 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 770214 757407 466 887 0 769324 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3080856
[startup+1302.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 8301
/proc/meminfo: memFree=22762852/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3163200 CPUtime=1302.08 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 778289 0 0 0 130027 181 0 0 20 0 1 0 346028918 3239116800 777448 33554432000 4194304 7823515 140736944711120 140736944707816 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 790800 777448 466 887 0 789910 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3163200
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 8301
/proc/meminfo: memFree=22675832/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3251316 CPUtime=1362.07 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 799952 0 0 0 136020 187 0 0 20 0 1 0 346028918 3329347584 799130 33554432000 4194304 7823515 140736944711120 140736944707816 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 812829 799130 466 887 0 811939 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3251316
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 8304
/proc/meminfo: memFree=22593732/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3337344 CPUtime=1422.07 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 820288 0 0 0 142015 192 0 0 20 0 1 0 346028918 3417440256 819514 33554432000 4194304 7823515 140736944711120 140736944707800 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 834336 819514 466 887 0 833446 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3337344
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 8326
/proc/meminfo: memFree=22505860/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3425268 CPUtime=1482.05 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 841894 0 0 0 148008 197 0 0 20 0 1 0 346028918 3507474432 841673 33554432000 4194304 7823515 140736944711120 140736944707816 5803643 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 856317 841673 466 887 0 855427 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3425268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8326
/proc/meminfo: memFree=22421108/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3509352 CPUtime=1542.05 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 862718 0 0 0 154003 202 0 0 20 0 1 0 346028918 3593576448 862986 33554432000 4194304 7823515 140736944711120 140736944707816 5803627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 877338 862986 466 887 0 876448 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3509352
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8327
/proc/meminfo: memFree=22326276/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3604996 CPUtime=1602.04 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 885829 0 0 0 159997 207 0 0 20 0 1 0 346028918 3691515904 886662 33554432000 4194304 7823515 140736944711120 140736944707816 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 901249 886662 466 887 0 900359 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3604996
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8327
/proc/meminfo: memFree=22137392/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3694724 CPUtime=1662.03 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 908033 0 0 0 165991 212 0 0 20 0 1 0 346028918 3783397376 908866 33554432000 4194304 7823515 140736944711120 140736944707816 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 923681 908866 466 887 0 922791 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3694724
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8327
/proc/meminfo: memFree=21941840/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3789232 CPUtime=1722.02 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 930731 0 0 0 171985 217 0 0 20 0 1 0 346028918 3880173568 931575 33554432000 4194304 7823515 140736944711120 140736944707816 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 947308 931575 466 887 0 946418 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3789232
[startup+1782.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/176 8327
/proc/meminfo: memFree=21863416/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3870348 CPUtime=1782.01 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 950201 0 0 0 177979 222 0 0 20 0 1 0 346028918 3963236352 951119 33554432000 4194304 7823515 140736944711120 140736944707816 5803643 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 967587 951119 466 887 0 966697 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3870348
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.11 2.03 2.01 3/176 8327
/proc/meminfo: memFree=21858704/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3875196 CPUtime=1785.21 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 951381 0 0 0 178299 222 0 0 20 0 1 0 346028918 3968200704 952299 33554432000 4194304 7823515 140736944711120 140736944707816 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 968799 952299 466 887 0 967909 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 3875196
[startup+1788.7 s]
/proc/loadavg: 2.10 2.03 2.01 3/176 8327
/proc/meminfo: memFree=21853744/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3880052 CPUtime=1788.4 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 952564 0 0 0 178618 222 0 0 20 0 1 0 346028918 3973173248 953482 33554432000 4194304 7823515 140736944711120 140736944707816 5803643 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 970013 953482 466 887 0 969123 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 3880052
[startup+1791.91 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 8328
/proc/meminfo: memFree=21844916/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3887848 CPUtime=1791.61 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 954643 0 0 0 178939 222 0 0 20 0 1 0 346028918 3981156352 955562 33554432000 4194304 7823515 140736944711120 140736944707816 4788719 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 971962 955562 466 887 0 971072 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 3887848
[startup+1793.5 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 8328
/proc/meminfo: memFree=21843180/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3890756 CPUtime=1793.21 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 955304 0 0 0 179098 223 0 0 20 0 1 0 346028918 3984134144 956223 33554432000 4194304 7823515 140736944711120 140736944707816 5803643 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 972689 956223 466 887 0 971799 0
Current children cumulated CPU time (s) 1793.21
Current children cumulated vsize (KiB) 3890756
[startup+1793.9 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 8328
/proc/meminfo: memFree=21843180/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3890756 CPUtime=1793.61 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 955515 0 0 0 179138 223 0 0 20 0 1 0 346028918 3984134144 956434 33554432000 4194304 7823515 140736944711120 140736944707816 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 972689 956434 466 887 0 971799 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (KiB) 3890756
[startup+1794.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 8328
/proc/meminfo: memFree=21840328/32873648 swapFree=7116/7116
[pid=8289] ppid=8287 vsize=3194428 CPUtime=1794.01 cores=1,3,5,7
/proc/8289/stat : 8289 (pbscip.linux.x8) R 8287 8289 7629 0 -1 4202496 955783 0 0 0 179164 237 0 0 20 0 1 0 346028918 3271094272 217562 33554432000 4194304 7823515 140736944711120 140736944707816 7132266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8289/statm: 798607 217083 478 887 0 797717 0
Current children cumulated CPU time (s) 1794.01
Current children cumulated vsize (KiB) 3194428
Child status: 0
Real time (s): 1794.36
CPU time (s): 1794.07
CPU user time (s): 1791.66
CPU system time (s): 2.40863
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 3891780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.66
system time used= 2.40863
maximum resident set size= 3826800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 955795
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= 27
involuntary context switches= 1842
runsolver used 2.68659 second user time and 7.2269 second system time
The end