21.88/21.94 c SCIP version 1.1.0.7
21.88/21.94 c LP-Solver SoPlex 1.4.1
21.88/21.94 c user parameter file <scip.set> not found - using default parameters
21.88/21.94 c read problem <HOME/instance-1869600-1245180587.opb>
21.88/21.94 c original problem has 23848 variables (23848 bin, 0 int, 0 impl, 0 cont) and 1451912 constraints
25.78/25.88 c start presolving problem
25.78/25.88 c presolving:
36.88/36.92 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
36.98/37.09 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
37.17/37.21 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
38.48/38.59 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
48.07/48.19 c (23.9s) probing: 1000/11712 (8.5%) - 0 fixings, 0 aggregations, 9765 implications, 0 bound changes
58.37/58.47 c (34.1s) probing: 2000/11712 (17.1%) - 0 fixings, 0 aggregations, 27489 implications, 0 bound changes
58.37/58.48 c (34.1s) probing: 2001/11712 (17.1%) - 0 fixings, 0 aggregations, 27538 implications, 0 bound changes
58.37/58.48 c (34.1s) probing aborted: 2000/2000 successive useless probings
58.37/58.48 c presolving (5 rounds):
58.37/58.48 c 12136 deleted vars, 1329258 deleted constraints, 11680 tightened bounds, 0 added holes, 170 changed sides, 340 changed coefficients
58.37/58.48 c 3022484 implications, 0 cliques
58.37/58.48 c presolved problem has 11712 variables (11712 bin, 0 int, 0 impl, 0 cont) and 122654 constraints
58.37/58.48 c 122654 constraints of type <logicor>
58.37/58.48 c transformed objective value is always integral (scale: 1)
58.37/58.48 c Presolving Time: 31.13
58.37/58.49 c strange?!, PURESAT with obj
58.37/58.49 c -----------------------------------------------------------------------------------------------
58.37/58.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
58.37/58.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
58.37/58.49 c limits/memory = c 1620
58.37/58.49 c # maximal time in seconds to run
58.37/58.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
58.37/58.49 c limits/time = c 1791
58.37/58.49 c # frequency for displaying node information lines
58.37/58.49 c # [type: int, range: [-1,2147483647], default: 100]
58.37/58.49 c display/freq = c 10000
58.37/58.49 c -----------------------------------------------------------------------------------------------
58.37/58.49 c start solving problem
58.37/58.49 c
360.86/361.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.86/361.10 c 336s| 1 | 0 | 27694 | 828M| 0 | 10k| 11k| 122k| 122k| 11k| 122k| 0 | 0 | 0 | 9.000000e+00 | -- | Inf
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869600-1245180587/watcher-1869600-1245180587 -o /tmp/evaluation-result-1869600-1245180587/solver-1869600-1245180587 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869600-1245180587.opb
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7621
/proc/meminfo: memFree=1811320/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=4328 CPUtime=0
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 481 0 0 0 0 0 0 0 18 0 1 0 185655313 4431872 465 1992294400 4194304 7823515 548682068736 18446744073709551615 7017211 0 0 4096 0 0 0 0 17 1 0 0
/proc/7621/statm: 1162 476 309 886 0 272 0
[startup+0.022624 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7621
/proc/meminfo: memFree=1811320/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=10108 CPUtime=0.01
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 1867 0 0 0 1 0 0 0 18 0 1 0 185655313 10350592 1849 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/7621/statm: 2527 1849 354 886 0 1637 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10108
[startup+0.101637 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7621
/proc/meminfo: memFree=1811320/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=18652 CPUtime=0.09
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 3988 0 0 0 8 1 0 0 18 0 1 0 185655313 19099648 3970 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/7621/statm: 4663 3970 354 886 0 3773 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18652
[startup+0.30167 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7621
/proc/meminfo: memFree=1811320/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=23580 CPUtime=0.29
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 5218 0 0 0 28 1 0 0 19 0 1 0 185655313 24145920 5200 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/7621/statm: 5895 5200 354 886 0 5005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23580
[startup+0.70174 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7621
/proc/meminfo: memFree=1811320/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=32816 CPUtime=0.69
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 7495 0 0 0 67 2 0 0 22 0 1 0 185655313 33603584 7477 1992294400 4194304 7823515 548682068736 18446744073709551615 4363776 0 0 4096 0 0 0 0 17 1 0 0
/proc/7621/statm: 8204 7477 354 886 0 7314 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32816
[startup+1.50188 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=1773424/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=51496 CPUtime=1.49
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 12173 0 0 0 143 6 0 0 25 0 1 0 185655313 52731904 12155 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/7621/statm: 12874 12155 354 886 0 11984 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51496
[startup+3.10116 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 7622
/proc/meminfo: memFree=1748976/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=89896 CPUtime=3.09
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 21723 0 0 0 297 12 0 0 25 0 1 0 185655313 92053504 21705 1992294400 4194304 7823515 548682068736 18446744073709551615 5538372 0 0 4096 0 0 0 0 17 1 0 0
/proc/7621/statm: 22474 21705 354 886 0 21584 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89896
[startup+6.30171 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 7622
/proc/meminfo: memFree=1670960/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=166488 CPUtime=6.29
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 40829 0 0 0 609 20 0 0 25 0 1 0 185655313 170483712 40811 1992294400 4194304 7823515 548682068736 18446744073709551615 4204004 0 0 4096 0 0 0 0 17 1 0 0
/proc/7621/statm: 41622 40811 354 886 0 40732 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 166488
[startup+12.7018 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 7622
/proc/meminfo: memFree=1513008/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=321136 CPUtime=12.69
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 79275 0 0 0 1232 37 0 0 25 0 1 0 185655313 328843264 79257 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 0 0 0 0 17 1 0 0
/proc/7621/statm: 80284 79257 354 886 0 79394 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 321136
[startup+25.502 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 7622
/proc/meminfo: memFree=477872/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1406496 CPUtime=25.48
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 346797 0 0 0 2408 140 0 0 25 0 1 0 185655313 1440251904 346425 1992294400 4194304 7823515 548682068736 18446744073709551615 5879414 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 351624 346425 375 886 0 350734 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1406496
[startup+51.1015 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 7622
/proc/meminfo: memFree=310320/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1522628 CPUtime=51.08
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 378955 0 0 0 4811 297 0 0 25 0 1 0 185655313 1559171072 375070 1992294400 4194304 7823515 548682068736 18446744073709551615 5422770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 380657 375070 453 886 0 379767 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1522628
[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7622
/proc/meminfo: memFree=321520/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=102.26
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379022 0 0 0 9923 303 0 0 25 0 1 0 185655313 1545289728 372301 1992294400 4194304 7823515 548682068736 18446744073709551615 6151325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372301 520 886 0 376378 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1509072
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=321584/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=162.23
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379022 0 0 0 15916 307 0 0 25 0 1 0 185655313 1545289728 372301 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372301 520 886 0 376378 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1509072
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=321584/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=222.21
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379022 0 0 0 21910 311 0 0 25 0 1 0 185655313 1545289728 372301 1992294400 4194304 7823515 548682068736 18446744073709551615 6212302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372301 520 886 0 376378 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1509072
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=321584/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=282.19
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379022 0 0 0 27905 314 0 0 25 0 1 0 185655313 1545289728 372301 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372301 520 886 0 376378 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1509072
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=321520/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=342.18
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379022 0 0 0 33900 318 0 0 25 0 1 0 185655313 1545289728 372301 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372301 520 886 0 376378 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1509072
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=321456/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=402.15
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379033 0 0 0 39895 320 0 0 25 0 1 0 185655313 1545289728 372312 1992294400 4194304 7823515 548682068736 18446744073709551615 6208537 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372312 531 886 0 376378 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1509072
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=321392/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=462.13
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379033 0 0 0 45891 322 0 0 25 0 1 0 185655313 1545289728 372312 1992294400 4194304 7823515 548682068736 18446744073709551615 6208682 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372312 531 886 0 376378 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1509072
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=321520/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=522.11
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379033 0 0 0 51888 323 0 0 25 0 1 0 185655313 1545289728 372312 1992294400 4194304 7823515 548682068736 18446744073709551615 6208309 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372312 531 886 0 376378 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1509072
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=321520/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=582.09
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379033 0 0 0 57885 324 0 0 25 0 1 0 185655313 1545289728 372312 1992294400 4194304 7823515 548682068736 18446744073709551615 6208337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372312 531 886 0 376378 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1509072
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=321456/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=642.07
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379033 0 0 0 63882 325 0 0 25 0 1 0 185655313 1545289728 372312 1992294400 4194304 7823515 548682068736 18446744073709551615 6208504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372312 531 886 0 376378 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1509072
[startup+702.301 s]
################
# More data... #
################
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 111855 334 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6208270 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1509072
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=321328/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1181.88
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 117852 336 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6211638 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1509072
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=321328/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1241.86
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 123849 337 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6019522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1509072
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7622
/proc/meminfo: memFree=321264/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1301.84
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 129846 338 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6208518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1509072
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7624
/proc/meminfo: memFree=320944/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1361.81
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 135842 339 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6208558 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1509072
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7624
/proc/meminfo: memFree=321072/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1421.8
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 141839 341 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6175274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1509072
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7624
/proc/meminfo: memFree=321072/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1481.77
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 147835 342 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6263171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1509072
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7624
/proc/meminfo: memFree=321200/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1541.75
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 153832 343 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6208777 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1509072
[startup+1602.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 7624
/proc/meminfo: memFree=321264/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1601.72
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 159828 344 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6208320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1509072
[startup+1662.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 7624
/proc/meminfo: memFree=321200/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1661.71
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 165825 346 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6208896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1509072
[startup+1722.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 7624
/proc/meminfo: memFree=321136/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1721.69
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 171822 347 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6208499 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1509072
[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7624
/proc/meminfo: memFree=321072/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1781.66
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 177818 348 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6208777 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 1509072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7624
/proc/meminfo: memFree=321072/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1800.07
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 179658 349 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6211711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1509072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7621
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7624
/proc/meminfo: memFree=321072/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1800.76
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 179727 349 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6208709 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 1509072
[startup+1802.2 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 7625
/proc/meminfo: memFree=321064/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1801.56
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 179807 349 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6208537 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1801.56
Current children cumulated vsize (KiB) 1509072
[startup+1802.6 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 7625
/proc/meminfo: memFree=321064/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=1509072 CPUtime=1801.96
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4194304 379035 0 0 0 179847 349 0 0 25 0 1 0 185655313 1545289728 372314 1992294400 4194304 7823515 548682068736 18446744073709551615 6208622 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 377268 372314 531 886 0 376378 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 1509072
[startup+1802.8 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7625
/proc/meminfo: memFree=927664/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=0 CPUtime=1802.16
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4195332 379035 0 0 0 179858 358 0 0 25 0 1 0 185655313 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
[startup+1802.91 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7625
/proc/meminfo: memFree=927664/2055920 swapFree=4181248/4192956
[pid=7621] ppid=7619 vsize=0 CPUtime=1802.26
/proc/7621/stat : 7621 (pbscip.linux.x8) R 7619 7621 7506 0 -1 4195332 379035 0 0 0 179858 368 0 0 25 0 1 0 185655313 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7621/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.26
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.94
CPU time (s): 1802.31
CPU user time (s): 1798.58
CPU system time (s): 3.72243
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 1535192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 3.72243
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379035
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= 2
involuntary context switches= 2375
runsolver used 1.50377 second user time and 3.60545 second system time
The end