0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3743163-1338795393.opb>
3.59/3.66 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
3.59/3.66 c problem read
3.59/3.67 c presolving settings loaded
5.89/5.94 c presolving:
9.98/10.05 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
11.28/11.30 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
101.18/101.20 c (round 3) 679 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12269620 impls, 1977 clqs
101.68/101.72 c (round 4) 679 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12273622 impls, 1977 clqs
103.38/103.41 c (round 5) 2683 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12308448 impls, 1977 clqs
103.88/103.94 c (round 6) 2683 del vars, 4657 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12308460 impls, 1977 clqs
314.04/314.13 c (round 7) 3353 del vars, 4657 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 19843820 impls, 1977 clqs
314.54/314.65 c (round 8) 3353 del vars, 5324 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 19843828 impls, 1977 clqs
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-3743163-1338795393/watcher-3743163-1338795393 -o /tmp/evaluation-result-3743163-1338795393/solver-3743163-1338795393 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743163-1338795393.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.01 2.04 2.03 3/176 14185
/proc/meminfo: memFree=23561100/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1530 0 0 0 0 0 0 0 20 0 1 0 345667914 9818112 1484 33554432000 4194304 9016284 140736270256704 140736270255336 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 2397 1487 313 1178 0 1215 0
[startup+0.0444881 s]
/proc/loadavg: 2.01 2.04 2.03 3/176 14185
/proc/meminfo: memFree=23561100/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=23900 CPUtime=0.03 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 4950 0 0 0 3 0 0 0 20 0 1 0 345667914 24473600 4904 33554432000 4194304 9016284 140736270256704 140736270255336 7842364 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 5975 4904 360 1178 0 4793 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23900
[startup+0.10037 s]
/proc/loadavg: 2.01 2.04 2.03 3/176 14185
/proc/meminfo: memFree=23561100/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=35904 CPUtime=0.09 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 7944 0 0 0 8 1 0 0 20 0 1 0 345667914 36765696 7898 33554432000 4194304 9016284 140736270256704 140736270255336 7870498 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 8976 7898 360 1178 0 7794 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35904
[startup+0.300257 s]
/proc/loadavg: 2.01 2.04 2.03 3/176 14185
/proc/meminfo: memFree=23561100/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=61824 CPUtime=0.29 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 14454 0 0 0 27 2 0 0 20 0 1 0 345667914 63307776 14408 33554432000 4194304 9016284 140736270256704 140736270255336 4447104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 15489 14424 360 1178 0 14307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61824
[startup+0.70027 s]
/proc/loadavg: 2.01 2.04 2.03 3/176 14185
/proc/meminfo: memFree=23561100/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=116348 CPUtime=0.69 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 28062 0 0 0 66 3 0 0 20 0 1 0 345667914 119140352 28018 33554432000 4194304 9016284 140736270256704 140736270118952 6813403 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 29087 28034 360 1178 0 27905 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116348
[startup+1.50033 s]
/proc/loadavg: 2.01 2.04 2.03 3/177 14186
/proc/meminfo: memFree=23405628/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=235108 CPUtime=1.49 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 57655 0 0 0 141 8 0 0 20 0 1 0 345667914 240750592 57609 33554432000 4194304 9016284 140736270256704 140736270118952 6816922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 58777 57609 360 1178 0 57595 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 235108
[startup+3.10033 s]
/proc/loadavg: 2.01 2.04 2.03 3/177 14186
/proc/meminfo: memFree=23245172/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=451448 CPUtime=3.08 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 111822 0 0 0 293 15 0 0 20 0 1 0 345667914 462282752 111776 33554432000 4194304 9016284 140736270256704 140736270118952 7928096 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 112862 111776 360 1178 0 111680 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 451448
[startup+6.30033 s]
/proc/loadavg: 2.01 2.04 2.03 3/177 14186
/proc/meminfo: memFree=22449460/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=1174280 CPUtime=6.29 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 289311 0 0 0 586 43 0 0 20 0 1 0 345667914 1202462720 291164 33554432000 4194304 9016284 140736270256704 140736270254280 7260768 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 293570 291164 474 1178 0 292388 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1174280
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.03 3/177 14186
/proc/meminfo: memFree=22075824/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=1496472 CPUtime=12.68 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 404767 0 0 0 1202 66 0 0 20 0 1 0 345667914 1532387328 370763 33554432000 4194304 9016284 140736270256704 140736270252456 4349791 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 374118 370763 529 1178 0 372936 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1496472
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.03 3/177 14186
/proc/meminfo: memFree=22006080/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=1569200 CPUtime=25.49 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 422073 0 0 0 2480 69 0 0 20 0 1 0 345667914 1606860800 388069 33554432000 4194304 9016284 140736270256704 140736270252296 6469471 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 392300 388069 529 1178 0 391118 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1569200
[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 2.03 3/177 14187
/proc/meminfo: memFree=21807648/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=1767212 CPUtime=51.08 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 470978 0 0 0 5031 77 0 0 20 0 1 0 345667914 1809625088 436974 33554432000 4194304 9016284 140736270256704 140736270252152 4222936 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 441803 436974 529 1178 0 440621 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1767212
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.02 3/177 14187
/proc/meminfo: memFree=21342444/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=2021216 CPUtime=102.28 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 523120 0 0 0 10142 86 0 0 20 0 1 0 345667914 2069725184 499604 33554432000 4194304 9016284 140736270256704 140736270253816 6812833 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 505304 499604 529 1178 0 504122 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2021216
[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.03 3/177 14187
/proc/meminfo: memFree=20963384/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=2173432 CPUtime=162.26 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 570872 0 0 0 16133 93 0 0 20 0 1 0 345667914 2225594368 535843 33554432000 4194304 9016284 140736270256704 140736270252296 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 543358 535843 529 1178 0 542176 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2173432
[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.03 3/178 14190
/proc/meminfo: memFree=20552328/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=2374172 CPUtime=222.26 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 599945 0 0 0 22126 100 0 0 20 0 1 0 345667914 2431152128 584845 33554432000 4194304 9016284 140736270256704 140736270252296 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 593543 584845 529 1178 0 592361 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2374172
[startup+282.3 s]
/proc/loadavg: 2.08 2.07 2.03 3/177 14190
/proc/meminfo: memFree=20409576/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=2384772 CPUtime=282.24 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 602026 0 0 0 28124 100 0 0 20 0 1 0 345667914 2442006528 587437 33554432000 4194304 9016284 140736270256704 140736270252296 6480412 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 596193 587437 529 1178 0 595011 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2384772
[startup+342.3 s]
/proc/loadavg: 2.06 2.07 2.03 3/177 14191
/proc/meminfo: memFree=20048144/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=2603176 CPUtime=342.24 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 654414 0 0 0 34114 110 0 0 20 0 1 0 345667914 2665652224 639434 33554432000 4194304 9016284 140736270256704 140736270252088 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 650794 639434 529 1178 0 649612 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2603176
[startup+402.3 s]
/proc/loadavg: 2.05 2.06 2.03 3/177 14191
/proc/meminfo: memFree=19736436/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=2761464 CPUtime=402.23 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 694158 0 0 0 40104 119 0 0 20 0 1 0 345667914 2827739136 679178 33554432000 4194304 9016284 140736270256704 140736270252088 6480433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 690366 679178 529 1178 0 689184 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2761464
[startup+462.3 s]
/proc/loadavg: 2.05 2.06 2.03 3/177 14191
/proc/meminfo: memFree=19554804/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=2926624 CPUtime=462.22 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 734148 0 0 0 46095 127 0 0 20 0 1 0 345667914 2996862976 719168 33554432000 4194304 9016284 140736270256704 140736270252088 6480421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 731656 719168 529 1178 0 730474 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2926624
[startup+522.3 s]
/proc/loadavg: 2.05 2.06 2.03 3/177 14191
/proc/meminfo: memFree=19412996/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=3044384 CPUtime=522.21 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 764311 0 0 0 52085 136 0 0 20 0 1 0 345667914 3117449216 749331 33554432000 4194304 9016284 140736270256704 140736270252088 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 761096 749331 529 1178 0 759914 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3044384
[startup+582.3 s]
/proc/loadavg: 2.05 2.06 2.03 3/177 14191
/proc/meminfo: memFree=19101768/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=3177192 CPUtime=582.2 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 797224 0 0 0 58076 144 0 0 20 0 1 0 345667914 3253444608 782244 33554432000 4194304 9016284 140736270256704 140736270252088 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 794298 782244 529 1178 0 793116 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3177192
[startup+642.3 s]
################
# More data... #
################
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 940212 0 0 0 106030 183 0 0 20 0 1 0 345667914 3838304256 925232 33554432000 4194304 9016284 140736270256704 140736270252088 6480416 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 937086 925232 529 1178 0 935904 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3748344
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14196
/proc/meminfo: memFree=17758352/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=3975292 CPUtime=1122.12 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 989548 0 0 0 112020 192 0 0 20 0 1 0 345667914 4070699008 974568 33554432000 4194304 9016284 140736270256704 140736270252088 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 993823 974568 529 1178 0 992641 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3975292
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14196
/proc/meminfo: memFree=17719692/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=3987580 CPUtime=1182.11 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 994759 0 0 0 118016 195 0 0 20 0 1 0 345667914 4083281920 979779 33554432000 4194304 9016284 140736270256704 140736270252088 6480364 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 996895 979779 529 1178 0 995713 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3987580
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14196
/proc/meminfo: memFree=17683016/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=3997820 CPUtime=1242.1 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 999230 0 0 0 124012 198 0 0 20 0 1 0 345667914 4093767680 984250 33554432000 4194304 9016284 140736270256704 140736270252088 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 999455 984250 529 1178 0 998273 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3997820
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14197
/proc/meminfo: memFree=17648200/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=4010104 CPUtime=1302.1 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1004515 0 0 0 130008 202 0 0 20 0 1 0 345667914 4106346496 989535 33554432000 4194304 9016284 140736270256704 140736270252088 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 1002526 989535 529 1178 0 1001344 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 4010104
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14197
/proc/meminfo: memFree=17399600/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=4282652 CPUtime=1362.09 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1063649 0 0 0 135997 212 0 0 20 0 1 0 345667914 4385435648 1048669 33554432000 4194304 9016284 140736270256704 140736270252088 6480360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 1070663 1048669 529 1178 0 1069481 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 4282652
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14200
/proc/meminfo: memFree=17372708/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=4291868 CPUtime=1422.08 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1067508 0 0 0 141995 213 0 0 20 0 1 0 345667914 4394872832 1052528 33554432000 4194304 9016284 140736270256704 140736270252088 6480421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 1072967 1052528 529 1178 0 1071785 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4291868
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14223
/proc/meminfo: memFree=17347440/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=4299032 CPUtime=1482.06 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1070755 0 0 0 147991 215 0 0 20 0 1 0 345667914 4402208768 1055775 33554432000 4194304 9016284 140736270256704 140736270252088 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 1074758 1055775 529 1178 0 1073576 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4299032
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14223
/proc/meminfo: memFree=17054896/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=4308248 CPUtime=1542.05 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1074546 0 0 0 153988 217 0 0 20 0 1 0 345667914 4411645952 1059566 33554432000 4194304 9016284 140736270256704 140736270252088 6480379 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 1077062 1059566 529 1178 0 1075880 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 4308248
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14224
/proc/meminfo: memFree=17034336/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=4314392 CPUtime=1602.04 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1077328 0 0 0 159985 219 0 0 20 0 1 0 345667914 4417937408 1062348 33554432000 4194304 9016284 140736270256704 140736270252088 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 1078598 1062348 529 1178 0 1077416 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 4314392
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14263
/proc/meminfo: memFree=20117268/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=4320532 CPUtime=1662.03 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1079923 0 0 0 165982 221 0 0 20 0 1 0 345667914 4424224768 1065002 33554432000 4194304 9016284 140736270256704 140736270252088 6480360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 1080133 1065002 529 1178 0 1078951 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 4320532
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14263
/proc/meminfo: memFree=19744304/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=4323604 CPUtime=1722.03 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1081286 0 0 0 171981 222 0 0 20 0 1 0 345667914 4427370496 1066733 33554432000 4194304 9016284 140736270256704 140736270252088 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 1080901 1066733 529 1178 0 1079719 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 4323604
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14263
/proc/meminfo: memFree=19528944/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=4326676 CPUtime=1782.02 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1082703 0 0 0 177979 223 0 0 20 0 1 0 345667914 4430516224 1068535 33554432000 4194304 9016284 140736270256704 140736270252088 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 1081669 1068535 529 1178 0 1080487 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 4326676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14263
/proc/meminfo: memFree=19466416/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=4328724 CPUtime=1800.02 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1083399 0 0 0 179779 223 0 0 20 0 1 0 345667914 4432613376 1069325 33554432000 4194304 9016284 140736270256704 140736270252088 6480407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 1082181 1069325 529 1178 0 1080999 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4328724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14185
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14264
/proc/meminfo: memFree=19465912/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=4328724 CPUtime=1801.12 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1083410 0 0 0 179889 223 0 0 20 0 1 0 345667914 4432613376 1069336 33554432000 4194304 9016284 140736270256704 140736270251584 6480433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 1082181 1069336 529 1178 0 1080999 0
Current children cumulated CPU time (s) 1801.12
Current children cumulated vsize (KiB) 4328724
[startup+1802.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14264
/proc/meminfo: memFree=19461696/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=4328724 CPUtime=1801.92 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4202496 1083418 0 0 0 179969 223 0 0 20 0 1 0 345667914 4432613376 1069344 33554432000 4194304 9016284 140736270256704 140736270251584 6480364 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 1082181 1069344 529 1178 0 1080999 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 4328724
[startup+1802.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14264
/proc/meminfo: memFree=19461696/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4203524 1083418 0 0 0 179979 232 0 0 20 0 1 0 345667914 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
[startup+1802.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14264
/proc/meminfo: memFree=19461696/32873844 swapFree=7628/7628
[pid=14185] ppid=14183 vsize=0 CPUtime=1802.21 cores=1,3,5,7
/proc/14185/stat : 14185 (scip-2.0.1.4b_2) R 14183 14185 13522 0 -1 4203524 1083418 0 0 0 179979 242 0 0 20 0 1 0 345667914 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14185/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.21
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.56
CPU time (s): 1802.29
CPU user time (s): 1799.8
CPU system time (s): 2.48862
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 4328724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 2.48862
maximum resident set size= 4277376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1083418
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= 9
involuntary context switches= 1882
runsolver used 7.85081 second user time and 10.2324 second system time
The end