4.08/4.13 c SCIP version 1.1.0.7
4.08/4.13 c LP-Solver SoPlex 1.4.1
4.08/4.13 c user parameter file <scip.set> not found - using default parameters
4.08/4.13 c read problem <HOME/instance-3743223-1338803632.opb>
4.08/4.13 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
5.59/5.64 c start presolving problem
5.59/5.64 c presolving:
8.49/8.56 c (round 1) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
11.68/11.71 c (round 2) 671 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 100458 impls, 1977 clqs
12.18/12.27 c (round 3) 674 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 100466 impls, 1977 clqs
88.05/88.11 c (round 4) 1350 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 17080982 impls, 1977 clqs
88.26/88.32 c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 17086324 impls, 1977 clqs
89.35/89.44 c (round 6) 3356 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 17119676 impls, 1977 clqs
89.55/89.66 c (round 7) 3356 del vars, 5326 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 17119684 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-3743223-1338803632/watcher-3743223-1338803632 -o /tmp/evaluation-result-3743223-1338803632/solver-3743223-1338803632 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743223-1338803632.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 11219
/proc/meminfo: memFree=28600320/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=9128 CPUtime=0 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1621 0 0 0 0 0 0 0 20 0 1 0 346488146 9347072 1574 33554432000 4194304 7823515 140735698410336 140736717719336 6888849 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 2282 1574 349 887 0 1392 0
[startup+0.088047 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 11219
/proc/meminfo: memFree=28600320/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=26108 CPUtime=0.08 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 5860 0 0 0 7 1 0 0 20 0 1 0 346488146 26734592 5813 33554432000 4194304 7823515 140735698410336 140736717719336 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 6527 5813 354 887 0 5637 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26108
[startup+0.100365 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 11219
/proc/meminfo: memFree=28600320/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=29248 CPUtime=0.09 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 6649 0 0 0 8 1 0 0 20 0 1 0 346488146 29949952 6602 33554432000 4194304 7823515 140735698410336 140736717719336 4403145 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 7312 6602 354 887 0 6422 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29248
[startup+0.300284 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 11219
/proc/meminfo: memFree=28600320/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=53100 CPUtime=0.29 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 12607 0 0 0 27 2 0 0 20 0 1 0 346488146 54374400 12560 33554432000 4194304 7823515 140735698410336 140735698276440 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 13275 12560 354 887 0 12385 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53100
[startup+0.700285 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 11219
/proc/meminfo: memFree=28600320/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=91320 CPUtime=0.69 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 22174 0 0 0 66 3 0 0 20 0 1 0 346488146 93511680 22127 33554432000 4194304 7823515 140735698410336 140735698276440 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 22830 22127 354 887 0 21940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91320
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11230
/proc/meminfo: memFree=28359380/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=195120 CPUtime=1.49 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 48064 0 0 0 142 7 0 0 20 0 1 0 346488146 199802880 48017 33554432000 4194304 7823515 140735698410336 140735698276440 4512305 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 48780 48017 354 887 0 47890 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 195120
[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11230
/proc/meminfo: memFree=28077520/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=394392 CPUtime=3.08 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 97825 0 0 0 294 14 0 0 20 0 1 0 346488146 403857408 97778 33554432000 4194304 7823515 140735698410336 140735698276440 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 98598 97778 354 887 0 97708 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 394392
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11230
/proc/meminfo: memFree=26592564/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=1071632 CPUtime=6.29 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 267129 0 0 0 577 52 0 0 20 0 1 0 346488146 1097351168 266690 33554432000 4194304 7823515 140735698410336 140735698407272 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 267908 266690 419 887 0 267018 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1071632
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11230
/proc/meminfo: memFree=25643240/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=1482488 CPUtime=12.69 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 371218 0 0 0 1164 105 0 0 20 0 1 0 346488146 1518067712 369127 33554432000 4194304 7823515 140735698410336 140735698406040 5808607 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 370622 369127 460 887 0 369732 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1482488
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11231
/proc/meminfo: memFree=25612124/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=1514024 CPUtime=25.48 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 378861 0 0 0 2442 106 0 0 20 0 1 0 346488146 1550360576 376808 33554432000 4194304 7823515 140735698410336 140735698407016 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 378506 376808 461 887 0 377616 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1514024
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11231
/proc/meminfo: memFree=25145960/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=1758496 CPUtime=51.07 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 439029 0 0 0 4989 118 0 0 20 0 1 0 346488146 1800699904 436966 33554432000 4194304 7823515 140735698410336 140735698407032 5422857 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 439624 436966 462 887 0 438734 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1758496
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11231
/proc/meminfo: memFree=24427176/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=2139472 CPUtime=102.26 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 533217 0 0 0 10066 160 0 0 20 0 1 0 346488146 2190819328 529344 33554432000 4194304 7823515 140735698410336 140735698406392 5803627 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 534868 529344 462 887 0 533978 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 2139472
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11231
/proc/meminfo: memFree=24058528/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=2293356 CPUtime=162.24 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 552049 0 0 0 16060 164 0 0 20 0 1 0 346488146 2348396544 567083 33554432000 4194304 7823515 140735698410336 140735698406392 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 573339 567083 462 887 0 572449 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 2293356
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11231
/proc/meminfo: memFree=23557528/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=2620572 CPUtime=222.23 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 628712 0 0 0 22047 176 0 0 20 0 1 0 346488146 2683465728 644767 33554432000 4194304 7823515 140735698410336 140735698406200 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 655143 644767 462 887 0 654253 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 2620572
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11231
/proc/meminfo: memFree=23132732/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=2847088 CPUtime=282.22 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 683628 0 0 0 28035 187 0 0 20 0 1 0 346488146 2915418112 699679 33554432000 4194304 7823515 140735698410336 140735698406200 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 711772 699679 462 887 0 710882 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 2847088
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11232
/proc/meminfo: memFree=22834912/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=2971680 CPUtime=342.2 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 716580 0 0 0 34026 194 0 0 20 0 1 0 346488146 3043000320 732629 33554432000 4194304 7823515 140735698410336 140735698406200 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 742920 732629 462 887 0 742030 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 2971680
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11235
/proc/meminfo: memFree=22596736/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=3100384 CPUtime=402.19 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 748393 0 0 0 40018 201 0 0 20 0 1 0 346488146 3174793216 764692 33554432000 4194304 7823515 140735698410336 140735698406200 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 775096 764692 462 887 0 774206 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 3100384
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11257
/proc/meminfo: memFree=22325576/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=3251368 CPUtime=462.18 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 785252 0 0 0 46009 209 0 0 20 0 1 0 346488146 3329400832 801550 33554432000 4194304 7823515 140735698410336 140735698406200 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 812842 801550 462 887 0 811952 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 3251368
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11257
/proc/meminfo: memFree=22033964/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=3418424 CPUtime=522.17 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 823123 0 0 0 52000 217 0 0 20 0 1 0 346488146 3500466176 839421 33554432000 4194304 7823515 140735698410336 140735698406200 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 854606 839421 462 887 0 853716 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 3418424
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11257
/proc/meminfo: memFree=21993320/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=3427984 CPUtime=582.16 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 827208 0 0 0 57997 219 0 0 20 0 1 0 346488146 3510255616 843506 33554432000 4194304 7823515 140735698410336 140735698406200 5803647 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 856996 843506 462 887 0 856106 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 3427984
[startup+642.3 s]
################
# More data... #
################
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 945853 0 0 0 105960 247 0 0 20 0 1 0 346488146 4003930112 966568 33554432000 4194304 7823515 140735698410336 140735698406200 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 977522 966568 462 887 0 976632 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 3910088
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11262
/proc/meminfo: memFree=20867280/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=3920328 CPUtime=1122.06 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 950177 0 0 0 111957 249 0 0 20 0 1 0 346488146 4014415872 972246 33554432000 4194304 7823515 140735698410336 140735698406200 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 980082 972246 462 887 0 979192 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 3920328
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11262
/proc/meminfo: memFree=20835828/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=3932612 CPUtime=1182.05 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 955324 0 0 0 117953 252 0 0 20 0 1 0 346488146 4026994688 978014 33554432000 4194304 7823515 140735698410336 140735698406200 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 983153 978014 462 887 0 982263 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 3932612
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 11262
/proc/meminfo: memFree=20809436/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=3940804 CPUtime=1242.04 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 958754 0 0 0 123950 254 0 0 20 0 1 0 346488146 4035383296 982004 33554432000 4194304 7823515 140735698410336 140735698406200 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 985201 982004 462 887 0 984311 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 3940804
[startup+1302.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 11263
/proc/meminfo: memFree=20564184/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4209256 CPUtime=1302.04 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1016428 0 0 0 129942 262 0 0 20 0 1 0 346488146 4310278144 1039780 33554432000 4194304 7823515 140735698410336 140735698406200 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1052314 1039780 462 887 0 1051424 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 4209256
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 11263
/proc/meminfo: memFree=20530128/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4219496 CPUtime=1362.02 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1020572 0 0 0 135939 263 0 0 20 0 1 0 346488146 4320763904 1044147 33554432000 4194304 7823515 140735698410336 140735698406200 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1054874 1044147 462 887 0 1053984 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 4219496
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11263
/proc/meminfo: memFree=20499140/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4227684 CPUtime=1422.01 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1024061 0 0 0 141936 265 0 0 20 0 1 0 346488146 4329148416 1048024 33554432000 4194304 7823515 140735698410336 140735698406200 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1056921 1048024 462 887 0 1056031 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 4227684
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11263
/proc/meminfo: memFree=20475872/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4235764 CPUtime=1482 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1027252 0 0 0 147933 267 0 0 20 0 1 0 346488146 4337422336 1051467 33554432000 4194304 7823515 140735698410336 140735698406200 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1058941 1051467 462 887 0 1058051 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 4235764
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11263
/proc/meminfo: memFree=20236192/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4240884 CPUtime=1542 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1029352 0 0 0 153931 269 0 0 20 0 1 0 346488146 4342665216 1053740 33554432000 4194304 7823515 140735698410336 140735698406200 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1060221 1053740 462 887 0 1059331 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 4240884
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11267
/proc/meminfo: memFree=20209940/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4248052 CPUtime=1601.98 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1032282 0 0 0 159929 269 0 0 20 0 1 0 346488146 4350005248 1056932 33554432000 4194304 7823515 140735698410336 140735698406200 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1062013 1056932 462 887 0 1061123 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 4248052
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11267
/proc/meminfo: memFree=20188400/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4252148 CPUtime=1661.97 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1034431 0 0 0 165927 270 0 0 20 0 1 0 346488146 4354199552 1059081 33554432000 4194304 7823515 140735698410336 140735698406200 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1063037 1059081 462 887 0 1062147 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 4252148
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11267
/proc/meminfo: memFree=20166356/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4259312 CPUtime=1721.96 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1037370 0 0 0 171925 271 0 0 20 0 1 0 346488146 4361535488 1062334 33554432000 4194304 7823515 140735698410336 140735698406200 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1064828 1062334 462 887 0 1063938 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 4259312
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11267
/proc/meminfo: memFree=20143320/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4266480 CPUtime=1781.95 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1040155 0 0 0 177923 272 0 0 20 0 1 0 346488146 4368875520 1065119 33554432000 4194304 7823515 140735698410336 140735698406200 5803662 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1066620 1065119 462 887 0 1065730 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 4266480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11267
/proc/meminfo: memFree=19871728/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4585248 CPUtime=1800.06 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1107313 0 0 0 179724 282 0 0 20 0 1 0 346488146 4695293952 1132277 33554432000 4194304 7823515 140735698410336 140735698406200 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1146312 1132277 462 887 0 1145422 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 4585248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11219
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11269
/proc/meminfo: memFree=19871356/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4585248 CPUtime=1801.05 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1107370 0 0 0 179823 282 0 0 20 0 1 0 346488146 4695293952 1132334 33554432000 4194304 7823515 140735698410336 140735698405632 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1146312 1132334 462 887 0 1145422 0
Current children cumulated CPU time (s) 1801.05
Current children cumulated vsize (KiB) 4585248
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11269
/proc/meminfo: memFree=19870844/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4586272 CPUtime=1801.85 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1107655 0 0 0 179903 282 0 0 20 0 1 0 346488146 4696342528 1132619 33554432000 4194304 7823515 140735698410336 140735698405632 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1146568 1132619 462 887 0 1145678 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 4586272
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11269
/proc/meminfo: memFree=19870844/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=4586272 CPUtime=1802.05 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4202496 1107658 0 0 0 179923 282 0 0 20 0 1 0 346488146 4696342528 1132622 33554432000 4194304 7823515 140735698410336 140735698406200 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 1146568 1132622 462 887 0 1145678 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 4586272
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11269
/proc/meminfo: memFree=19870844/32873844 swapFree=7120/7120
[pid=11219] ppid=11217 vsize=0 CPUtime=1802.15 cores=0,2,4,6
/proc/11219/stat : 11219 (pbscip.linux.x8) R 11217 11219 7918 0 -1 4203524 1107658 0 0 0 179924 291 0 0 20 0 1 0 346488146 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11219/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.19
CPU user time (s): 1799.25
CPU system time (s): 2.94455
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 4586272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 2.94455
maximum resident set size= 4530488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1107658
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= 91
involuntary context switches= 1931
runsolver used 4.08238 second user time and 11.2593 second system time
The end