1.59/1.60 c SCIP version 1.1.0.7
1.59/1.60 c LP-Solver SoPlex 1.4.1
1.59/1.60 c user parameter file <scip.set> not found - using default parameters
1.59/1.60 c read problem <HOME/instance-3740311-1338760025.opb>
1.59/1.60 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256600 constraints
2.08/2.14 c start presolving problem
2.08/2.14 c presolving:
9.68/9.76 c (round 1) 7246 del vars, 21005 del conss, 5909 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17227958 impls, 0 clqs
13.79/13.81 c (round 2) 11790 del vars, 43932 del conss, 10268 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17255270 impls, 0 clqs
15.08/15.15 c (round 3) 14003 del vars, 53164 del conss, 11665 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17269377 impls, 0 clqs
15.89/15.97 c (round 4) 15115 del vars, 57755 del conss, 12435 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17279343 impls, 0 clqs
16.38/16.48 c (round 5) 15846 del vars, 60872 del conss, 12948 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17284291 impls, 0 clqs
16.69/16.77 c (round 6) 16254 del vars, 62654 del conss, 13184 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17286898 impls, 0 clqs
16.89/16.97 c (round 7) 16454 del vars, 63533 del conss, 13309 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17288310 impls, 0 clqs
17.08/17.15 c (round 8) 16577 del vars, 64071 del conss, 13391 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289146 impls, 0 clqs
17.19/17.29 c (round 9) 16651 del vars, 64416 del conss, 13438 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289481 impls, 0 clqs
17.39/17.41 c (round 10) 16689 del vars, 64601 del conss, 13462 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289681 impls, 0 clqs
17.48/17.53 c (round 11) 16717 del vars, 64722 del conss, 13481 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289775 impls, 0 clqs
17.59/17.64 c (round 12) 16727 del vars, 64778 del conss, 13487 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289807 impls, 0 clqs
17.69/17.75 c (round 13) 16733 del vars, 64806 del conss, 13490 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289833 impls, 0 clqs
1255.43/1255.77 c (1251.7s) probing: 1000/56103 (1.8%) - 12 fixings, 1 aggregations, 16340037 implications, 0 bound changes
1795.23/1795.69 c (1791.1s) probing: 1607/56103 (2.9%) - 12 fixings, 1 aggregations, 22941643 implications, 0 bound changes
1795.23/1795.69 c (1791.1s) probing aborted: solving stopped
1795.23/1795.69 c (round 14) 16752 del vars, 64834 del conss, 13493 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 99011931 impls, 0 clqs
1795.23/1795.69 c presolving (14 rounds):
1795.23/1795.69 c 16752 deleted vars, 64834 deleted constraints, 13493 tightened bounds, 0 added holes, 1 changed sides, 18 changed coefficients
1795.23/1795.69 c 99011931 implications, 0 cliques
1795.23/1795.69 c presolving was interrupted.
1795.23/1795.69 c Presolving Time: 1790.73
1795.23/1795.69 c OPT-LIN
1795.23/1795.69 c -----------------------------------------------------------------------------------------------
1795.23/1795.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1795.23/1795.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.23/1795.69 c limits/memory = c 13950
1795.23/1795.69 c # maximal time in seconds to run
1795.23/1795.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.23/1795.69 c limits/time = c 1791
1795.23/1795.69 c # frequency for displaying node information lines
1795.23/1795.69 c # [type: int, range: [-1,2147483647], default: 100]
1795.23/1795.69 c display/freq = c 10000
1795.23/1795.69 c -----------------------------------------------------------------------------------------------
1795.23/1795.69 c start solving problem
1795.23/1795.69 c presolving:
1795.23/1795.69 c presolving (14 rounds):
1795.23/1795.69 c 16752 deleted vars, 64834 deleted constraints, 13493 tightened bounds, 0 added holes, 1 changed sides, 18 changed coefficients
1795.23/1795.69 c 99011931 implications, 0 cliques
1795.23/1795.69 c presolving was interrupted.
1795.23/1795.69 c Presolving Time: 1790.73
1795.23/1795.69 c
1795.23/1795.69 c SCIP Status : solving was interrupted [time limit reached]
1795.23/1795.69 c Solving Time (sec) : 1791.11
1795.23/1795.69 c Solving Nodes : 0
1795.23/1795.69 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.23/1795.69 c NODE 0
1795.23/1795.69 c DUAL BOUND -1e+20
1795.23/1795.69 c PRIMAL BOUND 1e+20
1795.23/1795.69 c GAP 1e+20
1795.23/1795.69 s UNKNOWN
1795.23/1795.69 c SCIP Status : solving was interrupted [time limit reached]
1795.23/1795.69 c Solving Time : 1791.11
1795.23/1795.69 c Original Problem :
1795.23/1795.69 c Problem name : HOME/instance-3740311-1338760025.opb
1795.23/1795.69 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.23/1795.69 c Constraints : 256600 initial, 256600 maximal
1795.23/1795.69 c Presolved Problem :
1795.23/1795.69 c Problem name : t_HOME/instance-3740311-1338760025.opb
1795.23/1795.69 c Variables : 56090 (56090 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.23/1795.69 c Constraints : 191766 initial, 191766 maximal
1795.23/1795.69 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.23/1795.69 c trivial : 0.05 896 0 0 0 0 0 0 0
1795.23/1795.69 c dualfix : 0.09 125 0 0 0 0 0 0 0
1795.23/1795.69 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.23/1795.69 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.23/1795.69 c implics : 0.74 0 0 0 0 0 0 0 0
1795.23/1795.69 c probing : 1775.61 12 1 0 0 0 0 0 0
1795.23/1795.69 c linear : 14.05 12597 3121 0 13493 0 64834 1 18
1795.23/1795.69 c root node : - 0 - - 0 - - - -
1795.23/1795.69 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.23/1795.69 c integral : 0 0 0 0 0 0 0 0 0 0
1795.23/1795.69 c linear : 0+ 0 84033 0 0 6 0 0 0 0
1795.23/1795.69 c countsols : 0 0 0 0 0 0 0 0 0 0
1795.23/1795.69 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.23/1795.69 c integral : 0.00 0.00 0.00 0.00 0.00
1795.23/1795.69 c linear : 786.75 0.00 786.75 0.00 0.00
1795.23/1795.69 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.23/1795.69 c Propagators : Time Calls Cutoffs DomReds
1795.23/1795.69 c rootredcost : 0.05 0 0 0
1795.23/1795.69 c pseudoobj : 0.03 0 0 0
1795.23/1795.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.23/1795.69 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1795.23/1795.69 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1795.23/1795.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.23/1795.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.23/1795.69 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.23/1795.69 c applied globally : - - - 0 0.0 - - -
1795.23/1795.69 c applied locally : - - - 0 0.0 - - -
1796.03/1796.41 c Time complete: 1796.05.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740311-1338760025/watcher-3740311-1338760025 -o /tmp/evaluation-result-3740311-1338760025/solver-3740311-1338760025 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740311-1338760025.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.00 2.01 2.00 3/178 22507
/proc/meminfo: memFree=25086796/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=8876 CPUtime=0 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 1560 0 0 0 0 0 0 0 20 0 1 0 342127299 9089024 1512 33554432000 4194304 7823515 140733898595936 140737400712568 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 2219 1512 354 887 0 1329 0
[startup+0.102029 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22507
/proc/meminfo: memFree=25086796/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=25836 CPUtime=0.09 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 5788 0 0 0 9 0 0 0 20 0 1 0 342127299 26456064 5740 33554432000 4194304 7823515 140733898595936 140737400712568 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 6459 5740 354 887 0 5569 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25836
[startup+0.200365 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22507
/proc/meminfo: memFree=25086796/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=41724 CPUtime=0.19 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 9788 0 0 0 18 1 0 0 20 0 1 0 342127299 42725376 9740 33554432000 4194304 7823515 140733898595936 140737400712568 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 10431 9740 354 887 0 9541 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41724
[startup+0.300351 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22507
/proc/meminfo: memFree=25086796/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=51592 CPUtime=0.29 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 12255 0 0 0 28 1 0 0 20 0 1 0 342127299 52830208 12207 33554432000 4194304 7823515 140733898595936 140737400712568 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 12898 12207 354 887 0 12008 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51592
[startup+0.700276 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22507
/proc/meminfo: memFree=25086796/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=76120 CPUtime=0.69 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 18340 0 0 0 67 2 0 0 20 0 1 0 342127299 77946880 18292 33554432000 4194304 7823515 140733898595936 140733898462040 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 19030 18292 354 887 0 18140 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76120
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 22508
/proc/meminfo: memFree=24978420/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=146568 CPUtime=1.48 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 35953 0 0 0 144 4 0 0 20 0 1 0 342127299 150085632 35905 33554432000 4194304 7823515 140733898595936 140733898462040 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 36642 35905 354 887 0 35752 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 146568
[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 22508
/proc/meminfo: memFree=24727692/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=472184 CPUtime=3.09 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 117053 0 0 0 291 18 0 0 20 0 1 0 342127299 483516416 116651 33554432000 4194304 7823515 140733898595936 140733898592872 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 118046 116651 427 887 0 117156 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 472184
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 22508
/proc/meminfo: memFree=24415816/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=711756 CPUtime=6.29 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 176489 0 0 0 599 30 0 0 20 0 1 0 342127299 728838144 176087 33554432000 4194304 7823515 140733898595936 140733898592872 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 177939 176087 427 887 0 177049 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 711756
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22508
/proc/meminfo: memFree=24193384/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=871860 CPUtime=12.69 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 213922 0 0 0 1222 47 0 0 20 0 1 0 342127299 892784640 213520 33554432000 4194304 7823515 140733898595936 140733898592872 5808246 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 217965 213520 432 887 0 217075 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 871860
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22509
/proc/meminfo: memFree=24070088/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=967640 CPUtime=25.48 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 236599 0 0 0 2458 90 0 0 20 0 1 0 342127299 990863360 236088 33554432000 4194304 7823515 140733898595936 140733898591800 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 241910 236088 440 887 0 241020 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 967640
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22509
/proc/meminfo: memFree=23952008/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=1005228 CPUtime=51.08 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 245607 0 0 0 5016 92 0 0 20 0 1 0 342127299 1029353472 245096 33554432000 4194304 7823515 140733898595936 140733898592632 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 251307 245096 440 887 0 250417 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1005228
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22509
/proc/meminfo: memFree=23739144/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=1063148 CPUtime=102.28 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 260291 0 0 0 10133 95 0 0 20 0 1 0 342127299 1088663552 259780 33554432000 4194304 7823515 140733898595936 140733898591800 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 265787 259780 440 887 0 264897 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1063148
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22509
/proc/meminfo: memFree=23438348/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=1198128 CPUtime=162.27 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 293013 0 0 0 16125 102 0 0 20 0 1 0 342127299 1226883072 292502 33554432000 4194304 7823515 140733898595936 140733898591800 5803127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 299532 292502 440 887 0 298642 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1198128
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22512
/proc/meminfo: memFree=23202088/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=1267656 CPUtime=222.26 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 310925 0 0 0 22121 105 0 0 20 0 1 0 342127299 1298079744 310414 33554432000 4194304 7823515 140733898595936 140733898591800 5020319 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 316914 310414 440 887 0 316024 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1267656
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22512
/proc/meminfo: memFree=22998280/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=1326268 CPUtime=282.25 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 325493 0 0 0 28117 108 0 0 20 0 1 0 342127299 1358098432 324982 33554432000 4194304 7823515 140733898595936 140733898592632 5803096 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 331567 324982 441 887 0 330677 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1326268
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 22513
/proc/meminfo: memFree=22724144/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=1483572 CPUtime=342.24 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 363727 0 0 0 34109 115 0 0 20 0 1 0 342127299 1519177728 363216 33554432000 4194304 7823515 140733898595936 140733898592632 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 370893 363216 441 887 0 370003 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1483572
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 22523
/proc/meminfo: memFree=22353368/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=1618620 CPUtime=402.23 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 397511 0 0 0 40100 123 0 0 20 0 1 0 342127299 1657466880 397000 33554432000 4194304 7823515 140733898595936 140733898591800 5061266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 404655 397000 441 887 0 403765 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1618620
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22523
/proc/meminfo: memFree=22239380/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=1705200 CPUtime=462.22 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 418837 0 0 0 46095 127 0 0 20 0 1 0 342127299 1746124800 418326 33554432000 4194304 7823515 140733898595936 140733898592632 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 426300 418326 441 887 0 425410 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1705200
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22523
/proc/meminfo: memFree=22097548/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=1831744 CPUtime=522.21 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 450486 0 0 0 52087 134 0 0 20 0 1 0 342127299 1875705856 449975 33554432000 4194304 7823515 140733898595936 140733898592632 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 457936 449975 441 887 0 457046 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1831744
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22523
/proc/meminfo: memFree=22022992/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=1922568 CPUtime=582.2 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 473045 0 0 0 58082 138 0 0 20 0 1 0 342127299 1968709632 472534 33554432000 4194304 7823515 140733898595936 140733898592616 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 480642 472534 441 887 0 479752 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1922568
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24483676/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=2889568 CPUtime=1062.07 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 712838 0 0 0 106007 200 0 0 20 0 1 0 342127299 2958917632 712648 33554432000 4194304 7823515 140733898595936 140733898591800 5801585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 722392 712648 441 887 0 721502 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 2889568
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22590
/proc/meminfo: memFree=24233224/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3038760 CPUtime=1122.06 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 750521 0 0 0 111996 210 0 0 20 0 1 0 342127299 3111690240 750329 33554432000 4194304 7823515 140733898595936 140733898591800 5803104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 759690 750329 441 887 0 758800 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 3038760
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22590
/proc/meminfo: memFree=24028404/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3107620 CPUtime=1182.05 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 767591 0 0 0 117989 216 0 0 20 0 1 0 342127299 3182202880 767398 33554432000 4194304 7823515 140733898595936 140733898591992 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 776905 767398 441 887 0 776015 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 3107620
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22591
/proc/meminfo: memFree=23783408/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3167132 CPUtime=1242.04 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 782194 0 0 0 123983 221 0 0 20 0 1 0 342127299 3243143168 782000 33554432000 4194304 7823515 140733898595936 140733898592616 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 791783 782000 441 887 0 790893 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 3167132
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22591
/proc/meminfo: memFree=23531468/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3217328 CPUtime=1302.02 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 795147 0 0 0 129977 225 0 0 20 0 1 0 342127299 3294543872 794952 33554432000 4194304 7823515 140733898595936 140733898592616 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 804332 794952 446 887 0 803442 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 3217328
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 22591
/proc/meminfo: memFree=23259316/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3291064 CPUtime=1362.01 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 813465 0 0 0 135971 230 0 0 20 0 1 0 342127299 3370049536 813308 33554432000 4194304 7823515 140733898595936 140733898592632 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 822766 813308 446 887 0 821876 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 3291064
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 22594
/proc/meminfo: memFree=22997944/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3372012 CPUtime=1422 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 832191 0 0 0 141964 236 0 0 20 0 1 0 342127299 3452940288 832304 33554432000 4194304 7823515 140733898595936 140733898592632 5803616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 843003 832304 446 887 0 842113 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 3372012
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22594
/proc/meminfo: memFree=22727412/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3444376 CPUtime=1481.99 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 850449 0 0 0 147958 241 0 0 20 0 1 0 342127299 3527041024 850681 33554432000 4194304 7823515 140733898595936 140733898591800 5803135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 861094 850681 446 887 0 860204 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 3444376
[startup+1542.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 22595
/proc/meminfo: memFree=22462452/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3516332 CPUtime=1541.98 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 867875 0 0 0 153952 246 0 0 20 0 1 0 342127299 3600723968 868332 33554432000 4194304 7823515 140733898595936 140733898591800 5006392 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 879083 868332 446 887 0 878193 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 3516332
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22595
/proc/meminfo: memFree=22160276/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3559592 CPUtime=1601.97 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 879064 0 0 0 159945 252 0 0 20 0 1 0 342127299 3645022208 879953 33554432000 4194304 7823515 140733898595936 140733898592616 4220002 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 889898 879953 446 887 0 889008 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 3559592
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22595
/proc/meminfo: memFree=22100040/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3605892 CPUtime=1661.95 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 890728 0 0 0 165938 257 0 0 20 0 1 0 342127299 3692433408 891705 33554432000 4194304 7823515 140733898595936 140733898592616 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 901473 891705 446 887 0 900583 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 3605892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22596
/proc/meminfo: memFree=22015420/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3659996 CPUtime=1721.94 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 903744 0 0 0 171932 262 0 0 20 0 1 0 342127299 3747835904 904956 33554432000 4194304 7823515 140733898595936 140733898592616 5803127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 914999 904956 446 887 0 914109 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 3659996
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22596
/proc/meminfo: memFree=21946504/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3726660 CPUtime=1781.93 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 920617 0 0 0 177927 266 0 0 20 0 1 0 342127299 3816099840 922021 33554432000 4194304 7823515 140733898595936 140733898592616 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 931665 922021 446 887 0 930775 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 3726660
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22596
/proc/meminfo: memFree=21943404/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3729676 CPUtime=1785.23 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 921316 0 0 0 178257 266 0 0 20 0 1 0 342127299 3819188224 922720 33554432000 4194304 7823515 140733898595936 140733898592632 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 932419 922720 446 887 0 931529 0
Current children cumulated CPU time (s) 1785.23
Current children cumulated vsize (KiB) 3729676
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22596
/proc/meminfo: memFree=21940040/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3732720 CPUtime=1791.64 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 922337 0 0 0 178897 267 0 0 20 0 1 0 342127299 3822305280 923838 33554432000 4194304 7823515 140733898595936 140733898592616 5803119 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 933180 923838 446 887 0 932290 0
Current children cumulated CPU time (s) 1791.64
Current children cumulated vsize (KiB) 3732720
[startup+1793.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22596
/proc/meminfo: memFree=21938676/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3733712 CPUtime=1793.23 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 922618 0 0 0 179056 267 0 0 20 0 1 0 342127299 3823321088 924119 33554432000 4194304 7823515 140733898595936 140733898592616 5066015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 933428 924119 446 887 0 932538 0
Current children cumulated CPU time (s) 1793.23
Current children cumulated vsize (KiB) 3733712
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22596
/proc/meminfo: memFree=21937064/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3734732 CPUtime=1794.84 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 922830 0 0 0 179217 267 0 0 20 0 1 0 342127299 3824365568 924331 33554432000 4194304 7823515 140733898595936 140733898592616 5020319 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 933683 924331 446 887 0 932793 0
Current children cumulated CPU time (s) 1794.84
Current children cumulated vsize (KiB) 3734732
[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22596
/proc/meminfo: memFree=21937064/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=3733564 CPUtime=1795.63 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 923141 0 0 0 179296 267 0 0 20 0 1 0 342127299 3823169536 924140 33554432000 4194304 7823515 140733898595936 140733898591448 5795936 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 933391 924140 456 887 0 932501 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (KiB) 3733564
[startup+1796.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22596
/proc/meminfo: memFree=24568636/32873844 swapFree=7380/7380
[pid=22507] ppid=22505 vsize=767100 CPUtime=1796.03 cores=1,3,5,7
/proc/22507/stat : 22507 (pbscip.linux.x8) R 22505 22507 21332 0 -1 4202496 923143 0 0 0 179319 284 0 0 20 0 1 0 342127299 785510400 190959 33554432000 4194304 7823515 140733898595936 140733898591448 4813440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22507/statm: 191775 190959 458 887 0 190885 0
Current children cumulated CPU time (s) 1796.03
Current children cumulated vsize (KiB) 767100
Child status: 0
Real time (s): 1796.42
CPU time (s): 1796.06
CPU user time (s): 1793.21
CPU system time (s): 2.85257
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 3735756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.21
system time used= 2.85257
maximum resident set size= 3698568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 923158
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= 116
involuntary context switches= 1835
runsolver used 2.87556 second user time and 9.07762 second system time
The end