Trace number 4453024

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 Default 2024-07-07? (TO) 3600.41 3475.93

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid10_59.shuf-2.opb
MD5SUMbff129d5f55fe22e82ee63766a82b7b0
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 benchmark0.110832
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables590
Total number of constraints1181
Number of constraints which are clauses1180
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint590
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 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 598
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.13/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.15	c See www.sat4j.org for details.
0.13/0.17	c version CUSTOM.v20240707
0.13/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.20	c java.vm.version	22.0.1+8-16
0.13/0.20	c java.vm.vendor	Oracle Corporation
0.13/0.20	c sun.arch.data.model	64
0.13/0.20	c java.version		22.0.1
0.13/0.20	c os.name		Linux
0.13/0.20	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.20	c os.arch		amd64
0.13/0.21	c Free memory 		2115194816
0.13/0.21	c Max memory 		16282288128
0.13/0.21	c Total memory 		2122317824
0.13/0.21	c Number of processors 	2
0.31/0.30	--- Begin Solver configuration ---
0.31/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.30	Learn all clauses as in MiniSAT
0.31/0.30	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.30	No reason simplification
0.31/0.30	Glucose 2.1 dynamic restart strategy
0.31/0.30	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.31/0.30	timeout=2147483s
0.31/0.30	DB Simplification allowed=false
0.31/0.30	Listener: none
0.31/0.30	--- End Solver configuration ---
0.31/0.31	c Pseudo Boolean Optimization by upper bound
0.31/0.31	c --- Begin Solver configuration ---
0.31/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.31	c Learn all clauses as in MiniSAT
0.31/0.31	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.31	c No reason simplification
0.31/0.31	c Glucose 2.1 dynamic restart strategy
0.31/0.31	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.31/0.31	c timeout=2147483s
0.31/0.31	c DB Simplification allowed=false
0.31/0.31	c Listener: none
0.31/0.31	c --- End Solver configuration ---
0.31/0.31	c solving HOME/instance-4453024-1721451227.opb
0.31/0.31	c reading problem ... 
0.31/0.31	c  no objective function found
0.62/0.44	c ... done. Wall clock time 0.123s.
0.62/0.44	c declared #vars     590
0.62/0.44	c #constraints  1181
0.62/0.44	c constraints type 
0.62/0.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1180
0.62/0.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.62/0.44	c 1181 constraints processed.
2.56/1.40	c cleaning 2500 clauses out of 5000 with flag 10191/5000
3.15/1.77	c cleaning 4250 clauses out of 8500 with flag 22399/11000
3.69/2.10	c cleaning 5624 clauses out of 11250 with flag 36684/18000
4.05/2.35	c cleaning 6814 clauses out of 13627 with flag 52988/26001
4.57/2.78	c cleaning 7905 clauses out of 15812 with flag 71386/35000
5.10/3.15	c cleaning 8950 clauses out of 17907 with flag 91814/45000
5.76/3.67	c cleaning 9978 clauses out of 19957 with flag 114320/56000
6.44/4.25	c cleaning 10986 clauses out of 21981 with flag 138804/68002
7.05/4.80	c cleaning 11997 clauses out of 23994 with flag 165407/81001
7.58/5.38	c cleaning 12999 clauses out of 25997 with flag 194021/95001
8.28/6.00	c cleaning 14000 clauses out of 27999 with flag 224758/110002
9.91/7.50	c cleaning 14998 clauses out of 29997 with flag 257456/126000
10.81/8.23	c cleaning 16000 clauses out of 31999 with flag 292359/143000
11.89/9.15	c cleaning 16998 clauses out of 33999 with flag 329191/161000
12.79/10.04	c cleaning 17996 clauses out of 36001 with flag 368008/180000
13.93/11.04	c cleaning 19001 clauses out of 38007 with flag 408868/200002
14.82/11.95	c cleaning 19998 clauses out of 40006 with flag 451816/221002
16.05/13.05	c cleaning 21003 clauses out of 42007 with flag 496952/243001
17.04/14.09	c cleaning 22001 clauses out of 44004 with flag 544075/266001
18.53/15.39	c cleaning 23000 clauses out of 46003 with flag 593117/290001
19.73/16.60	c cleaning 23997 clauses out of 48002 with flag 644055/315000
21.43/18.02	c cleaning 25001 clauses out of 50005 with flag 697066/341000
22.72/19.39	c cleaning 26001 clauses out of 52005 with flag 752156/368001
24.60/21.06	c cleaning 26998 clauses out of 54004 with flag 809260/396001
26.57/22.82	c cleaning 27997 clauses out of 56005 with flag 868359/425000
28.16/24.46	c cleaning 29004 clauses out of 58010 with flag 929520/455002
30.04/26.19	c cleaning 30000 clauses out of 60005 with flag 992786/486001
31.82/27.96	c cleaning 30999 clauses out of 62004 with flag 1058113/518000
34.10/30.01	c cleaning 32000 clauses out of 64006 with flag 1125421/551001
36.50/32.29	c cleaning 33002 clauses out of 66006 with flag 1194711/585001
38.50/34.21	c cleaning 33996 clauses out of 68004 with flag 1265983/620001
40.76/36.38	c cleaning 35003 clauses out of 70007 with flag 1339483/656000
43.21/38.62	c cleaning 36002 clauses out of 72006 with flag 1415204/693002
45.30/40.72	c cleaning 36999 clauses out of 74002 with flag 1492926/731000
47.47/42.89	c cleaning 37997 clauses out of 76004 with flag 1572484/770001
49.84/45.10	c cleaning 38998 clauses out of 78006 with flag 1654236/810000
52.46/47.48	c cleaning 40005 clauses out of 80010 with flag 1737875/851002
54.86/49.82	c cleaning 40999 clauses out of 82004 with flag 1823569/893001
57.54/52.47	c cleaning 41996 clauses out of 84004 with flag 1911264/936000
59.79/54.56	c cleaning 42998 clauses out of 86008 with flag 2001095/980000
63.16/57.61	c cleaning 44001 clauses out of 88010 with flag 2093124/1025000
65.95/60.41	c cleaning 45003 clauses out of 90011 with flag 2187161/1071002
69.16/63.47	c cleaning 46002 clauses out of 92007 with flag 2283219/1118001
72.83/66.88	c cleaning 46998 clauses out of 94005 with flag 2381297/1166001
77.17/69.67	c cleaning 47998 clauses out of 96007 with flag 2481504/1215001
80.75/73.10	c cleaning 49001 clauses out of 98009 with flag 2583808/1265001
84.66/76.77	c cleaning 50001 clauses out of 100008 with flag 2688062/1316001
88.55/80.39	c cleaning 50998 clauses out of 102006 with flag 2794286/1368000
92.05/83.87	c cleaning 52000 clauses out of 104009 with flag 2902584/1421001
95.70/87.48	c cleaning 53002 clauses out of 106010 with flag 3013092/1475002
99.81/91.42	c cleaning 54001 clauses out of 108006 with flag 3125313/1530000
104.14/95.53	c cleaning 55000 clauses out of 110005 with flag 3239740/1586000
108.52/99.76	c cleaning 55999 clauses out of 112006 with flag 3356378/1643001
113.18/104.18	c cleaning 57001 clauses out of 114007 with flag 3474853/1701001
117.74/108.58	c cleaning 58001 clauses out of 116006 with flag 3595515/1760001
122.51/113.16	c cleaning 58999 clauses out of 118005 with flag 3718170/1820001
127.09/117.55	c cleaning 60001 clauses out of 120005 with flag 3842750/1881000
131.91/122.19	c cleaning 60999 clauses out of 122004 with flag 3969532/1943000
137.27/127.37	c cleaning 62001 clauses out of 124006 with flag 4098330/2006001
142.79/132.67	c cleaning 62995 clauses out of 126004 with flag 4229095/2070000
148.27/137.92	c cleaning 64002 clauses out of 128010 with flag 4361818/2135001
153.41/142.96	c cleaning 64999 clauses out of 130007 with flag 4496737/2201000
160.40/148.37	c cleaning 65998 clauses out of 132008 with flag 4633677/2268000
166.29/154.15	c cleaning 67000 clauses out of 134010 with flag 4772297/2336000
171.53/159.25	c cleaning 68002 clauses out of 136010 with flag 4913185/2405000
178.49/165.68	c cleaning 69001 clauses out of 138008 with flag 5056004/2475000
184.36/171.29	c cleaning 70002 clauses out of 140008 with flag 5200910/2546001
190.89/177.50	c cleaning 71001 clauses out of 142005 with flag 5347985/2618000
197.18/183.68	c cleaning 71997 clauses out of 144004 with flag 5497014/2691000
203.53/189.88	c cleaning 73003 clauses out of 146007 with flag 5648178/2765000
209.74/195.97	c cleaning 74000 clauses out of 148005 with flag 5801318/2840001
217.05/202.98	c cleaning 74999 clauses out of 150005 with flag 5956456/2916001
224.09/209.73	c cleaning 76001 clauses out of 152007 with flag 6113394/2993002
231.07/216.56	c cleaning 77002 clauses out of 154004 with flag 6272656/3071000
238.05/223.35	c cleaning 77994 clauses out of 156004 with flag 6433787/3150002
245.70/230.60	c cleaning 79000 clauses out of 158008 with flag 6597062/3230000
254.81/237.97	c cleaning 80000 clauses out of 160008 with flag 6762273/3311000
262.15/245.11	c cleaning 81002 clauses out of 162011 with flag 6929658/3393003
270.46/252.98	c cleaning 81999 clauses out of 164006 with flag 7099017/3476000
277.79/260.04	c cleaning 83002 clauses out of 166008 with flag 7270545/3560001
285.82/267.82	c cleaning 83997 clauses out of 168006 with flag 7444087/3645001
294.34/275.80	c cleaning 85000 clauses out of 170008 with flag 7619524/3731000
301.34/282.63	c cleaning 86002 clauses out of 172009 with flag 7797086/3818001
309.96/290.60	c cleaning 86998 clauses out of 174006 with flag 7976948/3906000
318.48/298.90	c cleaning 88001 clauses out of 176009 with flag 8158539/3995001
327.33/307.35	c cleaning 89002 clauses out of 178008 with flag 8342181/4085001
335.91/315.60	c cleaning 89995 clauses out of 180005 with flag 8528019/4176000
345.11/324.36	c cleaning 90999 clauses out of 182010 with flag 8715724/4268000
354.12/333.08	c cleaning 92000 clauses out of 184011 with flag 8905611/4361000
363.32/341.76	c cleaning 93000 clauses out of 186011 with flag 9097251/4455000
372.10/350.29	c cleaning 94000 clauses out of 188012 with flag 9291117/4550001
380.92/358.58	c cleaning 95003 clauses out of 190012 with flag 9487072/4646001
390.79/368.12	c cleaning 95999 clauses out of 192008 with flag 9685076/4743000
402.88/378.88	c cleaning 97000 clauses out of 194009 with flag 9885005/4841000
412.52/388.34	c cleaning 98005 clauses out of 196009 with flag 10087053/4940000
422.14/397.68	c cleaning 99001 clauses out of 198005 with flag 10291247/5040001
430.27/405.17	c cleaning 99994 clauses out of 200003 with flag 10497983/5141000
439.13/413.79	c cleaning 101005 clauses out of 202009 with flag 10706697/5243000
450.95/424.94	c cleaning 102000 clauses out of 204004 with flag 10917073/5346000
459.59/433.33	c cleaning 102996 clauses out of 206005 with flag 11129499/5450001
469.69/442.95	c cleaning 104000 clauses out of 208008 with flag 11343898/5555000
478.38/451.16	c cleaning 105001 clauses out of 210008 with flag 11560409/5661000
487.60/459.89	c cleaning 106005 clauses out of 212009 with flag 11778941/5768002
497.58/469.67	c cleaning 106998 clauses out of 214003 with flag 11999521/5876001
507.18/478.81	c cleaning 107998 clauses out of 216005 with flag 12222165/5985001
515.73/487.21	c cleaning 109001 clauses out of 218006 with flag 12447006/6095000
525.21/496.24	c cleaning 110003 clauses out of 220007 with flag 12673944/6206002
536.26/506.85	c cleaning 110994 clauses out of 222002 with flag 12902908/6318000
547.52/516.47	c cleaning 112001 clauses out of 224009 with flag 13133881/6431001
561.80/530.13	c cleaning 113004 clauses out of 226007 with flag 13367118/6545000
571.64/539.62	c cleaning 113999 clauses out of 228003 with flag 13602214/6660000
583.58/551.08	c cleaning 114997 clauses out of 230004 with flag 13838989/6776000
593.91/561.03	c cleaning 115999 clauses out of 232007 with flag 14077707/6893000
606.19/572.63	c cleaning 117002 clauses out of 234010 with flag 14318455/7011002
617.32/583.31	c cleaning 117997 clauses out of 236007 with flag 14561629/7130001
628.12/593.54	c cleaning 119000 clauses out of 238009 with flag 14806703/7250000
640.39/605.47	c cleaning 120003 clauses out of 240010 with flag 15053507/7371001
652.14/616.61	c cleaning 121000 clauses out of 242006 with flag 15302352/7493000
664.90/629.07	c cleaning 121998 clauses out of 244006 with flag 15553573/7616000
676.98/640.58	c cleaning 122997 clauses out of 246008 with flag 15806944/7740000
688.45/651.77	c cleaning 124005 clauses out of 248012 with flag 16061908/7865001
701.17/664.00	c cleaning 124994 clauses out of 250006 with flag 16319001/7991000
712.87/675.33	c cleaning 126004 clauses out of 252012 with flag 16578731/8118000
728.29/690.16	c cleaning 127002 clauses out of 254010 with flag 16840464/8246002
745.79/704.95	c cleaning 128001 clauses out of 256006 with flag 17104118/8375000
759.21/717.97	c cleaning 128999 clauses out of 258006 with flag 17369657/8505001
774.05/732.41	c cleaning 130000 clauses out of 260006 with flag 17637291/8636000
787.55/745.76	c cleaning 131000 clauses out of 262006 with flag 17906688/8768000
800.72/758.34	c cleaning 132002 clauses out of 264007 with flag 18178523/8901001
812.97/770.29	c cleaning 132998 clauses out of 266004 with flag 18452165/9035000
824.88/781.98	c cleaning 134000 clauses out of 268006 with flag 18727996/9170000
840.71/797.13	c cleaning 135002 clauses out of 270006 with flag 19005559/9306000
853.80/809.91	c cleaning 136002 clauses out of 272006 with flag 19285357/9443002
869.39/825.37	c cleaning 136997 clauses out of 274003 with flag 19567748/9581001
889.97/845.15	c cleaning 138000 clauses out of 276005 with flag 19852238/9720000
906.22/861.03	c cleaning 138997 clauses out of 278006 with flag 20138530/9860001
921.57/875.64	c cleaning 140005 clauses out of 280010 with flag 20426438/10001002
936.30/889.95	c cleaning 140998 clauses out of 282003 with flag 20716649/10143000
953.32/906.79	c cleaning 141999 clauses out of 284005 with flag 21008897/10286000
968.68/921.11	c cleaning 143000 clauses out of 286007 with flag 21302860/10430001
984.38/936.55	c cleaning 144002 clauses out of 288008 with flag 21598696/10575002
1002.46/953.97	c cleaning 145002 clauses out of 290005 with flag 21896604/10721001
1019.25/970.38	c cleaning 145996 clauses out of 292002 with flag 22197521/10868000
1035.80/986.09	c cleaning 146999 clauses out of 294006 with flag 22500311/11016000
1053.54/1003.38	c cleaning 147999 clauses out of 296008 with flag 22804531/11165001
1071.43/1018.42	c cleaning 148997 clauses out of 298008 with flag 23111221/11315000
1087.49/1033.95	c cleaning 150002 clauses out of 300011 with flag 23419567/11466000
1105.81/1051.95	c cleaning 151004 clauses out of 302009 with flag 23729947/11618000
1125.04/1070.31	c cleaning 151997 clauses out of 304005 with flag 24042820/11771000
1143.80/1088.71	c cleaning 152999 clauses out of 306008 with flag 24357590/11925000
1160.78/1105.03	c cleaning 154002 clauses out of 308009 with flag 24674278/12080000
1181.98/1125.89	c cleaning 154999 clauses out of 310007 with flag 24993154/12236000
1198.54/1141.51	c cleaning 156000 clauses out of 312008 with flag 25313844/12393000
1220.34/1162.95	c cleaning 156999 clauses out of 314008 with flag 25636696/12551000
1240.25/1182.08	c cleaning 158000 clauses out of 316009 with flag 25961158/12710000
1260.12/1201.50	c cleaning 159002 clauses out of 318009 with flag 26287977/12870000
1281.11/1221.84	c cleaning 160002 clauses out of 320009 with flag 26617055/13031002
1306.79/1247.13	c cleaning 160998 clauses out of 322006 with flag 26948339/13193001
1331.10/1270.71	c cleaning 162000 clauses out of 324007 with flag 27281310/13356000
1351.06/1290.39	c cleaning 163001 clauses out of 326007 with flag 27616288/13520000
1370.63/1309.31	c cleaning 164001 clauses out of 328006 with flag 27953327/13685000
1391.16/1329.02	c cleaning 164998 clauses out of 330005 with flag 28292189/13851000
1410.99/1348.42	c cleaning 165998 clauses out of 332009 with flag 28633049/14018002
1434.92/1369.05	c cleaning 167002 clauses out of 334010 with flag 28976340/14186001
1457.31/1390.95	c cleaning 167999 clauses out of 336007 with flag 29321351/14355000
1479.33/1412.67	c cleaning 168999 clauses out of 338009 with flag 29668392/14525001
1502.98/1435.49	c cleaning 170000 clauses out of 340010 with flag 30018972/14696001
1526.40/1458.43	c cleaning 170997 clauses out of 342009 with flag 30370554/14868000
1552.18/1483.39	c cleaning 171999 clauses out of 344012 with flag 30724269/15041000
1574.18/1504.70	c cleaning 172999 clauses out of 346014 with flag 31079715/15215001
1595.76/1525.87	c cleaning 174004 clauses out of 348014 with flag 31437182/15390000
1616.93/1546.38	c cleaning 175003 clauses out of 350013 with flag 31797002/15566003
1645.79/1574.91	c cleaning 176002 clauses out of 352007 with flag 32159073/15743000
1669.35/1597.72	c cleaning 177002 clauses out of 354006 with flag 32522798/15921001
1692.84/1620.88	c cleaning 177997 clauses out of 356005 with flag 32888393/16100002
1716.21/1643.28	c cleaning 179002 clauses out of 358007 with flag 33255902/16280001
1742.02/1668.68	c cleaning 180000 clauses out of 360004 with flag 33625799/16461000
1768.96/1694.76	c cleaning 180999 clauses out of 362004 with flag 33998126/16643000
1797.27/1722.68	c cleaning 181999 clauses out of 364005 with flag 34372434/16826000
1819.61/1743.93	c cleaning 183001 clauses out of 366006 with flag 34748472/17010000
1839.62/1763.53	c cleaning 183998 clauses out of 368005 with flag 35126438/17195000
1859.52/1782.50	c cleaning 184998 clauses out of 370008 with flag 35506326/17381001
1885.34/1805.17	c cleaning 186000 clauses out of 372009 with flag 35888173/17568000
1908.83/1827.70	c cleaning 186999 clauses out of 374010 with flag 36272262/17756001
1931.75/1850.07	c cleaning 188003 clauses out of 376011 with flag 36658233/17945001
1957.14/1874.90	c cleaning 189000 clauses out of 378009 with flag 37046519/18135002
1980.88/1897.81	c cleaning 190003 clauses out of 380007 with flag 37436052/18326000
2001.67/1918.08	c cleaning 190998 clauses out of 382006 with flag 37828516/18518002
2025.53/1941.50	c cleaning 191999 clauses out of 384006 with flag 38222225/18711000
2050.29/1965.41	c cleaning 193000 clauses out of 386007 with flag 38618561/18905000
2076.02/1990.86	c cleaning 193996 clauses out of 388007 with flag 39016607/19100000
2104.06/2018.02	c cleaning 195004 clauses out of 390011 with flag 39417189/19296000
2125.59/2039.15	c cleaning 196000 clauses out of 392008 with flag 39819484/19493001
2147.79/2061.13	c cleaning 196999 clauses out of 394007 with flag 40224092/19691000
2176.61/2088.68	c cleaning 198001 clauses out of 396009 with flag 40630705/19890001
2200.16/2111.76	c cleaning 199003 clauses out of 398009 with flag 41039191/20090002
2228.56/2139.26	c cleaning 199997 clauses out of 400004 with flag 41449455/20291000
2253.40/2163.55	c cleaning 201000 clauses out of 402008 with flag 41862171/20493001
2281.02/2190.18	c cleaning 202000 clauses out of 404007 with flag 42276238/20696000
2312.16/2217.47	c cleaning 203001 clauses out of 406007 with flag 42693084/20900000
2348.24/2253.04	c cleaning 203999 clauses out of 408006 with flag 43111970/21105000
2377.53/2281.64	c cleaning 205004 clauses out of 410008 with flag 43532534/21311001
2402.50/2306.46	c cleaning 206000 clauses out of 412003 with flag 43955245/21518000
2428.98/2332.22	c cleaning 206998 clauses out of 414004 with flag 44379649/21726001
2454.52/2357.55	c cleaning 207998 clauses out of 416006 with flag 44806139/21935001
2486.98/2389.25	c cleaning 209001 clauses out of 418008 with flag 45234965/22145001
2510.61/2412.65	c cleaning 209999 clauses out of 420006 with flag 45666024/22356000
2544.37/2445.87	c cleaning 211004 clauses out of 422010 with flag 46099253/22568003
2571.70/2472.88	c cleaning 211997 clauses out of 424003 with flag 46534749/22781000
2600.81/2501.13	c cleaning 213001 clauses out of 426008 with flag 46971897/22995002
2630.13/2530.32	c cleaning 214002 clauses out of 428006 with flag 47410917/23210001
2663.90/2563.59	c cleaning 214999 clauses out of 430003 with flag 47852285/23426000
2692.97/2592.23	c cleaning 215998 clauses out of 432004 with flag 48295512/23643000
2722.42/2620.90	c cleaning 216995 clauses out of 434008 with flag 48740447/23861002
2756.45/2653.93	c cleaning 218001 clauses out of 436012 with flag 49187353/24080001
2785.19/2682.25	c cleaning 219000 clauses out of 438010 with flag 49635805/24300000
2816.80/2713.14	c cleaning 220003 clauses out of 440011 with flag 50086930/24521001
2854.07/2747.01	c cleaning 220997 clauses out of 442009 with flag 50540224/24743002
2883.81/2776.12	c cleaning 222004 clauses out of 444011 with flag 50995677/24966001
2912.39/2804.51	c cleaning 223002 clauses out of 446007 with flag 51453172/25190001
2943.88/2835.47	c cleaning 223998 clauses out of 448005 with flag 51912403/25415001
2978.83/2869.26	c cleaning 224998 clauses out of 450007 with flag 52373685/25641001
3008.81/2898.52	c cleaning 225999 clauses out of 452008 with flag 52836813/25868000
3044.64/2933.44	c cleaning 226999 clauses out of 454009 with flag 53302019/26096000
3075.54/2964.01	c cleaning 228001 clauses out of 456011 with flag 53769259/26325001
3114.17/3001.86	c cleaning 229001 clauses out of 458009 with flag 54238431/26555000
3149.26/3035.92	c cleaning 229997 clauses out of 460008 with flag 54709974/26786000
3183.23/3069.49	c cleaning 231000 clauses out of 462011 with flag 55183516/27018000
3217.28/3102.76	c cleaning 232002 clauses out of 464011 with flag 55658660/27251000
3253.90/3138.49	c cleaning 233003 clauses out of 466009 with flag 56135974/27485000
3288.18/3172.46	c cleaning 233995 clauses out of 468007 with flag 56615554/27720001
3328.68/3212.24	c cleaning 235003 clauses out of 470013 with flag 57097001/27956002
3366.41/3248.94	c cleaning 235998 clauses out of 472008 with flag 57580413/28193000
3406.08/3285.58	c cleaning 237003 clauses out of 474010 with flag 58065866/28431000
3440.83/3319.87	c cleaning 237998 clauses out of 476008 with flag 58553522/28670001
3477.07/3355.36	c cleaning 239005 clauses out of 478011 with flag 59043306/28910002
3516.04/3393.28	c cleaning 239998 clauses out of 480004 with flag 59534750/29151000
3555.93/3432.51	c cleaning 240993 clauses out of 482007 with flag 60028031/29393001
3596.77/3472.47	c cleaning 242005 clauses out of 484013 with flag 60523668/29636000
3600.08/3475.73	c starts		: 1
3600.08/3475.74	c timeout
3600.08/3475.74	c conflicts		: 29675149
3600.08/3475.74	c decisions		: 30674981
3600.08/3475.74	c propagations		: 149331841
3600.08/3475.74	c inspects		: 25384637043
3600.08/3475.74	c shortcuts		: 0
3600.08/3475.74	c learnt literals	: 0
3600.08/3475.74	c learnt binary clauses	: 0
3600.08/3475.74	c learnt ternary clauses	: 0
3600.08/3475.74	c learnt constraints	: 29675149
3600.08/3475.74	c ignored constraints	: 0
3600.08/3475.74	c root simplifications	: 0
3600.08/3475.74	c removed literals (reason simplification)	: 0
3600.08/3475.74	c reason swapping (by a shorter reason)	: 0
3600.08/3475.74	c Calls to reduceDB	: 239
3600.08/3475.74	c Number of update (reduction) of LBD	: 135081
3600.08/3475.74	c Imported unit clauses	: 0
3600.08/3475.75	c No decision after first conflict	: false
3600.08/3475.75	c number of reductions to clauses (during analyze)	: 0
3600.08/3475.75	c number of learned constraints concerned by reduction	: 0
3600.08/3475.75	c number of learning phase by resolution	: 0
3600.08/3475.75	c number of learning phase by cutting planes	: 0
3600.08/3475.75	c number of rounding to 1 operations	: 0
3600.08/3475.75	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3475.75	c number of reductions of the coefficients by power 2 	: 0
3600.08/3475.75	c number of right shift for reduction by power 2 	: 0
3600.08/3475.75	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3475.75	c number of ending skipping 	: 0
3600.08/3475.75	c number of internal skipping 	: 0
3600.08/3475.75	c number of derivation steps 	: 0
3600.08/3475.75	c number of skipped derivation steps 	: 0
3600.08/3475.75	c number of remaining unassigned 	: 0
3600.08/3475.75	c number of remaining assigned 	: 0
3600.08/3475.75	c number of falsified literals weakened from reason	: 0
3600.08/3475.75	c number of falsified literals weakened from conflict	: 0
3600.08/3475.75	c time for arithmetic operations	: 0
3600.08/3475.75	c minimum degree of deleted constraints	: null
3600.08/3475.75	c maximum degree of deleted constraints	: null
3600.08/3475.75	c number of deleted constraints	: 0
3600.08/3475.75	c speed (assignments/second)	: 42969.407873723925
3600.08/3475.75	c non guided choices	: 164
3600.28/3475.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 281157
3600.28/3475.82	s UNKNOWN
3600.28/3475.83	c Total wall clock time (in seconds): 3475.517

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: 64059 MiB (58318 MiB free)
  memory of node 1: 64510 MiB (56719 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453024-1721451227/watcher-4453024-1721451227 -o /tmp/evaluation-result-4453024-1721451227/solver-4453024-1721451227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058420 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453024-1721451227.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=1059331, runsolver pid=1059328

[startup+0.100443 s]*
/proc/loadavg: 4.23 3.51 3.35 6/317 1059349
/proc/meminfo: memFree=117764764/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=18975048 memory=55232 CPUtime=0.13 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 6431 0 0 0 10 3 0 0 20 0 18 0 197278752 19430449152 13808 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4743762 13808 5513 1 0 550794 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 5369 0 0 0 7 2 0 0 20 0 18 0 197278753 19430449152 13808 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197278758 19430449152 13808 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=18975048 memory=15255952359842124 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197278759 19430449152 13808 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55232 KiB

[startup+0.216534 s]*
/proc/loadavg: 4.23 3.51 3.35 8/317 1059349
/proc/meminfo: memFree=117757336/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=18975048 memory=61988 CPUtime=0.31 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 7131 0 0 0 28 3 0 0 20 0 18 0 197278752 19430449152 15497 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4743762 15497 5521 1 0 551360 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 5684 0 0 0 17 2 0 0 20 0 18 0 197278753 19430449152 15497 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=18975048 memory=3711 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197278758 19430449152 15497 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197278759 19430449152 15497 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61988 KiB

[startup+0.318672 s]*
/proc/loadavg: 4.23 3.51 3.35 5/317 1059349
/proc/meminfo: memFree=117754340/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=18975048 memory=65940 CPUtime=0.46 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 7392 0 0 0 43 3 0 0 20 0 18 0 197278752 19430449152 16485 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4743762 16485 5728 1 0 551540 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=18975048 memory=-7163359464845568356 CPUtime=0.27 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 5859 0 0 0 25 2 0 0 20 0 18 0 197278753 19430449152 16485 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197278758 19430449152 16485 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197278759 19430449152 16485 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65940 KiB

[startup+0.700477 s]
/proc/loadavg: 4.23 3.51 3.35 8/318 1059350
/proc/meminfo: memFree=117747104/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19041612 memory=77260 CPUtime=1.17 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 9049 0 0 0 113 4 0 0 20 0 19 0 197278752 19498610688 19315 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4760403 19315 5813 1 0 552426 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19041612 memory=5616 CPUtime=0.61 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 5951 0 0 0 59 2 0 0 20 0 19 0 197278753 19498610688 19315 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19041612 memory=11884 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197278758 19498610688 19315 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19041612 memory=280713291424424 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197278759 19498610688 19315 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197278797 19498610688 19315 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77260 KiB

[startup+1.50047 s]
/proc/loadavg: 4.23 3.51 3.35 6/318 1059350
/proc/meminfo: memFree=117721792/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19041612 memory=118644 CPUtime=2.75 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 17168 0 0 0 268 7 0 0 20 0 19 0 197278752 19498610688 29661 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4760403 29661 5829 1 0 555355 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19041612 memory=11884 CPUtime=1.39 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 7024 0 0 0 136 3 0 0 20 0 19 0 197278753 19498610688 29661 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197278758 19498610688 29661 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197278759 19498610688 29661 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19041612 memory=280713291277584 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197278797 19498610688 29661 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 118644 KiB

[startup+3.10648 s]
/proc/loadavg: 4.30 3.53 3.36 5/319 1059351
/proc/meminfo: memFree=117538628/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19108176 memory=277548 CPUtime=5.1 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 19136 0 0 0 498 12 0 0 20 0 20 0 197278752 19566772224 69387 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4777044 69387 5861 1 0 555666 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19108176 memory=0 CPUtime=2.81 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 7421 0 0 0 277 4 0 0 20 0 20 0 197278753 19566772224 69387 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19108176 memory=11884 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197278758 19566772224 69387 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 197278759 19566772224 69387 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197278797 19566772224 69387 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 277548 KiB

[startup+6.30026 s]
/proc/loadavg: 4.30 3.53 3.36 5/319 1059351
/proc/meminfo: memFree=117237404/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19108176 memory=591952 CPUtime=8.57 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 20282 0 0 0 839 18 0 0 20 0 20 0 197278752 19566772224 147988 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4777044 147988 5861 1 0 1084134 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19108176 memory=11884 CPUtime=5.73 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 7622 0 0 0 565 8 0 0 20 0 20 0 197278753 19566772224 147988 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197278758 19566772224 147988 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 197278759 19566772224 147988 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19108176 memory=130932 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197278797 19566772224 147988 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 8.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 591952 KiB

[startup+12.7004 s]
/proc/loadavg: 4.32 3.57 3.37 5/319 1059352
/proc/meminfo: memFree=116715920/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19108176 memory=1173416 CPUtime=15.73 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 23132 0 0 0 1541 32 0 0 20 0 20 0 197278752 19566772224 293354 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4777044 293354 5861 1 0 1470581 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19108176 memory=0 CPUtime=11.42 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 8382 0 0 0 1132 10 0 0 20 0 20 0 197278753 19566772224 293354 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197278758 19566772224 293354 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19108176 memory=1030760 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 197278759 19566772224 293354 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19108176 memory=11884 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197278797 19566772224 293354 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 15.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1173416 KiB

[startup+25.5005 s]
/proc/loadavg: 4.35 3.60 3.38 5/319 1059355
/proc/meminfo: memFree=115506272/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19108176 memory=2410112 CPUtime=29.43 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 24728 0 0 0 2890 53 0 0 20 0 20 0 197278752 19566772224 602528 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4777044 602528 5877 1 0 1612636 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19108176 memory=1030760 CPUtime=23.25 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 8927 0 0 0 2307 18 0 0 20 0 20 0 197278753 19566772224 602528 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19108176 memory=-7163359464845568356 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197278758 19566772224 602528 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19108176 memory=49904 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 197278759 19566772224 602528 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197278797 19566772224 602528 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 29.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2410112 KiB

[startup+51.1133 s]
/proc/loadavg: 4.37 3.66 3.41 5/319 1059359
/proc/meminfo: memFree=114164644/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19108176 memory=3377792 CPUtime=56.26 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 28692 0 0 0 5551 75 0 0 20 0 20 0 197278752 19566772224 844448 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4777044 844448 5893 1 0 1712894 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19108176 memory=2983688 CPUtime=47.42 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 10338 0 0 0 4722 20 0 0 20 0 20 0 197278753 19566772224 844448 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19108176 memory=49904 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197278758 19566772224 844448 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0

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

/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 124640 0 0 0 304041 105 0 0 20 0 20 0 197278753 19566772224 3777316 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197278758 19566772224 3777316 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19108176 memory=15109264 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 1441 0 0 0 0 0 0 0 20 0 20 0 197278759 19566772224 3777316 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19108176 memory=15109264 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197278797 19566772224 3777316 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 3278.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15109264 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.25 4.26 5/317 1061182
/proc/meminfo: memFree=82127292/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19108176 memory=15109272 CPUtime=3339.13 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 427164 0 0 0 333421 492 0 0 20 0 20 0 197278752 19566772224 3777318 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4777044 3777318 5893 1 0 4089510 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19108176 memory=11596 CPUtime=3099.84 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 125634 0 0 0 309879 105 0 0 20 0 20 0 197278753 19566772224 3777318 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19108176 memory=15109264 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197278758 19566772224 3777318 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19108176 memory=15109264 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 1490 0 0 0 0 0 0 0 20 0 20 0 197278759 19566772224 3777318 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19108176 memory=15109272 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197278797 19566772224 3777318 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 3339.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15109272 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.25 4.26 5/317 1061261
/proc/meminfo: memFree=83630032/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19108176 memory=15109396 CPUtime=3402.9 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 453927 0 0 0 339791 499 0 0 20 0 20 0 197278752 19566772224 3777349 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4777044 3777349 5909 1 0 4089510 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19108176 memory=15109272 CPUtime=3158.26 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 133700 0 0 0 315720 106 0 0 20 0 20 0 197278753 19566772224 3777349 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19108176 memory=11544 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197278758 19566772224 3777349 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19108176 memory=32868 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 1490 0 0 0 0 0 0 0 20 0 20 0 197278759 19566772224 3777349 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197278797 19566772224 3777349 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 3402.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15109396 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.28 4.27 5/317 1061272
/proc/meminfo: memFree=82346868/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19108176 memory=15109400 CPUtime=3464.17 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 460724 0 0 0 345915 502 0 0 20 0 20 0 197278752 19566772224 3777350 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4777044 3777350 5909 1 0 4089510 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19108176 memory=49904 CPUtime=3215.59 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 135159 0 0 0 321453 106 0 0 20 0 20 0 197278753 19566772224 3777350 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19108176 memory=15109272 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197278758 19566772224 3777350 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 1531 0 0 0 0 0 0 0 20 0 20 0 197278759 19566772224 3777350 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19108176 memory=2604 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197278797 19566772224 3777350 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 3464.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15109400 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.26 4.26 5/318 1061352
/proc/meminfo: memFree=89364580/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19108176 memory=15109420 CPUtime=3525.13 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 462349 0 0 0 352007 506 0 0 20 0 20 0 197278752 19566772224 3777355 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4777044 3777355 5909 1 0 4089512 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19108176 memory=11596 CPUtime=3274 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 135688 0 0 0 327294 106 0 0 20 0 20 0 197278753 19566772224 3777355 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19108176 memory=15109420 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197278758 19566772224 3777355 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19108176 memory=-7163359464845568356 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 1533 0 0 0 0 0 0 0 20 0 20 0 197278759 19566772224 3777355 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19108176 memory=15109420 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197278797 19566772224 3777355 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 3525.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15109420 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.27 4.27 7/318 1061362
/proc/meminfo: memFree=87613408/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19108176 memory=15109428 CPUtime=3586.69 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 464014 0 0 0 358160 509 0 0 20 0 20 0 197278752 19566772224 3777357 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4777044 3777357 5909 1 0 4089512 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19108176 memory=15109420 CPUtime=3332.03 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 136118 0 0 0 333097 106 0 0 20 0 20 0 197278753 19566772224 3777357 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19108176 memory=15109420 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197278758 19566772224 3777357 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19108176 memory=15109428 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 1533 0 0 0 0 0 0 0 20 0 20 0 197278759 19566772224 3777357 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19108176 memory=15109428 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197278797 19566772224 3777357 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15109428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3475.7 s]
/proc/loadavg: 4.35 4.29 4.28 5/318 1061364
/proc/meminfo: memFree=87562044/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19108176 memory=15109428 CPUtime=3600.08 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 464401 0 0 0 359498 510 0 0 20 0 20 0 197278752 19566772224 3777357 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4777044 3777357 5909 1 0 4089512 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19108176 memory=15109428 CPUtime=3345.39 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) R 1059328 1059331 1058409 0 -1 4194368 136430 0 0 0 334433 106 0 0 20 0 20 0 197278753 19566772224 3777357 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19108176 memory=15109420 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197278758 19566772224 3777357 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19108176 memory=15109428 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 1533 0 0 0 0 0 0 0 20 0 20 0 197278759 19566772224 3777357 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059350] ppid=1059328 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1059331/task/1059350/stat : 1059350 (Timer-0) S 1059328 1059331 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197278797 19566772224 3777357 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15109428 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3475.93 s]
# the end of solver process 1059331 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3595.22 s, system=5.18295 s

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

