Trace number 4447664

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-07UNSAT 2260.47 2256.97

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n106-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUM1fb50f41b260553fb8a191e5e9748bb0
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 benchmark2260.47
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables159
Total number of constraints424
Number of constraints which are clauses424
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.19	c version CUSTOM.v20240707
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.22	c java.vm.version	22.0.1+8-16
0.12/0.22	c java.vm.vendor	Oracle Corporation
0.12/0.22	c sun.arch.data.model	64
0.12/0.22	c java.version		22.0.1
0.12/0.22	c os.name		Linux
0.12/0.22	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.22	c os.arch		amd64
0.29/0.23	c Free memory 		2115194816
0.29/0.23	c Max memory 		16282288128
0.29/0.23	c Total memory 		2122317824
0.29/0.24	c Number of processors 	2
0.46/0.33	--- Begin Solver configuration ---
0.46/0.33	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.46/0.33	Learn all clauses as in MiniSAT
0.46/0.33	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.33	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.33	No reason simplification
0.46/0.33	Glucose 2.1 dynamic restart strategy
0.46/0.33	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.46/0.33	timeout=2147483s
0.46/0.33	DB Simplification allowed=false
0.46/0.33	Listener: none
0.46/0.33	--- End Solver configuration ---
0.46/0.34	c Pseudo Boolean Optimization by upper bound
0.46/0.34	c --- Begin Solver configuration ---
0.46/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.46/0.34	c Learn all clauses as in MiniSAT
0.46/0.34	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.34	c No reason simplification
0.46/0.34	c Glucose 2.1 dynamic restart strategy
0.46/0.34	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.46/0.34	c timeout=2147483s
0.46/0.34	c DB Simplification allowed=false
0.46/0.34	c Listener: none
0.46/0.34	c --- End Solver configuration ---
0.46/0.34	c solving HOME/instance-4447664-1721354353.opb
0.46/0.34	c reading problem ... 
0.46/0.34	c  no objective function found
0.46/0.42	c ... done. Wall clock time 0.071s.
0.46/0.42	c declared #vars     159
0.46/0.42	c #constraints  424
0.46/0.42	c constraints type 
0.46/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 424
0.46/0.42	c 424 constraints processed.
1.57/0.95	c cleaning 2499 clauses out of 5000 with flag 18874/5000
2.14/1.26	c cleaning 4244 clauses out of 8502 with flag 47962/11001
2.50/1.44	c cleaning 5623 clauses out of 11257 with flag 79300/18000
2.70/1.55	c cleaning 6816 clauses out of 13637 with flag 117265/26003
3.03/1.70	c cleaning 7905 clauses out of 15819 with flag 165416/35001
3.24/1.86	c cleaning 8952 clauses out of 17913 with flag 216607/45000
3.59/2.01	c cleaning 9973 clauses out of 19961 with flag 270714/56000
3.72/2.17	c cleaning 10987 clauses out of 21989 with flag 331281/68001
3.92/2.35	c cleaning 11995 clauses out of 24001 with flag 397338/81000
4.12/2.59	c cleaning 13000 clauses out of 26007 with flag 468103/95001
4.42/2.84	c cleaning 13999 clauses out of 28008 with flag 542529/110002
4.63/3.08	c cleaning 15000 clauses out of 30009 with flag 620166/126002
4.99/3.35	c cleaning 16001 clauses out of 32007 with flag 709440/143000
5.36/3.62	c cleaning 16999 clauses out of 34006 with flag 807867/161000
5.77/4.01	c cleaning 18000 clauses out of 36007 with flag 924176/180000
6.06/4.35	c cleaning 19003 clauses out of 38008 with flag 1033451/200001
6.46/4.70	c cleaning 19996 clauses out of 40004 with flag 1144307/221000
6.77/5.08	c cleaning 21002 clauses out of 42009 with flag 1246869/243001
7.25/5.50	c cleaning 22001 clauses out of 44007 with flag 1347780/266001
7.76/6.05	c cleaning 22996 clauses out of 46006 with flag 1469569/290001
8.35/6.65	c cleaning 24002 clauses out of 48009 with flag 1585629/315000
9.05/7.34	c cleaning 24998 clauses out of 50008 with flag 1713528/341001
9.65/8.00	c cleaning 26002 clauses out of 52010 with flag 1844692/368001
10.35/8.61	c cleaning 27004 clauses out of 54007 with flag 1995754/396000
10.95/9.29	c cleaning 28001 clauses out of 56004 with flag 2129517/425001
11.55/9.89	c cleaning 28997 clauses out of 58002 with flag 2275113/455000
12.45/10.74	c cleaning 29993 clauses out of 60005 with flag 2444288/486000
13.24/11.57	c cleaning 30998 clauses out of 62012 with flag 2620081/518000
14.14/12.42	c cleaning 32004 clauses out of 64014 with flag 2786492/551000
15.04/13.30	c cleaning 32998 clauses out of 66010 with flag 2953872/585000
15.86/14.19	c cleaning 33998 clauses out of 68012 with flag 3123176/620000
16.94/15.25	c cleaning 35003 clauses out of 70015 with flag 3304462/656001
17.75/16.10	c cleaning 35998 clauses out of 72012 with flag 3480717/693001
18.64/16.90	c cleaning 37004 clauses out of 74013 with flag 3676331/731000
19.85/18.12	c cleaning 37997 clauses out of 76010 with flag 3909508/770001
21.03/19.39	c cleaning 38995 clauses out of 78012 with flag 4147197/810000
22.43/20.70	c cleaning 39998 clauses out of 80017 with flag 4391475/851000
23.78/22.08	c cleaning 41000 clauses out of 82019 with flag 4638710/893000
25.07/23.31	c cleaning 42004 clauses out of 84019 with flag 4883680/936000
26.27/24.51	c cleaning 42998 clauses out of 86016 with flag 5136795/980001
27.36/25.61	c cleaning 44001 clauses out of 88017 with flag 5353737/1025000
28.46/26.79	c cleaning 45003 clauses out of 90017 with flag 5585935/1071001
29.66/27.97	c cleaning 46000 clauses out of 92014 with flag 5822582/1118001
30.96/29.22	c cleaning 46998 clauses out of 94014 with flag 6060938/1166001
32.39/30.66	c cleaning 48002 clauses out of 96015 with flag 6314642/1215000
33.58/31.89	c cleaning 49005 clauses out of 98013 with flag 6550606/1265000
35.08/33.33	c cleaning 50001 clauses out of 100008 with flag 6810912/1316000
36.28/34.57	c cleaning 50995 clauses out of 102007 with flag 7058401/1368000
37.59/35.85	c cleaning 51999 clauses out of 104013 with flag 7330511/1421001
39.28/37.56	c cleaning 53001 clauses out of 106014 with flag 7584099/1475001
41.30/39.53	c cleaning 53999 clauses out of 108013 with flag 7834142/1530001
43.10/41.32	c cleaning 55003 clauses out of 110014 with flag 8097618/1586001
44.99/43.22	c cleaning 56000 clauses out of 112011 with flag 8363223/1643001
47.09/45.35	c cleaning 56995 clauses out of 114010 with flag 8633327/1701000
49.09/47.39	c cleaning 58002 clauses out of 116016 with flag 8913164/1760001
51.30/49.52	c cleaning 58996 clauses out of 118013 with flag 9183510/1820000
53.30/51.55	c cleaning 60004 clauses out of 120017 with flag 9467685/1881000
55.50/53.77	c cleaning 61000 clauses out of 122013 with flag 9747437/1943000
57.69/55.92	c cleaning 62002 clauses out of 124013 with flag 10040841/2006000
59.80/58.03	c cleaning 63002 clauses out of 126011 with flag 10324925/2070000
61.97/60.29	c cleaning 63998 clauses out of 128010 with flag 10626036/2135001
64.28/62.53	c cleaning 65000 clauses out of 130012 with flag 10933577/2201001
66.67/64.95	c cleaning 66005 clauses out of 132011 with flag 11273149/2268000
69.47/67.76	c cleaning 66997 clauses out of 134006 with flag 11609063/2336000
72.26/70.59	c cleaning 67993 clauses out of 136009 with flag 11969610/2405000
75.09/73.35	c cleaning 69003 clauses out of 138017 with flag 12292253/2475001
78.29/76.55	c cleaning 69996 clauses out of 140013 with flag 12634039/2546000
81.40/79.66	c cleaning 71004 clauses out of 142017 with flag 12971457/2618000
84.19/82.47	c cleaning 72000 clauses out of 144014 with flag 13321908/2691001
87.44/85.68	c cleaning 72998 clauses out of 146015 with flag 13666412/2765002
91.33/89.56	c cleaning 74002 clauses out of 148016 with flag 14015146/2840001
94.79/92.97	c cleaning 75001 clauses out of 150014 with flag 14365410/2916001
98.18/96.31	c cleaning 76002 clauses out of 152012 with flag 14722638/2993000
100.90/99.02	c cleaning 77001 clauses out of 154011 with flag 15063740/3071001
104.00/102.13	c cleaning 78001 clauses out of 156009 with flag 15416984/3150000
107.29/105.49	c cleaning 78996 clauses out of 158009 with flag 15784236/3230001
110.99/109.19	c cleaning 80000 clauses out of 160012 with flag 16197661/3311000
114.78/112.91	c cleaning 80999 clauses out of 162013 with flag 16577539/3393001
118.79/116.99	c cleaning 81998 clauses out of 164013 with flag 16957922/3476000
122.68/120.81	c cleaning 83006 clauses out of 166016 with flag 17349330/3560001
127.07/125.22	c cleaning 83997 clauses out of 168010 with flag 17749799/3645001
130.41/128.56	c cleaning 84998 clauses out of 170013 with flag 18147724/3731001
134.02/132.16	c cleaning 86000 clauses out of 172014 with flag 18530337/3818000
137.80/135.97	c cleaning 86999 clauses out of 174015 with flag 18959573/3906001
142.01/140.18	c cleaning 88003 clauses out of 176015 with flag 19372722/3995000
146.71/144.89	c cleaning 89004 clauses out of 178013 with flag 19782862/4085001
151.31/149.42	c cleaning 89997 clauses out of 180008 with flag 20194807/4176000
155.20/153.32	c cleaning 91000 clauses out of 182012 with flag 20608270/4268001
160.01/158.19	c cleaning 91998 clauses out of 184011 with flag 21008994/4361000
165.29/163.41	c cleaning 92999 clauses out of 186013 with flag 21417797/4455000
170.29/168.40	c cleaning 94000 clauses out of 188015 with flag 21844947/4550001
176.40/174.57	c cleaning 95003 clauses out of 190015 with flag 22268424/4646001
181.29/179.41	c cleaning 96000 clauses out of 192011 with flag 22690437/4743000
186.48/184.60	c cleaning 96999 clauses out of 194012 with flag 23129945/4841001
192.58/190.77	c cleaning 98001 clauses out of 196013 with flag 23568539/4940001
198.67/196.83	c cleaning 99001 clauses out of 198012 with flag 24018056/5040001
203.76/201.92	c cleaning 99997 clauses out of 200010 with flag 24470252/5141000
209.25/207.43	c cleaning 101000 clauses out of 202013 with flag 24937113/5243000
214.67/212.89	c cleaning 102000 clauses out of 204013 with flag 25397049/5346000
220.16/218.35	c cleaning 103001 clauses out of 206013 with flag 25862318/5450000
227.26/225.41	c cleaning 104006 clauses out of 208013 with flag 26327349/5555001
234.26/232.41	c cleaning 104999 clauses out of 210006 with flag 26794788/5661000
241.14/239.30	c cleaning 106000 clauses out of 212007 with flag 27260527/5768000
248.29/246.49	c cleaning 107000 clauses out of 214008 with flag 27739460/5876001
255.37/253.57	c cleaning 107997 clauses out of 216007 with flag 28236795/5985000
261.06/259.21	c cleaning 108999 clauses out of 218011 with flag 28749412/6095001
266.35/264.58	c cleaning 109997 clauses out of 220012 with flag 29262344/6206001
272.14/270.34	c cleaning 110997 clauses out of 222015 with flag 29766131/6318001
277.33/275.59	c cleaning 112003 clauses out of 224017 with flag 30280030/6431000
285.52/283.72	c cleaning 113004 clauses out of 226015 with flag 30815967/6545001
293.61/291.83	c cleaning 114002 clauses out of 228011 with flag 31337456/6660001
301.10/299.36	c cleaning 114995 clauses out of 230009 with flag 31886826/6776001
307.63/305.88	c cleaning 115996 clauses out of 232014 with flag 32419156/6893001
314.31/312.54	c cleaning 117003 clauses out of 234018 with flag 32939667/7011001
321.40/319.68	c cleaning 118003 clauses out of 236014 with flag 33485994/7130000
327.40/325.61	c cleaning 119001 clauses out of 238012 with flag 34050281/7250001
334.80/333.05	c cleaning 119999 clauses out of 240010 with flag 34553608/7371000
342.88/341.16	c cleaning 121002 clauses out of 242011 with flag 35093273/7493000
350.16/348.42	c cleaning 122001 clauses out of 244009 with flag 35660216/7616000
356.66/354.93	c cleaning 122999 clauses out of 246009 with flag 36211926/7740001
364.25/362.58	c cleaning 124003 clauses out of 248010 with flag 36768920/7865001
373.03/371.39	c cleaning 124997 clauses out of 250007 with flag 37336191/7991001
380.53/378.86	c cleaning 125994 clauses out of 252009 with flag 37930530/8118000
388.32/386.61	c cleaning 127004 clauses out of 254015 with flag 38523394/8246000
397.72/396.05	c cleaning 128001 clauses out of 256011 with flag 39118064/8375000
407.59/405.95	c cleaning 129001 clauses out of 258012 with flag 39759884/8505002
415.69/414.01	c cleaning 129996 clauses out of 260009 with flag 40356565/8636000
424.57/422.90	c cleaning 131002 clauses out of 262014 with flag 40991981/8768001
434.15/432.52	c cleaning 131998 clauses out of 264011 with flag 41628641/8901000
443.05/441.41	c cleaning 133002 clauses out of 266013 with flag 42258334/9035000
451.45/449.89	c cleaning 134001 clauses out of 268012 with flag 42883412/9170001
458.53/456.99	c cleaning 135001 clauses out of 270012 with flag 43490117/9306002
466.68/465.03	c cleaning 136002 clauses out of 272009 with flag 44093886/9443000
474.66/473.01	c cleaning 136997 clauses out of 274008 with flag 44724218/9581001
482.45/480.82	c cleaning 137997 clauses out of 276011 with flag 45345506/9720001
490.96/488.92	c cleaning 139001 clauses out of 278013 with flag 45932981/9860000
500.95/498.99	c cleaning 139994 clauses out of 280012 with flag 46552837/10001000
512.92/511.01	c cleaning 141006 clauses out of 282018 with flag 47150208/10143000
520.75/518.70	c cleaning 142003 clauses out of 284012 with flag 47765038/10286000
527.85/525.84	c cleaning 142996 clauses out of 286009 with flag 48406782/10430000
535.43/533.41	c cleaning 144003 clauses out of 288013 with flag 49056144/10575000
544.04/542.09	c cleaning 144997 clauses out of 290010 with flag 49684742/10721000
553.13/551.16	c cleaning 146001 clauses out of 292014 with flag 50313867/10868001
563.30/561.30	c cleaning 147000 clauses out of 294013 with flag 50990591/11016001
574.40/572.44	c cleaning 148001 clauses out of 296012 with flag 51652699/11165000
583.80/581.89	c cleaning 149000 clauses out of 298011 with flag 52319722/11315000
592.88/590.91	c cleaning 150003 clauses out of 300011 with flag 52983117/11466000
601.58/599.69	c cleaning 151002 clauses out of 302009 with flag 53648682/11618001
611.66/609.71	c cleaning 152000 clauses out of 304006 with flag 54348763/11771000
621.74/619.82	c cleaning 153002 clauses out of 306007 with flag 55034159/11925001
630.83/628.97	c cleaning 153994 clauses out of 308004 with flag 55735616/12080000
642.23/640.33	c cleaning 155000 clauses out of 310010 with flag 56445834/12236000
650.31/648.42	c cleaning 155995 clauses out of 312010 with flag 57049731/12393000
659.91/658.10	c cleaning 156999 clauses out of 314015 with flag 57677664/12551000
670.99/669.19	c cleaning 158005 clauses out of 316016 with flag 58363828/12710000
679.56/677.79	c cleaning 159001 clauses out of 318011 with flag 59067514/12870000
689.75/687.97	c cleaning 159997 clauses out of 320011 with flag 59732773/13031001
702.32/700.53	c cleaning 161001 clauses out of 322014 with flag 60390694/13193001
714.37/712.54	c cleaning 162004 clauses out of 324013 with flag 61053266/13356001
726.97/725.16	c cleaning 163000 clauses out of 326009 with flag 61747647/13520001
737.73/735.93	c cleaning 164001 clauses out of 328009 with flag 62435811/13685001
751.01/749.23	c cleaning 165000 clauses out of 330008 with flag 63154869/13851001
762.61/760.82	c cleaning 165995 clauses out of 332008 with flag 63880301/14018001
775.49/773.79	c cleaning 167000 clauses out of 334013 with flag 64636444/14186001
788.67/786.90	c cleaning 168002 clauses out of 336012 with flag 65319678/14355000
801.46/799.80	c cleaning 168998 clauses out of 338010 with flag 66042416/14525000
814.04/812.20	c cleaning 170003 clauses out of 340012 with flag 66787549/14696000
824.02/822.25	c cleaning 171000 clauses out of 342010 with flag 67537641/14868001
836.06/834.22	c cleaning 171998 clauses out of 344010 with flag 68296596/15041001
845.84/844.03	c cleaning 172996 clauses out of 346011 with flag 69047933/15215000
858.61/856.83	c cleaning 174000 clauses out of 348015 with flag 69809837/15390000
869.69/868.00	c cleaning 174998 clauses out of 350015 with flag 70603388/15566000
884.32/882.59	c cleaning 176001 clauses out of 352017 with flag 71376285/15743000
896.41/894.63	c cleaning 176999 clauses out of 354017 with flag 72118071/15921001
909.08/907.32	c cleaning 178005 clauses out of 356018 with flag 72889393/16100001
923.06/921.36	c cleaning 178999 clauses out of 358013 with flag 73655557/16280001
935.13/933.46	c cleaning 179999 clauses out of 360014 with flag 74477232/16461001
947.22/945.50	c cleaning 181002 clauses out of 362015 with flag 75275721/16643001
957.82/956.13	c cleaning 181998 clauses out of 364012 with flag 76096187/16826000
969.09/967.46	c cleaning 183000 clauses out of 366014 with flag 76925699/17010000
980.97/979.31	c cleaning 184002 clauses out of 368014 with flag 77765984/17195000
995.25/993.69	c cleaning 185000 clauses out of 370012 with flag 78608740/17381000
1009.86/1008.21	c cleaning 186001 clauses out of 372013 with flag 79419756/17568001
1021.76/1020.13	c cleaning 187004 clauses out of 374011 with flag 80183471/17756000
1034.92/1033.34	c cleaning 188004 clauses out of 376007 with flag 80964226/17945000
1049.29/1047.74	c cleaning 188995 clauses out of 378004 with flag 81800462/18135001
1062.58/1061.07	c cleaning 190001 clauses out of 380008 with flag 82596087/18326000
1076.89/1075.33	c cleaning 190996 clauses out of 382008 with flag 83393245/18518001
1090.26/1088.74	c cleaning 192000 clauses out of 384011 with flag 84259813/18711000
1104.44/1102.90	c cleaning 192999 clauses out of 386011 with flag 85126179/18905000
1118.52/1117.06	c cleaning 194002 clauses out of 388013 with flag 85997967/19100001
1132.99/1131.56	c cleaning 195001 clauses out of 390011 with flag 86894595/19296001
1147.83/1146.34	c cleaning 195996 clauses out of 392009 with flag 87781562/19493000
1162.52/1161.01	c cleaning 196997 clauses out of 394013 with flag 88617538/19691000
1176.00/1174.55	c cleaning 198005 clauses out of 396016 with flag 89512038/19890000
1189.97/1188.50	c cleaning 199005 clauses out of 398011 with flag 90417091/20090000
1203.85/1202.49	c cleaning 200000 clauses out of 400006 with flag 91326504/20291000
1218.73/1217.25	c cleaning 200997 clauses out of 402006 with flag 92225619/20493000
1234.81/1233.31	c cleaning 201995 clauses out of 404009 with flag 93122501/20696000
1251.98/1250.54	c cleaning 203002 clauses out of 406015 with flag 93991692/20900001
1266.48/1265.08	c cleaning 204000 clauses out of 408012 with flag 94843968/21105000
1283.69/1282.28	c cleaning 205004 clauses out of 410013 with flag 95707817/21311001
1299.67/1298.29	c cleaning 205992 clauses out of 412008 with flag 96576795/21518000
1313.33/1311.98	c cleaning 207003 clauses out of 414017 with flag 97448524/21726001
1328.71/1327.33	c cleaning 208003 clauses out of 416013 with flag 98348667/21935000
1344.17/1342.84	c cleaning 209002 clauses out of 418010 with flag 99273972/22145000
1360.14/1358.88	c cleaning 209998 clauses out of 420009 with flag 100168930/22356001
1377.21/1375.92	c cleaning 211002 clauses out of 422011 with flag 101094280/22568001
1395.37/1394.02	c cleaning 211997 clauses out of 424008 with flag 101989639/22781000
1415.82/1414.50	c cleaning 213003 clauses out of 426011 with flag 102906127/22995000
1433.68/1432.42	c cleaning 213996 clauses out of 428009 with flag 103845682/23210001
1453.55/1452.37	c cleaning 215001 clauses out of 430013 with flag 104790715/23426001
1471.42/1470.28	c cleaning 215999 clauses out of 432011 with flag 105737081/23643000
1488.08/1486.94	c cleaning 217003 clauses out of 434012 with flag 106675173/23861000
1509.04/1507.97	c cleaning 217996 clauses out of 436009 with flag 107601225/24080000
1528.27/1527.11	c cleaning 219004 clauses out of 438014 with flag 108520524/24300001
1550.13/1549.02	c cleaning 220001 clauses out of 440010 with flag 109460212/24521001
1570.28/1569.21	c cleaning 221001 clauses out of 442009 with flag 110413973/24743001
1591.75/1590.73	c cleaning 221999 clauses out of 444007 with flag 111390411/24966000
1614.06/1613.07	c cleaning 223001 clauses out of 446008 with flag 112370017/25190000
1633.13/1632.16	c cleaning 223999 clauses out of 448008 with flag 113329481/25415001
1652.19/1651.22	c cleaning 225000 clauses out of 450008 with flag 114312945/25641000
1670.27/1669.30	c cleaning 225999 clauses out of 452008 with flag 115254173/25868000
1690.34/1689.44	c cleaning 227000 clauses out of 454009 with flag 116223032/26096000
1713.47/1711.39	c cleaning 227999 clauses out of 456009 with flag 117248826/26325000
1732.78/1730.63	c cleaning 229005 clauses out of 458011 with flag 118155136/26555001
1748.96/1746.84	c cleaning 229998 clauses out of 460005 with flag 119032902/26786000
1777.98/1775.82	c cleaning 231002 clauses out of 462009 with flag 120047391/27018002
1803.02/1799.96	c cleaning 232000 clauses out of 464006 with flag 121063166/27251001
1822.70/1819.62	c cleaning 232999 clauses out of 466005 with flag 122046633/27485000
1842.18/1839.12	c cleaning 233996 clauses out of 468007 with flag 123070389/27720001
1860.54/1857.54	c cleaning 235003 clauses out of 470011 with flag 124021696/27956001
1884.20/1881.29	c cleaning 235999 clauses out of 472008 with flag 124948096/28193001
1903.42/1900.43	c cleaning 237000 clauses out of 474008 with flag 126004813/28431000
1921.60/1918.69	c cleaning 237998 clauses out of 476009 with flag 127024877/28670001
1945.88/1942.91	c cleaning 239002 clauses out of 478010 with flag 128030652/28910000
1966.75/1963.88	c cleaning 240001 clauses out of 480009 with flag 129070526/29151001
1986.81/1984.01	c cleaning 241002 clauses out of 482007 with flag 130133289/29393000
2008.24/2004.77	c cleaning 241995 clauses out of 484005 with flag 131038932/29636001
2027.42/2023.91	c cleaning 242999 clauses out of 486009 with flag 132070926/29880000
2048.93/2045.41	c cleaning 244000 clauses out of 488010 with flag 133150392/30125000
2070.51/2067.09	c cleaning 244999 clauses out of 490010 with flag 134236551/30371000
2088.11/2084.68	c cleaning 246003 clauses out of 492012 with flag 135298093/30618001
2109.84/2106.32	c cleaning 246999 clauses out of 494008 with flag 136384815/30866001
2134.10/2130.62	c cleaning 248000 clauses out of 496008 with flag 137488317/31115000
2157.68/2154.24	c cleaning 248997 clauses out of 498008 with flag 138601355/31365000
2180.45/2177.02	c cleaning 250000 clauses out of 500011 with flag 139687508/31616000
2204.47/2201.05	c cleaning 251003 clauses out of 502011 with flag 140804749/31868000
2226.43/2223.08	c cleaning 252000 clauses out of 504008 with flag 141883224/32121001
2250.32/2246.95	c cleaning 253000 clauses out of 506006 with flag 142972911/32375000
2260.21/2256.83	c starts		: 14123
2260.21/2256.83	c conflicts		: 32617233
2260.21/2256.83	c decisions		: 39317701
2260.21/2256.83	c propagations		: 163917259
2260.21/2256.83	c inspects		: 16427412734
2260.21/2256.83	c shortcuts		: 0
2260.21/2256.83	c learnt literals	: 22
2260.21/2256.83	c learnt binary clauses	: 19
2260.21/2256.83	c learnt ternary clauses	: 41
2260.21/2256.83	c learnt constraints	: 32617210
2260.21/2256.84	c ignored constraints	: 0
2260.21/2256.84	c root simplifications	: 0
2260.21/2256.84	c removed literals (reason simplification)	: 0
2260.21/2256.84	c reason swapping (by a shorter reason)	: 0
2260.21/2256.84	c Calls to reduceDB	: 250
2260.21/2256.84	c Number of update (reduction) of LBD	: 3637935
2260.21/2256.84	c Imported unit clauses	: 0
2260.21/2256.84	c No decision after first conflict	: false
2260.21/2256.84	c number of reductions to clauses (during analyze)	: 0
2260.21/2256.84	c number of learned constraints concerned by reduction	: 0
2260.21/2256.84	c number of learning phase by resolution	: 0
2260.21/2256.84	c number of learning phase by cutting planes	: 0
2260.21/2256.84	c number of rounding to 1 operations	: 0
2260.21/2256.84	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2260.21/2256.84	c number of reductions of the coefficients by power 2 	: 0
2260.21/2256.84	c number of right shift for reduction by power 2 	: 0
2260.21/2256.84	c number of reductions of the coefficients by GCD over coefficients 	: 0
2260.21/2256.84	c number of ending skipping 	: 0
2260.21/2256.84	c number of internal skipping 	: 0
2260.21/2256.84	c number of derivation steps 	: 0
2260.21/2256.85	c number of skipped derivation steps 	: 0
2260.21/2256.85	c number of remaining unassigned 	: 0
2260.21/2256.85	c number of remaining assigned 	: 0
2260.21/2256.85	c number of falsified literals weakened from reason	: 0
2260.21/2256.85	c number of falsified literals weakened from conflict	: 0
2260.21/2256.85	c time for arithmetic operations	: 0
2260.21/2256.85	c minimum degree of deleted constraints	: null
2260.21/2256.85	c maximum degree of deleted constraints	: null
2260.21/2256.85	c number of deleted constraints	: 0
2260.21/2256.86	c speed (assignments/second)	: 72644.38445795445
2260.21/2256.86	c non guided choices	: 10549
2260.38/2256.93	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 495201
2260.38/2256.93	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 19
2260.38/2256.93	s UNSATISFIABLE
2260.38/2256.93	c Total wall clock time (in seconds): 2256.598

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447664-1721354353/watcher-4447664-1721354353 -o /tmp/evaluation-result-4447664-1721354353/solver-4447664-1721354353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980652 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4447664-1721354353.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.101574 s]*
/proc/loadavg: 1.22 1.80 2.57 15/313 980781
/proc/meminfo: memFree=127521536/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=18975048 memory=55624 CPUtime=0.12 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 6396 0 0 0 8 4 0 0 20 0 18 0 187591747 19430449152 13906 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4743762 13906 5649 1 0 550741 0
[pid=980706/tid=980716] ppid=980694 vsize=18975048 memory=4026531971 CPUtime=0.07 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 5314 0 0 0 4 3 0 0 20 0 18 0 187591748 19430449152 13906 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=18975048 memory=5697 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187591754 19430449152 13906 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187591755 19430449152 13906 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55624 KiB

