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-3742871-1338798823.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.53 c start presolving problem
0.49/0.53 c presolving:
0.59/0.64 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.59/0.68 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.71 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.74 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.77 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.79 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.82 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.84 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.86 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.88 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
150.75/150.89 c (round 11) 3720 del vars, 4088 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 9064130 impls, 551 clqs
150.84/150.98 c (round 12) 3720 del vars, 4148 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9064130 impls, 551 clqs
179.44/179.57 c (178.7s) probing: 1000/37282 (2.7%) - 63 fixings, 9 aggregations, 1137638 implications, 0 bound changes
230.43/230.56 c (229.6s) probing: 2000/37282 (5.4%) - 64 fixings, 31 aggregations, 3590092 implications, 0 bound changes
285.93/286.03 c (284.9s) probing: 3000/37282 (8.0%) - 68 fixings, 41 aggregations, 6256493 implications, 0 bound changes
408.39/408.55 c (round 13) 3770 del vars, 4148 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36242364 impls, 551 clqs
408.50/408.61 c (round 14) 3770 del vars, 4156 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36242364 impls, 551 clqs
409.49/409.63 c (408.3s) probing: 4000/37282 (10.7%) - 68 fixings, 47 aggregations, 10885245 implications, 0 bound changes
465.09/465.27 c (463.9s) probing: 5000/37282 (13.4%) - 69 fixings, 49 aggregations, 12713599 implications, 0 bound changes
593.86/594.07 c (592.5s) probing: 6000/37282 (16.1%) - 74 fixings, 56 aggregations, 17110988 implications, 0 bound changes
738.73/738.92 c (737.2s) probing: 7000/37282 (18.8%) - 74 fixings, 65 aggregations, 21551505 implications, 0 bound changes
876.51/876.79 c (874.9s) probing: 8000/37282 (21.5%) - 76 fixings, 72 aggregations, 25484211 implications, 0 bound changes
1025.88/1026.18 c (1024.2s) probing: 9000/37282 (24.1%) - 77 fixings, 79 aggregations, 29739524 implications, 0 bound changes
1168.46/1168.79 c (1166.6s) probing: 10000/37282 (26.8%) - 79 fixings, 85 aggregations, 33726506 implications, 0 bound changes
1212.95/1213.20 c (round 15) 3820 del vars, 4156 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 88394896 impls, 551 clqs
1212.95/1213.26 c (round 16) 3820 del vars, 4167 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 88394896 impls, 551 clqs
1300.53/1300.87 c (1298.5s) probing: 11000/37282 (29.5%) - 81 fixings, 92 aggregations, 37397268 implications, 0 bound changes
1445.31/1445.69 c (1443.2s) probing: 12000/37282 (32.2%) - 83 fixings, 98 aggregations, 41426221 implications, 0 bound changes
1592.69/1593.05 c (1590.4s) probing: 13000/37282 (34.9%) - 84 fixings, 105 aggregations, 45462899 implications, 0 bound changes
1738.57/1738.92 c (1736.2s) probing: 14000/37282 (37.6%) - 86 fixings, 113 aggregations, 49362541 implications, 0 bound changes
1793.56/1793.92 c (1791.1s) probing: 14379/37282 (38.6%) - 86 fixings, 114 aggregations, 50928211 implications, 0 bound changes
1793.56/1793.92 c (1791.1s) probing aborted: solving stopped
1793.56/1793.92 c (round 17) 3855 del vars, 4167 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 122416086 impls, 551 clqs
1793.56/1793.92 c presolving (17 rounds):
1793.56/1793.92 c 3855 deleted vars, 4167 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.56/1793.92 c 122416086 implications, 551 cliques
1793.56/1793.92 c presolving was interrupted.
1793.56/1793.92 c Presolving Time: 1791.01
1793.56/1793.92 c OPT-LIN
1793.56/1793.92 c -----------------------------------------------------------------------------------------------
1793.56/1793.92 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1793.56/1793.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.56/1793.92 c limits/memory = c 13950
1793.56/1793.92 c # maximal time in seconds to run
1793.56/1793.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.56/1793.92 c limits/time = c 1791
1793.56/1793.92 c # frequency for displaying node information lines
1793.56/1793.92 c # [type: int, range: [-1,2147483647], default: 100]
1793.56/1793.92 c display/freq = c 10000
1793.56/1793.92 c -----------------------------------------------------------------------------------------------
1793.56/1793.92 c start solving problem
1793.56/1793.92 c presolving:
1793.56/1793.92 c presolving (17 rounds):
1793.56/1793.92 c 3855 deleted vars, 4167 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.56/1793.92 c 122416086 implications, 551 cliques
1793.56/1793.92 c presolving was interrupted.
1793.56/1793.92 c Presolving Time: 1791.01
1793.56/1793.92 c
1793.56/1793.92 c SCIP Status : solving was interrupted [time limit reached]
1793.56/1793.92 c Solving Time (sec) : 1791.11
1793.56/1793.92 c Solving Nodes : 0
1793.56/1793.92 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.56/1793.92 c NODE 0
1793.56/1793.92 c DUAL BOUND -1e+20
1793.56/1793.92 c PRIMAL BOUND 1e+20
1793.56/1793.92 c GAP 1e+20
1793.56/1793.92 s UNKNOWN
1793.56/1793.92 c SCIP Status : solving was interrupted [time limit reached]
1793.56/1793.92 c Solving Time : 1791.11
1793.56/1793.92 c Original Problem :
1793.56/1793.92 c Problem name : HOME/instance-3742871-1338798823.opb
1793.56/1793.92 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.56/1793.92 c Constraints : 41436 initial, 41436 maximal
1793.56/1793.92 c Presolved Problem :
1793.56/1793.92 c Problem name : t_HOME/instance-3742871-1338798823.opb
1793.56/1793.92 c Variables : 37082 (37082 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.56/1793.92 c Constraints : 37269 initial, 37269 maximal
1793.56/1793.92 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.56/1793.92 c trivial : 0.05 123 0 0 0 0 0 0 0
1793.56/1793.92 c dualfix : 0.03 0 0 0 0 0 0 0 0
1793.56/1793.92 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.56/1793.92 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.56/1793.92 c implics : 0.02 0 1 0 0 0 0 0 0
1793.56/1793.92 c probing : 1790.20 86 114 0 0 0 0 0 0
1793.56/1793.92 c knapsack : 0.10 0 0 0 0 0 0 0 0
1793.56/1793.92 c setppc : 0.03 0 0 0 0 0 0 0 0
1793.56/1793.92 c linear : 0.38 3531 0 0 3531 0 4088 0 0
1793.56/1793.92 c logicor : 0.07 0 0 0 0 0 79 0 0
1793.56/1793.92 c root node : - 0 - - 0 - - - -
1793.56/1793.92 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.56/1793.92 c integral : 0 0 0 0 0 0 0 0 0 0
1793.56/1793.92 c knapsack : 0+ 0 204871 0 0 0 0 0 0 0
1793.56/1793.92 c setppc : 0+ 0 202919 0 0 25 0 0 0 0
1793.56/1793.92 c linear : 0+ 0 1951 0 0 0 0 0 0 0
1793.56/1793.92 c logicor : 0+ 0 192334 0 0 3 0 0 0 0
1793.56/1793.92 c countsols : 0 0 0 0 0 0 0 0 0 0
1793.56/1793.92 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.56/1793.92 c integral : 0.00 0.00 0.00 0.00 0.00
1793.56/1793.92 c knapsack : 0.09 0.00 0.09 0.00 0.00
1793.56/1793.92 c setppc : 1.85 0.00 1.85 0.00 0.00
1793.56/1793.92 c linear : 1.67 0.00 1.67 0.00 0.00
1793.56/1793.92 c logicor : 86.84 0.00 86.84 0.00 0.00
1793.56/1793.92 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.56/1793.92 c Propagators : Time Calls Cutoffs DomReds
1793.56/1793.92 c rootredcost : 0.03 0 0 0
1793.56/1793.92 c pseudoobj : 0.03 0 0 0
1793.56/1793.92 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.56/1793.92 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.56/1793.92 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.56/1793.92 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.56/1793.92 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.56/1793.92 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.56/1793.92 c applied globally : - - - 0 0.0 - - -
1793.56/1793.92 c applied locally : - - - 0 0.0 - - -
1793.76/1794.12 c Time complete: 1793.78.
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-3742871-1338798823/watcher-3742871-1338798823 -o /tmp/evaluation-result-3742871-1338798823/solver-3742871-1338798823 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3742871-1338798823.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31408
/proc/meminfo: memFree=24672744/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=9128 CPUtime=0 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 1627 0 0 0 0 0 0 0 20 0 1 0 346006892 9347072 1580 33554432000 4194304 7823515 140736130900400 140733621831192 6883856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 2282 1580 354 887 0 1392 0
[startup+0.0123739 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31408
/proc/meminfo: memFree=24672744/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=10748 CPUtime=0.01 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 2032 0 0 0 1 0 0 0 20 0 1 0 346006892 11005952 1985 33554432000 4194304 7823515 140736130900400 140736130766504 4363789 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 2687 1985 354 887 0 1797 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10748
[startup+0.100299 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31408
/proc/meminfo: memFree=24672744/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=24016 CPUtime=0.09 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 5361 0 0 0 9 0 0 0 20 0 1 0 346006892 24592384 5314 33554432000 4194304 7823515 140736130900400 140736130766504 4808455 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 6004 5314 354 887 0 5114 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24016
[startup+0.300312 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31408
/proc/meminfo: memFree=24672744/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=50832 CPUtime=0.29 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 12038 0 0 0 27 2 0 0 20 0 1 0 346006892 52051968 11991 33554432000 4194304 7823515 140736130900400 140736130766504 6830357 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 12708 11991 354 887 0 11818 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50832
[startup+0.700315 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31408
/proc/meminfo: memFree=24672744/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=130328 CPUtime=0.69 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 31965 0 0 0 63 6 0 0 20 0 1 0 346006892 133455872 31560 33554432000 4194304 7823515 140736130900400 140736130766504 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 32582 31560 431 887 0 31692 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 130328
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31409
/proc/meminfo: memFree=24545652/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=184856 CPUtime=1.49 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 45790 0 0 0 135 14 0 0 20 0 1 0 346006892 189292544 45058 33554432000 4194304 7823515 140736130900400 140736130897336 5061266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 46214 45058 449 887 0 45324 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 184856
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31409
/proc/meminfo: memFree=24449552/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=331208 CPUtime=3.08 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 80413 0 0 0 289 19 0 0 20 0 1 0 346006892 339156992 79681 33554432000 4194304 7823515 140736130900400 140736130896264 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 82802 79681 449 887 0 81912 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 331208
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31447
/proc/meminfo: memFree=27613216/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=370340 CPUtime=6.29 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 89837 0 0 0 608 21 0 0 20 0 1 0 346006892 379228160 89105 33554432000 4194304 7823515 140736130900400 140736130896264 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 92585 89105 449 887 0 91695 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 370340
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31447
/proc/meminfo: memFree=27419220/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=405712 CPUtime=12.69 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 98352 0 0 0 1246 23 0 0 20 0 1 0 346006892 415449088 97620 33554432000 4194304 7823515 140736130900400 140736130897096 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 101428 97620 449 887 0 100538 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 405712
[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 31447
/proc/meminfo: memFree=27303220/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=445908 CPUtime=25.48 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 108248 0 0 0 2523 25 0 0 20 0 1 0 346006892 456609792 107513 33554432000 4194304 7823515 140736130900400 140736130896264 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 111477 107513 449 887 0 110587 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 445908
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31447
/proc/meminfo: memFree=27180924/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=492524 CPUtime=51.06 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 120206 0 0 0 5078 28 0 0 20 0 1 0 346006892 504344576 119486 33554432000 4194304 7823515 140736130900400 140736130896520 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 123131 119486 449 887 0 122241 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 492524
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 31448
/proc/meminfo: memFree=26921684/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=586260 CPUtime=102.26 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 143066 0 0 0 10193 33 0 0 20 0 1 0 346006892 600330240 142785 33554432000 4194304 7823515 140736130900400 140736130896264 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 146565 142785 449 887 0 145675 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 586260
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31448
/proc/meminfo: memFree=26530128/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=771000 CPUtime=162.24 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 188069 0 0 0 16181 43 0 0 20 0 1 0 346006892 789504000 189134 33554432000 4194304 7823515 140736130900400 140736130897096 4800444 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 192750 189134 461 887 0 191860 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 771000
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31448
/proc/meminfo: memFree=26003280/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=1061468 CPUtime=222.24 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 259635 0 0 0 22165 59 0 0 20 0 1 0 346006892 1086943232 261301 33554432000 4194304 7823515 140736130900400 140736130897096 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 265367 261301 466 887 0 264477 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1061468
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31449
/proc/meminfo: memFree=25649040/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=1297188 CPUtime=282.23 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 318158 0 0 0 28150 73 0 0 20 0 1 0 346006892 1328320512 320295 33554432000 4194304 7823515 140736130900400 140736130897096 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 324297 320295 466 887 0 323407 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1297188
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31449
/proc/meminfo: memFree=25408012/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=1418272 CPUtime=342.21 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 348678 0 0 0 34142 79 0 0 20 0 1 0 346006892 1452310528 351316 33554432000 4194304 7823515 140736130900400 140736130897080 5803643 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 354568 351316 466 887 0 353678 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1418272
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31452
/proc/meminfo: memFree=25213104/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=1498880 CPUtime=402.19 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 367646 0 0 0 40134 85 0 0 20 0 1 0 346006892 1534853120 370812 33554432000 4194304 7823515 140736130900400 140736130897096 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 374720 370812 466 887 0 373830 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1498880
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31452
/proc/meminfo: memFree=24940092/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=1641096 CPUtime=462.19 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 402413 0 0 0 46125 94 0 0 20 0 1 0 346006892 1680482304 405900 33554432000 4194304 7823515 140736130900400 140736130897096 5803647 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 410274 405900 466 887 0 409384 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1641096
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31452
/proc/meminfo: memFree=24727956/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=1739124 CPUtime=522.17 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 426868 0 0 0 52118 99 0 0 20 0 1 0 346006892 1780862976 430357 33554432000 4194304 7823515 140736130900400 140736130897096 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 434781 430357 466 887 0 433891 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1739124
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31453
/proc/meminfo: memFree=24517432/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=1848376 CPUtime=582.16 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 453693 0 0 0 58111 105 0 0 20 0 1 0 346006892 1892737024 457195 33554432000 4194304 7823515 140736130900400 140736130897080 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 462094 457195 466 887 0 461204 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1848376
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22853328/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=2683076 CPUtime=1062.08 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 657869 0 0 0 106058 150 0 0 20 0 1 0 346006892 2747469824 663342 33554432000 4194304 7823515 140736130900400 140736130897096 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 670769 663342 466 887 0 669879 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 2683076
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31457
/proc/meminfo: memFree=22655824/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=2781776 CPUtime=1122.07 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 681942 0 0 0 112052 155 0 0 20 0 1 0 346006892 2848538624 688039 33554432000 4194304 7823515 140736130900400 140736130897096 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 695444 688039 466 887 0 694554 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 2781776
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31458
/proc/meminfo: memFree=22460568/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=2872872 CPUtime=1182.05 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 703993 0 0 0 118045 160 0 0 20 0 1 0 346006892 2941820928 710512 33554432000 4194304 7823515 140736130900400 140736130897096 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 718218 710512 466 887 0 717328 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 2872872
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31459
/proc/meminfo: memFree=22261436/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=2970488 CPUtime=1242.04 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 727889 0 0 0 124035 169 0 0 20 0 1 0 346006892 3041779712 734839 33554432000 4194304 7823515 140736130900400 140736130897096 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 742622 734839 466 887 0 741732 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 2970488
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31459
/proc/meminfo: memFree=22059964/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3066280 CPUtime=1302.03 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 751321 0 0 0 130029 174 0 0 20 0 1 0 346006892 3139870720 758852 33554432000 4194304 7823515 140736130900400 140736130897096 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 766570 758852 466 887 0 765680 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 3066280
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31459
/proc/meminfo: memFree=21881680/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3145720 CPUtime=1362.03 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 770975 0 0 0 136024 179 0 0 20 0 1 0 346006892 3221217280 779180 33554432000 4194304 7823515 140736130900400 140736130897096 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 786430 779180 466 887 0 785540 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 3145720
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31459
/proc/meminfo: memFree=21693972/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3238580 CPUtime=1422.02 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 792955 0 0 0 142019 183 0 0 20 0 1 0 346006892 3316305920 801789 33554432000 4194304 7823515 140736130900400 140736130897096 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 809645 801789 466 887 0 808755 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 3238580
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31459
/proc/meminfo: memFree=21520028/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3319708 CPUtime=1482 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 812803 0 0 0 148012 188 0 0 20 0 1 0 346006892 3399380992 822287 33554432000 4194304 7823515 140736130900400 140736130896120 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 829927 822287 466 887 0 829037 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 3319708
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31460
/proc/meminfo: memFree=21330708/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3398928 CPUtime=1541.99 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 832149 0 0 0 154006 193 0 0 20 0 1 0 346006892 3480502272 842291 33554432000 4194304 7823515 140736130900400 140736130897096 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 849732 842291 466 887 0 848842 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 3398928
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31463
/proc/meminfo: memFree=21138528/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3491748 CPUtime=1601.98 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 854651 0 0 0 160000 198 0 0 20 0 1 0 346006892 3575549952 865487 33554432000 4194304 7823515 140736130900400 140736130897096 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 872937 865487 466 887 0 872047 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 3491748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31485
/proc/meminfo: memFree=20946976/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3580648 CPUtime=1661.98 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 876177 0 0 0 165995 203 0 0 20 0 1 0 346006892 3666583552 887630 33554432000 4194304 7823515 140736130900400 140736130897096 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 895162 887630 466 887 0 894272 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 3580648
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31485
/proc/meminfo: memFree=20761880/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3668616 CPUtime=1721.96 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 897478 0 0 0 171989 207 0 0 20 0 1 0 346006892 3756662784 909625 33554432000 4194304 7823515 140736130900400 140736130897096 5803635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 917154 909625 466 887 0 916264 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 3668616
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31485
/proc/meminfo: memFree=20559416/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3762508 CPUtime=1781.96 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 920367 0 0 0 177984 212 0 0 20 0 1 0 346006892 3852808192 933240 33554432000 4194304 7823515 140736130900400 140736130896120 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 940627 933240 466 887 0 939737 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 3762508
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31485
/proc/meminfo: memFree=20546752/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3763492 CPUtime=1785.16 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 920768 0 0 0 178304 212 0 0 20 0 1 0 346006892 3853815808 933768 33554432000 4194304 7823515 140736130900400 140736130897096 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 940873 933768 466 887 0 939983 0
Current children cumulated CPU time (s) 1785.16
Current children cumulated vsize (KiB) 3763492
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31485
/proc/meminfo: memFree=20534980/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3768376 CPUtime=1788.35 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 921811 0 0 0 178623 212 0 0 20 0 1 0 346006892 3858817024 934811 33554432000 4194304 7823515 140736130900400 140736130897096 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 942094 934811 466 887 0 941204 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 3768376
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31486
/proc/meminfo: memFree=20524556/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3772240 CPUtime=1791.56 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 922978 0 0 0 178943 213 0 0 20 0 1 0 346006892 3862773760 935978 33554432000 4194304 7823515 140736130900400 140736130897096 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 943060 935978 466 887 0 942170 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 3772240
[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31486
/proc/meminfo: memFree=20522820/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3775148 CPUtime=1793.16 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 923604 0 0 0 179103 213 0 0 20 0 1 0 346006892 3865751552 936604 33554432000 4194304 7823515 140736130900400 140736130897096 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 943787 936604 466 887 0 942897 0
Current children cumulated CPU time (s) 1793.16
Current children cumulated vsize (KiB) 3775148
[startup+1793.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31486
/proc/meminfo: memFree=20522820/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=3776104 CPUtime=1793.56 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 923806 0 0 0 179143 213 0 0 20 0 1 0 346006892 3866730496 936806 33554432000 4194304 7823515 140736130900400 140736130897096 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 944026 936806 466 887 0 943136 0
Current children cumulated CPU time (s) 1793.56
Current children cumulated vsize (KiB) 3776104
[startup+1794.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31486
/proc/meminfo: memFree=20518852/32873844 swapFree=7108/7108
[pid=31408] ppid=31406 vsize=890856 CPUtime=1793.76 cores=0,2,4,6
/proc/31408/stat : 31408 (pbscip.linux.x8) R 31406 31408 30579 0 -1 4202496 924076 0 0 0 179157 219 0 0 20 0 1 0 346006892 912236544 42426 33554432000 4194304 7823515 140736130900400 140736130897096 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31408/statm: 222714 42426 478 887 0 221824 0
Current children cumulated CPU time (s) 1793.76
Current children cumulated vsize (KiB) 890856
Child status: 0
Real time (s): 1794.13
CPU time (s): 1793.79
CPU user time (s): 1791.6
CPU system time (s): 2.19567
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 3777128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.6
system time used= 2.19567
maximum resident set size= 3748296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 924088
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= 99
involuntary context switches= 1869
runsolver used 5.18821 second user time and 20.5799 second system time
The end