20.58/20.65 c SCIP version 1.1.0.7
20.58/20.65 c LP-Solver Clp 1.8.2
20.58/20.65 c user parameter file <scip.set> not found - using default parameters
20.58/20.65 c read problem <HOME/instance-1869601-1245180592.opb>
20.58/20.65 c original problem has 23848 variables (23848 bin, 0 int, 0 impl, 0 cont) and 1451912 constraints
24.38/24.44 c start presolving problem
24.38/24.44 c presolving:
34.88/34.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
34.98/35.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
35.09/35.20 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
36.48/36.52 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
45.88/45.92 c (23.0s) probing: 1000/11712 (8.5%) - 0 fixings, 0 aggregations, 9765 implications, 0 bound changes
55.87/55.99 c (33.1s) probing: 2000/11712 (17.1%) - 0 fixings, 0 aggregations, 27489 implications, 0 bound changes
55.87/56.00 c (33.1s) probing: 2001/11712 (17.1%) - 0 fixings, 0 aggregations, 27538 implications, 0 bound changes
55.87/56.00 c (33.1s) probing aborted: 2000/2000 successive useless probings
55.87/56.00 c presolving (5 rounds):
55.87/56.00 c 12136 deleted vars, 1329258 deleted constraints, 11680 tightened bounds, 0 added holes, 170 changed sides, 340 changed coefficients
55.98/56.00 c 3022484 implications, 0 cliques
55.98/56.00 c presolved problem has 11712 variables (11712 bin, 0 int, 0 impl, 0 cont) and 122654 constraints
55.98/56.00 c 122654 constraints of type <logicor>
55.98/56.00 c transformed objective value is always integral (scale: 1)
55.98/56.00 c Presolving Time: 30.19
55.98/56.01 c strange?!, PURESAT with obj
55.98/56.01 c -----------------------------------------------------------------------------------------------
55.98/56.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
55.98/56.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
55.98/56.01 c limits/memory = c 1620
55.98/56.01 c # maximal time in seconds to run
55.98/56.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
55.98/56.01 c limits/time = c 1791
55.98/56.01 c # frequency for displaying node information lines
55.98/56.01 c # [type: int, range: [-1,2147483647], default: 100]
55.98/56.01 c display/freq = c 10000
55.98/56.01 c -----------------------------------------------------------------------------------------------
55.98/56.01 c start solving problem
55.98/56.01 c
165.65/165.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.65/165.72 c 143s| 1 | 0 | 21012 | 828M| 0 | 11k| 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-1869601-1245180592/watcher-1869601-1245180592 -o /tmp/evaluation-result-1869601-1245180592/solver-1869601-1245180592 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869601-1245180592.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/65 30597
/proc/meminfo: memFree=1813096/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=7616 CPUtime=0
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 581 0 0 0 0 0 0 0 20 0 1 0 185657463 7798784 565 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/30597/statm: 1904 577 354 1256 0 643 0
[startup+0.00868297 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30597
/proc/meminfo: memFree=1813096/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=9740 CPUtime=0
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 1445 0 0 0 0 0 0 0 20 0 1 0 185657463 9973760 1429 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/30597/statm: 2435 1430 363 1256 0 1174 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9740
[startup+0.101691 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30597
/proc/meminfo: memFree=1813096/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=20264 CPUtime=0.09
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 4029 0 0 0 8 1 0 0 20 0 1 0 185657463 20750336 4013 1992294400 4194304 9342243 548682068736 18446744073709551615 8247743 0 0 4096 0 0 0 0 17 1 0 0
/proc/30597/statm: 5066 4013 378 1256 0 3805 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20264
[startup+0.301712 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30597
/proc/meminfo: memFree=1813096/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=25064 CPUtime=0.29
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 5256 0 0 0 27 2 0 0 22 0 1 0 185657463 25665536 5240 1992294400 4194304 9342243 548682068736 18446744073709551615 4649571 0 0 4096 0 0 0 0 17 1 0 0
/proc/30597/statm: 6266 5240 378 1256 0 5005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25064
[startup+0.701754 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30597
/proc/meminfo: memFree=1813096/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=34552 CPUtime=0.69
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 7588 0 0 0 66 3 0 0 25 0 1 0 185657463 35381248 7572 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/30597/statm: 8638 7572 378 1256 0 7377 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34552
[startup+1.50184 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=1776224/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=55292 CPUtime=1.49
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 12787 0 0 0 143 6 0 0 25 0 1 0 185657463 56619008 12771 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/30597/statm: 13823 12771 378 1256 0 12562 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55292
[startup+3.10201 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=1745952/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=95752 CPUtime=3.09
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 22884 0 0 0 298 11 0 0 25 0 1 0 185657463 98050048 22868 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/30597/statm: 23938 22868 378 1256 0 22677 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 95752
[startup+6.30135 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 30598
/proc/meminfo: memFree=1662048/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=179100 CPUtime=6.29
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 43689 0 0 0 609 20 0 0 25 0 1 0 185657463 183398400 43673 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/30597/statm: 44775 43673 378 1256 0 43514 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 179100
[startup+12.701 s]
/proc/loadavg: 1.15 1.03 1.01 2/66 30598
/proc/meminfo: memFree=1493792/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=342004 CPUtime=12.69
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 84254 0 0 0 1231 38 0 0 25 0 1 0 185657463 350212096 84238 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/30597/statm: 85501 84238 378 1256 0 84240 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 342004
[startup+25.5014 s]
/proc/loadavg: 1.12 1.03 1.01 2/66 30598
/proc/meminfo: memFree=388320/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1446656 CPUtime=25.48
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 356387 0 0 0 2408 140 0 0 25 0 1 0 185657463 1481375744 356017 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 361664 356017 470 1256 0 360403 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1446656
[startup+51.1011 s]
/proc/loadavg: 1.08 1.03 1.01 2/66 30598
/proc/meminfo: memFree=309088/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1527020 CPUtime=51.08
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 379699 0 0 0 4825 283 0 0 25 0 1 0 185657463 1563668480 375818 1992294400 4194304 9342243 548682068736 18446744073709551615 4788061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 381755 375818 495 1256 0 380494 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1527020
[startup+102.306 s]
/proc/loadavg: 1.03 1.02 1.00 2/66 30598
/proc/meminfo: memFree=319968/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1513464 CPUtime=102.26
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 379885 0 0 0 9939 287 0 0 25 0 1 0 185657463 1549787136 373168 1992294400 4194304 9342243 548682068736 18446744073709551615 5868798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 378366 373168 616 1256 0 377105 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1513464
[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 30598
/proc/meminfo: memFree=316256/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538592 CPUtime=162.24
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 385798 0 0 0 15932 292 0 0 25 0 1 0 185657463 1575518208 374150 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384648 374150 616 1256 0 383387 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1538592
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 30598
/proc/meminfo: memFree=316256/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=222.23
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386799 0 0 0 21930 293 0 0 25 0 1 0 185657463 1575514112 374169 1992294400 4194304 9342243 548682068736 18446744073709551615 6952857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374169 643 1256 0 383386 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1538588
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=316192/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=282.21
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386801 0 0 0 27928 293 0 0 25 0 1 0 185657463 1575514112 374171 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374171 643 1256 0 383386 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1538588
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=316192/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=342.19
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386806 0 0 0 33925 294 0 0 25 0 1 0 185657463 1575514112 374176 1992294400 4194304 9342243 548682068736 18446744073709551615 6952923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374176 643 1256 0 383386 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1538588
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=316128/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=402.18
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386808 0 0 0 39923 295 0 0 25 0 1 0 185657463 1575514112 374178 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374178 643 1256 0 383386 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1538588
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=316128/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=462.16
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386812 0 0 0 45920 296 0 0 25 0 1 0 185657463 1575514112 374182 1992294400 4194304 9342243 548682068736 18446744073709551615 6952927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374182 643 1256 0 383386 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1538588
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=316064/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=522.14
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386814 0 0 0 51918 296 0 0 25 0 1 0 185657463 1575514112 374184 1992294400 4194304 9342243 548682068736 18446744073709551615 6163016 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374184 643 1256 0 383386 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1538588
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=316000/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=582.12
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386835 0 0 0 57916 296 0 0 25 0 1 0 185657463 1575514112 374205 1992294400 4194304 9342243 548682068736 18446744073709551615 6978578 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374205 643 1256 0 383386 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1538588
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=315936/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=642.11
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386850 0 0 0 63913 298 0 0 25 0 1 0 185657463 1575514112 374220 1992294400 4194304 9342243 548682068736 18446744073709551615 6951966 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374220 643 1256 0 383386 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1538588
[startup+702.301 s]
################
# More data... #
################
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 105894 305 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6952872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1538588
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=315808/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1121.97
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 111892 305 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1538588
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=315744/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1181.95
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 117889 306 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6166999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1538588
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=315744/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1241.93
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 123886 307 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6978555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1538588
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30598
/proc/meminfo: memFree=315680/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1301.92
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 129884 308 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6952126 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1538588
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30600
/proc/meminfo: memFree=315424/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1361.9
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 135881 309 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1538588
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30600
/proc/meminfo: memFree=315424/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1421.88
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 141878 310 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6504529 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1538588
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30600
/proc/meminfo: memFree=315424/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1481.86
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 147875 311 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1538588
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30600
/proc/meminfo: memFree=315424/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1541.85
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 153873 312 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6962261 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1538588
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30600
/proc/meminfo: memFree=315424/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1601.83
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 159869 314 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6952387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1538588
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30600
/proc/meminfo: memFree=315424/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1661.81
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 165865 316 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1538588
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30600
/proc/meminfo: memFree=315424/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1721.8
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 171863 317 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6951966 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1538588
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30600
/proc/meminfo: memFree=315488/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1781.78
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 177860 318 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6952866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1538588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30600
/proc/meminfo: memFree=315488/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1800.09
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 179690 319 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6937481 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1538588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30597
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 30600
/proc/meminfo: memFree=315488/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1800.88
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 179769 319 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6889076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 1538588
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30601
/proc/meminfo: memFree=315480/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1801.68
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 179849 319 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6951757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 1538588
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30601
/proc/meminfo: memFree=315480/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=1538588 CPUtime=1802.08
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4194304 386853 0 0 0 179889 319 0 0 25 0 1 0 185657463 1575514112 374223 1992294400 4194304 9342243 548682068736 18446744073709551615 6951969 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 384647 374223 643 1256 0 383386 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 1538588
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30601
/proc/meminfo: memFree=1618336/2055920 swapFree=4179968/4192956
[pid=30597] ppid=30595 vsize=0 CPUtime=1802.28
/proc/30597/stat : 30597 (pbscip.linux.x8) R 30595 30597 30409 0 -1 4195332 386853 0 0 0 179890 338 0 0 25 0 1 0 185657463 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30597/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.28
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.83
CPU time (s): 1802.31
CPU user time (s): 1798.9
CPU system time (s): 3.41148
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1538592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 3.41148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 386853
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= 2151
runsolver used 1.9497 second user time and 4.6173 second system time
The end