[startup+0.218317 s]*
/proc/loadavg: 1.22 1.80 2.57 12/313 980781
/proc/meminfo: memFree=127509104/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=18975048 memory=58640 CPUtime=0.29 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 7107 0 0 0 24 5 0 0 20 0 18 0 187591747 19430449152 14660 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4743762 14660 5708 1 0 551321 0
[pid=980706/tid=980716] ppid=980694 vsize=18975048 memory=664970851429515395 CPUtime=0.19 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 5678 0 0 0 15 4 0 0 20 0 18 0 187591748 19430449152 14660 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=18975048 memory=5697 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187591754 19430449152 14660 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187591755 19430449152 14660 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58640 KiB

[startup+0.320368 s]*
/proc/loadavg: 1.22 1.80 2.57 18/313 980781
/proc/meminfo: memFree=127486172/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=18975048 memory=63772 CPUtime=0.46 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 7384 0 0 0 40 6 0 0 20 0 18 0 187591747 19430449152 15943 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4743762 15943 5724 1 0 551503 0
[pid=980706/tid=980716] ppid=980694 vsize=18975048 memory=-8814780787406971580 CPUtime=0.27 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 5853 0 0 0 23 4 0 0 20 0 18 0 187591748 19430449152 15955 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=18975048 memory=-9044459746194447340 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187591754 19430449152 15955 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187591755 19430449152 15955 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63772 KiB

