0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.10/0.21 c Default LC presolving (default).
0.10/0.21 c ** Before presolving: virtualMemUsedAtLc = 110015246, getVmSize() = 97624064, SCIPgetMemUsed() = 66980125, SCIPgetMemTotal() = 73708245, SCIPgetMemExternEstim() = 36307001
0.10/0.21 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
51.53/51.78 c ** Estimated virtualMemUsedAtSolver = 229275338, getVmSize() = 340480000, SCIPgetMemUsed() = 231062110, SCIPgetMemTotal() = 307606006, SCIPgetMemExternEstim() = 36307001
51.53/51.78 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
51.53/51.78 c Original Problem :
51.53/51.78 c Problem name : instance-4464488-1722384999
51.53/51.78 c Variables : 18683 (18683 binary, 0 integer, 0 implicit integer, 0 continuous)
51.53/51.78 c Constraints : 18999
51.53/51.78 c Objective sense : minimize
51.53/51.78 c Presolved Problem :
51.53/51.78 c Variables : 17147 (17147 binary, 0 integer, 0 implicit integer, 0 continuous)
51.53/51.78 c Constraints : 17418
51.53/51.78 c Constraints : Number
51.53/51.78 c knapsack : 1
51.53/51.78 c setppc : 2129
51.53/51.78 c orbitope : 1
51.53/51.78 c logicor : 15287
51.53/51.78 c ** Instance transfer method used: 0
51.62/51.83 c ** ParaScipInstance copy increased the number of variables. **
51.72/51.93 c LC is working with racing ramp-up and with rebuilding tree after racing.
51.72/51.93 c Nodes Active
51.72/51.93 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1409.60/1413.62 c 1414 2 1 1 - 0.0000 -
1415.39/1419.46 c 1419 3 2 1 - 0.0000 -
1438.24/1442.31 c 1442 4 3 1 - 0.0000 -
1446.62/1450.77 c 1451 5 4 1 - 0.0000 -
1475.05/1479.20 c 1479 6 5 1 - 0.0000 -
1483.13/1487.33 c 1487 7 6 1 - 0.0000 -
1496.50/1500.75 c 1501 11 10 1 - 0.0000 -
1520.35/1524.69 c 1525 12 11 1 - 0.0000 -
1533.12/1537.40 c 1537 13 12 1 - 0.0000 -
1580.51/1584.90 c 1585 14 13 1 - 0.0000 -
1606.25/1610.77 c 1611 15 14 1 - 0.0000 -
1635.68/1640.25 c 1640 16 15 1 - 0.0000 -
1662.22/1666.89 c 1667 17 16 1 - 0.0000 -
1681.28/1685.95 c 1686 18 17 1 - 0.0000 -
1698.14/1702.85 c 1703 19 18 1 - 0.0000 -
1714.20/1718.99 c 1719 20 19 1 - 0.0000 -
1722.29/1727.09 c 1727 21 20 1 - 0.0000 -
1729.86/1734.65 c 1735 22 21 1 - 0.0000 -
1735.85/1740.62 c 1741 25 22 1 - 0.0000 -
1749.82/1754.67 c 1755 27 24 1 - 0.0000 -
1762.69/1767.58 c 1768 30 25 1 - 0.0000 -
1770.08/1774.97 c 1775 31 26 1 - 0.0000 -
1776.67/1781.50 c 1782 32 25 1 - 0.0000 -
1782.35/1787.20 c 1787 35 28 1 - 0.0000 -
1787.94/1792.81 c 1793 36 29 1 - 0.0000 -
1795.02/1799.96 c 1800 40 29 1 - 0.0000 -
1801.70/1806.61 c 1807 44 29 1 - 0.0000 -
1806.89/1811.88 c 1812 48 29 1 - 0.0000 -
1813.09/1818.03 c 1818 49 28 1 - 0.0000 -
1820.56/1825.57 c 1826 52 27 1 - 0.0000 -
1829.74/1834.71 c 1835 54 29 1 - 0.0000 -
1840.41/1845.48 c 1845 60 27 1 - 0.0000 -
1848.49/1853.56 c 1854 63 28 1 - 0.0000 -
1853.58/1858.61 c 1859 66 27 1 - 0.0000 -
1861.97/1867.04 c 1867 69 28 1 - 0.0000 -
1867.84/1872.97 c 1873 70 29 1 - 0.0000 -
1875.04/1880.16 c 1880 74 27 1 - 0.0000 -
1880.31/1885.40 c 1885 78 29 1 - 0.0000 -
1887.10/1892.21 c 1892 80 27 1 - 0.0000 -
1914.84/1920.07 c 1920 82 27 1 - 0.0000 -
1941.88/1947.15 c 1947 83 28 1 - 0.0000 -
1964.43/1969.77 c 1970 84 29 1 - 0.0000 -
2195.74/2201.62 c 2202 85 30 1 - 0.0000 -
2204.81/2210.74 c 2211 87 30 1 - 0.0000 -
2210.80/2216.71 c 2217 89 30 1 - 0.0000 -
2217.68/2223.61 c 2224 92 29 1 - 0.0000 -
2225.57/2231.53 c 2232 95 32 1 - 0.0000 -
2233.85/2239.82 c 2240 97 32 1 - 0.0000 -
2239.43/2245.46 c 2245 99 32 1 - 0.0000 -
2244.42/2250.49 c 2250 100 31 1 - 0.0000 -
2250.80/2256.88 c 2257 102 31 1 - 0.0000 -
2258.59/2264.64 c 2265 105 32 1 - 0.0000 -
2264.68/2270.75 c 2271 106 33 1 - 0.0000 -
2309.77/2315.95 c 2316 107 34 1 - 0.0000 -
2319.25/2325.49 c 2326 111 38 1 - 0.0000 -
2327.13/2333.38 c 2333 114 41 1 - 0.0000 -
2332.83/2339.08 c 2339 116 41 1 - 0.0000 -
2338.21/2344.42 c 2344 119 42 1 - 0.0000 -
2344.39/2350.61 c 2351 122 41 1 - 0.0000 -
2350.68/2356.91 c 2357 126 43 1 - 0.0000 -
2358.36/2364.64 c 2365 129 42 1 - 0.0000 -
2365.54/2371.84 c 2372 131 42 1 - 0.0000 -
2372.62/2379.01 c 2379 135 42 1 - 0.0000 -
2378.41/2384.78 c 2385 139 44 1 - 0.0000 -
2385.39/2391.73 c 2392 142 43 1 - 0.0000 -
2393.97/2400.40 c 2400 145 40 1 - 0.0000 -
2402.05/2408.45 c 2408 147 38 1 - 0.0000 -
2409.23/2415.64 c 2416 148 39 1 - 0.0000 -
2414.32/2420.76 c 2421 150 39 1 - 0.0000 -
2420.61/2427.02 c 2427 154 39 1 - 0.0000 -
2427.28/2433.77 c 2434 157 38 1 - 0.0000 -
2435.58/2442.04 c 2442 159 36 1 - 0.0000 -
2445.04/2451.52 c 2452 160 37 1 - 0.0000 -
2452.23/2458.74 c 2459 162 37 1 - 0.0000 -
2457.81/2464.37 c 2464 165 36 1 - 0.0000 -
2464.62/2471.12 c 2471 169 36 1 - 0.0000 -
2472.68/2479.22 c 2479 172 35 1 - 0.0000 -
2481.86/2488.41 c 2488 174 35 1 - 0.0000 -
2489.45/2496.01 c 2496 177 34 1 - 0.0000 -
2496.23/2502.85 c 2503 178 33 1 - 0.0000 -
2507.60/2514.20 c 2514 180 33 1 - 0.0000 -
2521.77/2528.42 c 2528 181 32 1 - 0.0000 -
2528.95/2535.65 c 2536 182 33 1 - 0.0000 -
2547.42/2554.12 c 2554 183 34 1 - 0.0000 -
2565.28/2572.05 c 2572 184 35 1 - 0.0000 -
2585.82/2592.62 c 2593 185 36 1 - 0.0000 -
2663.34/2670.31 c 2670 186 37 1 - 0.0000 -
2677.41/2684.49 c 2684 188 39 1 - 0.0000 -
2685.00/2692.06 c 2692 189 40 1 - 0.0000 -
2719.22/2726.36 c 2726 192 43 1 - 0.0000 -
2734.29/2741.46 c 2741 194 45 1 - 0.0000 -
2743.27/2750.41 c 2750 195 46 1 - 0.0000 -
3077.17/3085.06 c 3085 197 48 1 - 0.0000 -
3082.95/3090.89 c 3091 199 50 1 - 0.0000 -
3093.52/3101.42 c 3101 200 51 1 - 0.0000 -
3099.90/3107.83 c 3108 202 49 1 - 0.0000 -
3109.09/3117.04 c 3117 204 51 1 - 0.0000 -
3116.77/3124.71 c 3125 205 50 1 - 0.0000 -
3125.34/3133.30 c 3133 206 51 1 - 0.0000 -
3131.73/3139.73 c 3140 208 49 1 - 0.0000 -
3229.81/3238.03 c 3238 209 50 1 - 0.0000 -
3242.27/3250.58 c 3251 210 51 1 - 0.0000 -
3252.86/3261.17 c 3261 211 52 1 - 0.0000 -
3258.23/3266.58 c 3267 212 53 1 - 0.0000 -
3383.15/3391.72 c 3392 213 54 1 - 0.0000 -
3393.33/3401.96 c 3402 215 56 1 - 0.0000 -
3399.31/3407.99 c 3408 216 55 1 - 0.0000 -
3412.08/3420.79 c 3421 218 55 1 - 0.0000 -
3420.37/3429.01 c 3429 219 56 1 - 0.0000 -
3426.46/3435.12 c 3435 221 54 1 - 0.0000 -
3436.83/3445.54 c 3446 223 56 1 - 0.0000 -
3443.91/3452.68 c 3453 224 57 1 - 0.0000 -
3452.40/3461.18 c 3461 226 59 1 - 0.0000 -
3460.97/3469.79 c 3470 229 60 1 - 0.0000 -
3468.55/3477.36 c 3477 234 57 1 - 0.0000 -
3477.24/3486.03 c 3486 237 60 1 - 0.0000 -
3482.91/3491.72 c 3492 240 59 1 - 0.0000 -
3492.39/3501.26 c 3501 243 60 1 - 0.0000 -
3502.76/3511.66 c 3512 244 59 1 - 0.0000 -
3515.63/3524.53 c 3525 245 60 1 - 0.0000 -
3521.53/3530.44 c 3530 248 59 1 - 0.0000 -
3527.71/3536.62 c 3537 252 59 1 - 0.0000 -
3538.69/3547.69 c 3548 253 60 1 - 0.0000 -
3544.67/3553.67 c 3554 256 59 1 - 0.0000 -
3561.14/3570.18 c 3570 261 60 1 - 0.0000 -
3567.41/3576.49 c 3576 264 59 1 - 0.0000 -
3577.49/3586.53 c 3587 265 60 1 - 0.0000 -
3583.68/3592.75 c 3593 269 58 1 - 0.0000 -
3588.87/3597.99 c 3598 270 59 0 - 0.0000 -
3589.08/3598.12 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.08/3598.12 c Total Time : 3598.1100
3589.08/3598.12 c solving : 3598.1100
3589.08/3598.12 c presolving : 51.5702 (included in solving)
3589.08/3598.12 c B&B Tree :
3589.08/3598.12 c nodes (total) : 1
3589.08/3598.12 c Solution :
3589.08/3598.12 c Solutions found : 0
3589.08/3598.12 c Primal Bound : -
3589.08/3598.12 c Dual Bound : +0.00000000000000e+00
3589.08/3598.12 c Gap : -
3589.17/3598.24 s 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: 64096 MiB (51837 MiB free)
memory of node 1: 64473 MiB (51134 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464488-1722384999/watcher-4464488-1722384999 -o /tmp/evaluation-result-4464488-1722384999/solver-4464488-1722384999 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28656 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464488-1722384999.opb -qsol -t 3600 -sth 1
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=32442, runsolver pid=32439
[startup+0.100231 s]*
/proc/loadavg: 4.12 4.12 4.14 5/248 32443
/proc/meminfo: memFree=105415456/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=50436 memory=37912 CPUtime=0.1 cores=4,6
/proc/32442/stat : 32442 (fscip) R 32439 32442 28645 0 -1 4194304 7358 0 0 0 8 2 0 0 20 0 1 0 5097488 51646464 9478 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 12609 9478 2347 3035 0 9005 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50436 KiB
Current children cumulated memory: 37912 KiB
[startup+0.212846 s]*
/proc/loadavg: 4.12 4.12 4.14 5/248 32443
/proc/meminfo: memFree=105370984/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=101496 memory=87796 CPUtime=0.21 cores=4,6
/proc/32442/stat : 32442 (fscip) R 32439 32442 28645 0 -1 4194304 19680 0 0 0 17 4 0 0 20 0 1 0 5097488 103931904 21949 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 25374 21949 2582 3035 0 21770 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 101496 KiB
Current children cumulated memory: 87796 KiB
[startup+0.312857 s]*
/proc/loadavg: 4.12 4.12 4.14 5/248 32443
/proc/meminfo: memFree=105364476/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=107408 memory=90884 CPUtime=0.31 cores=4,6
/proc/32442/stat : 32442 (fscip) R 32439 32442 28645 0 -1 4194304 20491 0 0 0 27 4 0 0 20 0 1 0 5097488 109985792 22721 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 26852 22721 2598 3035 0 23248 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 107408 KiB
Current children cumulated memory: 90884 KiB
[startup+0.700263 s]
/proc/loadavg: 4.11 4.12 4.14 5/248 32443
/proc/meminfo: memFree=105339124/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=127760 memory=114276 CPUtime=0.68 cores=4,6
/proc/32442/stat : 32442 (fscip) R 32439 32442 28645 0 -1 4194304 27431 0 0 0 62 6 0 0 20 0 1 0 5097488 130826240 28569 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 31940 28569 2662 3035 0 28336 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127760 KiB
Current children cumulated memory: 114276 KiB
[startup+1.50033 s]
/proc/loadavg: 4.11 4.12 4.14 5/248 32443
/proc/meminfo: memFree=105327784/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=168396 memory=152764 CPUtime=1.48 cores=4,6
/proc/32442/stat : 32442 (fscip) R 32439 32442 28645 0 -1 4194304 37282 0 0 0 140 8 0 0 20 0 1 0 5097488 172437504 38191 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 42099 38191 2774 3035 0 38495 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 168396 KiB
Current children cumulated memory: 152764 KiB
[startup+3.11265 s]
/proc/loadavg: 4.11 4.12 4.14 5/248 32443
/proc/meminfo: memFree=105286220/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=181148 memory=164896 CPUtime=3.09 cores=4,6
/proc/32442/stat : 32442 (fscip) R 32439 32442 28645 0 -1 4194304 40349 0 0 0 300 9 0 0 20 0 1 0 5097488 185495552 41224 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 45287 41224 2774 3035 0 41683 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 181148 KiB
Current children cumulated memory: 164896 KiB
[startup+6.30032 s]
/proc/loadavg: 4.10 4.11 4.14 5/248 32443
/proc/meminfo: memFree=105286092/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=181332 memory=165152 CPUtime=6.27 cores=4,6
/proc/32442/stat : 32442 (fscip) R 32439 32442 28645 0 -1 4194304 40398 0 0 0 618 9 0 0 20 0 1 0 5097488 185683968 41288 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 45333 41288 2774 3035 0 41729 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 181332 KiB
Current children cumulated memory: 165152 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.11 4.14 5/248 32445
/proc/meminfo: memFree=105279112/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=187252 memory=171000 CPUtime=12.65 cores=4,6
/proc/32442/stat : 32442 (fscip) R 32439 32442 28645 0 -1 4194304 41922 0 0 0 1256 9 0 0 20 0 1 0 5097488 191746048 42750 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 46813 42750 2774 3035 0 43209 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 187252 KiB
Current children cumulated memory: 171000 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.13 5/248 32446
/proc/meminfo: memFree=105277212/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=188808 memory=172564 CPUtime=25.42 cores=4,6
/proc/32442/stat : 32442 (fscip) R 32439 32442 28645 0 -1 4194304 42316 0 0 0 2532 10 0 0 20 0 1 0 5097488 193339392 43141 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 47202 43141 2774 3035 0 43598 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 188808 KiB
Current children cumulated memory: 172564 KiB
[startup+51.1125 s]
/proc/loadavg: 4.05 4.10 4.13 5/248 32451
/proc/meminfo: memFree=105271508/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=189764 memory=173608 CPUtime=50.94 cores=4,6
/proc/32442/stat : 32442 (fscip) R 32439 32442 28645 0 -1 4194304 42578 0 0 0 5084 10 0 0 20 0 1 0 5097488 194318336 43402 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 47441 43402 2774 3035 0 43837 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 189764 KiB
Current children cumulated memory: 173608 KiB
[startup+102.3 s]
/proc/loadavg: 4.55 4.22 4.17 5/250 32462
/proc/meminfo: memFree=104973416/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=574796 memory=470816 CPUtime=101.96 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 195182 0 0 0 10165 31 0 0 20 0 3 0 5097488 588591104 117704 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 143699 117704 2966 3035 0 137605 0
[pid=32442/tid=32452] ppid=32439 vsize=574796 memory=12952 CPUtime=50.29 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 123327 0 0 0 5012 17 0 0 20 0 3 0 5102667 588591104 117704 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=574796 memory=470808 CPUtime=0 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 5102682 588591104 117704 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 574796 KiB
Current children cumulated memory: 470816 KiB
[startup+162.3 s]
/proc/loadavg: 4.50 4.28 4.19 5/250 32473
/proc/meminfo: memFree=104971468/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=574796 memory=471084 CPUtime=161.79 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 210941 0 0 0 16146 33 0 0 20 0 3 0 5097488 588591104 117771 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 143699 117771 2966 3035 0 137741 0
[pid=32442/tid=32452] ppid=32439 vsize=574796 memory=12952 CPUtime=110.12 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 139065 0 0 0 10993 19 0 0 20 0 3 0 5102667 588591104 117771 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=574796 memory=33 CPUtime=0 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 76 0 0 0 0 0 0 0 20 0 3 0 5102682 588591104 117771 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 574796 KiB
Current children cumulated memory: 471084 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.26 4.19 5/253 32488
/proc/meminfo: memFree=104961188/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=574796 memory=472036 CPUtime=221.61 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 226893 0 0 0 22126 35 0 0 20 0 3 0 5097488 588591104 118009 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 143699 118009 2982 3035 0 137877 0
[pid=32442/tid=32452] ppid=32439 vsize=574796 memory=471648 CPUtime=169.93 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 155006 0 0 0 16973 20 0 0 20 0 3 0 5102667 588591104 118009 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=574796 memory=16076 CPUtime=0 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 87 0 0 0 0 0 0 0 20 0 3 0 5102682 588591104 118009 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 574796 KiB
Current children cumulated memory: 472036 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.23 4.18 5/253 32498
/proc/meminfo: memFree=104888788/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=683764 memory=543208 CPUtime=281.44 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 261235 0 0 0 28106 38 0 0 20 0 3 0 5097488 700174336 135802 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 170941 135802 2982 3035 0 156464 0
[pid=32442/tid=32452] ppid=32439 vsize=683764 memory=543084 CPUtime=229.77 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 189341 0 0 0 22953 24 0 0 20 0 3 0 5102667 700174336 135802 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=683764 memory=543208 CPUtime=0 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 5102682 700174336 135802 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 683764 KiB
Current children cumulated memory: 543208 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/252 32509
/proc/meminfo: memFree=104875848/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=687676 memory=554780 CPUtime=341.28 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 294596 0 0 0 34088 40 0 0 20 0 3 0 5097488 704180224 138695 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 171919 138695 2982 3035 0 159773 0
[pid=32442/tid=32452] ppid=32439 vsize=687676 memory=471084 CPUtime=289.6 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 222695 0 0 0 28934 26 0 0 20 0 3 0 5102667 704180224 138695 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=687676 memory=12660 CPUtime=0 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 101 0 0 0 0 0 0 0 20 0 3 0 5102682 704180224 138695 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
################
# More data... #
################
[pid=32442] ppid=32439 vsize=955096 memory=860536 CPUtime=3393.73 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 674238 0 0 0 339298 75 0 0 20 0 3 0 5097488 978018304 215134 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 238774 215134 3334 3035 0 224540 0
[pid=32442/tid=32452] ppid=32439 vsize=955096 memory=860536 CPUtime=3341.97 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 601578 0 0 0 334140 57 0 0 20 0 3 0 5102667 978018304 215134 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=955096 memory=860536 CPUtime=0.05 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 441 0 0 0 2 3 0 0 20 0 3 0 5102682 978018304 215134 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 3393.73 s
Current children cumulated vsize: 955096 KiB
Current children cumulated memory: 860536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/251 34459
/proc/meminfo: memFree=114623580/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=955096 memory=860564 CPUtime=3453.59 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 678704 0 0 0 345283 76 0 0 20 0 3 0 5097488 978018304 215141 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 238774 215141 3334 3035 0 224540 0
[pid=32442/tid=32452] ppid=32439 vsize=955096 memory=860536 CPUtime=3401.82 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 606003 0 0 0 340125 57 0 0 20 0 3 0 5102667 978018304 215141 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=955096 memory=12160 CPUtime=0.06 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 452 0 0 0 2 4 0 0 20 0 3 0 5102682 978018304 215141 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 3453.59 s
Current children cumulated vsize: 955096 KiB
Current children cumulated memory: 860564 KiB
[startup+3522.3 s]
/proc/loadavg: 4.60 4.24 4.15 5/251 34470
/proc/meminfo: memFree=114611372/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=955096 memory=860712 CPUtime=3513.44 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 684897 0 0 0 351268 76 0 0 20 0 3 0 5097488 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 238774 215178 3334 3035 0 224540 0
[pid=32442/tid=32452] ppid=32439 vsize=955096 memory=860564 CPUtime=3461.69 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 612174 0 0 0 346111 58 0 0 20 0 3 0 5102667 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=955096 memory=860712 CPUtime=0.06 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 459 0 0 0 2 4 0 0 20 0 3 0 5102682 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 3513.44 s
Current children cumulated vsize: 955096 KiB
Current children cumulated memory: 860712 KiB
[startup+3582.3 s]
/proc/loadavg: 4.51 4.29 4.18 5/248 34482
/proc/meminfo: memFree=114599192/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=955096 memory=860712 CPUtime=3573.3 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 690808 0 0 0 357253 77 0 0 20 0 3 0 5097488 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 238774 215178 3334 3035 0 224540 0
[pid=32442/tid=32452] ppid=32439 vsize=955096 memory=52524 CPUtime=3521.54 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 618059 0 0 0 352096 58 0 0 20 0 3 0 5102667 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=955096 memory=11536 CPUtime=0.06 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 468 0 0 0 2 4 0 0 20 0 3 0 5102682 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 955096 KiB
Current children cumulated memory: 860712 KiB
[startup+3598.26 s]
# the end of solver process 32442 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.43 s, system=0.80321 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.51 4.29 4.18 5/248 34482
/proc/meminfo: memFree=114598628/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=955096 memory=860712 CPUtime=3575.01 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 690809 0 0 0 357424 77 0 0 20 0 3 0 5097488 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 238774 215178 3334 3035 0 224540 0
[pid=32442/tid=32452] ppid=32439 vsize=955096 memory=4896 CPUtime=3523.25 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 618060 0 0 0 352267 58 0 0 20 0 3 0 5102667 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=955096 memory=-4050210904893474194 CPUtime=0.06 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 468 0 0 0 2 4 0 0 20 0 3 0 5102682 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 3575.01 s
Current children cumulated vsize: 955096 KiB
Current children cumulated memory: 860712 KiB
[startup+3590.4 s]
/proc/loadavg: 4.47 4.29 4.18 5/248 34484
/proc/meminfo: memFree=114597600/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=955096 memory=860712 CPUtime=3581.38 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 691183 0 0 0 358061 77 0 0 20 0 3 0 5097488 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 238774 215178 3334 3035 0 224540 0
[pid=32442/tid=32452] ppid=32439 vsize=955096 memory=-7379829155985186173 CPUtime=3529.62 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 618432 0 0 0 352904 58 0 0 20 0 3 0 5102667 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=955096 memory=12160 CPUtime=0.06 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 468 0 0 0 2 4 0 0 20 0 3 0 5102682 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 3581.38 s
Current children cumulated vsize: 955096 KiB
Current children cumulated memory: 860712 KiB
[startup+3593.6 s]
/proc/loadavg: 4.43 4.28 4.17 5/248 34484
/proc/meminfo: memFree=114597388/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=955096 memory=860712 CPUtime=3584.58 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 692134 0 0 0 358380 78 0 0 20 0 3 0 5097488 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 238774 215178 3334 3035 0 224540 0
[pid=32442/tid=32452] ppid=32439 vsize=955096 memory=-7379829155985186173 CPUtime=3532.82 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 619379 0 0 0 353223 59 0 0 20 0 3 0 5102667 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=955096 memory=860712 CPUtime=0.06 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 472 0 0 0 2 4 0 0 20 0 3 0 5102682 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 3584.58 s
Current children cumulated vsize: 955096 KiB
Current children cumulated memory: 860712 KiB
[startup+3596.8 s]
/proc/loadavg: 4.43 4.28 4.17 5/248 34484
/proc/meminfo: memFree=114597348/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=955096 memory=860712 CPUtime=3587.77 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 692137 0 0 0 358699 78 0 0 20 0 3 0 5097488 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 238774 215178 3334 3035 0 224540 0
[pid=32442/tid=32452] ppid=32439 vsize=955096 memory=860712 CPUtime=3536.01 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 619382 0 0 0 353542 59 0 0 20 0 3 0 5102667 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=955096 memory=280881198389280 CPUtime=0.06 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 472 0 0 0 2 4 0 0 20 0 3 0 5102682 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 3587.77 s
Current children cumulated vsize: 955096 KiB
Current children cumulated memory: 860712 KiB
[startup+3597.6 s]
/proc/loadavg: 4.47 4.30 4.18 5/248 34484
/proc/meminfo: memFree=114597344/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=955096 memory=860712 CPUtime=3588.57 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 692156 0 0 0 358779 78 0 0 20 0 3 0 5097488 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 238774 215178 3334 3035 0 224540 0
[pid=32442/tid=32452] ppid=32439 vsize=955096 memory=5412 CPUtime=3536.81 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 619394 0 0 0 353622 59 0 0 20 0 3 0 5102667 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=955096 memory=16076 CPUtime=0.06 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 472 0 0 0 2 4 0 0 20 0 3 0 5102682 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 3588.57 s
Current children cumulated vsize: 955096 KiB
Current children cumulated memory: 860712 KiB
[startup+3598 s]*
/proc/loadavg: 4.47 4.30 4.18 5/248 34484
/proc/meminfo: memFree=114597276/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=955096 memory=860712 CPUtime=3588.98 cores=4,6
/proc/32442/stat : 32442 (fscip) S 32439 32442 28645 0 -1 1077936128 692180 0 0 0 358820 78 0 0 20 0 3 0 5097488 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 238774 215178 3334 3035 0 224540 0
[pid=32442/tid=32452] ppid=32439 vsize=955096 memory=7686721470247706567 CPUtime=3537.22 cores=4,6
/proc/32442/task/32452/stat : 32452 (fscip) R 32439 32442 28645 0 -1 4194368 619411 0 0 0 353663 59 0 0 20 0 3 0 5102667 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
[pid=32442/tid=32453] ppid=32439 vsize=955096 memory=-4050210904893474194 CPUtime=0.06 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 472 0 0 0 2 4 0 0 20 0 3 0 5102682 978018304 215178 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 3588.98 s
Current children cumulated vsize: 955096 KiB
Current children cumulated memory: 860712 KiB
[startup+3598.2 s]
/proc/loadavg: 4.47 4.30 4.18 5/248 34484
/proc/meminfo: memFree=114597276/131655788 swapFree=131071996/131071996
[pid=32442] ppid=32439 vsize=896844 memory=787032 CPUtime=3589.17 cores=4,6
/proc/32442/stat : 32442 (fscip) R 32439 32442 28645 0 -1 4194304 695232 0 0 0 358839 78 0 0 20 0 2 0 5097488 918368256 196758 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
/proc/32442/statm: 224211 196758 3334 3035 0 209977 0
[pid=32442/tid=32453] ppid=32439 vsize=896844 memory=4852 CPUtime=0.06 cores=4,6
/proc/32442/task/32453/stat : 32453 (fscip) S 32439 32442 28645 0 -1 1077936192 472 0 0 0 2 4 0 0 20 0 2 0 5102682 918368256 196758 134679101440 4194304 16623229 140737434642144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53641216 140737434645526 140737434645642 140737434645642 140737434652656 0
Current children cumulated CPU time: 3589.17 s
Current children cumulated vsize: 896844 KiB
Current children cumulated memory: 787032 KiB
Child status: 0
Real time (s): 3598.26
CPU time (s): 3589.23
CPU user time (s): 3588.43
CPU system time (s): 0.80321
CPU usage (%): 99.7492
Max. virtual memory (cumulated for all children) (KiB): 955096
Max. memory (cumulated for all children) (KiB): 860712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.43
system time used= 0.80321
maximum resident set size= 860712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 696886
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= 4021
involuntary context switches= 1821
# summary of solver processes directly reported to runsolver:
# pid: 32442
# total CPU time (s): 3589.23
# total CPU user time (s): 3588.43
# total CPU system time (s): 0.80321
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6639 second user time and 34.8199 second system time
The end
Begin job on nodeC009 at 2024-07-31 02:16:39
IDJOB=4464488
IDBENCH=158283
IDSOLVER=3092
FILE ID=nodeC009/4464488-1722384999
RUNJOBID= nodeC009-1722378594-28656
SLURM_JOB_ID= 8249839
Free space on /tmp= 723660 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K157.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464488-1722384999/watcher-4464488-1722384999 -o /tmp/evaluation-result-4464488-1722384999/solver-4464488-1722384999 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28656 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464488-1722384999.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1aa29222329f307e3e004dcb472df849
RANDOM SEED=1367756045
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3615.778
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3563.442
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.395
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.427
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2840.295
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3575.564
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.265
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.426
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 105444072 kB
MemAvailable: 117399824 kB
Buffers: 99996 kB
Cached: 12656076 kB
SwapCached: 0 kB
Active: 299376 kB
Inactive: 25378016 kB
Active(anon): 1496 kB
Inactive(anon): 12941140 kB
Active(file): 297880 kB
Inactive(file): 12436876 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29600 kB
Writeback: 0 kB
AnonPages: 12920140 kB
Mapped: 125908 kB
Shmem: 21320 kB
KReclaimable: 122388 kB
Slab: 204524 kB
SReclaimable: 122388 kB
SUnreclaim: 82136 kB
KernelStack: 3984 kB
PageTables: 35476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 6844184 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7008 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4694016 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 269128 kB
DirectMap2M: 13266944 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC009 at 2024-07-31 03:16:37