1.39/1.44 c SCIP version 1.1.0.7
1.39/1.44 c LP-Solver SoPlex 1.4.1
1.39/1.44 c user parameter file <scip.set> not found - using default parameters
1.39/1.44 c read problem <HOME/instance-3740399-1338760616.opb>
1.39/1.44 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234344 constraints
1.79/1.85 c start presolving problem
1.79/1.85 c presolving:
8.19/8.23 c (round 1) 4365 del vars, 12978 del conss, 2953 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16052588 impls, 0 clqs
11.39/11.42 c (round 2) 10079 del vars, 35298 del conss, 8344 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16081419 impls, 0 clqs
12.48/12.53 c (round 3) 12367 del vars, 44612 del conss, 9668 chg bounds, 21 chg sides, 39 chg coeffs, 0 upgd conss, 16095053 impls, 0 clqs
13.09/13.12 c (round 4) 13337 del vars, 48656 del conss, 10299 chg bounds, 37 chg sides, 59 chg coeffs, 0 upgd conss, 16099827 impls, 0 clqs
13.29/13.39 c (round 5) 13841 del vars, 50782 del conss, 10564 chg bounds, 37 chg sides, 59 chg coeffs, 0 upgd conss, 16103124 impls, 0 clqs
13.49/13.57 c (round 6) 14010 del vars, 51546 del conss, 10686 chg bounds, 39 chg sides, 61 chg coeffs, 0 upgd conss, 16104423 impls, 0 clqs
13.68/13.70 c (round 7) 14133 del vars, 52065 del conss, 10750 chg bounds, 39 chg sides, 61 chg coeffs, 0 upgd conss, 16105174 impls, 0 clqs
13.79/13.80 c (round 8) 14167 del vars, 52263 del conss, 10774 chg bounds, 39 chg sides, 61 chg coeffs, 0 upgd conss, 16105390 impls, 0 clqs
13.88/13.90 c (round 9) 14193 del vars, 52376 del conss, 10794 chg bounds, 39 chg sides, 61 chg coeffs, 0 upgd conss, 16105507 impls, 0 clqs
13.88/13.98 c (round 10) 14205 del vars, 52440 del conss, 10803 chg bounds, 39 chg sides, 61 chg coeffs, 0 upgd conss, 16105528 impls, 0 clqs
14.59/14.68 c (round 11) 14205 del vars, 52449 del conss, 10803 chg bounds, 39 chg sides, 61 chg coeffs, 181895 upgd conss, 16105528 impls, 0 clqs
17.49/17.60 c (round 12) 14205 del vars, 52463 del conss, 10803 chg bounds, 81 chg sides, 248 chg coeffs, 181895 upgd conss, 16105528 impls, 0 clqs
437.42/437.51 c (434.5s) probing: 1000/58637 (1.7%) - 0 fixings, 0 aggregations, 10944952 implications, 0 bound changes
588.41/588.58 c (585.1s) probing: 2000/58637 (3.4%) - 0 fixings, 0 aggregations, 16391653 implications, 0 bound changes
588.50/588.63 c (585.2s) probing: 2001/58637 (3.4%) - 0 fixings, 0 aggregations, 16393667 implications, 0 bound changes
588.50/588.63 c (585.2s) probing aborted: 2000/2000 successive useless probings
588.50/588.63 c presolving (13 rounds):
588.50/588.63 c 14205 deleted vars, 52470 deleted constraints, 10803 tightened bounds, 0 added holes, 85 changed sides, 266 changed coefficients
588.50/588.63 c 73849768 implications, 0 cliques
588.50/588.63 c presolved problem has 58637 variables (58637 bin, 0 int, 0 impl, 0 cont) and 181915 constraints
588.50/588.63 c 1135 constraints of type <knapsack>
588.50/588.63 c 24 constraints of type <setppc>
588.50/588.63 c 180756 constraints of type <logicor>
588.50/588.63 c transformed objective value is always integral (scale: 1)
588.50/588.63 c Presolving Time: 584.89
588.50/588.67 c OPT-LIN
588.50/588.67 c -----------------------------------------------------------------------------------------------
588.50/588.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
588.50/588.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
588.50/588.67 c limits/memory = c 13950
588.50/588.67 c # maximal time in seconds to run
588.50/588.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
588.50/588.67 c limits/time = c 1791
588.50/588.67 c # frequency for displaying node information lines
588.50/588.67 c # [type: int, range: [-1,2147483647], default: 100]
588.50/588.67 c display/freq = c 10000
588.50/588.67 c -----------------------------------------------------------------------------------------------
588.50/588.67 c start solving problem
588.50/588.67 c
994.53/994.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
994.53/994.75 c 991s| 1 | 0 | 66259 |2259M| 0 | 258 | 58k| 181k| 181k| 58k| 181k| 0 | 0 | 0 | 8.700000e+01 | -- | Inf
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-3740399-1338760616/watcher-3740399-1338760616 -o /tmp/evaluation-result-3740399-1338760616/solver-3740399-1338760616 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740399-1338760616.opb
running on 4 cores: 0,2,4,6
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.02 2.01 2.00 3/176 13858
/proc/meminfo: memFree=23178164/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=8872 CPUtime=0 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 1560 0 0 0 0 0 0 0 20 0 1 0 342188891 9084928 1512 33554432000 4194304 7823515 140734483060080 140733243465192 6883856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 2218 1512 354 887 0 1328 0
[startup+0.00774689 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 13858
/proc/meminfo: memFree=23178164/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=9196 CPUtime=0 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 1662 0 0 0 0 0 0 0 20 0 1 0 342188891 9416704 1614 33554432000 4194304 7823515 140734483060080 140733243465192 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 2299 1614 354 887 0 1409 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9196
[startup+0.100257 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 13858
/proc/meminfo: memFree=23178164/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=25832 CPUtime=0.09 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 5790 0 0 0 8 1 0 0 20 0 1 0 342188891 26451968 5742 33554432000 4194304 7823515 140734483060080 140733243465192 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 6458 5742 354 887 0 5568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25832
[startup+0.300272 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 13858
/proc/meminfo: memFree=23178164/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=51588 CPUtime=0.29 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 12257 0 0 0 27 2 0 0 20 0 1 0 342188891 52826112 12209 33554432000 4194304 7823515 140734483060080 140733243465192 6908057 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 12897 12209 354 887 0 12007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51588
[startup+0.700272 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 13858
/proc/meminfo: memFree=23178164/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=76952 CPUtime=0.68 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 18554 0 0 0 66 2 0 0 20 0 1 0 342188891 78798848 18506 33554432000 4194304 7823515 140734483060080 140733243465192 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 19238 18506 354 887 0 18348 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 76952
[startup+1.50028 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13859
/proc/meminfo: memFree=23062148/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=194008 CPUtime=1.49 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 48028 0 0 0 142 7 0 0 20 0 1 0 342188891 198664192 47626 33554432000 4194304 7823515 140734483060080 140734482926184 4512305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 48502 47627 367 887 0 47612 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 194008
[startup+3.10023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13859
/proc/meminfo: memFree=22794308/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=486648 CPUtime=3.09 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 120237 0 0 0 291 18 0 0 20 0 1 0 342188891 498327552 119835 33554432000 4194304 7823515 140734483060080 140734483057016 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 121662 119835 427 887 0 120772 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 486648
[startup+6.30029 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13859
/proc/meminfo: memFree=22462360/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=745852 CPUtime=6.29 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 183131 0 0 0 598 31 0 0 20 0 1 0 342188891 763752448 182729 33554432000 4194304 7823515 140734483060080 140734483057016 5803150 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 186463 182729 427 887 0 185573 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 745852
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13859
/proc/meminfo: memFree=22293828/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=842356 CPUtime=12.69 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 206221 0 0 0 1222 47 0 0 20 0 1 0 342188891 862572544 205819 33554432000 4194304 7823515 140734483060080 140734483057016 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 210589 205819 432 887 0 209699 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 842356
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13859
/proc/meminfo: memFree=22144312/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=968908 CPUtime=25.48 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 232303 0 0 0 2464 84 0 0 20 0 1 0 342188891 992161792 237870 33554432000 4194304 7823515 140734483060080 140734483056136 5803100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 242227 237870 460 887 0 241337 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 968908
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13860
/proc/meminfo: memFree=22018720/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=1007908 CPUtime=51.08 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 241254 0 0 0 5022 86 0 0 20 0 1 0 342188891 1032097792 246821 33554432000 4194304 7823515 140734483060080 140734483056776 5802376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 251977 246821 460 887 0 251087 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1007908
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13860
/proc/meminfo: memFree=21781924/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=1110412 CPUtime=102.28 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 265982 0 0 0 10138 90 0 0 20 0 1 0 342188891 1137061888 271549 33554432000 4194304 7823515 140734483060080 140734483055944 5803139 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 277603 271549 460 887 0 276713 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1110412
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 13860
/proc/meminfo: memFree=21315952/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=1245024 CPUtime=162.27 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 299285 0 0 0 16130 97 0 0 20 0 1 0 342188891 1274904576 304852 33554432000 4194304 7823515 140734483060080 140734483056776 5803146 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 311256 304852 461 887 0 310366 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1245024
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 13863
/proc/meminfo: memFree=21162052/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=1383788 CPUtime=222.26 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 332966 0 0 0 22124 102 0 0 20 0 1 0 342188891 1416998912 338533 33554432000 4194304 7823515 140734483060080 140734483056776 6911817 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 345947 338533 461 887 0 345057 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1383788
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13885
/proc/meminfo: memFree=20914872/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=1626964 CPUtime=282.24 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 392245 0 0 0 28111 113 0 0 20 0 1 0 342188891 1666011136 397812 33554432000 4194304 7823515 140734483060080 140734483056136 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 406741 397812 461 887 0 405851 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1626964
[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 13886
/proc/meminfo: memFree=20681972/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=1852392 CPUtime=342.24 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 447719 0 0 0 34098 126 0 0 20 0 1 0 342188891 1896849408 453286 33554432000 4194304 7823515 140734483060080 140734483056776 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 463098 453286 461 887 0 462208 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1852392
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13886
/proc/meminfo: memFree=20464376/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=2049764 CPUtime=402.22 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 496673 0 0 0 40082 140 0 0 20 0 1 0 342188891 2098958336 502240 33554432000 4194304 7823515 140734483060080 140734483056776 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 512441 502240 461 887 0 511551 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2049764
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13886
/proc/meminfo: memFree=20155956/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=2353972 CPUtime=462.21 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 572679 0 0 0 46060 161 0 0 20 0 1 0 342188891 2410467328 578246 33554432000 4194304 7823515 140734483060080 140734483056776 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 588493 578246 466 887 0 587603 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2353972
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13886
/proc/meminfo: memFree=20014772/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=2497356 CPUtime=522.21 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 608057 0 0 0 52044 177 0 0 20 0 1 0 342188891 2557292544 613624 33554432000 4194304 7823515 140734483060080 140734483056760 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 624339 613624 466 887 0 623449 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2497356
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13886
/proc/meminfo: memFree=19820244/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=2692864 CPUtime=582.2 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 655470 0 0 0 58023 197 0 0 20 0 1 0 342188891 2757492736 661037 33554432000 4194304 7823515 140734483060080 140734483056760 5803108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 673216 661037 466 887 0 672326 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2692864
[startup+642.3 s]
################
# More data... #
################
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 706867 0 0 0 99985 229 0 0 20 0 1 0 342188891 3096461312 739180 33554432000 4194304 7823515 140734483060080 140734483054840 6908132 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 739180 542 887 0 755082 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 3023888
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13891
/proc/meminfo: memFree=19496924/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1062.13 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 706871 0 0 0 105981 232 0 0 20 0 1 0 342188891 3096461312 739184 33554432000 4194304 7823515 140734483060080 140734483054840 6208520 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 739184 542 887 0 755082 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3023888
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13891
/proc/meminfo: memFree=19496828/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1122.12 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 706871 0 0 0 111976 236 0 0 20 0 1 0 342188891 3096461312 739184 33554432000 4194304 7823515 140734483060080 140734483055048 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 739184 542 887 0 755082 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3023888
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13891
/proc/meminfo: memFree=19492888/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1182.1 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707744 0 0 0 117960 250 0 0 20 0 1 0 342188891 3096461312 740041 33554432000 4194304 7823515 140734483060080 140734483056088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740041 561 887 0 755082 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3023888
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13891
/proc/meminfo: memFree=19491056/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1242.09 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707744 0 0 0 123924 285 0 0 20 0 1 0 342188891 3096461312 740041 33554432000 4194304 7823515 140734483060080 140734483056088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740041 561 887 0 755082 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3023888
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13892
/proc/meminfo: memFree=19490092/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1302.1 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707744 0 0 0 129874 336 0 0 20 0 1 0 342188891 3096461312 740041 33554432000 4194304 7823515 140734483060080 140734483056088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740041 561 887 0 755082 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3023888
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13931
/proc/meminfo: memFree=21728552/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1362.08 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707746 0 0 0 135806 402 0 0 20 0 1 0 342188891 3096461312 740061 33554432000 4194304 7823515 140734483060080 140734483056088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740061 561 887 0 755082 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3023888
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13934
/proc/meminfo: memFree=21453968/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1422.06 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707768 0 0 0 141740 466 0 0 20 0 1 0 342188891 3096461312 740070 33554432000 4194304 7823515 140734483060080 140734483056088 5562965 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740070 561 887 0 755082 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 3023888
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 13934
/proc/meminfo: memFree=21271104/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1482.05 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707769 0 0 0 147644 561 0 0 20 0 1 0 342188891 3096461312 740323 33554432000 4194304 7823515 140734483060080 140734483056088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740323 561 887 0 755082 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3023888
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13934
/proc/meminfo: memFree=21119728/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1542.03 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707769 0 0 0 153549 654 0 0 20 0 1 0 342188891 3096461312 740323 33554432000 4194304 7823515 140734483060080 140734483056088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740323 561 887 0 755082 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 3023888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13935
/proc/meminfo: memFree=20861960/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1602.02 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707770 0 0 0 159482 720 0 0 20 0 1 0 342188891 3096461312 740323 33554432000 4194304 7823515 140734483060080 140734483056088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740323 561 887 0 755082 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3023888
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13935
/proc/meminfo: memFree=20617464/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1662.01 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707771 0 0 0 165415 786 0 0 20 0 1 0 342188891 3096461312 740323 33554432000 4194304 7823515 140734483060080 140734483056088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740323 561 887 0 755082 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 3023888
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13935
/proc/meminfo: memFree=20411652/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1722 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707771 0 0 0 171361 839 0 0 20 0 1 0 342188891 3096461312 740323 33554432000 4194304 7823515 140734483060080 140734483056088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740323 561 887 0 755082 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 3023888
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13935
/proc/meminfo: memFree=20187736/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1781.99 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707772 0 0 0 177311 888 0 0 20 0 1 0 342188891 3096461312 740390 33554432000 4194304 7823515 140734483060080 140734483056088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740390 561 887 0 755082 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 3023888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13935
/proc/meminfo: memFree=20060124/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1800 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707772 0 0 0 179094 906 0 0 20 0 1 0 342188891 3096461312 740390 33554432000 4194304 7823515 140734483060080 140734483056088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740390 561 887 0 755082 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3023888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13858
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13936
/proc/meminfo: memFree=20055968/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1801.1 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707849 0 0 0 179204 906 0 0 20 0 1 0 342188891 3096461312 740978 33554432000 4194304 7823515 140734483060080 140734483055104 5562284 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740978 561 887 0 755082 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 3023888
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13936
/proc/meminfo: memFree=20050672/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=3023888 CPUtime=1801.9 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4202496 707849 0 0 0 179284 906 0 0 20 0 1 0 342188891 3096461312 740978 33554432000 4194304 7823515 140734483060080 140734483055104 5562326 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 755972 740978 561 887 0 755082 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 3023888
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13936
/proc/meminfo: memFree=20050672/32873648 swapFree=6852/6852
[pid=13858] ppid=13856 vsize=0 CPUtime=1802.1 cores=0,2,4,6
/proc/13858/stat : 13858 (pbscip.linux.x8) R 13856 13858 12217 0 -1 4203524 707849 0 0 0 179295 915 0 0 20 0 1 0 342188891 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13858/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.43
CPU time (s): 1802.13
CPU user time (s): 1792.95
CPU system time (s): 9.1826
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 3023888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.95
system time used= 9.1826
maximum resident set size= 2963912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 707849
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= 31
involuntary context switches= 2072
runsolver used 3.33949 second user time and 8.79166 second system time
The end