21.99/22.02 c SCIP version 1.1.0.7
21.99/22.02 c LP-Solver SoPlex 1.4.1
21.99/22.02 c user parameter file <scip.set> not found - using default parameters
21.99/22.02 c read problem <HOME/instance-1869598-1245180443.opb>
21.99/22.02 c original problem has 25484 variables (25484 bin, 0 int, 0 impl, 0 cont) and 1553328 constraints
25.98/26.08 c start presolving problem
25.98/26.08 c presolving:
37.37/37.45 c (round 1) 12623 del vars, 1401237 del conss, 12150 chg bounds, 174 chg sides, 348 chg coeffs, 0 upgd conss, 3167139 impls, 0 clqs
37.57/37.67 c (round 2) 12632 del vars, 1413352 del conss, 12150 chg bounds, 174 chg sides, 348 chg coeffs, 0 upgd conss, 3167139 impls, 0 clqs
37.76/37.80 c (round 3) 12634 del vars, 1413354 del conss, 12150 chg bounds, 175 chg sides, 350 chg coeffs, 0 upgd conss, 3167543 impls, 0 clqs
39.26/39.33 c (round 4) 12634 del vars, 1413354 del conss, 12150 chg bounds, 175 chg sides, 350 chg coeffs, 139974 upgd conss, 3167543 impls, 0 clqs
49.16/49.22 c (24.7s) probing: 1000/12850 (7.8%) - 0 fixings, 0 aggregations, 15338 implications, 0 bound changes
60.75/60.87 c (36.4s) probing: 2000/12850 (15.6%) - 0 fixings, 0 aggregations, 49005 implications, 0 bound changes
60.75/60.88 c (36.4s) probing: 2001/12850 (15.6%) - 0 fixings, 0 aggregations, 49023 implications, 0 bound changes
60.75/60.88 c (36.4s) probing aborted: 2000/2000 successive useless probings
60.75/60.88 c presolving (5 rounds):
60.75/60.88 c 12634 deleted vars, 1413354 deleted constraints, 12150 tightened bounds, 0 added holes, 175 changed sides, 350 changed coefficients
60.75/60.88 c 3267599 implications, 0 cliques
60.75/60.88 c presolved problem has 12850 variables (12850 bin, 0 int, 0 impl, 0 cont) and 139974 constraints
60.75/60.88 c 139974 constraints of type <logicor>
60.75/60.88 c transformed objective value is always integral (scale: 1)
60.75/60.88 c Presolving Time: 33.28
60.85/60.90 c strange?!, PURESAT with obj
60.85/60.90 c -----------------------------------------------------------------------------------------------
60.85/60.90 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
60.85/60.90 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
60.85/60.90 c limits/memory = c 1620
60.85/60.90 c # maximal time in seconds to run
60.85/60.90 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
60.85/60.90 c limits/time = c 1791
60.85/60.90 c # frequency for displaying node information lines
60.85/60.90 c # [type: int, range: [-1,2147483647], default: 100]
60.85/60.90 c display/freq = c 10000
60.85/60.90 c -----------------------------------------------------------------------------------------------
60.85/60.90 c start solving problem
60.85/60.90 c
368.53/368.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.53/368.74 c 344s| 1 | 0 | 26755 | 887M| 0 | 10k| 12k| 139k| 139k| 12k| 139k| 0 | 0 | 0 | 8.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-1869598-1245180443/watcher-1869598-1245180443 -o /tmp/evaluation-result-1869598-1245180443/solver-1869598-1245180443 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869598-1245180443.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: 0.92 0.98 0.99 3/65 1915
/proc/meminfo: memFree=1785320/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=6100 CPUtime=0
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 566 0 0 0 0 0 0 0 20 0 1 0 185642915 6246400 548 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/1915/statm: 1525 559 325 886 0 635 0
[startup+0.082456 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1915
/proc/meminfo: memFree=1785320/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=17684 CPUtime=0.07
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 3701 0 0 0 6 1 0 0 20 0 1 0 185642915 18108416 3684 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/1915/statm: 4421 3693 354 886 0 3531 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17684
[startup+0.101457 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1915
/proc/meminfo: memFree=1785320/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=18648 CPUtime=0.09
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 3988 0 0 0 8 1 0 0 20 0 1 0 185642915 19095552 3970 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/1915/statm: 4662 3970 354 886 0 3772 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18648
[startup+0.301493 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1915
/proc/meminfo: memFree=1785320/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=23684 CPUtime=0.29
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 5234 0 0 0 27 2 0 0 22 0 1 0 185642915 24252416 5216 1992294400 4194304 7823515 548682068736 18446744073709551615 6804320 0 0 4096 0 0 0 0 17 1 0 0
/proc/1915/statm: 5921 5216 354 886 0 5031 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23684
[startup+0.701568 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1915
/proc/meminfo: memFree=1785320/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=34144 CPUtime=0.69
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 7833 0 0 0 66 3 0 0 25 0 1 0 185642915 34963456 7815 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0
/proc/1915/statm: 8536 7815 354 886 0 7646 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34144
[startup+1.50172 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 1917
/proc/meminfo: memFree=1747488/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=53856 CPUtime=1.49
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 12777 0 0 0 144 5 0 0 25 0 1 0 185642915 55148544 12759 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/1915/statm: 13464 12759 354 886 0 12574 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53856
[startup+3.10202 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 1917
/proc/meminfo: memFree=1718304/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=96564 CPUtime=3.09
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 23423 0 0 0 300 9 0 0 25 0 1 0 185642915 98881536 23405 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/1915/statm: 24141 23405 354 886 0 23251 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96564
[startup+6.30161 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 1917
/proc/meminfo: memFree=1634720/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=177600 CPUtime=6.29
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 43668 0 0 0 611 18 0 0 25 0 1 0 185642915 181862400 43650 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/1915/statm: 44400 43650 354 886 0 43510 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 177600
[startup+12.7018 s]
/proc/loadavg: 1.16 1.03 1.01 2/66 1917
/proc/meminfo: memFree=1466728/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=341504 CPUtime=12.69
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 84470 0 0 0 1234 35 0 0 25 0 1 0 185642915 349700096 84452 1992294400 4194304 7823515 548682068736 18446744073709551615 6767925 0 0 4096 0 0 0 0 17 1 0 0
/proc/1915/statm: 85376 84452 354 886 0 84486 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 341504
[startup+25.5012 s]
/proc/loadavg: 1.36 1.08 1.03 2/66 1917
/proc/meminfo: memFree=373864/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1476724 CPUtime=25.49
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 365946 0 0 0 2406 143 0 0 25 0 1 0 185642915 1512165376 365574 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 369181 365574 375 886 0 368291 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1476724
[startup+51.102 s]
/proc/loadavg: 1.73 1.19 1.06 3/66 1917
/proc/meminfo: memFree=166504/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1632652 CPUtime=51.06
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404834 0 0 0 4800 306 0 0 25 0 1 0 185642915 1671835648 404353 1992294400 4194304 7823515 548682068736 18446744073709551615 5422857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 408163 404353 453 886 0 407273 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1632652
[startup+102.306 s]
/proc/loadavg: 1.44 1.20 1.07 2/66 1917
/proc/meminfo: memFree=180392/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=102.22
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404972 0 0 0 9910 312 0 0 25 0 1 0 185642915 1657954304 401457 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401457 520 886 0 403884 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 1619096
[startup+162.302 s]
/proc/loadavg: 1.23 1.17 1.07 2/66 1917
/proc/meminfo: memFree=180584/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=162.2
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404972 0 0 0 15903 317 0 0 25 0 1 0 185642915 1657954304 401457 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401457 520 886 0 403884 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 1619096
[startup+222.302 s]
/proc/loadavg: 1.15 1.16 1.07 2/66 1917
/proc/meminfo: memFree=180520/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=222.18
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404972 0 0 0 21898 320 0 0 25 0 1 0 185642915 1657954304 401457 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401457 520 886 0 403884 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 1619096
[startup+282.301 s]
/proc/loadavg: 1.12 1.14 1.07 2/66 1917
/proc/meminfo: memFree=180520/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=282.16
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404972 0 0 0 27893 323 0 0 25 0 1 0 185642915 1657954304 401457 1992294400 4194304 7823515 548682068736 18446744073709551615 5924546 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401457 520 886 0 403884 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 1619096
[startup+342.301 s]
/proc/loadavg: 1.10 1.13 1.07 2/66 1917
/proc/meminfo: memFree=180456/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=342.13
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404972 0 0 0 33888 325 0 0 25 0 1 0 185642915 1657954304 401457 1992294400 4194304 7823515 548682068736 18446744073709551615 6211711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401457 520 886 0 403884 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1619096
[startup+402.301 s]
/proc/loadavg: 1.09 1.12 1.07 2/66 1917
/proc/meminfo: memFree=180392/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=402.11
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404983 0 0 0 39885 326 0 0 25 0 1 0 185642915 1657954304 401468 1992294400 4194304 7823515 548682068736 18446744073709551615 6211574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401468 531 886 0 403884 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 1619096
[startup+462.302 s]
/proc/loadavg: 1.03 1.09 1.06 2/66 1917
/proc/meminfo: memFree=180520/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=462.09
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404983 0 0 0 45882 327 0 0 25 0 1 0 185642915 1657954304 401468 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401468 531 886 0 403884 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 1619096
[startup+522.302 s]
/proc/loadavg: 1.01 1.07 1.06 2/66 1917
/proc/meminfo: memFree=180520/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=522.07
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404983 0 0 0 51879 328 0 0 25 0 1 0 185642915 1657954304 401468 1992294400 4194304 7823515 548682068736 18446744073709551615 5914518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401468 531 886 0 403884 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 1619096
[startup+582.302 s]
/proc/loadavg: 1.00 1.06 1.05 2/66 1917
/proc/meminfo: memFree=180456/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=582.05
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404983 0 0 0 57876 329 0 0 25 0 1 0 185642915 1657954304 401468 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401468 531 886 0 403884 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 1619096
[startup+642.302 s]
/proc/loadavg: 1.00 1.05 1.05 2/66 1917
/proc/meminfo: memFree=180456/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=642.03
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404983 0 0 0 63873 330 0 0 25 0 1 0 185642915 1657954304 401468 1992294400 4194304 7823515 548682068736 18446744073709551615 6208499 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401468 531 886 0 403884 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 1619096
[startup+702.301 s]
################
# More data... #
################
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404983 0 0 0 111846 339 0 0 25 0 1 0 185642915 1657954304 401468 1992294400 4194304 7823515 548682068736 18446744073709551615 6208599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401468 531 886 0 403884 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 1619096
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1917
/proc/meminfo: memFree=180264/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1181.83
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404983 0 0 0 117843 340 0 0 25 0 1 0 185642915 1657954304 401468 1992294400 4194304 7823515 548682068736 18446744073709551615 6208682 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401468 531 886 0 403884 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1619096
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1917
/proc/meminfo: memFree=180200/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1241.81
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404983 0 0 0 123840 341 0 0 25 0 1 0 185642915 1657954304 401468 1992294400 4194304 7823515 548682068736 18446744073709551615 6174895 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401468 531 886 0 403884 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1619096
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1917
/proc/meminfo: memFree=180136/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1301.79
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404985 0 0 0 129837 342 0 0 25 0 1 0 185642915 1657954304 401470 1992294400 4194304 7823515 548682068736 18446744073709551615 6208329 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401470 531 886 0 403884 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1619096
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1917
/proc/meminfo: memFree=180136/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1361.76
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404985 0 0 0 135833 343 0 0 25 0 1 0 185642915 1657954304 401470 1992294400 4194304 7823515 548682068736 18446744073709551615 6208334 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401470 531 886 0 403884 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1619096
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1917
/proc/meminfo: memFree=180136/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1421.75
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404985 0 0 0 141830 345 0 0 25 0 1 0 185642915 1657954304 401470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401470 531 886 0 403884 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 1619096
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1917
/proc/meminfo: memFree=180136/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1481.73
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404985 0 0 0 147826 347 0 0 25 0 1 0 185642915 1657954304 401470 1992294400 4194304 7823515 548682068736 18446744073709551615 5914510 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401470 531 886 0 403884 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 1619096
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1917
/proc/meminfo: memFree=180072/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1541.7
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404985 0 0 0 153822 348 0 0 25 0 1 0 185642915 1657954304 401470 1992294400 4194304 7823515 548682068736 18446744073709551615 6208530 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401470 531 886 0 403884 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 1619096
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1919
/proc/meminfo: memFree=179880/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1601.68
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404998 0 0 0 159816 352 0 0 25 0 1 0 185642915 1657954304 401483 1992294400 4194304 7823515 548682068736 18446744073709551615 6212556 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401483 540 886 0 403884 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 1619096
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1919
/proc/meminfo: memFree=179880/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1661.66
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404998 0 0 0 165811 355 0 0 25 0 1 0 185642915 1657954304 401483 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401483 540 886 0 403884 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1619096
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1919
/proc/meminfo: memFree=179880/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1721.64
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404998 0 0 0 171807 357 0 0 25 0 1 0 185642915 1657954304 401483 1992294400 4194304 7823515 548682068736 18446744073709551615 6212558 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401483 540 886 0 403884 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 1619096
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1919
/proc/meminfo: memFree=179944/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1781.61
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404998 0 0 0 177802 359 0 0 25 0 1 0 185642915 1657954304 401483 1992294400 4194304 7823515 548682068736 18446744073709551615 5924528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401483 540 886 0 403884 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 1619096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1919
/proc/meminfo: memFree=179944/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1800.02
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404998 0 0 0 179642 360 0 0 25 0 1 0 185642915 1657954304 401483 1992294400 4194304 7823515 548682068736 18446744073709551615 6151369 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401483 540 886 0 403884 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1619096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -1915
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1919
/proc/meminfo: memFree=179944/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1800.71
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404998 0 0 0 179711 360 0 0 25 0 1 0 185642915 1657954304 401483 1992294400 4194304 7823515 548682068736 18446744073709551615 6211574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401483 540 886 0 403884 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 1619096
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1920
/proc/meminfo: memFree=179936/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1801.51
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404998 0 0 0 179791 360 0 0 25 0 1 0 185642915 1657954304 401483 1992294400 4194304 7823515 548682068736 18446744073709551615 6150558 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401483 540 886 0 403884 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 1619096
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1920
/proc/meminfo: memFree=179936/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=1619096 CPUtime=1801.91
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4194304 404998 0 0 0 179831 360 0 0 25 0 1 0 185642915 1657954304 401483 1992294400 4194304 7823515 548682068736 18446744073709551615 6211638 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 404774 401483 540 886 0 403884 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 1619096
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1920
/proc/meminfo: memFree=830376/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=0 CPUtime=1802.11
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4195332 404998 0 0 0 179842 369 0 0 25 0 1 0 185642915 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
[startup+1802.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1920
/proc/meminfo: memFree=830376/2055924 swapFree=4179404/4192956
[pid=1915] ppid=1913 vsize=0 CPUtime=1802.21
/proc/1915/stat : 1915 (pbscip.linux.x8) R 1913 1915 1803 0 -1 4195332 404998 0 0 0 179842 379 0 0 25 0 1 0 185642915 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1915/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.21
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.94
CPU time (s): 1802.25
CPU user time (s): 1798.42
CPU system time (s): 3.83042
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 1632652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.42
system time used= 3.83042
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404998
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= 1927
runsolver used 1.9737 second user time and 4.42433 second system time
The end