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-3743458-1338784160.opb>
4.69/4.76 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
4.69/4.76 c problem read
4.69/4.76 c presolving settings loaded
6.99/7.09 c presolving:
11.00/11.06 c (round 1) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
12.38/12.40 c (round 2) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
164.84/164.96 c (round 3) 676 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17190162 impls, 1977 clqs
165.33/165.43 c (round 4) 676 del vars, 2653 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17195504 impls, 1977 clqs
165.83/165.98 c presolving (5 rounds):
165.83/165.98 c 676 deleted vars, 2653 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
165.83/165.98 c 17195504 implications, 1977 cliques
165.83/165.98 c presolved problem has 400220 variables (400220 bin, 0 int, 0 impl, 0 cont) and 400110 constraints
165.83/165.98 c 1 constraints of type <knapsack>
165.83/165.98 c 26425 constraints of type <setppc>
165.83/165.98 c 373684 constraints of type <logicor>
165.83/165.98 c transformed objective value is always integral (scale: 1)
165.83/165.98 c Presolving Time: 159.84
165.83/165.98 c - non default parameters ----------------------------------------------------------------------
165.83/165.98 c # SCIP version 1.2.1.3
165.83/165.98 c
165.83/165.98 c # frequency for displaying node information lines
165.83/165.98 c # [type: int, range: [-1,2147483647], default: 100]
165.83/165.98 c display/freq = 10000
165.83/165.98 c
165.83/165.98 c # maximal time in seconds to run
165.83/165.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
165.83/165.98 c limits/time = 1785.24
165.83/165.98 c
165.83/165.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
165.83/165.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
165.83/165.98 c limits/memory = 13950
165.83/165.98 c
165.83/165.98 c # default clock type (1: CPU user seconds, 2: wall clock time)
165.83/165.98 c # [type: int, range: [1,2], default: 1]
165.83/165.98 c timing/clocktype = 2
165.83/165.98 c
165.83/165.98 c # should presolving try to simplify inequalities
165.83/165.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
165.83/165.98 c constraints/linear/simplifyinequalities = TRUE
165.83/165.98 c
165.83/165.98 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
165.83/165.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
165.83/165.98 c constraints/indicator/addCouplingCons = TRUE
165.83/165.98 c
165.83/165.98 c # should presolving try to simplify knapsacks
165.83/165.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
165.83/165.98 c constraints/knapsack/simplifyinequalities = TRUE
165.83/165.98 c
165.83/165.98 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
165.83/165.98 c # [type: int, range: [-1,2147483647], default: -1]
165.83/165.98 c separating/rapidlearning/freq = 0
165.83/165.98 c
165.83/165.98 c -----------------------------------------------------------------------------------------------
165.83/165.98 c start solving
166.05/166.14 c
195.12/195.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.12/195.23 c 190s| 1 | 0 | 5423 | - |2181M| 0 | 706 | 400k| 400k| 400k| 400k| 0 | 0 | 0 |-8.320000e+02 | -- | Inf
450.08/450.24 c 445s| 1 | 0 | 14285 | - |2188M| 0 | 926 | 400k| 400k| 400k| 400k| 5 | 0 | 0 |-8.320000e+02 | -- | Inf
701.85/702.04 c 697s| 1 | 0 | 17486 | - |2193M| 0 | 889 | 400k| 400k| 400k| 400k| 19 | 0 | 0 |-8.313263e+02 | -- | Inf
841.13/841.39 c 837s| 1 | 0 | 17894 | - |2194M| 0 |1433 | 400k| 400k| 400k| 400k| 23 | 0 | 0 |-8.313191e+02 | -- | Inf
980.51/980.74 c 976s| 1 | 0 | 17914 | - |2194M| 0 |1502 | 400k| 400k| 400k| 400k| 24 | 0 | 0 |-8.306383e+02 | -- | Inf
1122.48/1122.77 c 1118s| 1 | 0 | 17927 | - |2194M| 0 |1445 | 400k| 400k| 400k| 400k| 26 | 0 | 0 |-8.306383e+02 | -- | Inf
1259.16/1259.47 c 1255s| 1 | 0 | 17974 | - |2194M| 0 |1425 | 400k| 400k| 400k| 400k| 27 | 0 | 0 |-8.306383e+02 | -- | Inf
1397.14/1397.43 c 1393s| 1 | 0 | 18059 | - |2196M| 0 |1168 | 400k| 400k| 400k| 400k| 29 | 0 | 0 |-8.306383e+02 | -- | Inf
1528.63/1528.92 c 1524s| 1 | 0 | 18178 | - |2196M| 0 | 968 | 400k| 400k| 400k| 400k| 31 | 0 | 0 |-8.306383e+02 | -- | Inf
1676.69/1677.00 c 1672s| 1 | 0 | 19723 | - |2196M| 0 |1415 | 400k| 400k| 400k| 400k| 34 | 0 | 0 |-8.298422e+02 | -- | Inf
1800.08/1800.40 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-3743458-1338784160/watcher-3743458-1338784160 -o /tmp/evaluation-result-3743458-1338784160/solver-3743458-1338784160 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743458-1338784160.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.00 1.91 3/176 2350
/proc/meminfo: memFree=25408652/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 1365 0 0 0 0 0 0 0 20 0 1 0 344544706 9158656 1311 33554432000 4194304 8395647 140735562444192 140735562439592 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 2236 1319 374 1026 0 1206 0
[startup+0.0300209 s]
/proc/loadavg: 2.04 2.00 1.91 3/176 2350
/proc/meminfo: memFree=25408652/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=18120 CPUtime=0.02 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 3790 0 0 0 2 0 0 0 20 0 1 0 344544706 18554880 3736 33554432000 4194304 8395647 140735562444192 140735562439592 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 4530 3736 393 1026 0 3500 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18120
[startup+0.100347 s]
/proc/loadavg: 2.04 2.00 1.91 3/176 2350
/proc/meminfo: memFree=25408652/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=29784 CPUtime=0.09 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 6684 0 0 0 8 1 0 0 20 0 1 0 344544706 30498816 6630 33554432000 4194304 8395647 140735562444192 140735562439592 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 7446 6630 393 1026 0 6416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29784
[startup+0.300325 s]
/proc/loadavg: 2.04 2.00 1.91 3/176 2350
/proc/meminfo: memFree=25408652/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=53756 CPUtime=0.29 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 12665 0 0 0 27 2 0 0 20 0 1 0 344544706 55046144 12611 33554432000 4194304 8395647 140735562444192 140735562439592 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 13439 12612 393 1026 0 12409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53756
[startup+0.700299 s]
/proc/loadavg: 2.04 2.00 1.91 3/176 2350
/proc/meminfo: memFree=25408652/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=87552 CPUtime=0.68 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 21091 0 0 0 65 3 0 0 20 0 1 0 344544706 89653248 21037 33554432000 4194304 8395647 140735562444192 140735562309400 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 21888 21037 393 1026 0 20858 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 87552
[startup+1.50031 s]
/proc/loadavg: 2.04 2.00 1.91 3/177 2351
/proc/meminfo: memFree=25290340/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=184104 CPUtime=1.49 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 45266 0 0 0 142 7 0 0 20 0 1 0 344544706 188522496 45212 33554432000 4194304 8395647 140735562444192 140735562309400 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 46026 45212 393 1026 0 44996 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 184104
[startup+3.10036 s]
/proc/loadavg: 2.12 2.02 1.91 3/177 2351
/proc/meminfo: memFree=25206068/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=371624 CPUtime=3.09 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 91932 0 0 0 294 15 0 0 20 0 1 0 344544706 380542976 91878 33554432000 4194304 8395647 140735562444192 140735562309400 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 92906 91878 393 1026 0 91876 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 371624
[startup+6.30037 s]
/proc/loadavg: 2.12 2.02 1.91 2/175 2351
/proc/meminfo: memFree=27477444/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=1084960 CPUtime=6.29 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 269540 0 0 0 586 43 0 0 20 0 1 0 344544706 1110999040 270115 33554432000 4194304 8395647 140735562444192 140735562440424 4601776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 271240 270115 431 1026 0 270210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1084960
[startup+12.7004 s]
/proc/loadavg: 2.10 2.02 1.91 3/177 2389
/proc/meminfo: memFree=26534048/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=1548344 CPUtime=12.68 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 383973 0 0 0 1208 60 0 0 20 0 1 0 344544706 1585504256 384214 33554432000 4194304 8395647 140735562444192 140735562439992 18446744073699066235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 387086 384214 487 1026 0 386056 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1548344
[startup+25.5004 s]
/proc/loadavg: 2.08 2.01 1.91 3/177 2389
/proc/meminfo: memFree=26436776/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=1554240 CPUtime=25.49 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 385418 0 0 0 2487 62 0 0 20 0 1 0 344544706 1591541760 385775 33554432000 4194304 8395647 140735562444192 140735562441336 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 388560 385775 501 1026 0 387530 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1554240
[startup+51.1005 s]
/proc/loadavg: 2.13 2.03 1.92 3/178 2392
/proc/meminfo: memFree=26220548/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=1644208 CPUtime=51.06 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 407391 0 0 0 5041 65 0 0 20 0 1 0 344544706 1683668992 407770 33554432000 4194304 8395647 140735562444192 140735562440344 4705184 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 411052 407770 501 1026 0 410022 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1644208
[startup+102.307 s]
/proc/loadavg: 2.09 2.04 1.93 3/177 2392
/proc/meminfo: memFree=25814416/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=1856108 CPUtime=102.25 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 459425 0 0 0 10151 74 0 0 20 0 1 0 344544706 1900654592 459799 33554432000 4194304 8395647 140735562444192 140735562440264 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 464027 459799 501 1026 0 462997 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1856108
[startup+162.3 s]
/proc/loadavg: 2.11 2.04 1.93 3/177 2392
/proc/meminfo: memFree=25542016/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=2136416 CPUtime=162.24 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 527465 0 0 0 16139 85 0 0 20 0 1 0 344544706 2187689984 527837 33554432000 4194304 8395647 140735562444192 140735562440264 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 534104 527837 501 1026 0 533074 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 2136416
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 1.93 3/176 2392
/proc/meminfo: memFree=24867308/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=2874784 CPUtime=222.22 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 658606 0 0 0 22096 126 0 0 20 0 1 0 344544706 2943778816 695473 33554432000 4194304 8395647 140735562444192 140735562439016 6635121 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 718696 695473 585 1026 0 717666 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 2874784
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/177 2393
/proc/meminfo: memFree=24823968/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=2911860 CPUtime=282.22 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 665843 0 0 0 28080 142 0 0 20 0 1 0 344544706 2981744640 704074 33554432000 4194304 8395647 140735562444192 140735562438712 7382157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 727965 704074 585 1026 0 726935 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 2911860
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/177 2393
/proc/meminfo: memFree=24858052/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=2866252 CPUtime=342.21 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 666193 0 0 0 34075 146 0 0 20 0 1 0 344544706 2935042048 693777 33554432000 4194304 8395647 140735562444192 140735562439480 5827855 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 716563 693777 603 1026 0 715533 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 2866252
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 2393
/proc/meminfo: memFree=24736060/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=2889160 CPUtime=402.2 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 668510 0 0 0 40074 146 0 0 20 0 1 0 344544706 2958499840 698003 33554432000 4194304 8395647 140735562444192 140735562439720 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 722290 698003 605 1026 0 721260 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 2889160
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 2393
/proc/meminfo: memFree=24510084/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3030964 CPUtime=462.18 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 686701 0 0 0 46063 155 0 0 20 0 1 0 344544706 3103707136 732406 33554432000 4194304 8395647 140735562444192 140735562439432 5863243 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 757741 732406 621 1026 0 756711 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 3030964
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2393
/proc/meminfo: memFree=24450840/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3030964 CPUtime=522.18 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 686755 0 0 0 52060 158 0 0 20 0 1 0 344544706 3103707136 732459 33554432000 4194304 8395647 140735562444192 140735562439480 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 757741 732459 621 1026 0 756711 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 3030964
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2394
/proc/meminfo: memFree=24388000/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3030964 CPUtime=582.17 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 686963 0 0 0 58058 159 0 0 20 0 1 0 344544706 3103707136 732667 33554432000 4194304 8395647 140735562444192 140735562439480 5823712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 757741 732667 621 1026 0 756711 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 3030964
[startup+642.3 s]
################
# More data... #
################
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 699914 0 0 0 100032 178 0 0 20 0 1 0 344544706 3207712768 761868 33554432000 4194304 8395647 140735562444192 140735562439480 5827844 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 783133 761868 621 1026 0 782103 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 3132532
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/177 2398
/proc/meminfo: memFree=24016648/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3132532 CPUtime=1062.09 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 699914 0 0 0 106031 178 0 0 20 0 1 0 344544706 3207712768 762846 33554432000 4194304 8395647 140735562444192 140735562439480 5849640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 783133 762846 621 1026 0 782103 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 3132532
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 2398
/proc/meminfo: memFree=24011344/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3110764 CPUtime=1122.08 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 700056 0 0 0 112030 178 0 0 20 0 1 0 344544706 3185422336 757903 33554432000 4194304 8395647 140735562444192 140735562439480 6669661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 777691 757903 621 1026 0 776661 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 3110764
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 2399
/proc/meminfo: memFree=24030872/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3110764 CPUtime=1182.07 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 700431 0 0 0 118028 179 0 0 20 0 1 0 344544706 3185422336 758035 33554432000 4194304 8395647 140735562444192 140735562439480 5827831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 777691 758035 621 1026 0 776661 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 3110764
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2402
/proc/meminfo: memFree=24021096/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3110764 CPUtime=1242.06 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 700431 0 0 0 124027 179 0 0 20 0 1 0 344544706 3185422336 758086 33554432000 4194304 8395647 140735562444192 140735562439480 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 777691 758086 621 1026 0 776661 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 3110764
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2402
/proc/meminfo: memFree=23997388/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3126392 CPUtime=1302.06 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 701996 0 0 0 130025 181 0 0 20 0 1 0 344544706 3201425408 762459 33554432000 4194304 8395647 140735562444192 140735562439480 5827855 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 781598 762459 621 1026 0 780568 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 3126392
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2402
/proc/meminfo: memFree=23977360/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3126392 CPUtime=1362.05 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 701996 0 0 0 136024 181 0 0 20 0 1 0 344544706 3201425408 764501 33554432000 4194304 8395647 140735562444192 140735562439480 5849682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 781598 764501 621 1026 0 780568 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 3126392
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2402
/proc/meminfo: memFree=23938604/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3146044 CPUtime=1422.05 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 703082 0 0 0 142022 183 0 0 20 0 1 0 344544706 3221549056 768217 33554432000 4194304 8395647 140735562444192 140735562439480 5827844 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 786511 768217 621 1026 0 785481 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 3146044
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2403
/proc/meminfo: memFree=23905272/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3146044 CPUtime=1482.03 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 703082 0 0 0 148020 183 0 0 20 0 1 0 344544706 3221549056 769128 33554432000 4194304 8395647 140735562444192 140735562439480 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 786511 769128 621 1026 0 785481 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 3146044
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/177 2403
/proc/meminfo: memFree=23879608/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3136752 CPUtime=1542.01 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 703697 0 0 0 154017 184 0 0 20 0 1 0 344544706 3212034048 770116 33554432000 4194304 8395647 140735562444192 140735562439480 5827857 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 784188 770116 621 1026 0 783158 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 3136752
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 2403
/proc/meminfo: memFree=23850928/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3136752 CPUtime=1602 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 703697 0 0 0 160016 184 0 0 20 0 1 0 344544706 3212034048 770116 33554432000 4194304 8395647 140735562444192 140735562439480 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 784188 770116 621 1026 0 783158 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 3136752
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 2404
/proc/meminfo: memFree=23847528/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3110172 CPUtime=1661.99 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 704251 0 0 0 166014 185 0 0 20 0 1 0 344544706 3184816128 763857 33554432000 4194304 8395647 140735562444192 140735562439752 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 777543 763857 621 1026 0 776513 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 3110172
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/177 2404
/proc/meminfo: memFree=23820772/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3110172 CPUtime=1721.99 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 705294 0 0 0 172010 189 0 0 20 0 1 0 344544706 3184816128 763857 33554432000 4194304 8395647 140735562444192 140735562439480 5827869 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 777543 763857 621 1026 0 776513 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 3110172
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 2405
/proc/meminfo: memFree=23794016/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3110172 CPUtime=1781.98 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 705294 0 0 0 178009 189 0 0 20 0 1 0 344544706 3184816128 763857 33554432000 4194304 8395647 140735562444192 140735562439480 5849658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 777543 763857 621 1026 0 776513 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 3110172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 2443
/proc/meminfo: memFree=25064828/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3110172 CPUtime=1800.08 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 705294 0 0 0 179819 189 0 0 20 0 1 0 344544706 3184816128 763857 33554432000 4194304 8395647 140735562444192 140735562439480 5849640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 777543 763857 621 1026 0 776513 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3110172
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -2350
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 2444
/proc/meminfo: memFree=25054784/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3110172 CPUtime=1801.08 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 705294 0 0 0 179919 189 0 0 20 0 1 0 344544706 3184816128 763857 33554432000 4194304 8395647 140735562444192 140735562439104 5849658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 777543 763857 621 1026 0 776513 0
Current children cumulated CPU time (s) 1801.08
Current children cumulated vsize (KiB) 3110172
[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 2444
/proc/meminfo: memFree=25020428/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3110172 CPUtime=1801.88 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 705294 0 0 0 179999 189 0 0 20 0 1 0 344544706 3184816128 763857 33554432000 4194304 8395647 140735562444192 140735562439104 5849658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 777543 763857 621 1026 0 776513 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 3110172
[startup+1802.4 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 2444
/proc/meminfo: memFree=25020428/32873844 swapFree=7372/7372
[pid=2350] ppid=2348 vsize=3110172 CPUtime=1802.08 cores=1,3,5,7
/proc/2350/stat : 2350 (pbscip.linux.x8) R 2348 2350 2230 0 -1 4202496 705294 0 0 0 180019 189 0 0 20 0 1 0 344544706 3184816128 763857 33554432000 4194304 8395647 140735562444192 140735562439104 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2350/statm: 777543 763857 621 1026 0 776513 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 3110172
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.44
CPU time (s): 1802.12
CPU user time (s): 1800.2
CPU system time (s): 1.92471
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 3163908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.2
system time used= 1.92471
maximum resident set size= 3090928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 705294
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= 49
involuntary context switches= 1852
runsolver used 3.10053 second user time and 8.46271 second system time
The end