4.09/4.14 c SCIP version 1.1.0.7
4.09/4.14 c LP-Solver SoPlex 1.4.1
4.09/4.14 c user parameter file <scip.set> not found - using default parameters
4.09/4.14 c read problem <HOME/instance-3743190-1338802834.opb>
4.09/4.14 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.69/11.75 c (round 2) 672 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 81776 impls, 1977 clqs
12.29/12.31 c (round 3) 675 del vars, 2645 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 81784 impls, 1977 clqs
66.78/66.82 c (round 4) 1350 del vars, 2645 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12206672 impls, 1977 clqs
66.99/67.03 c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12210678 impls, 1977 clqs
67.88/67.93 c (round 6) 3354 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231588 impls, 1977 clqs
68.08/68.14 c (round 7) 3354 del vars, 5324 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231596 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-3743190-1338802834/watcher-3743190-1338802834 -o /tmp/evaluation-result-3743190-1338802834/solver-3743190-1338802834 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743190-1338802834.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 2/177 17855
/proc/meminfo: memFree=25371480/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=8548 CPUtime=0 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1498 0 0 0 0 0 0 0 20 0 1 0 346407817 8753152 1450 33554432000 4194304 7823515 140736701387104 140735677632632 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 2137 1450 349 887 0 1247 0
[startup+0.0345961 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 17855
/proc/meminfo: memFree=25371480/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=17172 CPUtime=0.02 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 3666 0 0 0 2 0 0 0 20 0 1 0 346407817 17584128 3618 33554432000 4194304 7823515 140736701387104 140735677632632 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 4293 3618 354 887 0 3403 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17172
[startup+0.100325 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 17855
/proc/meminfo: memFree=25371480/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=29132 CPUtime=0.08 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 6657 0 0 0 8 0 0 0 20 0 1 0 346407817 29831168 6609 33554432000 4194304 7823515 140736701387104 140735677632632 6908057 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 7283 6609 354 887 0 6393 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29132
[startup+0.300282 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 17855
/proc/meminfo: memFree=25371480/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=54048 CPUtime=0.28 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 12849 0 0 0 27 1 0 0 20 0 1 0 346407817 55345152 12801 33554432000 4194304 7823515 140736701387104 140735677632632 6897431 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 13512 12801 354 887 0 12622 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 54048
[startup+0.700281 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 17855
/proc/meminfo: memFree=25371480/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=92268 CPUtime=0.69 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 22417 0 0 0 66 3 0 0 20 0 1 0 346407817 94482432 22369 33554432000 4194304 7823515 140736701387104 140736701253208 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 23067 22369 354 887 0 22177 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92268
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17856
/proc/meminfo: memFree=24920724/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=195044 CPUtime=1.49 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 48051 0 0 0 141 8 0 0 20 0 1 0 346407817 199725056 48003 33554432000 4194304 7823515 140736701387104 140736701253208 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 48761 48003 354 887 0 47871 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 195044
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17856
/proc/meminfo: memFree=24778116/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=393224 CPUtime=3.08 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 97554 0 0 0 292 16 0 0 20 0 1 0 346407817 402661376 97506 33554432000 4194304 7823515 140736701387104 140736701253208 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 98306 97506 354 887 0 97416 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 393224
[startup+6.30029 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 17856
/proc/meminfo: memFree=23984708/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=1071628 CPUtime=6.29 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 266623 0 0 0 574 55 0 0 20 0 1 0 346407817 1097347072 266694 33554432000 4194304 7823515 140736701387104 140736701384696 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 267907 266694 419 887 0 267017 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1071628
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 17856
/proc/meminfo: memFree=23561724/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=1527172 CPUtime=12.68 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 370759 0 0 0 1161 107 0 0 20 0 1 0 346407817 1563824128 380301 33554432000 4194304 7823515 140736701387104 140736701383288 5875112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 381793 380301 460 887 0 380903 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1527172
[startup+25.5003 s]
/proc/loadavg: 2.14 2.04 2.01 4/178 17856
/proc/meminfo: memFree=23469700/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=1515244 CPUtime=25.49 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 378646 0 0 0 2439 110 0 0 20 0 1 0 346407817 1551609856 377066 33554432000 4194304 7823515 140736701387104 140736701383800 5422857 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 378811 377066 461 887 0 377921 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1515244
[startup+51.1003 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 17856
/proc/meminfo: memFree=23042372/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=1752956 CPUtime=51.08 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 437206 0 0 0 4987 121 0 0 20 0 1 0 346407817 1795026944 435626 33554432000 4194304 7823515 140736701387104 140736701383800 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 438239 435626 462 887 0 437349 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1752956
[startup+102.306 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 17856
/proc/meminfo: memFree=22516764/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=2034572 CPUtime=102.28 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 507526 0 0 0 10067 161 0 0 20 0 1 0 346407817 2083401728 504142 33554432000 4194304 7823515 140736701387104 140736701383160 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 508643 504142 462 887 0 507753 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2034572
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 17856
/proc/meminfo: memFree=22090208/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=2236912 CPUtime=162.27 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 538169 0 0 0 16059 168 0 0 20 0 1 0 346407817 2290597888 553692 33554432000 4194304 7823515 140736701387104 140736701383160 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 559228 553692 462 887 0 558338 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2236912
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/177 17857
/proc/meminfo: memFree=21933616/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=2391712 CPUtime=222.26 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 573841 0 0 0 22054 172 0 0 20 0 1 0 346407817 2449113088 589875 33554432000 4194304 7823515 140736701387104 140736701382968 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 597928 589875 462 887 0 597038 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2391712
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17857
/proc/meminfo: memFree=21390912/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=2625688 CPUtime=282.25 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 631593 0 0 0 28042 183 0 0 20 0 1 0 346407817 2688704512 647627 33554432000 4194304 7823515 140736701387104 140736701382968 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 656422 647627 462 887 0 655532 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 2625688
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17857
/proc/meminfo: memFree=21113660/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=2785316 CPUtime=342.24 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 669422 0 0 0 34034 190 0 0 20 0 1 0 346407817 2852163584 685456 33554432000 4194304 7823515 140736701387104 140736701382968 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 696329 685456 462 887 0 695439 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2785316
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17857
/proc/meminfo: memFree=20879220/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=2906036 CPUtime=402.23 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 700911 0 0 0 40027 196 0 0 20 0 1 0 346407817 2975780864 716945 33554432000 4194304 7823515 140736701387104 140736701382968 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 726509 716945 462 887 0 725619 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2906036
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17857
/proc/meminfo: memFree=20626396/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=3044988 CPUtime=462.22 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 736179 0 0 0 46019 203 0 0 20 0 1 0 346407817 3118067712 752213 33554432000 4194304 7823515 140736701387104 140736701382968 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 761247 752213 462 887 0 760357 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3044988
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17858
/proc/meminfo: memFree=20230260/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=3200068 CPUtime=522.21 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 774104 0 0 0 52010 211 0 0 20 0 1 0 346407817 3276869632 790138 33554432000 4194304 7823515 140736701387104 140736701382968 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 800017 790138 462 887 0 799127 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3200068
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17861
/proc/meminfo: memFree=20043908/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=3364052 CPUtime=582.2 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 810711 0 0 0 58004 216 0 0 20 0 1 0 346407817 3444789248 826745 33554432000 4194304 7823515 140736701387104 140736701382968 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 841013 826745 462 887 0 840123 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3364052
[startup+642.3 s]
################
# More data... #
################
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 937888 0 0 0 105967 246 0 0 20 0 1 0 346407817 3959435264 953922 33554432000 4194304 7823515 140736701387104 140736701382968 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 966659 953922 462 887 0 965769 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3866636
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17863
/proc/meminfo: memFree=18867036/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=3876872 CPUtime=1122.12 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 942472 0 0 0 111964 248 0 0 20 0 1 0 346407817 3969916928 958506 33554432000 4194304 7823515 140736701387104 140736701382968 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 969218 958506 462 887 0 968328 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3876872
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17866
/proc/meminfo: memFree=18610500/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4149420 CPUtime=1182.11 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1001647 0 0 0 117952 259 0 0 20 0 1 0 346407817 4249006080 1017681 33554432000 4194304 7823515 140736701387104 140736701382968 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1037355 1017681 462 887 0 1036465 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 4149420
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17889
/proc/meminfo: memFree=18575436/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4159660 CPUtime=1242.1 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1006013 0 0 0 123949 261 0 0 20 0 1 0 346407817 4259491840 1022047 33554432000 4194304 7823515 140736701387104 140736701382968 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1039915 1022047 462 887 0 1039025 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 4159660
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17889
/proc/meminfo: memFree=18539760/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4168876 CPUtime=1302.1 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1010066 0 0 0 129947 263 0 0 20 0 1 0 346407817 4268929024 1026100 33554432000 4194304 7823515 140736701387104 140736701382968 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1042219 1026100 462 887 0 1041329 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 4168876
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17889
/proc/meminfo: memFree=18512756/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4177064 CPUtime=1362.08 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1013464 0 0 0 135944 264 0 0 20 0 1 0 346407817 4277313536 1029498 33554432000 4194304 7823515 140736701387104 140736701382968 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1044266 1029498 462 887 0 1043376 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 4177064
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 17889
/proc/meminfo: memFree=18264916/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4184232 CPUtime=1422.08 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1016551 0 0 0 141943 265 0 0 20 0 1 0 346407817 4284653568 1032585 33554432000 4194304 7823515 140736701387104 140736701382968 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1046058 1032585 462 887 0 1045168 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4184232
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17890
/proc/meminfo: memFree=18236292/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4192424 CPUtime=1482.06 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1020011 0 0 0 147939 267 0 0 20 0 1 0 346407817 4293042176 1036045 33554432000 4194304 7823515 140736701387104 140736701382968 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1048106 1036045 462 887 0 1047216 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4192424
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 17890
/proc/meminfo: memFree=18205320/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4201636 CPUtime=1542.05 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1023994 0 0 0 153936 269 0 0 20 0 1 0 346407817 4302475264 1040028 33554432000 4194304 7823515 140736701387104 140736701382968 5803616 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1050409 1040028 462 887 0 1049519 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 4201636
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17890
/proc/meminfo: memFree=18190344/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4204708 CPUtime=1602.05 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1025459 0 0 0 159935 270 0 0 20 0 1 0 346407817 4305620992 1041493 33554432000 4194304 7823515 140736701387104 140736701382968 5803643 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1051177 1041493 462 887 0 1050287 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 4204708
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17890
/proc/meminfo: memFree=17897324/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4530640 CPUtime=1662.03 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1095354 0 0 0 165922 281 0 0 20 0 1 0 346407817 4639375360 1111388 33554432000 4194304 7823515 140736701387104 140736701382968 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1132660 1111388 462 887 0 1131770 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 4530640
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17890
/proc/meminfo: memFree=17872552/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4537808 CPUtime=1722.02 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1098517 0 0 0 171919 283 0 0 20 0 1 0 346407817 4646715392 1114551 33554432000 4194304 7823515 140736701387104 140736701382968 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1134452 1114551 462 887 0 1133562 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 4537808
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17894
/proc/meminfo: memFree=17844052/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4546000 CPUtime=1782.02 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1101818 0 0 0 177916 286 0 0 20 0 1 0 346407817 4655104000 1117852 33554432000 4194304 7823515 140736701387104 140736701382968 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1136500 1117852 462 887 0 1135610 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 4546000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 17933
/proc/meminfo: memFree=21550400/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4547024 CPUtime=1800.02 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1102542 0 0 0 179716 286 0 0 20 0 1 0 346407817 4656152576 1118576 33554432000 4194304 7823515 140736701387104 140736701382968 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1136756 1118576 462 887 0 1135866 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4547024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17855
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 17934
/proc/meminfo: memFree=21295448/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4548048 CPUtime=1801.12 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1102821 0 0 0 179825 287 0 0 20 0 1 0 346407817 4657201152 1118855 33554432000 4194304 7823515 140736701387104 140736701382968 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1137012 1118855 462 887 0 1136122 0
Current children cumulated CPU time (s) 1801.12
Current children cumulated vsize (KiB) 4548048
[startup+1802.2 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 17934
/proc/meminfo: memFree=20980984/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=4549072 CPUtime=1801.92 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4202496 1103115 0 0 0 179905 287 0 0 20 0 1 0 346407817 4658249728 1119149 33554432000 4194304 7823515 140736701387104 140736701382968 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 1137268 1119149 462 887 0 1136378 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 4549072
[startup+1802.4 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 17934
/proc/meminfo: memFree=20980984/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=0 CPUtime=1802.12 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4203524 1103118 0 0 0 179916 296 0 0 20 0 1 0 346407817 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0
[startup+1802.5 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 17934
/proc/meminfo: memFree=20980984/32873844 swapFree=7628/7628
[pid=17855] ppid=17853 vsize=0 CPUtime=1802.22 cores=0,2,4,6
/proc/17855/stat : 17855 (pbscip.linux.x8) R 17853 17855 17511 0 -1 4203524 1103118 0 0 0 179916 306 0 0 20 0 1 0 346407817 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17855/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.22
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.57
CPU time (s): 1802.3
CPU user time (s): 1799.16
CPU system time (s): 3.13352
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 4549072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 3.13352
maximum resident set size= 4476608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1103118
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= 3
involuntary context switches= 1875
runsolver used 3.00454 second user time and 8.35373 second system time
The end