0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4441725-1721294186.opb>
0.29/0.33 c original problem has 49621 variables (49621 bin, 0 int, 0 impl, 0 cont) and 138346 constraints
0.29/0.33 c problem read in 0.33
0.29/0.33 c No objective function, only one solution is needed.
0.59/0.61 c presolving:
0.78/0.85 c (round 1, fast) 2104 del vars, 32 del conss, 0 add conss, 1 chg bounds, 5478 chg sides, 10956 chg coeffs, 0 upgd conss, 0 impls, 81302 clqs
0.78/0.87 c (round 2, fast) 4191 del vars, 6029 del conss, 0 add conss, 1 chg bounds, 5478 chg sides, 10956 chg coeffs, 0 upgd conss, 0 impls, 81651 clqs
0.99/1.07 c (1.1s) running MILP presolver
37.58/37.71 c (37.7s) MILP presolver (11 rounds): 2228 aggregations, 5879 fixings, 0 bound changes
37.58/37.77 c (round 3, medium) 12298 del vars, 6029 del conss, 0 add conss, 1 chg bounds, 5478 chg sides, 10956 chg coeffs, 0 upgd conss, 0 impls, 65488 clqs
37.68/37.86 c (round 4, fast) 12298 del vars, 28540 del conss, 0 add conss, 1 chg bounds, 5478 chg sides, 10956 chg coeffs, 0 upgd conss, 0 impls, 66127 clqs
37.78/37.91 c (round 5, exhaustive) 12298 del vars, 28701 del conss, 0 add conss, 1 chg bounds, 5478 chg sides, 10956 chg coeffs, 0 upgd conss, 0 impls, 66127 clqs
38.08/38.25 c (round 6, exhaustive) 12299 del vars, 28705 del conss, 0 add conss, 1 chg bounds, 5478 chg sides, 10956 chg coeffs, 109575 upgd conss, 0 impls, 66122 clqs
38.58/38.79 c (round 7, exhaustive) 12299 del vars, 126357 del conss, 32545 add conss, 1 chg bounds, 5478 chg sides, 10956 chg coeffs, 109575 upgd conss, 0 impls, 66122 clqs
38.78/38.92 c (round 8, exhaustive) 12315 del vars, 126357 del conss, 32545 add conss, 1 chg bounds, 5478 chg sides, 10956 chg coeffs, 109641 upgd conss, 0 impls, 66106 clqs
38.78/38.99 c (round 9, exhaustive) 12479 del vars, 126537 del conss, 32561 add conss, 1 chg bounds, 5478 chg sides, 10956 chg coeffs, 109641 upgd conss, 0 impls, 65777 clqs
40.76/40.99 c (41.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
41.07/41.28 c (41.3s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.11)
41.07/41.29 c dynamic symmetry handling statistics:
41.07/41.29 c orbitopal reduction: no components
41.07/41.29 c orbital reduction: no components
41.07/41.29 c lexicographic reduction: 7 permutations with support sizes 3330, 523, 64, 214, 2, 2, 2
41.07/41.29 c handled 7 out of 7 symmetry components
41.17/41.35 c presolving (10 rounds: 10 fast, 7 medium, 6 exhaustive):
41.17/41.35 c 12506 deleted vars, 126548 deleted constraints, 32561 added constraints, 1 tightened bounds, 0 added holes, 5478 changed sides, 10959 changed coefficients
41.17/41.35 c 0 implications, 239194 cliques
41.17/41.35 c presolved problem has 39202 variables (39202 bin, 0 int, 0 impl, 0 cont) and 44359 constraints
41.17/41.35 c 10956 constraints of type <knapsack>
41.17/41.35 c 1037 constraints of type <setppc>
41.17/41.35 c 32348 constraints of type <and>
41.17/41.35 c 18 constraints of type <logicor>
41.17/41.35 c transformed objective value is always integral (scale: 1)
41.17/41.35 c Presolving Time: 40.75
41.17/41.35 c - non default parameters ----------------------------------------------------------------------
41.17/41.35 c # SCIP version 10.0.0
41.17/41.35 c
41.17/41.35 c # maximal time in seconds to run
41.17/41.35 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
41.17/41.35 c limits/time = 3596.997056
41.17/41.35 c
41.17/41.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
41.17/41.35 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
41.17/41.35 c limits/memory = 27900
41.17/41.35 c
41.17/41.35 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
41.17/41.35 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
41.17/41.35 c limits/solutions = 1
41.17/41.35 c
41.17/41.35 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
41.17/41.35 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
41.17/41.35 c misc/usesymmetry = 3
41.17/41.35 c
41.17/41.35 c # belongs reading time to solving time?
41.17/41.35 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
41.17/41.35 c timing/reading = TRUE
41.17/41.35 c
41.17/41.35 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
41.17/41.35 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
41.17/41.35 c propagating/symmetry/detectdoublelex = FALSE
41.17/41.35 c
41.17/41.35 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
41.17/41.35 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
41.17/41.35 c propagating/symmetry/detectsubgroups = FALSE
41.17/41.35 c
41.17/41.35 c # Type of symmetries that shall be computed?
41.17/41.35 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
41.17/41.35 c propagating/symmetry/symtype = 1
41.17/41.35 c
41.17/41.35 c # Should components consisting of a single full reflection be handled?
41.17/41.35 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
41.17/41.35 c propagating/symmetry/usesimplesgncomp = FALSE
41.17/41.35 c
41.17/41.35 c -----------------------------------------------------------------------------------------------
41.17/41.35 c start solving
41.17/41.35 c
47.65/47.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
47.65/47.80 c 47.8s| 1 | 0 | 14360 | - | 616M | 0 | 39k| 44k| 76k| 0 | 0 | 49 | 0 | 0.000000e+00 | -- | Inf | unknown
70.69/70.92 c 70.9s| 1 | 0 | 41299 | - | 670M | 0 | 39k| 44k| 77k|1222 | 1 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
91.54/91.85 c 91.8s| 1 | 0 | 50734 | - | 718M | 0 | 39k| 44k| 79k|2465 | 2 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
127.16/127.52 c 128s| 1 | 0 | 62666 | - | 741M | 0 | 39k| 44k| 80k|3604 | 3 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
152.81/153.20 c 153s| 1 | 0 | 72510 | - | 761M | 0 | 39k| 44k| 81k|4655 | 4 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
192.12/192.64 c 193s| 1 | 0 | 84290 | - | 777M | 0 | 39k| 44k| 82k|5649 | 5 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
236.81/237.45 c 237s| 1 | 0 | 97902 | - | 790M | 0 | 39k| 44k| 83k|6594 | 6 | 60 | 0 | 0.000000e+00 | -- | Inf | unknown
286.69/287.48 c 287s| 1 | 0 |111028 | - | 808M | 0 | 39k| 44k| 84k|7548 | 7 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
341.95/342.84 c 343s| 1 | 0 |126092 | - | 826M | 0 | 39k| 44k| 85k|8411 | 8 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown
394.15/395.15 c 395s| 1 | 0 |140382 | - | 856M | 0 | 39k| 44k| 86k|9402 | 9 | 65 | 0 | 0.000000e+00 | -- | Inf | unknown
454.79/455.93 c 456s| 1 | 0 |155092 | - | 874M | 0 | 39k| 44k| 86k| 10k| 10 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
501.66/502.92 c 503s| 1 | 0 |168474 | - | 882M | 0 | 39k| 44k| 87k| 11k| 11 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown
596.53/598.10 c 598s| 1 | 2 |205495 | - | 884M | 0 | 39k| 44k| 87k| 11k| 11 | 82 | 19 | 0.000000e+00 | -- | Inf | unknown
1543.49/1547.40 c 1547s| 100 | 50 | 1035k|8760.1 | 1176M | 34 | 39k| 44k| 86k| 25k| 2 | 200 | 19 | 0.000000e+00 | -- | Inf | 9.50%
1743.63/1748.14 c 1748s| 200 | 106 | 1384k|6113.2 | 1222M | 53 | 39k| 44k| 90k| 36k| 2 | 309 | 19 | 0.000000e+00 | -- | Inf | 9.51%
1842.35/1847.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1842.35/1847.19 c 1847s| 300 | 54 | 1551k|4625.8 | 1254M | 61 | 39k| 44k| 89k| 38k| 2 | 504 | 19 | 0.000000e+00 | -- | Inf | 9.51%
2394.51/2400.89 c 2401s| 400 | 54 | 2157k|4985.6 | 1258M | 61 | 39k| 44k| 87k| 54k| 2 | 589 | 19 | 0.000000e+00 | -- | Inf | 9.59%
2619.78/2626.72 c 2627s| 500 | 134 | 2538k|4750.3 | 1284M | 61 | 39k| 44k| 88k| 68k| 2 | 660 | 19 | 0.000000e+00 | -- | Inf | 9.59%
2841.92/2849.53 c 2850s| 600 | 42 | 2957k|4656.9 | 1306M | 61 | 39k| 45k| 84k| 79k| 2 | 808 | 19 | 0.000000e+00 | -- | Inf | 9.63%
2961.68/2969.69 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2961.68/2969.69 c (run 1, node 643) performing user restart
2961.68/2969.69 c
2961.78/2969.74 c (restart) converted 3986 cuts from the global cut pool into linear constraints
2961.78/2969.74 c
2961.88/2969.88 c presolving:
2961.98/2969.92 c (round 1, fast) 37 del vars, 189 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 109 chg coeffs, 0 upgd conss, 0 impls, 239443 clqs
2962.19/2970.11 c (round 2, exhaustive) 72 del vars, 276 del conss, 73 add conss, 0 chg bounds, 55 chg sides, 117 chg coeffs, 4 upgd conss, 0 impls, 239160 clqs
2962.28/2970.23 c (round 3, exhaustive) 246 del vars, 491 del conss, 94 add conss, 0 chg bounds, 55 chg sides, 117 chg coeffs, 4 upgd conss, 0 impls, 237879 clqs
2962.28/2970.25 c (round 4, fast) 246 del vars, 542 del conss, 94 add conss, 0 chg bounds, 55 chg sides, 117 chg coeffs, 4 upgd conss, 0 impls, 237880 clqs
2962.38/2970.36 c (round 5, exhaustive) 248 del vars, 551 del conss, 95 add conss, 0 chg bounds, 55 chg sides, 117 chg coeffs, 3906 upgd conss, 0 impls, 237854 clqs
2962.38/2970.38 c (round 6, fast) 267 del vars, 596 del conss, 95 add conss, 0 chg bounds, 56 chg sides, 140 chg coeffs, 3906 upgd conss, 0 impls, 237834 clqs
2962.48/2970.41 c (round 7, medium) 267 del vars, 692 del conss, 275 add conss, 0 chg bounds, 148 chg sides, 331 chg coeffs, 3906 upgd conss, 0 impls, 237924 clqs
2962.58/2970.53 c (round 8, exhaustive) 348 del vars, 787 del conss, 284 add conss, 0 chg bounds, 148 chg sides, 334 chg coeffs, 3906 upgd conss, 0 impls, 237516 clqs
2962.68/2970.64 c (round 9, exhaustive) 349 del vars, 905 del conss, 284 add conss, 0 chg bounds, 148 chg sides, 431 chg coeffs, 3912 upgd conss, 0 impls, 237515 clqs
2962.88/2970.82 c presolving (10 rounds: 10 fast, 7 medium, 6 exhaustive):
2962.88/2970.82 c 372 deleted vars, 935 deleted constraints, 285 added constraints, 0 tightened bounds, 0 added holes, 148 changed sides, 471 changed coefficients
2962.88/2970.82 c 0 implications, 237414 cliques
2962.88/2970.82 c presolved problem has 38830 variables (38830 bin, 0 int, 0 impl, 0 cont) and 48509 constraints
2962.88/2970.82 c 11078 constraints of type <knapsack>
2962.88/2970.82 c 4702 constraints of type <setppc>
2962.88/2970.82 c 31895 constraints of type <and>
2962.88/2970.82 c 1 constraints of type <linear>
2962.88/2970.82 c 833 constraints of type <logicor>
2962.88/2970.82 c transformed objective value is always integral (scale: 1)
2962.88/2970.82 c Presolving Time: 41.70
2962.88/2970.83 c
2975.75/2983.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2975.75/2983.77 c 2984s| 1 | 0 | 3170k| - | 1272M | 0 | 38k| 48k| 79k| 0 | 0 | 856 | 19 | 0.000000e+00 | -- | Inf | unknown
2999.59/3007.66 c 3008s| 1 | 0 | 3180k| - | 1288M | 0 | 38k| 48k| 80k|1084 | 1 | 857 | 19 | 0.000000e+00 | -- | Inf | unknown
3034.00/3042.14 c 3042s| 1 | 0 | 3191k| - | 1328M | 0 | 38k| 48k| 82k|2429 | 2 | 860 | 19 | 0.000000e+00 | -- | Inf | unknown
3073.20/3081.49 c 3081s| 1 | 0 | 3206k| - | 1345M | 0 | 38k| 48k| 83k|3882 | 3 | 861 | 19 | 0.000000e+00 | -- | Inf | unknown
3115.98/3124.30 c 3124s| 1 | 0 | 3220k| - | 1362M | 0 | 38k| 48k| 85k|5404 | 4 | 862 | 19 | 0.000000e+00 | -- | Inf | unknown
3168.24/3176.78 c 3177s| 1 | 0 | 3240k| - | 1378M | 0 | 38k| 48k| 86k|6928 | 5 | 863 | 19 | 0.000000e+00 | -- | Inf | unknown
3208.43/3217.07 c 3217s| 1 | 0 | 3258k| - | 1393M | 0 | 38k| 48k| 88k|8554 | 6 | 864 | 19 | 0.000000e+00 | -- | Inf | unknown
3252.01/3260.72 c 3261s| 1 | 0 | 3277k| - | 1403M | 0 | 38k| 48k| 90k| 10k| 7 | 866 | 19 | 0.000000e+00 | -- | Inf | unknown
3315.43/3324.39 c 3324s| 1 | 0 | 3297k| - | 1417M | 0 | 38k| 48k| 91k| 11k| 8 | 867 | 19 | 0.000000e+00 | -- | Inf | unknown
3369.48/3378.56 c 3379s| 1 | 0 | 3317k| - | 1423M | 0 | 38k| 48k| 93k| 13k| 9 | 868 | 19 | 0.000000e+00 | -- | Inf | unknown
3425.52/3434.78 c 3435s| 1 | 0 | 3338k| - | 1434M | 0 | 38k| 48k| 94k| 14k| 10 | 871 | 19 | 0.000000e+00 | -- | Inf | unknown
3487.44/3496.85 c 3497s| 1 | 0 | 3363k| - | 1443M | 0 | 38k| 48k| 95k| 15k| 11 | 873 | 19 | 0.000000e+00 | -- | Inf | unknown
3487.65/3497.00 c 3497s| 1 | 0 | 3363k| - | 1444M | 0 | 38k| 48k| 95k| 15k| 11 | 874 | 19 | 0.000000e+00 | -- | Inf | unknown
3536.70/3546.24 c 3546s| 1 | 0 | 3389k| - | 1444M | 0 | 38k| 48k| 96k| 17k| 12 | 874 | 19 | 0.000000e+00 | -- | Inf | unknown
3586.56/3596.29 c 3596s| 1 | 0 | 3413k| - | 1444M | 0 | 38k| 48k| 98k| 18k| 13 | 875 | 19 | 0.000000e+00 | -- | Inf | unknown
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61581 MiB free)
memory of node 1: 64473 MiB (62357 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441725-1721294186/watcher-4441725-1721294186 -o /tmp/evaluation-result-4441725-1721294186/solver-4441725-1721294186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721294195-967150 --watchdog 3760 pbscip -f HOME/instance-4441725-1721294186.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=967305, runsolver pid=967302
[startup+0.1001 s]*
/proc/loadavg: 1.45 2.31 3.30 5/258 967306
/proc/meminfo: memFree=126868280/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=97560 memory=57020 CPUtime=0.1 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 11277 0 0 0 8 2 0 0 20 0 1 0 181581028 99901440 14255 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 24390 14255 3261 3540 0 12647 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 97560 KiB
Current children cumulated memory: 57020 KiB
[startup+0.205685 s]*
/proc/loadavg: 1.45 2.31 3.30 5/258 967306
/proc/meminfo: memFree=126824796/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=137952 memory=96736 CPUtime=0.2 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 21232 0 0 0 17 3 0 0 20 0 1 0 181581028 141262848 24184 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 34488 24184 3261 3540 0 22745 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 137952 KiB
Current children cumulated memory: 96736 KiB
[startup+0.305624 s]*
/proc/loadavg: 1.45 2.31 3.30 5/258 967306
/proc/meminfo: memFree=126792064/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=170772 memory=129644 CPUtime=0.29 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 29435 0 0 0 25 4 0 0 20 0 1 0 181581028 174870528 32411 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 42693 32411 3261 3540 0 30950 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 170772 KiB
Current children cumulated memory: 129644 KiB
[startup+0.700239 s]
/proc/loadavg: 1.45 2.31 3.30 5/258 967306
/proc/meminfo: memFree=126674844/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=356300 memory=310860 CPUtime=0.68 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 75029 0 0 0 58 10 0 0 20 0 1 0 181581028 364851200 77715 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 89075 77715 3597 3540 0 77332 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 356300 KiB
Current children cumulated memory: 310860 KiB
[startup+1.50025 s]
/proc/loadavg: 1.45 2.31 3.30 5/258 967306
/proc/meminfo: memFree=126567164/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=461340 memory=414908 CPUtime=1.49 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 91838 0 0 0 135 14 0 0 20 0 1 0 181581028 472412160 103727 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 115335 103727 3692 3540 0 103592 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 461340 KiB
Current children cumulated memory: 414908 KiB
[startup+3.10558 s]
/proc/loadavg: 1.66 2.34 3.31 5/258 967306
/proc/meminfo: memFree=126504180/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=461340 memory=414908 CPUtime=3.08 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 91855 0 0 0 294 14 0 0 20 0 1 0 181581028 472412160 103727 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 115335 103727 3692 3540 0 103592 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 461340 KiB
Current children cumulated memory: 414908 KiB
[startup+6.30023 s]
/proc/loadavg: 1.66 2.34 3.31 5/258 967306
/proc/meminfo: memFree=126504100/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=461340 memory=415316 CPUtime=6.27 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 91891 0 0 0 613 14 0 0 20 0 1 0 181581028 472412160 103829 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 115335 103829 3756 3540 0 103592 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 461340 KiB
Current children cumulated memory: 415316 KiB
[startup+12.7002 s]
/proc/loadavg: 1.85 2.37 3.31 5/258 967307
/proc/meminfo: memFree=126503732/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=461340 memory=415316 CPUtime=12.66 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 91943 0 0 0 1251 15 0 0 20 0 1 0 181581028 472412160 103829 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 115335 103829 3756 3540 0 103592 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 461340 KiB
Current children cumulated memory: 415316 KiB
[startup+25.5003 s]
/proc/loadavg: 2.40 2.46 3.33 5/258 967309
/proc/meminfo: memFree=126405476/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=461340 memory=415316 CPUtime=25.42 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 91978 0 0 0 2527 15 0 0 20 0 1 0 181581028 472412160 103829 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 115335 103829 3756 3540 0 103592 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 461340 KiB
Current children cumulated memory: 415316 KiB
[startup+51.1055 s]
/proc/loadavg: 3.01 2.60 3.35 5/258 967313
/proc/meminfo: memFree=125932836/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=764204 memory=668048 CPUtime=50.94 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 154325 0 0 0 5069 25 0 0 20 0 1 0 181581028 782544896 167012 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 191051 167012 4012 3540 0 179308 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 764204 KiB
Current children cumulated memory: 668048 KiB
[startup+102.3 s]
/proc/loadavg: 4.35 3.04 3.46 5/258 967322
/proc/meminfo: memFree=125356572/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=942068 memory=846580 CPUtime=102.02 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 199023 0 0 0 10170 32 0 0 20 0 1 0 181581028 964677632 211645 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 235517 211645 4028 3540 0 223774 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 942068 KiB
Current children cumulated memory: 846580 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.21 3.50 5/257 967563
/proc/meminfo: memFree=125908344/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=942068 memory=846868 CPUtime=161.89 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 199132 0 0 0 16156 33 0 0 20 0 1 0 181581028 964677632 211717 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 235517 211717 4028 3540 0 223774 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 942068 KiB
Current children cumulated memory: 846868 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.38 3.54 5/257 967573
/proc/meminfo: memFree=125891456/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=948048 memory=850348 CPUtime=221.74 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 200035 0 0 0 22141 33 0 0 20 0 1 0 181581028 970801152 212587 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 237012 212587 4028 3540 0 225269 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 948048 KiB
Current children cumulated memory: 850348 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.51 3.57 5/261 967591
/proc/meminfo: memFree=125813908/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=965928 memory=861020 CPUtime=281.6 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 202765 0 0 0 28126 34 0 0 20 0 1 0 181581028 989110272 215255 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 241482 215255 4028 3540 0 229739 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 965928 KiB
Current children cumulated memory: 861020 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.63 3.61 5/258 967647
/proc/meminfo: memFree=126026068/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=984216 memory=873500 CPUtime=341.45 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 205422 0 0 0 34110 35 0 0 20 0 1 0 181581028 1007837184 218375 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 246054 218375 4028 3540 0 234311 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 984216 KiB
Current children cumulated memory: 873500 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.71 3.65 5/258 967659
/proc/meminfo: memFree=125973512/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1014648 memory=896696 CPUtime=401.32 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 210789 0 0 0 40095 37 0 0 20 0 1 0 181581028 1038999552 224174 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 253662 224174 4028 3540 0 241919 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 1014648 KiB
Current children cumulated memory: 896696 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.80 3.68 5/259 967671
/proc/meminfo: memFree=125947404/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1032464 memory=907500 CPUtime=461.17 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 213468 0 0 0 46079 38 0 0 20 0 1 0 181581028 1057243136 226875 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 258116 226875 4028 3540 0 246373 0
################
# More data... #
################
Current children cumulated memory: 1421500 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/255 969344
/proc/meminfo: memFree=124745116/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1534216 memory=1421500 CPUtime=2914.52 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 304048 0 0 0 291391 61 0 0 20 0 1 0 181581028 1571037184 355375 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 383554 355375 4044 3540 0 371811 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 1534216 KiB
Current children cumulated memory: 1421500 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/254 969354
/proc/meminfo: memFree=124703204/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1534216 memory=1421500 CPUtime=2974.35 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 304458 0 0 0 297374 61 0 0 20 0 1 0 181581028 1571037184 355375 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 383554 355375 4044 3540 0 371811 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 1534216 KiB
Current children cumulated memory: 1421500 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.08 4.06 5/254 969365
/proc/meminfo: memFree=124702868/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1534216 memory=1421500 CPUtime=3034.2 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 304881 0 0 0 303359 61 0 0 20 0 1 0 181581028 1571037184 355375 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 383554 355375 4044 3540 0 371811 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 1534216 KiB
Current children cumulated memory: 1421500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.06 5/254 969376
/proc/meminfo: memFree=124702560/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1534216 memory=1421500 CPUtime=3094.04 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 305271 0 0 0 309343 61 0 0 20 0 1 0 181581028 1571037184 355375 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 383554 355375 4044 3540 0 371811 0
Current children cumulated CPU time: 3094.04 s
Current children cumulated vsize: 1534216 KiB
Current children cumulated memory: 1421500 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/254 969386
/proc/meminfo: memFree=124700068/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1538972 memory=1423648 CPUtime=3153.88 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 306261 0 0 0 315327 61 0 0 20 0 1 0 181581028 1575907328 355912 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 384743 355912 4044 3540 0 373000 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 1538972 KiB
Current children cumulated memory: 1423648 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.12 4.07 5/255 969397
/proc/meminfo: memFree=124687564/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1552208 memory=1435520 CPUtime=3213.72 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 309939 0 0 0 321310 62 0 0 20 0 1 0 181581028 1589460992 358880 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 388052 358880 4044 3540 0 376309 0
Current children cumulated CPU time: 3213.72 s
Current children cumulated vsize: 1552208 KiB
Current children cumulated memory: 1435520 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/257 969413
/proc/meminfo: memFree=124673756/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1562836 memory=1448880 CPUtime=3273.55 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 313282 0 0 0 327293 62 0 0 20 0 1 0 181581028 1600344064 362220 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 390709 362220 4044 3540 0 378966 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 1562836 KiB
Current children cumulated memory: 1448880 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/257 969423
/proc/meminfo: memFree=124660400/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1583728 memory=1461868 CPUtime=3333.39 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 316558 0 0 0 333276 63 0 0 20 0 1 0 181581028 1621737472 365467 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 395932 365467 4044 3540 0 384189 0
Current children cumulated CPU time: 3333.39 s
Current children cumulated vsize: 1583728 KiB
Current children cumulated memory: 1461868 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.13 4.08 5/257 969434
/proc/meminfo: memFree=124645112/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1597488 memory=1476860 CPUtime=3393.21 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 320755 0 0 0 339258 63 0 0 20 0 1 0 181581028 1635827712 369215 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 399372 369215 4044 3540 0 387629 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 1597488 KiB
Current children cumulated memory: 1476860 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/257 969446
/proc/meminfo: memFree=124644212/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1606340 memory=1477044 CPUtime=3453.04 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 321334 0 0 0 345241 63 0 0 20 0 1 0 181581028 1644892160 369261 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 401585 369261 4044 3540 0 389842 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 1606340 KiB
Current children cumulated memory: 1477044 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 969456
/proc/meminfo: memFree=124643980/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1606340 memory=1477064 CPUtime=3512.87 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 321634 0 0 0 351224 63 0 0 20 0 1 0 181581028 1644892160 369266 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 401585 369266 4044 3540 0 389842 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 1606340 KiB
Current children cumulated memory: 1477064 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/255 969467
/proc/meminfo: memFree=124608008/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1606340 memory=1477064 CPUtime=3572.7 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 322055 0 0 0 357207 63 0 0 20 0 1 0 181581028 1644892160 369266 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 401585 369266 4044 3540 0 389842 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 1606340 KiB
Current children cumulated memory: 1477064 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.09 4.13 4.09 5/255 969516
/proc/meminfo: memFree=125855172/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1606340 memory=1477064 CPUtime=3600.03 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 322406 0 0 0 359940 63 0 0 20 0 1 0 181581028 1644892160 369266 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 401585 369266 4044 3540 0 389842 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1606340 KiB
Current children cumulated memory: 1477064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 967305 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.41 s, system=0.645915 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.09 4.13 4.09 5/255 969516
/proc/meminfo: memFree=125855172/131524600 swapFree=131071216/131071996
[pid=967305] ppid=967302 vsize=1606340 memory=1477064 CPUtime=3600.03 cores=4,6
/proc/967305/stat : 967305 (pbscip) R 967302 967305 967139 0 -1 4194304 322406 0 0 0 359940 63 0 0 20 0 1 0 181581028 1644892160 369266 134679101440 4194304 18693293 140724939538384 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34365440 140724939547651 140724939547750 140724939547750 140724939554766 0
/proc/967305/statm: 401585 369266 4044 3540 0 389842 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1606340 KiB
Current children cumulated memory: 1477064 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.71
CPU time (s): 3600.05
CPU user time (s): 3599.41
CPU system time (s): 0.645915
CPU usage (%): 99.7325
Max. virtual memory (cumulated for all children) (KiB): 1606340
Max. memory (cumulated for all children) (KiB): 1477064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.41
system time used= 0.645915
maximum resident set size= 1477064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322406
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= 32
involuntary context switches= 1656
# summary of solver processes directly reported to runsolver:
# pid: 967305
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.41
# total CPU system time (s): 0.645915
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03856 second user time and 16.0249 second system time
The end