0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666958-1276378333.opb>
10.69/10.77 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
10.69/10.77 c problem read
10.69/10.77 c presolving settings loaded
13.69/13.73 c presolving:
25.68/25.70 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 656900 upgd conss, 1313400 impls, 0 clqs
31.09/31.19 c (18.1s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
31.09/31.19 c (18.1s) probing aborted: 100/100 successive totally useless probings
31.09/31.20 c presolving (2 rounds):
31.09/31.20 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
31.09/31.20 c 1313400 implications, 0 cliques
31.09/31.20 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
31.09/31.20 c 656900 constraints of type <logicor>
31.09/31.20 c transformed objective value is always integral (scale: 1)
31.09/31.20 c Presolving Time: 16.08
31.09/31.20 c - non default parameters ----------------------------------------------------------------------
31.09/31.20 c # SCIP version 1.2.1.2
31.09/31.20 c
31.09/31.20 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
31.09/31.20 c # [type: int, range: [-1,2147483647], default: -1]
31.09/31.20 c conflict/interconss = 0
31.09/31.20 c
31.09/31.20 c # should binary conflicts be preferred?
31.09/31.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.09/31.20 c conflict/preferbinary = TRUE
31.09/31.20 c
31.09/31.20 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
31.09/31.20 c # [type: int, range: [-1,2147483647], default: 0]
31.09/31.20 c constraints/agelimit = 1
31.09/31.20 c
31.09/31.20 c # should enforcement of pseudo solution be disabled?
31.09/31.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.09/31.20 c constraints/disableenfops = TRUE
31.09/31.20 c
31.09/31.20 c # frequency for displaying node information lines
31.09/31.20 c # [type: int, range: [-1,2147483647], default: 100]
31.09/31.20 c display/freq = 10000
31.09/31.20 c
31.09/31.20 c # maximal time in seconds to run
31.09/31.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
31.09/31.20 c limits/time = 1789.24
31.09/31.20 c
31.09/31.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
31.09/31.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
31.09/31.20 c limits/memory = 1620
31.09/31.20 c
31.09/31.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
31.09/31.20 c # [type: int, range: [-1,2147483647], default: 1]
31.09/31.20 c lp/solvefreq = 0
31.09/31.20 c
31.09/31.20 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
31.09/31.20 c # [type: char, range: {lafpsqd}, default: l]
31.09/31.20 c lp/pricing = a
31.09/31.20 c
31.09/31.20 c # should presolving try to simplify inequalities
31.09/31.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.09/31.20 c constraints/linear/simplifyinequalities = TRUE
31.09/31.20 c
31.09/31.20 c # should presolving try to simplify knapsacks
31.09/31.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.09/31.20 c constraints/knapsack/simplifyinequalities = TRUE
31.09/31.20 c
31.09/31.20 c # priority of node selection rule <dfs> in standard mode
31.09/31.20 c # [type: int, range: [-536870912,536870911], default: 0]
31.09/31.20 c nodeselection/dfs/stdpriority = 1000000
31.09/31.20 c
31.09/31.20 c -----------------------------------------------------------------------------------------------
31.09/31.20 c start solving
31.19/31.25 c
70.64/70.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.64/70.73 c 56.9s| 1 | 0 | 1096 | - | 735M| 0 | 267 | 10k| 656k| 10k| 656k| 0 | 0 | 0 | 1.825254e+02 | -- | Inf
459.29/459.58 o 391
459.29/459.58 c F 445s| 1 | 0 | 6400 | - | 736M| 0 | 0 | 10k| 656k| 10k| 656k| 0 | 0 | 0 | 1.825254e+02 | 3.910000e+02 | 114.22%
670.51/670.89 c 635s| 1 | 0 | 6775 | - | 744M| 0 | 266 | 10k| 656k| 10k| 656k| 11 | 0 | 0 | 1.885607e+02 | 3.910000e+02 | 107.36%
671.01/671.36 o 390
671.01/671.36 c b 636s| 1 | 0 | 6775 | - | 744M| 0 | 266 | 10k| 656k| 10k| 656k| 11 | 0 | 0 | 1.885607e+02 | 3.900000e+02 | 106.83%
1800.07/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666958-1276378333/watcher-2666958-1276378333 -o /tmp/evaluation-result-2666958-1276378333/solver-2666958-1276378333 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666958-1276378333.opb -t 1800 -m 1800
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.59 1.90 1.62 3/106 12823
/proc/meminfo: memFree=1686196/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=6696 CPUtime=0
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 11489722 6856704 904 1992294400 4194304 8223781 140734711277744 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12823/statm: 1674 904 343 984 0 687 0
[startup+0.0571739 s]
/proc/loadavg: 1.59 1.90 1.62 3/106 12823
/proc/meminfo: memFree=1686196/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=17328 CPUtime=0.05
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 3660 0 0 0 4 1 0 0 20 0 1 0 11489722 17743872 3575 1992294400 4194304 8223781 140734711277744 18446744073709551615 7189641 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12823/statm: 4332 3575 366 984 0 3345 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17328
[startup+0.101181 s]
/proc/loadavg: 1.59 1.90 1.62 3/106 12823
/proc/meminfo: memFree=1686196/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=18680 CPUtime=0.09
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 3982 0 0 0 8 1 0 0 20 0 1 0 11489722 19128320 3896 1992294400 4194304 8223781 140734711277744 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12823/statm: 4670 3896 365 984 0 3683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18680
[startup+0.301219 s]
/proc/loadavg: 1.59 1.90 1.62 3/106 12823
/proc/meminfo: memFree=1686196/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=22708 CPUtime=0.29
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 5005 0 0 0 28 1 0 0 20 0 1 0 11489722 23252992 4919 1992294400 4194304 8223781 140734711277744 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12823/statm: 5677 4919 365 984 0 4690 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22708
[startup+0.701293 s]
/proc/loadavg: 1.59 1.90 1.62 3/106 12823
/proc/meminfo: memFree=1686196/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=31600 CPUtime=0.69
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 7193 0 0 0 67 2 0 0 21 0 1 0 11489722 32358400 7107 1992294400 4194304 8223781 140734711277744 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12823/statm: 7900 7107 365 984 0 6913 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31600
[startup+1.50044 s]
/proc/loadavg: 1.59 1.90 1.62 2/107 12824
/proc/meminfo: memFree=1653204/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=48192 CPUtime=1.49
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 11342 0 0 0 145 4 0 0 23 0 1 0 11489722 49348608 11256 1992294400 4194304 8223781 140734711277744 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12823/statm: 12048 11256 365 984 0 11061 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48192
[startup+3.10074 s]
/proc/loadavg: 1.54 1.89 1.62 2/107 12824
/proc/meminfo: memFree=1629024/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=81416 CPUtime=3.09
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 19643 0 0 0 301 8 0 0 25 0 1 0 11489722 83369984 19557 1992294400 4194304 8223781 140734711277744 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12823/statm: 20354 19557 365 984 0 19367 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81416
[startup+6.30034 s]
/proc/loadavg: 1.54 1.89 1.62 2/107 12824
/proc/meminfo: memFree=1559956/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=147900 CPUtime=6.28
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 36274 0 0 0 614 14 0 0 25 0 1 0 11489722 151449600 36188 1992294400 4194304 8223781 140734711277744 18446744073709551615 7233326 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12823/statm: 36975 36188 365 984 0 35988 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 147900
[startup+12.7005 s]
/proc/loadavg: 1.46 1.86 1.61 2/107 12824
/proc/meminfo: memFree=1191180/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=585012 CPUtime=12.69
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 145912 0 0 0 1214 55 0 0 25 0 1 0 11489722 599052288 144808 1992294400 4194304 8223781 140734711277744 18446744073709551615 4906535 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 146253 144808 390 984 0 145266 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 585012
[startup+25.5019 s]
/proc/loadavg: 1.39 1.83 1.61 2/107 12824
/proc/meminfo: memFree=1030600/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=665352 CPUtime=25.48
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 236600 0 0 0 2327 221 0 0 25 0 1 0 11489722 681320448 163868 1992294400 4194304 8223781 140734711277744 18446744073709551615 4333587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 166338 163868 444 984 0 165351 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 665352
[startup+51.1017 s]
/proc/loadavg: 1.25 1.76 1.59 2/107 12826
/proc/meminfo: memFree=460200/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1311540 CPUtime=51.05
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 440449 0 0 0 4787 318 0 0 25 0 1 0 11489722 1343016960 306336 1992294400 4194304 8223781 140734711277744 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 327885 306336 527 984 0 326898 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 1311540
[startup+102.309 s]
/proc/loadavg: 1.10 1.63 1.55 2/107 12826
/proc/meminfo: memFree=426844/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1349556 CPUtime=102.24
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 463339 0 0 0 9895 329 0 0 25 0 1 0 11489722 1381945344 314612 1992294400 4194304 8223781 140734711277744 18446744073709551615 6240093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 337389 314612 540 984 0 336402 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1349556
[startup+162.301 s]
/proc/loadavg: 1.04 1.51 1.52 2/107 12828
/proc/meminfo: memFree=417544/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1359904 CPUtime=162.21
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 480799 0 0 0 15884 337 0 0 25 0 1 0 11489722 1392541696 316971 1992294400 4194304 8223781 140734711277744 18446744073709551615 6612661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 339976 316971 540 984 0 338989 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 1359904
[startup+222.302 s]
/proc/loadavg: 1.01 1.42 1.48 2/107 12830
/proc/meminfo: memFree=416676/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1361176 CPUtime=222.19
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 490770 0 0 0 21875 344 0 0 25 0 1 0 11489722 1393844224 317162 1992294400 4194304 8223781 140734711277744 18446744073709551615 6569356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 340294 317162 540 984 0 339307 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1361176
[startup+282.301 s]
/proc/loadavg: 1.00 1.34 1.45 2/107 12832
/proc/meminfo: memFree=416056/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1361352 CPUtime=282.16
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 503671 0 0 0 27865 351 0 0 25 0 1 0 11489722 1394024448 317332 1992294400 4194304 8223781 140734711277744 18446744073709551615 6240370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 340338 317332 540 984 0 339351 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 1361352
[startup+342.301 s]
/proc/loadavg: 1.00 1.27 1.42 2/107 12834
/proc/meminfo: memFree=414320/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1363336 CPUtime=342.13
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 514369 0 0 0 33855 358 0 0 25 0 1 0 11489722 1396056064 317740 1992294400 4194304 8223781 140734711277744 18446744073709551615 6612619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 340834 317740 540 984 0 339847 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1363336
[startup+402.3 s]
/proc/loadavg: 1.00 1.23 1.39 2/107 12837
/proc/meminfo: memFree=413328/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1364392 CPUtime=402.11
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 526767 0 0 0 39846 365 0 0 25 0 1 0 11489722 1397137408 317837 1992294400 4194304 8223781 140734711277744 18446744073709551615 6503370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 341098 317837 540 984 0 340111 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 1364392
[startup+462.301 s]
/proc/loadavg: 1.00 1.18 1.36 2/107 12839
/proc/meminfo: memFree=433664/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1332896 CPUtime=462.09
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 652948 0 0 0 45798 411 0 0 25 0 1 0 11489722 1364885504 312801 1992294400 4194304 8223781 140734711277744 18446744073709551615 6300092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 333224 312801 548 984 0 332237 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 1332896
[startup+522.302 s]
/proc/loadavg: 1.00 1.15 1.34 2/107 12841
/proc/meminfo: memFree=433540/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1332896 CPUtime=522.07
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 3957965 0 0 0 50654 1553 0 0 25 0 1 0 11489722 1364885504 312801 1992294400 4194304 8223781 140734711277744 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 333224 312801 547 984 0 332237 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 1332896
[startup+582.301 s]
/proc/loadavg: 1.00 1.11 1.31 2/107 12843
/proc/meminfo: memFree=386172/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1391620 CPUtime=582.05
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 6442768 0 0 0 55792 2413 0 0 25 0 1 0 11489722 1425018880 324620 1992294400 4194304 8223781 140734711277744 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 347905 324620 555 984 0 346918 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 1391620
[startup+642.301 s]
/proc/loadavg: 1.00 1.09 1.29 2/107 12845
/proc/meminfo: memFree=380592/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1398020 CPUtime=642.03
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 6444174 0 0 0 61774 2429 0 0 25 0 1 0 11489722 1431572480 326026 1992294400 4194304 8223781 140734711277744 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 349505 326026 562 984 0 348518 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 1398020
[startup+702.3 s]
################
# More data... #
################
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 32782319 0 0 0 100496 11688 0 0 25 0 1 0 11489722 1480724480 330252 1992294400 4194304 8223781 140734711277744 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 361505 330252 568 984 0 360518 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1446020
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 12859
/proc/meminfo: memFree=363852/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1446020 CPUtime=1181.82
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 36282503 0 0 0 105319 12863 0 0 25 0 1 0 11489722 1480724480 330252 1992294400 4194304 8223781 140734711277744 18446744073709551615 6299976 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 361505 330252 568 984 0 360518 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1446020
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 12861
/proc/meminfo: memFree=368316/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1446020 CPUtime=1241.78
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 39783971 0 0 0 110080 14098 0 0 25 0 1 0 11489722 1480724480 330252 1992294400 4194304 8223781 140734711277744 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 361505 330252 568 984 0 360518 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 1446020
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 12861
/proc/meminfo: memFree=367200/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1446020 CPUtime=1301.77
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 43285176 0 0 0 114972 15205 0 0 25 0 1 0 11489722 1480724480 329990 1992294400 4194304 8223781 140734711277744 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 361505 329999 568 984 0 360518 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 1446020
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 12863
/proc/meminfo: memFree=363976/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1446020 CPUtime=1361.74
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 46785623 0 0 0 119737 16437 0 0 25 0 1 0 11489722 1480724480 330252 1992294400 4194304 8223781 140734711277744 18446744073709551615 7253675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 361505 330252 568 984 0 360518 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1446020
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 12865
/proc/meminfo: memFree=368068/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1446020 CPUtime=1421.72
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 50285807 0 0 0 124476 17696 0 0 25 0 1 0 11489722 1480724480 330252 1992294400 4194304 8223781 140734711277744 18446744073709551615 6299966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 361505 330252 568 984 0 360518 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 1446020
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 12867
/proc/meminfo: memFree=365836/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1440884 CPUtime=1481.69
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 53785991 0 0 0 129220 18949 0 0 25 0 1 0 11489722 1475465216 328968 1992294400 4194304 8223781 140734711277744 18446744073709551615 6054107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 360221 328968 568 984 0 359234 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 1440884
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12869
/proc/meminfo: memFree=364100/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1446020 CPUtime=1541.67
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 57287459 0 0 0 133983 20184 0 0 25 0 1 0 11489722 1480724480 330252 1992294400 4194304 8223781 140734711277744 18446744073709551615 7257637 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 361505 330252 568 984 0 360518 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1446020
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12869
/proc/meminfo: memFree=364224/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1446020 CPUtime=1601.65
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 60787643 0 0 0 138782 21383 0 0 25 0 1 0 11489722 1480724480 330252 1992294400 4194304 8223781 140734711277744 18446744073709551615 6299562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 361505 330252 568 984 0 360518 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1446020
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 12871
/proc/meminfo: memFree=363480/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1440884 CPUtime=1661.63
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 64287827 0 0 0 143566 22597 0 0 25 0 1 0 11489722 1475465216 328968 1992294400 4194304 8223781 140734711277744 18446744073709551615 6054226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 360221 328968 568 984 0 359234 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1440884
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 12873
/proc/meminfo: memFree=363480/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1446020 CPUtime=1721.61
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 67789295 0 0 0 148338 23823 0 0 25 0 1 0 11489722 1480724480 330252 1992294400 4194304 8223781 140734711277744 18446744073709551615 7257603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 361505 330252 568 984 0 360518 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 1446020
[startup+1782.3 s]
/proc/loadavg: 1.03 1.01 1.06 2/107 12884
/proc/meminfo: memFree=365588/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1446020 CPUtime=1781.56
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 71289479 0 0 0 153121 25035 0 0 25 0 1 0 11489722 1480724480 330252 1992294400 4194304 8223781 140734711277744 18446744073709551615 7257637 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 361505 330252 568 984 0 360518 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1446020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.02 1.01 1.06 2/107 12884
/proc/meminfo: memFree=367820/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1446020 CPUtime=1800.07
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 72369323 0 0 0 154599 25408 0 0 25 0 1 0 11489722 1480724480 330252 1992294400 4194304 8223781 140734711277744 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 361505 330252 568 984 0 360518 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1446020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12823
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.02 1.01 1.06 2/107 12884
/proc/meminfo: memFree=367820/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1439424 CPUtime=1800.66
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 72378685 0 0 0 154655 25411 0 0 25 0 1 0 11489722 1473970176 329402 1992294400 4194304 8223781 140734711277744 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 359856 329402 568 984 0 358869 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 1439424
[startup+1802.2 s]
/proc/loadavg: 1.02 1.01 1.06 2/108 12885
/proc/meminfo: memFree=366696/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1442692 CPUtime=1801.46
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 72378688 0 0 0 154735 25411 0 0 25 0 1 0 11489722 1477316608 329405 1992294400 4194304 8223781 140734711277744 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 360673 329405 568 984 0 359686 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 1442692
[startup+1802.6 s]
/proc/loadavg: 1.02 1.01 1.06 2/108 12885
/proc/meminfo: memFree=366696/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1442692 CPUtime=1801.86
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 72378692 0 0 0 154775 25411 0 0 25 0 1 0 11489722 1477316608 329409 1992294400 4194304 8223781 140734711277744 18446744073709551615 6568128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 360673 329409 568 984 0 359686 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 1442692
[startup+1802.8 s]
/proc/loadavg: 1.02 1.01 1.06 2/108 12885
/proc/meminfo: memFree=366696/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=1442692 CPUtime=1802.07
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4202496 72378694 0 0 0 154796 25411 0 0 25 0 1 0 11489722 1477316608 329411 1992294400 4194304 8223781 140734711277744 18446744073709551615 6567994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12823/statm: 360673 329411 568 984 0 359686 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 1442692
[startup+1802.91 s]
/proc/loadavg: 1.02 1.01 1.06 2/108 12885
/proc/meminfo: memFree=366696/2059040 swapFree=4165036/4192956
[pid=12823] ppid=12821 vsize=0 CPUtime=1802.16
/proc/12823/stat : 12823 (pbscip.linux.x8) R 12821 12823 12798 0 -1 4203524 72378694 0 0 0 154796 25420 0 0 25 0 1 0 11489722 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/12823/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.94
CPU time (s): 1802.2
CPU user time (s): 1547.96
CPU system time (s): 254.24
CPU usage (%): 99.9592
Max. virtual memory (cumulated for all children) (KiB): 1446020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1547.96
system time used= 254.24
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72378694
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= 1
involuntary context switches= 6424
runsolver used 2.96455 second user time and 8.5317 second system time
The end