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.20/0.22 c Default LC presolving (default).
0.20/0.22 c ** Before presolving: virtualMemUsedAtLc = 144759636, getVmSize() = 124289024, SCIPgetMemUsed() = 71361684, SCIPgetMemTotal() = 100328740, SCIPgetMemExternEstim() = 44430896
0.20/0.22 c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.68/1.79 c ** Estimated virtualMemUsedAtSolver = 194690321, getVmSize() = 291115008, SCIPgetMemUsed() = 136319586, SCIPgetMemTotal() = 247604586, SCIPgetMemExternEstim() = 44430896
1.68/1.79 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.68/1.79 c Original Problem :
1.68/1.79 c Problem name : instance-4464664-1722386842
1.68/1.79 c Variables : 5700 (5700 binary, 0 integer, 0 implicit integer, 0 continuous)
1.68/1.79 c Constraints : 27830
1.68/1.79 c Objective sense : minimize
1.68/1.79 c Presolved Problem :
1.68/1.79 c Variables : 5694 (5694 binary, 0 integer, 0 implicit integer, 0 continuous)
1.68/1.79 c Constraints : 27105
1.68/1.79 c Constraints : Number
1.68/1.79 c knapsack : 1
1.68/1.79 c setppc : 11169
1.68/1.79 c linear : 1
1.68/1.79 c logicor : 15934
1.68/1.79 c ** Instance transfer method used: 0
1.78/1.86 c ** ParaScipInstance copy does not increase the number of variables. **
1.89/1.92 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.89/1.92 c Nodes Active
1.89/1.92 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
301.18/302.42 c 302 2 1 1 - 0.0000 -
306.75/308.04 c 308 3 2 1 - 0.0000 -
315.21/316.55 c 317 5 4 1 - 0.0000 -
320.69/322.08 c 322 8 7 1 - 0.0000 -
376.46/378.09 c 378 9 8 1 - 0.0000 -
409.72/411.47 c 411 10 9 1 - 0.0000 -
489.38/491.48 c 491 12 11 1 - 0.0000 -
548.76/551.01 c 551 13 12 1 - 0.0000 -
578.32/580.72 c 581 14 13 1 - 0.0000 -
968.48/972.56 c 973 15 14 1 - 0.0000 -
998.24/1002.43 c 1002 16 15 1 - 0.0000 -
1043.07/1047.41 c 1047 17 16 1 - 0.0000 -
1215.21/1220.33 c 1220 18 17 1 - 0.0000 -
1232.73/1237.93 c 1238 19 18 1 - 0.0000 -
1250.06/1255.31 c 1255 20 19 1 - 0.0000 -
1259.12/1264.45 c 1264 21 20 1 - 0.0000 -
1270.96/1276.38 c 1276 22 21 1 - 0.0000 -
1277.23/1282.67 c 1283 24 23 1 - 0.0000 -
1302.63/1308.12 c 1308 25 24 1 - 0.0000 -
1329.32/1334.99 c 1335 26 25 1 - 0.0000 -
1362.59/1368.30 c 1368 28 25 1 - 0.0000 -
1971.45/1979.37 c 1979 30 25 1 - 0.0000 -
2008.32/2016.34 c 2016 32 25 1 - 0.0000 -
2039.02/2047.13 c 2047 33 24 1 - 0.0000 -
2046.69/2054.89 c 2055 34 25 1 - 0.0000 -
2075.50/2083.73 c 2084 35 24 1 - 0.0000 -
2111.67/2120.05 c 2120 36 25 1 - 0.0000 -
2132.10/2140.51 c 2141 37 24 1 - 0.0000 -
2194.38/2203.06 c 2203 38 25 1 - 0.0000 -
2277.29/2286.29 c 2286 39 24 1 - 0.0000 -
2292.94/2301.91 c 2302 41 26 1 - 0.0000 -
2396.57/2405.90 c 2406 42 27 1 - 0.0000 -
2437.14/2446.68 c 2447 44 29 1 - 0.0000 -
2512.75/2522.58 c 2523 45 30 1 - 0.0000 -
2538.66/2548.50 c 2549 46 31 1 - 0.0000 -
2552.30/2562.23 c 2562 47 32 1 - 0.0000 -
2565.52/2575.55 c 2576 49 34 1 - 0.0000 -
2609.72/2619.99 c 2620 50 35 1 - 0.0000 -
2677.79/2688.39 c 2688 52 37 1 - 0.0000 -
2689.12/2699.74 c 2700 53 38 1 - 0.0000 -
2706.85/2717.59 c 2718 54 39 1 - 0.0000 -
2714.34/2725.02 c 2725 56 41 1 - 0.0000 -
2726.11/2736.83 c 2737 57 40 1 - 0.0000 -
2757.64/2768.41 c 2768 59 42 1 - 0.0000 -
2765.03/2775.89 c 2776 61 44 1 - 0.0000 -
2814.12/2825.00 c 2825 62 45 1 - 0.0000 -
2877.87/2888.94 c 2889 64 47 1 - 0.0000 -
2883.66/2894.73 c 2895 66 47 1 - 0.0000 -
2891.74/2902.80 c 2903 67 46 1 - 0.0000 -
2922.67/2933.88 c 2934 69 48 1 - 0.0000 -
2928.26/2939.44 c 2939 71 50 1 - 0.0000 -
2934.45/2945.63 c 2946 74 49 1 - 0.0000 -
2953.81/2965.00 c 2965 76 51 1 - 0.0000 -
2959.80/2971.09 c 2971 79 50 1 - 0.0000 -
2967.28/2978.55 c 2979 80 51 1 - 0.0000 -
2976.56/2987.85 c 2988 85 52 1 - 0.0000 -
2996.12/3007.48 c 3007 86 53 1 - 0.0000 -
3002.41/3013.77 c 3014 89 52 1 - 0.0000 -
3021.06/3032.47 c 3032 91 54 1 - 0.0000 -
3027.25/3038.66 c 3039 94 53 1 - 0.0000 -
3047.71/3059.11 c 3059 98 53 1 - 0.0000 -
3055.39/3066.88 c 3067 101 54 1 - 0.0000 -
3083.82/3095.33 c 3095 102 55 1 - 0.0000 -
3098.99/3110.59 c 3111 104 57 1 - 0.0000 -
3104.78/3116.32 c 3116 106 57 1 - 0.0000 -
3114.96/3126.59 c 3127 108 57 1 - 0.0000 -
3138.61/3150.25 c 3150 111 58 1 - 0.0000 -
3148.59/3160.20 c 3160 113 58 1 - 0.0000 -
3154.97/3166.65 c 3167 116 57 1 - 0.0000 -
3161.36/3173.10 c 3173 118 57 1 - 0.0000 -
3168.24/3179.96 c 3180 122 57 1 - 0.0000 -
3174.23/3185.94 c 3186 126 57 1 - 0.0000 -
3183.21/3194.97 c 3195 129 56 1 - 0.0000 -
3208.26/3220.10 c 3220 132 57 1 - 0.0000 -
3217.74/3229.59 c 3230 134 59 1 - 0.0000 -
3224.42/3236.29 c 3236 135 58 1 - 0.0000 -
3230.31/3242.16 c 3242 139 58 1 - 0.0000 -
3252.46/3264.32 c 3264 141 60 1 - 0.0000 -
3265.23/3277.14 c 3277 144 61 1 - 0.0000 -
3271.12/3283.08 c 3283 148 61 1 - 0.0000 -
3298.07/3310.06 c 3310 150 61 1 - 0.0000 -
3336.48/3348.54 c 3349 152 63 1 - 0.0000 -
3358.23/3370.37 c 3370 153 64 1 - 0.0000 -
3365.82/3377.91 c 3378 154 65 1 - 0.0000 -
3382.68/3394.84 c 3395 155 66 1 - 0.0000 -
3393.16/3405.36 c 3405 157 68 1 - 0.0000 -
3436.47/3448.71 c 3449 158 69 1 - 0.0000 -
3445.15/3457.42 c 3457 159 70 1 - 0.0000 -
3457.82/3470.16 c 3470 160 69 1 - 0.0000 -
3496.43/3508.89 c 3509 161 70 1 - 0.0000 -
3522.88/3535.36 c 3535 162 71 1 - 0.0000 -
3585.44/3598.00 c 3598 162 71 0 - 0.0000 -
3585.54/3598.12 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.54/3598.12 c Total Time : 3598.1200
3585.54/3598.12 c solving : 3598.1200
3585.54/3598.12 c presolving : 1.5708 (included in solving)
3585.54/3598.12 c B&B Tree :
3585.54/3598.12 c nodes (total) : 1
3585.54/3598.12 c Solution :
3585.54/3598.12 c Solutions found : 0
3585.54/3598.12 c Primal Bound : -
3585.54/3598.12 c Dual Bound : +0.00000000000000e+00
3585.54/3598.12 c Gap : -
3585.54/3598.17 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: 63968 MiB (59662 MiB free)
memory of node 1: 64473 MiB (61917 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464664-1722386842/watcher-4464664-1722386842 -o /tmp/evaluation-result-4464664-1722386842/solver-4464664-1722386842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35200 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464664-1722386842.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
solver pid=40231, runsolver pid=40228
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.10 4.12 4.09 5/255 40232
/proc/meminfo: memFree=124472748/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=45332 memory=33552 CPUtime=0.09 cores=4,6
/proc/40231/stat : 40231 (fscip) R 40228 40231 35189 0 -1 4194304 6310 0 0 0 9 0 0 0 20 0 1 0 5286105 46419968 8388 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 11333 8388 2347 3035 0 7729 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45332 KiB
Current children cumulated memory: 33552 KiB
[startup+0.205633 s]*
/proc/loadavg: 4.10 4.12 4.09 5/255 40232
/proc/meminfo: memFree=124406732/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=116560 memory=105596 CPUtime=0.2 cores=4,6
/proc/40231/stat : 40231 (fscip) R 40228 40231 35189 0 -1 4194304 25364 0 0 0 18 2 0 0 20 0 1 0 5286105 119357440 26333 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 29140 26333 2539 3035 0 25536 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 116560 KiB
Current children cumulated memory: 105596 KiB
[startup+0.305718 s]*
/proc/loadavg: 4.10 4.12 4.09 6/255 40232
/proc/meminfo: memFree=124389704/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=137600 memory=117556 CPUtime=0.3 cores=4,6
/proc/40231/stat : 40231 (fscip) R 40228 40231 35189 0 -1 4194304 27869 0 0 0 27 3 0 0 20 0 1 0 5286105 140902400 29389 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 34400 29389 2598 3035 0 30796 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 137600 KiB
Current children cumulated memory: 117556 KiB
[startup+0.700242 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 40232
/proc/meminfo: memFree=124332356/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=184064 memory=172320 CPUtime=0.69 cores=4,6
/proc/40231/stat : 40231 (fscip) R 40228 40231 35189 0 -1 4194304 43023 0 0 0 62 7 0 0 20 0 1 0 5286105 188481536 43080 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 46016 43080 2694 3035 0 42412 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 184064 KiB
Current children cumulated memory: 172320 KiB
[startup+1.50025 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 40232
/proc/meminfo: memFree=124329664/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=205896 memory=191012 CPUtime=1.48 cores=4,6
/proc/40231/stat : 40231 (fscip) R 40228 40231 35189 0 -1 4194304 46177 0 0 0 141 7 0 0 20 0 1 0 5286105 210837504 47753 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 51474 47753 2758 3035 0 47870 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 205896 KiB
Current children cumulated memory: 191012 KiB
[startup+3.10551 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 40234
/proc/meminfo: memFree=124059488/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=511208 memory=446824 CPUtime=3.08 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 98788 0 0 0 293 15 0 0 20 0 3 0 5286105 523476992 111706 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 127802 111706 2790 3035 0 118613 0
[pid=40231/tid=40233] ppid=40228 vsize=511208 memory=0 CPUtime=1.22 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 33682 0 0 0 118 4 0 0 20 0 3 0 5286285 523476992 111706 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=511208 memory=446652 CPUtime=0 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5286298 523476992 111706 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 511208 KiB
Current children cumulated memory: 446824 KiB
[startup+6.30027 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 40235
/proc/meminfo: memFree=123968176/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=642280 memory=537696 CPUtime=6.26 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 138383 0 0 0 607 19 0 0 20 0 3 0 5286105 657694720 134424 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 160570 134424 2934 3035 0 141858 0
[pid=40231/tid=40233] ppid=40228 vsize=642280 memory=446388 CPUtime=4.41 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 73273 0 0 0 432 9 0 0 20 0 3 0 5286285 657694720 134424 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=642280 memory=537676 CPUtime=0 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5286298 657694720 134424 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 642280 KiB
Current children cumulated memory: 537696 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 40236
/proc/meminfo: memFree=123955928/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=642280 memory=553768 CPUtime=12.64 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 154940 0 0 0 1243 21 0 0 20 0 3 0 5286105 657694720 138442 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 160570 138442 2934 3035 0 146050 0
[pid=40231/tid=40233] ppid=40228 vsize=642280 memory=537676 CPUtime=10.78 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 89816 0 0 0 1068 10 0 0 20 0 3 0 5286285 657694720 138442 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=642280 memory=-5155626907910040197 CPUtime=0 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 5286298 657694720 138442 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 642280 KiB
Current children cumulated memory: 553768 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 40238
/proc/meminfo: memFree=123930180/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=642280 memory=562524 CPUtime=25.38 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 173509 0 0 0 2516 22 0 0 20 0 3 0 5286105 657694720 140631 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 160570 140631 2934 3035 0 148793 0
[pid=40231/tid=40233] ppid=40228 vsize=642280 memory=955 CPUtime=23.52 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 108371 0 0 0 2341 11 0 0 20 0 3 0 5286285 657694720 140631 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=642280 memory=561936 CPUtime=0 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 5286298 657694720 140631 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 642280 KiB
Current children cumulated memory: 562524 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 40243
/proc/meminfo: memFree=123885028/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=653124 memory=593444 CPUtime=50.9 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 229614 0 0 0 5063 27 0 0 20 0 3 0 5286105 668798976 148361 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 163281 148361 2950 3035 0 156187 0
[pid=40231/tid=40233] ppid=40228 vsize=653124 memory=593436 CPUtime=49.04 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 164461 0 0 0 4888 16 0 0 20 0 3 0 5286285 668798976 148361 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=653124 memory=593444 CPUtime=0 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 5286298 668798976 148361 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 653124 KiB
Current children cumulated memory: 593444 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/257 40251
/proc/meminfo: memFree=123838940/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=726320 memory=603164 CPUtime=101.89 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 287798 0 0 0 10160 29 0 0 20 0 3 0 5286105 743751680 150791 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 181580 150791 2950 3035 0 160243 0
[pid=40231/tid=40233] ppid=40228 vsize=726320 memory=11596 CPUtime=100.04 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 222631 0 0 0 9985 19 0 0 20 0 3 0 5286285 743751680 150791 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=726320 memory=601772 CPUtime=0 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 5286298 743751680 150791 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 726320 KiB
Current children cumulated memory: 603164 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/257 40261
/proc/meminfo: memFree=123792020/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=726320 memory=613888 CPUtime=161.67 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 332618 0 0 0 16134 33 0 0 20 0 3 0 5286105 743751680 153472 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 181580 153472 2950 3035 0 165912 0
[pid=40231/tid=40233] ppid=40228 vsize=726320 memory=605976 CPUtime=159.81 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 267438 0 0 0 15959 22 0 0 20 0 3 0 5286285 743751680 153472 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=726320 memory=5600 CPUtime=0 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 79 0 0 0 0 0 0 0 20 0 3 0 5286298 743751680 153472 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 726320 KiB
Current children cumulated memory: 613888 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 40276
/proc/meminfo: memFree=123751440/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=726320 memory=618988 CPUtime=221.42 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 357353 0 0 0 22107 35 0 0 20 0 3 0 5286105 743751680 154747 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 181580 154747 2966 3035 0 167498 0
[pid=40231/tid=40233] ppid=40228 vsize=726320 memory=617600 CPUtime=219.56 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 292166 0 0 0 21932 24 0 0 20 0 3 0 5286285 743751680 154747 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=726320 memory=618988 CPUtime=0 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 86 0 0 0 0 0 0 0 20 0 3 0 5286298 743751680 154747 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 726320 KiB
Current children cumulated memory: 618988 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/259 40287
/proc/meminfo: memFree=123715464/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=726320 memory=619000 CPUtime=281.17 cores=4,6
################
# More data... #
################
/proc/40231/statm: 214348 202620 3318 3035 0 206192 0
[pid=40231/tid=40233] ppid=40228 vsize=857392 memory=809748 CPUtime=3448.11 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 818557 0 0 0 344733 78 0 0 20 0 3 0 5286285 877969408 202620 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=857392 memory=809748 CPUtime=0.04 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 407 0 0 0 1 3 0 0 20 0 3 0 5286298 877969408 202620 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 3450.04 s
Current children cumulated vsize: 857392 KiB
Current children cumulated memory: 810480 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.26 2.23 2/234 42151
/proc/meminfo: memFree=128821984/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=857392 memory=810488 CPUtime=3509.9 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 889651 0 0 0 350896 94 0 0 20 0 3 0 5286105 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 214348 202622 3318 3035 0 206192 0
[pid=40231/tid=40233] ppid=40228 vsize=857392 memory=810480 CPUtime=3507.98 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 823102 0 0 0 350719 79 0 0 20 0 3 0 5286285 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=857392 memory=810480 CPUtime=0.04 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 414 0 0 0 1 3 0 0 20 0 3 0 5286298 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 3509.9 s
Current children cumulated vsize: 857392 KiB
Current children cumulated memory: 810488 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.22 2.15 2/234 42161
/proc/meminfo: memFree=128821632/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=857392 memory=810488 CPUtime=3569.77 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 890160 0 0 0 356882 95 0 0 20 0 3 0 5286105 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 214348 202622 3318 3035 0 206192 0
[pid=40231/tid=40233] ppid=40228 vsize=857392 memory=810488 CPUtime=3567.85 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 823581 0 0 0 356706 79 0 0 20 0 3 0 5286285 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=857392 memory=810488 CPUtime=0.04 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 422 0 0 0 1 3 0 0 20 0 3 0 5286298 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 3569.77 s
Current children cumulated vsize: 857392 KiB
Current children cumulated memory: 810488 KiB
[startup+3598.17 s]
# the end of solver process 40231 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.66 s, system=0.958783 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.08 1.22 2.15 2/234 42161
/proc/meminfo: memFree=128821624/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=857392 memory=810488 CPUtime=3571.47 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 890160 0 0 0 357052 95 0 0 20 0 3 0 5286105 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 214348 202622 3318 3035 0 206192 0
[pid=40231/tid=40233] ppid=40228 vsize=857392 memory=7686721470247706567 CPUtime=3569.55 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 823581 0 0 0 356876 79 0 0 20 0 3 0 5286285 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=857392 memory=7654830286275447406 CPUtime=0.04 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 422 0 0 0 1 3 0 0 20 0 3 0 5286298 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 3571.47 s
Current children cumulated vsize: 857392 KiB
Current children cumulated memory: 810488 KiB
[startup+3590.4 s]
/proc/loadavg: 1.15 1.24 2.15 2/234 42163
/proc/meminfo: memFree=128821640/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=857392 memory=810488 CPUtime=3577.86 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 890161 0 0 0 357691 95 0 0 20 0 3 0 5286105 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 214348 202622 3318 3035 0 206192 0
[pid=40231/tid=40233] ppid=40228 vsize=857392 memory=0 CPUtime=3575.93 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 823582 0 0 0 357514 79 0 0 20 0 3 0 5286285 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=857392 memory=810488 CPUtime=0.04 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 422 0 0 0 1 3 0 0 20 0 3 0 5286298 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 3577.86 s
Current children cumulated vsize: 857392 KiB
Current children cumulated memory: 810488 KiB
[startup+3593.6 s]
/proc/loadavg: 1.14 1.23 2.15 2/234 42163
/proc/meminfo: memFree=128821656/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=857392 memory=810488 CPUtime=3581.05 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 890161 0 0 0 358010 95 0 0 20 0 3 0 5286105 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 214348 202622 3318 3035 0 206192 0
[pid=40231/tid=40233] ppid=40228 vsize=857392 memory=810488 CPUtime=3579.12 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 823582 0 0 0 357833 79 0 0 20 0 3 0 5286285 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=857392 memory=12272 CPUtime=0.04 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 422 0 0 0 1 3 0 0 20 0 3 0 5286298 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 857392 KiB
Current children cumulated memory: 810488 KiB
[startup+3595.2 s]
/proc/loadavg: 1.14 1.23 2.15 2/234 42163
/proc/meminfo: memFree=128821648/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=857392 memory=810488 CPUtime=3582.65 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 890196 0 0 0 358170 95 0 0 20 0 3 0 5286105 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 214348 202622 3318 3035 0 206192 0
[pid=40231/tid=40233] ppid=40228 vsize=857392 memory=13120 CPUtime=3580.72 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 823617 0 0 0 357993 79 0 0 20 0 3 0 5286285 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=857392 memory=-7524506194502835838 CPUtime=0.04 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 422 0 0 0 1 3 0 0 20 0 3 0 5286298 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 3582.65 s
Current children cumulated vsize: 857392 KiB
Current children cumulated memory: 810488 KiB
[startup+3596.8 s]
/proc/loadavg: 1.13 1.23 2.14 2/234 42165
/proc/meminfo: memFree=128821584/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=857392 memory=810488 CPUtime=3584.24 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 890197 0 0 0 358329 95 0 0 20 0 3 0 5286105 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 214348 202622 3318 3035 0 206192 0
[pid=40231/tid=40233] ppid=40228 vsize=857392 memory=12272 CPUtime=3582.32 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 823618 0 0 0 358153 79 0 0 20 0 3 0 5286285 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=857392 memory=810488 CPUtime=0.04 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 422 0 0 0 1 3 0 0 20 0 3 0 5286298 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 3584.24 s
Current children cumulated vsize: 857392 KiB
Current children cumulated memory: 810488 KiB
[startup+3597.6 s]
/proc/loadavg: 1.13 1.23 2.14 2/234 42165
/proc/meminfo: memFree=128821608/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=857392 memory=810488 CPUtime=3585.04 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 890198 0 0 0 358409 95 0 0 20 0 3 0 5286105 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 214348 202622 3318 3035 0 206192 0
[pid=40231/tid=40233] ppid=40228 vsize=857392 memory=13120 CPUtime=3583.11 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 823619 0 0 0 358232 79 0 0 20 0 3 0 5286285 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=857392 memory=12272 CPUtime=0.04 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 422 0 0 0 1 3 0 0 20 0 3 0 5286298 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 3585.04 s
Current children cumulated vsize: 857392 KiB
Current children cumulated memory: 810488 KiB
[startup+3598 s]*
/proc/loadavg: 1.13 1.23 2.14 2/234 42165
/proc/meminfo: memFree=128821576/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=857392 memory=810488 CPUtime=3585.44 cores=4,6
/proc/40231/stat : 40231 (fscip) R 40228 40231 35189 0 -1 1077936128 890377 0 0 0 358449 95 0 0 20 0 3 0 5286105 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 214348 202622 3318 3035 0 206192 0
[pid=40231/tid=40233] ppid=40228 vsize=857392 memory=20760 CPUtime=3583.52 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 823804 0 0 0 358273 79 0 0 20 0 3 0 5286285 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=857392 memory=7654830286275447406 CPUtime=0.04 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 422 0 0 0 1 3 0 0 20 0 3 0 5286298 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 3585.44 s
Current children cumulated vsize: 857392 KiB
Current children cumulated memory: 810488 KiB
[startup+3598.11 s]
/proc/loadavg: 1.13 1.23 2.14 2/234 42165
/proc/meminfo: memFree=128821576/131524600 swapFree=131071996/131071996
[pid=40231] ppid=40228 vsize=857392 memory=810488 CPUtime=3585.54 cores=4,6
/proc/40231/stat : 40231 (fscip) S 40228 40231 35189 0 -1 1077936128 891574 0 0 0 358459 95 0 0 20 0 3 0 5286105 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
/proc/40231/statm: 214348 202622 3318 3035 0 206192 0
[pid=40231/tid=40233] ppid=40228 vsize=857392 memory=810488 CPUtime=3583.62 cores=4,6
/proc/40231/task/40233/stat : 40233 (fscip) R 40228 40231 35189 0 -1 4194368 824977 0 0 0 358283 79 0 0 20 0 3 0 5286285 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
[pid=40231/tid=40234] ppid=40228 vsize=857392 memory=11596 CPUtime=0.04 cores=4,6
/proc/40231/task/40234/stat : 40234 (fscip) S 40228 40231 35189 0 -1 1077936192 422 0 0 0 1 3 0 0 20 0 3 0 5286298 877969408 202622 134679101440 4194304 16623229 140732081919728 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45023232 140732081923098 140732081923214 140732081923214 140732081930224 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 857392 KiB
Current children cumulated memory: 810488 KiB
Child status: 0
Real time (s): 3598.17
CPU time (s): 3585.62
CPU user time (s): 3584.66
CPU system time (s): 0.958783
CPU usage (%): 99.6511
Max. virtual memory (cumulated for all children) (KiB): 857392
Max. memory (cumulated for all children) (KiB): 810488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.66
system time used= 0.958783
maximum resident set size= 810488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 895276
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= 3978
involuntary context switches= 1255
# summary of solver processes directly reported to runsolver:
# pid: 40231
# total CPU time (s): 3585.62
# total CPU user time (s): 3584.66
# total CPU system time (s): 0.958783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.63998 second user time and 17.1174 second system time
The end
Begin job on nodeC030 at 2024-07-31 02:47:22
IDJOB=4464664
IDBENCH=162644
IDSOLVER=3092
FILE ID=nodeC030/4464664-1722386842
RUNJOBID= nodeC030-1722378597-35200
SLURM_JOB_ID= 8249853
Free space on /tmp= 889968 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_11.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-4464664-1722386842/watcher-4464664-1722386842 -o /tmp/evaluation-result-4464664-1722386842/solver-4464664-1722386842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35200 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464664-1722386842.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ecb94e70b440a48855e99e990bb4ec90
RANDOM SEED=2000602468
nodeC030.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 : 0xb00002a
cpu MHz : 3669.261
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.60
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 : 0xb00002a
cpu MHz : 3691.212
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.48
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 : 0xb00002a
cpu MHz : 3603.169
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.60
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 : 0xb00002a
cpu MHz : 3601.144
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.48
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 : 0xb00002a
cpu MHz : 3673.677
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.60
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 : 0xb00002a
cpu MHz : 3691.251
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.48
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 : 0xb00002a
cpu MHz : 3662.481
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.60
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 : 0xb00002a
cpu MHz : 3600.715
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124497584 kB
MemAvailable: 124902752 kB
Buffers: 99336 kB
Cached: 1139656 kB
SwapCached: 0 kB
Active: 300248 kB
Inactive: 6234408 kB
Active(anon): 1552 kB
Inactive(anon): 5315444 kB
Active(file): 298696 kB
Inactive(file): 918964 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 32060 kB
Writeback: 4 kB
AnonPages: 5294244 kB
Mapped: 123988 kB
Shmem: 21328 kB
KReclaimable: 54660 kB
Slab: 137100 kB
SReclaimable: 54660 kB
SUnreclaim: 82440 kB
KernelStack: 4096 kB
PageTables: 19652 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5311864 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9408 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1277952 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: 221908 kB
DirectMap2M: 6891520 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC030 at 2024-07-31 03:47:20