[startup+0.702575 s]
/proc/loadavg: 1.22 1.80 2.57 14/317 980785
/proc/meminfo: memFree=127467628/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19041612 memory=73328 CPUtime=1.15 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 10383 0 0 0 108 7 0 0 20 0 19 0 187591747 19498610688 18332 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4760403 18332 5827 1 0 553434 0
[pid=980706/tid=980716] ppid=980694 vsize=19041612 memory=5512 CPUtime=0.59 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 5957 0 0 0 55 4 0 0 20 0 19 0 187591748 19498610688 18332 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187591754 19498610688 18332 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19041612 memory=140519116318224 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187591755 19498610688 18332 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19041612 memory=752916166140199358 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187591789 19498610688 18332 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73328 KiB

[startup+1.50257 s]
/proc/loadavg: 1.22 1.80 2.57 12/317 980785
/proc/meminfo: memFree=127418408/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19041612 memory=91028 CPUtime=2.7 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 16515 0 0 0 261 9 0 0 20 0 19 0 187591747 19498610688 22757 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4760403 22757 5827 1 0 555633 0
[pid=980706/tid=980716] ppid=980694 vsize=19041612 memory=11992 CPUtime=1.34 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 6371 0 0 0 130 4 0 0 20 0 19 0 187591748 19498610688 22757 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187591754 19498610688 22757 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187591755 19498610688 22757 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19041612 memory=4580 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187591789 19498610688 22757 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91028 KiB

