0.09/0.18 c SCIP version 1.1.0.7
0.09/0.18 c LP-Solver SoPlex 1.4.1
0.09/0.18 c user parameter file <scip.set> not found - using default parameters
0.09/0.18 c read problem <HOME/instance-3737543-1338749243.opb>
0.09/0.18 c original problem has 33640 variables (33640 bin, 0 int, 0 impl, 0 cont) and 34641 constraints
0.28/0.33 c start presolving problem
0.28/0.33 c presolving:
0.68/0.77 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 255120 impls, 2000 clqs
1.49/1.51 c (1.2s) probing: 101/33640 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.51 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.49/1.51 c presolving (2 rounds):
1.49/1.51 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.51 c 255120 implications, 2000 cliques
1.49/1.51 c presolved problem has 33640 variables (33640 bin, 0 int, 0 impl, 0 cont) and 34641 constraints
1.49/1.51 c 2000 constraints of type <setppc>
1.49/1.51 c 31640 constraints of type <and>
1.49/1.51 c 1 constraints of type <linear>
1.49/1.51 c 1000 constraints of type <logicor>
1.49/1.51 c transformed objective value is always integral (scale: 1)
1.49/1.51 c Presolving Time: 1.14
1.49/1.52 c OPT-NLC
1.49/1.52 c -----------------------------------------------------------------------------------------------
1.49/1.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.52 c limits/memory = c 13950
1.49/1.52 c # maximal time in seconds to run
1.49/1.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.52 c limits/time = c 1791
1.49/1.52 c # frequency for displaying node information lines
1.49/1.52 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.52 c display/freq = c 10000
1.49/1.52 c -----------------------------------------------------------------------------------------------
1.49/1.52 c start solving problem
1.49/1.52 c
1792.80/1793.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.80/1793.12 c 1791s| 1 | 0 | 95916 | 151M| 0 | - | 33k| 34k| 34k| 33k| 66k| 0 | 0 | 0 |-1.000000e+03 | -- | Inf
1792.80/1793.14 c 1791s| 1 | 2 | 95916 | 151M| 0 | - | 33k| 34k| 34k| 33k| 66k| 0 | 0 | 0 |-1.000000e+03 | -- | Inf
1792.80/1793.14 c
1792.80/1793.14 c SCIP Status : solving was interrupted [time limit reached]
1792.80/1793.14 c Solving Time (sec) : 1791.48
1792.80/1793.14 c Solving Nodes : 1
1792.80/1793.14 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1792.80/1793.14 c Dual Bound : -1.00000000000000e+03
1792.80/1793.14 c Gap : infinite
1792.80/1793.14 c NODE 1
1792.80/1793.14 c DUAL BOUND -1000
1792.80/1793.14 c PRIMAL BOUND 1e+20
1792.80/1793.14 c GAP 1e+20
1792.80/1793.14 s UNKNOWN
1792.80/1793.14 c SCIP Status : solving was interrupted [time limit reached]
1792.80/1793.14 c Solving Time : 1791.48
1792.80/1793.14 c Original Problem :
1792.80/1793.14 c Problem name : HOME/instance-3737543-1338749243.opb
1792.80/1793.14 c Variables : 33640 (33640 binary, 0 integer, 0 implicit integer, 0 continuous)
1792.80/1793.14 c Constraints : 34641 initial, 34641 maximal
1792.80/1793.14 c Presolved Problem :
1792.80/1793.14 c Problem name : t_HOME/instance-3737543-1338749243.opb
1792.80/1793.14 c Variables : 33640 (33640 binary, 0 integer, 0 implicit integer, 0 continuous)
1792.80/1793.14 c Constraints : 34641 initial, 34641 maximal
1792.80/1793.14 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1792.80/1793.14 c trivial : 0.01 0 0 0 0 0 0 0 0
1792.80/1793.14 c dualfix : 0.01 0 0 0 0 0 0 0 0
1792.80/1793.14 c boundshift : 0.00 0 0 0 0 0 0 0 0
1792.80/1793.14 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1792.80/1793.14 c implics : 0.01 0 0 0 0 0 0 0 0
1792.80/1793.14 c probing : 0.47 0 0 0 0 0 0 0 0
1792.80/1793.14 c setppc : 0.01 0 0 0 0 0 0 0 0
1792.80/1793.14 c and : 0.44 0 0 0 0 0 0 0 0
1792.80/1793.14 c linear : 0.11 0 0 0 0 0 0 0 0
1792.80/1793.14 c logicor : 0.00 0 0 0 0 0 0 0 0
1792.80/1793.14 c root node : - 0 - - 0 - - - -
1792.80/1793.14 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1792.80/1793.14 c integral : 0 0 0 0 0 0 0 0 0 0
1792.80/1793.14 c setppc : 2000 0 201 0 1 0 0 0 0 0
1792.80/1793.14 c and : 31640 0 201 0 1 0 0 0 0 0
1792.80/1793.14 c linear : 1 0 201 0 1 0 0 0 0 0
1792.80/1793.14 c logicor : 1000 0 201 0 1 0 0 0 0 0
1792.80/1793.14 c countsols : 0 0 0 0 1 0 0 0 0 0
1792.80/1793.14 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1792.80/1793.14 c integral : 0.00 0.00 0.00 0.00 0.00
1792.80/1793.14 c setppc : 0.02 0.00 0.02 0.00 0.00
1792.80/1793.14 c and : 0.16 0.00 0.16 0.00 0.00
1792.80/1793.14 c linear : 0.05 0.00 0.05 0.00 0.00
1792.80/1793.14 c logicor : 0.00 0.00 0.00 0.00 0.00
1792.80/1793.14 c countsols : 0.00 0.00 0.00 0.00 0.00
1792.80/1793.14 c Propagators : Time Calls Cutoffs DomReds
1792.80/1793.14 c rootredcost : 0.00 0 0 0
1792.80/1793.14 c pseudoobj : 0.00 1 0 0
1792.80/1793.14 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1792.80/1793.14 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1792.80/1793.14 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1792.80/1793.14 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1792.80/1793.14 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1792.80/1793.14 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1792.80/1793.14 c applied globally : - - - 0 0.0 - - -
1792.80/1793.14 c applied locally : - - - 0 0.0 - - -
1792.80/1793.14 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1792.80/1793.14 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1792.80/1793.14 c redcost : 0.00 0 0 0 0 0
1792.80/1793.14 c impliedbounds : 0.00 0 0 0 0 0
1792.80/1793.14 c intobj : 0.00 0 0 0 0 0
1792.80/1793.14 c gomory : 0.00 0 0 0 0 0
1792.80/1793.14 c strongcg : 0.00 0 0 0 0 0
1792.80/1793.14 c cmir : 0.00 0 0 0 0 0
1792.80/1793.14 c flowcover : 0.00 0 0 0 0 0
1792.80/1793.14 c clique : 0.00 0 0 0 0 0
1792.80/1793.14 c zerohalf : 0.00 0 0 0 0 0
1792.80/1793.14 c mcf : 0.00 0 0 0 0 0
1792.80/1793.14 c Pricers : Time Calls Vars
1792.80/1793.14 c problem variables: 0.00 0 0
1792.80/1793.14 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1792.80/1793.14 c relpscost : 0.00 0 0 0 0 0 0
1792.80/1793.14 c pscost : 0.00 0 0 0 0 0 0
1792.80/1793.14 c inference : 0.01 1 0 0 0 0 2
1792.80/1793.14 c mostinf : 0.00 0 0 0 0 0 0
1792.80/1793.14 c leastinf : 0.00 0 0 0 0 0 0
1792.80/1793.14 c fullstrong : 0.00 0 0 0 0 0 0
1792.80/1793.14 c allfullstrong : 0.00 0 0 0 0 0 0
1792.80/1793.14 c random : 0.00 0 0 0 0 0 0
1792.80/1793.14 c Primal Heuristics : Time Calls Found
1792.80/1793.14 c LP solutions : 0.00 - 0
1792.80/1793.14 c pseudo solutions : 0.00 - 0
1792.80/1793.14 c oneopt : 0.00 0 0
1792.80/1793.14 c simplerounding : 0.00 0 0
1792.80/1793.14 c rounding : 0.00 0 0
1792.80/1793.14 c shifting : 0.00 0 0
1792.80/1793.14 c intshifting : 0.00 0 0
1792.80/1793.14 c fixandinfer : 0.00 0 0
1792.80/1793.14 c feaspump : 0.00 0 0
1792.80/1793.14 c coefdiving : 0.00 0 0
1792.80/1793.14 c pscostdiving : 0.00 0 0
1792.80/1793.14 c fracdiving : 0.00 0 0
1792.80/1793.14 c veclendiving : 0.00 0 0
1792.80/1793.14 c intdiving : 0.00 0 0
1792.80/1793.14 c actconsdiving : 0.00 0 0
1792.80/1793.14 c objpscostdiving : 0.00 0 0
1792.80/1793.14 c rootsoldiving : 0.00 0 0
1792.80/1793.14 c linesearchdiving : 0.00 0 0
1792.80/1793.14 c guideddiving : 0.00 0 0
1792.80/1793.14 c octane : 0.00 0 0
1792.80/1793.14 c rens : 0.00 0 0
1792.80/1793.14 c rins : 0.00 0 0
1792.80/1793.14 c localbranching : 0.00 0 0
1792.80/1793.14 c mutation : 0.00 0 0
1792.80/1793.14 c crossover : 0.00 0 0
1792.80/1793.14 c dins : 0.00 0 0
1792.80/1793.14 c LP : Time Calls Iterations Iter/call Iter/sec
1792.80/1793.14 c primal LP : 0.00 0 0 0.00 -
1792.80/1793.14 c dual LP : 1790.02 1 95916 95916.00 53.58
1792.80/1793.14 c barrier LP : 0.00 0 0 0.00 -
1792.80/1793.14 c diving/probing LP: 0.00 0 0 0.00 -
1792.80/1793.14 c strong branching : 0.00 0 0 0.00 -
1792.80/1793.14 c (at root node) : - 0 0 0.00 -
1792.80/1793.14 c conflict analysis: 0.00 0 0 0.00 -
1792.80/1793.14 c B&B Tree :
1792.80/1793.14 c number of runs : 1
1792.80/1793.14 c nodes : 1
1792.80/1793.14 c nodes (total) : 1
1792.80/1793.14 c nodes left : 2
1792.80/1793.14 c max depth : 0
1792.80/1793.14 c max depth (total): 0
1792.80/1793.14 c backtracks : 0 (0.0%)
1792.80/1793.14 c delayed cutoffs : 0
1792.80/1793.14 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1792.80/1793.14 c avg switch length: 1.00
1792.80/1793.14 c switching time : 0.00
1792.80/1793.14 c Solution :
1792.80/1793.14 c Solutions found : 0 (0 improvements)
1792.80/1793.14 c Primal Bound : -
1792.80/1793.14 c Dual Bound : -1.00000000000000e+03
1792.80/1793.14 c Gap : infinite
1792.80/1793.14 c Root Dual Bound : -1.00000000000000e+03
1793.00/1793.39 c Time complete: 1793.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-3737543-1338749243/watcher-3737543-1338749243 -o /tmp/evaluation-result-3737543-1338749243/solver-3737543-1338749243 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737543-1338749243.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 21545
/proc/meminfo: memFree=28559448/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=4272 CPUtime=0 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 341049129 4374528 408 33554432000 4194304 7823515 140734023067824 140736883844936 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 1068 409 286 887 0 178 0
[startup+0.102164 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 21545
/proc/meminfo: memFree=28559448/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=35168 CPUtime=0.09 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 8134 0 0 0 8 1 0 0 20 0 1 0 341049129 36012032 8087 33554432000 4194304 7823515 140734023067824 140736883844936 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 8792 8087 354 887 0 7902 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35168
[startup+0.200325 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 21545
/proc/meminfo: memFree=28559448/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=59712 CPUtime=0.18 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 14564 0 0 0 16 2 0 0 20 0 1 0 341049129 61145088 14101 33554432000 4194304 7823515 140734023067824 140736883844936 5878822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 14928 14114 367 887 0 14038 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 59712
[startup+0.300459 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 21545
/proc/meminfo: memFree=28559448/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=91144 CPUtime=0.28 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 22420 0 0 0 25 3 0 0 20 0 1 0 341049129 93331456 21957 33554432000 4194304 7823515 140734023067824 140736883844936 4685941 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 22786 21957 385 887 0 21896 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 91144
[startup+0.700294 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 21545
/proc/meminfo: memFree=28559448/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=108748 CPUtime=0.68 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 26852 0 0 0 61 7 0 0 20 0 1 0 341049129 111357952 26146 33554432000 4194304 7823515 140734023067824 140734023065080 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 27187 26146 426 887 0 26297 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 108748
[startup+1.50034 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 21546
/proc/meminfo: memFree=28445032/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=120156 CPUtime=1.49 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 29373 0 0 0 137 12 0 0 20 0 1 0 341049129 123039744 29076 33554432000 4194304 7823515 140734023067824 140734023064504 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 30039 29076 451 887 0 29149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 120156
[startup+3.10029 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 21546
/proc/meminfo: memFree=28338816/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=248416 CPUtime=3.08 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 57209 0 0 0 292 16 0 0 20 0 1 0 341049129 254377984 57623 33554432000 4194304 7823515 140734023067824 140734023063160 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 62104 57623 523 887 0 61214 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 248416
[startup+6.30031 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 21546
/proc/meminfo: memFree=28324044/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=251880 CPUtime=6.29 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 59066 0 0 0 612 17 0 0 20 0 1 0 341049129 257925120 59417 33554432000 4194304 7823515 140734023067824 140734023063160 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 62970 59417 523 887 0 62080 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 251880
[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 21546
/proc/meminfo: memFree=28318472/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=256348 CPUtime=12.69 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 60637 0 0 0 1251 18 0 0 20 0 1 0 341049129 262500352 60829 33554432000 4194304 7823515 140734023067824 140734023063160 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 64087 60829 523 887 0 63197 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 256348
[startup+25.5005 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 21546
/proc/meminfo: memFree=28313012/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=258860 CPUtime=25.48 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 61312 0 0 0 2529 19 0 0 20 0 1 0 341049129 265072640 61504 33554432000 4194304 7823515 140734023067824 140734023063160 6215022 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 64715 61504 523 887 0 63825 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 258860
[startup+51.1005 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 21546
/proc/meminfo: memFree=28300172/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=263196 CPUtime=51.07 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 61877 0 0 0 5086 21 0 0 20 0 1 0 341049129 269512704 63090 33554432000 4194304 7823515 140734023067824 140734023063160 6180642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 65799 63090 523 887 0 64909 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 263196
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21546
/proc/meminfo: memFree=28290360/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=269900 CPUtime=102.28 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 63119 0 0 0 10201 27 0 0 20 0 1 0 341049129 276377600 64682 33554432000 4194304 7823515 140734023067824 140734023063512 6180632 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 67475 64682 523 887 0 66585 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 269900
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 21550
/proc/meminfo: memFree=28272864/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=284144 CPUtime=162.25 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 64532 0 0 0 16193 32 0 0 20 0 1 0 341049129 290963456 68973 33554432000 4194304 7823515 140734023067824 140734023063160 6216465 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 71036 68973 523 887 0 70146 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 284144
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21550
/proc/meminfo: memFree=28245720/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=310848 CPUtime=222.25 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 66475 0 0 0 22188 37 0 0 20 0 1 0 341049129 318308352 75882 33554432000 4194304 7823515 140734023067824 140734023063160 6254106 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 77712 75882 523 887 0 76822 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 310848
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21550
/proc/meminfo: memFree=28239324/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=316376 CPUtime=282.23 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 67888 0 0 0 28182 41 0 0 20 0 1 0 341049129 323969024 77487 33554432000 4194304 7823515 140734023067824 140734023063160 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 79094 77487 523 887 0 78204 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 316376
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21550
/proc/meminfo: memFree=28239324/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=316376 CPUtime=342.23 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 67890 0 0 0 34179 44 0 0 20 0 1 0 341049129 323969024 77489 33554432000 4194304 7823515 140734023067824 140734023063160 6206188 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 79094 77489 523 887 0 78204 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 316376
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21550
/proc/meminfo: memFree=28239704/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=318352 CPUtime=402.21 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 68188 0 0 0 40174 47 0 0 20 0 1 0 341049129 325992448 77676 33554432000 4194304 7823515 140734023067824 140734023063160 6206076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 79588 77676 523 887 0 78698 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 318352
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21552
/proc/meminfo: memFree=28238952/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=318352 CPUtime=462.21 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 68254 0 0 0 46170 51 0 0 20 0 1 0 341049129 325992448 77741 33554432000 4194304 7823515 140734023067824 140734023063624 6211707 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 79588 77741 523 887 0 78698 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 318352
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21552
/proc/meminfo: memFree=28238580/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=318352 CPUtime=522.19 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 68571 0 0 0 52165 54 0 0 20 0 1 0 341049129 325992448 77742 33554432000 4194304 7823515 140734023067824 140734023063576 6211707 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 79588 77742 523 887 0 78698 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 318352
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21552
/proc/meminfo: memFree=28238084/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=318804 CPUtime=582.18 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 68902 0 0 0 58162 56 0 0 20 0 1 0 341049129 326455296 78073 33554432000 4194304 7823515 140734023067824 140734023063160 6211726 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 79701 78073 523 887 0 78811 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 318804
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28217416/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1122.1 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69740 0 0 0 112127 83 0 0 20 0 1 0 341049129 347090944 83220 33554432000 4194304 7823515 140734023067824 140734023063160 5924519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83220 523 887 0 83849 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 338956
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 21579
/proc/meminfo: memFree=28217168/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1182.09 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69740 0 0 0 118123 86 0 0 20 0 1 0 341049129 347090944 83220 33554432000 4194304 7823515 140734023067824 140734023063160 6205493 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83220 523 887 0 83849 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 338956
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 21579
/proc/meminfo: memFree=28216424/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1242.08 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 124118 90 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063160 6267044 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 338956
[startup+1302.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 21579
/proc/meminfo: memFree=28216300/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1302.07 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 130114 93 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063160 6254094 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 338956
[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/180 21583
/proc/meminfo: memFree=28215664/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1362.06 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 136109 97 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063160 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 338956
[startup+1422.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 21583
/proc/meminfo: memFree=28216052/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1422.07 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 142105 102 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063624 6267029 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 338956
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 21583
/proc/meminfo: memFree=28216052/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1482.04 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 148099 105 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063160 6175268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 338956
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 21583
/proc/meminfo: memFree=28216424/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1542.05 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 154095 110 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063576 6206115 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 338956
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 21583
/proc/meminfo: memFree=28216424/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1602.03 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 160090 113 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063160 6212422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 338956
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 21584
/proc/meminfo: memFree=28216424/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1662.02 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 166086 116 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063160 6019534 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 338956
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 21584
/proc/meminfo: memFree=28216424/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1722.01 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 172083 118 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063576 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 338956
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21584
/proc/meminfo: memFree=28216300/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1782 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 178079 121 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063160 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 338956
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21660
/proc/meminfo: memFree=28261824/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1785.3 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 178409 121 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063624 6254589 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1785.3
Current children cumulated vsize (KiB) 338956
[startup+1788.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21736
/proc/meminfo: memFree=28204512/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1788.5 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 178729 121 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063160 6212330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (KiB) 338956
[startup+1790.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21736
/proc/meminfo: memFree=28204512/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1790.1 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 178889 121 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023063160 6151365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1790.1
Current children cumulated vsize (KiB) 338956
[startup+1792.01 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21736
/proc/meminfo: memFree=28204512/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1791.7 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 179049 121 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023062488 6255730 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (KiB) 338956
[startup+1792.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21736
/proc/meminfo: memFree=28204512/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1792.5 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69741 0 0 0 179129 121 0 0 20 0 1 0 341049129 347090944 83221 33554432000 4194304 7823515 140734023067824 140734023062488 6211719 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83221 524 887 0 83849 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (KiB) 338956
[startup+1793.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21736
/proc/meminfo: memFree=28204760/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1792.9 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69751 0 0 0 179169 121 0 0 20 0 1 0 341049129 347090944 83231 33554432000 4194304 7823515 140734023067824 140734023062488 4304269 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83231 534 887 0 83849 0
Current children cumulated CPU time (s) 1792.9
Current children cumulated vsize (KiB) 338956
[startup+1793.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21736
/proc/meminfo: memFree=28204760/32873844 swapFree=7380/7380
[pid=21545] ppid=21543 vsize=338956 CPUtime=1793 cores=1,3,5,7
/proc/21545/stat : 21545 (pbscip.linux.x8) R 21543 21545 21332 0 -1 4202496 69753 0 0 0 179179 121 0 0 20 0 1 0 341049129 347090944 83233 33554432000 4194304 7823515 140734023067824 140734023062488 4244725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21545/statm: 84739 83233 536 887 0 83849 0
Current children cumulated CPU time (s) 1793
Current children cumulated vsize (KiB) 338956
Child status: 0
Real time (s): 1793.39
CPU time (s): 1793.1
CPU user time (s): 1791.88
CPU system time (s): 1.22281
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 338960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.88
system time used= 1.22281
maximum resident set size= 332932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69760
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= 17
involuntary context switches= 1844
runsolver used 7.14991 second user time and 13.017 second system time
The end