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.41/0.48 c Default LC presolving (default).
0.41/0.48 c ** Before presolving: virtualMemUsedAtLc = 324897071, getVmSize() = 233091072, SCIPgetMemUsed() = 148243635, SCIPgetMemTotal() = 201994947, SCIPgetMemExternEstim() = 122902124
0.41/0.48 c ** set memory limit for presolving in LC to 8.796e+12 for SCIP **
3.48/3.55 c ** Estimated virtualMemUsedAtSolver = 570601330, getVmSize() = 775540736, SCIPgetMemUsed() = 347460095, SCIPgetMemTotal() = 732999871, SCIPgetMemExternEstim() = 122902124
3.48/3.55 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
3.48/3.55 c Original Problem :
3.48/3.55 c Problem name : instance-4464329-1722378753
3.48/3.55 c Variables : 1650 (1650 binary, 0 integer, 0 implicit integer, 0 continuous)
3.48/3.55 c Constraints : 113164
3.48/3.55 c Objective sense : minimize
3.48/3.55 c Presolved Problem :
3.48/3.55 c Variables : 1645 (1645 binary, 0 integer, 0 implicit integer, 0 continuous)
3.48/3.55 c Constraints : 112644
3.48/3.55 c Constraints : Number
3.48/3.55 c setppc : 548
3.48/3.55 c orbitope : 2
3.48/3.55 c logicor : 112094
3.48/3.55 c ** Instance transfer method used: 0
3.58/3.69 c ** ParaScipInstance copy increased the number of variables. **
3.99/4.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
3.99/4.01 c Nodes Active
3.99/4.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
242.42/243.20 c 243 2 1 1 - 0.0000 -
251.88/252.76 c 253 12 11 1 - 0.0000 -
257.18/258.07 c 258 20 19 1 - 0.0000 -
312.04/313.04 c 313 22 21 1 - 0.0000 -
361.48/362.64 c 363 24 23 1 - 0.0000 -
458.27/459.78 c 460 26 25 1 - 0.0000 -
554.38/556.17 c 556 28 27 1 - 0.0000 -
675.17/677.34 c 677 30 29 1 - 0.0000 -
697.30/699.57 c 700 32 31 1 - 0.0000 -
725.02/727.35 c 727 34 33 1 - 0.0000 -
761.39/763.80 c 764 36 35 1 - 0.0000 -
839.59/842.27 c 842 38 37 1 - 0.0000 -
847.37/850.07 c 850 40 39 1 - 0.0000 -
885.44/888.21 c 888 42 41 1 - 0.0000 -
894.51/897.38 c 897 43 42 1 - 0.0000 -
941.66/944.61 c 945 46 45 1 - 0.0000 -
978.15/981.23 c 981 48 47 1 - 0.0000 -
987.11/990.24 c 990 50 49 1 - 0.0000 -
996.38/999.54 c 1000 52 51 1 - 0.0000 -
1043.26/1046.51 c 1047 54 53 1 - 0.0000 -
1052.44/1055.77 c 1056 56 55 1 - 0.0000 -
1098.23/1101.62 c 1102 58 57 1 - 0.0000 -
1108.00/1111.41 c 1111 60 59 1 - 0.0000 -
1117.59/1121.02 c 1121 66 65 1 - 0.0000 -
1125.67/1129.17 c 1129 68 67 1 - 0.0000 -
1196.98/1200.61 c 1201 72 71 1 - 0.0000 -
1202.48/1206.17 c 1206 76 75 1 - 0.0000 -
1209.15/1212.87 c 1213 78 77 1 - 0.0000 -
1234.89/1238.64 c 1239 79 78 1 - 0.0000 -
1243.16/1246.98 c 1247 83 82 1 - 0.0000 -
1310.19/1314.19 c 1314 85 84 1 - 0.0000 -
1319.75/1323.78 c 1324 89 88 1 - 0.0000 -
1329.73/1333.70 c 1334 92 91 1 - 0.0000 -
1338.21/1342.23 c 1342 94 93 1 - 0.0000 -
1344.00/1348.05 c 1348 98 97 1 - 0.0000 -
1384.29/1388.49 c 1388 100 99 1 - 0.0000 -
1395.98/1400.14 c 1400 103 102 1 - 0.0000 -
1403.25/1407.42 c 1407 106 105 1 - 0.0000 -
1415.62/1419.80 c 1420 112 111 1 - 0.0000 -
1425.59/1429.89 c 1430 115 114 1 - 0.0000 -
1433.57/1437.82 c 1438 117 116 1 - 0.0000 -
1438.65/1442.93 c 1443 121 120 1 - 0.0000 -
1445.04/1449.40 c 1449 123 122 1 - 0.0000 -
1454.32/1458.69 c 1459 126 125 1 - 0.0000 -
1460.61/1464.94 c 1465 128 127 1 - 0.0000 -
1495.81/1500.20 c 1500 130 129 1 - 0.0000 -
1504.69/1509.19 c 1509 140 139 1 - 0.0000 -
1539.00/1543.52 c 1544 143 142 1 - 0.0000 -
1545.59/1550.13 c 1550 145 144 1 - 0.0000 -
1575.71/1580.34 c 1580 147 146 1 - 0.0000 -
1582.69/1587.36 c 1587 150 149 1 - 0.0000 -
1619.42/1624.11 c 1624 153 152 1 - 0.0000 -
1626.19/1630.98 c 1631 155 154 1 - 0.0000 -
3270.10/3279.43 c 3279 158 157 1 - 0.0000 -
3277.28/3286.68 c 3287 167 166 1 - 0.0000 -
3282.78/3292.11 c 3292 169 168 1 - 0.0000 -
3312.39/3321.89 c 3322 172 171 1 - 0.0000 -
3321.37/3330.81 c 3331 176 175 1 - 0.0000 -
3339.13/3348.61 c 3349 178 177 1 - 0.0000 -
3347.92/3357.43 c 3357 182 181 1 - 0.0000 -
3371.66/3381.24 c 3381 186 185 1 - 0.0000 -
3377.35/3386.96 c 3387 190 189 1 - 0.0000 -
3429.43/3439.18 c 3439 194 193 1 - 0.0000 -
3435.59/3445.39 c 3445 197 196 1 - 0.0000 -
3440.68/3450.42 c 3450 198 197 1 - 0.0000 -
3445.66/3455.50 c 3456 202 201 1 - 0.0000 -
3452.04/3461.89 c 3462 204 203 1 - 0.0000 -
3461.00/3470.81 c 3471 208 207 1 - 0.0000 -
3467.19/3477.03 c 3477 209 208 1 - 0.0000 -
3474.16/3484.08 c 3484 211 210 1 - 0.0000 -
3479.63/3489.52 c 3490 214 213 1 - 0.0000 -
3488.12/3498.10 c 3498 218 217 1 - 0.0000 -
3495.98/3505.91 c 3506 221 220 1 - 0.0000 -
3505.35/3515.33 c 3515 227 226 1 - 0.0000 -
3543.64/3553.70 c 3554 232 231 1 - 0.0000 -
3549.93/3560.09 c 3560 235 234 1 - 0.0000 -
3555.70/3565.87 c 3566 238 237 1 - 0.0000 -
3587.71/3598.01 c 3598 239 238 0 - 0.0000 -
3588.11/3598.32 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.11/3598.32 c Total Time : 3598.3200
3588.11/3598.32 c solving : 3598.3200
3588.11/3598.32 c presolving : 3.0710 (included in solving)
3588.11/3598.32 c B&B Tree :
3588.11/3598.32 c nodes (total) : 1
3588.11/3598.32 c Solution :
3588.11/3598.32 c Solutions found : 0
3588.11/3598.32 c Primal Bound : -
3588.11/3598.32 c Dual Bound : +0.00000000000000e+00
3588.11/3598.32 c Gap : -
3588.31/3598.54 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 (61370 MiB free)
memory of node 1: 64473 MiB (62540 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464329-1722378753/watcher-4464329-1722378753 -o /tmp/evaluation-result-4464329-1722378753/solver-4464329-1722378753 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28501 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464329-1722378753.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=28941, runsolver pid=28938
[startup+0.100196 s]*
/proc/loadavg: 3.84 1.76 0.72 5/253 28942
/proc/meminfo: memFree=126869596/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=37312 memory=25924 CPUtime=0.09 cores=5,7
/proc/28941/stat : 28941 (fscip) R 28938 28941 28487 0 -1 4194304 4346 0 0 0 9 0 0 0 20 0 1 0 4472340 38207488 6481 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 9328 6481 2347 3035 0 5724 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37312 KiB
Current children cumulated memory: 25924 KiB
[startup+0.213634 s]*
/proc/loadavg: 3.84 1.76 0.72 5/253 28942
/proc/meminfo: memFree=126841036/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=67916 memory=55672 CPUtime=0.21 cores=5,7
/proc/28941/stat : 28941 (fscip) R 28938 28941 28487 0 -1 4194304 11786 0 0 0 19 2 0 0 20 0 1 0 4472340 69545984 13918 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 16979 13918 2347 3035 0 13375 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 67916 KiB
Current children cumulated memory: 55672 KiB
[startup+0.312968 s]*
/proc/loadavg: 3.84 1.76 0.72 5/253 28942
/proc/meminfo: memFree=126806064/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=108480 memory=97788 CPUtime=0.31 cores=5,7
/proc/28941/stat : 28941 (fscip) R 28938 28941 28487 0 -1 4194304 22529 0 0 0 28 3 0 0 20 0 1 0 4472340 111083520 24447 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 27120 24447 2539 3035 0 23516 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 108480 KiB
Current children cumulated memory: 97788 KiB
[startup+0.700328 s]
/proc/loadavg: 3.84 1.76 0.72 5/253 28942
/proc/meminfo: memFree=126677496/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=275844 memory=251936 CPUtime=0.69 cores=5,7
/proc/28941/stat : 28941 (fscip) R 28938 28941 28487 0 -1 4194304 59035 0 0 0 60 9 0 0 20 0 1 0 4472340 282464256 62984 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 68961 62984 2614 3035 0 65357 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 275844 KiB
Current children cumulated memory: 251936 KiB
[startup+1.50033 s]
/proc/loadavg: 3.85 1.79 0.74 5/253 28942
/proc/meminfo: memFree=126646424/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=284560 memory=270048 CPUtime=1.48 cores=5,7
/proc/28941/stat : 28941 (fscip) R 28938 28941 28487 0 -1 4194304 84568 0 0 0 134 14 0 0 20 0 1 0 4472340 291389440 67512 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 71140 67512 2694 3035 0 67536 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 284560 KiB
Current children cumulated memory: 270048 KiB
[startup+3.11283 s]
/proc/loadavg: 3.85 1.79 0.74 5/253 28942
/proc/meminfo: memFree=126214340/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=729588 memory=677108 CPUtime=3.09 cores=5,7
/proc/28941/stat : 28941 (fscip) R 28938 28941 28487 0 -1 4194304 119012 0 0 0 284 25 0 0 20 0 1 0 4472340 747098112 169277 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 182397 169277 2758 3035 0 178793 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 729588 KiB
Current children cumulated memory: 677108 KiB
[startup+6.30036 s]
/proc/loadavg: 3.86 1.83 0.76 5/255 28944
/proc/meminfo: memFree=125683664/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1307784 memory=1205528 CPUtime=6.27 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 256512 0 0 0 579 48 0 0 20 0 3 0 4472340 1339170816 301382 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 326946 301382 2950 3035 0 321428 0
[pid=28941/tid=28943] ppid=28938 vsize=1307784 memory=5787776892980449360 CPUtime=2.58 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 116575 0 0 0 239 19 0 0 20 0 3 0 4472696 1339170816 301382 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1307784 memory=-5155626903497108613 CPUtime=0 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4472742 1339170816 301382 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1307784 KiB
Current children cumulated memory: 1205528 KiB
[startup+12.7004 s]
/proc/loadavg: 3.87 1.87 0.78 5/255 28945
/proc/meminfo: memFree=125635272/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1307784 memory=1205820 CPUtime=12.65 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 294030 0 0 0 1215 50 0 0 20 0 3 0 4472340 1339170816 301455 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 326946 301455 2950 3035 0 321589 0
[pid=28941/tid=28943] ppid=28938 vsize=1307784 memory=-5155626903497108613 CPUtime=8.97 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 154087 0 0 0 875 22 0 0 20 0 3 0 4472696 1339170816 301455 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1307784 memory=1205568 CPUtime=0 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4472742 1339170816 301455 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1307784 KiB
Current children cumulated memory: 1205820 KiB
[startup+25.5004 s]
/proc/loadavg: 3.97 1.95 0.82 6/255 28947
/proc/meminfo: memFree=125625132/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1307784 memory=1205880 CPUtime=25.42 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 320048 0 0 0 2490 52 0 0 20 0 3 0 4472340 1339170816 301470 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 326946 301470 2950 3035 0 321589 0
[pid=28941/tid=28943] ppid=28938 vsize=1307784 memory=-5155626903497108613 CPUtime=21.73 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 180093 0 0 0 2150 23 0 0 20 0 3 0 4472696 1339170816 301470 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1307784 memory=12860 CPUtime=0 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4472742 1339170816 301470 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1307784 KiB
Current children cumulated memory: 1205880 KiB
[startup+51.1131 s]
/proc/loadavg: 3.98 2.15 0.92 5/255 28952
/proc/meminfo: memFree=125473928/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1504392 memory=1336480 CPUtime=50.95 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 423008 0 0 0 5034 61 0 0 20 0 3 0 4472340 1540497408 334120 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 376098 334120 2966 3035 0 363088 0
[pid=28941/tid=28943] ppid=28938 vsize=1504392 memory=5528 CPUtime=47.26 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 283042 0 0 0 4694 32 0 0 20 0 3 0 4472696 1540497408 334120 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1504392 memory=1300884 CPUtime=0 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4472742 1540497408 334120 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1504392 KiB
Current children cumulated memory: 1336480 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 2.45 1.09 5/254 28960
/proc/meminfo: memFree=125335388/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1701000 memory=1437620 CPUtime=101.97 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 509523 0 0 0 10129 68 0 0 20 0 3 0 4472340 1741824000 359405 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 425250 359405 2966 3035 0 409664 0
[pid=28941/tid=28943] ppid=28938 vsize=1701000 memory=1437620 CPUtime=98.28 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 369547 0 0 0 9789 39 0 0 20 0 3 0 4472696 1741824000 359405 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1701000 memory=11440 CPUtime=0 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4472742 1741824000 359405 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1701000 KiB
Current children cumulated memory: 1437620 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 2.80 1.30 5/252 28971
/proc/meminfo: memFree=125275880/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1701000 memory=1454068 CPUtime=161.77 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 517489 0 0 0 16108 69 0 0 20 0 3 0 4472340 1741824000 363517 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 425250 363517 2982 3035 0 413983 0
[pid=28941/tid=28943] ppid=28938 vsize=1701000 memory=1434808 CPUtime=158.09 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 377500 0 0 0 15768 41 0 0 20 0 3 0 4472696 1741824000 363517 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1701000 memory=12672 CPUtime=0 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 4472742 1741824000 363517 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1701000 KiB
Current children cumulated memory: 1454068 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.04 1.47 5/249 28982
/proc/meminfo: memFree=125156444/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1766536 memory=1534128 CPUtime=221.59 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 574437 0 0 0 22083 76 0 0 20 0 3 0 4472340 1808932864 383532 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 441634 383532 2982 3035 0 432774 0
[pid=28941/tid=28943] ppid=28938 vsize=1766536 memory=12672 CPUtime=217.9 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 434441 0 0 0 21743 47 0 0 20 0 3 0 4472696 1808932864 383532 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1766536 memory=1454068 CPUtime=0 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 4472742 1808932864 383532 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1766536 KiB
Current children cumulated memory: 1534128 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 3.24 1.64 5/249 28992
/proc/meminfo: memFree=124986156/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1766536 memory=1534484 CPUtime=281.4 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 635305 0 0 0 28061 79 0 0 20 0 3 0 4472340 1808932864 383621 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 441634 383621 2982 3035 0 432774 0
[pid=28941/tid=28943] ppid=28938 vsize=1766536 memory=1454068 CPUtime=277.72 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 495276 0 0 0 27722 50 0 0 20 0 3 0 4472696 1808932864 383621 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
################
# More data... #
################
[startup+3462.3 s]
/proc/loadavg: 4.23 4.18 4.10 5/250 30940
/proc/meminfo: memFree=125278608/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1961452 memory=1782180 CPUtime=3452.53 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 1663532 0 0 0 345095 158 0 0 20 0 3 0 4472340 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 490363 445545 3014 3035 0 481248 0
[pid=28941/tid=28943] ppid=28938 vsize=1961452 memory=1782180 CPUtime=3448.78 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 1522677 0 0 0 344754 124 0 0 20 0 3 0 4472696 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1961452 memory=12860 CPUtime=0.05 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 410 0 0 0 2 3 0 0 20 0 3 0 4472742 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 1961452 KiB
Current children cumulated memory: 1782180 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.10 5/253 31012
/proc/meminfo: memFree=123891944/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1961452 memory=1782180 CPUtime=3512.33 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 1664813 0 0 0 351075 158 0 0 20 0 3 0 4472340 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 490363 445545 3014 3035 0 481248 0
[pid=28941/tid=28943] ppid=28938 vsize=1961452 memory=1782180 CPUtime=3508.58 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 1523935 0 0 0 350734 124 0 0 20 0 3 0 4472696 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1961452 memory=1782180 CPUtime=0.05 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 416 0 0 0 2 3 0 0 20 0 3 0 4472742 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 1961452 KiB
Current children cumulated memory: 1782180 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/253 31023
/proc/meminfo: memFree=123864984/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1961452 memory=1782180 CPUtime=3572.15 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 1667251 0 0 0 357056 159 0 0 20 0 3 0 4472340 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 490363 445545 3014 3035 0 481248 0
[pid=28941/tid=28943] ppid=28938 vsize=1961452 memory=1782180 CPUtime=3568.39 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 1526351 0 0 0 356715 124 0 0 20 0 3 0 4472696 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1961452 memory=1782180 CPUtime=0.06 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 421 0 0 0 2 4 0 0 20 0 3 0 4472742 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 1961452 KiB
Current children cumulated memory: 1782180 KiB
[startup+3598.56 s]
# the end of solver process 28941 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.74 s, system=1.63478 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.14 4.09 5/253 31023
/proc/meminfo: memFree=123865020/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1961452 memory=1782180 CPUtime=3573.86 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 1667253 0 0 0 357227 159 0 0 20 0 3 0 4472340 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 490363 445545 3014 3035 0 481248 0
[pid=28941/tid=28943] ppid=28938 vsize=1961452 memory=-5155630202032515973 CPUtime=3570.1 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 1526353 0 0 0 356886 124 0 0 20 0 3 0 4472696 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1961452 memory=4137283706442903198 CPUtime=0.06 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 421 0 0 0 2 4 0 0 20 0 3 0 4472742 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 3573.86 s
Current children cumulated vsize: 1961452 KiB
Current children cumulated memory: 1782180 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.14 4.09 5/253 31024
/proc/meminfo: memFree=123864932/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1961452 memory=1782180 CPUtime=3580.23 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 1667272 0 0 0 357864 159 0 0 20 0 3 0 4472340 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 490363 445545 3014 3035 0 481248 0
[pid=28941/tid=28943] ppid=28938 vsize=1961452 memory=12860 CPUtime=3576.47 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 1526370 0 0 0 357523 124 0 0 20 0 3 0 4472696 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1961452 memory=1782180 CPUtime=0.06 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 423 0 0 0 2 4 0 0 20 0 3 0 4472742 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 3580.23 s
Current children cumulated vsize: 1961452 KiB
Current children cumulated memory: 1782180 KiB
[startup+3593.6 s]
/proc/loadavg: 4.16 4.15 4.10 5/253 31024
/proc/meminfo: memFree=123864856/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1961452 memory=1782180 CPUtime=3583.42 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 1667276 0 0 0 358183 159 0 0 20 0 3 0 4472340 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 490363 445545 3014 3035 0 481248 0
[pid=28941/tid=28943] ppid=28938 vsize=1961452 memory=11440 CPUtime=3579.66 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 1526374 0 0 0 357842 124 0 0 20 0 3 0 4472696 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1961452 memory=1782180 CPUtime=0.06 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 423 0 0 0 2 4 0 0 20 0 3 0 4472742 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 3583.42 s
Current children cumulated vsize: 1961452 KiB
Current children cumulated memory: 1782180 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.15 4.10 5/253 31024
/proc/meminfo: memFree=123864848/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1961452 memory=1782180 CPUtime=3586.61 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 1667278 0 0 0 358502 159 0 0 20 0 3 0 4472340 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 490363 445545 3014 3035 0 481248 0
[pid=28941/tid=28943] ppid=28938 vsize=1961452 memory=12672 CPUtime=3582.85 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 1526376 0 0 0 358161 124 0 0 20 0 3 0 4472696 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1961452 memory=12860 CPUtime=0.06 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 423 0 0 0 2 4 0 0 20 0 3 0 4472742 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 1961452 KiB
Current children cumulated memory: 1782180 KiB
[startup+3597.6 s]
/proc/loadavg: 4.15 4.15 4.09 5/253 31025
/proc/meminfo: memFree=123864860/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1961452 memory=1782180 CPUtime=3587.41 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 1667283 0 0 0 358582 159 0 0 20 0 3 0 4472340 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 490363 445545 3014 3035 0 481248 0
[pid=28941/tid=28943] ppid=28938 vsize=1961452 memory=5528 CPUtime=3583.65 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 1526381 0 0 0 358241 124 0 0 20 0 3 0 4472696 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1961452 memory=11440 CPUtime=0.06 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 423 0 0 0 2 4 0 0 20 0 3 0 4472742 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 3587.41 s
Current children cumulated vsize: 1961452 KiB
Current children cumulated memory: 1782180 KiB
[startup+3598 s]*
/proc/loadavg: 4.15 4.15 4.09 5/253 31025
/proc/meminfo: memFree=123864792/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1961452 memory=1782180 CPUtime=3587.82 cores=5,7
/proc/28941/stat : 28941 (fscip) S 28938 28941 28487 0 -1 1077936128 1667543 0 0 0 358623 159 0 0 20 0 3 0 4472340 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 490363 445545 3014 3035 0 481248 0
[pid=28941/tid=28943] ppid=28938 vsize=1961452 memory=-5155630202032515973 CPUtime=3584.06 cores=5,7
/proc/28941/task/28943/stat : 28943 (fscip) R 28938 28941 28487 0 -1 4194368 1526672 0 0 0 358282 124 0 0 20 0 3 0 4472696 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
[pid=28941/tid=28944] ppid=28938 vsize=1961452 memory=4137283706442903198 CPUtime=0.06 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 423 0 0 0 2 4 0 0 20 0 3 0 4472742 2008526848 445545 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 3587.82 s
Current children cumulated vsize: 1961452 KiB
Current children cumulated memory: 1782180 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.15 4.09 5/253 31025
/proc/meminfo: memFree=123864792/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1817952 memory=1646340 CPUtime=3588.21 cores=5,7
/proc/28941/stat : 28941 (fscip) R 28938 28941 28487 0 -1 4194304 1673824 0 0 0 358661 160 0 0 20 0 2 0 4472340 1861582848 411585 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 454488 411585 3014 3035 0 445417 0
[pid=28941/tid=28944] ppid=28938 vsize=1817952 memory=2724 CPUtime=0.06 cores=5,7
/proc/28941/task/28944/stat : 28944 (fscip) S 28938 28941 28487 0 -1 1077936192 423 0 0 0 2 4 0 0 20 0 2 0 4472742 1861582848 411585 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
Current children cumulated CPU time: 3588.21 s
Current children cumulated vsize: 1817952 KiB
Current children cumulated memory: 1646340 KiB
[startup+3598.5 s]
/proc/loadavg: 4.15 4.15 4.09 5/253 31025
/proc/meminfo: memFree=123864792/131655788 swapFree=131071996/131071996
[pid=28941] ppid=28938 vsize=1789828 memory=1618384 CPUtime=3588.31 cores=5,7
/proc/28941/stat : 28941 (fscip) R 28938 28941 28487 0 -1 4194304 1677486 0 0 0 358670 161 0 0 20 0 1 0 4472340 1832783872 404596 134679101440 4194304 16623229 140723488366304 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57663488 140723488367638 140723488367754 140723488367754 140723488374768 0
/proc/28941/statm: 447457 404596 3014 3035 0 438386 0
Current children cumulated CPU time: 3588.31 s
Current children cumulated vsize: 1789828 KiB
Current children cumulated memory: 1618384 KiB
Child status: 0
Real time (s): 3598.56
CPU time (s): 3588.37
CPU user time (s): 3586.74
CPU system time (s): 1.63478
CPU usage (%): 99.7171
Max. virtual memory (cumulated for all children) (KiB): 2026988
Max. memory (cumulated for all children) (KiB): 1815704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.74
system time used= 1.63478
maximum resident set size= 1815704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1680638
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= 3858
involuntary context switches= 1189
# summary of solver processes directly reported to runsolver:
# pid: 28941
# total CPU time (s): 3588.37
# total CPU user time (s): 3586.74
# total CPU system time (s): 1.63478
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1882 second user time and 35.2804 second system time
The end
Begin job on nodeC005 at 2024-07-31 00:32:33
IDJOB=4464329
IDBENCH=147894
IDSOLVER=3092
FILE ID=nodeC005/4464329-1722378753
RUNJOBID= nodeC005-1722378594-28501
SLURM_JOB_ID= 8249835
Free space on /tmp= 723688 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.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-4464329-1722378753/watcher-4464329-1722378753 -o /tmp/evaluation-result-4464329-1722378753/solver-4464329-1722378753 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28501 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464329-1722378753.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a
RANDOM SEED=99795441
nodeC005.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 : 3663.052
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.72
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 : 3659.437
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.371
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.72
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.284
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 : 3663.030
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.72
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 : 3546.714
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.250
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.72
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.219
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: 126884900 kB
MemAvailable: 128895880 kB
Buffers: 87736 kB
Cached: 2731024 kB
SwapCached: 0 kB
Active: 251960 kB
Inactive: 4024048 kB
Active(anon): 1500 kB
Inactive(anon): 1477392 kB
Active(file): 250460 kB
Inactive(file): 2546656 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 33744 kB
Writeback: 0 kB
AnonPages: 1457180 kB
Mapped: 125584 kB
Shmem: 21320 kB
KReclaimable: 108128 kB
Slab: 190616 kB
SReclaimable: 108128 kB
SUnreclaim: 82488 kB
KernelStack: 4160 kB
PageTables: 11824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1434684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7008 kB
HardwareCorrupted: 0 kB
AnonHugePages: 444416 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: 187208 kB
DirectMap2M: 14397440 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723656 MiB
End job on nodeC005 at 2024-07-31 01:32:32