[startup+3.11357 s]
/proc/loadavg: 1.60 1.87 2.58 7/317 980917
/proc/meminfo: memFree=127316116/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19041612 memory=122156 CPUtime=4.77 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 17878 0 0 0 468 9 0 0 20 0 19 0 187591747 19498610688 30539 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4760403 30539 5837 1 0 555655 0
[pid=980706/tid=980716] ppid=980694 vsize=19041612 memory=0 CPUtime=2.95 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 6699 0 0 0 290 5 0 0 20 0 19 0 187591748 19498610688 30539 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187591754 19498610688 30539 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187591755 19498610688 30539 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19041612 memory=11600 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187591789 19498610688 30539 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 122156 KiB

[startup+6.3004 s]
/proc/loadavg: 1.60 1.87 2.58 7/318 980918
/proc/meminfo: memFree=127155960/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19108176 memory=174364 CPUtime=8.06 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 19202 0 0 0 795 11 0 0 20 0 20 0 187591747 19566772224 43591 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4777044 43591 5884 1 0 555944 0
[pid=980706/tid=980716] ppid=980694 vsize=19108176 memory=11992 CPUtime=6.1 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 6796 0 0 0 604 6 0 0 20 0 20 0 187591748 19566772224 43591 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 43591 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 43591 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19108176 memory=8514726395715219830 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591789 19566772224 43591 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 8.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 174364 KiB

