0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1 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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22970368, getVmSize() = 22970368, SCIPgetMemUsed() = 1223906, SCIPgetMemTotal() = 1530394, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 16433152, getVmSize() = 26329088, SCIPgetMemUsed() = 2357705, SCIPgetMemTotal() = 3718697, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4447910-1721361277
0.00/0.00 c Variables : 181 (181 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 242
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 180 (180 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 90
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 90
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.08/5.16 c 5 3606 2191 1 - 0.0000 -
10.15/10.21 c 10 16880 7397 1 - 0.0000 -
15.13/15.26 c 15 32039 12060 1 - 0.0000 -
20.21/20.30 c 20 45883 397 1 - 0.0000 -
25.18/25.35 c 25 60461 4039 1 - 0.0000 -
30.26/30.40 c 30 73168 5720 1 - 0.0000 -
35.24/35.45 c 35 85336 7359 1 - 0.0000 -
40.31/40.50 c 41 97246 8933 1 - 0.0000 -
45.29/45.55 c 46 109709 10028 1 - 0.0000 -
50.37/50.60 c 51 120696 10398 1 - 0.0000 -
55.34/55.65 c 56 132423 10939 1 - 0.0000 -
60.43/60.70 c 61 143532 11146 1 - 0.0000 -
65.41/65.74 c 66 153731 11416 1 - 0.0000 -
70.38/70.79 c 71 165840 12388 1 - 0.0000 -
75.47/75.85 c 76 177710 12554 1 - 0.0000 -
80.44/80.90 c 81 189703 12895 1 - 0.0000 -
85.53/85.94 c 86 200997 12727 1 - 0.0000 -
90.51/90.99 c 91 211570 12539 1 - 0.0000 -
95.59/96.04 c 96 223403 12847 1 - 0.0000 -
100.58/101.09 c 101 235660 12996 1 - 0.0000 -
105.66/106.14 c 106 247299 13303 1 - 0.0000 -
110.65/111.19 c 111 259026 13321 1 - 0.0000 -
115.72/116.24 c 116 270979 13303 1 - 0.0000 -
120.71/121.30 c 121 283345 13378 1 - 0.0000 -
125.79/126.35 c 126 294033 13488 1 - 0.0000 -
130.78/131.39 c 131 305381 13398 1 - 0.0000 -
135.86/136.44 c 136 316527 13037 1 - 0.0000 -
140.85/141.50 c 142 327642 13130 1 - 0.0000 -
145.93/146.54 c 147 338728 13063 1 - 0.0000 -
150.91/151.60 c 152 349632 12972 1 - 0.0000 -
155.99/156.64 c 157 360893 12951 1 - 0.0000 -
161.08/161.70 c 162 372728 12932 1 - 0.0000 -
166.05/166.74 c 167 384405 12902 1 - 0.0000 -
171.03/171.79 c 172 394922 12473 1 - 0.0000 -
176.11/176.84 c 177 405963 12420 1 - 0.0000 -
181.09/181.89 c 182 417276 12410 1 - 0.0000 -
186.17/186.94 c 187 428143 12691 1 - 0.0000 -
191.25/192.00 c 192 437979 12299 1 - 0.0000 -
196.23/197.04 c 197 448000 12128 1 - 0.0000 -
201.22/202.10 c 202 458227 11723 1 - 0.0000 -
206.30/207.15 c 207 469406 11715 1 - 0.0000 -
211.28/212.19 c 212 479515 11520 1 - 0.0000 -
216.36/217.24 c 217 489883 11314 1 - 0.0000 -
221.35/222.29 c 222 500057 10812 1 - 0.0000 -
226.43/227.34 c 227 509914 10283 1 - 0.0000 -
231.41/232.39 c 232 519349 9321 1 - 0.0000 -
236.49/237.44 c 237 529837 9181 1 - 0.0000 -
241.48/242.49 c 242 542505 9035 1 - 0.0000 -
246.56/247.54 c 248 552252 13034 1 - 0.0000 -
251.54/252.59 c 253 561245 14811 1 - 0.0000 -
256.62/257.65 c 258 570391 17145 1 - 0.0000 -
261.61/262.69 c 263 580099 18442 1 - 0.0000 -
266.69/267.74 c 268 589936 18994 1 - 0.0000 -
271.67/272.79 c 273 599809 19140 1 - 0.0000 -
276.77/277.84 c 278 610108 19478 1 - 0.0000 -
281.75/282.89 c 283 621268 19561 1 - 0.0000 -
286.83/287.94 c 288 631981 19997 1 - 0.0000 -
291.82/292.99 c 293 642387 19979 1 - 0.0000 -
296.90/298.04 c 298 652411 19808 1 - 0.0000 -
301.89/303.09 c 303 662851 19740 1 - 0.0000 -
306.97/308.14 c 308 673556 19608 1 - 0.0000 -
311.95/313.19 c 313 683742 19523 1 - 0.0000 -
317.03/318.24 c 318 693438 19720 1 - 0.0000 -
322.01/323.29 c 323 704022 19907 1 - 0.0000 -
327.10/328.34 c 328 714374 19708 1 - 0.0000 -
332.08/333.39 c 333 724006 19662 1 - 0.0000 -
337.17/338.44 c 338 733186 19292 1 - 0.0000 -
342.15/343.49 c 344 743483 19409 1 - 0.0000 -
347.23/348.55 c 349 752992 19202 1 - 0.0000 -
352.21/353.59 c 354 763162 19163 1 - 0.0000 -
357.30/358.64 c 359 773423 19045 1 - 0.0000 -
362.28/363.70 c 364 781968 18111 1 - 0.0000 -
363.49/364.86 c 365 783882 0 0 - 0.0000 -
363.49/364.87 c 365 783882 0 0 - 0.0000 -
363.49/364.87 c SCIP Status : c problem is solved [infeasible]
363.49/364.87 c Total Time : 364.8700
363.49/364.87 c solving : 364.8700
363.49/364.87 c presolving : 0.0030 (included in solving)
363.49/364.87 c B&B Tree :
363.49/364.87 c nodes (total) : 783882
363.49/364.87 c Solution :
363.49/364.87 c Solutions found : 0
363.49/364.87 c Primal Bound : -
363.49/364.87 c Dual Bound : -
363.49/364.87 c Gap : -
363.49/364.87 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60715 MiB free)
memory of node 1: 64473 MiB (59991 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447910-1721361277/watcher-4447910-1721361277 -o /tmp/evaluation-result-4447910-1721361277/solver-4447910-1721361277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982053 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447910-1721361277.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
solver pid=986256, runsolver pid=986253
Current StackSize limit: 8192 KiB
[startup+0.105906 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=123623512/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=26364 CPUtime=0.1 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 4097 0 0 0 10 0 0 0 20 0 3 0 188294782 111542272 6591 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 6591 2942 3032 0 10231 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 2505 0 0 0 9 0 0 0 20 0 3 0 188294783 111542272 6591 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=232851243367 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 6591 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 26364 KiB
[startup+0.205637 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=123650528/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=27156 CPUtime=0.19 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 4329 0 0 0 19 0 0 0 20 0 3 0 188294782 111542272 6789 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 6789 2942 3032 0 10379 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 2737 0 0 0 19 0 0 0 20 0 3 0 188294783 111542272 6789 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=1656803 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 6789 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 27156 KiB
[startup+0.305656 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=123688104/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=27684 CPUtime=0.29 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 4471 0 0 0 29 0 0 0 20 0 3 0 188294782 111542272 6921 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 6921 2942 3032 0 10393 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=-6370454262608214889 CPUtime=0.29 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 2879 0 0 0 29 0 0 0 20 0 3 0 188294783 111542272 6921 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=0 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 6921 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 27684 KiB
[startup+0.700257 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=123738124/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=30608 CPUtime=0.68 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 5303 0 0 0 68 0 0 0 20 0 3 0 188294782 111542272 7652 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 7652 2942 3032 0 10999 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=0 CPUtime=0.67 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 3711 0 0 0 67 0 0 0 20 0 3 0 188294783 111542272 7652 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=0 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 7652 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 30608 KiB
[startup+1.50024 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=124004296/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=31800 CPUtime=1.49 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 8784 0 0 0 148 1 0 0 20 0 3 0 188294782 111542272 7950 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 7950 2942 3032 0 11279 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=0 CPUtime=1.47 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 7174 0 0 0 147 0 0 0 20 0 3 0 188294783 111542272 7950 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=0 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 7950 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 31800 KiB
[startup+3.10551 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986309
/proc/meminfo: memFree=125700440/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=36236 CPUtime=3.08 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 10176 0 0 0 307 1 0 0 20 0 3 0 188294782 111542272 9059 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 9059 2942 3032 0 12342 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=2273 CPUtime=3.07 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 8563 0 0 0 306 1 0 0 20 0 3 0 188294783 111542272 9059 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=0 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 9059 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 36236 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129059468/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=38500 CPUtime=6.26 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 15309 0 0 0 624 2 0 0 20 0 3 0 188294782 111542272 9625 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 9625 2990 3032 0 12834 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=-6370454262608214889 CPUtime=6.26 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 13669 0 0 0 624 2 0 0 20 0 3 0 188294783 111542272 9625 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=38496 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 9625 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 38500 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129029484/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=44732 CPUtime=12.64 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 26497 0 0 0 1258 6 0 0 20 0 3 0 188294782 111542272 11183 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 11183 2990 3032 0 14628 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=38840 CPUtime=12.63 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 24811 0 0 0 1257 6 0 0 20 0 3 0 188294783 111542272 11183 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=39060 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 11183 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 44732 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 986360
/proc/meminfo: memFree=128976020/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=61972 CPUtime=25.38 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 48511 0 0 0 2526 12 0 0 20 0 3 0 188294782 111542272 15493 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 15493 2990 3032 0 19695 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=11608 CPUtime=25.37 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 46745 0 0 0 2525 12 0 0 20 0 3 0 188294783 111542272 15493 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=4352 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 15493 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 61972 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 986748
/proc/meminfo: memFree=128902564/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=70328 CPUtime=50.87 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 68643 0 0 0 5066 21 0 0 20 0 3 0 188294782 111542272 17582 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 17582 2990 3032 0 21143 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=69308 CPUtime=50.86 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 66813 0 0 0 5065 21 0 0 20 0 3 0 188294783 111542272 17582 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=69272 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 17582 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 70328 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 986757
/proc/meminfo: memFree=128775552/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=75952 CPUtime=101.87 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 87500 0 0 0 10152 35 0 0 20 0 3 0 188294782 111542272 18988 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 18988 2990 3032 0 21744 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=75740 CPUtime=101.85 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 85585 0 0 0 10150 35 0 0 20 0 3 0 188294783 111542272 18988 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=75740 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 18988 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 75952 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 986769
/proc/meminfo: memFree=128632908/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=78352 CPUtime=161.67 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 91287 0 0 0 16115 52 0 0 20 0 3 0 188294782 111542272 19588 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 19588 2990 3032 0 22365 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=11608 CPUtime=161.66 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 89329 0 0 0 16114 52 0 0 20 0 3 0 188294783 111542272 19588 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=11608 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 19588 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 78352 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 986949
/proc/meminfo: memFree=128501540/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=78416 CPUtime=221.45 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 92291 0 0 0 22078 67 0 0 20 0 3 0 188294782 111542272 19604 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 19604 2990 3032 0 22365 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=11608 CPUtime=221.42 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 90308 0 0 0 22076 66 0 0 20 0 3 0 188294783 111542272 19604 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=45740 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 19604 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 78416 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 986959
/proc/meminfo: memFree=128384416/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=79312 CPUtime=281.25 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 93595 0 0 0 28042 83 0 0 20 0 3 0 188294782 111542272 19828 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 19828 2990 3032 0 22365 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=78500 CPUtime=281.22 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 91589 0 0 0 28040 82 0 0 20 0 3 0 188294783 111542272 19828 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=45740 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 19828 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 79312 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 986973
/proc/meminfo: memFree=128247320/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85772 CPUtime=341.06 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 98220 0 0 0 34009 97 0 0 20 0 3 0 188294782 178651136 21443 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21443 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=78500 CPUtime=341.02 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 96191 0 0 0 34006 96 0 0 20 0 3 0 188294783 178651136 21443 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=45740 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21443 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85772 KiB
[startup+364.876 s]
# the end of solver process 986256 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=362.535 s, system=1.03225 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+345.6 s]
/proc/loadavg: 4.17 4.11 4.09 5/269 986975
/proc/meminfo: memFree=128239028/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=344.34 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 98239 0 0 0 34337 97 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=12384 CPUtime=344.32 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 96210 0 0 0 34335 97 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=81000 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 344.34 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB
[startup+358.4 s]
/proc/loadavg: 4.22 4.13 4.10 5/269 986976
/proc/meminfo: memFree=128209664/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=357.1 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 98258 0 0 0 35609 101 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=79312 CPUtime=357.06 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 96229 0 0 0 35606 100 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=12384 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 357.1 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB
[startup+361.6 s]
/proc/loadavg: 4.20 4.12 4.10 5/269 986976
/proc/meminfo: memFree=128206048/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=360.29 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 99322 0 0 0 35927 102 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=81000 CPUtime=360.25 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 97283 0 0 0 35924 101 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=85828 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 360.29 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB
[startup+363.2 s]
/proc/loadavg: 4.20 4.12 4.10 5/269 986979
/proc/meminfo: memFree=128201652/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=361.88 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 99334 0 0 0 36086 102 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=85828 CPUtime=361.86 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 97295 0 0 0 36084 102 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=85828 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 361.88 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB
[startup+364 s]*
/proc/loadavg: 4.19 4.12 4.10 5/269 986979
/proc/meminfo: memFree=128200336/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=362.68 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 99347 0 0 0 36166 102 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=6720661051987608173 CPUtime=362.66 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 97299 0 0 0 36164 102 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=-8549726973809049496 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 362.68 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB
[startup+364.4 s]
/proc/loadavg: 4.19 4.12 4.10 5/269 986979
/proc/meminfo: memFree=128200336/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=363.08 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 99347 0 0 0 36206 102 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=85828 CPUtime=363.05 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 97299 0 0 0 36203 102 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=16184 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 363.08 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB
[startup+364.8 s]
/proc/loadavg: 4.19 4.12 4.10 5/269 986979
/proc/meminfo: memFree=128200336/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=363.49 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 99372 0 0 0 36246 103 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=12384 CPUtime=363.45 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 97324 0 0 0 36243 102 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=11608 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 363.49 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB
Child status: 0
Real time (s): 364.876
CPU time (s): 363.567
CPU user time (s): 362.535
CPU system time (s): 1.03225
CPU usage (%): 99.6412
Max. virtual memory (cumulated for all children) (KiB): 174464
Max. memory (cumulated for all children) (KiB): 85828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 362.535
system time used= 1.03225
maximum resident set size= 85828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99985
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= 1147
involuntary context switches= 232
# summary of solver processes directly reported to runsolver:
# pid: 986256
# total CPU time (s): 363.567
# total CPU user time (s): 362.535
# total CPU system time (s): 1.03225
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.784563 second user time and 1.71352 second system time
The end
Begin job on nodeC028 at 2024-07-19 05:54:50
IDJOB=4447910
IDBENCH=160348
IDSOLVER=3064
FILE ID=nodeC028/4447910-1721361277
RUNJOBID= nodeC028-1721354084-982053
SLURM_JOB_ID= 7542773
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x30split.cnf-extracted.pb.metafix.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-4447910-1721361277/watcher-4447910-1721361277 -o /tmp/evaluation-result-4447910-1721361277/solver-4447910-1721361277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982053 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447910-1721361277.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= df1ea8e35ca351873c186fccf5f73c78
RANDOM SEED=109211817
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.036
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.123
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.006
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.824
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.044
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.919
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.819
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.020
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123594140 kB
MemAvailable: 124162148 kB
Buffers: 512892 kB
Cached: 896552 kB
SwapCached: 0 kB
Active: 1013100 kB
Inactive: 6309368 kB
Active(anon): 1536 kB
Inactive(anon): 5949212 kB
Active(file): 1011564 kB
Inactive(file): 360156 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56572 kB
Writeback: 0 kB
AnonPages: 5900964 kB
Mapped: 142132 kB
Shmem: 37720 kB
KReclaimable: 72224 kB
Slab: 179604 kB
SReclaimable: 72224 kB
SUnreclaim: 107380 kB
KernelStack: 4208 kB
PageTables: 21308 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1692548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2086912 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC028 at 2024-07-19 06:00:55