Trace number 4491436

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
Sat4j Resolution 2025-06-06UNSAT 2591.62 2585.64

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM911cf7319fa5fa56cdd8e7a94536c536
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 benchmark43.6526
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables168111
Total number of constraints487525
Number of constraints which are clauses468727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18798
Minimum length of a constraint1
Maximum length of a constraint15
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.18	c See www.sat4j.org for details.
0.11/0.20	c version PB25.v20250606
0.11/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.23	c java.vm.version	22.0.1+8-16
0.11/0.23	c java.vm.vendor	Oracle Corporation
0.11/0.23	c sun.arch.data.model	64
0.11/0.23	c java.version		22.0.1
0.11/0.23	c os.name		Linux
0.11/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.23	c os.arch		amd64
0.27/0.23	c Free memory 		2104792832
0.27/0.23	c Max memory 		16282288128
0.27/0.24	c Total memory 		2113929216
0.27/0.24	c Number of processors 	2
0.42/0.32	c Pseudo Boolean Optimization by upper bound
0.42/0.32	c --- Begin Solver configuration ---
0.42/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.32	c Learn all clauses as in MiniSAT
0.42/0.32	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.32	c Expensive reason simplification
0.42/0.32	c Glucose 2.1 dynamic restart strategy
0.42/0.32	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.42/0.32	c timeout=2147483s
0.42/0.32	c DB Simplification allowed=false
0.42/0.32	c Listener: none
0.42/0.32	c --- End Solver configuration ---
0.42/0.33	c solving HOME/instance-4491436-1751142673.opb
0.42/0.33	c reading problem ... 
0.42/0.33	c  no objective function found
4.17/2.41	c ... done. Wall clock time 2.077s.
4.17/2.41	c declared #vars     168111
4.17/2.41	c #constraints  487525
4.17/2.41	c constraints type 
4.17/2.41	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 313584
4.17/2.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18798
4.17/2.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 155142
4.17/2.41	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
4.17/2.41	c 487525 constraints processed.
9.86/6.75	c cleaning 2492 clauses out of 5000 with flag 15531/5002
21.41/18.10	c cleaning 4248 clauses out of 8506 with flag 51003/11000
37.78/33.42	c cleaning 5621 clauses out of 11259 with flag 99548/18001
44.09/39.70	c cleaning 6796 clauses out of 13637 with flag 136347/26000
57.68/53.35	c cleaning 7892 clauses out of 15840 with flag 189565/35000
64.57/60.27	c cleaning 8939 clauses out of 17950 with flag 239629/45002
81.35/76.84	c cleaning 9993 clauses out of 20009 with flag 319258/56001
102.10/97.68	c cleaning 10984 clauses out of 22015 with flag 418508/68001
121.36/116.99	c cleaning 12008 clauses out of 24030 with flag 518997/81000
139.03/134.69	c cleaning 13002 clauses out of 26023 with flag 617714/95001
157.81/153.49	c cleaning 14001 clauses out of 28021 with flag 720569/110001
177.07/172.71	c cleaning 14997 clauses out of 30018 with flag 830900/126000
209.77/205.47	c cleaning 15973 clauses out of 32023 with flag 982419/143002
230.52/226.18	c cleaning 17014 clauses out of 34049 with flag 1114436/161001
258.55/254.29	c cleaning 18017 clauses out of 36034 with flag 1270609/180000
294.17/290.00	c cleaning 18985 clauses out of 38015 with flag 1464158/200001
320.52/316.37	c cleaning 20013 clauses out of 40029 with flag 1632603/221000
344.96/340.85	c cleaning 21007 clauses out of 42017 with flag 1812728/243001
386.59/382.59	c cleaning 21993 clauses out of 44010 with flag 2043461/266002
428.46/424.47	c cleaning 22994 clauses out of 46016 with flag 2269376/290001
462.42/458.40	c cleaning 23987 clauses out of 48018 with flag 2475139/315000
509.46/505.59	c cleaning 25000 clauses out of 50031 with flag 2718315/341000
549.21/545.39	c cleaning 26002 clauses out of 52031 with flag 2966646/368001
601.75/597.97	c cleaning 27012 clauses out of 54027 with flag 3248439/396001
673.67/669.96	c cleaning 27997 clauses out of 56016 with flag 3651409/425002
736.77/733.16	c cleaning 28996 clauses out of 58018 with flag 4003612/455001
785.76/782.22	c cleaning 29997 clauses out of 60024 with flag 4305674/486003
843.75/840.38	c cleaning 31005 clauses out of 62023 with flag 4635194/518000
912.81/909.52	c cleaning 31996 clauses out of 64020 with flag 4977295/551002
980.58/977.45	c cleaning 33003 clauses out of 66022 with flag 5364207/585001
1072.12/1069.16	c cleaning 34006 clauses out of 68020 with flag 5881718/620004
1156.95/1154.18	c cleaning 34995 clauses out of 70010 with flag 6386112/656000
1233.09/1230.43	c cleaning 35988 clauses out of 72015 with flag 6870874/693000
1325.87/1323.55	c cleaning 37007 clauses out of 74029 with flag 7452868/731003
1427.14/1424.95	c cleaning 38003 clauses out of 76018 with flag 8025754/770001
1531.03/1528.91	c cleaning 38993 clauses out of 78013 with flag 8635325/810000
1634.08/1631.44	c cleaning 39992 clauses out of 80021 with flag 9300167/851001
1728.15/1724.78	c cleaning 41006 clauses out of 82028 with flag 9877214/893001
1833.83/1829.67	c cleaning 42006 clauses out of 84023 with flag 10465072/936003
1939.19/1934.24	c cleaning 42994 clauses out of 86014 with flag 11054069/980001
2054.22/2048.59	c cleaning 44006 clauses out of 88018 with flag 11665758/1025000
2173.16/2166.63	c cleaning 45004 clauses out of 90011 with flag 12300071/1071000
2295.34/2289.02	c cleaning 45988 clauses out of 92006 with flag 12963692/1118001
2419.88/2413.71	c cleaning 46991 clauses out of 94016 with flag 13615683/1166000
2551.14/2545.15	c cleaning 48006 clauses out of 96022 with flag 14320662/1215000
2591.37/2585.49	c starts		: 3718
2591.48/2585.52	c conflicts		: 1230621
2591.48/2585.52	c decisions		: 3390640
2591.48/2585.52	c propagations		: 7376635797
2591.48/2585.52	c inspects		: 16423569079
2591.48/2585.52	c shortcuts		: 0
2591.48/2585.52	c learnt literals	: 40
2591.48/2585.52	c learnt binary clauses	: 400
2591.48/2585.52	c learnt ternary clauses	: 752
2591.48/2585.52	c learnt constraints	: 1230580
2591.48/2585.52	c ignored constraints	: 0
2591.48/2585.52	c root simplifications	: 0
2591.48/2585.52	c removed literals (reason simplification)	: 28983873
2591.48/2585.52	c reason swapping (by a shorter reason)	: 0
2591.48/2585.52	c Calls to reduceDB	: 45
2591.48/2585.52	c Number of update (reduction) of LBD	: 666965
2591.48/2585.52	c Imported unit clauses	: 0
2591.48/2585.52	c No decision after first conflict	: false
2591.48/2585.52	c number of reductions to clauses (during analyze)	: 0
2591.48/2585.52	c number of learned constraints concerned by reduction	: 0
2591.48/2585.52	c number of learning phase by resolution	: 0
2591.48/2585.52	c number of learning phase by cutting planes	: 0
2591.48/2585.52	c number of rounding to 1 operations	: 0
2591.48/2585.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2591.48/2585.52	c number of reductions of the coefficients by power 2 	: 0
2591.48/2585.52	c number of right shift for reduction by power 2 	: 0
2591.48/2585.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
2591.48/2585.52	c number of ending skipping 	: 0
2591.48/2585.52	c number of internal skipping 	: 0
2591.48/2585.52	c number of derivation steps 	: 0
2591.48/2585.52	c number of skipped derivation steps 	: 0
2591.48/2585.52	c number of remaining unassigned 	: 0
2591.48/2585.53	c number of remaining assigned 	: 0
2591.48/2585.53	c number of falsified literals weakened from reason	: 0
2591.48/2585.53	c number of falsified literals weakened from conflict	: 0
2591.48/2585.53	c time for arithmetic operations	: 0
2591.48/2585.53	c minimum degree of deleted constraints	: null
2591.48/2585.53	c maximum degree of deleted constraints	: null
2591.48/2585.53	c number of deleted constraints	: 0
2591.48/2585.53	c speed (assignments/second)	: 2855756.391604428
2591.48/2585.53	c non guided choices	: 27667
2591.48/2585.57	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 63231
2591.48/2585.57	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 400
2591.48/2585.57	s UNSATISFIABLE
2591.48/2585.57	c Total wall clock time (in seconds): 2585.245

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: 63794 MiB (63206 MiB free)
  memory of node 1: 64507 MiB (63983 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491436-1751142673/watcher-4491436-1751142673 -o /tmp/evaluation-result-4491436-1751142673/solver-4491436-1751142673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751142673-14043 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4491436-1751142673.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=14153, runsolver pid=14150
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.11 1.23 1.87 12/321 14171
/proc/meminfo: memFree=130230004/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=18930384 memory=48264 CPUtime=0.11 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 5771 0 0 0 7 4 0 0 20 0 18 0 29946754 19384713216 12066 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4732596 12066 5290 1 0 546994 0
[pid=14153/tid=14155] ppid=14150 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 4646 0 0 0 4 3 0 0 20 0 18 0 29946756 19384713216 12066 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 29946761 19384713216 12066 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=18930384 memory=58494082626307 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 29946762 19384713216 12066 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48264 KiB

[startup+0.218503 s]*
/proc/loadavg: 1.11 1.23 1.87 11/321 14171
/proc/meminfo: memFree=130221572/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=18930384 memory=53048 CPUtime=0.27 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 6449 0 0 0 22 5 0 0 20 0 18 0 29946754 19384713216 13262 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4732596 13262 5322 1 0 547531 0
[pid=14153/tid=14155] ppid=14150 vsize=18930384 memory=4026532124 CPUtime=0.16 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 4978 0 0 0 13 3 0 0 20 0 18 0 29946756 19384713216 13262 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=18930384 memory=12896 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 29946761 19384713216 13262 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 29946762 19384713216 13262 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53048 KiB

[startup+0.314382 s]*
/proc/loadavg: 1.11 1.23 1.87 12/321 14171
/proc/meminfo: memFree=130211724/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=18930384 memory=58752 CPUtime=0.42 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 6776 0 0 0 37 5 0 0 20 0 18 0 29946754 19384713216 14688 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4732596 14688 5418 1 0 547771 0
[pid=14153/tid=14155] ppid=14150 vsize=18930384 memory=-6000919507066513518 CPUtime=0.25 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 5198 0 0 0 22 3 0 0 20 0 18 0 29946756 19384713216 14688 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 29946761 19384713216 14688 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 29946762 19384713216 14688 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58752 KiB

[startup+0.700372 s]
/proc/loadavg: 1.11 1.23 1.87 13/323 14173
/proc/meminfo: memFree=130103152/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=18930384 memory=107140 CPUtime=1.12 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 8696 0 0 0 104 8 0 0 20 0 18 0 29946754 19384713216 26785 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4732596 26785 5418 1 0 548969 0
[pid=14153/tid=14155] ppid=14150 vsize=18930384 memory=17024 CPUtime=0.57 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 5286 0 0 0 52 5 0 0 20 0 18 0 29946756 19384713216 26785 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=18930384 memory=11136 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 29946761 19384713216 26785 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=18930384 memory=3200 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 29946762 19384713216 26785 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 107140 KiB

[startup+1.50027 s]
/proc/loadavg: 1.11 1.23 1.87 5/281 14195
/proc/meminfo: memFree=130030980/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=18996948 memory=198504 CPUtime=2.69 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 13470 0 0 0 257 12 0 0 20 0 19 0 29946754 19452874752 49626 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4749237 49626 5450 1 0 552141 0
[pid=14153/tid=14155] ppid=14150 vsize=18996948 memory=3200 CPUtime=1.23 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 5320 0 0 0 116 7 0 0 20 0 19 0 29946756 19452874752 49626 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 29946761 19452874752 49626 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 29946762 19452874752 49626 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 198504 KiB

[startup+3.106 s]
/proc/loadavg: 1.50 1.31 1.89 10/325 14305
/proc/meminfo: memFree=129680252/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19063512 memory=487388 CPUtime=5.53 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 18248 0 1 0 533 20 0 0 20 0 20 0 29946754 19521036288 121847 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4765878 121847 5482 1 0 1108212 0
[pid=14153/tid=14155] ppid=14150 vsize=19063512 memory=11136 CPUtime=2.65 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 5534 0 1 0 253 12 0 0 20 0 20 0 29946756 19521036288 121847 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19521036288 121847 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 121847 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 121847 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 487388 KiB

[startup+6.30039 s]
/proc/loadavg: 1.50 1.31 1.89 8/327 14372
/proc/meminfo: memFree=129516932/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19063512 memory=483292 CPUtime=9.46 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 23122 0 1 0 924 22 0 0 20 0 20 0 29946754 19521036288 120823 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4765878 120823 5482 1 0 1108237 0
[pid=14153/tid=14155] ppid=14150 vsize=19063512 memory=0 CPUtime=5.83 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 5926 0 1 0 571 12 0 0 20 0 20 0 29946756 19521036288 120823 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19063512 memory=-6000919507066513518 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19521036288 120823 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19063512 memory=2728 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 120823 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 120823 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 9.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 483292 KiB

[startup+12.7004 s]
/proc/loadavg: 1.78 1.37 1.91 7/327 14438
/proc/meminfo: memFree=129494568/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19063512 memory=483548 CPUtime=16.07 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 24862 0 1 0 1584 23 0 0 20 0 20 0 29946754 19521036288 120887 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4765878 120887 5482 1 0 1108269 0
[pid=14153/tid=14155] ppid=14150 vsize=19063512 memory=0 CPUtime=12.2 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 7398 0 1 0 1208 12 0 0 20 0 20 0 29946756 19521036288 120887 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19063512 memory=2724 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19521036288 120887 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19063512 memory=483548 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 120887 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=483548 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 120887 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 16.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 483548 KiB

[startup+25.5005 s]
/proc/loadavg: 2.34 1.52 1.95 6/329 14441
/proc/meminfo: memFree=129138356/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19063512 memory=484984 CPUtime=29.67 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 33030 0 1 0 2942 25 0 0 20 0 20 0 29946754 19521036288 121246 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4765878 121246 5482 1 0 1108702 0
[pid=14153/tid=14155] ppid=14150 vsize=19063512 memory=483548 CPUtime=24.96 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 8322 0 1 0 2484 12 0 0 20 0 20 0 29946756 19521036288 121246 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19521036288 121246 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19063512 memory=484984 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 121246 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=17024 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 121246 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 29.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 484984 KiB

[startup+51.1134 s]
/proc/loadavg: 3.17 1.78 2.02 5/329 14507
/proc/meminfo: memFree=129099736/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19063512 memory=484984 CPUtime=55.49 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 33361 0 1 0 5522 27 0 0 20 0 20 0 29946754 19521036288 121246 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4765878 121246 5482 1 0 1108702 0
[pid=14153/tid=14155] ppid=14150 vsize=19063512 memory=14304 CPUtime=50.51 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 8534 0 1 0 5039 12 0 0 20 0 20 0 29946756 19521036288 121246 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19063512 memory=484984 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19521036288 121246 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19063512 memory=483548 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 121246 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=33 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 121246 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 55.49 s

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

/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 1002 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=600216 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 2568.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 600216 KiB

[startup+2585.64 s]
# the end of solver process 14153 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=2589.39 s, system=2.23155 s

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

[startup+2572.8 s]
/proc/loadavg: 3.07 3.11 3.16 4/302 15187
/proc/meminfo: memFree=126151836/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19063512 memory=600216 CPUtime=2578.79 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 48338 0 1 0 257659 220 0 0 20 0 20 0 29946754 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4765878 150054 5482 1 0 1108740 0
[pid=14153/tid=14155] ppid=14150 vsize=19063512 memory=600216 CPUtime=2563.89 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 15648 0 1 0 256376 13 0 0 20 0 20 0 29946756 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19063512 memory=600216 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19063512 memory=600216 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 1002 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=600216 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 2578.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 600216 KiB

[startup+2579.2 s]
/proc/loadavg: 3.06 3.11 3.16 4/302 15187
/proc/meminfo: memFree=126151844/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19063512 memory=600216 CPUtime=2585.18 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 48345 0 1 0 258297 221 0 0 20 0 20 0 29946754 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4765878 150054 5482 1 0 1108740 0
[pid=14153/tid=14155] ppid=14150 vsize=19063512 memory=600216 CPUtime=2570.28 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 15653 0 1 0 257015 13 0 0 20 0 20 0 29946756 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19063512 memory=-6000919507066513518 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 1002 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=17024 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 2585.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 600216 KiB

[startup+2582.4 s]
/proc/loadavg: 3.06 3.11 3.16 4/302 15187
/proc/meminfo: memFree=126151844/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19063512 memory=600216 CPUtime=2588.38 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 48349 0 1 0 258617 221 0 0 20 0 20 0 29946754 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4765878 150054 5482 1 0 1108740 0
[pid=14153/tid=14155] ppid=14150 vsize=19063512 memory=600216 CPUtime=2573.47 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 15653 0 1 0 257334 13 0 0 20 0 20 0 29946756 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19063512 memory=-6000919507066513518 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 1002 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=245635481903 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 2588.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 600216 KiB

[startup+2584 s]*
/proc/loadavg: 3.13 3.12 3.16 5/302 15187
/proc/meminfo: memFree=126151860/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19063512 memory=600216 CPUtime=2589.99 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 48349 0 1 0 258778 221 0 0 20 0 20 0 29946754 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4765878 150054 5482 1 0 1108740 0
[pid=14153/tid=14155] ppid=14150 vsize=19063512 memory=-6000919485658851182 CPUtime=2575.08 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 15653 0 1 0 257495 13 0 0 20 0 20 0 29946756 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19063512 memory=6452091060494230842 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 1002 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 2589.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 600216 KiB

[startup+2584.8 s]
/proc/loadavg: 3.13 3.12 3.16 5/302 15187
/proc/meminfo: memFree=126151860/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19063512 memory=600216 CPUtime=2590.77 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 48349 0 1 0 258856 221 0 0 20 0 20 0 29946754 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4765878 150054 5482 1 0 1108740 0
[pid=14153/tid=14155] ppid=14150 vsize=19063512 memory=-6000919507066513518 CPUtime=2575.86 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 15653 0 1 0 257573 13 0 0 20 0 20 0 29946756 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19063512 memory=600216 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 1002 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=17024 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 2590.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 600216 KiB

[startup+2585.2 s]
/proc/loadavg: 3.13 3.12 3.16 4/302 15187
/proc/meminfo: memFree=126151860/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19063512 memory=600216 CPUtime=2591.17 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 48349 0 1 0 258896 221 0 0 20 0 20 0 29946754 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4765878 150054 5482 1 0 1108740 0
[pid=14153/tid=14155] ppid=14150 vsize=19063512 memory=6888 CPUtime=2576.26 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 15653 0 1 0 257613 13 0 0 20 0 20 0 29946756 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19063512 memory=846032 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19063512 memory=6900 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 1002 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=600216 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 2591.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 600216 KiB

[startup+2585.4 s]
/proc/loadavg: 3.13 3.12 3.16 4/302 15187
/proc/meminfo: memFree=126151860/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19063512 memory=600216 CPUtime=2591.37 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 48349 0 1 0 258916 221 0 0 20 0 20 0 29946754 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4765878 150054 5482 1 0 1108740 0
[pid=14153/tid=14155] ppid=14150 vsize=19063512 memory=8174711894690706231 CPUtime=2576.46 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) R 14150 14153 11256 0 -1 4194368 15653 0 1 0 257633 13 0 0 20 0 20 0 29946756 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19063512 memory=7886766292050654007 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19063512 memory=7305803039631553335 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 1002 0 0 0 0 0 0 0 20 0 20 0 29946762 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14246] ppid=14150 vsize=19063512 memory=7020394010316780343 CPUtime=0 cores=4,6
/proc/14153/task/14246/stat : 14246 (Timer-0) S 14150 14153 11256 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 29947000 19521036288 150054 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 2591.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 600216 KiB

