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-3691395-1338027670.opb>
1.99/2.02 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
1.99/2.02 c problem read in 2.02
4.59/4.65 c presolving:
8.49/8.51 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
9.59/9.62 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-3691395-1338027670/watcher-3691395-1338027670 -o /tmp/evaluation-result-3691395-1338027670/solver-3691395-1338027670 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691395-1338027670.opb -t 1800 -m 15500
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: 1.92 1.98 1.99 3/176 4346
/proc/meminfo: memFree=28831256/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=11648 CPUtime=0 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 1572 0 0 0 0 0 0 0 20 0 1 0 268892870 11927552 1527 33554432000 4194304 10173063 140736667637600 140736756467080 7545739 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 2912 1541 416 1460 0 1443 0
[startup+0.064476 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 4346
/proc/meminfo: memFree=28831256/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=35496 CPUtime=0.05 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 7626 0 0 0 5 0 0 0 20 0 1 0 268892870 36347904 7581 33554432000 4194304 10173063 140736667637600 140736756467080 7141657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 8874 7582 416 1460 0 7405 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 35496
[startup+0.100342 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 4346
/proc/meminfo: memFree=28831256/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=44764 CPUtime=0.09 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 9955 0 0 0 8 1 0 0 20 0 1 0 268892870 45838336 9910 33554432000 4194304 10173063 140736667637600 140736756467080 4636275 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 11191 9910 416 1460 0 9722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44764
[startup+0.300231 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 4346
/proc/meminfo: memFree=28831256/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=87916 CPUtime=0.28 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 20693 0 0 0 26 2 0 0 20 0 1 0 268892870 90025984 20648 33554432000 4194304 10173063 140736667637600 140736756467080 5474314 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 21979 20648 416 1460 0 20510 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 87916
[startup+0.700288 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 4346
/proc/meminfo: memFree=28831256/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=198152 CPUtime=0.69 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 48246 0 0 0 63 6 0 0 20 0 1 0 268892870 202907648 48201 33554432000 4194304 10173063 140736667637600 140736756467080 5474314 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 49538 48201 416 1460 0 48069 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 198152
[startup+1.50029 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 4347
/proc/meminfo: memFree=28562392/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=401368 CPUtime=1.49 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 98982 0 0 0 137 12 0 0 20 0 1 0 268892870 411000832 98937 33554432000 4194304 10173063 140736667637600 140736667502776 8985008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 100342 98937 416 1460 0 98873 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 401368
[startup+3.10019 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 4347
/proc/meminfo: memFree=28337828/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=935592 CPUtime=3.08 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 232093 0 0 0 279 29 0 0 20 0 1 0 268892870 958046208 232433 33554432000 4194304 10173063 140736667637600 140736667635048 5760629 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 233898 232433 494 1460 0 232429 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 935592
[startup+6.30029 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 4347
/proc/meminfo: memFree=27597724/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=1343892 CPUtime=6.29 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 358023 0 0 0 564 65 0 0 20 0 1 0 268892870 1376145408 333282 33554432000 4194304 10173063 140736667637600 140736667634328 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 335973 333282 563 1460 0 334504 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1343892
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 4347
/proc/meminfo: memFree=26943028/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=1902668 CPUtime=12.69 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 510362 0 0 0 1144 125 0 0 20 0 1 0 268892870 1948332032 471486 33554432000 4194304 10173063 140736667637600 140736667633096 8925052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 475667 471486 615 1460 0 474198 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1902668
[startup+25.5068 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 4348
/proc/meminfo: memFree=26941664/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=1904588 CPUtime=25.49 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 510897 0 0 0 2424 125 0 0 20 0 1 0 268892870 1950298112 472021 33554432000 4194304 10173063 140736667637600 140736667633000 8925109 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 476147 472021 615 1460 0 474678 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1904588
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 4348
/proc/meminfo: memFree=26931988/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=1913936 CPUtime=51.08 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 512660 0 0 0 4983 125 0 0 20 0 1 0 268892870 1959870464 474295 33554432000 4194304 10173063 140736667637600 140736667633976 8925047 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 478484 474295 615 1460 0 477015 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1913936
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 4348
/proc/meminfo: memFree=26902928/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=1940548 CPUtime=102.27 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 519545 0 0 0 10101 126 0 0 20 0 1 0 268892870 1987121152 481702 33554432000 4194304 10173063 140736667637600 140736667632920 8925042 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 485137 481702 615 1460 0 483668 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1940548
[startup+162.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 4348
/proc/meminfo: memFree=25572668/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3308056 CPUtime=162.27 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 831940 0 0 0 16057 170 0 0 20 0 1 0 268892870 3387449344 813497 33554432000 4194304 10173063 140736667637600 140736667632712 8925032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 827014 813497 615 1460 0 825545 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3308056
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4348
/proc/meminfo: memFree=25570340/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3309080 CPUtime=222.26 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 832478 0 0 0 22056 170 0 0 20 0 1 0 268892870 3388497920 814035 33554432000 4194304 10173063 140736667637600 140736667632712 8925052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 827270 814035 615 1460 0 825801 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3309080
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4386
/proc/meminfo: memFree=24582224/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3311960 CPUtime=282.24 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 833412 0 0 0 28054 170 0 0 20 0 1 0 268892870 3391447040 814969 33554432000 4194304 10173063 140736667637600 140736667632712 8925068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 827990 814969 615 1460 0 826521 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3311960
[startup+342.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4388
/proc/meminfo: memFree=24459436/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3312984 CPUtime=342.24 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 833884 0 0 0 34054 170 0 0 20 0 1 0 268892870 3392495616 815441 33554432000 4194304 10173063 140736667637600 140736667632712 8925032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 828246 815441 615 1460 0 826777 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3312984
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4388
/proc/meminfo: memFree=24455256/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3313876 CPUtime=402.22 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 834386 0 0 0 40052 170 0 0 20 0 1 0 268892870 3393409024 816079 33554432000 4194304 10173063 140736667637600 140736667633240 8925032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 828469 816079 615 1460 0 827000 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3313876
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4388
/proc/meminfo: memFree=24430348/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3315732 CPUtime=462.22 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 835071 0 0 0 46051 171 0 0 20 0 1 0 268892870 3395309568 816763 33554432000 4194304 10173063 140736667637600 140736667632712 8925062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 828933 816763 615 1460 0 827464 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3315732
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4388
/proc/meminfo: memFree=24423432/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3315732 CPUtime=522.21 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 835296 0 0 0 52050 171 0 0 20 0 1 0 268892870 3395309568 818533 33554432000 4194304 10173063 140736667637600 140736667632712 8925057 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 828933 818533 615 1460 0 827464 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3315732
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4391
/proc/meminfo: memFree=24415764/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3316756 CPUtime=582.2 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 835844 0 0 0 58049 171 0 0 20 0 1 0 268892870 3396358144 820486 33554432000 4194304 10173063 140736667637600 140736667632712 8925032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 829189 820486 615 1460 0 827720 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3316756
[startup+642.3 s]
################
# More data... #
################
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 840166 0 0 0 100041 172 0 0 20 0 1 0 268892870 3407888384 828222 33554432000 4194304 10173063 140736667637600 140736667632712 8925037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 832004 828222 615 1460 0 830535 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3328016
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4393
/proc/meminfo: memFree=24369944/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3328016 CPUtime=1062.12 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 840218 0 0 0 106040 172 0 0 20 0 1 0 268892870 3407888384 828586 33554432000 4194304 10173063 140736667637600 140736667632712 8925103 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 832004 828586 615 1460 0 830535 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 3328016
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4393
/proc/meminfo: memFree=24366948/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3331088 CPUtime=1122.1 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 841039 0 0 0 112038 172 0 0 20 0 1 0 268892870 3411034112 829407 33554432000 4194304 10173063 140736667637600 140736667632712 8925062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 832772 829407 615 1460 0 831303 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 3331088
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4396
/proc/meminfo: memFree=24366548/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3331920 CPUtime=1182.1 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 841291 0 0 0 118038 172 0 0 20 0 1 0 268892870 3411886080 829659 33554432000 4194304 10173063 140736667637600 140736667632712 8925068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 832980 829659 615 1460 0 831511 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3331920
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=24364232/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3332812 CPUtime=1242.09 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 841591 0 0 0 124037 172 0 0 20 0 1 0 268892870 3412799488 829926 33554432000 4194304 10173063 140736667637600 140736667633032 8925068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 833203 829926 615 1460 0 831734 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3332812
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=24362404/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3334860 CPUtime=1302.08 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 842147 0 0 0 130036 172 0 0 20 0 1 0 268892870 3414896640 830482 33554432000 4194304 10173063 140736667637600 140736667632712 8925047 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 833715 830482 615 1460 0 832246 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3334860
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=24360760/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3335884 CPUtime=1362.08 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 842446 0 0 0 136035 173 0 0 20 0 1 0 268892870 3415945216 830852 33554432000 4194304 10173063 140736667637600 140736667632712 8925052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 833971 830852 615 1460 0 832502 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3335884
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=24356540/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3338764 CPUtime=1422.06 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 843208 0 0 0 142033 173 0 0 20 0 1 0 268892870 3418894336 832018 33554432000 4194304 10173063 140736667637600 140736667632712 8925037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 834691 832018 615 1460 0 833222 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 3338764
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=24354836/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3338764 CPUtime=1482.05 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 843250 0 0 0 148032 173 0 0 20 0 1 0 268892870 3418894336 832347 33554432000 4194304 10173063 140736667637600 140736667632712 8925057 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 834691 832347 615 1460 0 833222 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3338764
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4398
/proc/meminfo: memFree=24350088/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3339788 CPUtime=1542.05 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 843548 0 0 0 154032 173 0 0 20 0 1 0 268892870 3419942912 832645 33554432000 4194304 10173063 140736667637600 140736667632712 8925057 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 834947 832645 615 1460 0 833478 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3339788
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4398
/proc/meminfo: memFree=24342668/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3341644 CPUtime=1602.03 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 844056 0 0 0 160030 173 0 0 20 0 1 0 268892870 3421843456 833153 33554432000 4194304 10173063 140736667637600 140736667632712 8925062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 835411 833153 615 1460 0 833942 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3341644
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4398
/proc/meminfo: memFree=24317400/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3367240 CPUtime=1662.03 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 850500 0 0 0 166029 174 0 0 20 0 1 0 268892870 3448053760 839636 33554432000 4194304 10173063 140736667637600 140736667632920 8924992 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 841810 839636 615 1460 0 840341 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3367240
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4398
/proc/meminfo: memFree=24271980/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3412884 CPUtime=1722.01 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 861205 0 0 0 172026 175 0 0 20 0 1 0 268892870 3494793216 850819 33554432000 4194304 10173063 140736667637600 140736667633976 8925068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 853221 850819 615 1460 0 851752 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3412884
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 4401
/proc/meminfo: memFree=24087572/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3603592 CPUtime=1782 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 904819 0 0 0 178018 182 0 0 20 0 1 0 268892870 3690078208 896988 33554432000 4194304 10173063 140736667637600 140736667632712 8925057 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 900898 896988 615 1460 0 899429 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3603592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4401
/proc/meminfo: memFree=24084944/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3604616 CPUtime=1800.1 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 905147 0 0 0 179828 182 0 0 20 0 1 0 268892870 3691126784 897316 33554432000 4194304 10173063 140736667637600 140736667632712 8925057 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 901154 897316 615 1460 0 899685 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3604616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4346
Solver just ended. Dumping a history of the last processes samples
[startup+1801.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 4402
/proc/meminfo: memFree=24084944/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3604616 CPUtime=1801.29 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 905155 0 0 0 179947 182 0 0 20 0 1 0 268892870 3691126784 897324 33554432000 4194304 10173063 140736667637600 140736667632192 8925047 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 901154 897324 615 1460 0 899685 0
Current children cumulated CPU time (s) 1801.29
Current children cumulated vsize (KiB) 3604616
[startup+1802.01 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 4402
/proc/meminfo: memFree=24085060/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3604616 CPUtime=1801.7 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 905155 0 0 0 179988 182 0 0 20 0 1 0 268892870 3691126784 897324 33554432000 4194304 10173063 140736667637600 140736667632192 8925052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 901154 897324 615 1460 0 899685 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 3604616
[startup+1802.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 4402
/proc/meminfo: memFree=24085060/32873660 swapFree=7108/7108
[pid=4346] ppid=4344 vsize=3604616 CPUtime=1802.09 cores=0,2,4,6
/proc/4346/stat : 4346 (scip-2.1.1.4fix) R 4344 4346 3226 0 -1 4202496 905155 0 0 0 180027 182 0 0 20 0 1 0 268892870 3691126784 897324 33554432000 4194304 10173063 140736667637600 140736667632192 8925068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4346/statm: 901154 897324 615 1460 0 899685 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 3604616
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.46
CPU time (s): 1802.16
CPU user time (s): 1800.28
CPU system time (s): 1.88071
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 3604616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.28
system time used= 1.88071
maximum resident set size= 3589296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 905155
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= 29
involuntary context switches= 1899
runsolver used 6.09107 second user time and 17.7373 second system time
The end