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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 25513984, getVmSize() = 25513984, SCIPgetMemUsed() = 3301289, SCIPgetMemTotal() = 3866305, SCIPgetMemExternEstim() = 1597615
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.04 c ** Estimated virtualMemUsedAtSolver = 18578090, getVmSize() = 30220288, SCIPgetMemUsed() = 3684142, SCIPgetMemTotal() = 7198270, SCIPgetMemExternEstim() = 1597615
0.00/0.04 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.04 c Original Problem :
0.00/0.04 c Problem name : instance-4464810-1722382193
0.00/0.04 c Variables : 972 (243 binary, 0 integer, 729 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 757
0.00/0.04 c Objective sense : minimize
0.00/0.04 c Presolved Problem :
0.00/0.04 c Variables : 797 (223 binary, 0 integer, 574 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 612
0.00/0.04 c Constraints : Number
0.00/0.04 c setppc : 1
0.00/0.04 c and : 574
0.00/0.04 c linear : 9
0.00/0.04 c logicor : 19
0.00/0.04 c pseudoboolean : 9
0.00/0.04 c ** Instance transfer method used: 0
0.00/0.05 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.05 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.05 c Nodes Active
0.00/0.05 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.07 c * 0 0 1 1 257.0000 - -
0.00/0.08 c * 0 0 1 1 255.0000 - -
0.10/0.11 c * 0 0 1 1 171.0000 - -
5.87/5.95 c 6 2997 2035 1 171.0000 3.0000 -
10.97/11.06 c 11 6953 4349 1 171.0000 3.0000 -
16.04/16.11 c 16 15365 6307 1 171.0000 3.0000 -
21.02/21.16 c 21 24103 7593 1 171.0000 3.0000 -
26.08/26.21 c 26 31583 9663 1 171.0000 3.0000 -
31.05/31.26 c 31 41408 11003 1 171.0000 3.0000 -
36.12/36.30 c 36 50824 12255 1 171.0000 3.0000 -
41.10/41.35 c 41 60062 12587 1 171.0000 3.0000 -
46.16/46.40 c 46 68735 13666 1 171.0000 3.0000 -
51.14/51.45 c 51 78094 14366 1 171.0000 3.0000 -
56.21/56.50 c 57 86786 15290 1 171.0000 3.0000 -
61.19/61.55 c 62 94708 16880 1 171.0000 3.0000 -
66.26/66.60 c 67 101532 18260 1 171.0000 3.0000 -
71.23/71.65 c 72 109522 19310 1 171.0000 3.0000 -
76.30/76.70 c 77 118925 20548 1 171.0000 3.0000 -
81.27/81.75 c 82 128991 21142 1 171.0000 3.0000 -
86.34/86.80 c 87 140521 22426 1 171.0000 3.0000 -
91.31/91.85 c 92 150771 23745 1 171.0000 3.0000 -
96.38/96.90 c 97 161057 24807 1 171.0000 3.0000 -
101.36/101.95 c 102 171512 25712 1 171.0000 3.0000 -
106.32/107.01 c 107 182229 26446 1 171.0000 3.0000 -
111.41/112.05 c 112 192739 27128 1 171.0000 3.0000 -
116.38/117.10 c 117 203742 28157 1 171.0000 3.0000 -
121.45/122.15 c 122 214583 29090 1 171.0000 3.0000 -
126.51/127.20 c 127 226313 29575 1 171.0000 3.0000 -
131.49/132.25 c 132 237518 30172 1 171.0000 3.0000 -
136.56/137.30 c 137 248384 30692 1 171.0000 3.0000 -
141.53/142.35 c 142 259444 31073 1 171.0000 3.0000 -
146.60/147.40 c 147 270507 31479 1 171.0000 3.0000 -
151.58/152.45 c 152 281847 31849 1 171.0000 3.0000 -
156.65/157.50 c 158 292872 31942 1 171.0000 3.0000 -
161.62/162.55 c 163 303142 32259 1 171.0000 3.0000 -
166.70/167.60 c 168 313794 32525 1 171.0000 3.0000 -
171.67/172.65 c 173 323510 33349 1 171.0000 3.0000 -
176.74/177.70 c 178 334786 33639 1 171.0000 3.0000 -
181.70/182.75 c 183 345631 33931 1 171.0000 3.0000 -
186.78/187.80 c 188 355233 34185 1 171.0000 3.0000 -
191.75/192.85 c 193 364830 34494 1 171.0000 3.0000 -
196.82/197.90 c 198 374285 35249 1 171.0000 3.0000 -
201.78/202.95 c 203 383951 35371 1 171.0000 3.0000 -
206.76/208.01 c 208 394531 35733 1 171.0000 3.0000 -
211.83/213.05 c 213 403798 35835 1 171.0000 3.0000 -
216.80/218.10 c 218 412685 36020 1 171.0000 3.0000 -
221.87/223.15 c 223 422590 36190 1 171.0000 3.0000 -
226.92/228.21 c 228 432106 36493 1 171.0000 3.0000 -
231.89/233.26 c 233 441284 36393 1 171.0000 3.0000 -
236.96/238.31 c 238 451224 36928 1 171.0000 3.0000 -
241.93/243.36 c 243 460623 36997 1 171.0000 3.0000 -
247.00/248.41 c 248 470349 37482 1 171.0000 3.0000 -
251.97/253.46 c 253 480080 37509 1 171.0000 3.0000 -
257.03/258.51 c 259 490049 37890 1 171.0000 3.0000 -
262.01/263.56 c 264 499737 37975 1 171.0000 3.0000 -
267.08/268.61 c 269 508887 38215 1 171.0000 3.0000 -
272.04/273.66 c 274 518843 38257 1 171.0000 3.0000 -
277.11/278.71 c 279 528725 38311 1 171.0000 3.0000 -
282.08/283.76 c 284 538432 38459 1 171.0000 3.0000 -
287.15/288.81 c 289 548062 38714 1 171.0000 3.0000 -
292.12/293.86 c 294 557595 39582 1 171.0000 3.0000 -
297.19/298.91 c 299 567761 40244 1 171.0000 3.0000 -
302.16/303.96 c 304 577906 41553 1 171.0000 3.0000 -
307.23/309.01 c 309 588645 41874 1 171.0000 3.0000 -
312.20/314.06 c 314 598718 42037 1 171.0000 3.0000 -
317.27/319.11 c 319 608767 42189 1 171.0000 3.0000 -
322.24/324.16 c 324 619004 42336 1 171.0000 3.0000 -
327.30/329.21 c 329 628688 42549 1 171.0000 3.0000 -
332.26/334.26 c 334 638360 42543 1 171.0000 3.0000 -
337.33/339.31 c 339 648415 42660 1 171.0000 3.0000 -
342.30/344.36 c 344 657794 42788 1 171.0000 3.0000 -
347.37/349.41 c 349 666923 42907 1 171.0000 3.0000 -
352.33/354.46 c 354 677059 43490 1 171.0000 3.0000 -
357.41/359.51 c 360 687571 43718 1 171.0000 3.0000 -
362.38/364.56 c 365 698376 43679 1 171.0000 3.0000 -
367.45/369.61 c 370 708163 43826 1 171.0000 3.0000 -
372.43/374.66 c 375 717541 44490 1 171.0000 3.0000 -
377.49/379.71 c 380 727096 44779 1 171.0000 3.0000 -
382.48/384.76 c 385 736979 44716 1 171.0000 3.0000 -
387.55/389.81 c 390 746221 44826 1 171.0000 3.0000 -
392.52/394.86 c 395 755809 44795 1 171.0000 3.0000 -
397.59/399.91 c 400 765426 44780 1 171.0000 3.0000 -
402.57/404.96 c 405 775548 45327 1 171.0000 3.0000 -
407.65/410.01 c 410 785364 45792 1 171.0000 3.0000 -
412.63/415.06 c 415 795905 46189 1 171.0000 3.0000 -
417.71/420.11 c 420 805799 46797 1 171.0000 3.0000 -
422.68/425.16 c 425 815584 47062 1 171.0000 3.0000 -
427.74/430.21 c 430 825692 47246 1 171.0000 3.0000 -
432.71/435.26 c 435 835937 47401 1 171.0000 3.0000 -
437.78/440.31 c 440 846134 47566 1 171.0000 3.0000 -
442.75/445.36 c 445 855882 47767 1 171.0000 3.0000 -
447.83/450.41 c 450 866111 47786 1 171.0000 3.0000 -
452.81/455.46 c 455 876114 48349 1 171.0000 3.0000 -
457.89/460.51 c 461 886045 49251 1 171.0000 3.0000 -
462.87/465.56 c 466 896846 49718 1 171.0000 3.0000 -
467.95/470.61 c 471 909049 49584 1 171.0000 3.0000 -
472.93/475.66 c 476 920667 49693 1 171.0000 3.0000 -
478.02/480.71 c 481 932136 50324 1 171.0000 3.0000 -
483.00/485.76 c 486 942382 50788 1 171.0000 3.0000 -
488.08/490.81 c 491 952522 50811 1 171.0000 3.0000 -
493.06/495.86 c 496 963662 51247 1 171.0000 3.0000 -
498.15/500.91 c 501 974501 51665 1 171.0000 3.0000 -
500.04/502.83 c * 503 977069 51721 1 25.0000 3.0000 -
503.12/505.96 c 506 986056 50482 1 25.0000 3.0000 -
505.11/507.92 c * 508 988144 50549 1 3.0000 3.0000 0.00%
505.42/508.20 c 508 990066 0 0 3.0000 3.0000 0.00%
505.42/508.23 c 508 990066 0 0 3.0000 3.0000 -
505.42/508.23 c SCIP Status : c problem is solved
505.42/508.23 c Total Time : 508.2200
505.42/508.23 c solving : 508.2200
505.42/508.23 c presolving : 0.0313 (included in solving)
505.42/508.23 c B&B Tree :
505.42/508.23 c nodes (total) : 990066
505.42/508.23 c Solution :
505.42/508.23 c Solutions found : 5
505.42/508.23 c Primal Bound : +3.00000000000000e+00
505.42/508.23 c Dual Bound : +3.00000000000000e+00
505.42/508.23 c Gap : 0.00000 %
505.42/508.23 o 3
505.42/508.23 s OPTIMUM FOUND
505.42/508.23 v -x243 -x242 -x241 x240 x239 -x238 x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 x227 x226 x162 x161 -x160 -x159 x158
505.42/508.23 v x157 -x156 -x155 x154 -x225 x224 x223 -x222 -x221 x220 -x219 -x218 x217 x153 -x152 x151 x150 -x149 x148 -x147 x146 x145 -x216
505.42/508.23 v -x215 -x214 -x213 -x212 x211 x210 -x209 -x208 -x144 x143 x142 x141 -x140 -x139 -x138 -x137 x136 -x207 x206 x205 -x204 x203
505.42/508.23 v -x202 x201 -x200 x199 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 x127 -x198 -x197 x196 x195 -x194 -x193 -x192 -x191 -x190
505.42/508.23 v x126 x125 -x124 -x123 -x122 -x121 x120 x119 x118 -x189 -x188 -x187 -x186 x185 -x184 x183 -x182 -x181 x117 x116 x115 x114 -x113
505.42/508.23 v -x112 -x111 -x110 x109 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x108 -x107 x106 -x105 -x104 -x103 x102 x101 x100
505.42/508.23 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 x99 x98 x97 -x96 -x95 x94 x93 x92 x91 -x90 -x89 x88 -x87 -x86 -x85 -x84
505.42/508.23 v x83 x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 x74 x73 x72 x71 x70 -x69 -x68 x67 -x66 x65 x64 -x63 x62 x61 -x60 -x59 -x58 -x57
505.42/508.23 v -x56 x55 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
505.42/508.23 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 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 (55499 MiB free)
memory of node 1: 64473 MiB (63825 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464810-1722382193/watcher-4464810-1722382193 -o /tmp/evaluation-result-4464810-1722382193/solver-4464810-1722382193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28207 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464810-1722382193.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=30560, runsolver pid=30557
[startup+0.100107 s]*
/proc/loadavg: 4.17 4.24 4.10 4/243 30576
/proc/meminfo: memFree=122199064/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=113524 memory=40052 CPUtime=0.1 cores=1,3
/proc/30560/stat : 30560 (fscip) R 30557 30560 28195 0 -1 1077936128 7391 0 0 0 9 1 0 0 20 0 3 0 4589935 116248576 10013 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 28381 10013 2950 3035 0 13931 0
[pid=30560/tid=30571] ppid=30557 vsize=113524 memory=4026532157 CPUtime=0.04 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 4857 0 0 0 4 0 0 0 20 0 3 0 4589940 116248576 10013 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=113524 memory=211376406882 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4589941 116248576 10013 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 113524 KiB
Current children cumulated memory: 40052 KiB
[startup+0.213328 s]*
/proc/loadavg: 4.17 4.24 4.10 5/243 30579
/proc/meminfo: memFree=122167272/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=113524 memory=40312 CPUtime=0.22 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 7421 0 0 0 20 2 0 0 20 0 3 0 4589935 116248576 10078 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 28381 10078 2950 3035 0 13931 0
[pid=30560/tid=30571] ppid=30557 vsize=113524 memory=7236794705693048951 CPUtime=0.15 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 4886 0 0 0 15 0 0 0 20 0 3 0 4589940 116248576 10078 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=113524 memory=80299 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4589941 116248576 10078 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 113524 KiB
Current children cumulated memory: 40312 KiB
[startup+0.31285 s]*
/proc/loadavg: 4.17 4.24 4.10 6/251 30591
/proc/meminfo: memFree=122151028/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=113524 memory=40312 CPUtime=0.32 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 7421 0 0 0 30 2 0 0 20 0 3 0 4589935 116248576 10078 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 28381 10078 2950 3035 0 13931 0
[pid=30560/tid=30571] ppid=30557 vsize=113524 memory=-5155630180624788357 CPUtime=0.25 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 4886 0 0 0 25 0 0 0 20 0 3 0 4589940 116248576 10078 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=113524 memory=0 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4589941 116248576 10078 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 113524 KiB
Current children cumulated memory: 40312 KiB
[startup+0.700347 s]
/proc/loadavg: 4.17 4.24 4.10 5/251 30591
/proc/meminfo: memFree=122142312/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=113524 memory=43476 CPUtime=0.69 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 8257 0 0 0 67 2 0 0 20 0 3 0 4589935 116248576 10869 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 28381 10869 2950 3035 0 14478 0
[pid=30560/tid=30571] ppid=30557 vsize=113524 memory=0 CPUtime=0.63 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 5722 0 0 0 63 0 0 0 20 0 3 0 4589940 116248576 10869 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=113524 memory=0 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4589941 116248576 10869 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113524 KiB
Current children cumulated memory: 43476 KiB
[startup+1.50037 s]
/proc/loadavg: 4.17 4.24 4.10 5/251 30591
/proc/meminfo: memFree=122119388/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=115384 memory=53988 CPUtime=1.48 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 16770 0 0 0 146 2 0 0 20 0 3 0 4589935 118153216 13497 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 28846 13497 2950 3035 0 17396 0
[pid=30560/tid=30571] ppid=30557 vsize=115384 memory=0 CPUtime=1.43 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 14235 0 0 0 142 1 0 0 20 0 3 0 4589940 118153216 13497 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=115384 memory=0 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4589941 118153216 13497 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115384 KiB
Current children cumulated memory: 53988 KiB
[startup+3.11299 s]
/proc/loadavg: 4.17 4.24 4.10 5/251 30591
/proc/meminfo: memFree=122104260/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=116076 memory=57448 CPUtime=3.09 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 18059 0 0 0 307 2 0 0 20 0 3 0 4589935 118861824 14362 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 29019 14362 2950 3035 0 18353 0
[pid=30560/tid=30571] ppid=30557 vsize=116076 memory=-5155627994486434693 CPUtime=3.03 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 15509 0 0 0 302 1 0 0 20 0 3 0 4589940 118861824 14362 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=116076 memory=0 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4589941 118861824 14362 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 116076 KiB
Current children cumulated memory: 57448 KiB
[startup+6.30034 s]
/proc/loadavg: 4.16 4.23 4.10 5/247 30591
/proc/meminfo: memFree=129216916/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=117040 memory=58780 CPUtime=6.27 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 23448 0 0 0 624 3 0 0 20 0 3 0 4589935 119848960 14695 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 29260 14695 2950 3035 0 18598 0
[pid=30560/tid=30571] ppid=30557 vsize=117040 memory=0 CPUtime=6.21 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 20874 0 0 0 619 2 0 0 20 0 3 0 4589940 119848960 14695 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=117040 memory=57800 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4589941 119848960 14695 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117040 KiB
Current children cumulated memory: 58780 KiB
[startup+12.7004 s]
/proc/loadavg: 4.15 4.23 4.10 5/247 30684
/proc/meminfo: memFree=128192444/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=119416 memory=72216 CPUtime=12.65 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 42143 0 0 0 1259 6 0 0 20 0 3 0 4589935 122281984 18054 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 29854 18054 3302 3035 0 21822 0
[pid=30560/tid=30571] ppid=30557 vsize=119416 memory=67852 CPUtime=12.59 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 39531 0 0 0 1254 5 0 0 20 0 3 0 4589940 122281984 18054 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=119416 memory=0 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4589941 122281984 18054 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 119416 KiB
Current children cumulated memory: 72216 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.22 4.10 5/247 30742
/proc/meminfo: memFree=124409312/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=119416 memory=84516 CPUtime=25.38 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 70913 0 0 0 2527 11 0 0 20 0 3 0 4589935 122281984 21129 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 29854 21129 3302 3035 0 24864 0
[pid=30560/tid=30571] ppid=30557 vsize=119416 memory=82972 CPUtime=25.32 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 68237 0 0 0 2523 9 0 0 20 0 3 0 4589940 122281984 21129 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=119416 memory=11516 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4589941 122281984 21129 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 119416 KiB
Current children cumulated memory: 84516 KiB
[startup+51.1132 s]
/proc/loadavg: 4.27 4.25 4.11 5/248 30748
/proc/meminfo: memFree=121645016/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=184952 memory=91904 CPUtime=50.85 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 108680 0 0 0 5065 20 0 0 20 0 3 0 4589935 189390848 22976 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 46238 22976 3318 3035 0 26468 0
[pid=30560/tid=30571] ppid=30557 vsize=184952 memory=11516 CPUtime=50.79 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 105922 0 0 0 5060 19 0 0 20 0 3 0 4589940 189390848 22976 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=184952 memory=14600 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4589941 189390848 22976 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 184952 KiB
Current children cumulated memory: 91904 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.22 4.10 5/248 30757
/proc/meminfo: memFree=121593264/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=194808 memory=132220 CPUtime=101.75 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 163408 0 0 0 10134 41 0 0 20 0 3 0 4589935 199483392 33055 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 48702 33055 3318 3035 0 36812 0
[pid=30560/tid=30571] ppid=30557 vsize=194808 memory=14600 CPUtime=101.68 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 160566 0 0 0 10129 39 0 0 20 0 3 0 4589940 199483392 33055 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=194808 memory=12624 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4589941 199483392 33055 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 101.75 s
Current children cumulated vsize: 194808 KiB
Current children cumulated memory: 132220 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.21 4.10 5/249 30770
/proc/meminfo: memFree=115899904/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=194808 memory=150620 CPUtime=161.43 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 215224 0 0 0 16079 64 0 0 20 0 3 0 4589935 199483392 37655 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 48702 37655 3318 3035 0 41146 0
[pid=30560/tid=30571] ppid=30557 vsize=194808 memory=0 CPUtime=161.35 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 212319 0 0 0 16073 62 0 0 20 0 3 0 4589940 199483392 37655 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=194808 memory=11516 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4589941 199483392 37655 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 161.43 s
Current children cumulated vsize: 194808 KiB
################
# More data... #
################
/proc/30560/statm: 65086 42760 3318 3035 0 46449 0
[pid=30560/tid=30571] ppid=30557 vsize=260344 memory=165688 CPUtime=280.6 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 260753 0 0 0 27950 110 0 0 20 0 3 0 4589940 266592256 42760 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=260344 memory=168568 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4589941 266592256 42760 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 280.69 s
Current children cumulated vsize: 260344 KiB
Current children cumulated memory: 171040 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/247 30801
/proc/meminfo: memFree=115806488/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=260344 memory=178688 CPUtime=340.32 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 287606 0 0 0 33896 136 0 0 20 0 3 0 4589935 266592256 44672 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 65086 44672 3318 3035 0 48373 0
[pid=30560/tid=30571] ppid=30557 vsize=260344 memory=178688 CPUtime=340.22 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 284621 0 0 0 33889 133 0 0 20 0 3 0 4589940 266592256 44672 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=260344 memory=178688 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4589941 266592256 44672 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 340.32 s
Current children cumulated vsize: 260344 KiB
Current children cumulated memory: 178688 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/247 30814
/proc/meminfo: memFree=115773396/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=260344 memory=190520 CPUtime=399.99 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 309883 0 0 0 39841 158 0 0 20 0 3 0 4589935 266592256 47630 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 65086 47630 3318 3035 0 51145 0
[pid=30560/tid=30571] ppid=30557 vsize=260344 memory=189580 CPUtime=399.88 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 306872 0 0 0 39833 155 0 0 20 0 3 0 4589940 266592256 47630 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=260344 memory=1972 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4589941 266592256 47630 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 399.99 s
Current children cumulated vsize: 260344 KiB
Current children cumulated memory: 190520 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/245 30870
/proc/meminfo: memFree=109468964/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=260344 memory=200168 CPUtime=459.68 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 322645 0 0 0 45790 178 0 0 20 0 3 0 4589935 266592256 50042 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 65086 50042 3318 3035 0 52896 0
[pid=30560/tid=30571] ppid=30557 vsize=260344 memory=200168 CPUtime=459.58 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 319617 0 0 0 45783 175 0 0 20 0 3 0 4589940 266592256 50042 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=260344 memory=2188 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4589941 266592256 50042 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 459.68 s
Current children cumulated vsize: 260344 KiB
Current children cumulated memory: 200168 KiB
[startup+508.23 s]
# the end of solver process 30560 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=503.534 s, system=1.91767 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.10 4.13 4.09 5/245 30873
/proc/meminfo: memFree=108442316/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=260344 memory=203936 CPUtime=483.69 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 325628 0 0 0 48185 184 0 0 20 0 3 0 4589935 266592256 50984 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 65086 50984 3318 3035 0 53786 0
[pid=30560/tid=30571] ppid=30557 vsize=260344 memory=5492 CPUtime=483.59 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 322584 0 0 0 48178 181 0 0 20 0 3 0 4589940 266592256 50984 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=260344 memory=12624 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4589941 266592256 50984 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 483.69 s
Current children cumulated vsize: 260344 KiB
Current children cumulated memory: 203936 KiB
[startup+499.2 s]
/proc/loadavg: 4.08 4.13 4.09 5/245 30877
/proc/meminfo: memFree=108101540/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=260344 memory=205516 CPUtime=496.45 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 325749 0 0 0 49458 187 0 0 20 0 3 0 4589935 266592256 51379 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 65086 51379 3318 3035 0 53786 0
[pid=30560/tid=30571] ppid=30557 vsize=260344 memory=11516 CPUtime=496.34 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 322705 0 0 0 49450 184 0 0 20 0 3 0 4589940 266592256 51379 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=260344 memory=5492 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4589941 266592256 51379 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 496.45 s
Current children cumulated vsize: 260344 KiB
Current children cumulated memory: 205516 KiB
[startup+502.4 s]
/proc/loadavg: 4.07 4.13 4.09 5/245 30877
/proc/meminfo: memFree=108075164/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=260344 memory=204496 CPUtime=499.63 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 326013 0 0 0 49775 188 0 0 20 0 3 0 4589935 266592256 51124 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 65086 51124 3318 3035 0 53786 0
[pid=30560/tid=30571] ppid=30557 vsize=260344 memory=205516 CPUtime=499.52 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 322969 0 0 0 49767 185 0 0 20 0 3 0 4589940 266592256 51124 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=260344 memory=-6000919502754311276 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4589941 266592256 51124 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 499.63 s
Current children cumulated vsize: 260344 KiB
Current children cumulated memory: 204496 KiB
[startup+505.6 s]
/proc/loadavg: 4.15 4.14 4.09 5/245 30877
/proc/meminfo: memFree=108035504/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=260344 memory=209620 CPUtime=502.83 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 327408 0 0 0 50093 190 0 0 20 0 3 0 4589935 266592256 52405 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 65086 52405 3318 3035 0 54715 0
[pid=30560/tid=30571] ppid=30557 vsize=260344 memory=2248 CPUtime=502.72 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 324346 0 0 0 50085 187 0 0 20 0 3 0 4589940 266592256 52405 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=260344 memory=1940 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4589941 266592256 52405 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 502.83 s
Current children cumulated vsize: 260344 KiB
Current children cumulated memory: 209620 KiB
[startup+507.2 s]
/proc/loadavg: 4.15 4.14 4.09 5/245 30877
/proc/meminfo: memFree=108035496/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=260344 memory=209860 CPUtime=504.41 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 327413 0 0 0 50251 190 0 0 20 0 3 0 4589935 266592256 52465 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 65086 52465 3318 3035 0 54715 0
[pid=30560/tid=30571] ppid=30557 vsize=260344 memory=14600 CPUtime=504.3 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 324351 0 0 0 50243 187 0 0 20 0 3 0 4589940 266592256 52465 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=260344 memory=12624 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4589941 266592256 52465 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 504.41 s
Current children cumulated vsize: 260344 KiB
Current children cumulated memory: 209860 KiB
[startup+508 s]*
/proc/loadavg: 4.15 4.14 4.09 5/245 30877
/proc/meminfo: memFree=108033488/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=260344 memory=212060 CPUtime=505.22 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 328162 0 0 0 50332 190 0 0 20 0 3 0 4589935 266592256 53015 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 65086 53015 3318 3035 0 55259 0
[pid=30560/tid=30571] ppid=30557 vsize=260344 memory=1940 CPUtime=505.12 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 325100 0 0 0 50324 188 0 0 20 0 3 0 4589940 266592256 53015 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=260344 memory=-6000919502754311276 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4589941 266592256 53015 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 505.22 s
Current children cumulated vsize: 260344 KiB
Current children cumulated memory: 212060 KiB
[startup+508.2 s]
/proc/loadavg: 4.15 4.14 4.09 5/245 30877
/proc/meminfo: memFree=108033488/131655788 swapFree=131071216/131071996
[pid=30560] ppid=30557 vsize=260344 memory=212060 CPUtime=505.42 cores=1,3
/proc/30560/stat : 30560 (fscip) S 30557 30560 28195 0 -1 1077936128 328533 0 0 0 50351 191 0 0 20 0 3 0 4589935 266592256 53015 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
/proc/30560/statm: 65086 53015 3318 3035 0 55259 0
[pid=30560/tid=30571] ppid=30557 vsize=260344 memory=1972 CPUtime=505.31 cores=1,3
/proc/30560/task/30571/stat : 30571 (fscip) R 30557 30560 28195 0 -1 4194368 325471 0 0 0 50343 188 0 0 20 0 3 0 4589940 266592256 53015 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
[pid=30560/tid=30574] ppid=30557 vsize=260344 memory=2188 CPUtime=0 cores=1,3
/proc/30560/task/30574/stat : 30574 (fscip) S 30557 30560 28195 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4589941 266592256 53015 134679101440 4194304 16623229 140736648686448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 55205888 140736648688666 140736648688782 140736648688782 140736648695792 0
Current children cumulated CPU time: 505.42 s
Current children cumulated vsize: 260344 KiB
Current children cumulated memory: 212060 KiB
Child status: 0
Real time (s): 508.23
CPU time (s): 505.452
CPU user time (s): 503.534
CPU system time (s): 1.91767
CPU usage (%): 99.4534
Max. virtual memory (cumulated for all children) (KiB): 260344
Max. memory (cumulated for all children) (KiB): 212060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 503.534
system time used= 1.91766
maximum resident set size= 212060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328771
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= 1627
involuntary context switches= 479
# summary of solver processes directly reported to runsolver:
# pid: 30560
# total CPU time (s): 505.452
# total CPU user time (s): 503.534
# total CPU system time (s): 1.91767
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.87954 second user time and 4.90803 second system time
The end
Begin job on nodeC007 at 2024-07-31 01:29:53
IDJOB=4464810
IDBENCH=148308
IDSOLVER=3092
FILE ID=nodeC007/4464810-1722382193
RUNJOBID= nodeC007-1722378594-28207
SLURM_JOB_ID= 8249837
Free space on /tmp= 723680 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.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-4464810-1722382193/watcher-4464810-1722382193 -o /tmp/evaluation-result-4464810-1722382193/solver-4464810-1722382193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28207 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464810-1722382193.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 38d74c6946365bca81da903286cf8100
RANDOM SEED=1453536771
nodeC007.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 : 3639.033
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.58
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 : 3490.946
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.35
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.373
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.58
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.210
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.35
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 : 3670.717
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.58
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 : 3491.500
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.35
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.411
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.58
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.193
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122192324 kB
MemAvailable: 122442916 kB
Buffers: 84616 kB
Cached: 1005860 kB
SwapCached: 100 kB
Active: 277660 kB
Inactive: 8749428 kB
Active(anon): 1492 kB
Inactive(anon): 7956236 kB
Active(file): 276168 kB
Inactive(file): 793192 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 28504 kB
Writeback: 4 kB
AnonPages: 7936556 kB
Mapped: 112252 kB
Shmem: 21076 kB
KReclaimable: 42860 kB
Slab: 118760 kB
SReclaimable: 42860 kB
SUnreclaim: 75900 kB
KernelStack: 3920 kB
PageTables: 24716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 7806744 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4562944 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: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723488 MiB
End job on nodeC007 at 2024-07-31 01:38:22