0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3743573-1338787545.opb>
0.38/0.45 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.38/0.45 c problem read
0.38/0.45 c presolving settings loaded
0.58/0.66 c presolving:
0.69/0.77 c (round 1) 3294 del vars, 3219 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13044 impls, 504 clqs
0.69/0.79 c (round 2) 4448 del vars, 4378 del conss, 1156 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13712 impls, 503 clqs
0.79/0.83 c (round 3) 5049 del vars, 4979 del conss, 1757 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14752 impls, 503 clqs
0.79/0.86 c (round 4) 5463 del vars, 5393 del conss, 2171 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16436 impls, 503 clqs
0.79/0.89 c (round 5) 5790 del vars, 5720 del conss, 2498 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18156 impls, 503 clqs
0.89/0.92 c (round 6) 6057 del vars, 5987 del conss, 2765 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18824 impls, 503 clqs
0.89/0.95 c (round 7) 6266 del vars, 6196 del conss, 2974 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20428 impls, 503 clqs
0.89/0.97 c (round 8) 6462 del vars, 6392 del conss, 3170 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21294 impls, 503 clqs
0.89/1.00 c (round 9) 6483 del vars, 6413 del conss, 3191 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21874 impls, 503 clqs
1.00/1.02 c (round 10) 6541 del vars, 6471 del conss, 3249 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22524 impls, 503 clqs
103.87/103.92 c (round 11) 6653 del vars, 6537 del conss, 3250 chg bounds, 0 chg sides, 0 chg coeffs, 34348 upgd conss, 8219436 impls, 503 clqs
103.97/104.06 c (round 12) 6653 del vars, 6648 del conss, 3250 chg bounds, 0 chg sides, 0 chg coeffs, 34413 upgd conss, 8219628 impls, 503 clqs
419.72/419.84 c (419.4s) probing: 1000/33909 (2.9%) - 108 fixings, 12 aggregations, 1210390 implications, 0 bound changes
571.68/571.88 c (571.4s) probing: 2000/33909 (5.9%) - 109 fixings, 31 aggregations, 3468105 implications, 0 bound changes
804.13/804.31 c (803.9s) probing: 3000/33909 (8.8%) - 113 fixings, 45 aggregations, 5988594 implications, 0 bound changes
1081.88/1082.20 c (round 13) 6703 del vars, 6648 del conss, 3250 chg bounds, 0 chg sides, 0 chg coeffs, 34413 upgd conss, 31689652 impls, 503 clqs
1082.09/1082.32 c (round 14) 6703 del vars, 6698 del conss, 3250 chg bounds, 0 chg sides, 0 chg coeffs, 34413 upgd conss, 31689652 impls, 503 clqs
1211.36/1211.63 c (1211.2s) probing: 4000/33909 (11.8%) - 114 fixings, 47 aggregations, 9575580 implications, 0 bound changes
1689.89/1690.29 c (1689.8s) probing: 5000/33909 (14.7%) - 116 fixings, 50 aggregations, 11786056 implications, 0 bound changes
1789.78/1790.20 c (1789.7s) probing: 5248/33909 (15.5%) - 116 fixings, 50 aggregations, 12984290 implications, 0 bound changes
1789.78/1790.20 c (1789.7s) probing aborted: solving stopped
1789.88/1790.20 c (round 15) 6708 del vars, 6698 del conss, 3250 chg bounds, 0 chg sides, 0 chg coeffs, 34413 upgd conss, 38684026 impls, 503 clqs
1789.88/1790.20 c presolving (15 rounds):
1789.88/1790.20 c 6708 deleted vars, 6698 deleted constraints, 3250 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.88/1790.20 c 38684026 implications, 503 cliques
1789.88/1790.20 c presolving was interrupted.
1789.88/1790.20 c Presolving Time: 1789.62
1789.88/1790.20 c - non default parameters ----------------------------------------------------------------------
1789.88/1790.20 c # SCIP version 1.2.1.3
1789.88/1790.20 c
1789.88/1790.20 c # frequency for displaying node information lines
1789.88/1790.20 c # [type: int, range: [-1,2147483647], default: 100]
1789.88/1790.20 c display/freq = 10000
1789.88/1790.20 c
1789.88/1790.20 c # maximal time in seconds to run
1789.88/1790.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.88/1790.20 c limits/time = 1789.56
1789.88/1790.20 c
1789.88/1790.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.88/1790.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.88/1790.20 c limits/memory = 13950
1789.88/1790.20 c
1789.88/1790.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.88/1790.20 c # [type: int, range: [1,2], default: 1]
1789.88/1790.20 c timing/clocktype = 2
1789.88/1790.20 c
1789.88/1790.20 c # should presolving try to simplify inequalities
1789.88/1790.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.88/1790.20 c constraints/linear/simplifyinequalities = TRUE
1789.88/1790.20 c
1789.88/1790.20 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.88/1790.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.88/1790.20 c constraints/indicator/addCouplingCons = TRUE
1789.88/1790.20 c
1789.88/1790.20 c # should presolving try to simplify knapsacks
1789.88/1790.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.88/1790.20 c constraints/knapsack/simplifyinequalities = TRUE
1789.88/1790.20 c
1789.88/1790.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.88/1790.20 c # [type: int, range: [-1,2147483647], default: -1]
1789.88/1790.20 c separating/rapidlearning/freq = 0
1789.88/1790.20 c
1789.88/1790.20 c -----------------------------------------------------------------------------------------------
1789.88/1790.20 c start solving
1789.88/1790.21 c presolving:
1789.88/1790.21 c presolving (15 rounds):
1789.88/1790.21 c 6708 deleted vars, 6698 deleted constraints, 3250 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.88/1790.21 c 38684026 implications, 503 cliques
1789.88/1790.21 c presolving was interrupted.
1789.88/1790.21 c Presolving Time: 1789.64
1789.88/1790.21 c
1789.88/1790.21 c SCIP Status : solving was interrupted [time limit reached]
1789.88/1790.21 c Solving Time (sec) : 1789.76
1789.88/1790.21 c Solving Nodes : 0
1789.88/1790.21 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.88/1790.21 s UNKNOWN
1789.88/1790.21 c SCIP Status : solving was interrupted [time limit reached]
1789.88/1790.21 c Solving Time : 1789.76
1789.88/1790.21 c Original Problem :
1789.88/1790.21 c Problem name : HOME/instance-3743573-1338787545.opb
1789.88/1790.21 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.88/1790.21 c Constraints : 40950 initial, 40950 maximal
1789.88/1790.21 c Presolved Problem :
1789.88/1790.21 c Problem name : t_HOME/instance-3743573-1338787545.opb
1789.88/1790.21 c Variables : 33743 (33743 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.88/1790.21 c Constraints : 34252 initial, 34252 maximal
1789.88/1790.21 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.88/1790.21 c trivial : 0.03 123 0 0 0 0 0 0 0
1789.88/1790.21 c dualfix : 0.03 3168 0 0 0 0 0 0 0
1789.88/1790.21 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.88/1790.21 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.88/1790.21 c implics : 0.03 0 1 0 0 0 0 0 0
1789.88/1790.21 c probing : 1788.07 116 50 0 0 0 0 0 0
1789.88/1790.21 c knapsack : 0.21 0 0 0 0 0 0 0 0
1789.88/1790.21 c setppc : 0.02 0 0 0 0 0 56 0 0
1789.88/1790.21 c linear : 1.03 3250 0 0 3250 0 6537 0 0
1789.88/1790.21 c logicor : 0.05 0 0 0 0 0 105 0 0
1789.88/1790.21 c root node : - 0 - - 0 - - - -
1789.88/1790.21 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.88/1790.21 c integral : 0 0 0 0 0 0 0 0 0 0
1789.88/1790.21 c knapsack : 0+ 0 66517 0 0 0 0 0 0 0
1789.88/1790.21 c setppc : 0+ 0 66517 0 0 10 0 0 0 0
1789.88/1790.21 c linear : 0+ 0 1859 0 0 0 0 0 0 0
1789.88/1790.21 c logicor : 0+ 0 60632 0 0 6 0 0 0 0
1789.88/1790.21 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.88/1790.21 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.88/1790.21 c integral : 0.00 0.00 0.00 0.00 0.00
1789.88/1790.21 c knapsack : 1451.20 0.00 1451.20 0.00 0.00
1789.88/1790.21 c setppc : 7.60 0.00 7.60 0.00 0.00
1789.88/1790.21 c linear : 0.19 0.00 0.19 0.00 0.00
1789.88/1790.21 c logicor : 22.88 0.00 22.88 0.00 0.00
1789.88/1790.21 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.88/1790.21 c Propagators : Time Calls Cutoffs DomReds
1789.88/1790.21 c vbounds : 0.01 1 0 0
1789.88/1790.21 c rootredcost : 0.01 0 0 0
1789.88/1790.21 c pseudoobj : 0.01 0 0 0
1789.88/1790.21 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.88/1790.21 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.88/1790.21 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.88/1790.21 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.88/1790.21 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.88/1790.21 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.88/1790.21 c applied globally : - - - 0 0.0 - - -
1789.88/1790.21 c applied locally : - - - 0 0.0 - - -
1789.98/1790.37 c Time complete: 1790.05.
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-3743573-1338787545/watcher-3743573-1338787545 -o /tmp/evaluation-result-3743573-1338787545/solver-3743573-1338787545 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743573-1338787545.opb -t 1800 -m 15500
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: 1.97 2.01 1.94 2/176 5237
/proc/meminfo: memFree=31357076/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=7916 CPUtime=0 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 1248 0 0 0 0 0 0 0 20 0 1 0 344883085 8105984 1194 33554432000 4194304 8395647 140733835310160 140734392397640 7385025 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5237/statm: 1979 1194 370 1026 0 949 0
[startup+0.0604451 s]
/proc/loadavg: 1.97 2.01 1.94 2/176 5237
/proc/meminfo: memFree=31357076/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=31736 CPUtime=0.05 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 6984 0 0 0 5 0 0 0 20 0 1 0 344883085 32497664 6926 33554432000 4194304 8395647 140733835310160 140734392397640 6347101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5237/statm: 7934 6961 394 1026 0 6904 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31736
[startup+0.100276 s]
/proc/loadavg: 1.97 2.01 1.94 2/176 5237
/proc/meminfo: memFree=31357076/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=37800 CPUtime=0.09 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 8716 0 0 0 8 1 0 0 20 0 1 0 344883085 38707200 8656 33554432000 4194304 8395647 140733835310160 140734392397640 4327595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5237/statm: 9450 8656 394 1026 0 8420 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37800
[startup+0.300212 s]
/proc/loadavg: 1.97 2.01 1.94 2/176 5237
/proc/meminfo: memFree=31357076/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=51112 CPUtime=0.29 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 12043 0 0 0 28 1 0 0 20 0 1 0 344883085 52338688 11983 33554432000 4194304 8395647 140733835310160 140734392397640 7370079 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5237/statm: 12778 11983 394 1026 0 11748 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51112
[startup+0.700257 s]
/proc/loadavg: 1.97 2.01 1.94 2/176 5237
/proc/meminfo: memFree=31357076/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=135908 CPUtime=0.69 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 33102 0 0 0 64 5 0 0 20 0 1 0 344883085 139169792 32688 33554432000 4194304 8395647 140733835310160 140733835175368 7185584 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5237/statm: 33977 32688 471 1026 0 32947 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135908
[startup+1.50025 s]
/proc/loadavg: 1.97 2.01 1.94 3/177 5238
/proc/meminfo: memFree=31221520/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=140284 CPUtime=1.49 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 34537 0 0 0 144 5 0 0 20 0 1 0 344883085 143650816 33808 33554432000 4194304 8395647 140733835310160 140733835305960 4684092 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5237/statm: 35071 33808 478 1026 0 34041 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140284
[startup+3.10022 s]
/proc/loadavg: 1.97 2.01 1.94 3/177 5238
/proc/meminfo: memFree=31091320/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=243152 CPUtime=3.09 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 59193 0 0 0 301 8 0 0 20 0 1 0 344883085 248987648 58432 33554432000 4194304 8395647 140733835310160 140733835306024 6080692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5237/statm: 60788 58432 498 1026 0 59758 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243152
[startup+6.30025 s]
/proc/loadavg: 1.97 2.00 1.94 3/177 5238
/proc/meminfo: memFree=30940304/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=303632 CPUtime=6.28 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 73047 0 0 0 618 10 0 0 20 0 1 0 344883085 310919168 72286 33554432000 4194304 8395647 140733835310160 140733835306232 6080705 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5237/statm: 75908 72286 498 1026 0 74878 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 303632
[startup+12.7002 s]
/proc/loadavg: 1.97 2.00 1.94 3/177 5238
/proc/meminfo: memFree=30863084/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=338052 CPUtime=12.69 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 81607 0 0 0 1257 12 0 0 20 0 1 0 344883085 346165248 80846 33554432000 4194304 8395647 140733835310160 140733835306232 5608683 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5237/statm: 84513 80846 498 1026 0 83483 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 338052
[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 1.94 3/177 5238
/proc/meminfo: memFree=30714424/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=411168 CPUtime=25.48 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 99655 0 0 0 2533 15 0 0 20 0 1 0 344883085 421036032 98894 33554432000 4194304 8395647 140733835310160 140733835306024 6080653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 102792 98894 498 1026 0 101762 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 411168
[startup+51.1004 s]
/proc/loadavg: 1.98 2.00 1.94 3/177 5238
/proc/meminfo: memFree=30519216/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=534824 CPUtime=51.07 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 128839 0 0 0 5088 19 0 0 20 0 1 0 344883085 547659776 128078 33554432000 4194304 8395647 140733835310160 140733835306024 6080665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 133706 128078 498 1026 0 132676 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 534824
[startup+102.306 s]
/proc/loadavg: 2.05 2.02 1.94 3/177 5238
/proc/meminfo: memFree=30150964/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=720036 CPUtime=102.27 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 175047 0 0 0 10200 27 0 0 20 0 1 0 344883085 737316864 174286 33554432000 4194304 8395647 140733835310160 140733835306024 6080665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 180009 174286 498 1026 0 178979 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 720036
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 1.95 3/177 5238
/proc/meminfo: memFree=30114676/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=737852 CPUtime=162.26 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 179525 0 0 0 16198 28 0 0 20 0 1 0 344883085 755560448 178764 33554432000 4194304 8395647 140733835310160 140733835306184 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 184463 178764 507 1026 0 183433 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 737852
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/177 5238
/proc/meminfo: memFree=30108736/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=737852 CPUtime=222.25 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 179548 0 0 0 22197 28 0 0 20 0 1 0 344883085 755560448 178787 33554432000 4194304 8395647 140733835310160 140733835306184 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 184463 178787 507 1026 0 183433 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 737852
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 5242
/proc/meminfo: memFree=30087444/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=747020 CPUtime=282.24 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 181792 0 0 0 28195 29 0 0 20 0 1 0 344883085 764948480 181031 33554432000 4194304 8395647 140733835310160 140733835306024 6068889 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 186755 181031 507 1026 0 185725 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 747020
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 5242
/proc/meminfo: memFree=30061564/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=749064 CPUtime=342.23 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 182409 0 0 0 34194 29 0 0 20 0 1 0 344883085 767041536 181648 33554432000 4194304 8395647 140733835310160 140733835306232 4911307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 187266 181648 507 1026 0 186236 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 749064
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 5242
/proc/meminfo: memFree=29985952/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=814144 CPUtime=402.22 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 198510 0 0 0 40191 31 0 0 20 0 1 0 344883085 833683456 197749 33554432000 4194304 8395647 140733835310160 140733835306232 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 203536 197749 507 1026 0 202506 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 814144
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 5242
/proc/meminfo: memFree=29866336/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=901308 CPUtime=462.2 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 220149 0 0 0 46186 34 0 0 20 0 1 0 344883085 922939392 219462 33554432000 4194304 8395647 140733835310160 140733835306232 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 225327 219462 513 1026 0 224297 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 901308
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 5242
/proc/meminfo: memFree=29767908/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=976120 CPUtime=522.19 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 238777 0 0 0 52181 38 0 0 20 0 1 0 344883085 999546880 238392 33554432000 4194304 8395647 140733835310160 140733835306232 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 244030 238392 513 1026 0 243000 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 976120
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 5243
/proc/meminfo: memFree=29679276/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1056872 CPUtime=582.17 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 259014 0 0 0 58177 40 0 0 20 0 1 0 344883085 1082236928 258633 33554432000 4194304 8395647 140733835310160 140733835306232 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 264218 258633 513 1026 0 263188 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1056872
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29225880/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1352088 CPUtime=1002.1 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 333242 0 0 0 100158 52 0 0 20 0 1 0 344883085 1384538112 335622 33554432000 4194304 8395647 140733835310160 140733835306232 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 338022 335622 513 1026 0 336992 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 1352088
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 5247
/proc/meminfo: memFree=29158948/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1394684 CPUtime=1062.09 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 343102 0 0 0 106155 54 0 0 20 0 1 0 344883085 1428156416 345527 33554432000 4194304 8395647 140733835310160 140733835306232 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 348671 345527 513 1026 0 347641 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 1394684
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 5247
/proc/meminfo: memFree=29101688/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1412672 CPUtime=1122.08 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 347713 0 0 0 112154 54 0 0 20 0 1 0 344883085 1446576128 350234 33554432000 4194304 8395647 140733835310160 140733835306184 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 353168 350234 513 1026 0 352138 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1412672
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 5248
/proc/meminfo: memFree=29065632/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1412672 CPUtime=1182.07 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 347795 0 0 0 118153 54 0 0 20 0 1 0 344883085 1446576128 350472 33554432000 4194304 8395647 140733835310160 140733835306184 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 353168 350472 513 1026 0 352138 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1412672
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5249
/proc/meminfo: memFree=29028576/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1414548 CPUtime=1242.06 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 348003 0 0 0 124152 54 0 0 20 0 1 0 344883085 1448497152 351225 33554432000 4194304 8395647 140733835310160 140733835306232 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 353637 351225 513 1026 0 352607 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1414548
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 5249
/proc/meminfo: memFree=28999476/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1418472 CPUtime=1302.06 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 348798 0 0 0 130151 55 0 0 20 0 1 0 344883085 1452515328 353391 33554432000 4194304 8395647 140733835310160 140733835306232 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 354618 353391 513 1026 0 353588 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1418472
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 5249
/proc/meminfo: memFree=28942188/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1420412 CPUtime=1362.05 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 349210 0 0 0 136150 55 0 0 20 0 1 0 344883085 1454501888 353803 33554432000 4194304 8395647 140733835310160 140733835306232 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 355103 353803 513 1026 0 354073 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1420412
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 5249
/proc/meminfo: memFree=28888868/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1423420 CPUtime=1422.04 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 349696 0 0 0 142149 55 0 0 20 0 1 0 344883085 1457582080 354289 33554432000 4194304 8395647 140733835310160 140733835306024 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 355855 354289 513 1026 0 354825 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1423420
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5253
/proc/meminfo: memFree=28834796/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1437360 CPUtime=1482.03 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 352691 0 0 0 148148 55 0 0 20 0 1 0 344883085 1471856640 357284 33554432000 4194304 8395647 140733835310160 140733835306232 6068889 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 359340 357284 513 1026 0 358310 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1437360
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 5253
/proc/meminfo: memFree=28738208/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1482368 CPUtime=1542.02 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 363685 0 0 0 154145 57 0 0 20 0 1 0 344883085 1517944832 368278 33554432000 4194304 8395647 140733835310160 140733835306024 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 370592 368278 513 1026 0 369562 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1482368
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/177 5253
/proc/meminfo: memFree=28675960/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1508988 CPUtime=1602.01 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 369879 0 0 0 160143 58 0 0 20 0 1 0 344883085 1545203712 374472 33554432000 4194304 8395647 140733835310160 140733835306024 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 377247 374472 513 1026 0 376217 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1508988
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/177 5253
/proc/meminfo: memFree=28613588/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1536684 CPUtime=1662 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 376621 0 0 0 166141 59 0 0 20 0 1 0 344883085 1573564416 381214 33554432000 4194304 8395647 140733835310160 140733835306232 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 384171 381214 513 1026 0 383141 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1536684
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 5253
/proc/meminfo: memFree=28541908/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1561236 CPUtime=1721.99 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 382795 0 0 0 172139 60 0 0 20 0 1 0 344883085 1598705664 387388 33554432000 4194304 8395647 140733835310160 140733835306024 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 390309 387388 513 1026 0 389279 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1561236
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 5254
/proc/meminfo: memFree=28473364/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1590788 CPUtime=1781.98 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 390034 0 0 0 178137 61 0 0 20 0 1 0 344883085 1628966912 394627 33554432000 4194304 8395647 140733835310160 140733835306232 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 397697 394627 513 1026 0 396667 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1590788
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 5254
/proc/meminfo: memFree=28471240/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1590788 CPUtime=1785.18 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 390182 0 0 0 178457 61 0 0 20 0 1 0 344883085 1628966912 394775 33554432000 4194304 8395647 140733835310160 140733835306232 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 397697 394775 513 1026 0 396667 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 1590788
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 5254
/proc/meminfo: memFree=28469504/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1591756 CPUtime=1788.38 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 390272 0 0 0 178777 61 0 0 20 0 1 0 344883085 1629958144 394865 33554432000 4194304 8395647 140733835310160 140733835306232 6068889 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 397939 394865 513 1026 0 396909 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 1591756
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 5254
/proc/meminfo: memFree=28469504/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1591756 CPUtime=1789.18 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 390330 0 0 0 178857 61 0 0 20 0 1 0 344883085 1629958144 394923 33554432000 4194304 8395647 140733835310160 140733835306232 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 397939 394923 513 1026 0 396909 0
Current children cumulated CPU time (s) 1789.18
Current children cumulated vsize (KiB) 1591756
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.96 2/173 5255
/proc/meminfo: memFree=29907804/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1591756 CPUtime=1789.58 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 390330 0 0 0 178897 61 0 0 20 0 1 0 344883085 1629958144 394923 33554432000 4194304 8395647 140733835310160 140733835306232 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 397939 394923 513 1026 0 396909 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (KiB) 1591756
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.96 2/173 5255
/proc/meminfo: memFree=29907804/32873844 swapFree=7116/7116
[pid=5237] ppid=5235 vsize=1592780 CPUtime=1789.98 cores=0,2,4,6
/proc/5237/stat : 5237 (pbscip.linux.x8) R 5235 5237 4984 0 -1 4202496 390610 0 0 0 178937 61 0 0 20 0 1 0 344883085 1631006720 395203 33554432000 4194304 8395647 140733835310160 140733835306232 4750226 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5237/statm: 398195 395203 520 1026 0 397165 0
Current children cumulated CPU time (s) 1789.98
Current children cumulated vsize (KiB) 1592780
Child status: 0
Real time (s): 1790.38
CPU time (s): 1790.07
CPU user time (s): 1789.43
CPU system time (s): 0.635903
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 1592780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.43
system time used= 0.635903
maximum resident set size= 1580816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390624
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= 47
involuntary context switches= 1941
runsolver used 3.48047 second user time and 7.81481 second system time
The end