18.68/18.72 c SCIP version 1.1.0.7
18.68/18.72 c LP-Solver Clp 1.8.2
18.68/18.72 c user parameter file <scip.set> not found - using default parameters
18.68/18.72 c read problem <HOME/instance-1869603-1245180864.opb>
18.68/18.72 c original problem has 21566 variables (21566 bin, 0 int, 0 impl, 0 cont) and 1314050 constraints
22.19/22.20 c start presolving problem
22.19/22.20 c presolving:
32.27/32.33 c (round 1) 10314 del vars, 1190426 del conss, 9898 chg bounds, 160 chg sides, 320 chg coeffs, 0 upgd conss, 3078960 impls, 0 clqs
32.38/32.49 c (round 2) 10324 del vars, 1197874 del conss, 9898 chg bounds, 160 chg sides, 320 chg coeffs, 0 upgd conss, 3078960 impls, 0 clqs
32.57/32.60 c (round 3) 10326 del vars, 1197876 del conss, 9898 chg bounds, 162 chg sides, 324 chg coeffs, 0 upgd conss, 3079076 impls, 0 clqs
33.78/33.88 c (round 4) 10326 del vars, 1197876 del conss, 9898 chg bounds, 162 chg sides, 324 chg coeffs, 116174 upgd conss, 3079076 impls, 0 clqs
43.08/43.16 c (22.4s) probing: 1000/11240 (8.9%) - 0 fixings, 0 aggregations, 3348 implications, 0 bound changes
53.88/53.91 c (33.1s) probing: 2000/11240 (17.8%) - 0 fixings, 0 aggregations, 13007 implications, 0 bound changes
53.88/53.92 c (33.1s) probing: 2001/11240 (17.8%) - 0 fixings, 0 aggregations, 13012 implications, 0 bound changes
53.88/53.92 c (33.1s) probing aborted: 2000/2000 successive useless probings
53.88/53.92 c presolving (5 rounds):
53.88/53.92 c 10326 deleted vars, 1197876 deleted constraints, 9898 tightened bounds, 0 added holes, 162 changed sides, 324 changed coefficients
53.88/53.92 c 3107842 implications, 0 cliques
53.88/53.92 c presolved problem has 11240 variables (11240 bin, 0 int, 0 impl, 0 cont) and 116174 constraints
53.88/53.92 c 116174 constraints of type <logicor>
53.88/53.92 c transformed objective value is always integral (scale: 1)
53.88/53.92 c Presolving Time: 30.39
53.88/53.93 c strange?!, PURESAT with obj
53.88/53.93 c -----------------------------------------------------------------------------------------------
53.88/53.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
53.88/53.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
53.88/53.93 c limits/memory = c 1620
53.88/53.93 c # maximal time in seconds to run
53.88/53.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
53.88/53.93 c limits/time = c 1791
53.88/53.93 c # frequency for displaying node information lines
53.88/53.93 c # [type: int, range: [-1,2147483647], default: 100]
53.88/53.93 c display/freq = c 10000
53.88/53.93 c -----------------------------------------------------------------------------------------------
53.88/53.93 c start solving problem
53.88/53.93 c
143.68/143.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.68/143.70 c 123s| 1 | 0 | 19713 | 763M| 0 | 10k| 11k| 116k| 116k| 11k| 116k| 0 | 0 | 0 | 7.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-1869603-1245180864/watcher-1869603-1245180864 -o /tmp/evaluation-result-1869603-1245180864/solver-1869603-1245180864 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869603-1245180864.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 31111
/proc/meminfo: memFree=1792520/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=7616 CPUtime=0
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 634 0 0 0 0 0 0 0 18 0 1 0 185687092 7798784 619 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/31111/statm: 1904 630 353 1256 0 643 0
[startup+0.067536 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31111
/proc/meminfo: memFree=1792520/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=18496 CPUtime=0.06
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 3537 0 0 0 5 1 0 0 18 0 1 0 185687092 18939904 3521 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 0 0 0
/proc/31111/statm: 4624 3529 378 1256 0 3363 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18496
[startup+0.102525 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31111
/proc/meminfo: memFree=1792520/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=20124 CPUtime=0.09
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 3994 0 0 0 8 1 0 0 18 0 1 0 185687092 20606976 3978 1992294400 4194304 9342243 548682068736 18446744073709551615 8247768 0 0 4096 0 0 0 0 17 0 0 0
/proc/31111/statm: 5031 3978 378 1256 0 3770 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20124
[startup+0.302469 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31111
/proc/meminfo: memFree=1792520/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=25060 CPUtime=0.29
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 5254 0 0 0 28 1 0 0 19 0 1 0 185687092 25661440 5238 1992294400 4194304 9342243 548682068736 18446744073709551615 8247739 0 0 4096 0 0 0 0 17 0 0 0
/proc/31111/statm: 6265 5238 378 1256 0 5004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25060
[startup+0.701353 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31111
/proc/meminfo: memFree=1792520/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=34528 CPUtime=0.69
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 7583 0 0 0 66 3 0 0 23 0 1 0 185687092 35356672 7567 1992294400 4194304 9342243 548682068736 18446744073709551615 8247768 0 0 4096 0 0 0 0 17 0 0 0
/proc/31111/statm: 8632 7567 378 1256 0 7371 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34528
[startup+1.50112 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=1755712/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=55224 CPUtime=1.49
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 12785 0 0 0 144 5 0 0 25 0 1 0 185687092 56549376 12769 1992294400 4194304 9342243 548682068736 18446744073709551615 4212850 0 0 4096 0 0 0 0 17 0 0 0
/proc/31111/statm: 13806 12769 378 1256 0 12545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55224
[startup+3.10168 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=1726464/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=93652 CPUtime=3.09
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 22349 0 0 0 299 10 0 0 25 0 1 0 185687092 95899648 22333 1992294400 4194304 9342243 548682068736 18446744073709551615 8235723 0 0 4096 0 0 0 0 17 1 0 0
/proc/31111/statm: 23413 22333 378 1256 0 22152 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93652
[startup+6.30175 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=1646272/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=174668 CPUtime=6.28
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 42568 0 0 0 610 18 0 0 25 0 1 0 185687092 178860032 42552 1992294400 4194304 9342243 548682068736 18446744073709551615 8247778 0 0 4096 0 0 0 0 17 0 0 0
/proc/31111/statm: 43667 42552 378 1256 0 42406 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 174668
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=1478016/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=338520 CPUtime=12.69
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 83397 0 0 0 1233 36 0 0 25 0 1 0 185687092 346644480 83381 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 0 0 0 0 17 0 0 0
/proc/31111/statm: 84630 83381 378 1256 0 83369 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 338520
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=482688/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1328292 CPUtime=25.48
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 329071 0 0 0 2387 161 0 0 25 0 1 0 185687092 1360171008 328701 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 332073 328701 473 1256 0 330812 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1328292
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=405056/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1399900 CPUtime=51.08
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 350633 0 0 0 4848 260 0 0 25 0 1 0 185687092 1433497600 346747 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 349975 346747 495 1256 0 348714 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1399900
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=415232/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1388604 CPUtime=102.28
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 350765 0 0 0 9963 265 0 0 25 0 1 0 185687092 1421930496 344312 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 347151 344312 616 1256 0 345890 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1388604
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=415168/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1388604 CPUtime=162.27
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 350792 0 0 0 15960 267 0 0 25 0 1 0 185687092 1421930496 344339 1992294400 4194304 9342243 548682068736 18446744073709551615 6959589 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 347151 344339 643 1256 0 345890 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1388604
[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=411712/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=222.28
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 21959 269 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6964580 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1412380
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=411712/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=282.28
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 27959 269 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1412380
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=411712/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=342.26
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 33956 270 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6962202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 1412380
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=411648/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=402.27
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 39956 271 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6964331 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 1412380
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=411648/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=462.25
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 45954 271 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 1412380
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=411648/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=522.26
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 51952 274 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6952956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 1412380
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=411648/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=582.25
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 57950 275 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6952391 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 1412380
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31112
/proc/meminfo: memFree=411648/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=642.26
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 63950 276 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6962268 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 1412380
[startup+702.301 s]
################
# More data... #
################
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 99942 281 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6952126 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 1412380
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31114
/proc/meminfo: memFree=411328/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1062.22
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 105940 282 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1062.22
Current children cumulated vsize (KiB) 1412380
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31114
/proc/meminfo: memFree=411328/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1122.23
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 111940 283 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 1412380
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31114
/proc/meminfo: memFree=411328/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1182.23
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 117939 284 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6504501 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 1412380
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31114
/proc/meminfo: memFree=411200/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1242.23
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 123938 285 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6952853 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 1412380
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31114
/proc/meminfo: memFree=411200/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1302.23
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 129938 285 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6938543 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 1412380
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31114
/proc/meminfo: memFree=411136/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1362.22
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 135936 286 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6504868 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 1412380
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31114
/proc/meminfo: memFree=411136/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1422.23
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 141936 287 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6504812 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1422.23
Current children cumulated vsize (KiB) 1412380
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31114
/proc/meminfo: memFree=411136/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1482.22
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 147934 288 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6147970 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 1412380
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31114
/proc/meminfo: memFree=411136/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1542.23
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 153933 290 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6504501 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 1412380
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31120
/proc/meminfo: memFree=411008/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1602.18
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 159928 290 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6952863 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1602.18
Current children cumulated vsize (KiB) 1412380
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31120
/proc/meminfo: memFree=411008/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1662.18
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 165928 290 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6951671 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1662.18
Current children cumulated vsize (KiB) 1412380
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31120
/proc/meminfo: memFree=411008/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1722.17
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 171925 292 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6504556 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1722.17
Current children cumulated vsize (KiB) 1412380
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31120
/proc/meminfo: memFree=411008/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1782.16
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 177924 292 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6952385 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 1412380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31120
/proc/meminfo: memFree=411008/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1800.07
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 179714 293 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6952952 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1412380
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -31111
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 31121
/proc/meminfo: memFree=410936/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1801.27
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 179834 293 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1801.27
Current children cumulated vsize (KiB) 1412380
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31121
/proc/meminfo: memFree=410936/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=1412380 CPUtime=1802.07
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4194304 352596 0 0 0 179914 293 0 0 25 0 1 0 185687092 1446277120 345244 1992294400 4194304 9342243 548682068736 18446744073709551615 6498487 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/statm: 353095 345244 643 1256 0 351834 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 1412380
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31121
/proc/meminfo: memFree=410936/2055920 swapFree=4191900/4192956
[pid=31111] ppid=31109 vsize=0 CPUtime=1802.26
/proc/31111/stat : 31111 (pbscip.linux.x8) R 31109 31111 30067 0 -1 4195332 352596 0 0 0 179914 312 0 0 25 0 1 0 185687092 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31111/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.41
CPU time (s): 1802.28
CPU user time (s): 1799.15
CPU system time (s): 3.13352
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 1412380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 3.13352
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352596
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= 7024
runsolver used 1.68874 second user time and 4.87726 second system time
The end