Trace number 4450120

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02UNSAT 450.339 451.728

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l060-r059-n1.cnf-plain.pb.metafix.opb
MD5SUM941394ab05487707ac91e3110f759ebc
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.12536
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4257
Total number of constraints13413
Number of constraints which are clauses13413
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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.04	c Default LC presolving (default).
0.00/0.04	c ** Before presolving: virtualMemUsedAtLc = 50552832, getVmSize() = 50552832, SCIPgetMemUsed() = 23373977, SCIPgetMemTotal() = 27837865, SCIPgetMemExternEstim() = 16383942
0.00/0.04	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.21	c ** Estimated virtualMemUsedAtSolver = 62215305, getVmSize() = 101986304, SCIPgetMemUsed() = 51680000, SCIPgetMemTotal() = 76939016, SCIPgetMemExternEstim() = 16383942
0.20/0.21	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.20/0.21	c Original Problem   :
0.20/0.21	c   Problem name     : instance-4450120-1721406858
0.20/0.21	c   Variables        : 4257 (4257 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.21	c   Constraints      : 13413
0.20/0.21	c   Objective sense  : minimize
0.20/0.21	c Presolved Problem  :
0.20/0.21	c   Variables        : 4255 (4255 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.21	c   Constraints      : 9158
0.20/0.21	c Constraints        : Number
0.20/0.21	c   setppc           : 9156 
0.20/0.21	c   orbitope         : 2 
0.20/0.21	c ** Instance transfer method used: 0
0.20/0.23	c ** ParaScipInstance copy increased the number of variables. **
0.20/0.24	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.24	c                                Nodes    Active                                            
0.20/0.24	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
6.75/6.84	c         7             12          11         1                -           0.0000          -
12.24/12.31	c        12            250          98         1                -           0.0000          -
17.33/17.45	c        17            632          78         1                -           0.0000          -
22.52/22.67	c        23           1018         107         1                -           0.0000          -
32.19/32.30	c        32           1569           1         1                -           0.0000          -
37.27/37.45	c        37           2129          39         1                -           0.0000          -
42.35/42.54	c        43           2701          67         1                -           0.0000          -
47.44/47.61	c        48           3415          40         1                -           0.0000          -
52.52/52.79	c        53           3967          35         1                -           0.0000          -
57.70/57.95	c        58           4555          20         1                -           0.0000          -
62.99/63.26	c        63           5135          25         1                -           0.0000          -
68.18/68.42	c        68           5820          17         1                -           0.0000          -
73.36/73.65	c        74           6341          42         1                -           0.0000          -
78.64/78.97	c        79           6944          23         1                -           0.0000          -
84.03/84.33	c        84           7508          25         1                -           0.0000          -
89.11/89.41	c        89           8041          25         1                -           0.0000          -
94.29/94.60	c        95           8549          25         1                -           0.0000          -
99.27/99.65	c       100           9079          20         1                -           0.0000          -
104.37/104.74	c       105           9085          22         1                -           0.0000          -
109.35/109.78	c       110           9621          19         1                -           0.0000          -
114.53/114.96	c       115          10099          21         1                -           0.0000          -
119.62/120.05	c       120          10772          31         1                -           0.0000          -
124.71/125.11	c       125          11323          22         1                -           0.0000          -
129.88/130.33	c       130          11831          26         1                -           0.0000          -
134.87/135.37	c       135          12371          25         1                -           0.0000          -
139.96/140.48	c       140          12801          24         1                -           0.0000          -
145.14/145.61	c       146          13349          17         1                -           0.0000          -
150.23/150.74	c       151          13707          19         1                -           0.0000          -
155.41/155.91	c       156          14084          37         1                -           0.0000          -
160.40/160.96	c       161          14606          32         1                -           0.0000          -
165.49/166.04	c       166          15042          48         1                -           0.0000          -
170.57/171.17	c       171          15630          43         1                -           0.0000          -
175.64/176.23	c       176          16195          30         1                -           0.0000          -
180.73/181.30	c       181          16793          30         1                -           0.0000          -
185.72/186.37	c       186          17394          35         1                -           0.0000          -
190.91/191.56	c       192          18019          29         1                -           0.0000          -
196.09/196.73	c       197          18597          31         1                -           0.0000          -
207.46/208.19	c       208          19084          37         1                -           0.0000          -
212.54/213.25	c       213          19562          37         1                -           0.0000          -
217.72/218.47	c       218          20100          37         1                -           0.0000          -
222.81/223.52	c       224          20694          47         1                -           0.0000          -
227.89/228.64	c       229          21173          54         1                -           0.0000          -
233.07/233.81	c       234          21812          50         1                -           0.0000          -
238.06/238.88	c       239          22425          51         1                -           0.0000          -
243.15/243.99	c       244          22942          51         1                -           0.0000          -
248.23/249.05	c       249          23525          47         1                -           0.0000          -
253.32/254.13	c       254          24046          57         1                -           0.0000          -
258.31/259.17	c       259          24590          52         1                -           0.0000          -
263.48/264.34	c       264          25110          48         1                -           0.0000          -
268.77/269.62	c       270          25657          51         1                -           0.0000          -
273.75/274.68	c       275          26169          47         1                -           0.0000          -
278.94/279.88	c       280          26721          49         1                -           0.0000          -
284.13/285.04	c       285          27361          51         1                -           0.0000          -
289.11/290.10	c       290          27977          49         1                -           0.0000          -
294.29/295.20	c       295          28690          48         1                -           0.0000          -
299.37/300.30	c       300          29368          54         1                -           0.0000          -
304.36/305.36	c       305          29947          44         1                -           0.0000          -
309.44/310.46	c       310          30470          49         1                -           0.0000          -
314.53/315.52	c       316          31010          48         1                -           0.0000          -
319.51/320.58	c       321          31562          43         1                -           0.0000          -
324.60/325.69	c       326          32131          48         1                -           0.0000          -
329.78/330.86	c       331          32682          59         1                -           0.0000          -
334.87/335.92	c       336          33288          48         1                -           0.0000          -
339.95/341.06	c       341          33920          53         1                -           0.0000          -
345.04/346.13	c       346          34510          46         1                -           0.0000          -
350.12/351.20	c       351          35119          49         1                -           0.0000          -
355.70/356.83	c       357          35531          45         1                -           0.0000          -
360.78/361.98	c       362          36052          40         1                -           0.0000          -
365.98/367.18	c       367          36611          37         1                -           0.0000          -
371.16/372.37	c       372          37084          40         1                -           0.0000          -
376.24/377.45	c       377          37624          37         1                -           0.0000          -
381.33/382.54	c       383          38141          42         1                -           0.0000          -
386.41/387.65	c       388          38761          36         1                -           0.0000          -
391.69/392.91	c       393          39307          35         1                -           0.0000          -
396.68/397.99	c       398          39880          38         1                -           0.0000          -
401.76/403.05	c       403          40390          29         1                -           0.0000          -
406.85/408.12	c       408          41005          31         1                -           0.0000          -
411.84/413.19	c       413          41571          24         1                -           0.0000          -
416.91/418.25	c       418          42157          25         1                -           0.0000          -
422.00/423.38	c       423          42678          23         1                -           0.0000          -
427.08/428.45	c       428          43332          19         1                -           0.0000          -
432.16/433.52	c       434          44009          13         1                -           0.0000          -
437.15/438.59	c       439          44693          20         1                -           0.0000          -
442.23/443.65	c       444          45226          10         1                -           0.0000          -
447.32/448.79	c       449          45801          13         1                -           0.0000          -
450.20/451.64	c       452          46159           0         0                -           0.0000          -
450.20/451.69	c       452          46159           0         0                -           0.0000          -
450.20/451.69	c SCIP Status        : c problem is solved [infeasible]
450.20/451.69	c Total Time         : 451.7000
450.20/451.69	c   solving          : 451.7000
450.20/451.69	c   presolving       : 0.1771 (included in solving)
450.20/451.69	c B&B Tree           :
450.20/451.69	c   nodes (total)    : 46159
450.20/451.69	c Solution           :
450.20/451.69	c   Solutions found  : 0
450.20/451.69	c   Primal Bound     :          -
450.20/451.69	c   Dual Bound       :          -
450.20/451.69	c Gap                :          -
450.31/451.72	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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: 63931 MiB (60834 MiB free)
  memory of node 1: 64510 MiB (58970 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450120-1721406858/watcher-4450120-1721406858 -o /tmp/evaluation-result-4450120-1721406858/solver-4450120-1721406858 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037851 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450120-1721406858.opb -qsol -t 3600 -sth 1 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1040119, runsolver pid=1040116

[startup+0.100787 s]*
/proc/loadavg: 4.06 4.10 4.09 5/264 1040120
/proc/meminfo: memFree=122641764/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=59880 memory=48940 CPUtime=0.09 cores=5,7
/proc/1040119/stat : 1040119 (fscip) R 1040116 1040119 1035639 0 -1 4194304 12198 0 0 0 8 1 0 0 20 0 1 0 192854086 61317120 12235 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 14970 12235 2670 3032 0 11370 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59880 KiB
Current children cumulated memory: 48940 KiB

[startup+0.205513 s]*
/proc/loadavg: 4.06 4.10 4.09 5/264 1040120
/proc/meminfo: memFree=122634288/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=94484 memory=68744 CPUtime=0.2 cores=5,7
/proc/1040119/stat : 1040119 (fscip) R 1040116 1040119 1035639 0 -1 4194304 18140 0 0 0 18 2 0 0 20 0 1 0 192854086 96751616 17186 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 23621 17186 2750 3032 0 20021 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 94484 KiB
Current children cumulated memory: 68744 KiB

[startup+0.305775 s]*
/proc/loadavg: 4.06 4.10 4.09 5/266 1040122
/proc/meminfo: memFree=122569872/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=208540 memory=118960 CPUtime=0.29 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 30758 0 0 0 25 4 0 0 20 0 3 0 192854086 213544960 29740 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 52135 29740 2766 3032 0 37340 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=208540 memory=-7664417297291437440 CPUtime=0.06 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 8219 0 0 0 5 1 0 0 20 0 3 0 192854108 213544960 29740 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=208540 memory=0 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192854111 213544960 29740 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 208540 KiB
Current children cumulated memory: 118960 KiB

[startup+0.700264 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 1040122
/proc/meminfo: memFree=122547640/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=210656 memory=139312 CPUtime=0.68 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 35986 0 0 0 63 5 0 0 20 0 3 0 192854086 215711744 34828 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 52664 34828 2910 3032 0 42420 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=210656 memory=5428 CPUtime=0.45 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 13447 0 0 0 43 2 0 0 20 0 3 0 192854108 215711744 34828 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=210656 memory=417 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192854111 215711744 34828 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 210656 KiB
Current children cumulated memory: 139312 KiB

[startup+1.50027 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 1040122
/proc/meminfo: memFree=122541232/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=278396 memory=172324 CPUtime=1.47 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 51914 0 0 0 141 6 0 0 20 0 3 0 192854086 285077504 43081 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 69599 43081 2926 3032 0 52248 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=278396 memory=417 CPUtime=1.24 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 29372 0 0 0 121 3 0 0 20 0 3 0 192854108 285077504 43081 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=278396 memory=0 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 192854111 285077504 43081 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 278396 KiB
Current children cumulated memory: 172324 KiB

[startup+3.10544 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 1040122
/proc/meminfo: memFree=122502020/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=278396 memory=172568 CPUtime=3.07 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 52771 0 0 0 301 6 0 0 20 0 3 0 192854086 285077504 43142 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 69599 43142 2926 3032 0 52248 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=278396 memory=-7664417297291437440 CPUtime=2.84 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 30229 0 0 0 281 3 0 0 20 0 3 0 192854108 285077504 43142 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=278396 memory=0 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 192854111 285077504 43142 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 278396 KiB
Current children cumulated memory: 172568 KiB

[startup+6.30026 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 1040122
/proc/meminfo: memFree=122467728/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=278396 memory=196692 CPUtime=6.26 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 72857 0 0 0 619 7 0 0 20 0 3 0 192854086 285077504 49173 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 69599 49173 2974 3032 0 57073 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=278396 memory=11400 CPUtime=6.04 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 50293 0 0 0 599 5 0 0 20 0 3 0 192854108 285077504 49173 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=278396 memory=11400 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 192854111 285077504 49173 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 278396 KiB
Current children cumulated memory: 196692 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 4.10 4.09 5/267 1040124
/proc/meminfo: memFree=122433912/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=278592 memory=206720 CPUtime=12.64 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 112738 0 0 0 1254 10 0 0 20 0 3 0 192854086 285278208 51680 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 69648 51680 2974 3032 0 60307 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=278592 memory=196692 CPUtime=12.41 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 90140 0 0 0 1234 7 0 0 20 0 3 0 192854108 285278208 51680 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=278592 memory=-7313700408424502380 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 192854111 285278208 51680 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 278592 KiB
Current children cumulated memory: 206720 KiB

[startup+25.5003 s]
/proc/loadavg: 4.04 4.09 4.08 5/267 1040126
/proc/meminfo: memFree=122386984/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=278836 memory=231684 CPUtime=25.41 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 163989 0 0 0 2525 16 0 0 20 0 3 0 192854086 285528064 57921 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 69709 57921 2974 3032 0 66083 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=278836 memory=11400 CPUtime=25.17 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 141357 0 0 0 2504 13 0 0 20 0 3 0 192854108 285528064 57921 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=278836 memory=11400 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 192854111 285528064 57921 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 278836 KiB
Current children cumulated memory: 231684 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 1040178
/proc/meminfo: memFree=122338588/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=323468 memory=232500 CPUtime=50.93 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 196286 0 0 0 5073 20 0 0 20 0 3 0 192854086 331231232 58125 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 80867 58125 2974 3032 0 77241 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=323468 memory=232380 CPUtime=50.7 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 173610 0 0 0 5053 17 0 0 20 0 3 0 192854108 331231232 58125 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=323468 memory=21604 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 192854111 331231232 58125 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 323468 KiB
Current children cumulated memory: 232500 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 1040187
/proc/meminfo: memFree=122176360/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=401452 memory=254076 CPUtime=101.98 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 236572 0 0 0 10171 27 0 0 20 0 3 0 192854086 411086848 63519 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 100363 63519 2974 3032 0 86985 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=401452 memory=11400 CPUtime=101.73 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 213855 0 0 0 10150 23 0 0 20 0 3 0 192854108 411086848 63519 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=401452 memory=11400 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 192854111 411086848 63519 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 401452 KiB
Current children cumulated memory: 254076 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 1040197
/proc/meminfo: memFree=122032088/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=406416 memory=277956 CPUtime=161.8 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 275449 0 0 0 16147 33 0 0 20 0 3 0 192854086 416169984 69489 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 101604 69489 2974 3032 0 95901 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=406416 memory=11400 CPUtime=161.55 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 252683 0 0 0 16126 29 0 0 20 0 3 0 192854108 416169984 69489 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=406416 memory=277924 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 192854111 416169984 69489 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 406416 KiB
Current children cumulated memory: 277956 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 1040210
/proc/meminfo: memFree=121894360/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=472540 memory=319260 CPUtime=221.61 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 307685 0 0 0 22121 40 0 0 20 0 3 0 192854086 483880960 79815 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 118135 79815 2974 3032 0 107945 0

################
# More data... #
################

[pid=1040119] ppid=1040116 vsize=473720 memory=360272 CPUtime=341.25 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 368270 0 0 0 34074 51 0 0 20 0 3 0 192854086 485089280 90068 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 118430 90068 2974 3032 0 114583 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=473720 memory=16216 CPUtime=340.99 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 345443 0 0 0 34052 47 0 0 20 0 3 0 192854108 485089280 90068 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=473720 memory=345456 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 192854111 485089280 90068 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 473720 KiB
Current children cumulated memory: 360272 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 1040247
/proc/meminfo: memFree=121535272/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=541280 memory=423348 CPUtime=401.06 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 399592 0 0 0 40048 58 0 0 20 0 3 0 192854086 554270720 105837 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 135320 105837 2974 3032 0 120807 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=541280 memory=16216 CPUtime=400.81 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 376743 0 0 0 40027 54 0 0 20 0 3 0 192854108 554270720 105837 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=541280 memory=345456 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 192854111 554270720 105837 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 541280 KiB
Current children cumulated memory: 423348 KiB

[startup+451.728 s]
# the end of solver process 1040119 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=449.694 s, system=0.64498 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+409.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 1040249
/proc/meminfo: memFree=121527152/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=541280 memory=423348 CPUtime=408.34 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 399858 0 0 0 40775 59 0 0 20 0 3 0 192854086 554270720 105837 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 135320 105837 2974 3032 0 120807 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=541280 memory=5428 CPUtime=408.08 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 377009 0 0 0 40754 54 0 0 20 0 3 0 192854108 554270720 105837 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=541280 memory=11400 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 192854111 554270720 105837 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 408.34 s
Current children cumulated vsize: 541280 KiB
Current children cumulated memory: 423348 KiB

[startup+435.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 1040252
/proc/meminfo: memFree=121489684/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=541280 memory=432588 CPUtime=433.86 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 406829 0 0 0 43325 61 0 0 20 0 3 0 192854086 554270720 108147 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 135320 108147 2974 3032 0 120807 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=541280 memory=13120 CPUtime=433.59 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 383967 0 0 0 43303 56 0 0 20 0 3 0 192854108 554270720 108147 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=541280 memory=45960 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 192854111 554270720 108147 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 433.86 s
Current children cumulated vsize: 541280 KiB
Current children cumulated memory: 432588 KiB

[startup+441.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 1040254
/proc/meminfo: memFree=121481948/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=541280 memory=436020 CPUtime=440.24 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 406967 0 0 0 43963 61 0 0 20 0 3 0 192854086 554270720 109005 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 135320 109005 2974 3032 0 120807 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=541280 memory=432452 CPUtime=439.97 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 384105 0 0 0 43941 56 0 0 20 0 3 0 192854108 554270720 109005 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=541280 memory=5428 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 192854111 554270720 109005 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 440.24 s
Current children cumulated vsize: 541280 KiB
Current children cumulated memory: 436020 KiB

[startup+448 s]*
/proc/loadavg: 4.10 4.10 4.09 5/267 1040254
/proc/meminfo: memFree=121468948/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=541280 memory=436020 CPUtime=446.62 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 419487 0 0 0 44600 62 0 0 20 0 3 0 192854086 554270720 109005 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 135320 109005 2974 3032 0 120807 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=541280 memory=-7313700408541549676 CPUtime=446.35 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 396621 0 0 0 44578 57 0 0 20 0 3 0 192854108 554270720 109005 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=541280 memory=-9187040412016345026 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 192854111 554270720 109005 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 446.62 s
Current children cumulated vsize: 541280 KiB
Current children cumulated memory: 436020 KiB

[startup+449.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 1040255
/proc/meminfo: memFree=121468780/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=541280 memory=436020 CPUtime=448.21 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 419703 0 0 0 44759 62 0 0 20 0 3 0 192854086 554270720 109005 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 135320 109005 2974 3032 0 120807 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=541280 memory=11400 CPUtime=447.94 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 396837 0 0 0 44737 57 0 0 20 0 3 0 192854108 554270720 109005 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=541280 memory=45960 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 192854111 554270720 109005 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 448.21 s
Current children cumulated vsize: 541280 KiB
Current children cumulated memory: 436020 KiB

[startup+450.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 1040255
/proc/meminfo: memFree=121468220/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=541280 memory=436020 CPUtime=449.01 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 419804 0 0 0 44839 62 0 0 20 0 3 0 192854086 554270720 109005 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 135320 109005 2974 3032 0 120807 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=541280 memory=13120 CPUtime=448.74 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 396938 0 0 0 44817 57 0 0 20 0 3 0 192854108 554270720 109005 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=541280 memory=-7313700408424502380 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 192854111 554270720 109005 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 449.01 s
Current children cumulated vsize: 541280 KiB
Current children cumulated memory: 436020 KiB

[startup+451.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 1040255
/proc/meminfo: memFree=121460972/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=541280 memory=442888 CPUtime=449.81 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 420030 0 0 0 44919 62 0 0 20 0 3 0 192854086 554270720 110722 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 135320 110722 2974 3032 0 120807 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=541280 memory=436020 CPUtime=449.54 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 397164 0 0 0 44897 57 0 0 20 0 3 0 192854108 554270720 110722 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=541280 memory=436020 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 192854111 554270720 110722 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 449.81 s
Current children cumulated vsize: 541280 KiB
Current children cumulated memory: 442888 KiB

[startup+451.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 1040255
/proc/meminfo: memFree=121460972/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=541280 memory=442888 CPUtime=450.2 cores=5,7
/proc/1040119/stat : 1040119 (fscip) S 1040116 1040119 1035639 0 -1 1077936128 420045 0 0 0 44958 62 0 0 20 0 3 0 192854086 554270720 110722 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 135320 110722 2974 3032 0 120807 0
[pid=1040119/tid=1040121] ppid=1040116 vsize=541280 memory=2228 CPUtime=449.94 cores=5,7
/proc/1040119/task/1040121/stat : 1040121 (fscip) R 1040116 1040119 1035639 0 -1 4194368 397179 0 0 0 44936 58 0 0 20 0 3 0 192854108 554270720 110722 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=541280 memory=-7313700408424502380 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 192854111 554270720 110722 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 450.2 s
Current children cumulated vsize: 541280 KiB
Current children cumulated memory: 442888 KiB

[startup+451.708 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 1040255
/proc/meminfo: memFree=121460972/131524600 swapFree=131071996/131071996
[pid=1040119] ppid=1040116 vsize=376312 memory=297248 CPUtime=450.31 cores=5,7
/proc/1040119/stat : 1040119 (fscip) R 1040116 1040119 1035639 0 -1 4194304 428951 0 0 0 44968 63 0 0 20 0 2 0 192854086 385343488 74312 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
/proc/1040119/statm: 94078 74312 2974 3032 0 90239 0
[pid=1040119/tid=1040122] ppid=1040116 vsize=376312 memory=11400 CPUtime=0 cores=5,7
/proc/1040119/task/1040122/stat : 1040122 (fscip) S 1040116 1040119 1035639 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 2 0 192854111 385343488 74312 134679101440 4194304 16613245 140735820147360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38641664 140735820153875 140735820153991 140735820153991 140735820161008 0
Current children cumulated CPU time: 450.31 s
Current children cumulated vsize: 376312 KiB
Current children cumulated memory: 297248 KiB

Child status: 0

Real time (s): 451.728
CPU time (s): 450.339
CPU user time (s): 449.694
CPU system time (s): 0.64498
CPU usage (%): 99.6925
Max. virtual memory (cumulated for all children) (KiB): 541280
Max. memory (cumulated for all children) (KiB): 442888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 449.694
system time used= 0.64498
maximum resident set size= 442888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432838
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= 1320
involuntary context switches= 423


# summary of solver processes directly reported to runsolver:
#   pid: 1040119
#   total CPU time (s): 450.339
#   total CPU user time (s): 449.694
#   total CPU system time (s): 0.64498

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.893555 second user time and 2.2062 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-19 18:34:31
IDJOB=4450120
IDBENCH=160404
IDSOLVER=3064
FILE ID=nodeC031/4450120-1721406858
RUNJOBID= nodeC031-1721403263-1037851
SLURM_JOB_ID= 7545454
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l060-r059-n1.cnf-plain.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-4450120-1721406858/watcher-4450120-1721406858 -o /tmp/evaluation-result-4450120-1721406858/solver-4450120-1721406858 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037851 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4450120-1721406858.opb -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 941394ab05487707ac91e3110f759ebc
RANDOM SEED=672021508

nodeC031.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		: 3674.820
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.55
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		: 3676.056
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.11
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		: 3599.734
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.55
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		: 3600.106
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.11
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		: 3674.855
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.55
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		: 3679.355
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.11
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		: 3600.211
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.55
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		: 3669.655
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122680984 kB
MemAvailable:   129230216 kB
Buffers:          511680 kB
Cached:          6803908 kB
SwapCached:            0 kB
Active:          1046724 kB
Inactive:        7008588 kB
Active(anon):       1536 kB
Inactive(anon):   784080 kB
Active(file):    1045188 kB
Inactive(file):  6224508 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114700 kB
Writeback:             0 kB
AnonPages:        738020 kB
Mapped:           142852 kB
Shmem:             45912 kB
KReclaimable:     238364 kB
Slab:             368192 kB
SReclaimable:     238364 kB
SUnreclaim:       129828 kB
KernelStack:        4208 kB
PageTables:        10976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     948152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72288 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 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:      254676 kB
DirectMap2M:    39364608 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC031 at 2024-07-19 18:42:03