[startup+12.7004 s]
/proc/loadavg: 1.95 1.94 2.60 5/320 980988
/proc/meminfo: memFree=127070564/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19108176 memory=174604 CPUtime=14.44 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 20169 0 0 0 1433 11 0 0 20 0 20 0 187591747 19566772224 43651 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4777044 43651 5884 1 0 555944 0
[pid=980706/tid=980716] ppid=980694 vsize=19108176 memory=174604 CPUtime=12.48 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 7600 0 0 0 1242 6 0 0 20 0 20 0 187591748 19566772224 43651 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 43651 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19108176 memory=174604 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 43651 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19108176 memory=224194199869 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591789 19566772224 43651 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 14.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 174604 KiB

[startup+25.5005 s]
/proc/loadavg: 2.41 2.04 2.63 5/321 980990
/proc/meminfo: memFree=126863704/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19108176 memory=211668 CPUtime=27.26 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 23173 0 0 0 2713 13 0 0 20 0 20 0 187591747 19566772224 52917 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4777044 52917 5884 1 0 555944 0
[pid=980706/tid=980716] ppid=980694 vsize=19108176 memory=11992 CPUtime=25.16 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 8477 0 0 0 2510 6 0 0 20 0 20 0 187591748 19566772224 52917 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19108176 memory=174600 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 52917 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19108176 memory=-8886838381444899516 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 52917 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19108176 memory=33 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591789 19566772224 52917 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 27.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211668 KiB

