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-3742996-1338777680.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.58/0.66 c presolving:
0.78/0.83 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.78/0.88 c (round 2) 4448 del vars, 4378 del conss, 1156 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13720 impls, 503 clqs
0.89/0.94 c (round 3) 5051 del vars, 4981 del conss, 1759 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14752 impls, 503 clqs
1.00/1.00 c (round 4) 5472 del vars, 5402 del conss, 2180 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16372 impls, 503 clqs
1.00/1.06 c (round 5) 5806 del vars, 5736 del conss, 2514 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18070 impls, 503 clqs
1.10/1.11 c (round 6) 6077 del vars, 6007 del conss, 2785 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18746 impls, 503 clqs
1.10/1.16 c (round 7) 6295 del vars, 6225 del conss, 3003 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20392 impls, 503 clqs
1.19/1.21 c (round 8) 6496 del vars, 6426 del conss, 3204 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21316 impls, 503 clqs
1.19/1.26 c (round 9) 6518 del vars, 6448 del conss, 3226 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21902 impls, 503 clqs
1.29/1.30 c (round 10) 6579 del vars, 6509 del conss, 3287 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22600 impls, 503 clqs
93.78/93.81 c (round 11) 6641 del vars, 6575 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34310 upgd conss, 8531474 impls, 503 clqs
93.97/94.05 c (round 12) 6641 del vars, 6636 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34375 upgd conss, 8531570 impls, 503 clqs
388.23/388.32 c (387.9s) probing: 1000/33871 (3.0%) - 58 fixings, 12 aggregations, 1437043 implications, 0 bound changes
566.10/566.25 c (565.8s) probing: 2000/33871 (5.9%) - 59 fixings, 31 aggregations, 3744171 implications, 0 bound changes
832.94/833.13 c (832.7s) probing: 3000/33871 (8.9%) - 63 fixings, 43 aggregations, 6392971 implications, 0 bound changes
939.72/939.90 c (round 13) 6691 del vars, 6636 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34375 upgd conss, 27669564 impls, 503 clqs
940.02/940.25 c (round 14) 6691 del vars, 6686 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34375 upgd conss, 27669564 impls, 503 clqs
1359.16/1359.48 c (1359.0s) probing: 4000/33871 (11.8%) - 64 fixings, 48 aggregations, 8026724 implications, 0 bound changes
1747.70/1748.06 c (1747.6s) probing: 5000/33871 (14.8%) - 65 fixings, 53 aggregations, 11765615 implications, 0 bound changes
1789.79/1790.18 c (1789.7s) probing: 5106/33871 (15.1%) - 65 fixings, 53 aggregations, 12306915 implications, 0 bound changes
1789.79/1790.18 c (1789.7s) probing aborted: solving stopped
1789.79/1790.18 c (round 15) 6698 del vars, 6686 del conss, 3288 chg bounds, 0 chg sides, 0 chg coeffs, 34375 upgd conss, 37507902 impls, 503 clqs
1789.79/1790.18 c presolving (15 rounds):
1789.79/1790.18 c 6698 deleted vars, 6686 deleted constraints, 3288 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.79/1790.18 c 37507902 implications, 503 cliques
1789.79/1790.18 c presolving was interrupted.
1789.79/1790.18 c Presolving Time: 1789.61
1789.79/1790.18 c - non default parameters ----------------------------------------------------------------------
1789.79/1790.18 c # SCIP version 1.2.1.3
1789.79/1790.18 c
1789.79/1790.18 c # frequency for displaying node information lines
1789.79/1790.18 c # [type: int, range: [-1,2147483647], default: 100]
1789.79/1790.18 c display/freq = 10000
1789.79/1790.18 c
1789.79/1790.18 c # maximal time in seconds to run
1789.79/1790.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.79/1790.18 c limits/time = 1789.57
1789.79/1790.18 c
1789.79/1790.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.79/1790.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.79/1790.18 c limits/memory = 13950
1789.79/1790.18 c
1789.79/1790.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.79/1790.18 c # [type: int, range: [1,2], default: 1]
1789.79/1790.18 c timing/clocktype = 2
1789.79/1790.18 c
1789.79/1790.18 c # should presolving try to simplify inequalities
1789.79/1790.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.79/1790.18 c constraints/linear/simplifyinequalities = TRUE
1789.79/1790.18 c
1789.79/1790.18 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.79/1790.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.79/1790.18 c constraints/indicator/addCouplingCons = TRUE
1789.79/1790.18 c
1789.79/1790.18 c # should presolving try to simplify knapsacks
1789.79/1790.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.79/1790.18 c constraints/knapsack/simplifyinequalities = TRUE
1789.79/1790.18 c
1789.79/1790.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.79/1790.18 c # [type: int, range: [-1,2147483647], default: -1]
1789.79/1790.18 c separating/rapidlearning/freq = 0
1789.79/1790.18 c
1789.79/1790.18 c -----------------------------------------------------------------------------------------------
1789.79/1790.18 c start solving
1789.89/1790.20 c presolving:
1789.89/1790.20 c presolving (15 rounds):
1789.89/1790.20 c 6698 deleted vars, 6686 deleted constraints, 3288 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.89/1790.20 c 37507902 implications, 503 cliques
1789.89/1790.20 c presolving was interrupted.
1789.89/1790.20 c Presolving Time: 1789.63
1789.89/1790.20 c
1789.89/1790.20 c SCIP Status : solving was interrupted [time limit reached]
1789.89/1790.20 c Solving Time (sec) : 1789.76
1789.89/1790.20 c Solving Nodes : 0
1789.89/1790.20 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.89/1790.20 s UNKNOWN
1789.89/1790.20 c SCIP Status : solving was interrupted [time limit reached]
1789.89/1790.20 c Solving Time : 1789.76
1789.89/1790.20 c Original Problem :
1789.89/1790.20 c Problem name : HOME/instance-3742996-1338777680.opb
1789.89/1790.20 c Variables : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.89/1790.20 c Constraints : 40950 initial, 40950 maximal
1789.89/1790.20 c Presolved Problem :
1789.89/1790.20 c Problem name : t_HOME/instance-3742996-1338777680.opb
1789.89/1790.20 c Variables : 33753 (33753 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.89/1790.20 c Constraints : 34264 initial, 34264 maximal
1789.89/1790.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.89/1790.20 c trivial : 0.04 123 0 0 0 0 0 0 0
1789.89/1790.20 c dualfix : 0.03 3168 0 0 0 0 0 0 0
1789.89/1790.20 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.89/1790.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.89/1790.20 c implics : 0.04 0 1 0 0 0 0 0 0
1789.89/1790.20 c probing : 1787.07 65 53 0 0 0 0 0 0
1789.89/1790.20 c knapsack : 0.48 0 0 0 0 0 0 0 0
1789.89/1790.20 c setppc : 0.04 0 0 0 0 0 56 0 0
1789.89/1790.20 c linear : 1.60 3288 0 0 3288 0 6575 0 0
1789.89/1790.20 c logicor : 0.13 0 0 0 0 0 55 0 0
1789.89/1790.20 c root node : - 0 - - 0 - - - -
1789.89/1790.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.89/1790.20 c integral : 0 0 0 0 0 0 0 0 0 0
1789.89/1790.20 c knapsack : 0+ 0 62923 0 0 0 0 0 0 0
1789.89/1790.20 c setppc : 0+ 0 62923 0 0 9 0 0 0 0
1789.89/1790.20 c linear : 0+ 0 2736 0 0 0 0 0 0 0
1789.89/1790.20 c logicor : 0+ 0 57057 0 0 3 0 0 0 0
1789.89/1790.20 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.89/1790.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.89/1790.20 c integral : 0.00 0.00 0.00 0.00 0.00
1789.89/1790.20 c knapsack : 1414.81 0.00 1414.81 0.00 0.00
1789.89/1790.20 c setppc : 10.10 0.00 10.10 0.00 0.00
1789.89/1790.20 c linear : 0.33 0.00 0.33 0.00 0.00
1789.89/1790.20 c logicor : 32.90 0.00 32.90 0.00 0.00
1789.89/1790.20 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.89/1790.20 c Propagators : Time Calls Cutoffs DomReds
1789.89/1790.20 c vbounds : 0.05 1 0 0
1789.89/1790.20 c rootredcost : 0.04 0 0 0
1789.89/1790.20 c pseudoobj : 0.04 0 0 0
1789.89/1790.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.89/1790.20 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.89/1790.20 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.89/1790.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.89/1790.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.89/1790.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.89/1790.20 c applied globally : - - - 0 0.0 - - -
1789.89/1790.20 c applied locally : - - - 0 0.0 - - -
1790.09/1790.42 c Time complete: 1790.12.
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-3742996-1338777680/watcher-3742996-1338777680 -o /tmp/evaluation-result-3742996-1338777680/solver-3742996-1338777680 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3742996-1338777680.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: 2.04 2.01 2.00 3/176 20872
/proc/meminfo: memFree=26988312/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=7912 CPUtime=0 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 942 0 0 0 0 0 0 0 20 0 1 0 343893609 8101888 889 33554432000 4194304 8395647 140733347894960 140733347890360 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 1978 897 365 1026 0 948 0
[startup+0.0150099 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 20872
/proc/meminfo: memFree=26988312/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=12772 CPUtime=0 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 2467 0 0 0 0 0 0 0 20 0 1 0 343893609 13078528 2413 33554432000 4194304 8395647 140733347894960 140733347890360 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 3193 2414 387 1026 0 2163 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12772
[startup+0.100274 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 20872
/proc/meminfo: memFree=26988312/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=38268 CPUtime=0.09 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 8833 0 0 0 8 1 0 0 20 0 1 0 343893609 39186432 8774 33554432000 4194304 8395647 140733347894960 140733347890360 7382036 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 9808 8781 394 1026 0 8778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38268
[startup+0.300296 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 20872
/proc/meminfo: memFree=26988312/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=52972 CPUtime=0.29 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 12511 0 0 0 27 2 0 0 20 0 1 0 343893609 54243328 12452 33554432000 4194304 8395647 140733347894960 140733347890360 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 13243 12452 394 1026 0 12213 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52972
[startup+0.700319 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 20872
/proc/meminfo: memFree=26988312/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=133600 CPUtime=0.68 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 32524 0 0 0 63 5 0 0 20 0 1 0 343893609 136806400 32111 33554432000 4194304 8395647 140733347894960 140733347892584 6347101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 33400 32111 471 1026 0 32370 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 133600
[startup+1.50032 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 20873
/proc/meminfo: memFree=26857308/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=140288 CPUtime=1.49 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 35048 0 0 0 143 6 0 0 20 0 1 0 343893609 143654912 33809 33554432000 4194304 8395647 140733347894960 140733347892584 4684092 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 35072 33809 478 1026 0 34042 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140288
[startup+3.10029 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 20873
/proc/meminfo: memFree=26856168/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=216032 CPUtime=3.09 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 53529 0 0 0 300 9 0 0 20 0 1 0 343893609 221216768 52258 33554432000 4194304 8395647 140733347894960 140733347891032 6080665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 54008 52258 498 1026 0 52978 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216032
[startup+6.30033 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 20873
/proc/meminfo: memFree=26715164/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=290304 CPUtime=6.29 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 70803 0 0 0 617 12 0 0 20 0 1 0 343893609 297271296 69532 33554432000 4194304 8395647 140733347894960 140733347890824 6080701 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 72576 69532 498 1026 0 71546 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 290304
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 20873
/proc/meminfo: memFree=26665340/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=337728 CPUtime=12.69 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 82331 0 0 0 1255 14 0 0 20 0 1 0 343893609 345833472 81060 33554432000 4194304 8395647 140733347894960 140733347891032 6080675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 84432 81060 498 1026 0 83402 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 337728
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 20873
/proc/meminfo: memFree=26599420/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=437144 CPUtime=25.49 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 105678 0 0 0 2530 19 0 0 20 0 1 0 343893609 447635456 104407 33554432000 4194304 8395647 140733347894960 140733347890824 4745307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 109286 104407 498 1026 0 108256 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 437144
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20874
/proc/meminfo: memFree=26445628/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=540400 CPUtime=51.08 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 131516 0 0 0 5085 23 0 0 20 0 1 0 343893609 553369600 130245 33554432000 4194304 8395647 140733347894960 140733347890824 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 135100 130245 498 1026 0 134070 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 540400
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20874
/proc/meminfo: memFree=26245784/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=736192 CPUtime=102.28 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 179619 0 0 0 10197 31 0 0 20 0 1 0 343893609 753860608 178348 33554432000 4194304 8395647 140733347894960 140733347890984 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 184048 178348 507 1026 0 183018 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 736192
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 20874
/proc/meminfo: memFree=26183440/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=736920 CPUtime=162.26 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 179816 0 0 0 16195 31 0 0 20 0 1 0 343893609 754606080 178545 33554432000 4194304 8395647 140733347894960 140733347890824 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 184230 178545 507 1026 0 183200 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 736920
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 20874
/proc/meminfo: memFree=26134488/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=738612 CPUtime=222.25 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 180238 0 0 0 22194 31 0 0 20 0 1 0 343893609 756338688 178967 33554432000 4194304 8395647 140733347894960 140733347890824 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 184653 178967 507 1026 0 183623 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 738612
[startup+282.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 20874
/proc/meminfo: memFree=26056148/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=746792 CPUtime=282.24 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 182264 0 0 0 28193 31 0 0 20 0 1 0 343893609 764715008 180993 33554432000 4194304 8395647 140733347894960 140733347890824 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 186698 180993 507 1026 0 185668 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 746792
[startup+342.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 20874
/proc/meminfo: memFree=25959828/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=752924 CPUtime=342.23 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 183886 0 0 0 34192 31 0 0 20 0 1 0 343893609 770994176 182615 33554432000 4194304 8395647 140733347894960 140733347891032 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 188231 182615 507 1026 0 187201 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 752924
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 20875
/proc/meminfo: memFree=25823332/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=840392 CPUtime=402.22 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 205693 0 0 0 40187 35 0 0 20 0 1 0 343893609 860561408 204422 33554432000 4194304 8395647 140733347894960 140733347890824 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 210098 204422 513 1026 0 209068 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 840392
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 20875
/proc/meminfo: memFree=25664020/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=932620 CPUtime=462.21 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 228117 0 0 0 46183 38 0 0 20 0 1 0 343893609 955002880 226846 33554432000 4194304 8395647 140733347894960 140733347891032 4706433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 233155 226846 513 1026 0 232125 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 932620
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 20878
/proc/meminfo: memFree=25571496/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=993176 CPUtime=522.21 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 243285 0 0 0 52180 41 0 0 20 0 1 0 343893609 1017012224 242014 33554432000 4194304 8395647 140733347894960 140733347890824 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 248294 242014 513 1026 0 247264 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 993176
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20878
/proc/meminfo: memFree=25500024/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1063840 CPUtime=582.2 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 261130 0 0 0 58177 43 0 0 20 0 1 0 343893609 1089372160 259859 33554432000 4194304 8395647 140733347894960 140733347891032 4684118 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 265960 259859 513 1026 0 264930 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1063840
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25023848/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1346616 CPUtime=1062.11 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 332228 0 0 0 106155 56 0 0 20 0 1 0 343893609 1378934784 332703 33554432000 4194304 8395647 140733347894960 140733347890824 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 336654 332703 513 1026 0 335624 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1346616
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20883
/proc/meminfo: memFree=24980916/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1346616 CPUtime=1122.1 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 332403 0 0 0 112154 56 0 0 20 0 1 0 343893609 1378934784 333854 33554432000 4194304 8395647 140733347894960 140733347890824 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 336654 333854 513 1026 0 335624 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1346616
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20906
/proc/meminfo: memFree=24962296/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1348568 CPUtime=1182.09 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 332915 0 0 0 118153 56 0 0 20 0 1 0 343893609 1380933632 334551 33554432000 4194304 8395647 140733347894960 140733347891032 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 337142 334551 513 1026 0 336112 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1348568
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 20906
/proc/meminfo: memFree=24947920/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1349536 CPUtime=1242.08 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 333207 0 0 0 124152 56 0 0 20 0 1 0 343893609 1381924864 334871 33554432000 4194304 8395647 140733347894960 140733347891032 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 337384 334871 513 1026 0 336354 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1349536
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20945
/proc/meminfo: memFree=25973568/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1351556 CPUtime=1302.07 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 333643 0 0 0 130151 56 0 0 20 0 1 0 343893609 1383993344 335364 33554432000 4194304 8395647 140733347894960 140733347891032 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 337889 335364 513 1026 0 336859 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1351556
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20945
/proc/meminfo: memFree=25772964/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1369208 CPUtime=1362.06 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 337809 0 0 0 136149 57 0 0 20 0 1 0 343893609 1402068992 339568 33554432000 4194304 8395647 140733347894960 140733347889896 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 342302 339568 513 1026 0 341272 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1369208
[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 20945
/proc/meminfo: memFree=25605468/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1385848 CPUtime=1422.06 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 341657 0 0 0 142148 58 0 0 20 0 1 0 343893609 1419108352 343494 33554432000 4194304 8395647 140733347894960 140733347891032 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 346462 343494 513 1026 0 345432 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1385848
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 20945
/proc/meminfo: memFree=25272184/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1414960 CPUtime=1482.04 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 348743 0 0 0 148144 60 0 0 20 0 1 0 343893609 1448919040 350751 33554432000 4194304 8395647 140733347894960 140733347891032 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 353740 350751 513 1026 0 352710 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1414960
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20945
/proc/meminfo: memFree=24987756/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1445688 CPUtime=1542.03 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 356370 0 0 0 154141 62 0 0 20 0 1 0 343893609 1480384512 359173 33554432000 4194304 8395647 140733347894960 140733347891032 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 361422 359173 513 1026 0 360392 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1445688
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20946
/proc/meminfo: memFree=24874636/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1472484 CPUtime=1602.02 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 363011 0 0 0 160139 63 0 0 20 0 1 0 343893609 1507823616 366660 33554432000 4194304 8395647 140733347894960 140733347891032 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 368121 366660 513 1026 0 367091 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1472484
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20946
/proc/meminfo: memFree=24729976/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1503208 CPUtime=1662.01 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 369647 0 0 0 166137 64 0 0 20 0 1 0 343893609 1539284992 373884 33554432000 4194304 8395647 140733347894960 140733347891032 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 375802 373884 513 1026 0 374772 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1503208
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20949
/proc/meminfo: memFree=24581064/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1534048 CPUtime=1722 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 377351 0 0 0 172134 66 0 0 20 0 1 0 343893609 1570865152 381588 33554432000 4194304 8395647 140733347894960 140733347891032 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 383512 381588 513 1026 0 382482 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1534048
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20949
/proc/meminfo: memFree=24434168/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1562604 CPUtime=1781.99 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 384664 0 0 0 178132 67 0 0 20 0 1 0 343893609 1600106496 388901 33554432000 4194304 8395647 140733347894960 140733347891032 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 390651 388901 513 1026 0 389621 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1562604
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20949
/proc/meminfo: memFree=24433656/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1563572 CPUtime=1785.19 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 384780 0 0 0 178452 67 0 0 20 0 1 0 343893609 1601097728 389017 33554432000 4194304 8395647 140733347894960 140733347891032 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 390893 389017 513 1026 0 389863 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 1563572
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20949
/proc/meminfo: memFree=24430556/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1563572 CPUtime=1788.39 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 384898 0 0 0 178772 67 0 0 20 0 1 0 343893609 1601097728 389135 33554432000 4194304 8395647 140733347894960 140733347890824 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 390893 389135 513 1026 0 389863 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 1563572
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20949
/proc/meminfo: memFree=24430556/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1564528 CPUtime=1789.19 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 384957 0 0 0 178852 67 0 0 20 0 1 0 343893609 1602076672 389194 33554432000 4194304 8395647 140733347894960 140733347890824 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 391132 389194 513 1026 0 390102 0
Current children cumulated CPU time (s) 1789.19
Current children cumulated vsize (KiB) 1564528
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20949
/proc/meminfo: memFree=24429192/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1564528 CPUtime=1789.59 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 384989 0 0 0 178892 67 0 0 20 0 1 0 343893609 1602076672 389226 33554432000 4194304 8395647 140733347894960 140733347891032 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 391132 389226 513 1026 0 390102 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (KiB) 1564528
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20949
/proc/meminfo: memFree=24429192/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=1565552 CPUtime=1789.99 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 385268 0 0 0 178932 67 0 0 20 0 1 0 343893609 1603125248 389505 33554432000 4194304 8395647 140733347894960 140733347891032 6345173 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 391388 389505 520 1026 0 390358 0
Current children cumulated CPU time (s) 1789.99
Current children cumulated vsize (KiB) 1565552
[startup+1790.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20949
/proc/meminfo: memFree=24429192/32873844 swapFree=7632/7632
[pid=20872] ppid=20870 vsize=733856 CPUtime=1790.09 cores=1,3,5,7
/proc/20872/stat : 20872 (pbscip.linux.x8) R 20870 20872 18846 0 -1 4202496 385269 0 0 0 178941 68 0 0 20 0 1 0 343893609 751468544 182699 33554432000 4194304 8395647 140733347894960 140733347891032 6345713 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20872/statm: 183464 182699 521 1026 0 182434 0
Current children cumulated CPU time (s) 1790.09
Current children cumulated vsize (KiB) 733856
Child status: 0
Real time (s): 1790.43
CPU time (s): 1790.13
CPU user time (s): 1789.44
CPU system time (s): 0.695894
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 1565552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.44
system time used= 0.695894
maximum resident set size= 1558020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385282
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= 26
involuntary context switches= 1844
runsolver used 3.90941 second user time and 8.66468 second system time
The end