0.39/0.40 c SCIP version 1.1.0.7
0.39/0.40 c LP-Solver SoPlex 1.4.1
0.39/0.40 c user parameter file <scip.set> not found - using default parameters
0.39/0.40 c read problem <HOME/instance-3742915-1338799236.opb>
0.39/0.40 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.49/0.59 c start presolving problem
0.49/0.59 c presolving:
0.69/0.74 c (round 1) 6528 del vars, 6502 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11988 impls, 455 clqs
0.69/0.78 c (round 2) 7583 del vars, 7562 del conss, 1057 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12586 impls, 454 clqs
0.78/0.82 c (round 3) 8139 del vars, 8118 del conss, 1613 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13480 impls, 454 clqs
0.78/0.86 c (round 4) 8527 del vars, 8506 del conss, 2001 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15024 impls, 454 clqs
0.89/0.90 c (round 5) 8831 del vars, 8810 del conss, 2305 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16738 impls, 454 clqs
0.89/0.94 c (round 6) 9095 del vars, 9074 del conss, 2569 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17858 impls, 454 clqs
0.89/0.98 c (round 7) 9321 del vars, 9300 del conss, 2795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18688 impls, 454 clqs
0.99/1.01 c (round 8) 9452 del vars, 9431 del conss, 2926 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19688 impls, 454 clqs
0.99/1.04 c (round 9) 9503 del vars, 9482 del conss, 2977 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20372 impls, 454 clqs
0.99/1.07 c (round 10) 9523 del vars, 9502 del conss, 2997 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20726 impls, 454 clqs
113.65/113.77 c (round 11) 9583 del vars, 9568 del conss, 2998 chg bounds, 0 chg sides, 0 chg coeffs, 31317 upgd conss, 7780212 impls, 454 clqs
114.25/114.36 c (round 12) 9583 del vars, 9622 del conss, 2998 chg bounds, 0 chg sides, 0 chg coeffs, 31382 upgd conss, 7780564 impls, 454 clqs
146.55/146.65 c (145.7s) probing: 1000/30927 (3.2%) - 56 fixings, 17 aggregations, 1264031 implications, 0 bound changes
189.63/189.75 c (188.7s) probing: 2000/30927 (6.5%) - 57 fixings, 35 aggregations, 3369449 implications, 0 bound changes
239.82/239.91 c (round 13) 9633 del vars, 9622 del conss, 2998 chg bounds, 0 chg sides, 0 chg coeffs, 31382 upgd conss, 21543990 impls, 454 clqs
240.32/240.47 c (round 14) 9633 del vars, 9629 del conss, 2998 chg bounds, 0 chg sides, 0 chg coeffs, 31382 upgd conss, 21543990 impls, 454 clqs
244.51/244.61 c (243.4s) probing: 3000/30927 (9.7%) - 61 fixings, 48 aggregations, 5492530 implications, 0 bound changes
309.01/309.11 c (307.9s) probing: 4000/30927 (12.9%) - 61 fixings, 49 aggregations, 7957336 implications, 0 bound changes
400.69/400.86 c (399.5s) probing: 5000/30927 (16.2%) - 65 fixings, 56 aggregations, 11460224 implications, 0 bound changes
501.76/501.90 c (500.3s) probing: 6000/30927 (19.4%) - 67 fixings, 66 aggregations, 14880357 implications, 0 bound changes
603.15/603.32 c (601.6s) probing: 7000/30927 (22.6%) - 69 fixings, 73 aggregations, 18176335 implications, 0 bound changes
704.33/704.52 c (702.6s) probing: 8000/30927 (25.9%) - 70 fixings, 81 aggregations, 21531220 implications, 0 bound changes
781.01/781.20 c (round 15) 9683 del vars, 9629 del conss, 2998 chg bounds, 0 chg sides, 0 chg coeffs, 31382 upgd conss, 61937444 impls, 454 clqs
781.51/781.76 c (round 16) 9683 del vars, 9640 del conss, 2998 chg bounds, 0 chg sides, 0 chg coeffs, 31382 upgd conss, 61937444 impls, 454 clqs
804.00/804.29 c (802.3s) probing: 9000/30927 (29.1%) - 73 fixings, 89 aggregations, 24722168 implications, 0 bound changes
900.79/901.04 c (898.9s) probing: 10000/30927 (32.3%) - 75 fixings, 97 aggregations, 27976032 implications, 0 bound changes
1010.77/1011.06 c (1008.7s) probing: 11000/30927 (35.6%) - 77 fixings, 105 aggregations, 31658586 implications, 0 bound changes
1114.65/1114.93 c (1112.4s) probing: 12000/30927 (38.8%) - 79 fixings, 113 aggregations, 35021500 implications, 0 bound changes
1218.54/1218.82 c (1216.2s) probing: 13000/30927 (42.0%) - 81 fixings, 123 aggregations, 38276788 implications, 0 bound changes
1282.13/1282.50 c (round 17) 9733 del vars, 9640 del conss, 2998 chg bounds, 0 chg sides, 0 chg coeffs, 31382 upgd conss, 96763094 impls, 454 clqs
1282.73/1283.06 c (round 18) 9733 del vars, 9650 del conss, 2998 chg bounds, 0 chg sides, 0 chg coeffs, 31382 upgd conss, 96763094 impls, 454 clqs
1316.82/1317.18 c (1314.4s) probing: 14000/30927 (45.3%) - 83 fixings, 129 aggregations, 41355799 implications, 0 bound changes
1416.90/1417.28 c (1414.3s) probing: 15000/30927 (48.5%) - 85 fixings, 136 aggregations, 44729007 implications, 0 bound changes
1518.19/1518.54 c (1515.4s) probing: 16000/30927 (51.7%) - 87 fixings, 143 aggregations, 48105157 implications, 0 bound changes
1624.07/1624.45 c (1621.2s) probing: 17000/30927 (55.0%) - 89 fixings, 151 aggregations, 51734276 implications, 0 bound changes
1725.06/1725.45 c (1722.1s) probing: 18000/30927 (58.2%) - 91 fixings, 160 aggregations, 55028294 implications, 0 bound changes
1794.15/1794.51 c (1791.0s) probing: 18694/30927 (60.4%) - 91 fixings, 165 aggregations, 57218674 implications, 0 bound changes
1794.15/1794.51 c (1791.0s) probing aborted: solving stopped
1794.15/1794.51 c (round 19) 9780 del vars, 9650 del conss, 2998 chg bounds, 0 chg sides, 0 chg coeffs, 31382 upgd conss, 132774730 impls, 454 clqs
1794.15/1794.51 c presolving (19 rounds):
1794.15/1794.51 c 9780 deleted vars, 9650 deleted constraints, 2998 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1794.15/1794.51 c 132774730 implications, 454 cliques
1794.15/1794.51 c presolving was interrupted.
1794.15/1794.51 c Presolving Time: 1790.91
1794.15/1794.51 c OPT-LIN
1794.15/1794.51 c -----------------------------------------------------------------------------------------------
1794.15/1794.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1794.15/1794.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1794.15/1794.51 c limits/memory = c 13950
1794.15/1794.51 c # maximal time in seconds to run
1794.15/1794.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1794.15/1794.51 c limits/time = c 1791
1794.15/1794.51 c # frequency for displaying node information lines
1794.15/1794.51 c # [type: int, range: [-1,2147483647], default: 100]
1794.15/1794.51 c display/freq = c 10000
1794.15/1794.51 c -----------------------------------------------------------------------------------------------
1794.15/1794.51 c start solving problem
1794.15/1794.51 c presolving:
1794.15/1794.51 c presolving (19 rounds):
1794.15/1794.51 c 9780 deleted vars, 9650 deleted constraints, 2998 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1794.15/1794.51 c 132774730 implications, 454 cliques
1794.15/1794.51 c presolving was interrupted.
1794.15/1794.51 c Presolving Time: 1790.91
1794.15/1794.51 c
1794.15/1794.51 c SCIP Status : solving was interrupted [time limit reached]
1794.15/1794.51 c Solving Time (sec) : 1791.02
1794.15/1794.51 c Solving Nodes : 0
1794.15/1794.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1794.15/1794.51 c NODE 0
1794.15/1794.51 c DUAL BOUND -1e+20
1794.15/1794.51 c PRIMAL BOUND 1e+20
1794.15/1794.51 c GAP 1e+20
1794.15/1794.51 s UNKNOWN
1794.15/1794.51 c SCIP Status : solving was interrupted [time limit reached]
1794.15/1794.51 c Solving Time : 1791.02
1794.15/1794.51 c Original Problem :
1794.15/1794.51 c Problem name : HOME/instance-3742915-1338799236.opb
1794.15/1794.51 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.15/1794.51 c Constraints : 40950 initial, 40950 maximal
1794.15/1794.51 c Presolved Problem :
1794.15/1794.51 c Problem name : t_HOME/instance-3742915-1338799236.opb
1794.15/1794.51 c Variables : 30671 (30671 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.15/1794.51 c Constraints : 31300 initial, 31300 maximal
1794.15/1794.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.15/1794.51 c trivial : 0.06 123 0 0 0 0 0 0 0
1794.15/1794.51 c dualfix : 0.06 6402 0 0 0 0 0 0 0
1794.15/1794.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.15/1794.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.15/1794.51 c implics : 0.10 0 1 0 0 0 0 0 0
1794.15/1794.51 c probing : 1786.95 91 165 0 0 0 0 0 0
1794.15/1794.51 c knapsack : 2.12 0 0 0 0 0 0 0 0
1794.15/1794.51 c setppc : 0.01 0 0 0 0 0 0 0 0
1794.15/1794.51 c linear : 1.34 2998 0 0 2998 0 9568 0 0
1794.15/1794.51 c logicor : 0.15 0 0 0 0 0 82 0 0
1794.15/1794.51 c root node : - 0 - - 0 - - - -
1794.15/1794.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.15/1794.51 c integral : 0 0 0 0 0 0 0 0 0 0
1794.15/1794.51 c knapsack : 0+ 0 265692 0 0 0 0 0 0 0
1794.15/1794.51 c setppc : 0+ 0 265690 0 0 37 0 0 0 0
1794.15/1794.51 c linear : 0+ 0 2668 0 0 0 0 0 0 0
1794.15/1794.51 c logicor : 0+ 0 249476 0 0 4 0 0 0 0
1794.15/1794.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1794.15/1794.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.15/1794.51 c integral : 0.00 0.00 0.00 0.00 0.00
1794.15/1794.51 c knapsack : 0.09 0.00 0.09 0.00 0.00
1794.15/1794.51 c setppc : 2.86 0.00 2.86 0.00 0.00
1794.15/1794.51 c linear : 0.33 0.00 0.33 0.00 0.00
1794.15/1794.51 c logicor : 172.83 0.00 172.83 0.00 0.00
1794.15/1794.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.15/1794.51 c Propagators : Time Calls Cutoffs DomReds
1794.15/1794.51 c rootredcost : 0.05 0 0 0
1794.15/1794.51 c pseudoobj : 0.01 0 0 0
1794.15/1794.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.15/1794.51 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1794.15/1794.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1794.15/1794.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.15/1794.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.15/1794.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.15/1794.51 c applied globally : - - - 0 0.0 - - -
1794.15/1794.51 c applied locally : - - - 0 0.0 - - -
1794.35/1794.79 c Time complete: 1794.44.
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-3742915-1338799236/watcher-3742915-1338799236 -o /tmp/evaluation-result-3742915-1338799236/solver-3742915-1338799236 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3742915-1338799236.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: 2.05 2.01 1.91 3/177 17609
/proc/meminfo: memFree=23925004/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=8180 CPUtime=0 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 1216 0 0 0 0 0 0 0 20 0 1 0 346047980 8376320 1169 33554432000 4194304 7823515 140735941243600 140736347611880 4402248 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 2045 1180 335 887 0 1155 0
[startup+0.070034 s]
/proc/loadavg: 2.05 2.01 1.91 3/177 17609
/proc/meminfo: memFree=23925004/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=31520 CPUtime=0.06 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 7218 0 0 0 5 1 0 0 20 0 1 0 346047980 32276480 7167 33554432000 4194304 7823515 140735941243600 140736347611880 6854691 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 7880 7167 354 887 0 6990 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 31520
[startup+0.10037 s]
/proc/loadavg: 2.05 2.01 1.91 3/177 17609
/proc/meminfo: memFree=23925004/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=35692 CPUtime=0.09 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 8256 0 0 0 8 1 0 0 20 0 1 0 346047980 36548608 8205 33554432000 4194304 7823515 140735941243600 140736347611880 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 8923 8205 354 887 0 8033 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35692
[startup+0.300315 s]
/proc/loadavg: 2.05 2.01 1.91 3/177 17609
/proc/meminfo: memFree=23925004/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=50360 CPUtime=0.29 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 11947 0 0 0 28 1 0 0 20 0 1 0 346047980 51568640 11896 33554432000 4194304 7823515 140735941243600 140736347611880 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 12590 11896 354 887 0 11700 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50360
[startup+0.700321 s]
/proc/loadavg: 2.05 2.01 1.91 3/177 17609
/proc/meminfo: memFree=23925004/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=127220 CPUtime=0.69 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 31029 0 0 0 63 6 0 0 20 0 1 0 346047980 130273280 30624 33554432000 4194304 7823515 140735941243600 140736347611880 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 31805 30624 428 887 0 30915 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 127220
[startup+1.50033 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 17610
/proc/meminfo: memFree=23800344/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=130888 CPUtime=1.49 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 32778 0 0 0 136 13 0 0 20 0 1 0 346047980 134029312 31546 33554432000 4194304 7823515 140735941243600 140735941240536 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 32722 31546 433 887 0 31832 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130888
[startup+3.10026 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 17610
/proc/meminfo: memFree=23779636/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=210640 CPUtime=3.09 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 52093 0 0 0 293 16 0 0 20 0 1 0 346047980 215695360 50861 33554432000 4194304 7823515 140735941243600 140735941239464 6911387 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 52660 50861 452 887 0 51770 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 210640
[startup+6.30036 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 17611
/proc/meminfo: memFree=23675228/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=277540 CPUtime=6.29 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 67591 0 0 0 610 19 0 0 20 0 1 0 346047980 284200960 66359 33554432000 4194304 7823515 140735941243600 140735941239464 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 69385 66359 452 887 0 68495 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 277540
[startup+12.7004 s]
/proc/loadavg: 2.04 2.01 1.91 3/178 17649
/proc/meminfo: memFree=25945500/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=325336 CPUtime=12.69 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 79076 0 0 0 1248 21 0 0 20 0 1 0 346047980 333144064 77844 33554432000 4194304 7823515 140735941243600 140735941239464 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 81334 77844 452 887 0 80444 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 325336
[startup+25.5004 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 17649
/proc/meminfo: memFree=25809048/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=387020 CPUtime=25.48 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 94056 0 0 0 2524 24 0 0 20 0 1 0 346047980 396308480 92904 33554432000 4194304 7823515 140735941243600 140735941239464 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 96755 92904 452 887 0 95865 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 387020
[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 17649
/proc/meminfo: memFree=25645904/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=474548 CPUtime=51.07 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 115731 0 0 0 5077 30 0 0 20 0 1 0 346047980 485937152 114600 33554432000 4194304 7823515 140735941243600 140735941239464 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 118637 114600 452 887 0 117747 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 474548
[startup+102.308 s]
/proc/loadavg: 2.05 2.02 1.92 3/177 17649
/proc/meminfo: memFree=25418160/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=608892 CPUtime=102.26 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 148576 0 0 0 10188 38 0 0 20 0 1 0 346047980 623505408 147951 33554432000 4194304 7823515 140735941243600 140735941240296 5740753 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 152223 147951 452 887 0 151333 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 608892
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 17650
/proc/meminfo: memFree=24999936/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=844000 CPUtime=162.23 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 206601 0 0 0 16170 53 0 0 20 0 1 0 346047980 864256000 207125 33554432000 4194304 7823515 140735941243600 140735941239320 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 211000 207125 466 887 0 210110 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 844000
[startup+222.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 17650
/proc/meminfo: memFree=24515992/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=1053784 CPUtime=222.22 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 258660 0 0 0 22156 66 0 0 20 0 1 0 346047980 1079074816 259670 33554432000 4194304 7823515 140735941243600 140735941240296 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 263446 259670 466 887 0 262556 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1053784
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/177 17650
/proc/meminfo: memFree=24187668/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=1152780 CPUtime=282.21 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 283275 0 0 0 28146 75 0 0 20 0 1 0 346047980 1180446720 284611 33554432000 4194304 7823515 140735941243600 140735941240296 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 288195 284611 466 887 0 287305 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1152780
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 17650
/proc/meminfo: memFree=23887492/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=1283864 CPUtime=342.2 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 315924 0 0 0 34136 84 0 0 20 0 1 0 346047980 1314676736 318104 33554432000 4194304 7823515 140735941243600 140735941240296 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 320966 318104 466 887 0 320076 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1283864
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 17650
/proc/meminfo: memFree=23689740/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=1394408 CPUtime=402.19 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 343017 0 0 0 40128 91 0 0 20 0 1 0 346047980 1427873792 345327 33554432000 4194304 7823515 140735941243600 140735941240296 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 348602 345327 466 887 0 347712 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1394408
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 17651
/proc/meminfo: memFree=23441396/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=1533372 CPUtime=462.18 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 376959 0 0 0 46118 100 0 0 20 0 1 0 346047980 1570172928 379269 33554432000 4194304 7823515 140735941243600 140735941240280 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 383343 379269 466 887 0 382453 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1533372
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 17651
/proc/meminfo: memFree=23217976/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=1659156 CPUtime=522.16 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 407657 0 0 0 52108 108 0 0 20 0 1 0 346047980 1698975744 409982 33554432000 4194304 7823515 140735941243600 140735941240296 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 414789 409982 466 887 0 413899 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1659156
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 17654
/proc/meminfo: memFree=22961936/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=1789200 CPUtime=582.15 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 439318 0 0 0 58097 118 0 0 20 0 1 0 346047980 1832140800 441702 33554432000 4194304 7823515 140735941243600 140735941240296 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 447300 441702 466 887 0 446410 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1789200
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=21313960/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=2639328 CPUtime=1062.06 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 648988 0 0 0 106025 181 0 0 20 0 1 0 346047980 2702671872 654433 33554432000 4194304 7823515 140735941243600 140735941240296 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 659832 654433 466 887 0 658942 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 2639328
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 17656
/proc/meminfo: memFree=21097856/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=2745936 CPUtime=1122.05 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 675430 0 0 0 112015 190 0 0 20 0 1 0 346047980 2811838464 681186 33554432000 4194304 7823515 140735941243600 140735941240296 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 686484 681186 466 887 0 685594 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 2745936
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17659
/proc/meminfo: memFree=20911504/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=2850792 CPUtime=1182.04 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 700902 0 0 0 118008 196 0 0 20 0 1 0 346047980 2919211008 707117 33554432000 4194304 7823515 140735941243600 140735941240840 5802411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 712698 707117 466 887 0 711808 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 2850792
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17682
/proc/meminfo: memFree=20729252/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=2952612 CPUtime=1242.03 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 726110 0 0 0 123999 204 0 0 20 0 1 0 346047980 3023474688 732786 33554432000 4194304 7823515 140735941243600 140735941240296 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 738153 732786 466 887 0 737263 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 2952612
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 17682
/proc/meminfo: memFree=20544404/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3053600 CPUtime=1302.03 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 751202 0 0 0 129990 213 0 0 20 0 1 0 346047980 3126886400 758291 33554432000 4194304 7823515 140735941243600 140735941240296 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 763400 758291 466 887 0 762510 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 3053600
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 17682
/proc/meminfo: memFree=20349140/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3163488 CPUtime=1362.01 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 777978 0 0 0 135979 222 0 0 20 0 1 0 346047980 3239411712 785334 33554432000 4194304 7823515 140735941243600 140735941240296 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 790872 785334 466 887 0 789982 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 3163488
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 17683
/proc/meminfo: memFree=20150884/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3269368 CPUtime=1422.02 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 804355 0 0 0 141971 231 0 0 20 0 1 0 346047980 3347832832 812073 33554432000 4194304 7823515 140735941243600 140735941240296 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 817342 812073 466 887 0 816452 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 3269368
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/176 17683
/proc/meminfo: memFree=19959464/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3375976 CPUtime=1481.99 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 830705 0 0 0 147960 239 0 0 20 0 1 0 346047980 3456999424 838819 33554432000 4194304 7823515 140735941243600 140735941240296 5803616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 843994 838819 466 887 0 843104 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 3375976
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 17684
/proc/meminfo: memFree=19770260/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3484556 CPUtime=1541.99 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 857015 0 0 0 153953 246 0 0 20 0 1 0 346047980 3568185344 865519 33554432000 4194304 7823515 140735941243600 140735941240296 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 871139 865519 466 887 0 870249 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 3484556
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 1.94 3/177 17684
/proc/meminfo: memFree=19579328/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3592088 CPUtime=1601.97 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 883369 0 0 0 159944 253 0 0 20 0 1 0 346047980 3678298112 892286 33554432000 4194304 7823515 140735941243600 140735941240296 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 898022 892286 466 887 0 897132 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 3592088
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 17684
/proc/meminfo: memFree=19389264/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3695628 CPUtime=1661.97 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 908312 0 0 0 165936 261 0 0 20 0 1 0 346047980 3784323072 917672 33554432000 4194304 7823515 140735941243600 140735941240296 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 923907 917672 466 887 0 923017 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 3695628
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 17685
/proc/meminfo: memFree=19193868/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3801068 CPUtime=1721.96 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 934329 0 0 0 171927 269 0 0 20 0 1 0 346047980 3892293632 944058 33554432000 4194304 7823515 140735941243600 140735941240296 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 950267 944058 466 887 0 949377 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 3801068
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/178 17688
/proc/meminfo: memFree=18993504/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3919584 CPUtime=1781.95 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 963278 0 0 0 177919 276 0 0 20 0 1 0 346047980 4013654016 973343 33554432000 4194304 7823515 140735941243600 140735941240296 4243040 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 979896 973343 466 887 0 979006 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 3919584
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 17688
/proc/meminfo: memFree=18982964/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3923524 CPUtime=1785.15 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 964213 0 0 0 178239 276 0 0 20 0 1 0 346047980 4017688576 974278 33554432000 4194304 7823515 140735941243600 140735941240296 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 980881 974278 466 887 0 979991 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 3923524
[startup+1788.7 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 17688
/proc/meminfo: memFree=18976500/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3926460 CPUtime=1788.35 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 964734 0 0 0 178559 276 0 0 20 0 1 0 346047980 4020695040 974869 33554432000 4194304 7823515 140735941243600 140735941240296 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 981615 974869 466 887 0 980725 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 3926460
[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 17688
/proc/meminfo: memFree=18967820/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3928384 CPUtime=1791.56 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 965806 0 0 0 178879 277 0 0 20 0 1 0 346047980 4022665216 975941 33554432000 4194304 7823515 140735941243600 140735941240296 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 982096 975941 466 887 0 981206 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 3928384
[startup+1793.5 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 17688
/proc/meminfo: memFree=18963976/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3932300 CPUtime=1793.15 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 966444 0 0 0 179038 277 0 0 20 0 1 0 346047980 4026675200 976579 33554432000 4194304 7823515 140735941243600 140735941240296 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 983075 976579 466 887 0 982185 0
Current children cumulated CPU time (s) 1793.15
Current children cumulated vsize (KiB) 3932300
[startup+1794.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 17688
/proc/meminfo: memFree=18960380/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3933268 CPUtime=1793.95 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 966699 0 0 0 179118 277 0 0 20 0 1 0 346047980 4027666432 976834 33554432000 4194304 7823515 140735941243600 140735941240296 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 983317 976834 466 887 0 982427 0
Current children cumulated CPU time (s) 1793.95
Current children cumulated vsize (KiB) 3933268
[startup+1794.7 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 17688
/proc/meminfo: memFree=18960380/32873844 swapFree=7628/7628
[pid=17609] ppid=17607 vsize=3914684 CPUtime=1794.35 cores=1,3,5,7
/proc/17609/stat : 17609 (pbscip.linux.x8) R 17607 17609 17511 0 -1 4202496 967151 0 0 0 179157 278 0 0 20 0 1 0 346047980 4008636416 377245 33554432000 4194304 7823515 140735941243600 140735941240296 7132266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17609/statm: 978671 377245 478 887 0 977781 0
Current children cumulated CPU time (s) 1794.35
Current children cumulated vsize (KiB) 3914684
Child status: 0
Real time (s): 1794.79
CPU time (s): 1794.45
CPU user time (s): 1791.6
CPU system time (s): 2.85357
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 3934292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.6
system time used= 2.85357
maximum resident set size= 3909136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 967163
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= 88
involuntary context switches= 1922
runsolver used 3.02454 second user time and 8.5457 second system time
The end