[startup+51.1132 s]
/proc/loadavg: 3.01 2.22 2.67 5/321 980995
/proc/meminfo: memFree=126314928/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19108176 memory=322740 CPUtime=52.91 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 28006 0 0 0 5273 18 0 0 20 0 20 0 187591747 19566772224 80685 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4777044 80685 5900 1 0 555944 0
[pid=980706/tid=980716] ppid=980694 vsize=19108176 memory=-8886838381444899516 CPUtime=50.33 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 10080 0 0 0 5027 6 0 0 20 0 20 0 187591748 19566772224 80685 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19108176 memory=279648 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 80685 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0

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

/proc/loadavg: 4.12 4.28 4.13 5/317 982739
/proc/meminfo: memFree=120525292/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19108176 memory=1619464 CPUtime=2230.63 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 110718 0 0 0 222905 158 0 0 20 0 20 0 187591747 19566772224 404866 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4777044 404866 5900 1 0 562604 0
[pid=980706/tid=980716] ppid=980694 vsize=19108176 memory=1617416 CPUtime=2214.52 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 35282 0 0 0 221430 22 0 0 20 0 20 0 187591748 19566772224 404866 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19108176 memory=1615288 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 404866 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 1596 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 404866 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19108176 memory=1617416 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591789 19566772224 404866 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 2230.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1619464 KiB

