0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665528-1276378264.opb>
11.09/11.12 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
11.09/11.12 c problem read
11.09/11.12 c presolving settings loaded
13.99/14.04 c presolving:
25.88/25.97 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.39/31.45 c (17.9s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
31.39/31.45 c (17.9s) probing aborted: 100/100 successive totally useless probings
31.39/31.45 c presolving (2 rounds):
31.39/31.45 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
31.39/31.45 c 1313400 implications, 0 cliques
31.39/31.45 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
31.39/31.45 c 656900 constraints of type <logicor>
31.39/31.45 c transformed objective value is always integral (scale: 1)
31.39/31.45 c Presolving Time: 15.95
31.39/31.45 c - non default parameters ----------------------------------------------------------------------
31.39/31.45 c # SCIP version 1.2.1.2
31.39/31.45 c
31.39/31.45 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
31.39/31.45 c # [type: int, range: [-1,2147483647], default: -1]
31.39/31.45 c conflict/interconss = 0
31.39/31.45 c
31.39/31.45 c # should binary conflicts be preferred?
31.39/31.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.39/31.45 c conflict/preferbinary = TRUE
31.39/31.45 c
31.39/31.45 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
31.39/31.45 c # [type: int, range: [-1,2147483647], default: 0]
31.39/31.45 c constraints/agelimit = 1
31.39/31.45 c
31.39/31.45 c # should enforcement of pseudo solution be disabled?
31.39/31.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.39/31.45 c constraints/disableenfops = TRUE
31.39/31.45 c
31.39/31.45 c # frequency for displaying node information lines
31.39/31.45 c # [type: int, range: [-1,2147483647], default: 100]
31.39/31.45 c display/freq = 10000
31.39/31.45 c
31.39/31.45 c # maximal time in seconds to run
31.39/31.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
31.39/31.45 c limits/time = 1788.89
31.39/31.45 c
31.39/31.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
31.39/31.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
31.39/31.45 c limits/memory = 1620
31.39/31.45 c
31.39/31.45 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
31.39/31.45 c # [type: int, range: [-1,2147483647], default: 1]
31.39/31.45 c lp/solvefreq = 0
31.39/31.45 c
31.39/31.45 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.39/31.45 c # [type: char, range: {lafpsqd}, default: l]
31.39/31.45 c lp/pricing = a
31.39/31.45 c
31.39/31.45 c # should presolving try to simplify inequalities
31.39/31.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.39/31.45 c constraints/linear/simplifyinequalities = TRUE
31.39/31.45 c
31.39/31.45 c # should presolving try to simplify knapsacks
31.39/31.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.39/31.45 c constraints/knapsack/simplifyinequalities = TRUE
31.39/31.45 c
31.39/31.45 c # priority of node selection rule <dfs> in standard mode
31.39/31.45 c # [type: int, range: [-536870912,536870911], default: 0]
31.39/31.45 c nodeselection/dfs/stdpriority = 1000000
31.39/31.45 c
31.39/31.45 c -----------------------------------------------------------------------------------------------
31.39/31.45 c start solving
31.48/31.50 c
47.38/47.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.38/47.40 c 33.2s| 1 | 0 | 611 | - | 735M| 0 | 267 | 10k| 656k| 10k| 656k| 0 | 0 | 0 | 1.825254e+02 | -- | Inf
181.04/181.16 c 165s| 1 | 0 | 988 | - | 745M| 0 | 271 | 10k| 656k| 10k| 656k| 10 | 0 | 0 | 1.879342e+02 | -- | Inf
890.22/890.50 c 873s| 1 | 0 | 1361 | - | 745M| 0 | 269 | 10k| 656k| 10k| 656k| 17 | 0 | 0 | 1.923103e+02 | -- | Inf
1127.85/1128.20 c 1110s| 1 | 0 | 1735 | - | 745M| 0 | 276 | 10k| 656k| 10k| 656k| 25 | 0 | 0 | 1.946555e+02 | -- | Inf
1800.05/1800.61 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-2665528-1276378264/watcher-2665528-1276378264 -o /tmp/evaluation-result-2665528-1276378264/solver-2665528-1276378264 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665528-1276378264.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: 0.96 1.01 1.00 3/106 14301
/proc/meminfo: memFree=1785148/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=8260 CPUtime=0
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 1010 0 0 0 0 0 0 0 20 0 1 0 13430194 8458240 930 1992294400 4194304 9819077 140737124834768 18446744073709551615 8678244 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14301/statm: 2065 931 366 1374 0 686 0
[startup+0.0208269 s]
/proc/loadavg: 0.96 1.01 1.00 3/106 14301
/proc/meminfo: memFree=1785148/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=11472 CPUtime=0.01
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 1792 0 0 0 1 0 0 0 20 0 1 0 13430194 11747328 1711 1992294400 4194304 9819077 140737124834768 18446744073709551615 5648890 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14301/statm: 2868 1711 384 1374 0 1489 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11472
[startup+0.100835 s]
/proc/loadavg: 0.96 1.01 1.00 3/106 14301
/proc/meminfo: memFree=1785148/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=20244 CPUtime=0.09
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 4004 0 0 0 8 1 0 0 20 0 1 0 13430194 20729856 3918 1992294400 4194304 9819077 140737124834768 18446744073709551615 5655229 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14301/statm: 5061 3918 388 1374 0 3682 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20244
[startup+0.300859 s]
/proc/loadavg: 0.96 1.01 1.00 3/106 14301
/proc/meminfo: memFree=1785148/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=24132 CPUtime=0.29
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 4996 0 0 0 28 1 0 0 20 0 1 0 13430194 24711168 4910 1992294400 4194304 9819077 140737124834768 18446744073709551615 4640689 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14301/statm: 6033 4910 388 1374 0 4654 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24132
[startup+0.700904 s]
/proc/loadavg: 0.96 1.01 1.00 3/106 14301
/proc/meminfo: memFree=1785148/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=32972 CPUtime=0.69
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 7197 0 0 0 67 2 0 0 21 0 1 0 13430194 33763328 7111 1992294400 4194304 9819077 140737124834768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14301/statm: 8243 7111 388 1374 0 6864 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32972
[startup+1.501 s]
/proc/loadavg: 0.96 1.01 1.00 2/107 14302
/proc/meminfo: memFree=1752280/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=48536 CPUtime=1.49
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 11086 0 0 0 146 3 0 0 23 0 1 0 13430194 49700864 11000 1992294400 4194304 9819077 140737124834768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14301/statm: 12134 11000 388 1374 0 10755 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48536
[startup+3.10118 s]
/proc/loadavg: 0.96 1.01 1.00 2/107 14302
/proc/meminfo: memFree=1729092/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=81620 CPUtime=3.09
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 19347 0 0 0 303 6 0 0 25 0 1 0 13430194 83578880 19261 1992294400 4194304 9819077 140737124834768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14301/statm: 20405 19261 388 1374 0 19026 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81620
[startup+6.30055 s]
/proc/loadavg: 0.96 1.01 1.00 2/107 14302
/proc/meminfo: memFree=1663248/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=146056 CPUtime=6.29
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 35420 0 0 0 616 13 0 0 25 0 1 0 13430194 149561344 35334 1992294400 4194304 9819077 140737124834768 18446744073709551615 5650563 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14301/statm: 36514 35334 388 1374 0 35135 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 146056
[startup+12.7003 s]
/proc/loadavg: 0.96 1.01 1.00 2/107 14302
/proc/meminfo: memFree=1352380/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=555532 CPUtime=12.69
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 138315 0 0 0 1220 49 0 0 25 0 1 0 13430194 568864768 137184 1992294400 4194304 9819077 140737124834768 18446744073709551615 6181120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 138883 137184 438 1374 0 137504 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 555532
[startup+25.5008 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 14302
/proc/meminfo: memFree=1189816/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=666636 CPUtime=25.48
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 236570 0 0 0 2323 225 0 0 25 0 1 0 13430194 682635264 163922 1992294400 4194304 9819077 140737124834768 18446744073709551615 4327714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 166659 163922 490 1374 0 165280 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 666636
[startup+51.1007 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 14304
/proc/meminfo: memFree=618424/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1457564 CPUtime=51.08
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 529652 0 0 0 4747 361 0 0 25 0 1 0 13430194 1492545536 291466 1992294400 4194304 9819077 140737124834768 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 364391 291466 640 1374 0 363012 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1457564
[startup+102.309 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 14304
/proc/meminfo: memFree=579364/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1508860 CPUtime=102.27
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 689359 0 0 0 9799 428 0 0 25 0 1 0 13430194 1545072640 301383 1992294400 4194304 9819077 140737124834768 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 377215 301383 659 1374 0 375836 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1508860
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 14306
/proc/meminfo: memFree=574032/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1515036 CPUtime=162.25
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 690711 0 0 0 15796 429 0 0 25 0 1 0 13430194 1551396864 302732 1992294400 4194304 9819077 140737124834768 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 378759 302732 663 1374 0 377380 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1515036
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 14308
/proc/meminfo: memFree=563120/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1530560 CPUtime=222.22
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 777852 0 0 0 21707 515 0 0 25 0 1 0 13430194 1567293440 305299 1992294400 4194304 9819077 140737124834768 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 382640 305299 675 1374 0 381261 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1530560
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 14310
/proc/meminfo: memFree=562996/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1530560 CPUtime=282.2
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 777852 0 0 0 27697 523 0 0 25 0 1 0 13430194 1567293440 305299 1992294400 4194304 9819077 140737124834768 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 382640 305299 675 1374 0 381261 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1530560
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 14312
/proc/meminfo: memFree=563120/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1530560 CPUtime=342.18
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 777852 0 0 0 33687 531 0 0 25 0 1 0 13430194 1567293440 305299 1992294400 4194304 9819077 140737124834768 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 382640 305299 675 1374 0 381261 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1530560
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 14312
/proc/meminfo: memFree=562996/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1530560 CPUtime=402.17
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 777852 0 0 0 39678 539 0 0 25 0 1 0 13430194 1567293440 305299 1992294400 4194304 9819077 140737124834768 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 382640 305299 675 1374 0 381261 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1530560
[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 14314
/proc/meminfo: memFree=562996/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1530560 CPUtime=462.15
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 777852 0 0 0 45668 547 0 0 25 0 1 0 13430194 1567293440 305299 1992294400 4194304 9819077 140737124834768 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 382640 305299 675 1374 0 381261 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1530560
[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 14316
/proc/meminfo: memFree=562996/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1530560 CPUtime=522.13
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 778494 0 0 0 51659 554 0 0 25 0 1 0 13430194 1567293440 305299 1992294400 4194304 9819077 140737124834768 18446744073709551615 6054126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 382640 305299 675 1374 0 381261 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1530560
[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 14318
/proc/meminfo: memFree=562872/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1530560 CPUtime=582.11
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 778494 0 0 0 57649 562 0 0 25 0 1 0 13430194 1567293440 305299 1992294400 4194304 9819077 140737124834768 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 382640 305299 675 1374 0 381261 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1530560
[startup+642.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 14320
/proc/meminfo: memFree=562872/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1530560 CPUtime=642.11
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 778494 0 0 0 63640 571 0 0 25 0 1 0 13430194 1567293440 305299 1992294400 4194304 9819077 140737124834768 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 382640 305299 675 1374 0 381261 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1530560
[startup+702.301 s]
################
# More data... #
################
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 885007 0 0 0 105542 655 0 0 25 0 1 0 13430194 1602117632 314219 1992294400 4194304 9819077 140737124834768 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 391142 314219 677 1374 0 389763 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1564568
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14332
/proc/meminfo: memFree=554564/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1539600 CPUtime=1121.95
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 938766 0 0 0 111519 676 0 0 25 0 1 0 13430194 1576550400 307462 1992294400 4194304 9819077 140737124834768 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384900 307462 677 1374 0 383521 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1539600
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14334
/proc/meminfo: memFree=550968/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1539568 CPUtime=1181.94
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 981990 0 0 0 117495 699 0 0 25 0 1 0 13430194 1576517632 308175 1992294400 4194304 9819077 140737124834768 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384892 308175 677 1374 0 383513 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1539568
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14336
/proc/meminfo: memFree=550844/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1539568 CPUtime=1241.92
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 981990 0 0 0 123485 707 0 0 25 0 1 0 13430194 1576517632 308175 1992294400 4194304 9819077 140737124834768 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384892 308175 677 1374 0 383513 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1539568
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14336
/proc/meminfo: memFree=550720/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1539568 CPUtime=1301.9
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 981990 0 0 0 129474 716 0 0 25 0 1 0 13430194 1576517632 308175 1992294400 4194304 9819077 140737124834768 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384892 308175 677 1374 0 383513 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1539568
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14338
/proc/meminfo: memFree=550720/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1539568 CPUtime=1361.88
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 981990 0 0 0 135463 725 0 0 25 0 1 0 13430194 1576517632 308175 1992294400 4194304 9819077 140737124834768 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384892 308175 677 1374 0 383513 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1539568
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14340
/proc/meminfo: memFree=550844/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1539568 CPUtime=1421.86
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 981990 0 0 0 141453 733 0 0 25 0 1 0 13430194 1576517632 308175 1992294400 4194304 9819077 140737124834768 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384892 308175 677 1374 0 383513 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1539568
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14342
/proc/meminfo: memFree=550720/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1539568 CPUtime=1481.84
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 982632 0 0 0 147440 744 0 0 25 0 1 0 13430194 1576517632 308175 1992294400 4194304 9819077 140737124834768 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384892 308175 677 1374 0 383513 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1539568
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14344
/proc/meminfo: memFree=550720/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1539568 CPUtime=1541.82
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 982632 0 0 0 153429 753 0 0 25 0 1 0 13430194 1576517632 308175 1992294400 4194304 9819077 140737124834768 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384892 308175 677 1374 0 383513 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1539568
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14344
/proc/meminfo: memFree=550844/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1539568 CPUtime=1601.81
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 982632 0 0 0 159419 762 0 0 25 0 1 0 13430194 1576517632 308175 1992294400 4194304 9819077 140737124834768 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384892 308175 677 1374 0 383513 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1539568
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14346
/proc/meminfo: memFree=550720/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1539568 CPUtime=1661.79
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 982632 0 0 0 165409 770 0 0 25 0 1 0 13430194 1576517632 308175 1992294400 4194304 9819077 140737124834768 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384892 308175 677 1374 0 383513 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1539568
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14348
/proc/meminfo: memFree=550596/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1539568 CPUtime=1721.77
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 982632 0 0 0 171397 780 0 0 25 0 1 0 13430194 1576517632 308175 1992294400 4194304 9819077 140737124834768 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384892 308175 677 1374 0 383513 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1539568
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14350
/proc/meminfo: memFree=550348/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1539568 CPUtime=1781.75
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 982632 0 0 0 177394 781 0 0 25 0 1 0 13430194 1576517632 308175 1992294400 4194304 9819077 140737124834768 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384892 308175 677 1374 0 383513 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1539568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14359
/proc/meminfo: memFree=556052/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1538984 CPUtime=1800.05
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 1035748 0 0 0 179203 802 0 0 25 0 1 0 13430194 1575919616 306841 1992294400 4194304 9819077 140737124834768 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384746 306841 677 1374 0 383367 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1538984
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14301
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 14359
/proc/meminfo: memFree=556052/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1538984 CPUtime=1800.84
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 1035790 0 0 0 179282 802 0 0 25 0 1 0 13430194 1575919616 306883 1992294400 4194304 9819077 140737124834768 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384746 306883 677 1374 0 383367 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 1538984
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14360
/proc/meminfo: memFree=555796/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1538984 CPUtime=1801.64
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 1035836 0 0 0 179362 802 0 0 25 0 1 0 13430194 1575919616 306929 1992294400 4194304 9819077 140737124834768 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384746 306929 677 1374 0 383367 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 1538984
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14360
/proc/meminfo: memFree=555796/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=1538984 CPUtime=1802.04
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4202496 1035867 0 0 0 179402 802 0 0 25 0 1 0 13430194 1575919616 306960 1992294400 4194304 9819077 140737124834768 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14301/statm: 384746 306960 677 1374 0 383367 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1538984
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14360
/proc/meminfo: memFree=555796/2059040 swapFree=4158992/4192956
[pid=14301] ppid=14299 vsize=0 CPUtime=1802.13
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14183 0 -1 4203524 1035867 0 0 0 179403 810 0 0 25 0 1 0 13430194 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/14301/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.18
CPU user time (s): 1794.04
CPU system time (s): 8.14176
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1564568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.04
system time used= 8.14176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1035867
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= 5688
runsolver used 3.09153 second user time and 8.41872 second system time
The end