4.08/4.10 c SCIP version 1.1.0.7
4.08/4.10 c LP-Solver SoPlex 1.4.1
4.08/4.10 c user parameter file <scip.set> not found - using default parameters
4.08/4.10 c read problem <HOME/instance-3743157-1338802623.opb>
4.08/4.10 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
5.50/5.55 c start presolving problem
5.50/5.55 c presolving:
8.39/8.43 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.58 c (round 2) 671 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 101188 impls, 1977 clqs
12.09/12.13 c (round 3) 674 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 101196 impls, 1977 clqs
83.67/83.75 c (round 4) 1350 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 16687564 impls, 1977 clqs
83.87/83.97 c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 16691566 impls, 1977 clqs
84.96/85.04 c (round 6) 3354 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 16729428 impls, 1977 clqs
85.16/85.25 c (round 7) 3354 del vars, 5324 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 16729440 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-3743157-1338802623/watcher-3743157-1338802623 -o /tmp/evaluation-result-3743157-1338802623/solver-3743157-1338802623 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743157-1338802623.opb
running on 4 cores: 1,3,5,7
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.00 2.00 3/176 8457
/proc/meminfo: memFree=24824396/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=8240 CPUtime=0 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1444 0 0 0 0 0 0 0 20 0 1 0 346387892 8437760 1397 33554432000 4194304 7823515 140733456896784 140733755040312 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 2060 1397 337 887 0 1170 0
[startup+0.087755 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8457
/proc/meminfo: memFree=24824396/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=26992 CPUtime=0.07 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 6116 0 0 0 7 0 0 0 20 0 1 0 346387892 27639808 6069 33554432000 4194304 7823515 140733456896784 140733755040312 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 6748 6069 354 887 0 5858 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26992
[startup+0.100282 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8457
/proc/meminfo: memFree=24824396/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=29108 CPUtime=0.09 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 6649 0 0 0 9 0 0 0 20 0 1 0 346387892 29806592 6602 33554432000 4194304 7823515 140733456896784 140733755040312 5875936 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 7277 6602 354 887 0 6387 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29108
[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8457
/proc/meminfo: memFree=24824396/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=53992 CPUtime=0.29 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 12851 0 0 0 27 2 0 0 20 0 1 0 346387892 55287808 12804 33554432000 4194304 7823515 140733456896784 140733755040312 6288867 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 13498 12804 354 887 0 12608 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53992
[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8457
/proc/meminfo: memFree=24824396/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=92276 CPUtime=0.69 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 22419 0 0 0 66 3 0 0 20 0 1 0 346387892 94490624 22372 33554432000 4194304 7823515 140733456896784 140733755040312 4363784 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 23069 22372 354 887 0 22179 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92276
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8458
/proc/meminfo: memFree=24697404/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=196400 CPUtime=1.49 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 48392 0 0 0 142 7 0 0 20 0 1 0 346387892 201113600 48345 33554432000 4194304 7823515 140733456896784 140733456762888 4363763 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 49100 48345 354 887 0 48210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 196400
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8458
/proc/meminfo: memFree=24557680/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=396756 CPUtime=3.09 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 98431 0 0 0 295 14 0 0 20 0 1 0 346387892 406278144 98384 33554432000 4194304 7823515 140733456896784 140733456762888 6908062 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 99189 98384 354 887 0 98299 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 396756
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8458
/proc/meminfo: memFree=23766892/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=1072024 CPUtime=6.29 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 266203 0 0 0 579 50 0 0 20 0 1 0 346387892 1097752576 266787 33554432000 4194304 7823515 140733456896784 140733456893720 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 268102 266815 419 887 0 267212 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1072024
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8459
/proc/meminfo: memFree=23341580/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=1482480 CPUtime=12.69 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 370699 0 0 0 1167 102 0 0 20 0 1 0 346387892 1518059520 369122 33554432000 4194304 7823515 140733456896784 140733456893720 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 370620 369122 461 887 0 369730 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1482480
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8497
/proc/meminfo: memFree=24709600/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=1564656 CPUtime=25.48 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 390589 0 0 0 2442 106 0 0 20 0 1 0 346387892 1602207744 389012 33554432000 4194304 7823515 140733456896784 140733456893480 4243065 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 391164 389012 462 887 0 390274 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1564656
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8497
/proc/meminfo: memFree=24358392/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=1789948 CPUtime=51.08 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 445429 0 0 0 4993 115 0 0 20 0 1 0 346387892 1832906752 443896 33554432000 4194304 7823515 140733456896784 140733456893480 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 447487 443896 462 887 0 446597 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1789948
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8497
/proc/meminfo: memFree=23623280/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=2220476 CPUtime=102.26 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 531593 0 0 0 10069 157 0 0 20 0 1 0 346387892 2273767424 548689 33554432000 4194304 7823515 140733456896784 140733456892840 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 555119 548689 462 887 0 554229 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 2220476
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8498
/proc/meminfo: memFree=23340264/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=2251848 CPUtime=162.25 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 539177 0 0 0 16066 159 0 0 20 0 1 0 346387892 2305892352 556265 33554432000 4194304 7823515 140733456896784 140733456892840 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 562962 556265 462 887 0 562072 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 2251848
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8501
/proc/meminfo: memFree=23134008/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=2447168 CPUtime=222.23 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 584056 0 0 0 22058 165 0 0 20 0 1 0 346387892 2505900032 602676 33554432000 4194304 7823515 140733456896784 140733456892648 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 611792 602676 462 887 0 610902 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 2447168
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8501
/proc/meminfo: memFree=22499288/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=2720588 CPUtime=282.23 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 652329 0 0 0 28046 177 0 0 20 0 1 0 346387892 2785882112 670948 33554432000 4194304 7823515 140733456896784 140733456892648 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 680147 670948 462 887 0 679257 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 2720588
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8501
/proc/meminfo: memFree=21939952/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=3038104 CPUtime=342.21 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 728035 0 0 0 34030 191 0 0 20 0 1 0 346387892 3111018496 746653 33554432000 4194304 7823515 140733456896784 140733456892648 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 759526 746653 462 887 0 758636 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 3038104
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/177 8501
/proc/meminfo: memFree=21639412/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=3192156 CPUtime=402.2 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 765959 0 0 0 40020 200 0 0 20 0 1 0 346387892 3268767744 784829 33554432000 4194304 7823515 140733456896784 140733456892648 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 798039 784829 462 887 0 797149 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 3192156
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8502
/proc/meminfo: memFree=21291380/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=3374572 CPUtime=462.19 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 810567 0 0 0 46009 210 0 0 20 0 1 0 346387892 3455561728 829437 33554432000 4194304 7823515 140733456896784 140733456892648 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 843643 829437 462 887 0 842753 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 3374572
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8502
/proc/meminfo: memFree=21089924/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=3393000 CPUtime=522.17 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 818605 0 0 0 52004 213 0 0 20 0 1 0 346387892 3474432000 837475 33554432000 4194304 7823515 140733456896784 140733456892648 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 848250 837475 462 887 0 847360 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 3393000
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8502
/proc/meminfo: memFree=20710236/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=3591844 CPUtime=582.16 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 863699 0 0 0 57995 221 0 0 20 0 1 0 346387892 3678048256 882569 33554432000 4194304 7823515 140733456896784 140733456892648 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 897961 882569 462 887 0 897071 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 3591844
[startup+642.3 s]
################
# More data... #
################
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1006014 0 0 0 105950 258 0 0 20 0 1 0 346387892 4270149632 1028823 33554432000 4194304 7823515 140733456896784 140733456892648 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1042517 1028823 462 887 0 1041627 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 4170068
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8507
/proc/meminfo: memFree=19484916/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4183376 CPUtime=1122.07 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1011511 0 0 0 111947 260 0 0 20 0 1 0 346387892 4283777024 1035697 33554432000 4194304 7823515 140733456896784 140733456892648 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1045844 1035697 462 887 0 1044954 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 4183376
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8507
/proc/meminfo: memFree=19440400/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4195660 CPUtime=1182.06 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1016862 0 0 0 117943 263 0 0 20 0 1 0 346387892 4296355840 1041468 33554432000 4194304 7823515 140733456896784 140733456892648 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1048915 1041468 462 887 0 1048025 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 4195660
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 8507
/proc/meminfo: memFree=19135264/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4211020 CPUtime=1242.05 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1023255 0 0 0 123939 266 0 0 20 0 1 0 346387892 4312084480 1047962 33554432000 4194304 7823515 140733456896784 140733456892648 5803604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1052755 1047962 462 887 0 1051865 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 4211020
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8507
/proc/meminfo: memFree=18833040/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4537976 CPUtime=1302.05 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1093354 0 0 0 129928 277 0 0 20 0 1 0 346387892 4646887424 1118634 33554432000 4194304 7823515 140733456896784 140733456892648 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1134494 1118634 462 887 0 1133604 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 4537976
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8508
/proc/meminfo: memFree=18808532/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4541048 CPUtime=1362.04 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1094930 0 0 0 135925 279 0 0 20 0 1 0 346387892 4650033152 1120599 33554432000 4194304 7823515 140733456896784 140733456892648 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1135262 1120599 462 887 0 1134372 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 4541048
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 8511
/proc/meminfo: memFree=18781924/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4546168 CPUtime=1422.04 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1097120 0 0 0 141924 280 0 0 20 0 1 0 346387892 4655276032 1123040 33554432000 4194304 7823515 140733456896784 140733456892648 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1136542 1123040 462 887 0 1135652 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 4546168
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 8533
/proc/meminfo: memFree=18746884/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4555384 CPUtime=1482.01 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1101191 0 0 0 147920 281 0 0 20 0 1 0 346387892 4664713216 1127111 33554432000 4194304 7823515 140733456896784 140733456892648 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1138846 1127111 462 887 0 1137956 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 4555384
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8533
/proc/meminfo: memFree=18711208/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4566644 CPUtime=1542 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1105891 0 0 0 153917 283 0 0 20 0 1 0 346387892 4676243456 1131984 33554432000 4194304 7823515 140733456896784 140733456892648 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1141661 1131984 462 887 0 1140771 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 4566644
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8533
/proc/meminfo: memFree=18679616/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4575860 CPUtime=1602 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1109819 0 0 0 159914 286 0 0 20 0 1 0 346387892 4685680640 1135912 33554432000 4194304 7823515 140733456896784 140733456892648 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1143965 1135912 462 887 0 1143075 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 4575860
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8534
/proc/meminfo: memFree=18649056/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4584048 CPUtime=1661.98 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1113279 0 0 0 165910 288 0 0 20 0 1 0 346387892 4694065152 1139634 33554432000 4194304 7823515 140733456896784 140733456892648 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1146012 1139634 462 887 0 1145122 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 4584048
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 8534
/proc/meminfo: memFree=18303296/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4591216 CPUtime=1721.98 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1116195 0 0 0 171908 290 0 0 20 0 1 0 346387892 4701405184 1142864 33554432000 4194304 7823515 140733456896784 140733456892648 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1147804 1142864 462 887 0 1146914 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 4591216
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8534
/proc/meminfo: memFree=18279904/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4596336 CPUtime=1781.97 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1118304 0 0 0 177906 291 0 0 20 0 1 0 346387892 4706648064 1144973 33554432000 4194304 7823515 140733456896784 140733456892648 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1149084 1144973 462 887 0 1148194 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 4596336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8534
/proc/meminfo: memFree=18275780/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4597360 CPUtime=1800.07 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1118809 0 0 0 179716 291 0 0 20 0 1 0 346387892 4707696640 1145478 33554432000 4194304 7823515 140733456896784 140733456892648 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1149340 1145478 462 887 0 1148450 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 4597360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8457
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 8535
/proc/meminfo: memFree=18275780/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4597360 CPUtime=1801.06 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1118824 0 0 0 179815 291 0 0 20 0 1 0 346387892 4707696640 1145493 33554432000 4194304 7823515 140733456896784 140733456892096 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1149340 1145493 462 887 0 1148450 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 4597360
[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 8535
/proc/meminfo: memFree=18275524/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4597360 CPUtime=1801.86 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1118835 0 0 0 179895 291 0 0 20 0 1 0 346387892 4707696640 1145504 33554432000 4194304 7823515 140733456896784 140733456892096 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1149340 1145504 462 887 0 1148450 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 4597360
[startup+1802.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 8535
/proc/meminfo: memFree=18275524/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=4597360 CPUtime=1802.06 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4202496 1118839 0 0 0 179915 291 0 0 20 0 1 0 346387892 4707696640 1145508 33554432000 4194304 7823515 140733456896784 140733456892096 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 1149340 1145508 462 887 0 1148450 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 4597360
[startup+1802.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 8535
/proc/meminfo: memFree=18275524/32873648 swapFree=7116/7116
[pid=8457] ppid=8455 vsize=0 CPUtime=1802.17 cores=1,3,5,7
/proc/8457/stat : 8457 (pbscip.linux.x8) R 8455 8457 7629 0 -1 4203524 1118839 0 0 0 179916 301 0 0 20 0 1 0 346387892 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8457/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.17
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.16
CPU system time (s): 3.02654
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 4597360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 3.02654
maximum resident set size= 4582032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1118839
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= 88
involuntary context switches= 1834
runsolver used 4.5973 second user time and 10.8144 second system time
The end