[startup+2240 s]*
/proc/loadavg: 4.16 4.28 4.14 5/317 982742
/proc/meminfo: memFree=120516852/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19108176 memory=1619476 CPUtime=2243.44 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 111491 0 0 0 224186 158 0 0 20 0 20 0 187591747 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4777044 404869 5900 1 0 562604 0
[pid=980706/tid=980716] ppid=980694 vsize=19108176 memory=-8817031479119094460 CPUtime=2227.3 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 35322 0 0 0 222708 22 0 0 20 0 20 0 187591748 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19108176 memory=2957164 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19108176 memory=2700 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 1596 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19108176 memory=4572 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591789 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 2243.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1619476 KiB

[startup+2246.4 s]
/proc/loadavg: 4.15 4.27 4.14 5/317 982742
/proc/meminfo: memFree=120500188/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19108176 memory=1619476 CPUtime=2249.82 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 111493 0 0 0 224824 158 0 0 20 0 20 0 187591747 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4777044 404869 5900 1 0 562604 0
[pid=980706/tid=980716] ppid=980694 vsize=19108176 memory=43996 CPUtime=2233.68 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 35322 0 0 0 223346 22 0 0 20 0 20 0 187591748 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19108176 memory=1619476 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19108176 memory=25208 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 1596 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19108176 memory=1619476 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591789 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 2249.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1619476 KiB

[startup+2252.8 s]
/proc/loadavg: 4.14 4.27 4.13 5/317 982744
/proc/meminfo: memFree=120499972/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19108176 memory=1619476 CPUtime=2256.21 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 111551 0 0 0 225463 158 0 0 20 0 20 0 187591747 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4777044 404869 5900 1 0 562604 0
[pid=980706/tid=980716] ppid=980694 vsize=19108176 memory=11600 CPUtime=2240.06 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 35336 0 0 0 223984 22 0 0 20 0 20 0 187591748 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19108176 memory=2321 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19108176 memory=1617416 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 1596 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19108176 memory=1619476 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591789 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 2256.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1619476 KiB

[startup+2254.4 s]
/proc/loadavg: 4.13 4.26 4.13 5/317 982744
/proc/meminfo: memFree=120500012/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19108176 memory=1619476 CPUtime=2257.81 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 111551 0 0 0 225623 158 0 0 20 0 20 0 187591747 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4777044 404869 5900 1 0 562604 0
[pid=980706/tid=980716] ppid=980694 vsize=19108176 memory=1840 CPUtime=2241.66 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 35336 0 0 0 224144 22 0 0 20 0 20 0 187591748 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19108176 memory=5508 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19108176 memory=1944 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 1596 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19108176 memory=2244 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591789 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 2257.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1619476 KiB