[startup+3475.81 s]
/proc/loadavg: 4.35 4.29 4.28 5/318 1061364
/proc/meminfo: memFree=87562044/131655788 swapFree=131071996/131071996
[pid=1059331] ppid=1059328 vsize=19307868 memory=15110032 CPUtime=3600.28 cores=4,6
/proc/1059331/stat : 1059331 (java) S 1059328 1059331 1058409 0 -1 1077936128 467366 0 0 0 359518 510 0 0 20 0 21 0 197278752 19771256832 3777508 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
/proc/1059331/statm: 4826967 3777508 5908 1 0 4090418 0
[pid=1059331/tid=1059333] ppid=1059328 vsize=19307868 memory=-7163359464845568356 CPUtime=3345.42 cores=4,6
/proc/1059331/task/1059333/stat : 1059333 (java) S 1059328 1059331 1058409 0 -1 1077936192 136586 0 0 0 334436 106 0 0 20 0 21 0 197278753 19771256832 3777508 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059342] ppid=1059328 vsize=19307868 memory=49904 CPUtime=0 cores=4,6
/proc/1059331/task/1059342/stat : 1059342 (Finalizer) S 1059328 1059331 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 197278758 19771256832 3777508 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
[pid=1059331/tid=1059349] ppid=1059328 vsize=19307868 memory=11884 CPUtime=0 cores=4,6
/proc/1059331/task/1059349/stat : 1059349 (Common-Cleaner) S 1059328 1059331 1058409 0 -1 1077936192 1533 0 0 0 0 0 0 0 20 0 21 0 197278759 19771256832 3777508 134679101440 94330226102272 94330226105968 140730462639648 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94330226113784 94330226114576 94330235887616 140730462647301 140730462647391 140730462647391 140730462654408 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15110032 KiB

