4.09/4.13 c SCIP version 1.1.0.7
4.09/4.13 c LP-Solver SoPlex 1.4.1
4.09/4.13 c user parameter file <scip.set> not found - using default parameters
4.09/4.13 c read problem <HOME/instance-3743377-1338805460.opb>
4.09/4.13 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
5.59/5.62 c start presolving problem
5.59/5.62 c presolving:
8.48/8.53 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.49/11.50 c (round 2) 671 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 81778 impls, 1978 clqs
11.99/12.05 c (round 3) 674 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 81786 impls, 1978 clqs
66.36/66.41 c (round 4) 1350 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12227162 impls, 1978 clqs
66.57/66.62 c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231168 impls, 1978 clqs
67.47/67.55 c (round 6) 3354 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12256858 impls, 1978 clqs
67.66/67.76 c (round 7) 3354 del vars, 5324 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12256866 impls, 1978 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-3743377-1338805460/watcher-3743377-1338805460 -o /tmp/evaluation-result-3743377-1338805460/solver-3743377-1338805460 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743377-1338805460.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: 0.92 1.00 1.25 3/173 18539
/proc/meminfo: memFree=26347056/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=8728 CPUtime=0 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1508 0 0 0 0 0 0 0 20 0 1 0 346670538 8937472 1460 33554432000 4194304 7823515 140733761998944 140736549228904 5878822 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 2182 1469 349 887 0 1292 0
[startup+0.0209231 s]
/proc/loadavg: 0.92 1.00 1.25 3/173 18539
/proc/meminfo: memFree=26347056/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=13852 CPUtime=0.01 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 2819 0 0 0 1 0 0 0 20 0 1 0 346670538 14184448 2771 33554432000 4194304 7823515 140733761998944 140736549228904 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 3463 2771 354 887 0 2573 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13852
[startup+0.100284 s]
/proc/loadavg: 0.92 1.00 1.25 3/173 18539
/proc/meminfo: memFree=26347056/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=29144 CPUtime=0.09 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 6657 0 0 0 9 0 0 0 20 0 1 0 346670538 29843456 6609 33554432000 4194304 7823515 140733761998944 140736549228904 6908052 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 7286 6609 354 887 0 6396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29144
[startup+0.300256 s]
/proc/loadavg: 0.92 1.00 1.25 3/173 18539
/proc/meminfo: memFree=26347056/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=54060 CPUtime=0.29 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 12850 0 0 0 28 1 0 0 20 0 1 0 346670538 55357440 12802 33554432000 4194304 7823515 140733761998944 140736549228904 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 13515 12802 354 887 0 12625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54060
[startup+0.700267 s]
/proc/loadavg: 0.92 1.00 1.25 3/173 18539
/proc/meminfo: memFree=26347056/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=92280 CPUtime=0.69 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 22418 0 0 0 67 2 0 0 20 0 1 0 346670538 94494720 22370 33554432000 4194304 7823515 140733761998944 140733761865048 5878822 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 23070 22370 354 887 0 22180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92280
[startup+1.50027 s]
/proc/loadavg: 0.92 1.00 1.25 3/177 18543
/proc/meminfo: memFree=26097388/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=195380 CPUtime=1.49 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 48134 0 0 0 143 6 0 0 20 0 1 0 346670538 200069120 48086 33554432000 4194304 7823515 140733761998944 140733761865048 5878822 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 48845 48086 354 887 0 47955 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 195380
[startup+3.10027 s]
/proc/loadavg: 0.92 1.00 1.25 3/177 18543
/proc/meminfo: memFree=25817264/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=395540 CPUtime=3.08 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 98121 0 0 0 295 13 0 0 20 0 1 0 346670538 405032960 98073 33554432000 4194304 7823515 140733761998944 140733761865048 5878822 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 98885 98073 354 887 0 97995 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 395540
[startup+6.30028 s]
/proc/loadavg: 1.01 1.02 1.25 3/177 18543
/proc/meminfo: memFree=24293740/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=1072016 CPUtime=6.29 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 266172 0 0 0 581 48 0 0 20 0 1 0 346670538 1097744384 266754 33554432000 4194304 7823515 140733761998944 140733761996536 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 268004 266754 419 887 0 267114 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1072016
[startup+12.7003 s]
/proc/loadavg: 1.09 1.03 1.26 3/177 18543
/proc/meminfo: memFree=23353432/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=1482648 CPUtime=12.68 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 370748 0 0 0 1168 100 0 0 20 0 1 0 346670538 1518231552 369167 33554432000 4194304 7823515 140733761998944 140733761995128 5803600 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 370662 369167 461 887 0 369772 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1482648
[startup+25.5003 s]
/proc/loadavg: 1.29 1.08 1.27 3/177 18544
/proc/meminfo: memFree=23359476/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=1519504 CPUtime=25.48 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 379437 0 0 0 2445 103 0 0 20 0 1 0 346670538 1555972096 377893 33554432000 4194304 7823515 140733761998944 140733761995624 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 379876 377893 461 887 0 378986 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1519504
[startup+51.1003 s]
/proc/loadavg: 1.53 1.15 1.29 3/177 18544
/proc/meminfo: memFree=22903248/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=1756468 CPUtime=51.07 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 437905 0 0 0 4992 115 0 0 20 0 1 0 346670538 1798623232 436354 33554432000 4194304 7823515 140733761998944 140733761995640 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 439117 436354 462 887 0 438227 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1756468
[startup+102.307 s]
/proc/loadavg: 1.79 1.28 1.32 3/177 18544
/proc/meminfo: memFree=22277712/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=2038888 CPUtime=102.26 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 507528 0 0 0 10072 154 0 0 20 0 1 0 346670538 2087821312 505189 33554432000 4194304 7823515 140733761998944 140733761995000 5803604 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 509722 505189 462 887 0 508832 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 2038888
[startup+162.3 s]
/proc/loadavg: 1.92 1.41 1.36 3/177 18544
/proc/meminfo: memFree=21867460/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=2239376 CPUtime=162.25 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 537110 0 0 0 16064 161 0 0 20 0 1 0 346670538 2293121024 553677 33554432000 4194304 7823515 140733761998944 140733761995000 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 559844 553677 462 887 0 558954 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 2239376
[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.40 3/177 18544
/proc/meminfo: memFree=21517864/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=2403952 CPUtime=222.24 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 575507 0 0 0 22058 166 0 0 20 0 1 0 346670538 2461646848 592585 33554432000 4194304 7823515 140733761998944 140733761994808 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 600988 592585 462 887 0 600098 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 2403952
[startup+282.3 s]
/proc/loadavg: 1.99 1.60 1.43 3/177 18544
/proc/meminfo: memFree=21043840/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=2625916 CPUtime=282.23 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 630268 0 0 0 28047 176 0 0 20 0 1 0 346670538 2688937984 647341 33554432000 4194304 7823515 140733761998944 140733761994808 5803604 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 656479 647341 462 887 0 655589 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 2625916
[startup+342.3 s]
/proc/loadavg: 1.99 1.67 1.46 3/178 18548
/proc/meminfo: memFree=20736828/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=2785056 CPUtime=342.21 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 668199 0 0 0 34039 182 0 0 20 0 1 0 346670538 2851897344 685269 33554432000 4194304 7823515 140733761998944 140733761994808 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 696264 685269 462 887 0 695374 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 2785056
[startup+402.3 s]
/proc/loadavg: 1.99 1.73 1.49 3/177 18548
/proc/meminfo: memFree=20539092/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=2907824 CPUtime=402.2 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 700291 0 0 0 40031 189 0 0 20 0 1 0 346670538 2977611776 717612 33554432000 4194304 7823515 140733761998944 140733761994808 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 726956 717612 462 887 0 726066 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 2907824
[startup+462.3 s]
/proc/loadavg: 1.99 1.77 1.52 3/177 18548
/proc/meminfo: memFree=20162904/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=3176256 CPUtime=462.19 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 763190 0 0 0 46020 199 0 0 20 0 1 0 346670538 3252486144 780511 33554432000 4194304 7823515 140733761998944 140733761994808 5802323 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 794064 780511 462 887 0 793174 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 3176256
[startup+522.3 s]
/proc/loadavg: 1.99 1.81 1.55 3/177 18548
/proc/meminfo: memFree=19978296/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=3201856 CPUtime=522.18 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 773440 0 0 0 52014 204 0 0 20 0 1 0 346670538 3278700544 790761 33554432000 4194304 7823515 140733761998944 140733761994808 5802402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 800464 790761 462 887 0 799574 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 3201856
[startup+582.3 s]
/proc/loadavg: 1.99 1.84 1.57 3/177 18548
/proc/meminfo: memFree=19810684/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=3365840 CPUtime=582.17 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 810308 0 0 0 58006 211 0 0 20 0 1 0 346670538 3446620160 827629 33554432000 4194304 7823515 140733761998944 140733761994808 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 841460 827629 462 887 0 840570 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 3365840
[startup+642.3 s]
################
# More data... #
################
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 936384 0 0 0 105969 239 0 0 20 0 1 0 346670538 3958120448 957800 33554432000 4194304 7823515 140733761998944 140733761994808 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 966338 957800 462 887 0 965448 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 3865352
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/177 18554
/proc/meminfo: memFree=18654388/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=3877636 CPUtime=1122.07 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 941416 0 0 0 111965 242 0 0 20 0 1 0 346670538 3970699264 963907 33554432000 4194304 7823515 140733761998944 140733761994808 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 969409 963907 462 887 0 968519 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 3877636
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/177 18554
/proc/meminfo: memFree=18627260/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4029372 CPUtime=1182.06 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 974975 0 0 0 117959 247 0 0 20 0 1 0 346670538 4126076928 998029 33554432000 4194304 7823515 140733761998944 140733761994808 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1007343 998029 462 887 0 1006453 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 4029372
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/176 18554
/proc/meminfo: memFree=18374212/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4160424 CPUtime=1242.05 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1004914 0 0 0 123952 253 0 0 20 0 1 0 346670538 4260274176 1028213 33554432000 4194304 7823515 140733761998944 140733761994808 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1040106 1028213 462 887 0 1039216 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 4160424
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.78 3/177 18555
/proc/meminfo: memFree=18342488/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4169636 CPUtime=1302.05 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1008992 0 0 0 129950 255 0 0 20 0 1 0 346670538 4269707264 1032513 33554432000 4194304 7823515 140733761998944 140733761994808 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1042409 1032513 462 887 0 1041519 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 4169636
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/177 18555
/proc/meminfo: memFree=18309408/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4178852 CPUtime=1362.02 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1012955 0 0 0 135946 256 0 0 20 0 1 0 346670538 4279144448 1036865 33554432000 4194304 7823515 140733761998944 140733761994808 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1044713 1036865 462 887 0 1043823 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 4178852
[startup+1422.31 s]
/proc/loadavg: 2.10 2.00 1.82 3/177 18555
/proc/meminfo: memFree=18279428/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4188064 CPUtime=1422.02 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1016797 0 0 0 141944 258 0 0 20 0 1 0 346670538 4288577536 1040958 33554432000 4194304 7823515 140733761998944 140733761994808 4842001 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1047016 1040958 462 887 0 1046126 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 4188064
[startup+1482.3 s]
/proc/loadavg: 2.04 2.00 1.82 3/177 18555
/proc/meminfo: memFree=18034804/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4196256 CPUtime=1482 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1020240 0 0 0 147940 260 0 0 20 0 1 0 346670538 4296966144 1044575 33554432000 4194304 7823515 140733761998944 140733761994808 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1049064 1044575 462 887 0 1048174 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 4196256
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.83 3/178 18558
/proc/meminfo: memFree=18011380/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4202400 CPUtime=1541.99 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1022878 0 0 0 153938 261 0 0 20 0 1 0 346670538 4303257600 1047213 33554432000 4194304 7823515 140733761998944 140733761994808 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1050600 1047213 462 887 0 1049710 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 4202400
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 18559
/proc/meminfo: memFree=17989724/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4206496 CPUtime=1601.99 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1024673 0 0 0 159937 262 0 0 20 0 1 0 346670538 4307451904 1049269 33554432000 4194304 7823515 140733761998944 140733761994808 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1051624 1049269 462 887 0 1050734 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 4206496
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 18559
/proc/meminfo: memFree=17700584/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4531404 CPUtime=1661.97 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1094114 0 0 0 165924 273 0 0 20 0 1 0 346670538 4640157696 1118710 33554432000 4194304 7823515 140733761998944 140733761994808 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1132851 1118710 462 887 0 1131961 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 4531404
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 18559
/proc/meminfo: memFree=17676680/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4538572 CPUtime=1721.97 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1097356 0 0 0 171922 275 0 0 20 0 1 0 346670538 4647497728 1122266 33554432000 4194304 7823515 140733761998944 140733761994808 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1134643 1122266 462 887 0 1133753 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 4538572
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 18559
/proc/meminfo: memFree=17654264/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4545736 CPUtime=1781.95 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1100421 0 0 0 177919 276 0 0 20 0 1 0 346670538 4654833664 1125331 33554432000 4194304 7823515 140733761998944 140733761994808 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1136434 1125331 462 887 0 1135544 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 4545736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18560
/proc/meminfo: memFree=17648900/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4547784 CPUtime=1800.06 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1101390 0 0 0 179729 277 0 0 20 0 1 0 346670538 4656930816 1126300 33554432000 4194304 7823515 140733761998944 140733761994808 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1136946 1126300 462 887 0 1136056 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 4547784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18539
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 18561
/proc/meminfo: memFree=17648900/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4547784 CPUtime=1801.06 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1101410 0 0 0 179829 277 0 0 20 0 1 0 346670538 4656930816 1126320 33554432000 4194304 7823515 140733761998944 140733761994240 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1136946 1126320 462 887 0 1136056 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 4547784
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 18561
/proc/meminfo: memFree=17648512/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4547784 CPUtime=1801.86 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1101430 0 0 0 179909 277 0 0 20 0 1 0 346670538 4656930816 1126340 33554432000 4194304 7823515 140733761998944 140733761994240 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1136946 1126340 462 887 0 1136056 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 4547784
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 18561
/proc/meminfo: memFree=17648512/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=4547784 CPUtime=1802.06 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4202496 1101436 0 0 0 179929 277 0 0 20 0 1 0 346670538 4656930816 1126346 33554432000 4194304 7823515 140733761998944 140733761994240 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 1136946 1126346 462 887 0 1136056 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 4547784
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 18561
/proc/meminfo: memFree=17648512/32873844 swapFree=6608/6608
[pid=18539] ppid=18535 vsize=0 CPUtime=1802.16 cores=0,2,4,6
/proc/18539/stat : 18539 (pbscip.linux.x8) R 18535 18539 15309 0 -1 4203524 1101437 0 0 0 179930 286 0 0 20 0 1 0 346670538 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18539/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.19
CPU user time (s): 1799.3
CPU system time (s): 2.88656
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 4547784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 2.88656
maximum resident set size= 4505388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1101437
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= 97
involuntary context switches= 2154
runsolver used 3.69244 second user time and 9.25759 second system time
The end