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-2666955-1276376016.opb>
10.49/10.53 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
10.49/10.53 c problem read
10.49/10.53 c presolving settings loaded
13.39/13.49 c presolving:
25.48/25.50 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
30.88/30.99 c (18.1s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
30.88/30.99 c (18.1s) probing aborted: 100/100 successive totally useless probings
30.98/31.00 c presolving (2 rounds):
30.98/31.00 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
30.98/31.00 c 1313400 implications, 0 cliques
30.98/31.00 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
30.98/31.00 c 656900 constraints of type <logicor>
30.98/31.00 c transformed objective value is always integral (scale: 1)
30.98/31.00 c Presolving Time: 16.10
30.98/31.00 c - non default parameters ----------------------------------------------------------------------
30.98/31.00 c # SCIP version 1.2.1.2
30.98/31.00 c
30.98/31.00 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
30.98/31.00 c # [type: int, range: [-1,2147483647], default: -1]
30.98/31.00 c conflict/interconss = 0
30.98/31.00 c
30.98/31.00 c # should binary conflicts be preferred?
30.98/31.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.98/31.00 c conflict/preferbinary = TRUE
30.98/31.00 c
30.98/31.00 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
30.98/31.00 c # [type: int, range: [-1,2147483647], default: 0]
30.98/31.00 c constraints/agelimit = 1
30.98/31.00 c
30.98/31.00 c # should enforcement of pseudo solution be disabled?
30.98/31.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.98/31.00 c constraints/disableenfops = TRUE
30.98/31.00 c
30.98/31.00 c # frequency for displaying node information lines
30.98/31.00 c # [type: int, range: [-1,2147483647], default: 100]
30.98/31.00 c display/freq = 10000
30.98/31.00 c
30.98/31.00 c # maximal time in seconds to run
30.98/31.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.98/31.00 c limits/time = 1789.48
30.98/31.00 c
30.98/31.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
30.98/31.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.98/31.00 c limits/memory = 1620
30.98/31.00 c
30.98/31.00 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
30.98/31.00 c # [type: int, range: [-1,2147483647], default: 1]
30.98/31.00 c lp/solvefreq = 0
30.98/31.00 c
30.98/31.00 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)
30.98/31.00 c # [type: char, range: {lafpsqd}, default: l]
30.98/31.00 c lp/pricing = a
30.98/31.00 c
30.98/31.00 c # should presolving try to simplify inequalities
30.98/31.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.98/31.00 c constraints/linear/simplifyinequalities = TRUE
30.98/31.00 c
30.98/31.00 c # should presolving try to simplify knapsacks
30.98/31.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.98/31.00 c constraints/knapsack/simplifyinequalities = TRUE
30.98/31.00 c
30.98/31.00 c # priority of node selection rule <dfs> in standard mode
30.98/31.00 c # [type: int, range: [-536870912,536870911], default: 0]
30.98/31.00 c nodeselection/dfs/stdpriority = 1000000
30.98/31.00 c
30.98/31.00 c -----------------------------------------------------------------------------------------------
30.98/31.00 c start solving
30.98/31.05 c
70.95/71.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.95/71.05 c 57.5s| 1 | 0 | 1073 | - | 735M| 0 | 281 | 10k| 656k| 10k| 656k| 0 | 0 | 0 | 1.778550e+02 | -- | Inf
789.70/790.05 c 737s| 1 | 0 | 8002 | - | 745M| 0 | 278 | 10k| 656k| 10k| 656k| 8 | 0 | 0 | 1.835888e+02 | -- | Inf
1800.07/1800.71 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-2666955-1276376016/watcher-2666955-1276376016 -o /tmp/evaluation-result-2666955-1276376016/solver-2666955-1276376016 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666955-1276376016.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.17 1.06 1.01 3/106 14175
/proc/meminfo: memFree=1781684/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=6696 CPUtime=0
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 13203301 6856704 904 1992294400 4194304 8223781 140736122547008 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14175/statm: 1674 905 343 984 0 687 0
[startup+0.082327 s]
/proc/loadavg: 1.17 1.06 1.01 3/106 14175
/proc/meminfo: memFree=1781684/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=17964 CPUtime=0.07
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 3801 0 0 0 6 1 0 0 20 0 1 0 13203301 18395136 3715 1992294400 4194304 8223781 140736122547008 18446744073709551615 4207131 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14175/statm: 4491 3715 365 984 0 3504 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17964
[startup+0.10133 s]
/proc/loadavg: 1.17 1.06 1.01 3/106 14175
/proc/meminfo: memFree=1781684/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=18816 CPUtime=0.09
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 4016 0 0 0 8 1 0 0 20 0 1 0 13203301 19267584 3930 1992294400 4194304 8223781 140736122547008 18446744073709551615 7169674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14175/statm: 4704 3930 365 984 0 3717 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18816
[startup+0.301365 s]
/proc/loadavg: 1.17 1.06 1.01 3/106 14175
/proc/meminfo: memFree=1781684/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=23872 CPUtime=0.29
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 5297 0 0 0 28 1 0 0 20 0 1 0 13203301 24444928 5211 1992294400 4194304 8223781 140736122547008 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14175/statm: 5968 5211 365 984 0 4981 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23872
[startup+0.701437 s]
/proc/loadavg: 1.17 1.06 1.01 3/106 14175
/proc/meminfo: memFree=1781684/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=31604 CPUtime=0.69
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 7229 0 0 0 67 2 0 0 21 0 1 0 13203301 32362496 7143 1992294400 4194304 8223781 140736122547008 18446744073709551615 7169669 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14175/statm: 7901 7143 365 984 0 6914 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31604
[startup+1.50158 s]
/proc/loadavg: 1.17 1.06 1.01 2/107 14176
/proc/meminfo: memFree=1746956/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=49032 CPUtime=1.49
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 11589 0 0 0 145 4 0 0 23 0 1 0 13203301 50208768 11503 1992294400 4194304 8223781 140736122547008 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14175/statm: 12258 11503 365 984 0 11271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49032
[startup+3.10087 s]
/proc/loadavg: 1.17 1.06 1.01 2/107 14176
/proc/meminfo: memFree=1724140/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=83416 CPUtime=3.09
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 20184 0 0 0 302 7 0 0 25 0 1 0 13203301 85417984 20098 1992294400 4194304 8223781 140736122547008 18446744073709551615 5647827 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14175/statm: 20854 20098 365 984 0 19867 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83416
[startup+6.30144 s]
/proc/loadavg: 1.15 1.06 1.01 2/107 14176
/proc/meminfo: memFree=1654328/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=151120 CPUtime=6.29
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 37095 0 0 0 616 13 0 0 25 0 1 0 13203301 154746880 37009 1992294400 4194304 8223781 140736122547008 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14175/statm: 37780 37009 365 984 0 36793 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 151120
[startup+12.7016 s]
/proc/loadavg: 1.14 1.06 1.01 2/107 14176
/proc/meminfo: memFree=1249840/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=609460 CPUtime=12.69
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 152026 0 0 0 1215 54 0 0 25 0 1 0 13203301 624087040 150922 1992294400 4194304 8223781 140736122547008 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 152365 150922 390 984 0 151378 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 609460
[startup+25.5009 s]
/proc/loadavg: 1.11 1.06 1.01 2/107 14176
/proc/meminfo: memFree=1126088/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=604512 CPUtime=25.48
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 236601 0 0 0 2330 218 0 0 25 0 1 0 13203301 619020288 148658 1992294400 4194304 8223781 140736122547008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 151128 148658 444 984 0 150141 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 604512
[startup+51.1014 s]
/proc/loadavg: 1.07 1.05 1.01 2/107 14178
/proc/meminfo: memFree=555440/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1394100 CPUtime=51.06
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 440743 0 0 0 4788 318 0 0 25 0 1 0 13203301 1427558400 306596 1992294400 4194304 8223781 140736122547008 18446744073709551615 6604282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 348525 306598 527 984 0 347538 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1394100
[startup+102.309 s]
/proc/loadavg: 1.03 1.04 1.00 2/107 14178
/proc/meminfo: memFree=522332/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1349808 CPUtime=102.25
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 465911 0 0 0 9895 330 0 0 25 0 1 0 13203301 1382203392 314700 1992294400 4194304 8223781 140736122547008 18446744073709551615 6592935 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 337452 314700 540 984 0 336465 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1349808
[startup+162.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 14180
/proc/meminfo: memFree=513156/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1360036 CPUtime=162.22
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 480874 0 0 0 15885 337 0 0 25 0 1 0 13203301 1392676864 316971 1992294400 4194304 8223781 140736122547008 18446744073709551615 6360580 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 340009 316971 540 984 0 339022 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1360036
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14182
/proc/meminfo: memFree=512288/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1361300 CPUtime=222.19
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 490726 0 0 0 21876 343 0 0 25 0 1 0 13203301 1393971200 317164 1992294400 4194304 8223781 140736122547008 18446744073709551615 6536638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 340325 317164 540 984 0 339338 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1361300
[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14184
/proc/meminfo: memFree=511668/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1361876 CPUtime=282.18
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 508168 0 0 0 27865 353 0 0 25 0 1 0 13203301 1394561024 317326 1992294400 4194304 8223781 140736122547008 18446744073709551615 6566017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 340469 317326 540 984 0 339482 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1361876
[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14186
/proc/meminfo: memFree=510924/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1361876 CPUtime=342.15
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 527658 0 0 0 33853 362 0 0 25 0 1 0 13203301 1394561024 317488 1992294400 4194304 8223781 140736122547008 18446744073709551615 6239046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 340469 317488 540 984 0 339482 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 1361876
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14186
/proc/meminfo: memFree=510180/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1362316 CPUtime=402.14
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 542449 0 0 0 39843 371 0 0 25 0 1 0 13203301 1395011584 317662 1992294400 4194304 8223781 140736122547008 18446744073709551615 6569595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 340579 317662 540 984 0 339592 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1362316
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14197
/proc/meminfo: memFree=509064/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1362404 CPUtime=462.11
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 557936 0 0 0 45831 380 0 0 25 0 1 0 13203301 1395101696 317778 1992294400 4194304 8223781 140736122547008 18446744073709551615 6503370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 340601 317778 540 984 0 339614 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 1362404
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14199
/proc/meminfo: memFree=531880/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1332928 CPUtime=522.09
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 2394262 0 0 0 51173 1036 0 0 25 0 1 0 13203301 1364918272 312821 1992294400 4194304 8223781 140736122547008 18446744073709551615 7257364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 333232 312821 547 984 0 332245 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1332928
[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14201
/proc/meminfo: memFree=529028/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1332928 CPUtime=582.06
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 5704414 0 0 0 55993 2213 0 0 25 0 1 0 13203301 1364918272 312821 1992294400 4194304 8223781 140736122547008 18446744073709551615 6299978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 333232 312821 547 984 0 332245 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 1332928
[startup+642.301 s]
/proc/loadavg: 1.07 1.03 1.01 2/107 14203
/proc/meminfo: memFree=528904/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1332928 CPUtime=642.05
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 9014566 0 0 0 60823 3382 0 0 25 0 1 0 13203301 1364918272 312821 1992294400 4194304 8223781 140736122547008 18446744073709551615 6299742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 333232 312821 547 984 0 332245 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 1332928
[startup+702.301 s]
################
# More data... #
################
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 27196721 0 0 0 96332 9859 0 0 25 0 1 0 13203301 1498652672 333111 1992294400 4194304 8223781 140736122547008 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 365882 333111 569 984 0 364895 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 1463528
[startup+1122.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 14215
/proc/meminfo: memFree=447312/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1458392 CPUtime=1121.88
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 30702041 0 0 0 101068 11120 0 0 25 0 1 0 13203301 1493393408 331827 1992294400 4194304 8223781 140736122547008 18446744073709551615 6043570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 364598 331827 569 984 0 363611 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1458392
[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 14217
/proc/meminfo: memFree=451776/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1463528 CPUtime=1181.86
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 34209929 0 0 0 105794 12392 0 0 25 0 1 0 13203301 1498652672 333111 1992294400 4194304 8223781 140736122547008 18446744073709551615 7257642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 365882 333111 569 984 0 364895 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1463528
[startup+1242.3 s]
/proc/loadavg: 1.11 1.05 1.01 2/107 14222
/proc/meminfo: memFree=448304/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1458392 CPUtime=1241.85
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 37704977 0 0 0 110533 13652 0 0 25 0 1 0 13203301 1493393408 331827 1992294400 4194304 8223781 140736122547008 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 364598 331827 569 984 0 363611 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1458392
[startup+1302.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 14222
/proc/meminfo: memFree=446940/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1463528 CPUtime=1301.83
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 41206445 0 0 0 115237 14946 0 0 25 0 1 0 13203301 1498652672 333111 1992294400 4194304 8223781 140736122547008 18446744073709551615 6300096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 365882 333111 569 984 0 364895 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1463528
[startup+1362.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 14224
/proc/meminfo: memFree=451528/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1463528 CPUtime=1361.8
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 44707784 0 0 0 119950 16230 0 0 25 0 1 0 13203301 1498652672 332982 1992294400 4194304 8223781 140736122547008 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 365882 332992 569 984 0 364895 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1463528
[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 3/107 14226
/proc/meminfo: memFree=447188/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1463528 CPUtime=1421.79
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 48209381 0 0 0 124660 17519 0 0 25 0 1 0 13203301 1498652672 333111 1992294400 4194304 8223781 140736122547008 18446744073709551615 7257637 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 365882 333111 569 984 0 364895 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1463528
[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14228
/proc/meminfo: memFree=451652/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1463528 CPUtime=1481.77
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 51709565 0 0 0 129379 18798 0 0 25 0 1 0 13203301 1498652672 333111 1992294400 4194304 8223781 140736122547008 18446744073709551615 7257607 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 365882 333111 569 984 0 364895 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1463528
[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14230
/proc/meminfo: memFree=447964/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1458392 CPUtime=1541.75
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 55209749 0 0 0 134089 20086 0 0 25 0 1 0 13203301 1493393408 331827 1992294400 4194304 8223781 140736122547008 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 364598 331827 569 984 0 363611 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1458392
[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14230
/proc/meminfo: memFree=446940/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1463528 CPUtime=1601.72
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 58711217 0 0 0 138813 21359 0 0 25 0 1 0 13203301 1498652672 333111 1992294400 4194304 8223781 140736122547008 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 365882 333111 569 984 0 364895 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1463528
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14232
/proc/meminfo: memFree=446940/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1463528 CPUtime=1661.71
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 62212685 0 0 0 143526 22645 0 0 25 0 1 0 13203301 1498652672 333111 1992294400 4194304 8223781 140736122547008 18446744073709551615 7257364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 365882 333111 569 984 0 364895 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1463528
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14234
/proc/meminfo: memFree=451528/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1458392 CPUtime=1721.68
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 65712869 0 0 0 148247 23921 0 0 25 0 1 0 13203301 1493393408 331827 1992294400 4194304 8223781 140736122547008 18446744073709551615 6054226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 364598 331827 569 984 0 363611 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1458392
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14236
/proc/meminfo: memFree=447064/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1463528 CPUtime=1781.67
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 69214337 0 0 0 152963 25204 0 0 25 0 1 0 13203301 1498652672 333111 1992294400 4194304 8223781 140736122547008 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 365882 333111 569 984 0 364895 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1463528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14236
/proc/meminfo: memFree=448428/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1463528 CPUtime=1800.07
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 70289045 0 0 0 154414 25593 0 0 25 0 1 0 13203301 1498652672 333111 1992294400 4194304 8223781 140736122547008 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 365882 333111 569 984 0 364895 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1463528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14175
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14236
/proc/meminfo: memFree=448428/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1455540 CPUtime=1800.76
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 70298420 0 0 0 154479 25597 0 0 25 0 1 0 13203301 1490472960 332327 1992294400 4194304 8223781 140736122547008 18446744073709551615 6502686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 363885 332327 569 984 0 362898 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 1455540
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14237
/proc/meminfo: memFree=450156/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1461656 CPUtime=1801.56
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 70298427 0 0 0 154559 25597 0 0 25 0 1 0 13203301 1496735744 332334 1992294400 4194304 8223781 140736122547008 18446744073709551615 6567862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 365414 332334 569 984 0 364427 0
Current children cumulated CPU time (s) 1801.56
Current children cumulated vsize (KiB) 1461656
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14237
/proc/meminfo: memFree=450156/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=1461656 CPUtime=1801.96
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4202496 70298430 0 0 0 154599 25597 0 0 25 0 1 0 13203301 1496735744 332337 1992294400 4194304 8223781 140736122547008 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14175/statm: 365414 332337 569 984 0 364427 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 1461656
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14237
/proc/meminfo: memFree=1307564/2059040 swapFree=4136696/4192956
[pid=14175] ppid=14173 vsize=0 CPUtime=1802.16
/proc/14175/stat : 14175 (pbscip.linux.x8) R 14173 14175 13973 0 -1 4203524 70298431 0 0 0 154610 25606 0 0 25 0 1 0 13203301 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/14175/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.85
CPU time (s): 1802.21
CPU user time (s): 1546.11
CPU system time (s): 256.101
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 1463528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1546.11
system time used= 256.101
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70298431
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= 21803
runsolver used 2.95655 second user time and 8.5437 second system time
The end