[startup+3475.9 s]*
/proc/loadavg: 4.35 4.29 4.28 5/300 1061367
/proc/meminfo: memFree=102245424/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3475.93
CPU time (s): 3600.41
CPU user time (s): 3595.22
CPU system time (s): 5.18295
CPU usage (%): 103.581
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15110032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.22
system time used= 5.18295
maximum resident set size= 15110852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467862
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116936
involuntary context switches= 17930


# summary of solver processes directly reported to runsolver:
#   pid: 1059331
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3595.22
#   total CPU system time (s): 5.18295

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5969 second user time and 32.2172 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 06:53:58
IDJOB=4453024
IDBENCH=166052
IDSOLVER=3058
FILE ID=nodeC003/4453024-1721451227
RUNJOBID= nodeC003-1721450898-1058420
SLURM_JOB_ID= 7545681
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v1_shuffle/normalized-grid10_59.shuf-2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453024-1721451227/watcher-4453024-1721451227 -o /tmp/evaluation-result-4453024-1721451227/solver-4453024-1721451227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058420 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453024-1721451227.opb

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

MD5SUM BENCH= bff129d5f55fe22e82ee63766a82b7b0
RANDOM SEED=1200835931

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3630.053
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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		: 3633.483
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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.354
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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.235
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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		: 1323.244
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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		: 3543.539
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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.229
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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.329
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117799588 kB
MemAvailable:   123524888 kB
Buffers:          563764 kB
Cached:          5943740 kB
SwapCached:            0 kB
Active:          1057356 kB
Inactive:       12096224 kB
Active(anon):       1468 kB
Inactive(anon):  6690496 kB
Active(file):    1055888 kB
Inactive(file):  5405728 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               824 kB
Writeback:            28 kB
AnonPages:       6646068 kB
Mapped:           128236 kB
Shmem:             45896 kB
KReclaimable:     207428 kB
Slab:             323188 kB
SReclaimable:     207428 kB
SUnreclaim:       115760 kB
KernelStack:        4876 kB
PageTables:        22896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   10992632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6313984 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:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-20 07:51:55