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-3744101-1338801333.opb>
7.08/7.11 c original problem has 370300 variables (370300 bin, 0 int, 0 impl, 0 cont) and 847958 constraints
7.08/7.11 c problem read
7.08/7.12 c presolving settings loaded
9.69/9.78 c presolving:
13.29/13.31 c (round 1) 11275 del vars, 7354 del conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 0 upgd conss, 1190800 impls, 1 clqs
20.99/21.10 c (round 2) 11275 del vars, 8579 del conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 1190800 impls, 1 clqs
245.25/245.31 c (238.2s) probing: 1000/359025 (0.3%) - 0 fixings, 0 aggregations, 357821 implications, 0 bound changes
442.02/442.13 c (435.0s) probing: 2000/359025 (0.6%) - 0 fixings, 0 aggregations, 414549 implications, 0 bound changes
442.22/442.34 c (435.2s) probing: 2001/359025 (0.6%) - 0 fixings, 0 aggregations, 414586 implications, 0 bound changes
442.22/442.34 c (435.2s) probing aborted: 2000/2000 successive useless probings
442.22/442.37 c presolving (3 rounds):
442.22/442.37 c 11275 deleted vars, 8579 deleted constraints, 200 tightened bounds, 0 added holes, 1225 changed sides, 84525 changed coefficients
442.22/442.37 c 68723684 implications, 1 cliques
442.22/442.37 c presolved problem has 359025 variables (359025 bin, 0 int, 0 impl, 0 cont) and 839379 constraints
442.22/442.37 c 241475 constraints of type <knapsack>
442.22/442.37 c 356526 constraints of type <setppc>
442.22/442.37 c 3 constraints of type <linear>
442.22/442.37 c 241375 constraints of type <logicor>
442.22/442.37 c transformed objective value is always integral (scale: 1)
442.22/442.37 c Presolving Time: 433.52
442.22/442.37 c - non default parameters ----------------------------------------------------------------------
442.22/442.37 c # SCIP version 1.2.1.3
442.22/442.37 c
442.22/442.37 c # frequency for displaying node information lines
442.22/442.37 c # [type: int, range: [-1,2147483647], default: 100]
442.22/442.37 c display/freq = 10000
442.22/442.37 c
442.22/442.37 c # maximal time in seconds to run
442.22/442.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
442.22/442.37 c limits/time = 1782.89
442.22/442.37 c
442.22/442.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
442.22/442.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
442.22/442.37 c limits/memory = 13950
442.22/442.37 c
442.22/442.37 c # default clock type (1: CPU user seconds, 2: wall clock time)
442.22/442.37 c # [type: int, range: [1,2], default: 1]
442.22/442.37 c timing/clocktype = 2
442.22/442.37 c
442.22/442.37 c # should presolving try to simplify inequalities
442.22/442.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
442.22/442.37 c constraints/linear/simplifyinequalities = TRUE
442.22/442.37 c
442.22/442.37 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
442.22/442.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
442.22/442.37 c constraints/indicator/addCouplingCons = TRUE
442.22/442.37 c
442.22/442.37 c # should presolving try to simplify knapsacks
442.22/442.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
442.22/442.37 c constraints/knapsack/simplifyinequalities = TRUE
442.22/442.37 c
442.22/442.37 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
442.22/442.37 c # [type: int, range: [-1,2147483647], default: -1]
442.22/442.37 c separating/rapidlearning/freq = 0
442.22/442.37 c
442.22/442.37 c -----------------------------------------------------------------------------------------------
442.22/442.37 c start solving
442.42/442.52 c
568.50/568.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.50/568.68 c 562s| 1 | 0 | 6122 | - |3906M| 0 | 753 | 359k| 839k| 359k| 839k| 0 | 0 | 0 | 6.756509e+05 | -- | Inf
1800.00/1800.31 c pressed CTRL-C 1 times (5 times for forcing termination)
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-3744101-1338801333/watcher-3744101-1338801333 -o /tmp/evaluation-result-3744101-1338801333/solver-3744101-1338801333 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744101-1338801333.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.78 1.95 1.98 3/178 29718
/proc/meminfo: memFree=28718028/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 1 0 346258155 8105984 1196 33554432000 4194304 8395647 140734401732432 140734241732568 7385025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1979 1196 370 1026 0 949 0
[startup+0.0689249 s]
/proc/loadavg: 1.78 1.95 1.98 3/178 29718
/proc/meminfo: memFree=28718028/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=35100 CPUtime=0.06 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 8033 0 0 0 5 1 0 0 20 0 1 0 346258155 35942400 7973 33554432000 4194304 8395647 140734401732432 140734401664264 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 8921 7976 387 1026 0 7891 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 35100
[startup+0.100374 s]
/proc/loadavg: 1.78 1.95 1.98 3/178 29718
/proc/meminfo: memFree=28718028/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=47336 CPUtime=0.09 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 10920 0 0 0 8 1 0 0 20 0 1 0 346258155 48472064 10861 33554432000 4194304 8395647 140734401732432 140734401664264 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 11834 10897 387 1026 0 10804 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47336
[startup+0.3003 s]
/proc/loadavg: 1.78 1.95 1.98 3/178 29718
/proc/meminfo: memFree=28718028/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=108120 CPUtime=0.29 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 25488 0 0 0 25 4 0 0 20 0 1 0 346258155 110714880 25428 33554432000 4194304 8395647 140734401732432 140734401597640 4730225 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 27030 25428 394 1026 0 26000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108120
[startup+1.25368 s]
/proc/loadavg: 1.78 1.95 1.98 3/178 29718
/proc/meminfo: memFree=28718028/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=230232 CPUtime=1.25 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 55989 0 0 0 116 9 0 0 20 0 1 0 346258155 235757568 55929 33554432000 4194304 8395647 140734401732432 140734401597640 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 57558 55929 394 1026 0 56528 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 230232
[startup+1.50027 s]
/proc/loadavg: 1.78 1.95 1.98 3/178 29718
/proc/meminfo: memFree=28718028/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=246364 CPUtime=1.49 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 60083 0 0 0 140 9 0 0 20 0 1 0 346258155 252276736 60023 33554432000 4194304 8395647 140734401732432 140734401597640 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 61591 60023 394 1026 0 60561 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 246364
[startup+3.1003 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 29719
/proc/meminfo: memFree=28095948/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=320776 CPUtime=3.08 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 78588 0 0 0 296 12 0 0 20 0 1 0 346258155 328474624 78528 33554432000 4194304 8395647 140734401732432 140734401597304 7277219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 80194 78528 394 1026 0 79164 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 320776
[startup+6.30704 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 29719
/proc/meminfo: memFree=27610684/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=547412 CPUtime=6.3 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 135235 0 0 0 609 21 0 0 20 0 1 0 346258155 560549888 135175 33554432000 4194304 8395647 140734401732432 140734401597640 4423932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 136853 135175 394 1026 0 135823 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 547412
[startup+12.7003 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 29719
/proc/meminfo: memFree=26572776/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=1621952 CPUtime=12.69 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 398180 0 0 0 1207 62 0 0 20 0 1 0 346258155 1660878848 400321 33554432000 4194304 8395647 140734401732432 140734401729048 18446744073699066235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 405488 400321 475 1026 0 404458 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1621952
[startup+25.5003 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 29719
/proc/meminfo: memFree=25914528/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=2208112 CPUtime=25.48 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 541474 0 0 0 2465 83 0 0 20 0 1 0 346258155 2261106688 543675 33554432000 4194304 8395647 140734401732432 140734401727720 4684131 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 552028 543675 495 1026 0 550998 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2208112
[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 29719
/proc/meminfo: memFree=24536716/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=3406820 CPUtime=51.08 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 841164 0 0 0 4980 128 0 0 20 0 1 0 346258155 3488583680 843365 33554432000 4194304 8395647 140734401732432 140734401727896 6080679 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 851705 843365 495 1026 0 850675 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3406820
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29719
/proc/meminfo: memFree=23633720/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=4017036 CPUtime=102.27 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 988468 0 0 0 10076 151 0 0 20 0 1 0 346258155 4113444864 996743 33554432000 4194304 8395647 140734401732432 140734401728616 4910721 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1004259 996743 507 1026 0 1003229 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 4017036
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29719
/proc/meminfo: memFree=23623220/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=4042616 CPUtime=162.26 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 994780 0 0 0 16074 152 0 0 20 0 1 0 346258155 4139638784 1003055 33554432000 4194304 8395647 140734401732432 140734401728216 5604422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1010654 1003055 507 1026 0 1009624 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 4042616
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29720
/proc/meminfo: memFree=23511644/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=4063076 CPUtime=222.26 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 999940 0 0 0 22073 153 0 0 20 0 1 0 346258155 4160589824 1008215 33554432000 4194304 8395647 140734401732432 140734401728216 4910737 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1015769 1008215 507 1026 0 1014739 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 4063076
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29723
/proc/meminfo: memFree=23489224/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=4075352 CPUtime=282.26 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1003053 0 0 0 28072 154 0 0 20 0 1 0 346258155 4173160448 1011328 33554432000 4194304 8395647 140734401732432 140734401728616 5604533 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1018838 1011328 513 1026 0 1017808 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 4075352
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29723
/proc/meminfo: memFree=23485292/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=4079448 CPUtime=342.24 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1004096 0 0 0 34070 154 0 0 20 0 1 0 346258155 4177354752 1012371 33554432000 4194304 8395647 140734401732432 140734401728296 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1019862 1012371 513 1026 0 1018832 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 4079448
[startup+402.307 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 29723
/proc/meminfo: memFree=23388044/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=4167492 CPUtime=402.23 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1026107 0 0 0 40066 157 0 0 20 0 1 0 346258155 4267511808 1034382 33554432000 4194304 8395647 140734401732432 140734401728296 5210648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1041873 1034382 513 1026 0 1040843 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 4167492
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29723
/proc/meminfo: memFree=22344664/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5305136 CPUtime=462.22 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1166314 0 0 0 46029 193 0 0 20 0 1 0 346258155 5432459264 1293555 33554432000 4194304 8395647 140734401732432 140734401727896 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1326284 1293555 583 1026 0 1325254 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 5305136
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29724
/proc/meminfo: memFree=22303228/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5344616 CPUtime=522.21 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1172232 0 0 0 52015 206 0 0 20 0 1 0 346258155 5472886784 1304679 33554432000 4194304 8395647 140734401732432 140734401727992 6636391 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1336154 1304679 583 1026 0 1335124 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 5344616
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29724
/proc/meminfo: memFree=22243440/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5399964 CPUtime=582.2 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1175716 0 0 0 58000 220 0 0 20 0 1 0 346258155 5529563136 1317883 33554432000 4194304 8395647 140734401732432 140734401726952 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1349991 1317883 589 1026 0 1348961 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 5399964
[startup+642.3 s]
################
# More data... #
################
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1190811 0 0 0 111932 278 0 0 20 0 1 0 346258155 5610442752 1337039 33554432000 4194304 8395647 140734401732432 140734401726952 6708388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1369737 1337039 589 1026 0 1368707 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 5478948
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29729
/proc/meminfo: memFree=22153200/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5478476 CPUtime=1182.09 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1191454 0 0 0 117928 281 0 0 20 0 1 0 346258155 5609959424 1330845 33554432000 4194304 8395647 140734401732432 140734401726952 6697246 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1369619 1330845 589 1026 0 1368589 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 5478476
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29729
/proc/meminfo: memFree=22181152/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5447244 CPUtime=1242.08 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1192690 0 0 0 123923 285 0 0 20 0 1 0 346258155 5577977856 1323859 33554432000 4194304 8395647 140734401732432 140734401726952 6697359 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1361811 1323859 589 1026 0 1360781 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 5447244
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29729
/proc/meminfo: memFree=22180932/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5450084 CPUtime=1302.07 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1194370 0 0 0 129915 292 0 0 20 0 1 0 346258155 5580886016 1323869 33554432000 4194304 8395647 140734401732432 140734401727000 6708231 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1362521 1323869 589 1026 0 1361491 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 5450084
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 29729
/proc/meminfo: memFree=22242064/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5363112 CPUtime=1362.06 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1197657 0 0 0 135909 297 0 0 20 0 1 0 346258155 5491826688 1308642 33554432000 4194304 8395647 140734401732432 140734401727624 7385927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1340778 1308642 603 1026 0 1339748 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 5363112
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29730
/proc/meminfo: memFree=22241968/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5363112 CPUtime=1422.05 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1197658 0 0 0 141906 299 0 0 20 0 1 0 346258155 5491826688 1308755 33554432000 4194304 8395647 140734401732432 140734401727624 6440503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1340778 1308755 603 1026 0 1339748 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 5363112
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29733
/proc/meminfo: memFree=22238888/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5363112 CPUtime=1482.04 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1197658 0 0 0 147902 302 0 0 20 0 1 0 346258155 5491826688 1309454 33554432000 4194304 8395647 140734401732432 140734401727672 6197309 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1340778 1309454 603 1026 0 1339748 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 5363112
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29733
/proc/meminfo: memFree=22238800/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5363112 CPUtime=1542.03 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1197766 0 0 0 153899 304 0 0 20 0 1 0 346258155 5491826688 1309562 33554432000 4194304 8395647 140734401732432 140734401727720 5827855 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1340778 1309562 606 1026 0 1339748 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 5363112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29733
/proc/meminfo: memFree=22236348/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5363112 CPUtime=1602.03 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1197766 0 0 0 159899 304 0 0 20 0 1 0 346258155 5491826688 1309562 33554432000 4194304 8395647 140734401732432 140734401727720 5827869 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1340778 1309562 606 1026 0 1339748 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 5363112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29733
/proc/meminfo: memFree=22229984/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5376740 CPUtime=1662.01 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1197813 0 0 0 165897 304 0 0 20 0 1 0 346258155 5505781760 1311142 33554432000 4194304 8395647 140734401732432 140734401726840 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1344185 1311142 606 1026 0 1343155 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 5376740
[startup+1722.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29734
/proc/meminfo: memFree=22221948/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5384024 CPUtime=1722.01 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1198292 0 0 0 171897 304 0 0 20 0 1 0 346258155 5513240576 1312447 33554432000 4194304 8395647 140734401732432 140734401727960 5849658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1346006 1312447 608 1026 0 1344976 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 5384024
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29734
/proc/meminfo: memFree=22221356/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5384024 CPUtime=1781.99 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1198292 0 0 0 177895 304 0 0 20 0 1 0 346258155 5513240576 1312447 33554432000 4194304 8395647 140734401732432 140734401727960 5849640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1346006 1312447 608 1026 0 1344976 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 5384024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29772
/proc/meminfo: memFree=22427740/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5384024 CPUtime=1800 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1198292 0 0 0 179696 304 0 0 20 0 1 0 346258155 5513240576 1312447 33554432000 4194304 8395647 140734401732432 140734401727960 5849640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1346006 1312447 608 1026 0 1344976 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 5384024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -29718
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29772
/proc/meminfo: memFree=22427740/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5384024 CPUtime=1800.29 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1198292 0 0 0 179725 304 0 0 20 0 1 0 346258155 5513240576 1312447 33554432000 4194304 8395647 140734401732432 140734401727960 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1346006 1312447 608 1026 0 1344976 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 5384024
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29773
/proc/meminfo: memFree=22419980/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5384024 CPUtime=1801.1 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1198292 0 0 0 179806 304 0 0 20 0 1 0 346258155 5513240576 1312447 33554432000 4194304 8395647 140734401732432 140734401727360 5849640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1346006 1312447 608 1026 0 1344976 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 5384024
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29773
/proc/meminfo: memFree=22419980/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=5384024 CPUtime=1801.89 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4202496 1198292 0 0 0 179885 304 0 0 20 0 1 0 346258155 5513240576 1312447 33554432000 4194304 8395647 140734401732432 140734401727360 5849658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 1346006 1312447 608 1026 0 1344976 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 5384024
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29773
/proc/meminfo: memFree=22419980/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=0 CPUtime=1802.09 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4203524 1198292 0 0 0 179896 313 0 0 20 0 1 0 346258155 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 0
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29773
/proc/meminfo: memFree=27411760/32873844 swapFree=7620/7620
[pid=29718] ppid=29716 vsize=0 CPUtime=1802.2 cores=1,3,5,7
/proc/29718/stat : 29718 (pbscip.linux.x8) R 29716 29718 27119 0 -1 4203524 1198292 0 0 0 179896 324 0 0 20 0 1 0 346258155 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29718/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.2
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.22
CPU user time (s): 1798.97
CPU system time (s): 3.2555
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 5577112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 3.2555
maximum resident set size= 5409864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1198292
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= 23
involuntary context switches= 1857
runsolver used 3.10953 second user time and 8.60569 second system time
The end