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.00/0.03 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 31289344, getVmSize() = 31289344, SCIPgetMemUsed() = 6504244, SCIPgetMemTotal() = 9388908, SCIPgetMemExternEstim() = 4606299
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.78/0.84 c ** Estimated virtualMemUsedAtSolver = 24576000, getVmSize() = 42438656, SCIPgetMemUsed() = 10283435, SCIPgetMemTotal() = 18909587, SCIPgetMemExternEstim() = 4606299
0.78/0.84 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.78/0.84 c Original Problem :
0.78/0.84 c Problem name : instance-4464856-1722389801
0.78/0.84 c Variables : 1158 (1158 binary, 0 integer, 0 implicit integer, 0 continuous)
0.78/0.84 c Constraints : 3635
0.78/0.84 c Objective sense : minimize
0.78/0.84 c Presolved Problem :
0.78/0.84 c Variables : 1164 (1156 binary, 0 integer, 8 implicit integer, 0 continuous)
0.78/0.84 c Constraints : 2624
0.78/0.84 c Constraints : Number
0.78/0.84 c knapsack : 1
0.78/0.84 c setppc : 72
0.78/0.84 c linear : 925
0.78/0.84 c logicor : 1601
0.78/0.84 c indicator : 25
0.78/0.84 c ** Instance transfer method used: 0
0.78/0.85 c ** ParaScipInstance copy does not increase the number of variables. **
0.78/0.87 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.78/0.87 c Nodes Active
0.78/0.87 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.88/0.97 c * 1 0 1 1 30178.0000 - -
0.88/0.98 c * 1 0 1 1 495.0000 - -
2.18/2.25 c * 2 0 1 1 143.0000 - -
5.08/5.16 c 5 33 6 1 143.0000 0.0000 -
6.07/6.12 c * 6 33 6 1 141.0000 0.0000 -
6.07/6.12 c * 6 33 6 1 138.0000 0.0000 -
6.65/6.80 c * 7 57 8 1 123.0000 0.0000 -
6.85/7.01 c * 7 57 8 1 113.0000 0.0000 -
8.07/8.11 c * 8 78 17 1 104.0000 0.0000 -
8.07/8.12 c * 8 78 17 1 99.0000 0.0000 -
8.36/8.46 c * 8 78 17 1 86.0000 0.0000 -
10.25/10.39 c * 10 130 25 1 85.0000 0.0000 -
10.25/10.39 c 10 130 25 1 85.0000 0.0000 -
10.55/10.61 c * 11 130 25 1 45.0000 0.0000 -
14.05/14.17 c * 14 583 86 1 44.0000 0.0000 -
16.04/16.12 c 16 859 116 1 44.0000 0.0000 -
21.11/21.27 c 21 1648 220 1 44.0000 0.0000 -
21.92/22.01 c * 22 1648 220 1 43.0000 0.0000 -
26.40/26.54 c 27 2547 457 1 43.0000 0.0000 -
31.58/31.73 c 32 3014 159 1 43.0000 0.0000 -
31.90/32.11 c * 32 3014 159 1 36.0000 0.0000 -
34.57/34.74 c * 35 3318 303 1 21.0000 0.0000 -
36.67/36.88 c 37 4081 387 1 21.0000 0.0000 -
41.97/42.13 c 42 5335 553 1 21.0000 0.0000 -
47.03/47.20 c 47 6648 711 1 21.0000 0.0000 -
52.22/52.46 c 52 8003 853 1 21.0000 0.0000 -
57.30/57.57 c 58 9422 1023 1 21.0000 0.0000 -
62.49/62.75 c 63 10327 1089 1 21.0000 0.0000 -
67.56/67.83 c 68 11340 1188 1 21.0000 0.0000 -
72.54/72.88 c 73 13666 1438 1 21.0000 0.0000 -
77.83/78.12 c 78 15655 1630 1 21.0000 0.0000 -
83.00/83.35 c 83 17168 1820 1 21.0000 0.0000 -
88.08/88.49 c 88 18379 2031 1 21.0000 0.0000 -
93.35/93.72 c 94 19480 2257 1 21.0000 0.0000 -
98.53/98.92 c 99 21052 2475 1 21.0000 0.0000 -
103.62/104.10 c 104 22687 2669 1 21.0000 0.0000 -
108.69/109.16 c 109 25054 3031 1 21.0000 0.0000 -
113.77/114.29 c 114 26920 3270 1 21.0000 0.0000 -
118.94/119.46 c 119 28753 3570 1 21.0000 0.0000 -
124.53/125.09 c 125 29805 3689 1 21.0000 0.0000 -
129.61/130.17 c 130 31702 3897 1 21.0000 0.0000 -
134.77/135.39 c 135 33666 4196 1 21.0000 0.0000 -
139.95/140.52 c 141 35624 4517 1 21.0000 0.0000 -
145.03/145.69 c 146 36787 4688 1 21.0000 0.0000 -
150.21/150.85 c 151 37860 4797 1 21.0000 0.0000 -
155.59/156.21 c 156 39326 4963 1 21.0000 0.0000 -
160.68/161.34 c 161 40887 5131 1 21.0000 0.0000 -
165.76/166.48 c 166 42457 5286 1 21.0000 0.0000 -
170.83/171.58 c 172 44030 5441 1 21.0000 0.0000 -
176.02/176.74 c 177 45361 5608 1 21.0000 0.0000 -
181.01/181.79 c 182 47712 5847 1 21.0000 0.0000 -
186.08/186.85 c 187 49280 6029 1 21.0000 0.0000 -
191.16/191.91 c 192 51467 6330 1 21.0000 0.0000 -
196.14/196.98 c 197 52759 6603 1 21.0000 0.0000 -
201.23/202.04 c 202 54298 6849 1 21.0000 0.0000 -
206.50/207.39 c 207 55405 7008 1 21.0000 0.0000 -
211.67/212.58 c 213 56111 7097 1 21.0000 0.0000 -
216.86/217.73 c 218 57287 7259 1 21.0000 0.0000 -
222.04/222.91 c 223 58819 7500 1 21.0000 0.0000 -
227.01/227.97 c 228 60049 7652 1 21.0000 0.0000 -
232.30/233.25 c 233 61302 7850 1 21.0000 0.0000 -
237.47/238.41 c 238 62920 8039 1 21.0000 0.0000 -
242.66/243.63 c 244 64900 8327 1 21.0000 0.0000 -
247.74/248.74 c 249 66410 8535 1 21.0000 0.0000 -
249.84/250.85 c * 251 67055 8623 1 16.0000 0.0000 -
252.83/253.80 c 254 68114 7148 1 16.0000 0.0000 -
258.02/259.02 c 259 69400 7330 1 16.0000 0.0000 -
263.19/264.23 c 264 70865 7506 1 16.0000 0.0000 -
268.57/269.63 c 270 72177 7631 1 16.0000 0.0000 -
273.67/274.78 c 275 73651 7817 1 16.0000 0.0000 -
278.75/279.84 c 280 75196 7981 1 16.0000 0.0000 -
283.83/284.92 c 285 77094 8140 1 16.0000 0.0000 -
289.02/290.12 c 290 78656 8329 1 16.0000 0.0000 -
294.10/295.23 c 295 80356 8426 1 16.0000 0.0000 -
299.18/300.35 c 300 81771 8556 1 16.0000 0.0000 -
304.26/305.40 c 305 84488 8775 1 16.0000 0.0000 -
309.24/310.45 c 310 87269 8969 1 16.0000 0.0000 -
314.41/315.63 c 316 89058 9022 1 16.0000 0.0000 -
319.50/320.76 c 321 91237 9253 1 16.0000 0.0000 -
324.67/325.98 c 326 93038 9386 1 16.0000 0.0000 -
329.87/331.17 c 331 94941 9521 1 16.0000 0.0000 -
334.93/336.22 c 336 96895 9711 1 16.0000 0.0000 -
339.92/341.28 c 341 98687 9868 1 16.0000 0.0000 -
345.20/346.53 c 347 100384 10073 1 16.0000 0.0000 -
350.28/351.60 c 352 101933 10247 1 16.0000 0.0000 -
355.36/356.78 c 357 103487 10343 1 16.0000 0.0000 -
360.54/361.91 c 362 105480 10493 1 16.0000 0.0000 -
366.91/368.35 c 368 106637 10599 1 16.0000 0.0000 -
371.99/373.40 c 373 108424 10715 1 16.0000 0.0000 -
376.99/378.47 c 378 110727 10910 1 16.0000 0.0000 -
382.07/383.54 c 384 112750 11041 1 16.0000 0.0000 -
387.25/388.78 c 389 114838 11180 1 16.0000 0.0000 -
390.44/391.99 c * 392 116227 11245 1 13.0000 0.0000 -
392.44/393.97 c 394 117030 9714 1 13.0000 0.0000 -
397.52/399.09 c 399 119414 9822 1 13.0000 0.0000 -
400.62/402.12 c * 402 119912 9820 1 11.0000 0.0000 -
402.61/404.17 c 404 121069 8936 1 11.0000 0.0000 -
407.88/409.45 c 409 123018 8986 1 11.0000 0.0000 -
412.97/414.50 c 414 125769 8995 1 11.0000 0.0000 -
418.05/419.60 c 420 127603 9042 1 11.0000 0.0000 -
423.04/424.69 c 425 129614 9108 1 11.0000 0.0000 -
428.12/429.75 c 430 132132 9407 1 11.0000 0.0000 -
433.20/434.81 c 435 134869 9358 1 11.0000 0.0000 -
438.29/439.95 c 440 137477 9443 1 11.0000 0.0000 -
443.38/445.02 c 445 139620 9464 1 11.0000 0.0000 -
448.48/450.17 c 450 141823 9182 1 11.0000 0.2917 -
453.53/455.29 c 455 144163 8558 1 11.0000 0.5556 -
458.71/460.41 c 460 147023 7684 1 11.0000 0.8000 -
464.31/466.11 c 466 149834 6816 1 11.0000 1.0000 -
469.47/471.20 c 471 152233 6115 1 11.0000 1.2500 -
474.95/476.75 c 477 155103 5167 1 11.0000 1.5000 -
479.94/481.78 c 482 157623 4280 1 11.0000 1.8000 -
484.92/486.80 c 487 160133 3186 1 11.0000 2.2857 381.25%
490.00/491.87 c 492 162743 1461 1 11.0000 3.3846 225.00%
492.30/494.15 c 494 164056 0 0 11.0000 11.0000 0.00%
492.30/494.20 c 494 164056 0 0 11.0000 11.0000 -
492.30/494.20 c SCIP Status : c problem is solved
492.30/494.20 c Total Time : 494.1800
492.30/494.20 c solving : 494.1800
492.30/494.20 c presolving : 0.8048 (included in solving)
492.30/494.20 c B&B Tree :
492.30/494.20 c nodes (total) : 164056
492.30/494.20 c Solution :
492.30/494.20 c Solutions found : 19
492.30/494.20 c Primal Bound : +1.10000000000000e+01
492.30/494.20 c Dual Bound : +1.10000000000000e+01
492.30/494.20 c Gap : 0.00000 %
492.40/494.20 o 11
492.40/494.20 s OPTIMUM FOUND
492.40/494.20 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210
492.40/494.20 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189
492.40/494.20 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
492.40/494.20 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 x150 -x149 -x148 -x147
492.40/494.20 v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126
492.40/494.20 v -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
492.40/494.20 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
492.40/494.20 v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55
492.40/494.20 v -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
492.40/494.20 v -x28 -x27 -x26 -x25 x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
492.40/494.20 v x1
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 (63533 MiB free)
memory of node 1: 64473 MiB (62439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464856-1722389801/watcher-4464856-1722389801 -o /tmp/evaluation-result-4464856-1722389801/solver-4464856-1722389801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722389801-34852 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464856-1722389801.wbo -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=34900, runsolver pid=34897
[startup+0.100876 s]*
/proc/loadavg: 1.07 1.91 3.06 5/242 34913
/proc/meminfo: memFree=128952688/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=36400 memory=25512 CPUtime=0.1 cores=1,3
/proc/34900/stat : 34900 (fscip) R 34897 34900 34840 0 -1 4194304 4041 0 0 0 9 1 0 0 20 0 1 0 5350514 37273600 6378 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 9100 6378 2630 3035 0 5496 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36400 KiB
Current children cumulated memory: 25512 KiB
[startup+0.213747 s]*
/proc/loadavg: 1.07 1.91 3.06 5/242 34913
/proc/meminfo: memFree=128947844/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=37272 memory=26736 CPUtime=0.2 cores=1,3
/proc/34900/stat : 34900 (fscip) R 34897 34900 34840 0 -1 4194304 4263 0 0 0 19 1 0 0 20 0 1 0 5350514 38166528 6684 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 9318 6684 2678 3035 0 5714 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37272 KiB
Current children cumulated memory: 26736 KiB
[startup+0.312836 s]*
/proc/loadavg: 1.07 1.91 3.06 5/242 34913
/proc/meminfo: memFree=128946712/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=37656 memory=27000 CPUtime=0.3 cores=1,3
/proc/34900/stat : 34900 (fscip) R 34897 34900 34840 0 -1 4194304 4327 0 0 0 29 1 0 0 20 0 1 0 5350514 38559744 6750 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 9414 6750 2678 3035 0 5810 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37656 KiB
Current children cumulated memory: 27000 KiB
[startup+0.700275 s]
/proc/loadavg: 1.07 1.91 3.06 5/242 34913
/proc/meminfo: memFree=128944440/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=38172 memory=27528 CPUtime=0.68 cores=1,3
/proc/34900/stat : 34900 (fscip) R 34897 34900 34840 0 -1 4194304 4458 0 0 0 67 1 0 0 20 0 1 0 5350514 39088128 6882 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 9543 6882 2678 3035 0 5939 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38172 KiB
Current children cumulated memory: 27528 KiB
[startup+1.50037 s]
/proc/loadavg: 1.30 1.95 3.06 5/248 34919
/proc/meminfo: memFree=128881500/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=130524 memory=59916 CPUtime=1.47 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 12806 0 0 0 143 4 0 0 20 0 3 0 5350514 133656576 14979 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 32631 14979 2870 3035 0 19221 0
[pid=34900/tid=34916] ppid=34897 vsize=130524 memory=27284 CPUtime=0.62 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 6904 0 0 0 61 1 0 0 20 0 3 0 5350598 133656576 14979 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=130524 memory=2248 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5350601 133656576 14979 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 130524 KiB
Current children cumulated memory: 59916 KiB
[startup+3.11269 s]
/proc/loadavg: 1.30 1.95 3.06 5/250 34921
/proc/meminfo: memFree=128721012/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=141744 memory=87124 CPUtime=3.08 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 26767 0 0 0 302 6 0 0 20 0 3 0 5350514 145145856 21781 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 35436 21781 3014 3035 0 27565 0
[pid=34900/tid=34916] ppid=34897 vsize=141744 memory=2248 CPUtime=2.24 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 20603 0 0 0 220 4 0 0 20 0 3 0 5350598 145145856 21781 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=141744 memory=66780 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5350601 145145856 21781 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 141744 KiB
Current children cumulated memory: 87124 KiB
[startup+6.30035 s]
/proc/loadavg: 1.60 2.00 3.08 5/250 34921
/proc/meminfo: memFree=128574260/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=207280 memory=131372 CPUtime=6.26 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 47876 0 0 0 617 9 0 0 20 0 3 0 5350514 212254720 32843 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 51820 32843 3318 3035 0 38152 0
[pid=34900/tid=34916] ppid=34897 vsize=207280 memory=130152 CPUtime=5.41 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 41454 0 0 0 534 7 0 0 20 0 3 0 5350598 212254720 32843 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=207280 memory=11536 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5350601 212254720 32843 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 207280 KiB
Current children cumulated memory: 131372 KiB
[startup+12.7004 s]
/proc/loadavg: 1.79 2.03 3.08 5/250 34923
/proc/meminfo: memFree=128506244/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=207280 memory=133368 CPUtime=12.64 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 76881 0 0 0 1252 12 0 0 20 0 3 0 5350514 212254720 33342 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 51820 33342 3318 3035 0 38152 0
[pid=34900/tid=34916] ppid=34897 vsize=207280 memory=129928 CPUtime=11.79 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 70118 0 0 0 1170 9 0 0 20 0 3 0 5350598 212254720 33342 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=207280 memory=133324 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 5350601 212254720 33342 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 207280 KiB
Current children cumulated memory: 133368 KiB
[startup+25.5004 s]
/proc/loadavg: 2.13 2.10 3.09 5/250 34924
/proc/meminfo: memFree=128415792/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=207280 memory=166332 CPUtime=25.4 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 123928 0 0 0 2523 17 0 0 20 0 3 0 5350514 212254720 41583 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 51820 41583 3318 3035 0 47061 0
[pid=34900/tid=34916] ppid=34897 vsize=207280 memory=166312 CPUtime=24.55 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 116622 0 0 0 2441 14 0 0 20 0 3 0 5350598 212254720 41583 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=207280 memory=131648 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 5350601 212254720 41583 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 207280 KiB
Current children cumulated memory: 166332 KiB
[startup+51.1125 s]
/proc/loadavg: 3.01 2.31 3.13 5/250 34929
/proc/meminfo: memFree=128273984/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=272816 memory=206968 CPUtime=50.94 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 201977 0 0 0 5068 26 0 0 20 0 3 0 5350514 279363584 51742 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 68204 51742 3318 3035 0 56596 0
[pid=34900/tid=34916] ppid=34897 vsize=272816 memory=197872 CPUtime=50.08 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 194288 0 0 0 4985 23 0 0 20 0 3 0 5350598 279363584 51742 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=272816 memory=166568 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 5350601 279363584 51742 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 272816 KiB
Current children cumulated memory: 206968 KiB
[startup+102.3 s]
/proc/loadavg: 3.69 2.60 3.19 5/250 34938
/proc/meminfo: memFree=128165372/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=287392 memory=237084 CPUtime=101.92 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 290727 0 0 0 10156 36 0 0 20 0 3 0 5350514 294289408 59271 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 71848 59271 3318 3035 0 64265 0
[pid=34900/tid=34916] ppid=34897 vsize=287392 memory=11536 CPUtime=101.05 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 282892 0 0 0 10072 33 0 0 20 0 3 0 5350598 294289408 59271 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=287392 memory=-7091035829880053623 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 5350601 294289408 59271 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 287392 KiB
Current children cumulated memory: 237084 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.86 3.24 5/250 34950
/proc/meminfo: memFree=128044312/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=304072 memory=267580 CPUtime=161.67 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 357314 0 0 0 16119 48 0 0 20 0 3 0 5350514 311369728 66895 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 76018 66895 3318 3035 0 72005 0
[pid=34900/tid=34916] ppid=34897 vsize=304072 memory=254836 CPUtime=160.8 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 349421 0 0 0 16036 44 0 0 20 0 3 0 5350598 311369728 66895 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=304072 memory=265616 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 5350601 311369728 66895 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 304072 KiB
Current children cumulated memory: 267580 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.12 3.31 5/250 34960
/proc/meminfo: memFree=127937364/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=383360 memory=304692 CPUtime=221.44 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 391492 0 0 0 22088 56 0 0 20 0 3 0 5350514 392560640 76173 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 95840 76173 3318 3035 0 82039 0
[pid=34900/tid=34916] ppid=34897 vsize=383360 memory=273408 CPUtime=220.56 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 383587 0 0 0 22004 52 0 0 20 0 3 0 5350598 392560640 76173 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=383360 memory=304692 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 5350601 392560640 76173 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 383360 KiB
Current children cumulated memory: 304692 KiB
[startup+282.3 s]
################
# More data... #
################
[pid=34900] ppid=34897 vsize=392356 memory=328264 CPUtime=281.24 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 405649 0 0 0 28064 60 0 0 20 0 3 0 5350514 401772544 82066 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 98089 82066 3318 3035 0 84288 0
[pid=34900/tid=34916] ppid=34897 vsize=392356 memory=313572 CPUtime=280.35 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 397591 0 0 0 27979 56 0 0 20 0 3 0 5350598 401772544 82066 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=392356 memory=313572 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 5350601 401772544 82066 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 392356 KiB
Current children cumulated memory: 328264 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.46 3.41 5/252 34986
/proc/meminfo: memFree=127722336/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=415752 memory=350156 CPUtime=341.01 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 420843 0 0 0 34035 66 0 0 20 0 3 0 5350514 425730048 87539 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 103938 87539 3318 3035 0 90137 0
[pid=34900/tid=34916] ppid=34897 vsize=415752 memory=313572 CPUtime=340.12 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 412771 0 0 0 33950 62 0 0 20 0 3 0 5350598 425730048 87539 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=415752 memory=345100 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 5350601 425730048 87539 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 415752 KiB
Current children cumulated memory: 350156 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.60 3.47 5/252 34997
/proc/meminfo: memFree=127635152/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=431224 memory=395724 CPUtime=400.8 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 452494 0 0 0 40007 73 0 0 20 0 3 0 5350514 441573376 98931 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 107806 98931 3318 3035 0 102375 0
[pid=34900/tid=34916] ppid=34897 vsize=431224 memory=313572 CPUtime=399.91 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 444379 0 0 0 39923 68 0 0 20 0 3 0 5350598 441573376 98931 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=431224 memory=389644 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 5350601 441573376 98931 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 431224 KiB
Current children cumulated memory: 395724 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.69 3.51 5/252 35152
/proc/meminfo: memFree=127667652/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=431224 memory=397284 CPUtime=460.62 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 473439 0 0 0 45982 80 0 0 20 0 3 0 5350514 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 107806 99321 3318 3035 0 102375 0
[pid=34900/tid=34916] ppid=34897 vsize=431224 memory=397272 CPUtime=459.7 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 465311 0 0 0 45895 75 0 0 20 0 3 0 5350598 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=431224 memory=397284 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 5350601 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 460.62 s
Current children cumulated vsize: 431224 KiB
Current children cumulated memory: 397284 KiB
[startup+494.213 s]
# the end of solver process 34900 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=491.536 s, system=0.879863 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+473.6 s]
/proc/loadavg: 4.10 3.70 3.52 5/252 35153
/proc/meminfo: memFree=127653604/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=431224 memory=397284 CPUtime=471.87 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 473556 0 0 0 47105 82 0 0 20 0 3 0 5350514 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 107806 99321 3318 3035 0 102375 0
[pid=34900/tid=34916] ppid=34897 vsize=431224 memory=397284 CPUtime=470.94 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 465428 0 0 0 47018 76 0 0 20 0 3 0 5350598 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=431224 memory=5496 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 5350601 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 471.87 s
Current children cumulated vsize: 431224 KiB
Current children cumulated memory: 397284 KiB
[startup+486.4 s]
/proc/loadavg: 4.23 3.75 3.54 5/252 35155
/proc/meminfo: memFree=127644192/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=431224 memory=397284 CPUtime=484.62 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 475101 0 0 0 48378 84 0 0 20 0 3 0 5350514 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 107806 99321 3318 3035 0 102375 0
[pid=34900/tid=34916] ppid=34897 vsize=431224 memory=16320 CPUtime=483.68 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 466969 0 0 0 48290 78 0 0 20 0 3 0 5350598 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=431224 memory=397284 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 5350601 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 484.62 s
Current children cumulated vsize: 431224 KiB
Current children cumulated memory: 397284 KiB
[startup+489.6 s]
/proc/loadavg: 4.23 3.75 3.54 5/252 35156
/proc/meminfo: memFree=127641484/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=431224 memory=397284 CPUtime=487.82 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 475365 0 0 0 48697 85 0 0 20 0 3 0 5350514 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 107806 99321 3318 3035 0 102375 0
[pid=34900/tid=34916] ppid=34897 vsize=431224 memory=397284 CPUtime=486.86 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 467229 0 0 0 48608 78 0 0 20 0 3 0 5350598 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=431224 memory=397284 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 5350601 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 487.82 s
Current children cumulated vsize: 431224 KiB
Current children cumulated memory: 397284 KiB
[startup+492.8 s]
/proc/loadavg: 4.21 3.76 3.54 5/252 35156
/proc/meminfo: memFree=127638272/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=431224 memory=397284 CPUtime=491 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 476098 0 0 0 49014 86 0 0 20 0 3 0 5350514 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 107806 99321 3318 3035 0 102375 0
[pid=34900/tid=34916] ppid=34897 vsize=431224 memory=4580 CPUtime=490.05 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 467962 0 0 0 48926 79 0 0 20 0 3 0 5350598 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=431224 memory=12856 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 5350601 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 491 s
Current children cumulated vsize: 431224 KiB
Current children cumulated memory: 397284 KiB
[startup+493.6 s]
/proc/loadavg: 4.21 3.76 3.54 5/252 35156
/proc/meminfo: memFree=127637896/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=431224 memory=397284 CPUtime=491.8 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 476171 0 0 0 49094 86 0 0 20 0 3 0 5350514 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 107806 99321 3318 3035 0 102375 0
[pid=34900/tid=34916] ppid=34897 vsize=431224 memory=16320 CPUtime=490.84 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) R 34897 34900 34840 0 -1 4194368 468035 0 0 0 49005 79 0 0 20 0 3 0 5350598 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=431224 memory=11536 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 5350601 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 491.8 s
Current children cumulated vsize: 431224 KiB
Current children cumulated memory: 397284 KiB
[startup+494 s]*
/proc/loadavg: 4.21 3.76 3.54 5/252 35156
/proc/meminfo: memFree=127637320/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=431224 memory=397284 CPUtime=492.2 cores=1,3
/proc/34900/stat : 34900 (fscip) S 34897 34900 34840 0 -1 1077936128 476193 0 0 0 49134 86 0 0 20 0 3 0 5350514 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 107806 99321 3318 3035 0 102375 0
[pid=34900/tid=34916] ppid=34897 vsize=431224 memory=-7595157513168839292 CPUtime=491.25 cores=1,3
/proc/34900/task/34916/stat : 34916 (fscip) S 34897 34900 34840 0 -1 1077936192 468057 0 0 0 49046 79 0 0 20 0 3 0 5350598 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
[pid=34900/tid=34918] ppid=34897 vsize=431224 memory=2812 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 5350601 441573376 99321 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 492.2 s
Current children cumulated vsize: 431224 KiB
Current children cumulated memory: 397284 KiB
[startup+494.201 s]
/proc/loadavg: 4.21 3.76 3.54 5/252 35156
/proc/meminfo: memFree=127637320/131655788 swapFree=131071728/131071996
[pid=34900] ppid=34897 vsize=317492 memory=284244 CPUtime=492.4 cores=1,3
/proc/34900/stat : 34900 (fscip) R 34897 34900 34840 0 -1 4194304 477235 0 0 0 49153 87 0 0 20 0 2 0 5350514 325111808 71061 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
/proc/34900/statm: 79373 71061 3318 3035 0 73942 0
[pid=34900/tid=34918] ppid=34897 vsize=317492 memory=4916 CPUtime=0 cores=1,3
/proc/34900/task/34918/stat : 34918 (fscip) S 34897 34900 34840 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 2 0 5350601 325111808 71061 134679101440 4194304 16623229 140724315439024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28938240 140724315444244 140724315444360 140724315444360 140724315451376 0
Current children cumulated CPU time: 492.4 s
Current children cumulated vsize: 317492 KiB
Current children cumulated memory: 284244 KiB
Child status: 0
Real time (s): 494.213
CPU time (s): 492.416
CPU user time (s): 491.536
CPU system time (s): 0.879863
CPU usage (%): 99.6364
Max. virtual memory (cumulated for all children) (KiB): 431224
Max. memory (cumulated for all children) (KiB): 397284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 491.536
system time used= 0.879863
maximum resident set size= 397284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477239
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= 3125
involuntary context switches= 472
# summary of solver processes directly reported to runsolver:
# pid: 34900
# total CPU time (s): 492.416
# total CPU user time (s): 491.536
# total CPU system time (s): 0.879863
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.36295 second user time and 4.9876 second system time
The end
Begin job on nodeC011 at 2024-07-31 03:36:42
IDJOB=4464856
IDBENCH=143612
IDSOLVER=3093
FILE ID=nodeC011/4464856-1722389801
RUNJOBID= nodeC011-1722389801-34852
SLURM_JOB_ID= 8249866
Free space on /tmp= 723760 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464856-1722389801/watcher-4464856-1722389801 -o /tmp/evaluation-result-4464856-1722389801/solver-4464856-1722389801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722389801-34852 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464856-1722389801.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c44296df46be636a3d5069e5616e3fa6
RANDOM SEED=1209120846
nodeC011.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 : 1197.134
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.28
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 : 1197.133
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.29
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.381
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.28
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.367
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.29
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 : 1197.149
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.28
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 : 1197.203
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.29
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.134
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.28
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.133
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129020112 kB
MemAvailable: 130037064 kB
Buffers: 107700 kB
Cached: 1752772 kB
SwapCached: 12 kB
Active: 275716 kB
Inactive: 1928556 kB
Active(anon): 1828 kB
Inactive(anon): 371492 kB
Active(file): 273888 kB
Inactive(file): 1557064 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 113276 kB
Writeback: 4 kB
AnonPages: 341972 kB
Mapped: 96908 kB
Shmem: 29468 kB
KReclaimable: 52396 kB
Slab: 128628 kB
SReclaimable: 52396 kB
SUnreclaim: 76232 kB
KernelStack: 3616 kB
PageTables: 8808 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 703156 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 156488 kB
DirectMap2M: 9185280 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC011 at 2024-07-31 03:44:56