[startup+2256 s]*
/proc/loadavg: 4.13 4.26 4.13 5/317 982744
/proc/meminfo: memFree=120465088/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19108176 memory=1619476 CPUtime=2259.42 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 111551 0 0 0 225784 158 0 0 20 0 20 0 187591747 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4777044 404869 5900 1 0 562604 0
[pid=980706/tid=980716] ppid=980694 vsize=19108176 memory=16252 CPUtime=2243.27 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 35336 0 0 0 224305 22 0 0 20 0 20 0 187591748 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19108176 memory=2312 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19108176 memory=25208 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 1596 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19108176 memory=-8817031479119094460 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591789 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 2259.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1619476 KiB

[startup+2256.4 s]
/proc/loadavg: 4.13 4.26 4.13 5/317 982744
/proc/meminfo: memFree=120465088/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19108176 memory=1619476 CPUtime=2259.81 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 111551 0 0 0 225823 158 0 0 20 0 20 0 187591747 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4777044 404869 5900 1 0 562604 0
[pid=980706/tid=980716] ppid=980694 vsize=19108176 memory=1619476 CPUtime=2243.66 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 35336 0 0 0 224344 22 0 0 20 0 20 0 187591748 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19108176 memory=2244 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19108176 memory=1840 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 1596 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19108176 memory=5508 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591789 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 2259.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1619476 KiB

[startup+2256.8 s]
/proc/loadavg: 4.13 4.26 4.13 5/317 982744
/proc/meminfo: memFree=120465088/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19108176 memory=1619476 CPUtime=2260.21 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 111552 0 0 0 225863 158 0 0 20 0 20 0 187591747 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4777044 404869 5900 1 0 562604 0
[pid=980706/tid=980716] ppid=980694 vsize=19108176 memory=1619476 CPUtime=2244.05 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) R 980694 980706 980639 0 -1 4194368 35337 0 0 0 224383 22 0 0 20 0 20 0 187591748 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19108176 memory=16252 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19108176 memory=2312 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 1596 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980784] ppid=980694 vsize=19108176 memory=1619476 CPUtime=0 cores=5,7
/proc/980706/task/980784/stat : 980784 (Timer-0) S 980694 980706 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591789 19566772224 404869 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 2260.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1619476 KiB

[startup+2256.9 s]
/proc/loadavg: 4.13 4.26 4.13 5/317 982744
/proc/meminfo: memFree=120465088/131655788 swapFree=131071996/131071996
[pid=980706] ppid=980694 vsize=19241304 memory=1619892 CPUtime=2260.38 cores=5,7
/proc/980706/stat : 980706 (java) S 980694 980706 980639 0 -1 1077936128 113671 0 0 0 225879 159 0 0 20 0 20 0 187591747 19703095296 404973 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
/proc/980706/statm: 4810326 404973 5899 1 0 563222 0
[pid=980706/tid=980716] ppid=980694 vsize=19241304 memory=11600 CPUtime=2244.07 cores=5,7
/proc/980706/task/980716/stat : 980716 (java) S 980694 980706 980639 0 -1 1077936192 36829 0 0 0 224385 22 0 0 20 0 20 0 187591748 19703095296 404973 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 187591752 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980749] ppid=980694 vsize=19241304 memory=-8817031479119094460 CPUtime=0 cores=5,7
/proc/980706/task/980749/stat : 980749 (Finalizer) S 980694 980706 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19703095296 404973 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
[pid=980706/tid=980777] ppid=980694 vsize=19241304 memory=1619476 CPUtime=0 cores=5,7
/proc/980706/task/980777/stat : 980777 (Common-Cleaner) S 980694 980706 980639 0 -1 1077936192 1596 0 0 0 0 0 0 0 20 0 20 0 187591755 19703095296 404973 134679101440 94164199854080 94164199857776 140734601527040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94164199865592 94164199866384 94164206129152 140734601528326 140734601528416 140734601528416 140734601535432 0
Current children cumulated CPU time: 2260.38 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1619892 KiB

Child status: 20

Real time (s): 2256.97
CPU time (s): 2260.47
CPU user time (s): 2258.86
CPU system time (s): 1.60998
CPU usage (%): 100.155
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1619892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2258.86
system time used= 1.60998
maximum resident set size= 1620692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68524
involuntary context switches= 2029


# summary of solver processes directly reported to runsolver:
#   pid: 980706
#   total CPU time (s): 2260.47
#   total CPU user time (s): 2258.86
#   total CPU system time (s): 1.60998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9147 second user time and 22.7588 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 03:59:25
IDJOB=4447664
IDBENCH=159709
IDSOLVER=3058
FILE ID=nodeC008/4447664-1721354353
RUNJOBID= nodeC008-1721354365-980652
SLURM_JOB_ID= 7542775
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n106-d3-i3-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447664-1721354353/watcher-4447664-1721354353 -o /tmp/evaluation-result-4447664-1721354353/solver-4447664-1721354353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980652 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4447664-1721354353.opb

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

MD5SUM BENCH= 1fb50f41b260553fb8a191e5e9748bb0
RANDOM SEED=1085579946

nodeC008.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		: 1197.257
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.91
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.246
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.31
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.245
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.91
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.247
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.31
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		: 1197.265
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.91
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.249
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.31
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.245
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.91
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.251
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127662420 kB
MemAvailable:   129933564 kB
Buffers:          541228 kB
Cached:          2548812 kB
SwapCached:            0 kB
Active:          1053964 kB
Inactive:        2352080 kB
Active(anon):       1376 kB
Inactive(anon):   352312 kB
Active(file):    1052588 kB
Inactive(file):  1999768 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2700 kB
Writeback:             0 kB
AnonPages:        316024 kB
Mapped:           105968 kB
Shmem:             37704 kB
KReclaimable:     117636 kB
Slab:             221776 kB
SReclaimable:     117636 kB
SUnreclaim:       104140 kB
KernelStack:        3652 kB
PageTables:         9228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     656928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58656 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-19 04:37:03