1.49/1.57 c SCIP version 1.1.0.7
1.49/1.57 c LP-Solver SoPlex 1.4.1
1.49/1.57 c user parameter file <scip.set> not found - using default parameters
1.49/1.57 c read problem <HOME/instance-3740377-1338760338.opb>
1.49/1.57 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256265 constraints
1.99/2.03 c start presolving problem
1.99/2.03 c presolving:
9.19/9.20 c (round 1) 7452 del vars, 22165 del conss, 5831 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17281696 impls, 0 clqs
13.09/13.11 c (round 2) 14346 del vars, 52436 del conss, 12349 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17321935 impls, 0 clqs
14.29/14.36 c (round 3) 16990 del vars, 65084 del conss, 13898 chg bounds, 36 chg sides, 22 chg coeffs, 0 upgd conss, 17342746 impls, 0 clqs
15.09/15.10 c (round 4) 18284 del vars, 70329 del conss, 14828 chg bounds, 52 chg sides, 41 chg coeffs, 0 upgd conss, 17355972 impls, 0 clqs
15.59/15.60 c (round 5) 19238 del vars, 74197 del conss, 15494 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17364035 impls, 0 clqs
15.89/15.97 c (round 6) 19965 del vars, 76984 del conss, 15978 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17370955 impls, 0 clqs
16.19/16.23 c (round 7) 20418 del vars, 78883 del conss, 16273 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17375932 impls, 0 clqs
16.40/16.45 c (round 8) 20795 del vars, 80381 del conss, 16529 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17379386 impls, 0 clqs
16.59/16.62 c (round 9) 21008 del vars, 81350 del conss, 16653 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17381918 impls, 0 clqs
16.69/16.75 c (round 10) 21134 del vars, 81918 del conss, 16725 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17383943 impls, 0 clqs
16.79/16.85 c (round 11) 21214 del vars, 82293 del conss, 16771 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385069 impls, 0 clqs
16.88/16.95 c (round 12) 21254 del vars, 82506 del conss, 16794 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385507 impls, 0 clqs
16.99/17.07 c (round 13) 21274 del vars, 82615 del conss, 16808 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385586 impls, 0 clqs
17.09/17.15 c (round 14) 21276 del vars, 82641 del conss, 16808 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385596 impls, 0 clqs
17.79/17.85 c (round 15) 21276 del vars, 82642 del conss, 16808 chg bounds, 57 chg sides, 48 chg coeffs, 173623 upgd conss, 17385596 impls, 0 clqs
19.99/20.06 c (round 16) 21280 del vars, 82662 del conss, 16810 chg bounds, 96 chg sides, 226 chg coeffs, 173623 upgd conss, 17386538 impls, 7545 clqs
22.00/22.03 c (round 17) 21288 del vars, 82676 del conss, 16810 chg bounds, 103 chg sides, 260 chg coeffs, 173623 upgd conss, 17386584 impls, 8104 clqs
22.18/22.20 c (round 18) 21297 del vars, 82701 del conss, 16810 chg bounds, 103 chg sides, 262 chg coeffs, 173623 upgd conss, 17388564 impls, 8103 clqs
22.39/22.45 c (round 19) 21308 del vars, 82724 del conss, 16810 chg bounds, 103 chg sides, 263 chg coeffs, 173623 upgd conss, 17394980 impls, 8103 clqs
22.68/22.80 c (round 20) 21318 del vars, 82756 del conss, 16810 chg bounds, 103 chg sides, 263 chg coeffs, 173623 upgd conss, 17399548 impls, 8103 clqs
22.99/23.02 c (round 21) 21334 del vars, 82790 del conss, 16810 chg bounds, 103 chg sides, 263 chg coeffs, 173623 upgd conss, 17401616 impls, 8103 clqs
23.29/23.34 c (round 22) 21346 del vars, 82828 del conss, 16810 chg bounds, 103 chg sides, 263 chg coeffs, 173623 upgd conss, 17401782 impls, 8103 clqs
23.48/23.57 c (round 23) 21358 del vars, 82856 del conss, 16810 chg bounds, 103 chg sides, 263 chg coeffs, 173623 upgd conss, 17401832 impls, 8103 clqs
170.47/170.58 c (round 24) 21408 del vars, 82866 del conss, 16810 chg bounds, 103 chg sides, 263 chg coeffs, 173623 upgd conss, 30811506 impls, 7829 clqs
172.26/172.30 c (round 25) 21416 del vars, 84232 del conss, 16810 chg bounds, 103 chg sides, 430 chg coeffs, 173623 upgd conss, 30812402 impls, 7829 clqs
435.43/435.55 c (round 26) 21466 del vars, 84232 del conss, 16810 chg bounds, 103 chg sides, 431 chg coeffs, 173623 upgd conss, 49395042 impls, 8318 clqs
436.52/436.69 c (round 27) 21466 del vars, 84408 del conss, 16810 chg bounds, 103 chg sides, 434 chg coeffs, 173623 upgd conss, 49395042 impls, 8318 clqs
481.31/481.41 c (round 28) 21516 del vars, 84408 del conss, 16810 chg bounds, 103 chg sides, 434 chg coeffs, 173623 upgd conss, 50825148 impls, 8309 clqs
482.41/482.57 c (round 29) 21518 del vars, 84592 del conss, 16810 chg bounds, 103 chg sides, 434 chg coeffs, 173623 upgd conss, 50825156 impls, 8309 clqs
656.40/656.58 c (653.0s) probing: 1000/51484 (1.9%) - 149 fixings, 37 aggregations, 12459644 implications, 0 bound changes
1034.14/1034.33 c (1030.0s) probing: 2000/51484 (3.9%) - 153 fixings, 40 aggregations, 22411426 implications, 0 bound changes
1298.00/1298.21 c (1293.3s) probing: 3000/51484 (5.8%) - 153 fixings, 45 aggregations, 31198327 implications, 0 bound changes
1444.47/1444.76 c (round 30) 21570 del vars, 84592 del conss, 16810 chg bounds, 103 chg sides, 434 chg coeffs, 173623 upgd conss, 134148284 impls, 8309 clqs
1448.07/1448.31 c (round 31) 21574 del vars, 84774 del conss, 16810 chg bounds, 103 chg sides, 435 chg coeffs, 173623 upgd conss, 134226264 impls, 8309 clqs
1497.56/1497.84 c (round 32) 21624 del vars, 84774 del conss, 16810 chg bounds, 103 chg sides, 435 chg coeffs, 173623 upgd conss, 135248620 impls, 8309 clqs
1502.77/1503.02 c (round 33) 21634 del vars, 84938 del conss, 16810 chg bounds, 103 chg sides, 435 chg coeffs, 173623 upgd conss, 135346768 impls, 8309 clqs
1602.54/1602.85 c (round 34) 21687 del vars, 84938 del conss, 16815 chg bounds, 103 chg sides, 435 chg coeffs, 173623 upgd conss, 137540277 impls, 7821 clqs
1604.74/1605.01 c (round 35) 21698 del vars, 85731 del conss, 16815 chg bounds, 103 chg sides, 504 chg coeffs, 173623 upgd conss, 137540591 impls, 7821 clqs
1640.04/1640.39 c (1634.9s) probing: 4000/51484 (7.8%) - 237 fixings, 68 aggregations, 38044387 implications, 5 bound changes
1767.60/1767.96 c (round 36) 21748 del vars, 85731 del conss, 16816 chg bounds, 103 chg sides, 505 chg coeffs, 173623 upgd conss, 148388572 impls, 7954 clqs
1769.30/1769.64 c (round 37) 21758 del vars, 85903 del conss, 16816 chg bounds, 103 chg sides, 508 chg coeffs, 173623 upgd conss, 148393170 impls, 7954 clqs
1796.39/1796.75 c (1791.0s) probing: 4469/51484 (8.7%) - 290 fixings, 82 aggregations, 40825998 implications, 6 bound changes
1796.39/1796.75 c (1791.0s) probing aborted: solving stopped
1796.39/1796.75 c (round 38) 21775 del vars, 85903 del conss, 16816 chg bounds, 103 chg sides, 508 chg coeffs, 173623 upgd conss, 149430396 impls, 7954 clqs
1796.39/1796.75 c presolving (38 rounds):
1796.39/1796.75 c 21775 deleted vars, 85903 deleted constraints, 16816 tightened bounds, 0 added holes, 103 changed sides, 508 changed coefficients
1796.39/1796.75 c 149430396 implications, 7954 cliques
1796.39/1796.75 c presolving was interrupted.
1796.39/1796.75 c Presolving Time: 1790.73
1796.39/1796.75 c OPT-LIN
1796.39/1796.75 c -----------------------------------------------------------------------------------------------
1796.39/1796.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.39/1796.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.39/1796.75 c limits/memory = c 13950
1796.39/1796.75 c # maximal time in seconds to run
1796.39/1796.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.39/1796.75 c limits/time = c 1791
1796.39/1796.75 c # frequency for displaying node information lines
1796.39/1796.75 c # [type: int, range: [-1,2147483647], default: 100]
1796.39/1796.75 c display/freq = c 10000
1796.39/1796.75 c -----------------------------------------------------------------------------------------------
1796.39/1796.75 c start solving problem
1796.39/1796.75 c presolving:
1796.39/1796.75 c presolving (38 rounds):
1796.39/1796.75 c 21775 deleted vars, 85903 deleted constraints, 16816 tightened bounds, 0 added holes, 103 changed sides, 508 changed coefficients
1796.39/1796.75 c 149430396 implications, 7954 cliques
1796.39/1796.75 c presolving was interrupted.
1796.39/1796.75 c Presolving Time: 1790.73
1796.39/1796.75 c
1796.39/1796.75 c SCIP Status : solving was interrupted [time limit reached]
1796.39/1796.75 c Solving Time (sec) : 1791.04
1796.39/1796.75 c Solving Nodes : 0
1796.39/1796.75 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.39/1796.75 c NODE 0
1796.39/1796.75 c DUAL BOUND -1e+20
1796.39/1796.75 c PRIMAL BOUND 1e+20
1796.39/1796.75 c GAP 1e+20
1796.39/1796.75 s UNKNOWN
1796.39/1796.75 c SCIP Status : solving was interrupted [time limit reached]
1796.39/1796.75 c Solving Time : 1791.04
1796.39/1796.75 c Original Problem :
1796.39/1796.75 c Problem name : HOME/instance-3740377-1338760338.opb
1796.39/1796.75 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.39/1796.75 c Constraints : 256265 initial, 256265 maximal
1796.39/1796.75 c Presolved Problem :
1796.39/1796.75 c Problem name : t_HOME/instance-3740377-1338760338.opb
1796.39/1796.75 c Variables : 51067 (51067 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.39/1796.75 c Constraints : 170395 initial, 170395 maximal
1796.39/1796.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.39/1796.75 c trivial : 0.09 1026 0 0 0 0 0 0 0
1796.39/1796.75 c dualfix : 0.11 121 0 0 0 0 0 0 0
1796.39/1796.75 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.39/1796.75 c implics : 11.90 0 85 0 0 0 0 0 0
1796.39/1796.75 c probing : 1750.16 290 82 0 6 0 0 0 0
1796.39/1796.75 c knapsack : 12.64 0 0 0 2 0 2 46 460
1796.39/1796.75 c setppc : 0.00 0 0 0 0 0 6 0 0
1796.39/1796.75 c linear : 14.16 15784 4347 0 16808 0 82642 57 48
1796.39/1796.75 c logicor : 1.29 40 0 0 0 0 3253 0 0
1796.39/1796.75 c root node : - 0 - - 0 - - - -
1796.39/1796.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.39/1796.75 c integral : 0 0 0 0 0 0 0 0 0 0
1796.39/1796.75 c knapsack : 0+ 0 347614 0 0 94 0 0 0 0
1796.39/1796.75 c setppc : 0+ 0 347520 0 0 0 0 0 0 0
1796.39/1796.75 c linear : 0+ 0 0 0 0 0 0 0 0 0
1796.39/1796.75 c logicor : 0+ 0 346138 0 0 73 0 0 0 0
1796.39/1796.75 c countsols : 0 0 0 0 0 0 0 0 0 0
1796.39/1796.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.39/1796.75 c integral : 0.00 0.00 0.00 0.00 0.00
1796.39/1796.75 c knapsack : 8.82 0.00 8.82 0.00 0.00
1796.39/1796.75 c setppc : 0.21 0.00 0.21 0.00 0.00
1796.39/1796.75 c linear : 0.00 0.00 0.00 0.00 0.00
1796.39/1796.75 c logicor : 166.34 0.00 166.34 0.00 0.00
1796.39/1796.75 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.39/1796.75 c Propagators : Time Calls Cutoffs DomReds
1796.39/1796.75 c rootredcost : 0.02 0 0 0
1796.39/1796.75 c pseudoobj : 0.01 0 0 0
1796.39/1796.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.39/1796.75 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.39/1796.75 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.39/1796.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.39/1796.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.39/1796.75 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.39/1796.75 c applied globally : - - - 0 0.0 - - -
1796.39/1796.75 c applied locally : - - - 0 0.0 - - -
1797.09/1797.41 c Time complete: 1797.1.
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-3740377-1338760338/watcher-3740377-1338760338 -o /tmp/evaluation-result-3740377-1338760338/solver-3740377-1338760338 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740377-1338760338.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.06 2.02 2.00 3/176 698
/proc/meminfo: memFree=27336352/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=7152 CPUtime=0 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1080 0 0 0 0 0 0 0 20 0 1 0 342162408 7323648 1033 33554432000 4194304 7823515 140733518277856 140735675905736 4402248 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1788 1046 335 887 0 898 0
[startup+0.0522199 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 698
/proc/meminfo: memFree=27336352/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=18804 CPUtime=0.04 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 4053 0 0 0 4 0 0 0 20 0 1 0 342162408 19255296 4006 33554432000 4194304 7823515 140733518277856 140733518142408 6908077 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 4701 4006 354 887 0 3811 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18804
[startup+0.100324 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 698
/proc/meminfo: memFree=27336352/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=25836 CPUtime=0.09 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 5789 0 0 0 9 0 0 0 20 0 1 0 342162408 26456064 5742 33554432000 4194304 7823515 140733518277856 140733518142408 4511625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 6459 5742 354 887 0 5569 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25836
[startup+0.300318 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 698
/proc/meminfo: memFree=27336352/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=51592 CPUtime=0.29 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 12256 0 0 0 28 1 0 0 20 0 1 0 342162408 52830208 12209 33554432000 4194304 7823515 140733518277856 140733518142408 5545007 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 12898 12209 354 887 0 12008 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51592
[startup+0.700321 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 698
/proc/meminfo: memFree=27336352/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=76120 CPUtime=0.69 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 18343 0 0 0 67 2 0 0 20 0 1 0 342162408 77946880 18296 33554432000 4194304 7823515 140733518277856 140733518143960 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 19030 18296 354 887 0 18140 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76120
[startup+1.50032 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 699
/proc/meminfo: memFree=27235756/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=147332 CPUtime=1.49 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 36110 0 0 0 144 5 0 0 20 0 1 0 342162408 150867968 36063 33554432000 4194304 7823515 140733518277856 140733518143960 6830453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 36833 36063 354 887 0 35943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 147332
[startup+3.10032 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 699
/proc/meminfo: memFree=26979804/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=484460 CPUtime=3.09 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 120080 0 0 0 291 18 0 0 20 0 1 0 342162408 496087040 119679 33554432000 4194304 7823515 140733518277856 140733518274792 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 121115 119679 427 887 0 120225 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 484460
[startup+6.30032 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 699
/proc/meminfo: memFree=26665712/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=734880 CPUtime=6.29 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 182038 0 0 0 598 31 0 0 20 0 1 0 342162408 752517120 181637 33554432000 4194304 7823515 140733518277856 140733518274792 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 183720 181637 427 887 0 182830 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 734880
[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 699
/proc/meminfo: memFree=26461112/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=875240 CPUtime=12.69 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 214802 0 0 0 1223 46 0 0 20 0 1 0 342162408 896245760 214401 33554432000 4194304 7823515 140733518277856 140733518274792 5808235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 218810 214401 432 887 0 217920 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 875240
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 699
/proc/meminfo: memFree=26356952/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=950720 CPUtime=25.49 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 234105 0 0 0 2434 115 0 0 20 0 1 0 342162408 973537280 233239 33554432000 4194304 7823515 140733518277856 140733518274536 5803115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 237680 233239 459 887 0 236790 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 950720
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 710
/proc/meminfo: memFree=26274140/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=993268 CPUtime=51.08 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 243693 0 0 0 4992 116 0 0 20 0 1 0 342162408 1017106432 242827 33554432000 4194304 7823515 140733518277856 140733518273912 5102375 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 248317 242827 459 887 0 247427 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 993268
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 710
/proc/meminfo: memFree=26071740/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=1111924 CPUtime=102.28 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 272337 0 0 0 10107 121 0 0 20 0 1 0 342162408 1138610176 271471 33554432000 4194304 7823515 140733518277856 140733518274552 5803146 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 277981 271471 459 887 0 277091 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1111924
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 710
/proc/meminfo: memFree=25681176/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=1279856 CPUtime=162.27 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 313740 0 0 0 16097 130 0 0 20 0 1 0 342162408 1310572544 312874 33554432000 4194304 7823515 140733518277856 140733518273912 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 319964 312874 460 887 0 319074 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1279856
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 710
/proc/meminfo: memFree=25491844/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=1348304 CPUtime=222.26 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 327152 0 0 0 22089 137 0 0 20 0 1 0 342162408 1380663296 329352 33554432000 4194304 7823515 140733518277856 140733518274552 5803108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 337076 329352 461 887 0 336186 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1348304
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 711
/proc/meminfo: memFree=25228496/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=1429772 CPUtime=282.25 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 346730 0 0 0 28084 141 0 0 20 0 1 0 342162408 1464086528 348930 33554432000 4194304 7823515 140733518277856 140733518274552 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 357443 348930 461 887 0 356553 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1429772
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 711
/proc/meminfo: memFree=24923236/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=1555072 CPUtime=342.24 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 377513 0 0 0 34077 147 0 0 20 0 1 0 342162408 1592393728 379713 33554432000 4194304 7823515 140733518277856 140733518274552 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 388768 379713 461 887 0 387878 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1555072
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 711
/proc/meminfo: memFree=24473144/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=1785616 CPUtime=402.23 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 434966 0 0 0 40067 156 0 0 20 0 1 0 342162408 1828470784 437166 33554432000 4194304 7823515 140733518277856 140733518274552 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 446404 437166 461 887 0 445514 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1785616
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 711
/proc/meminfo: memFree=24098744/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=1970520 CPUtime=462.22 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 478060 0 0 0 46056 166 0 0 20 0 1 0 342162408 2017812480 482815 33554432000 4194304 7823515 140733518277856 140733518273720 5803643 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 492630 482815 461 887 0 491740 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1970520
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 714
/proc/meminfo: memFree=23892444/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=2037384 CPUtime=522.21 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 491877 0 0 0 52046 175 0 0 20 0 1 0 342162408 2086281216 499187 33554432000 4194304 7823515 140733518277856 140733518273912 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 509346 499187 461 887 0 508456 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2037384
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 738
/proc/meminfo: memFree=23413368/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=2187172 CPUtime=582.2 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 529254 0 0 0 58039 181 0 0 20 0 1 0 342162408 2239664128 536564 33554432000 4194304 7823515 140733518277856 140733518273720 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 546793 536564 461 887 0 545903 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2187172
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=21609272/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=3937580 CPUtime=1122.12 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 961998 0 0 0 111927 285 0 0 20 0 1 0 342162408 4032081920 969308 33554432000 4194304 7823515 140733518277856 140733518274536 4209607 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 984395 969308 466 887 0 983505 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3937580
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 743
/proc/meminfo: memFree=21430376/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=4115792 CPUtime=1182.11 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1006699 0 0 0 117914 297 0 0 20 0 1 0 342162408 4214571008 1014009 33554432000 4194304 7823515 140733518277856 140733518274536 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1028948 1014009 466 887 0 1028058 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 4115792
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 743
/proc/meminfo: memFree=21239928/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=4287472 CPUtime=1242.11 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1050093 0 0 0 123903 308 0 0 20 0 1 0 342162408 4390371328 1057403 33554432000 4194304 7823515 140733518277856 140733518274536 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1071868 1057403 466 887 0 1070978 0
Current children cumulated CPU time (s) 1242.11
Current children cumulated vsize (KiB) 4287472
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 743
/proc/meminfo: memFree=21074788/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=4453076 CPUtime=1302.1 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1090735 0 0 0 129892 318 0 0 20 0 1 0 342162408 4559949824 1098045 33554432000 4194304 7823515 140733518277856 140733518274552 4841922 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1113269 1098045 466 887 0 1112379 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 4453076
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 743
/proc/meminfo: memFree=20905184/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=4625252 CPUtime=1362.09 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1133088 0 0 0 135880 329 0 0 20 0 1 0 342162408 4736258048 1140398 33554432000 4194304 7823515 140733518277856 140733518274552 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1156313 1140398 466 887 0 1155423 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 4625252
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 743
/proc/meminfo: memFree=20737200/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=4792848 CPUtime=1422.08 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1174451 0 0 0 141868 340 0 0 20 0 1 0 342162408 4907876352 1181761 33554432000 4194304 7823515 140733518277856 140733518274552 5803100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1198212 1181761 466 887 0 1197322 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4792848
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 745
/proc/meminfo: memFree=20640932/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=4884144 CPUtime=1482.07 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1194952 0 0 0 147854 353 0 0 20 0 1 0 342162408 5001363456 1204817 33554432000 4194304 7823515 140733518277856 140733518273912 5808265 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1221036 1204817 466 887 0 1220146 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 4884144
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 745
/proc/meminfo: memFree=20598976/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=4922256 CPUtime=1542.05 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1201995 0 0 0 153845 360 0 0 20 0 1 0 342162408 5040390144 1214415 33554432000 4194304 7823515 140733518277856 140733518274552 5803119 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1230564 1214415 466 887 0 1229674 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 4922256
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 745
/proc/meminfo: memFree=20560440/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=4947968 CPUtime=1602.05 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1209600 0 0 0 159843 362 0 0 20 0 1 0 342162408 5066719232 1222020 33554432000 4194304 7823515 140733518277856 140733518274552 5808250 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1236992 1222020 466 887 0 1236102 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 4947968
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 745
/proc/meminfo: memFree=20464896/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=5045772 CPUtime=1662.04 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1230455 0 0 0 165830 374 0 0 20 0 1 0 342162408 5166870528 1245941 33554432000 4194304 7823515 140733518277856 140733518274552 5803112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1261443 1245941 466 887 0 1260553 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 5045772
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 786
/proc/meminfo: memFree=22474512/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=5095324 CPUtime=1722.02 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1242539 0 0 0 171825 377 0 0 20 0 1 0 342162408 5217611776 1258104 33554432000 4194304 7823515 140733518277856 140733518273912 5803127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1273831 1258104 466 887 0 1272941 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 5095324
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 787
/proc/meminfo: memFree=22246368/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=5184648 CPUtime=1781.99 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1262264 0 0 0 177813 386 0 0 20 0 1 0 342162408 5309079552 1280885 33554432000 4194304 7823515 140733518277856 140733518274552 5803604 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1296162 1280885 466 887 0 1295272 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 5184648
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 788
/proc/meminfo: memFree=22238672/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=5185076 CPUtime=1785.19 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1262293 0 0 0 178133 386 0 0 20 0 1 0 342162408 5309517824 1280914 33554432000 4194304 7823515 140733518277856 140733518274552 5426490 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1296269 1280914 466 887 0 1295379 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 5185076
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 788
/proc/meminfo: memFree=22206292/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=5196116 CPUtime=1791.6 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1264322 0 0 0 178773 387 0 0 20 0 1 0 342162408 5320822784 1283192 33554432000 4194304 7823515 140733518277856 140733518274552 5803146 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1299029 1283192 466 887 0 1298139 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 5196116
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 788
/proc/meminfo: memFree=22196744/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=5200120 CPUtime=1794.8 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1265020 0 0 0 179092 388 0 0 20 0 1 0 342162408 5324922880 1283890 33554432000 4194304 7823515 140733518277856 140733518274552 5808273 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1300030 1283890 466 887 0 1299140 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 5200120
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 788
/proc/meminfo: memFree=22194884/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=5202160 CPUtime=1796.39 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1265394 0 0 0 179251 388 0 0 20 0 1 0 342162408 5327011840 1284264 33554432000 4194304 7823515 140733518277856 140733518274552 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1300540 1284264 466 887 0 1299650 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 5202160
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 788
/proc/meminfo: memFree=22194884/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=4809484 CPUtime=1796.79 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1265663 0 0 0 179286 393 0 0 20 0 1 0 342162408 4924911616 1064307 33554432000 4194304 7823515 140733518277856 140733518274552 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 1202371 1063850 478 887 0 1201481 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 4809484
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 788
/proc/meminfo: memFree=26377604/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=942312 CPUtime=1797 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1265663 0 0 0 179287 413 0 0 20 0 1 0 342162408 964927488 234595 33554432000 4194304 7823515 140733518277856 140733518274552 6722834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 235578 234595 478 887 0 234688 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 942312
[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 788
/proc/meminfo: memFree=26377604/32873844 swapFree=7372/7372
[pid=698] ppid=696 vsize=810256 CPUtime=1797.09 cores=0,2,4,6
/proc/698/stat : 698 (pbscip.linux.x8) R 696 698 32091 0 -1 4202496 1265668 0 0 0 179293 416 0 0 20 0 1 0 342162408 829702144 65789 33554432000 4194304 7823515 140733518277856 140733518274552 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/698/statm: 202564 65789 483 887 0 201674 0
Current children cumulated CPU time (s) 1797.09
Current children cumulated vsize (KiB) 810256
Child status: 0
Real time (s): 1797.42
CPU time (s): 1797.12
CPU user time (s): 1792.94
CPU system time (s): 4.17736
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 5203184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.94
system time used= 4.17736
maximum resident set size= 5138124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1265675
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= 41
involuntary context switches= 1849
runsolver used 3.17852 second user time and 13.478 second system time
The end