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-3742842-1338775528.opb>
0.39/0.43 c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.59/0.66 c presolving:
0.79/0.83 c (round 1) 3294 del vars, 3219 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12912 impls, 504 clqs
0.79/0.88 c (round 2) 4448 del vars, 4378 del conss, 1156 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13582 impls, 503 clqs
0.89/0.94 c (round 3) 5050 del vars, 4980 del conss, 1758 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14630 impls, 503 clqs
0.89/1.00 c (round 4) 5466 del vars, 5396 del conss, 2174 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16308 impls, 503 clqs
1.00/1.05 c (round 5) 5794 del vars, 5724 del conss, 2502 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18016 impls, 503 clqs
1.10/1.11 c (round 6) 6062 del vars, 5992 del conss, 2770 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18684 impls, 503 clqs
1.10/1.16 c (round 7) 6274 del vars, 6204 del conss, 2982 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20300 impls, 503 clqs
1.19/1.21 c (round 8) 6475 del vars, 6405 del conss, 3183 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21206 impls, 503 clqs
1.19/1.25 c (round 9) 6497 del vars, 6427 del conss, 3205 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21804 impls, 503 clqs
1.29/1.30 c (round 10) 6551 del vars, 6481 del conss, 3259 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22472 impls, 503 clqs
121.84/121.97 c (round 11) 6612 del vars, 6547 del conss, 3260 chg bounds, 0 chg sides, 0 chg coeffs, 34338 upgd conss, 8659212 impls, 503 clqs
122.05/122.17 c (round 12) 6612 del vars, 6607 del conss, 3260 chg bounds, 0 chg sides, 0 chg coeffs, 34403 upgd conss, 8659212 impls, 503 clqs
416.10/416.29 c (415.9s) probing: 1000/33899 (2.9%) - 57 fixings, 10 aggregations, 1138731 implications, 0 bound changes
551.56/551.75 c (551.3s) probing: 2000/33899 (5.9%) - 59 fixings, 24 aggregations, 3006693 implications, 0 bound changes
773.13/773.37 c (772.9s) probing: 3000/33899 (8.8%) - 62 fixings, 41 aggregations, 5527374 implications, 0 bound changes
1067.58/1067.84 c (round 13) 6662 del vars, 6607 del conss, 3260 chg bounds, 0 chg sides, 0 chg coeffs, 34403 upgd conss, 30893358 impls, 503 clqs
1067.79/1068.03 c (round 14) 6662 del vars, 6657 del conss, 3260 chg bounds, 0 chg sides, 0 chg coeffs, 34403 upgd conss, 30893358 impls, 503 clqs
1152.07/1152.33 c (1151.9s) probing: 4000/33899 (11.8%) - 63 fixings, 47 aggregations, 9240659 implications, 0 bound changes
1652.89/1653.26 c (1652.8s) probing: 5000/33899 (14.7%) - 65 fixings, 52 aggregations, 11619129 implications, 0 bound changes
1789.67/1790.02 c (1789.6s) probing: 5324/33899 (15.7%) - 65 fixings, 55 aggregations, 13043821 implications, 0 bound changes
1789.67/1790.02 c (1789.6s) probing aborted: solving stopped
1789.67/1790.02 c (round 15) 6672 del vars, 6657 del conss, 3260 chg bounds, 0 chg sides, 0 chg coeffs, 34403 upgd conss, 38966868 impls, 503 clqs
1789.67/1790.02 c presolving (15 rounds):
1789.67/1790.02 c 6672 deleted vars, 6657 deleted constraints, 3260 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.67/1790.02 c 38966868 implications, 503 cliques
1789.67/1790.02 c presolving was interrupted.
1789.67/1790.02 c Presolving Time: 1789.45
1789.67/1790.02 c - non default parameters ----------------------------------------------------------------------
1789.67/1790.02 c # SCIP version 1.2.1.3
1789.67/1790.02 c
1789.67/1790.02 c # frequency for displaying node information lines
1789.67/1790.02 c # [type: int, range: [-1,2147483647], default: 100]
1789.67/1790.02 c display/freq = 10000
1789.67/1790.02 c
1789.67/1790.02 c # maximal time in seconds to run
1789.67/1790.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.67/1790.02 c limits/time = 1789.58
1789.67/1790.02 c
1789.67/1790.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.67/1790.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.67/1790.02 c limits/memory = 13950
1789.67/1790.02 c
1789.67/1790.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.67/1790.02 c # [type: int, range: [1,2], default: 1]
1789.67/1790.02 c timing/clocktype = 2
1789.67/1790.02 c
1789.67/1790.02 c # should presolving try to simplify inequalities
1789.67/1790.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.67/1790.02 c constraints/linear/simplifyinequalities = TRUE
1789.67/1790.02 c
1789.67/1790.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.67/1790.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.67/1790.02 c constraints/indicator/addCouplingCons = TRUE
1789.67/1790.02 c
1789.67/1790.02 c # should presolving try to simplify knapsacks
1789.67/1790.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.67/1790.02 c constraints/knapsack/simplifyinequalities = TRUE
1789.67/1790.02 c
1789.67/1790.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.67/1790.02 c # [type: int, range: [-1,2147483647], default: -1]
1789.67/1790.02 c separating/rapidlearning/freq = 0
1789.67/1790.02 c
1789.67/1790.02 c -----------------------------------------------------------------------------------------------
1789.67/1790.02 c start solving
1789.67/1790.04 c presolving:
1789.67/1790.04 c presolving (15 rounds):
1789.67/1790.04 c 6672 deleted vars, 6657 deleted constraints, 3260 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.67/1790.04 c 38966868 implications, 503 cliques
1789.67/1790.04 c presolving was interrupted.
1789.67/1790.04 c Presolving Time: 1789.47
1789.67/1790.04 c
1789.67/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.67/1790.04 c Solving Time (sec) : 1789.61
1789.67/1790.04 c Solving Nodes : 0
1789.67/1790.04 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.67/1790.04 s UNKNOWN
1789.67/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.67/1790.04 c Solving Time : 1789.61
1789.67/1790.04 c Original Problem :
1789.67/1790.04 c Problem name : HOME/instance-3742842-1338775528.opb
1789.67/1790.04 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.67/1790.04 c Constraints : 40950 initial, 40950 maximal
1789.67/1790.04 c Presolved Problem :
1789.67/1790.04 c Problem name : t_HOME/instance-3742842-1338775528.opb
1789.67/1790.04 c Variables : 33779 (33779 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.67/1790.04 c Constraints : 34293 initial, 34293 maximal
1789.67/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.67/1790.04 c trivial : 0.04 123 0 0 0 0 0 0 0
1789.67/1790.04 c dualfix : 0.03 3168 0 0 0 0 0 0 0
1789.67/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.04 c implics : 0.04 0 1 0 0 0 0 0 0
1789.67/1790.04 c probing : 1787.02 65 55 0 0 0 0 0 0
1789.67/1790.04 c knapsack : 0.29 0 0 0 0 0 0 0 0
1789.67/1790.04 c setppc : 0.04 0 0 0 0 0 56 0 0
1789.67/1790.04 c linear : 1.69 3260 0 0 3260 0 6547 0 0
1789.67/1790.04 c logicor : 0.12 0 0 0 0 0 54 0 0
1789.67/1790.04 c root node : - 0 - - 0 - - - -
1789.67/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.67/1790.04 c integral : 0 0 0 0 0 0 0 0 0 0
1789.67/1790.04 c knapsack : 0+ 0 65782 0 0 0 0 0 0 0
1789.67/1790.04 c setppc : 0+ 0 65782 0 0 10 0 0 0 0
1789.67/1790.04 c linear : 0+ 0 1943 0 0 0 0 0 0 0
1789.67/1790.04 c logicor : 0+ 0 59618 0 0 3 0 0 0 0
1789.67/1790.04 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.67/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.67/1790.04 c integral : 0.00 0.00 0.00 0.00 0.00
1789.67/1790.04 c knapsack : 1374.16 0.00 1374.16 0.00 0.00
1789.67/1790.04 c setppc : 9.85 0.00 9.85 0.00 0.00
1789.67/1790.04 c linear : 0.28 0.00 0.28 0.00 0.00
1789.67/1790.04 c logicor : 32.69 0.00 32.69 0.00 0.00
1789.67/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.67/1790.04 c Propagators : Time Calls Cutoffs DomReds
1789.67/1790.04 c vbounds : 0.05 1 0 0
1789.67/1790.04 c rootredcost : 0.04 0 0 0
1789.67/1790.04 c pseudoobj : 0.05 0 0 0
1789.67/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.67/1790.04 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.67/1790.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.67/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.67/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.67/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.67/1790.04 c applied globally : - - - 0 0.0 - - -
1789.67/1790.04 c applied locally : - - - 0 0.0 - - -
1789.87/1790.29 c Time complete: 1789.96.
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-3742842-1338775528/watcher-3742842-1338775528 -o /tmp/evaluation-result-3742842-1338775528/solver-3742842-1338775528 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3742842-1338775528.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 1.99 1.86 3/175 12438
/proc/meminfo: memFree=28032008/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 1 0 343678236 8105984 1197 33554432000 4194304 8395647 140737140966256 140737140965240 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 1979 1198 370 1026 0 949 0
[startup+0.028382 s]
/proc/loadavg: 1.94 1.99 1.86 3/175 12438
/proc/meminfo: memFree=28032008/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=19664 CPUtime=0.01 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 4176 0 0 0 1 0 0 0 20 0 1 0 343678236 20135936 4117 33554432000 4194304 8395647 140737140966256 140737140965240 4245996 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 4916 4118 387 1026 0 3886 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19664
[startup+0.100359 s]
/proc/loadavg: 1.94 1.99 1.86 3/175 12438
/proc/meminfo: memFree=28032008/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=39236 CPUtime=0.09 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 9075 0 0 0 8 1 0 0 20 0 1 0 343678236 40177664 9016 33554432000 4194304 8395647 140737140966256 140737140965240 7382051 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 9809 9016 394 1026 0 8779 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39236
[startup+0.300294 s]
/proc/loadavg: 1.94 1.99 1.86 3/175 12438
/proc/meminfo: memFree=28032008/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=52976 CPUtime=0.29 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 12512 0 0 0 27 2 0 0 20 0 1 0 343678236 54247424 12453 33554432000 4194304 8395647 140737140966256 140737140965240 4327595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 13244 12453 394 1026 0 12214 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52976
[startup+0.700316 s]
/proc/loadavg: 1.94 1.99 1.86 3/175 12438
/proc/meminfo: memFree=28032008/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=134176 CPUtime=0.69 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 32670 0 0 0 64 5 0 0 20 0 1 0 343678236 137396224 32257 33554432000 4194304 8395647 140737140966256 140737140831464 6078231 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 33544 32257 471 1026 0 32514 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134176
[startup+1.50035 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27755952/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=140252 CPUtime=1.49 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 34527 0 0 0 143 6 0 0 20 0 1 0 343678236 143618048 33799 33554432000 4194304 8395647 140737140966256 140737140962056 4684092 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 35063 33799 478 1026 0 34033 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140252
[startup+3.10029 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27752976/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=216220 CPUtime=3.09 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 53060 0 0 0 300 9 0 0 20 0 1 0 343678236 221409280 52300 33554432000 4194304 8395647 140737140966256 140737140962232 6081333 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 54055 52300 498 1026 0 53025 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216220
[startup+6.30031 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27477084/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=290492 CPUtime=6.29 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 70345 0 0 0 617 12 0 0 20 0 1 0 343678236 297463808 69665 33554432000 4194304 8395647 140737140966256 140737140962328 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 72623 69665 498 1026 0 71593 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 290492
[startup+12.7004 s]
/proc/loadavg: 1.95 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27415544/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=311312 CPUtime=12.68 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 75524 0 0 0 1255 13 0 0 20 0 1 0 343678236 318783488 74844 33554432000 4194304 8395647 140737140966256 140737140962120 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 77828 74844 498 1026 0 76798 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 311312
[startup+25.5004 s]
/proc/loadavg: 1.96 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27258204/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=397420 CPUtime=25.47 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 95707 0 0 0 2529 18 0 0 20 0 1 0 343678236 406958080 95021 33554432000 4194304 8395647 140737140966256 140737140962120 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 99355 95021 498 1026 0 98325 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 397420
[startup+51.1004 s]
/proc/loadavg: 1.97 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27034956/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=494180 CPUtime=51.06 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 119504 0 0 0 5083 23 0 0 20 0 1 0 343678236 506040320 119091 33554432000 4194304 8395647 140737140966256 140737140962120 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 123545 119091 498 1026 0 122515 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 494180
[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.87 3/179 12449
/proc/meminfo: memFree=26742360/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=629660 CPUtime=102.25 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 152261 0 0 0 10194 31 0 0 20 0 1 0 343678236 644771840 152322 33554432000 4194304 8395647 140737140966256 140737140962120 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 157415 152322 498 1026 0 156385 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 629660
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.87 3/179 12450
/proc/meminfo: memFree=26567052/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=763668 CPUtime=162.23 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 185241 0 0 0 16186 37 0 0 20 0 1 0 343678236 781996032 186352 33554432000 4194304 8395647 140737140966256 140737140962280 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 190917 186352 507 1026 0 189887 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 763668
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.88 3/179 12450
/proc/meminfo: memFree=26551456/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=765428 CPUtime=222.22 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 185876 0 0 0 22185 37 0 0 20 0 1 0 343678236 783798272 187702 33554432000 4194304 8395647 140737140966256 140737140962328 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 191357 187702 507 1026 0 190327 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 765428
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.88 3/180 12453
/proc/meminfo: memFree=26548964/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=766396 CPUtime=282.21 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 185939 0 0 0 28184 37 0 0 20 0 1 0 343678236 784789504 188296 33554432000 4194304 8395647 140737140966256 140737140962120 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 191599 188296 507 1026 0 190569 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 766396
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.89 3/179 12453
/proc/meminfo: memFree=26538492/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=772528 CPUtime=342.21 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 187808 0 0 0 34183 38 0 0 20 0 1 0 343678236 791068672 190876 33554432000 4194304 8395647 140737140966256 140737140962328 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 193132 190876 507 1026 0 192102 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 772528
[startup+402.3 s]
/proc/loadavg: 2.07 2.00 1.90 3/179 12453
/proc/meminfo: memFree=26491772/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=817220 CPUtime=402.2 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 198473 0 0 0 40180 40 0 0 20 0 1 0 343678236 836833280 202562 33554432000 4194304 8395647 140737140966256 140737140962328 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 204305 202562 507 1026 0 203275 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 817220
[startup+462.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/179 12454
/proc/meminfo: memFree=26413804/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=890260 CPUtime=462.19 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 215837 0 0 0 46175 44 0 0 20 0 1 0 343678236 911626240 220260 33554432000 4194304 8395647 140737140966256 140737140962328 4737477 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 222565 220260 513 1026 0 221535 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 890260
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 12454
/proc/meminfo: memFree=26309300/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=990468 CPUtime=522.16 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 240956 0 0 0 52169 47 0 0 20 0 1 0 343678236 1014239232 245589 33554432000 4194304 8395647 140737140966256 140737140962328 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 247617 245589 513 1026 0 246587 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 990468
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12454
/proc/meminfo: memFree=26221164/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1067084 CPUtime=582.15 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 259493 0 0 0 58164 51 0 0 20 0 1 0 343678236 1092694016 264486 33554432000 4194304 8395647 140737140966256 140737140962328 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 266771 264486 513 1026 0 265741 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1067084
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25708980/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1432144 CPUtime=1062.07 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 346345 0 0 0 106138 69 0 0 20 0 1 0 343678236 1466515456 354440 33554432000 4194304 8395647 140737140966256 140737140962328 4247653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 358036 354440 513 1026 0 357006 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 1432144
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 12459
/proc/meminfo: memFree=25673676/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1443216 CPUtime=1122.07 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 349472 0 0 0 112137 70 0 0 20 0 1 0 343678236 1477853184 357567 33554432000 4194304 8395647 140737140966256 140737140962280 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 360804 357567 513 1026 0 359774 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 1443216
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12460
/proc/meminfo: memFree=25661296/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1443216 CPUtime=1182.06 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 349628 0 0 0 118136 70 0 0 20 0 1 0 343678236 1477853184 357723 33554432000 4194304 8395647 140737140966256 140737140961192 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 360804 357723 513 1026 0 359774 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 1443216
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 12460
/proc/meminfo: memFree=25644524/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1447060 CPUtime=1242.05 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 350419 0 0 0 124135 70 0 0 20 0 1 0 343678236 1481789440 358514 33554432000 4194304 8395647 140737140966256 140737140962120 5085399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 361765 358514 513 1026 0 360735 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1447060
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 12460
/proc/meminfo: memFree=25613824/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1448020 CPUtime=1302.04 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 350783 0 0 0 130134 70 0 0 20 0 1 0 343678236 1482772480 358878 33554432000 4194304 8395647 140737140966256 140737140962328 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 362005 358878 513 1026 0 360975 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1448020
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12460
/proc/meminfo: memFree=25590884/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1449984 CPUtime=1362.03 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 351162 0 0 0 136133 70 0 0 20 0 1 0 343678236 1484783616 359257 33554432000 4194304 8395647 140737140966256 140737140962328 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 362496 359257 513 1026 0 361466 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1449984
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12461
/proc/meminfo: memFree=25567944/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1462056 CPUtime=1422.03 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 353581 0 0 0 142132 71 0 0 20 0 1 0 343678236 1497145344 361676 33554432000 4194304 8395647 140737140966256 140737140962120 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 365514 361676 513 1026 0 364484 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1462056
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 12464
/proc/meminfo: memFree=25520660/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1490216 CPUtime=1482.02 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 361368 0 0 0 148129 73 0 0 20 0 1 0 343678236 1525981184 369463 33554432000 4194304 8395647 140737140966256 140737140962328 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 372554 369463 513 1026 0 371524 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1490216
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12464
/proc/meminfo: memFree=25483748/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1519248 CPUtime=1542 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 368433 0 0 0 154126 74 0 0 20 0 1 0 343678236 1555709952 376528 33554432000 4194304 8395647 140737140966256 140737140962328 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 379812 376528 513 1026 0 378782 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1519248
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12464
/proc/meminfo: memFree=25435388/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1538112 CPUtime=1601.99 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 373031 0 0 0 160124 75 0 0 20 0 1 0 343678236 1575026688 381126 33554432000 4194304 8395647 140737140966256 140737140962328 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 384528 381126 513 1026 0 383498 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1538112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12464
/proc/meminfo: memFree=25376364/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1568724 CPUtime=1661.99 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 380360 0 0 0 166122 77 0 0 20 0 1 0 343678236 1606373376 388455 33554432000 4194304 8395647 140737140966256 140737140962328 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 392181 388455 513 1026 0 391151 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1568724
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25323540/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1589444 CPUtime=1721.97 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 385937 0 0 0 172119 78 0 0 20 0 1 0 343678236 1627590656 394032 33554432000 4194304 8395647 140737140966256 140737140962328 4698201 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 397361 394032 513 1026 0 396331 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1589444
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25246660/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1623924 CPUtime=1781.97 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 394907 0 0 0 178117 80 0 0 20 0 1 0 343678236 1662898176 403002 33554432000 4194304 8395647 140737140966256 140737140961944 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 405981 403002 513 1026 0 404951 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1623924
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25244304/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1625896 CPUtime=1785.17 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 395236 0 0 0 178437 80 0 0 20 0 1 0 343678236 1664917504 403331 33554432000 4194304 8395647 140737140966256 140737140962328 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 406474 403331 513 1026 0 405444 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 1625896
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25238228/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1630884 CPUtime=1788.37 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 396163 0 0 0 178757 80 0 0 20 0 1 0 343678236 1670025216 404258 33554432000 4194304 8395647 140737140966256 140737140962328 6080701 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 407721 404258 513 1026 0 406691 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (KiB) 1630884
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25238228/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1630884 CPUtime=1789.17 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 396192 0 0 0 178837 80 0 0 20 0 1 0 343678236 1670025216 404287 33554432000 4194304 8395647 140737140966256 140737140962328 4706426 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 407721 404287 513 1026 0 406691 0
Current children cumulated CPU time (s) 1789.17
Current children cumulated vsize (KiB) 1630884
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25236492/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1630884 CPUtime=1789.57 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 396207 0 0 0 178877 80 0 0 20 0 1 0 343678236 1670025216 404302 33554432000 4194304 8395647 140737140966256 140737140962328 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 407721 404302 513 1026 0 406691 0
Current children cumulated CPU time (s) 1789.57
Current children cumulated vsize (KiB) 1630884
[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25236492/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1633856 CPUtime=1789.77 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 396566 0 0 0 178897 80 0 0 20 0 1 0 343678236 1673068544 404661 33554432000 4194304 8395647 140737140966256 140737140962328 4750671 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 408464 404661 520 1026 0 407434 0
Current children cumulated CPU time (s) 1789.77
Current children cumulated vsize (KiB) 1633856
[startup+1790.2 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25236492/32873844 swapFree=7124/7124
[pid=12438] ppid=12436 vsize=1633856 CPUtime=1789.87 cores=1,3,5,7
/proc/12438/stat : 12438 (pbscip.linux.x8) R 12436 12438 12290 0 -1 4202496 396566 0 0 0 178907 80 0 0 20 0 1 0 343678236 1673068544 404661 33554432000 4194304 8395647 140737140966256 140737140962328 6345224 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12438/statm: 408464 404661 520 1026 0 407434 0
Current children cumulated CPU time (s) 1789.87
Current children cumulated vsize (KiB) 1633856
Child status: 0
Real time (s): 1790.29
CPU time (s): 1789.97
CPU user time (s): 1789.11
CPU system time (s): 0.855869
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 1633856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.11
system time used= 0.855869
maximum resident set size= 1618644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 396580
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= 58
involuntary context switches= 1870
runsolver used 6.49501 second user time and 18.1452 second system time
The end