19.79/19.87 c SCIP version 1.1.0.7
19.79/19.87 c LP-Solver SoPlex 1.4.1
19.79/19.87 c user parameter file <scip.set> not found - using default parameters
19.79/19.87 c read problem <HOME/instance-1869602-1245180793.opb>
19.79/19.87 c original problem has 21566 variables (21566 bin, 0 int, 0 impl, 0 cont) and 1314050 constraints
23.48/23.50 c start presolving problem
23.48/23.50 c presolving:
33.88/34.00 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
34.08/34.16 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
34.18/34.28 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
35.58/35.64 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
45.08/45.16 c (23.1s) probing: 1000/11240 (8.9%) - 0 fixings, 0 aggregations, 3348 implications, 0 bound changes
55.97/56.07 c (34.0s) probing: 2000/11240 (17.8%) - 0 fixings, 0 aggregations, 13007 implications, 0 bound changes
55.97/56.08 c (34.0s) probing: 2001/11240 (17.8%) - 0 fixings, 0 aggregations, 13012 implications, 0 bound changes
55.97/56.08 c (34.0s) probing aborted: 2000/2000 successive useless probings
55.97/56.08 c presolving (5 rounds):
55.97/56.08 c 10326 deleted vars, 1197876 deleted constraints, 9898 tightened bounds, 0 added holes, 162 changed sides, 324 changed coefficients
55.97/56.08 c 3107842 implications, 0 cliques
55.97/56.08 c presolved problem has 11240 variables (11240 bin, 0 int, 0 impl, 0 cont) and 116174 constraints
55.97/56.08 c 116174 constraints of type <logicor>
55.97/56.08 c transformed objective value is always integral (scale: 1)
55.97/56.08 c Presolving Time: 31.19
55.97/56.10 c strange?!, PURESAT with obj
55.97/56.10 c -----------------------------------------------------------------------------------------------
55.97/56.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
55.97/56.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
55.97/56.10 c limits/memory = c 1620
55.97/56.10 c # maximal time in seconds to run
55.97/56.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
55.97/56.10 c limits/time = c 1791
55.97/56.10 c # frequency for displaying node information lines
55.97/56.10 c # [type: int, range: [-1,2147483647], default: 100]
55.97/56.10 c display/freq = c 10000
55.97/56.10 c -----------------------------------------------------------------------------------------------
55.97/56.10 c start solving problem
55.97/56.10 c
251.30/251.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.30/251.48 c 229s| 1 | 0 | 21615 | 763M| 0 |9199 | 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-1869602-1245180793/watcher-1869602-1245180793 -o /tmp/evaluation-result-1869602-1245180793/solver-1869602-1245180793 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869602-1245180793.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 8461
/proc/meminfo: memFree=1790016/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=4324 CPUtime=0
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 185679414 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/8461/statm: 1081 457 294 886 0 191 0
[startup+0.0776221 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8461
/proc/meminfo: memFree=1790016/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=17068 CPUtime=0.07
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 3581 0 0 0 6 1 0 0 18 0 1 0 185679414 17477632 3563 1992294400 4194304 7823515 548682068736 18446744073709551615 4512305 0 0 4096 0 0 0 0 17 1 0 0
/proc/8461/statm: 4267 3563 354 886 0 3377 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17068
[startup+0.101624 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8461
/proc/meminfo: memFree=1790016/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=18504 CPUtime=0.09
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 3955 0 0 0 8 1 0 0 18 0 1 0 185679414 18948096 3937 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/8461/statm: 4626 3937 354 886 0 3736 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18504
[startup+0.301657 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8461
/proc/meminfo: memFree=1790016/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=23672 CPUtime=0.29
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 5241 0 0 0 27 2 0 0 19 0 1 0 185679414 24240128 5223 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 0 0 0 0 17 1 0 0
/proc/8461/statm: 5918 5223 354 886 0 5028 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23672
[startup+0.701723 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8461
/proc/meminfo: memFree=1790016/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=32752 CPUtime=0.69
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 7499 0 0 0 66 3 0 0 22 0 1 0 185679414 33538048 7481 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/8461/statm: 8188 7481 354 886 0 7298 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32752
[startup+1.50186 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8462
/proc/meminfo: memFree=1754232/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=51528 CPUtime=1.49
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 12180 0 0 0 144 5 0 0 25 0 1 0 185679414 52764672 12162 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/8461/statm: 12882 12162 354 886 0 11992 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51528
[startup+3.10112 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8462
/proc/meminfo: memFree=1726776/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=89764 CPUtime=3.09
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 21725 0 0 0 300 9 0 0 25 0 1 0 185679414 91918336 21707 1992294400 4194304 7823515 548682068736 18446744073709551615 6908089 0 0 4096 0 0 0 0 17 1 0 0
/proc/8461/statm: 22441 21707 354 886 0 21551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89764
[startup+6.30166 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 8462
/proc/meminfo: memFree=1649600/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=166528 CPUtime=6.28
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 40828 0 0 0 611 17 0 0 25 0 1 0 185679414 170524672 40810 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/8461/statm: 41632 40810 354 886 0 40742 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 166528
[startup+12.7017 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 8462
/proc/meminfo: memFree=1490688/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=321232 CPUtime=12.69
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 79332 0 0 0 1235 34 0 0 25 0 1 0 185679414 328941568 79314 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0
/proc/8461/statm: 80308 79314 354 886 0 79418 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 321232
[startup+25.5018 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 8462
/proc/meminfo: memFree=488000/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1314592 CPUtime=25.48
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 325789 0 0 0 2401 147 0 0 25 0 1 0 185679414 1346142208 325417 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 328648 325417 431 886 0 327758 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314592
[startup+51.1011 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 8462
/proc/meminfo: memFree=401920/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1399720 CPUtime=51.07
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350742 0 0 0 4831 276 0 0 25 0 1 0 185679414 1433313280 346853 1992294400 4194304 7823515 548682068736 18446744073709551615 5422857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 349930 346853 453 886 0 349040 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1399720
[startup+102.306 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 8462
/proc/meminfo: memFree=411776/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=102.25
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350913 0 0 0 9942 283 0 0 25 0 1 0 185679414 1421746176 344457 1992294400 4194304 7823515 548682068736 18446744073709551615 6263167 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344457 520 886 0 346216 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1388424
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8462
/proc/meminfo: memFree=411776/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=162.24
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350913 0 0 0 15938 286 0 0 25 0 1 0 185679414 1421746176 344457 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344457 520 886 0 346216 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1388424
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8462
/proc/meminfo: memFree=411712/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=222.21
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350913 0 0 0 21931 290 0 0 25 0 1 0 185679414 1421746176 344457 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344457 520 886 0 346216 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1388424
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8462
/proc/meminfo: memFree=411712/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=282.2
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350924 0 0 0 27928 292 0 0 25 0 1 0 185679414 1421746176 344468 1992294400 4194304 7823515 548682068736 18446744073709551615 6211638 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344468 531 886 0 346216 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1388424
[startup+342.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 8462
/proc/meminfo: memFree=411648/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=342.17
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350924 0 0 0 33924 293 0 0 25 0 1 0 185679414 1421746176 344468 1992294400 4194304 7823515 548682068736 18446744073709551615 6208518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344468 531 886 0 346216 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1388424
[startup+402.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 8462
/proc/meminfo: memFree=411648/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=402.15
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350924 0 0 0 39921 294 0 0 25 0 1 0 185679414 1421746176 344468 1992294400 4194304 7823515 548682068736 18446744073709551615 6208532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344468 531 886 0 346216 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1388424
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8462
/proc/meminfo: memFree=411584/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=462.13
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350924 0 0 0 45918 295 0 0 25 0 1 0 185679414 1421746176 344468 1992294400 4194304 7823515 548682068736 18446744073709551615 6208789 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344468 531 886 0 346216 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1388424
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8462
/proc/meminfo: memFree=411584/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=522.11
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350924 0 0 0 51915 296 0 0 25 0 1 0 185679414 1421746176 344468 1992294400 4194304 7823515 548682068736 18446744073709551615 6208682 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344468 531 886 0 346216 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1388424
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8462
/proc/meminfo: memFree=411520/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=582.09
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350924 0 0 0 57912 297 0 0 25 0 1 0 185679414 1421746176 344468 1992294400 4194304 7823515 548682068736 18446744073709551615 6208777 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344468 531 886 0 346216 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1388424
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8462
/proc/meminfo: memFree=411520/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=642.07
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350926 0 0 0 63907 300 0 0 25 0 1 0 185679414 1421746176 344470 1992294400 4194304 7823515 548682068736 18446744073709551615 6211638 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344470 531 886 0 346216 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1388424
[startup+702.301 s]
################
# More data... #
################
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350926 0 0 0 111877 314 0 0 25 0 1 0 185679414 1421746176 344470 1992294400 4194304 7823515 548682068736 18446744073709551615 6236722 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344470 531 886 0 346216 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1388424
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 8464
/proc/meminfo: memFree=411456/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1181.89
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350926 0 0 0 117873 316 0 0 25 0 1 0 185679414 1421746176 344470 1992294400 4194304 7823515 548682068736 18446744073709551615 6211625 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344470 531 886 0 346216 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1388424
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8464
/proc/meminfo: memFree=411456/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1241.86
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350926 0 0 0 123868 318 0 0 25 0 1 0 185679414 1421746176 344470 1992294400 4194304 7823515 548682068736 18446744073709551615 6208911 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344470 531 886 0 346216 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1388424
[startup+1302.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 8464
/proc/meminfo: memFree=411456/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1301.85
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350926 0 0 0 129865 320 0 0 25 0 1 0 185679414 1421746176 344470 1992294400 4194304 7823515 548682068736 18446744073709551615 6263365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344470 531 886 0 346216 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1388424
[startup+1362.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8464
/proc/meminfo: memFree=411456/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1361.82
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350926 0 0 0 135861 321 0 0 25 0 1 0 185679414 1421746176 344470 1992294400 4194304 7823515 548682068736 18446744073709551615 6208793 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344470 531 886 0 346216 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1388424
[startup+1422.31 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 8464
/proc/meminfo: memFree=411392/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1421.8
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350926 0 0 0 141857 323 0 0 25 0 1 0 185679414 1421746176 344470 1992294400 4194304 7823515 548682068736 18446744073709551615 6135635 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344470 531 886 0 346216 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1388424
[startup+1482.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 8464
/proc/meminfo: memFree=411392/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1481.78
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350926 0 0 0 147853 325 0 0 25 0 1 0 185679414 1421746176 344470 1992294400 4194304 7823515 548682068736 18446744073709551615 6208777 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344470 531 886 0 346216 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1388424
[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8464
/proc/meminfo: memFree=411328/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1541.76
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350926 0 0 0 153849 327 0 0 25 0 1 0 185679414 1421746176 344470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344470 531 886 0 346216 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1388424
[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8464
/proc/meminfo: memFree=411264/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1601.74
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350926 0 0 0 159845 329 0 0 25 0 1 0 185679414 1421746176 344470 1992294400 4194304 7823515 548682068736 18446744073709551615 6208936 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344470 531 886 0 346216 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1388424
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8464
/proc/meminfo: memFree=411264/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1661.72
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350926 0 0 0 165841 331 0 0 25 0 1 0 185679414 1421746176 344470 1992294400 4194304 7823515 548682068736 18446744073709551615 6211600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344470 531 886 0 346216 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1388424
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8470
/proc/meminfo: memFree=411264/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1721.69
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350934 0 0 0 171835 334 0 0 25 0 1 0 185679414 1421746176 344478 1992294400 4194304 7823515 548682068736 18446744073709551615 6263029 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344478 539 886 0 346216 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1388424
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8470
/proc/meminfo: memFree=411328/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1781.68
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350934 0 0 0 177832 336 0 0 25 0 1 0 185679414 1421746176 344478 1992294400 4194304 7823515 548682068736 18446744073709551615 6257588 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344478 539 886 0 346216 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1388424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8470
/proc/meminfo: memFree=411328/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1800.07
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350934 0 0 0 179671 336 0 0 25 0 1 0 185679414 1421746176 344478 1992294400 4194304 7823515 548682068736 18446744073709551615 6212754 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344478 539 886 0 346216 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1388424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8461
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 8470
/proc/meminfo: memFree=411328/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1800.77
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350934 0 0 0 179740 337 0 0 25 0 1 0 185679414 1421746176 344478 1992294400 4194304 7823515 548682068736 18446744073709551615 6212426 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344478 539 886 0 346216 0
Current children cumulated CPU time (s) 1800.77
Current children cumulated vsize (KiB) 1388424
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8471
/proc/meminfo: memFree=411320/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1801.57
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350934 0 0 0 179820 337 0 0 25 0 1 0 185679414 1421746176 344478 1992294400 4194304 7823515 548682068736 18446744073709551615 5924546 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344478 539 886 0 346216 0
Current children cumulated CPU time (s) 1801.57
Current children cumulated vsize (KiB) 1388424
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8471
/proc/meminfo: memFree=411320/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=1388424 CPUtime=1801.97
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4194304 350934 0 0 0 179860 337 0 0 25 0 1 0 185679414 1421746176 344478 1992294400 4194304 7823515 548682068736 18446744073709551615 6151312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 347106 344478 539 886 0 346216 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 1388424
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8471
/proc/meminfo: memFree=1007872/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=0 CPUtime=1802.17
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4195332 350934 0 0 0 179871 346 0 0 25 0 1 0 185679414 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.17
Current children cumulated vsize (KiB) 0
[startup+1802.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8471
/proc/meminfo: memFree=1007872/2055920 swapFree=4180828/4192956
[pid=8461] ppid=8459 vsize=0 CPUtime=1802.27
/proc/8461/stat : 8461 (pbscip.linux.x8) R 8459 8461 8244 0 -1 4195332 350934 0 0 0 179871 356 0 0 25 0 1 0 185679414 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8461/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.27
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.93
CPU time (s): 1802.3
CPU user time (s): 1798.71
CPU system time (s): 3.58645
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 1407708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 3.58645
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350934
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= 2907
runsolver used 1.38579 second user time and 3.84841 second system time
The end