[startup+2585.5 s]
/proc/loadavg: 3.13 3.12 3.16 4/302 15187
/proc/meminfo: memFree=126151860/131382120 swapFree=33010684/33010684
[pid=14153] ppid=14150 vsize=19196640 memory=600728 CPUtime=2591.48 cores=4,6
/proc/14153/stat : 14153 (java) S 14150 14153 11256 0 -1 4194304 50443 0 1 0 258926 222 0 0 20 0 20 0 29946754 19657359360 150182 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
/proc/14153/statm: 4799160 150182 5514 1 0 1109326 0
[pid=14153/tid=14155] ppid=14150 vsize=19196640 memory=546936 CPUtime=2576.53 cores=4,6
/proc/14153/task/14155/stat : 14155 (java) S 14150 14153 11256 0 -1 4194368 17315 0 1 0 257640 13 0 0 20 0 20 0 29946756 19657359360 150182 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14164] ppid=14150 vsize=19196640 memory=600216 CPUtime=0 cores=4,6
/proc/14153/task/14164/stat : 14164 (Finalizer) S 14150 14153 11256 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 29946761 19657359360 150182 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
[pid=14153/tid=14171] ppid=14150 vsize=19196640 memory=14304 CPUtime=0 cores=4,6
/proc/14153/task/14171/stat : 14171 (Common-Cleaner) S 14150 14153 11256 0 -1 4194368 1002 0 0 0 0 0 0 0 20 0 20 0 29946762 19657359360 150182 18446744073709551615 94481262116864 94481262120560 140733451315888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94481262128376 94481262129168 94481282396160 140733451323777 140733451323878 140733451323878 140733451329480 0
Current children cumulated CPU time: 2591.48 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 600728 KiB

