0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3693707-1338047140.opb>
2.19/2.28 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.19/2.28 c problem read in 2.28
5.59/5.62 c presolving:
11.59/11.63 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
13.48/13.52 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
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-3693707-1338047140/watcher-3693707-1338047140 -o /tmp/evaluation-result-3693707-1338047140/solver-3693707-1338047140 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693707-1338047140.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.00 2.00 2.00 3/179 3832
/proc/meminfo: memFree=26050020/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=11132 CPUtime=0 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 1528 0 0 0 0 0 0 0 20 0 1 0 270838829 11399168 1482 33554432000 4194304 10169799 140737060523456 140737060388152 8801104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 2783 1482 403 1459 0 1315 0
[startup+0.0162099 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3832
/proc/meminfo: memFree=26050020/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=17632 CPUtime=0.01 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 3132 0 0 0 1 0 0 0 20 0 1 0 270838829 18055168 3087 33554432000 4194304 10169799 140737060523456 140737060388152 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 4408 3116 412 1459 0 2940 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17632
[startup+0.100322 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3832
/proc/meminfo: memFree=26050020/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=43528 CPUtime=0.09 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 9637 0 0 0 8 1 0 0 20 0 1 0 270838829 44572672 9591 33554432000 4194304 10169799 140737060523456 140737060389784 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 10882 9591 412 1459 0 9414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43528
[startup+0.300291 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3832
/proc/meminfo: memFree=26050020/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=80564 CPUtime=0.29 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 18909 0 0 0 27 2 0 0 20 0 1 0 270838829 82497536 18863 33554432000 4194304 10169799 140737060523456 140737060389784 5471578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 20166 18863 412 1459 0 18698 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80564
[startup+0.700296 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3832
/proc/meminfo: memFree=26050020/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=180920 CPUtime=0.69 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 43938 0 0 0 62 7 0 0 20 0 1 0 270838829 185262080 43892 33554432000 4194304 10169799 140737060523456 140737060388152 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 45230 43892 412 1459 0 43762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 180920
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3833
/proc/meminfo: memFree=25805592/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=363464 CPUtime=1.49 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 89392 0 0 0 134 15 0 0 20 0 1 0 270838829 372187136 89346 33554432000 4194304 10169799 140737060523456 140737060389784 5471578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 90866 89346 412 1459 0 89398 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 363464
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3833
/proc/meminfo: memFree=25622420/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=916012 CPUtime=3.09 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 227626 0 0 0 273 36 0 0 20 0 1 0 270838829 937996288 227526 33554432000 4194304 10169799 140737060523456 140737060520472 5865130 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 229003 227526 461 1459 0 227535 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 916012
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3833
/proc/meminfo: memFree=24853492/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=1240508 CPUtime=6.28 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 330073 0 0 0 548 80 0 0 20 0 1 0 270838829 1270280192 307466 33554432000 4194304 10169799 140737060523456 140737060521608 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 310127 307466 545 1459 0 308659 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1240508
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3833
/proc/meminfo: memFree=24429588/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=1630068 CPUtime=12.69 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 460073 0 0 0 1015 254 0 0 20 0 1 0 270838829 1669189632 404340 33554432000 4194304 10169799 140737060523456 140737060522072 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 407517 404340 577 1459 0 406049 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1630068
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3833
/proc/meminfo: memFree=24161164/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=1904036 CPUtime=25.48 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 509729 0 0 0 2205 343 0 0 20 0 1 0 270838829 1949732864 471971 33554432000 4194304 10169799 140737060523456 140737060520008 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 476009 471971 608 1459 0 474541 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1904036
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3833
/proc/meminfo: memFree=24150592/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=1912420 CPUtime=51.08 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 511710 0 0 0 4764 344 0 0 20 0 1 0 270838829 1958318080 473952 33554432000 4194304 10169799 140737060523456 140737060520008 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 478105 473952 608 1459 0 476637 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1912420
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3833
/proc/meminfo: memFree=24122472/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=1938964 CPUtime=102.28 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 518213 0 0 0 9882 346 0 0 20 0 1 0 270838829 1985499136 480405 33554432000 4194304 10169799 140737060523456 140737060519928 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 484741 480405 608 1459 0 483273 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1938964
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 3833
/proc/meminfo: memFree=22790488/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3308480 CPUtime=162.26 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 833739 0 0 0 15835 391 0 0 20 0 1 0 270838829 3387883520 813321 33554432000 4194304 10169799 140737060523456 140737060519720 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 827120 813321 608 1459 0 825652 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3308480
[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 3833
/proc/meminfo: memFree=22788288/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3309504 CPUtime=222.26 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 834211 0 0 0 21834 392 0 0 20 0 1 0 270838829 3388932096 813793 33554432000 4194304 10169799 140737060523456 140737060519720 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 827376 813793 608 1459 0 825908 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3309504
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 3837
/proc/meminfo: memFree=22787272/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3309504 CPUtime=282.25 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 834355 0 0 0 27833 392 0 0 20 0 1 0 270838829 3388932096 813937 33554432000 4194304 10169799 140737060523456 140737060519720 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 827376 813937 608 1459 0 825908 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3309504
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 3837
/proc/meminfo: memFree=22780544/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3312576 CPUtime=342.24 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 835310 0 0 0 33832 392 0 0 20 0 1 0 270838829 3392077824 814892 33554432000 4194304 10169799 140737060523456 140737060519720 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 828144 814892 608 1459 0 826676 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3312576
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3837
/proc/meminfo: memFree=22777424/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3312576 CPUtime=402.23 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 835457 0 0 0 39831 392 0 0 20 0 1 0 270838829 3392077824 815039 33554432000 4194304 10169799 140737060523456 140737060519720 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 828144 815039 608 1459 0 826676 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3312576
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3837
/proc/meminfo: memFree=22765180/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3312576 CPUtime=462.22 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 835649 0 0 0 45830 392 0 0 20 0 1 0 270838829 3392077824 815231 33554432000 4194304 10169799 140737060523456 140737060519720 8922268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 828144 815231 608 1459 0 826676 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3312576
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3837
/proc/meminfo: memFree=22773040/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3314492 CPUtime=522.21 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 836376 0 0 0 51829 392 0 0 20 0 1 0 270838829 3394039808 815924 33554432000 4194304 10169799 140737060523456 140737060520248 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 828623 815924 608 1459 0 827155 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3314492
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3838
/proc/meminfo: memFree=22757252/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3315324 CPUtime=582.2 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 836731 0 0 0 57828 392 0 0 20 0 1 0 270838829 3394891776 816279 33554432000 4194304 10169799 140737060523456 140737060519720 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 828831 816279 608 1459 0 827363 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3315324
[startup+642.3 s]
################
# More data... #
################
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 840083 0 0 0 105819 394 0 0 20 0 1 0 270838829 3402289152 823248 33554432000 4194304 10169799 140737060523456 140737060519720 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 830637 823248 608 1459 0 829169 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3322548
[startup+1122.3 s]
/proc/loadavg: 1.07 1.59 1.84 2/173 3889
/proc/meminfo: memFree=24778868/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3324596 CPUtime=1122.12 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 840788 0 0 0 111818 394 0 0 20 0 1 0 270838829 3404386304 824153 33554432000 4194304 10169799 140737060523456 140737060519720 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 831149 824153 608 1459 0 829681 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3324596
[startup+1182.3 s]
/proc/loadavg: 1.06 1.49 1.79 2/173 3890
/proc/meminfo: memFree=24778276/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3324596 CPUtime=1182.11 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 841019 0 0 0 117817 394 0 0 20 0 1 0 270838829 3404386304 824384 33554432000 4194304 10169799 140737060523456 140737060519720 8922336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 831149 824384 608 1459 0 829681 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3324596
[startup+1242.3 s]
/proc/loadavg: 1.02 1.40 1.74 2/173 3890
/proc/meminfo: memFree=24775948/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3325620 CPUtime=1242.1 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 841431 0 0 0 123816 394 0 0 20 0 1 0 270838829 3405434880 824796 33554432000 4194304 10169799 140737060523456 140737060519720 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 831405 824796 608 1459 0 829937 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3325620
[startup+1302.3 s]
/proc/loadavg: 1.01 1.33 1.69 2/173 3890
/proc/meminfo: memFree=24772328/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3327476 CPUtime=1302.09 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 842084 0 0 0 129815 394 0 0 20 0 1 0 270838829 3407335424 825716 33554432000 4194304 10169799 140737060523456 140737060519720 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 831869 825716 608 1459 0 830401 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3327476
[startup+1362.3 s]
/proc/loadavg: 1.00 1.26 1.64 2/173 3890
/proc/meminfo: memFree=24767064/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3327476 CPUtime=1362.09 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 842228 0 0 0 135814 395 0 0 20 0 1 0 270838829 3407335424 827039 33554432000 4194304 10169799 140737060523456 140737060519720 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 831869 827039 608 1459 0 830401 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 3327476
[startup+1422.31 s]
/proc/loadavg: 1.00 1.21 1.60 2/173 3890
/proc/meminfo: memFree=24759988/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3329524 CPUtime=1422.08 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 842817 0 0 0 141813 395 0 0 20 0 1 0 270838829 3409432576 828798 33554432000 4194304 10169799 140737060523456 140737060519720 8922268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 832381 828798 608 1459 0 830913 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3329524
[startup+1482.3 s]
/proc/loadavg: 1.00 1.17 1.56 2/174 3894
/proc/meminfo: memFree=24758720/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3330544 CPUtime=1482.06 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 843117 0 0 0 147811 395 0 0 20 0 1 0 270838829 3410477056 829098 33554432000 4194304 10169799 140737060523456 140737060519720 8922268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 832636 829098 608 1459 0 831168 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3330544
[startup+1542.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/173 3894
/proc/meminfo: memFree=24756836/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3332404 CPUtime=1542.06 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 843624 0 0 0 153811 395 0 0 20 0 1 0 270838829 3412381696 829605 33554432000 4194304 10169799 140737060523456 140737060519720 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 833101 829605 608 1459 0 831633 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3332404
[startup+1602.3 s]
/proc/loadavg: 1.00 1.11 1.49 2/173 3894
/proc/meminfo: memFree=24756744/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3332272 CPUtime=1602.05 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 843682 0 0 0 159810 395 0 0 20 0 1 0 270838829 3412246528 829630 33554432000 4194304 10169799 140737060523456 140737060520040 8922254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 833068 829630 608 1459 0 831600 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3332272
[startup+1662.3 s]
/proc/loadavg: 1.04 1.10 1.46 2/173 3894
/proc/meminfo: memFree=24754168/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3334316 CPUtime=1662.03 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 844238 0 0 0 165808 395 0 0 20 0 1 0 270838829 3414339584 830186 33554432000 4194304 10169799 140737060523456 140737060519720 8922254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 833579 830186 608 1459 0 832111 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3334316
[startup+1722.3 s]
/proc/loadavg: 1.01 1.08 1.43 2/173 3894
/proc/meminfo: memFree=24752484/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3335340 CPUtime=1722.02 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 844536 0 0 0 171807 395 0 0 20 0 1 0 270838829 3415388160 830597 33554432000 4194304 10169799 140737060523456 140737060519720 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 833835 830597 608 1459 0 832367 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3335340
[startup+1782.3 s]
/proc/loadavg: 1.00 1.06 1.40 2/173 3895
/proc/meminfo: memFree=24750344/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3336172 CPUtime=1782.01 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 844789 0 0 0 177806 395 0 0 20 0 1 0 270838829 3416240128 831154 33554432000 4194304 10169799 140737060523456 140737060519720 8922316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 834043 831154 608 1459 0 832575 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3336172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.00 1.06 1.39 2/173 3895
/proc/meminfo: memFree=24749388/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3337196 CPUtime=1800.02 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 845058 0 0 0 179607 395 0 0 20 0 1 0 270838829 3417288704 831450 33554432000 4194304 10169799 140737060523456 140737060519720 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 834299 831450 608 1459 0 832831 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3337196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3832
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.06 1.39 2/174 3896
/proc/meminfo: memFree=24749256/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3337196 CPUtime=1801.11 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 845058 0 0 0 179716 395 0 0 20 0 1 0 270838829 3417288704 831450 33554432000 4194304 10169799 140737060523456 140737060519168 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 834299 831450 608 1459 0 832831 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 3337196
[startup+1801.81 s]
/proc/loadavg: 1.00 1.06 1.39 2/174 3896
/proc/meminfo: memFree=24749256/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3337196 CPUtime=1801.52 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 845058 0 0 0 179757 395 0 0 20 0 1 0 270838829 3417288704 831450 33554432000 4194304 10169799 140737060523456 140737060519168 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 834299 831450 608 1459 0 832831 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 3337196
[startup+1802.2 s]
/proc/loadavg: 1.00 1.06 1.39 2/174 3896
/proc/meminfo: memFree=24749256/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3337196 CPUtime=1801.91 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 845058 0 0 0 179796 395 0 0 20 0 1 0 270838829 3417288704 831450 33554432000 4194304 10169799 140737060523456 140737060519168 8922254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 834299 831450 608 1459 0 832831 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 3337196
[startup+1802.3 s]
/proc/loadavg: 1.00 1.06 1.39 2/174 3896
/proc/meminfo: memFree=24749256/32873844 swapFree=7608/7608
[pid=3832] ppid=3830 vsize=3337196 CPUtime=1802.01 cores=1,3,5,7
/proc/3832/stat : 3832 (scip-2.1.1.4sfi) R 3830 3832 30878 0 -1 4202496 845058 0 0 0 179806 395 0 0 20 0 1 0 270838829 3417288704 831450 33554432000 4194304 10169799 140737060523456 140737060519168 8922254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3832/statm: 834299 831450 608 1459 0 832831 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 3337196
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.39
CPU time (s): 1802.11
CPU user time (s): 1798.07
CPU system time (s): 4.03939
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 3337196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.07
system time used= 4.03939
maximum resident set size= 3325800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 845058
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= 11
involuntary context switches= 1864
runsolver used 6.40902 second user time and 14.7278 second system time
The end