22.08/22.14 c SCIP version 1.1.0.7
22.08/22.14 c LP-Solver Clp 1.8.2
22.08/22.14 c user parameter file <scip.set> not found - using default parameters
22.08/22.14 c read problem <HOME/instance-1869599-1245180471.opb>
22.08/22.14 c original problem has 25484 variables (25484 bin, 0 int, 0 impl, 0 cont) and 1553328 constraints
26.18/26.20 c start presolving problem
26.18/26.20 c presolving:
37.56/37.65 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.77/37.86 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.87/37.99 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.47/39.52 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.26/49.35 c (24.7s) probing: 1000/12850 (7.8%) - 0 fixings, 0 aggregations, 15338 implications, 0 bound changes
60.85/60.98 c (36.3s) probing: 2000/12850 (15.6%) - 0 fixings, 0 aggregations, 49005 implications, 0 bound changes
60.85/60.99 c (36.3s) probing: 2001/12850 (15.6%) - 0 fixings, 0 aggregations, 49023 implications, 0 bound changes
60.85/60.99 c (36.3s) probing aborted: 2000/2000 successive useless probings
60.85/60.99 c presolving (5 rounds):
60.85/60.99 c 12634 deleted vars, 1413354 deleted constraints, 12150 tightened bounds, 0 added holes, 175 changed sides, 350 changed coefficients
60.85/60.99 c 3267599 implications, 0 cliques
60.85/60.99 c presolved problem has 12850 variables (12850 bin, 0 int, 0 impl, 0 cont) and 139974 constraints
60.85/60.99 c 139974 constraints of type <logicor>
60.85/60.99 c transformed objective value is always integral (scale: 1)
60.85/60.99 c Presolving Time: 33.23
60.95/61.01 c strange?!, PURESAT with obj
60.95/61.01 c -----------------------------------------------------------------------------------------------
60.95/61.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
60.95/61.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
60.95/61.01 c limits/memory = c 1620
60.95/61.01 c # maximal time in seconds to run
60.95/61.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
60.95/61.01 c limits/time = c 1791
60.95/61.01 c # frequency for displaying node information lines
60.95/61.01 c # [type: int, range: [-1,2147483647], default: 100]
60.95/61.01 c display/freq = c 10000
60.95/61.01 c -----------------------------------------------------------------------------------------------
60.95/61.01 c start solving problem
60.95/61.01 c
194.29/194.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.29/194.44 c 170s| 1 | 0 | 23243 | 887M| 0 | 12k| 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-1869599-1245180471/watcher-1869599-1245180471 -o /tmp/evaluation-result-1869599-1245180471/solver-1869599-1245180471 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869599-1245180471.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.01 1.01 1.00 3/64 5760
/proc/meminfo: memFree=1779936/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=7616 CPUtime=0
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 635 0 0 0 0 0 0 0 18 0 1 0 185648373 7798784 620 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/5760/statm: 1904 630 353 1256 0 643 0
[startup+0.0667641 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 5760
/proc/meminfo: memFree=1779936/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=18500 CPUtime=0.06
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 3375 0 0 0 5 1 0 0 18 0 1 0 185648373 18944000 3360 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 0 0 0
/proc/5760/statm: 4625 3368 378 1256 0 3364 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18500
[startup+0.10177 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 5760
/proc/meminfo: memFree=1779936/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=20260 CPUtime=0.09
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 4029 0 0 0 8 1 0 0 18 0 1 0 185648373 20746240 4013 1992294400 4194304 9342243 548682068736 18446744073709551615 5010223 0 0 4096 0 0 0 0 17 0 0 0
/proc/5760/statm: 5065 4013 378 1256 0 3804 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20260
[startup+0.301803 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 5760
/proc/meminfo: memFree=1779936/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=25264 CPUtime=0.29
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 5274 0 0 0 27 2 0 0 19 0 1 0 185648373 25870336 5258 1992294400 4194304 9342243 548682068736 18446744073709551615 5855064 0 0 4096 0 0 0 0 17 0 0 0
/proc/5760/statm: 6316 5258 378 1256 0 5055 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25264
[startup+0.701873 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 5760
/proc/meminfo: memFree=1779936/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=34540 CPUtime=0.69
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 7600 0 0 0 67 2 0 0 23 0 1 0 185648373 35368960 7584 1992294400 4194304 9342243 548682068736 18446744073709551615 5858552 0 0 4096 0 0 0 0 17 0 0 0
/proc/5760/statm: 8635 7584 378 1256 0 7374 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34540
[startup+1.50201 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 5761
/proc/meminfo: memFree=1740632/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=55280 CPUtime=1.49
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 12799 0 0 0 144 5 0 0 25 0 1 0 185648373 56606720 12783 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 0 0 0 0 17 0 0 0
/proc/5760/statm: 13820 12783 378 1256 0 12559 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55280
[startup+3.10129 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 5761
/proc/meminfo: memFree=1714136/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=96828 CPUtime=3.09
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 23135 0 0 0 299 10 0 0 25 0 1 0 185648373 99151872 23119 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 0 0 0
/proc/5760/statm: 24207 23119 378 1256 0 22946 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96828
[startup+6.30186 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 5761
/proc/meminfo: memFree=1631448/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=178056 CPUtime=6.29
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 43426 0 0 0 610 19 0 0 19 0 1 0 185648373 182329344 43410 1992294400 4194304 9342243 548682068736 18446744073709551615 4599159 0 0 4096 0 0 0 0 17 0 0 0
/proc/5760/statm: 44514 43410 378 1256 0 43253 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178056
[startup+12.702 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 5761
/proc/meminfo: memFree=1464344/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=340920 CPUtime=12.68
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 83986 0 0 0 1232 36 0 0 25 0 1 0 185648373 349102080 83970 1992294400 4194304 9342243 548682068736 18446744073709551615 8236113 0 0 4096 0 0 0 0 17 0 0 0
/proc/5760/statm: 85230 83970 378 1256 0 83969 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 340920
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=386392/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1445116 CPUtime=25.48
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 357826 0 0 0 2406 142 0 0 25 0 1 0 185648373 1479798784 357456 1992294400 4194304 9342243 548682068736 18446744073709551615 4240276 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 361279 357456 416 1256 0 360018 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1445116
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=160600/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1634568 CPUtime=51.06
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405078 0 0 0 4794 312 0 0 25 0 1 0 185648373 1673797632 404601 1992294400 4194304 9342243 548682068736 18446744073709551615 4221694 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 408642 404601 495 1256 0 407381 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1634568
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=172568/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=102.24
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405256 0 0 0 9906 318 0 0 25 0 1 0 185648373 1659916288 401745 1992294400 4194304 9342243 548682068736 18446744073709551615 5869970 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401745 616 1256 0 403992 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1621012
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=172568/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=162.2
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405256 0 0 0 15900 320 0 0 25 0 1 0 185648373 1659916288 401745 1992294400 4194304 9342243 548682068736 18446744073709551615 6962202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401745 616 1256 0 403992 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 1621012
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=172568/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=222.17
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 21896 321 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6952866 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 1621012
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=172504/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=282.14
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 27893 321 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6147996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 1621012
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=172504/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=342.11
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 33889 322 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 1621012
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=172504/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=402.08
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 39885 323 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6504545 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 1621012
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=172440/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=462.05
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 45881 324 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6952894 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 1621012
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=172440/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=522.01
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 51877 324 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6951969 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 1621012
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=172440/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=581.99
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 57874 325 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6951966 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 1621012
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=172440/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=641.96
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 63871 325 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 1621012
[startup+702.302 s]
################
# More data... #
################
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 105840 331 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6978555 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 1621012
[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 5761
/proc/meminfo: memFree=172376/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1121.66
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 111834 332 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6504747 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 1621012
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5761
/proc/meminfo: memFree=172376/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1181.64
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 117831 333 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6951969 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 1621012
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5761
/proc/meminfo: memFree=172184/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1241.6
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 123826 334 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6952126 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1241.6
Current children cumulated vsize (KiB) 1621012
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=172184/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1301.57
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 129823 334 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6498491 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1301.57
Current children cumulated vsize (KiB) 1621012
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5761
/proc/meminfo: memFree=172184/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1361.54
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 135819 335 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6952396 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1361.54
Current children cumulated vsize (KiB) 1621012
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5763
/proc/meminfo: memFree=172120/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1421.51
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 141814 337 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6962328 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1421.51
Current children cumulated vsize (KiB) 1621012
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5763
/proc/meminfo: memFree=172120/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1481.48
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 147810 338 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1481.48
Current children cumulated vsize (KiB) 1621012
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5763
/proc/meminfo: memFree=172120/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1541.46
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 153806 340 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6748444 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1541.46
Current children cumulated vsize (KiB) 1621012
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5763
/proc/meminfo: memFree=172120/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1601.42
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 159801 341 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6498491 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1601.42
Current children cumulated vsize (KiB) 1621012
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5763
/proc/meminfo: memFree=172120/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1661.39
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 165798 341 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6504556 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1661.39
Current children cumulated vsize (KiB) 1621012
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5763
/proc/meminfo: memFree=172120/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1721.36
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 171794 342 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6951969 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1721.36
Current children cumulated vsize (KiB) 1621012
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5763
/proc/meminfo: memFree=171992/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1781.33
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 177790 343 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6962165 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (KiB) 1621012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5763
/proc/meminfo: memFree=171992/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1800.03
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 179660 343 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6952376 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1621012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5760
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5763
/proc/meminfo: memFree=171992/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1800.42
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 179699 343 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6952114 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 1621012
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5764
/proc/meminfo: memFree=171984/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1801.22
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 179779 343 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6952126 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1801.22
Current children cumulated vsize (KiB) 1621012
[startup+1803 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5764
/proc/meminfo: memFree=171984/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=1621012 CPUtime=1802.02
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4194304 405283 0 0 0 179859 343 0 0 25 0 1 0 185648373 1659916288 401772 1992294400 4194304 9342243 548682068736 18446744073709551615 6504796 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 405253 401772 643 1256 0 403992 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 1621012
[startup+1803.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5764
/proc/meminfo: memFree=171984/2055920 swapFree=4191900/4192956
[pid=5760] ppid=5758 vsize=0 CPUtime=1802.23
/proc/5760/stat : 5760 (pbscip.linux.x8) R 5758 5760 5608 0 -1 4195332 405283 0 0 0 179860 363 0 0 25 0 1 0 185648373 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5760/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.23
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1803.24
CPU time (s): 1802.27
CPU user time (s): 1798.6
CPU system time (s): 3.66844
CPU usage (%): 99.9463
Max. virtual memory (cumulated for all children) (KiB): 1634568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.6
system time used= 3.66844
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 405283
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= 4
involuntary context switches= 6804
runsolver used 1.65775 second user time and 4.91325 second system time
The end