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-3693732-1338047004.opb>
2.19/2.21 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.19/2.21 c problem read in 2.21
4.89/4.99 c presolving:
10.18/10.24 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.79/11.82 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-3693732-1338047004/watcher-3693732-1338047004 -o /tmp/evaluation-result-3693732-1338047004/solver-3693732-1338047004 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693732-1338047004.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/178 8959
/proc/meminfo: memFree=27079108/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=11136 CPUtime=0 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 1473 0 0 0 0 0 0 0 20 0 1 0 270825276 11403264 1427 33554432000 4194304 10169799 140734555944448 140734399446392 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8959/statm: 2784 1443 412 1459 0 1316 0
[startup+0.0797169 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 8959
/proc/meminfo: memFree=27079108/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=37048 CPUtime=0.07 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 8003 0 0 0 6 1 0 0 20 0 1 0 270825276 37937152 7957 33554432000 4194304 10169799 140734555944448 140734399446392 5282272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8959/statm: 9262 7957 412 1459 0 7794 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 37048
[startup+0.10028 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 8959
/proc/meminfo: memFree=27079108/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=42392 CPUtime=0.09 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 9229 0 0 0 8 1 0 0 20 0 1 0 270825276 43409408 9184 33554432000 4194304 10169799 140734555944448 140734399446392 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8959/statm: 10598 9210 412 1459 0 9130 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42392
[startup+0.300226 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 8959
/proc/meminfo: memFree=27079108/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=79532 CPUtime=0.28 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 18645 0 0 0 26 2 0 0 20 0 1 0 270825276 81440768 18599 33554432000 4194304 10169799 140734555944448 140734399446392 8724538 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8959/statm: 19883 18599 412 1459 0 18415 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 79532
[startup+0.700219 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 8959
/proc/meminfo: memFree=27079108/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=179632 CPUtime=0.69 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 43674 0 0 0 63 6 0 0 20 0 1 0 270825276 183943168 43628 33554432000 4194304 10169799 140734555944448 140734399446392 5280594 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8959/statm: 44908 43628 412 1459 0 43440 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 179632
[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 8960
/proc/meminfo: memFree=26833604/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=367372 CPUtime=1.49 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 90348 0 0 0 137 12 0 0 20 0 1 0 270825276 376188928 90302 33554432000 4194304 10169799 140734555944448 140734555810776 8726915 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8959/statm: 91843 90302 412 1459 0 90375 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 367372
[startup+3.10024 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 8960
/proc/meminfo: memFree=26650456/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=935664 CPUtime=3.09 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 232006 0 0 0 279 30 0 0 20 0 1 0 270825276 958119936 232419 33554432000 4194304 10169799 140734555944448 140734555941432 5757893 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8959/statm: 233916 232419 489 1459 0 232448 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 935664
[startup+6.30026 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 8960
/proc/meminfo: memFree=25847712/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=1243204 CPUtime=6.28 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 330891 0 0 0 517 111 0 0 20 0 1 0 270825276 1273040896 308118 33554432000 4194304 10169799 140734555944448 140734555942600 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 310801 308118 545 1459 0 309333 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1243204
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 8960
/proc/meminfo: memFree=25466088/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=1624356 CPUtime=12.68 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 461150 0 0 0 941 327 0 0 20 0 1 0 270825276 1663340544 402899 33554432000 4194304 10169799 140734555944448 140734555942840 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 406089 402899 583 1459 0 404621 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1624356
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 8960
/proc/meminfo: memFree=25190316/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=1905056 CPUtime=25.48 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 508223 0 0 0 2200 348 0 0 20 0 1 0 270825276 1950777344 471945 33554432000 4194304 10169799 140734555944448 140734555941000 8922310 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 476264 471945 608 1459 0 474796 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1905056
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 8960
/proc/meminfo: memFree=25179868/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=1914656 CPUtime=51.08 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 510016 0 0 0 4759 349 0 0 20 0 1 0 270825276 1960607744 474249 33554432000 4194304 10169799 140734555944448 140734555941960 4950771 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 478664 474249 608 1459 0 477196 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1914656
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 8960
/proc/meminfo: memFree=25147608/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=1942032 CPUtime=102.28 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 517149 0 0 0 9878 350 0 0 20 0 1 0 270825276 1988640768 480821 33554432000 4194304 10169799 140734555944448 140734555941976 8922310 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 485508 480821 608 1459 0 484040 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1942032
[startup+162.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 8960
/proc/meminfo: memFree=23813752/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3308260 CPUtime=162.26 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 830357 0 0 0 15835 391 0 0 20 0 1 0 270825276 3387658240 813463 33554432000 4194304 10169799 140734555944448 140734555940712 8922268 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 827065 813463 608 1459 0 825597 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3308260
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 4/178 8960
/proc/meminfo: memFree=23811364/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3309284 CPUtime=222.25 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 830825 0 0 0 21834 391 0 0 20 0 1 0 270825276 3388706816 813931 33554432000 4194304 10169799 140734555944448 140734555940712 8922336 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 827321 813931 608 1459 0 825853 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3309284
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 4/179 8961
/proc/meminfo: memFree=23807300/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3311140 CPUtime=282.25 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 831497 0 0 0 27833 392 0 0 20 0 1 0 270825276 3390607360 814603 33554432000 4194304 10169799 140734555944448 140734555940712 8922285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 827785 814603 608 1459 0 826317 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3311140
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 4/179 8961
/proc/meminfo: memFree=23798892/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3313188 CPUtime=342.24 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 832198 0 0 0 33832 392 0 0 20 0 1 0 270825276 3392704512 815304 33554432000 4194304 10169799 140734555944448 140734555940712 8922285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 828297 815304 608 1459 0 826829 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3313188
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 8964
/proc/meminfo: memFree=23791556/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3313188 CPUtime=402.23 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 832407 0 0 0 39831 392 0 0 20 0 1 0 270825276 3392704512 815513 33554432000 4194304 10169799 140734555944448 140734555940712 8922300 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 828297 815513 608 1459 0 826829 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3313188
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 8964
/proc/meminfo: memFree=23787532/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3315104 CPUtime=462.22 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 833133 0 0 0 45830 392 0 0 20 0 1 0 270825276 3394666496 816206 33554432000 4194304 10169799 140734555944448 140734555940712 8922341 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 828776 816206 608 1459 0 827308 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3315104
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 8964
/proc/meminfo: memFree=23785084/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3315936 CPUtime=522.21 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 833561 0 0 0 51829 392 0 0 20 0 1 0 270825276 3395518464 816634 33554432000 4194304 10169799 140734555944448 140734555940712 8922300 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 828984 816634 608 1459 0 827516 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3315936
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 8965
/proc/meminfo: memFree=23783624/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3315936 CPUtime=582.2 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 833709 0 0 0 57828 392 0 0 20 0 1 0 270825276 3395518464 816782 33554432000 4194304 10169799 140734555944448 140734555940712 8922305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 828984 816782 608 1459 0 827516 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3315936
[startup+642.3 s]
################
# More data... #
################
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 837529 0 0 0 99820 393 0 0 20 0 1 0 270825276 3405012992 820534 33554432000 4194304 10169799 140734555944448 140734555940712 8922295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 831302 820534 608 1459 0 829834 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3325208
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8993
/proc/meminfo: memFree=23747164/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3325208 CPUtime=1062.13 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 837757 0 0 0 105819 394 0 0 20 0 1 0 270825276 3405012992 820762 33554432000 4194304 10169799 140734555944448 140734555940712 8922290 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 831302 820762 608 1459 0 829834 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3325208
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 4/179 8993
/proc/meminfo: memFree=23744428/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3327256 CPUtime=1122.12 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 838460 0 0 0 111818 394 0 0 20 0 1 0 270825276 3407110144 821464 33554432000 4194304 10169799 140734555944448 140734555940712 8922285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 831814 821464 608 1459 0 830346 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3327256
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 8994
/proc/meminfo: memFree=23735588/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3328088 CPUtime=1182.1 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 838897 0 0 0 117816 394 0 0 20 0 1 0 270825276 3407962112 822067 33554432000 4194304 10169799 140734555944448 140734555940712 8922295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 832022 822067 608 1459 0 830554 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3328088
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 4/179 8994
/proc/meminfo: memFree=23733136/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3330136 CPUtime=1242.1 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 839574 0 0 0 123815 395 0 0 20 0 1 0 270825276 3410059264 822743 33554432000 4194304 10169799 140734555944448 140734555940712 8922280 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 832534 822743 608 1459 0 831066 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3330136
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 8994
/proc/meminfo: memFree=23720268/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3331160 CPUtime=1302.09 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 840046 0 0 0 129814 395 0 0 20 0 1 0 270825276 3411107840 825918 33554432000 4194304 10169799 140734555944448 140734555940712 8922300 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 832790 825918 608 1459 0 831322 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3331160
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 2/173 9018
/proc/meminfo: memFree=25748792/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3333016 CPUtime=1362.08 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 840738 0 0 0 135812 396 0 0 20 0 1 0 270825276 3413008384 827099 33554432000 4194304 10169799 140734555944448 140734555940712 8922310 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 833254 827099 608 1459 0 831786 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3333016
[startup+1422.31 s]
/proc/loadavg: 1.37 1.82 1.94 2/173 9018
/proc/meminfo: memFree=25746984/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3332884 CPUtime=1422.08 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 840966 0 0 0 141812 396 0 0 20 0 1 0 270825276 3412873216 827608 33554432000 4194304 10169799 140734555944448 140734555941032 8922316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 833221 827608 608 1459 0 831753 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3332884
[startup+1482.3 s]
/proc/loadavg: 1.13 1.67 1.87 2/173 9019
/proc/meminfo: memFree=25743540/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3334932 CPUtime=1482.06 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 841706 0 0 0 147810 396 0 0 20 0 1 0 270825276 3414970368 828548 33554432000 4194304 10169799 140734555944448 140734555940712 8922295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 833733 828548 608 1459 0 832265 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3334932
[startup+1542.3 s]
/proc/loadavg: 1.05 1.55 1.82 2/173 9019
/proc/meminfo: memFree=25740592/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3336788 CPUtime=1542.05 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 842410 0 0 0 153809 396 0 0 20 0 1 0 270825276 3416870912 829252 33554432000 4194304 10169799 140734555944448 140734555940712 8922305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 834197 829252 608 1459 0 832729 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3336788
[startup+1602.3 s]
/proc/loadavg: 1.02 1.44 1.76 2/174 9022
/proc/meminfo: memFree=25737728/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3338836 CPUtime=1602.05 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 843162 0 0 0 159808 397 0 0 20 0 1 0 270825276 3418968064 830004 33554432000 4194304 10169799 140734555944448 140734555940712 8922341 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 834709 830004 608 1459 0 833241 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3338836
[startup+1662.3 s]
/proc/loadavg: 1.00 1.36 1.71 2/173 9022
/proc/meminfo: memFree=25736072/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3338836 CPUtime=1662.03 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 843403 0 0 0 165806 397 0 0 20 0 1 0 270825276 3418968064 830402 33554432000 4194304 10169799 140734555944448 140734555940712 8922316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 834709 830402 608 1459 0 833241 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3338836
[startup+1722.3 s]
/proc/loadavg: 1.00 1.29 1.66 2/173 9022
/proc/meminfo: memFree=25732416/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3339860 CPUtime=1722.02 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 843833 0 0 0 171805 397 0 0 20 0 1 0 270825276 3420016640 831372 33554432000 4194304 10169799 140734555944448 140734555940712 8922316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 834965 831372 608 1459 0 833497 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3339860
[startup+1782.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/173 9023
/proc/meminfo: memFree=25728252/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3341716 CPUtime=1782.01 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 844367 0 0 0 177804 397 0 0 20 0 1 0 270825276 3421917184 832328 33554432000 4194304 10169799 140734555944448 140734555940712 8922305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 835429 832328 608 1459 0 833961 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3341716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.00 1.22 1.61 2/173 9023
/proc/meminfo: memFree=25727356/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3342740 CPUtime=1800.01 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 844633 0 0 0 179604 397 0 0 20 0 1 0 270825276 3422965760 832594 33554432000 4194304 10169799 140734555944448 140734555940712 8922316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 835685 832594 608 1459 0 834217 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3342740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8959
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.22 1.61 2/174 9024
/proc/meminfo: memFree=25727356/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3342740 CPUtime=1801.1 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 844633 0 0 0 179713 397 0 0 20 0 1 0 270825276 3422965760 832594 33554432000 4194304 10169799 140734555944448 140734555940160 8922305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 835685 832594 608 1459 0 834217 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 3342740
[startup+1802.2 s]
/proc/loadavg: 1.00 1.22 1.61 2/174 9024
/proc/meminfo: memFree=25727224/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=3342740 CPUtime=1801.9 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4202496 844633 0 0 0 179793 397 0 0 20 0 1 0 270825276 3422965760 832594 33554432000 4194304 10169799 140734555944448 140734555940160 8922295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8959/statm: 835685 832594 608 1459 0 834217 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 3342740
[startup+1802.4 s]
/proc/loadavg: 1.00 1.22 1.61 2/174 9024
/proc/meminfo: memFree=25727224/32873844 swapFree=7364/7364
[pid=8959] ppid=8957 vsize=0 CPUtime=1802.1 cores=0,2,4,6
/proc/8959/stat : 8959 (scip-2.1.1.4sfi) R 8957 8959 4481 0 -1 4203524 844633 0 0 0 179804 406 0 0 20 0 1 0 270825276 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8959/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.41
CPU time (s): 1802.12
CPU user time (s): 1798.05
CPU system time (s): 4.07338
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 3342740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.05
system time used= 4.07338
maximum resident set size= 3330376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 844633
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= 20
involuntary context switches= 2104
runsolver used 3.41848 second user time and 9.43456 second system time
The end