Child status: 20

Real time (s): 2585.64
CPU time (s): 2591.62
CPU user time (s): 2589.39
CPU system time (s): 2.23155
CPU usage (%): 100.231
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 600728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2589.39
system time used= 2.23155
maximum resident set size= 600984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50875
page faults= 1
swaps= 0
block input operations= 0
block output operations= 6704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117705
involuntary context switches= 15104


# summary of solver processes directly reported to runsolver:
#   pid: 14153
#   total CPU time (s): 2591.62
#   total CPU user time (s): 2589.39
#   total CPU system time (s): 2.23155

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9714 second user time and 26.382 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-28 22:31:14
IDJOB=4491436
IDBENCH=147705
IDSOLVER=3363
FILE ID=nodeC006/4491436-1751142673
RUNJOBID= nodeC006-1751142673-14043
SLURM_JOB_ID= 9587406
Free space on /tmp= 433036 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491436-1751142673/watcher-4491436-1751142673 -o /tmp/evaluation-result-4491436-1751142673/solver-4491436-1751142673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751142673-14043 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4491436-1751142673.opb

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

MD5SUM BENCH= 911cf7319fa5fa56cdd8e7a94536c536
RANDOM SEED=1142360525

nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.141
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.141
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.764
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.068
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1695.947
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.141
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.438
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.140
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130252852 kB
MemAvailable:   129873104 kB
Buffers:            3280 kB
Cached:           407584 kB
SwapCached:            0 kB
Active:           409296 kB
Inactive:         160628 kB
Active(anon):     177352 kB
Inactive(anon):        0 kB
Active(file):     231944 kB
Inactive(file):   160628 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26920 kB
Writeback:             0 kB
AnonPages:        162356 kB
Mapped:           120864 kB
Shmem:             17960 kB
KReclaimable:      83412 kB
Slab:             162336 kB
SReclaimable:      83412 kB
SUnreclaim:        78924 kB
KernelStack:        4860 kB
PageTables:         3612 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    6975668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150200 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC006 at 2025-06-28 23:14:20