8.89/8.99 c SCIP version 1.1.0.7
8.89/8.99 c LP-Solver SoPlex 1.4.1
8.89/8.99 c user parameter file <scip.set> not found - using default parameters
8.89/8.99 c read problem <HOME/instance-3735258-1338709842.opb>
8.89/8.99 c original problem has 23848 variables (23848 bin, 0 int, 0 impl, 0 cont) and 1451912 constraints
10.48/10.54 c start presolving problem
10.48/10.54 c presolving:
15.78/15.85 c (round 1) 12122 del vars, 1322528 del conss, 11680 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 2964772 impls, 0 clqs
15.88/15.92 c (round 2) 12134 del vars, 1329256 del conss, 11680 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 2964772 impls, 0 clqs
15.88/15.97 c (round 3) 12136 del vars, 1329258 del conss, 11680 chg bounds, 170 chg sides, 340 chg coeffs, 0 upgd conss, 2964880 impls, 0 clqs
16.49/16.55 c (round 4) 12136 del vars, 1329258 del conss, 11680 chg bounds, 170 chg sides, 340 chg coeffs, 122654 upgd conss, 2964880 impls, 0 clqs
18.78/18.84 c (8.8s) probing: 1000/11712 (8.5%) - 0 fixings, 0 aggregations, 9765 implications, 0 bound changes
21.28/21.32 c (11.3s) probing: 2000/11712 (17.1%) - 0 fixings, 0 aggregations, 27489 implications, 0 bound changes
21.28/21.32 c (11.3s) probing: 2001/11712 (17.1%) - 0 fixings, 0 aggregations, 27538 implications, 0 bound changes
21.28/21.32 c (11.3s) probing aborted: 2000/2000 successive useless probings
21.28/21.32 c presolving (5 rounds):
21.28/21.32 c 12136 deleted vars, 1329258 deleted constraints, 11680 tightened bounds, 0 added holes, 170 changed sides, 340 changed coefficients
21.28/21.32 c 3022484 implications, 0 cliques
21.28/21.32 c presolved problem has 11712 variables (11712 bin, 0 int, 0 impl, 0 cont) and 122654 constraints
21.28/21.32 c 122654 constraints of type <logicor>
21.28/21.32 c transformed objective value is always integral (scale: 1)
21.28/21.32 c Presolving Time: 10.09
21.28/21.33 c strange?!, PURESAT with obj
21.28/21.33 c -----------------------------------------------------------------------------------------------
21.28/21.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
21.28/21.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
21.28/21.33 c limits/memory = c 13950
21.28/21.33 c # maximal time in seconds to run
21.28/21.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
21.28/21.33 c limits/time = c 1791
21.28/21.33 c # frequency for displaying node information lines
21.28/21.33 c # [type: int, range: [-1,2147483647], default: 100]
21.28/21.33 c display/freq = c 10000
21.28/21.33 c -----------------------------------------------------------------------------------------------
21.28/21.33 c start solving problem
21.28/21.33 c
117.27/117.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.27/117.32 c 107s| 1 | 0 | 27694 | 828M| 0 | 10k| 11k| 122k| 122k| 11k| 122k| 0 | 0 | 0 | 9.000000e+00 | -- | Inf
1636.43/1636.78 c 1626s| 1 | 0 |145558 | 830M| 0 |8909 | 11k| 122k| 122k| 11k| 124k|2000 | 0 | 0 | 2.626149e+01 | -- | Inf
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-3735258-1338709842/watcher-3735258-1338709842 -o /tmp/evaluation-result-3735258-1338709842/solver-3735258-1338709842 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3735258-1338709842.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.08 2.06 2.00 3/177 31470
/proc/meminfo: memFree=27860248/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=8880 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 1560 0 0 0 0 0 0 0 20 0 1 0 337110302 9093120 1512 33554432000 4194304 7823515 140736748691552 140736116051704 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2220 1512 354 887 0 1330 0
[startup+0.043607 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 31470
/proc/meminfo: memFree=27860248/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=18668 CPUtime=0.03 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 4005 0 0 0 3 0 0 0 20 0 1 0 337110302 19116032 3957 33554432000 4194304 7823515 140736748691552 140736116051704 6957168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 4667 3957 354 887 0 3777 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18668
[startup+0.100267 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 31470
/proc/meminfo: memFree=27860248/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=21300 CPUtime=0.09 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 4692 0 0 0 9 0 0 0 20 0 1 0 337110302 21811200 4644 33554432000 4194304 7823515 140736748691552 140736116051704 6830586 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 5325 4644 354 887 0 4435 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21300
[startup+0.300201 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 31470
/proc/meminfo: memFree=27860248/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=33028 CPUtime=0.29 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 7578 0 0 0 28 1 0 0 20 0 1 0 337110302 33820672 7530 33554432000 4194304 7823515 140736748691552 140736116051704 6908057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 8257 7530 354 887 0 7367 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33028
[startup+0.70014 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 31470
/proc/meminfo: memFree=27860248/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=56024 CPUtime=0.68 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 13376 0 0 0 67 1 0 0 20 0 1 0 337110302 57368576 13328 33554432000 4194304 7823515 140736748691552 140736748557656 6957168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 14006 13328 354 887 0 13116 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56024
[startup+1.50021 s]
/proc/loadavg: 2.08 2.06 2.00 3/178 31471
/proc/meminfo: memFree=27776256/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=104632 CPUtime=1.49 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 25437 0 0 0 146 3 0 0 20 0 1 0 337110302 107143168 25389 33554432000 4194304 7823515 140736748691552 140736748557656 6957168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 26158 25389 354 887 0 25268 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104632
[startup+3.10021 s]
/proc/loadavg: 2.07 2.06 2.00 3/178 31471
/proc/meminfo: memFree=27708180/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=198752 CPUtime=3.09 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 48907 0 0 0 302 7 0 0 20 0 1 0 337110302 203522048 48859 33554432000 4194304 7823515 140736748691552 140736748557656 6896425 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 49688 48859 354 887 0 48798 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 198752
[startup+6.30021 s]
/proc/loadavg: 2.07 2.06 2.00 3/178 31471
/proc/meminfo: memFree=27518080/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=387420 CPUtime=6.28 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 95831 0 0 0 614 14 0 0 20 0 1 0 337110302 396718080 95783 33554432000 4194304 7823515 140736748691552 140736748557656 5875797 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 96855 95783 354 887 0 95965 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 387420
[startup+12.7002 s]
/proc/loadavg: 2.06 2.06 2.00 3/178 31471
/proc/meminfo: memFree=26397344/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1472936 CPUtime=12.68 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 362935 0 0 0 1189 79 0 0 20 0 1 0 337110302 1508286464 362533 33554432000 4194304 7823515 140736748691552 140736748688488 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 368234 362533 431 887 0 367344 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1472936
[startup+25.5002 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 31471
/proc/meminfo: memFree=26341100/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=25.48 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 375991 0 0 0 2426 122 0 0 20 0 1 0 337110302 1545306112 372306 33554432000 4194304 7823515 140736748691552 140736748686888 6151365 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 377272 372306 520 887 0 376382 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1509088
[startup+51.1002 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 31471
/proc/meminfo: memFree=26335320/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=51.08 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 375991 0 0 0 4984 124 0 0 20 0 1 0 337110302 1545306112 372306 33554432000 4194304 7823515 140736748691552 140736748686888 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 372306 520 887 0 376382 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1509088
[startup+102.307 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 31471
/proc/meminfo: memFree=26316588/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=102.28 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 375991 0 0 0 10100 128 0 0 20 0 1 0 337110302 1545306112 372306 33554432000 4194304 7823515 140736748691552 140736748686888 5925270 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 372306 520 887 0 376382 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1509088
[startup+162.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/177 31471
/proc/meminfo: memFree=26316136/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=162.26 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376002 0 0 0 16095 131 0 0 20 0 1 0 337110302 1545306112 372317 33554432000 4194304 7823515 140736748691552 140736748686232 6208447 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 372317 531 887 0 376382 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1509088
[startup+222.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 31472
/proc/meminfo: memFree=26337888/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=222.25 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376002 0 0 0 22092 133 0 0 20 0 1 0 337110302 1545306112 372317 33554432000 4194304 7823515 140736748691552 140736748686232 6208642 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 372317 531 887 0 376382 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1509088
[startup+282.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 31472
/proc/meminfo: memFree=26314120/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=282.24 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376005 0 0 0 28088 136 0 0 20 0 1 0 337110302 1545306112 372399 33554432000 4194304 7823515 140736748691552 140736748686232 6211327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 372399 531 887 0 376382 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1509088
[startup+342.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 31510
/proc/meminfo: memFree=26585456/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=342.23 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376007 0 0 0 34085 138 0 0 20 0 1 0 337110302 1545306112 372401 33554432000 4194304 7823515 140736748691552 140736748686520 6208526 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 372401 531 887 0 376382 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1509088
[startup+402.3 s]
/proc/loadavg: 2.17 2.08 2.01 3/177 31510
/proc/meminfo: memFree=26567572/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=402.22 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376009 0 0 0 40081 141 0 0 20 0 1 0 337110302 1545306112 372401 33554432000 4194304 7823515 140736748691552 140736748686520 6211726 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 372401 531 887 0 376382 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1509088
[startup+462.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 31548
/proc/meminfo: memFree=26555448/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=462.21 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376012 0 0 0 46077 144 0 0 20 0 1 0 337110302 1545306112 372401 33554432000 4194304 7823515 140736748691552 140736748686232 6211707 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 372401 531 887 0 376382 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1509088
[startup+522.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 31625
/proc/meminfo: memFree=26261168/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=522.2 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376014 0 0 0 52074 146 0 0 20 0 1 0 337110302 1545306112 372401 33554432000 4194304 7823515 140736748691552 140736748686312 6208327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 372401 531 887 0 376382 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1509088
[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 31628
/proc/meminfo: memFree=26191400/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=582.19 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376015 0 0 0 58071 148 0 0 20 0 1 0 337110302 1545306112 372401 33554432000 4194304 7823515 140736748691552 140736748686312 6208915 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 372401 531 887 0 376382 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1509088
[startup+642.3 s]
################
# More data... #
################
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376024 0 0 0 100050 162 0 0 20 0 1 0 337110302 1545306112 374499 33554432000 4194304 7823515 140736748691552 140736748686360 6208698 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374499 531 887 0 376382 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1509088
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31691
/proc/meminfo: memFree=26534548/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1062.11 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376024 0 0 0 106047 164 0 0 20 0 1 0 337110302 1545306112 374499 33554432000 4194304 7823515 140736748691552 140736748686232 6208698 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374499 531 887 0 376382 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1509088
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31692
/proc/meminfo: memFree=26532732/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1122.11 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376024 0 0 0 112044 167 0 0 20 0 1 0 337110302 1545306112 374499 33554432000 4194304 7823515 140736748691552 140736748686232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374499 531 887 0 376382 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1509088
[startup+1182.3 s]
/proc/loadavg: 1.94 1.99 1.99 3/178 31771
/proc/meminfo: memFree=26499792/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1182.09 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376024 0 0 0 118041 168 0 0 20 0 1 0 337110302 1545306112 374499 33554432000 4194304 7823515 140736748691552 140736748686312 6211327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374499 531 887 0 376382 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1509088
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31809
/proc/meminfo: memFree=26181928/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1242.09 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376024 0 0 0 124037 172 0 0 20 0 1 0 337110302 1545306112 374499 33554432000 4194304 7823515 140736748691552 140736748686312 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374499 531 887 0 376382 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1509088
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31809
/proc/meminfo: memFree=26104452/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1302.08 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376032 0 0 0 130034 174 0 0 20 0 1 0 337110302 1545306112 374507 33554432000 4194304 7823515 140736748691552 140736748686888 6211728 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374507 539 887 0 376382 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1509088
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31809
/proc/meminfo: memFree=26075660/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1362.07 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376032 0 0 0 136027 180 0 0 20 0 1 0 337110302 1545306112 374507 33554432000 4194304 7823515 140736748691552 140736748687240 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374507 539 887 0 376382 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1509088
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31810
/proc/meminfo: memFree=26074272/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1422.06 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376032 0 0 0 142022 184 0 0 20 0 1 0 337110302 1545306112 374507 33554432000 4194304 7823515 140736748691552 140736748686888 6212418 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374507 539 887 0 376382 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1509088
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31810
/proc/meminfo: memFree=26038000/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1482.05 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376032 0 0 0 148016 189 0 0 20 0 1 0 337110302 1545306112 374507 33554432000 4194304 7823515 140736748691552 140736748687304 6211688 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374507 539 887 0 376382 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1509088
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31810
/proc/meminfo: memFree=26035256/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1542.04 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376032 0 0 0 154011 193 0 0 20 0 1 0 337110302 1545306112 374507 33554432000 4194304 7823515 140736748691552 140736748686888 6150570 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374507 539 887 0 376382 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1509088
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31810
/proc/meminfo: memFree=26035380/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1602.03 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376032 0 0 0 160006 197 0 0 20 0 1 0 337110302 1545306112 374507 33554432000 4194304 7823515 140736748691552 140736748686888 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374507 539 887 0 376382 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1509088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31810
/proc/meminfo: memFree=26024684/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1662.02 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376037 0 0 0 166001 201 0 0 20 0 1 0 337110302 1545306112 374512 33554432000 4194304 7823515 140736748691552 140736748687352 5597687 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374512 544 887 0 376382 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1509088
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31811
/proc/meminfo: memFree=25877224/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1722.01 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376055 0 0 0 171972 229 0 0 20 0 1 0 337110302 1545306112 374530 33554432000 4194304 7823515 140736748691552 140736748687352 6908036 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374530 560 887 0 376382 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1509088
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 31814
/proc/meminfo: memFree=25877108/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1782.01 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376055 0 0 0 177967 234 0 0 20 0 1 0 337110302 1545306112 374530 33554432000 4194304 7823515 140736748691552 140736748686216 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374530 560 887 0 376382 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1509088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 31814
/proc/meminfo: memFree=25875060/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1800.1 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376055 0 0 0 179775 235 0 0 20 0 1 0 337110302 1545306112 374530 33554432000 4194304 7823515 140736748691552 140736748686888 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374530 560 887 0 376382 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1509088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -31470
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 31815
/proc/meminfo: memFree=25875060/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1801.09 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376055 0 0 0 179874 235 0 0 20 0 1 0 337110302 1545306112 374530 33554432000 4194304 7823515 140736748691552 140736748687240 6212718 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374530 560 887 0 376382 0
Current children cumulated CPU time (s) 1801.09
Current children cumulated vsize (KiB) 1509088
[startup+1802.2 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 31815
/proc/meminfo: memFree=25875052/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1801.9 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376055 0 0 0 179954 236 0 0 20 0 1 0 337110302 1545306112 374530 33554432000 4194304 7823515 140736748691552 140736748686216 6211600 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374530 560 887 0 376382 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 1509088
[startup+1802.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 31815
/proc/meminfo: memFree=25875052/32873648 swapFree=6864/6864
[pid=31470] ppid=31468 vsize=1509088 CPUtime=1802.1 cores=0,2,4,6
/proc/31470/stat : 31470 (pbscip.linux.x8) R 31468 31470 19043 0 -1 4202496 376055 0 0 0 179974 236 0 0 20 0 1 0 337110302 1545306112 374530 33554432000 4194304 7823515 140736748691552 140736748686216 6206056 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31470/statm: 377272 374530 560 887 0 376382 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 1509088
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.42
CPU time (s): 1802.12
CPU user time (s): 1799.76
CPU system time (s): 2.36864
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 1522644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 2.36864
maximum resident set size= 1512452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376055
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= 23
involuntary context switches= 1930
runsolver used 3.02454 second user time and 8.69768 second system time
The end