Trace number 4454122

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 2024 2024-07-07? (TO) 3600.29 3611.02

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb
MD5SUMea45ea8fc9874a86ca315aec231afca1
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.64065
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3220
Total number of constraints1680
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint92
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 35184372088832
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 140737488355327
Number of bits of the biggest sum of numbers47
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.18	c See www.sat4j.org for details.
0.11/0.20	c version CUSTOM.v20240707
0.29/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.29/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.29/0.23	c java.vm.version	22.0.1+8-16
0.29/0.23	c java.vm.vendor	Oracle Corporation
0.29/0.23	c sun.arch.data.model	64
0.29/0.23	c java.version		22.0.1
0.29/0.23	c os.name		Linux
0.29/0.23	c os.version		4.18.0-301.1.el8.x86_64
0.29/0.23	c os.arch		amd64
0.29/0.24	c Free memory 		2113181440
0.29/0.24	c Max memory 		16282288128
0.29/0.24	c Total memory 		2122317824
0.29/0.25	c Number of processors 	2
0.44/0.36	--- Begin Solver configuration ---
0.44/0.36	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.44/0.36	Learn all clauses as in MiniSAT
0.44/0.36	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.36	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.36	Expensive reason simplification
0.44/0.36	Glucose 2.1 dynamic restart strategy
0.44/0.36	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.44/0.36	timeout=2147483s
0.44/0.36	DB Simplification allowed=false
0.44/0.36	Listener: none
0.44/0.36	--- End Solver configuration ---
0.44/0.36	c Pseudo Boolean Optimization by upper bound
0.44/0.36	c --- Begin Solver configuration ---
0.44/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.44/0.36	c Learn all clauses as in MiniSAT
0.44/0.36	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.36	c Expensive reason simplification
0.44/0.36	c Glucose 2.1 dynamic restart strategy
0.44/0.36	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.44/0.36	c timeout=2147483s
0.44/0.36	c DB Simplification allowed=false
0.44/0.36	c Listener: none
0.44/0.36	c --- End Solver configuration ---
0.44/0.36	c solving HOME/instance-4454122-1721843823.opb
0.44/0.36	c reading problem ... 
0.51/0.71	c using VERIPB proof format
0.51/0.72	c  no objective function found
0.68/0.88	c ... done. Wall clock time 0.515s.
0.68/0.88	c declared #vars     3220
0.68/0.88	c #constraints  3359
0.68/0.88	c constraints type 
0.68/0.88	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1334
0.68/0.88	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2025
0.68/0.88	c 3359 constraints processed.
3.04/2.05	c cleaning 2487 clauses out of 5001 with flag 26596/5001
3.81/2.48	c cleaning 4242 clauses out of 8516 with flag 64488/11003
4.41/2.74	c cleaning 5615 clauses out of 11272 with flag 103414/18001
4.97/3.02	c cleaning 6810 clauses out of 13658 with flag 153565/26002
5.56/3.32	c cleaning 7909 clauses out of 15846 with flag 206916/35000
6.35/3.72	c cleaning 8936 clauses out of 17938 with flag 266400/45001
6.85/4.14	c cleaning 9981 clauses out of 20001 with flag 342867/56000
7.34/4.53	c cleaning 10984 clauses out of 22020 with flag 412000/68000
7.74/4.96	c cleaning 11996 clauses out of 24038 with flag 489107/81002
8.53/5.49	c cleaning 12995 clauses out of 26042 with flag 573322/95002
9.73/6.13	c cleaning 14001 clauses out of 28045 with flag 671158/110000
10.23/6.61	c cleaning 15002 clauses out of 30046 with flag 770910/126002
11.01/7.21	c cleaning 15993 clauses out of 32043 with flag 879270/143001
11.69/7.77	c cleaning 16996 clauses out of 34049 with flag 973285/161000
13.58/9.62	c cleaning 18002 clauses out of 36053 with flag 1115685/180000
14.58/10.64	c cleaning 19012 clauses out of 38052 with flag 1239131/200001
15.77/11.85	c cleaning 19990 clauses out of 40040 with flag 1386638/221001
16.58/12.62	c cleaning 20975 clauses out of 42053 with flag 1519643/243004
17.27/13.35	c cleaning 21983 clauses out of 44074 with flag 1647507/266000
18.37/14.41	c cleaning 22984 clauses out of 46092 with flag 1791013/290001
19.57/15.65	c cleaning 24023 clauses out of 48107 with flag 1958691/315000
20.57/16.69	c cleaning 25005 clauses out of 50085 with flag 2123832/341001
21.57/17.69	c cleaning 25982 clauses out of 52079 with flag 2284841/368000
22.85/18.89	c cleaning 27023 clauses out of 54098 with flag 2452599/396001
24.06/20.01	c cleaning 27995 clauses out of 56075 with flag 2607589/425001
25.45/21.40	c cleaning 28971 clauses out of 58079 with flag 2799281/455000
26.64/22.64	c cleaning 30013 clauses out of 60108 with flag 2993685/486000
27.85/23.89	c cleaning 31004 clauses out of 62095 with flag 3172617/518000
30.07/26.08	c cleaning 32036 clauses out of 64092 with flag 3393451/551001
31.66/27.63	c cleaning 33015 clauses out of 66056 with flag 3589251/585001
33.25/29.27	c cleaning 34013 clauses out of 68041 with flag 3788139/620001
35.06/31.04	c cleaning 35003 clauses out of 70029 with flag 3989767/656002
36.57/32.91	c cleaning 35997 clauses out of 72024 with flag 4184340/693000
38.17/34.51	c cleaning 36994 clauses out of 74027 with flag 4397017/731000
40.06/36.40	c cleaning 37962 clauses out of 76033 with flag 4625374/770000
41.77/38.12	c cleaning 39005 clauses out of 78071 with flag 4857694/810000
43.25/39.66	c cleaning 39973 clauses out of 80066 with flag 5068722/851000
44.95/41.36	c cleaning 41004 clauses out of 82093 with flag 5289150/893000
47.05/43.44	c cleaning 42008 clauses out of 84091 with flag 5541129/936002
49.05/45.46	c cleaning 43018 clauses out of 86084 with flag 5783681/980003
51.38/47.76	c cleaning 44011 clauses out of 88065 with flag 6019529/1025002
54.08/50.30	c cleaning 45019 clauses out of 90052 with flag 6263291/1071000
56.29/52.53	c cleaning 45982 clauses out of 92035 with flag 6520598/1118002
58.80/55.03	c cleaning 47003 clauses out of 94052 with flag 6771279/1166001
61.28/57.56	c cleaning 48013 clauses out of 96048 with flag 7035617/1215000
63.78/60.06	c cleaning 49001 clauses out of 98035 with flag 7293406/1265000
66.56/62.89	c cleaning 50000 clauses out of 100036 with flag 7570463/1316002
69.56/66.03	c cleaning 50971 clauses out of 102035 with flag 7857420/1368001
72.15/68.61	c cleaning 52005 clauses out of 104065 with flag 8130380/1421002
75.46/71.98	c cleaning 53007 clauses out of 106059 with flag 8429073/1475001
78.06/74.54	c cleaning 53998 clauses out of 108051 with flag 8702444/1530000
80.75/77.27	c cleaning 55021 clauses out of 110054 with flag 8989014/1586001
83.66/80.15	c cleaning 55960 clauses out of 112033 with flag 9292849/1643001
86.58/83.08	c cleaning 57019 clauses out of 114073 with flag 9573458/1701001
89.46/86.01	c cleaning 58010 clauses out of 116054 with flag 9869922/1760001
92.77/89.27	c cleaning 58982 clauses out of 118045 with flag 10176976/1820002
96.07/92.52	c cleaning 60006 clauses out of 120061 with flag 10483675/1881000
99.25/95.93	c cleaning 61009 clauses out of 122055 with flag 10785711/1943000
102.46/99.15	c cleaning 61975 clauses out of 124046 with flag 11102048/2006000
106.64/103.39	c cleaning 63007 clauses out of 126071 with flag 11436978/2070000
110.35/107.07	c cleaning 63980 clauses out of 128067 with flag 11781764/2135003
113.73/110.42	c cleaning 65020 clauses out of 130086 with flag 12120449/2201002
117.18/113.85	c cleaning 66006 clauses out of 132065 with flag 12452148/2268001
120.67/117.35	c cleaning 66971 clauses out of 134062 with flag 12788101/2336004
125.80/122.43	c cleaning 68015 clauses out of 136087 with flag 13181092/2405000
129.48/126.29	c cleaning 69023 clauses out of 138073 with flag 13537681/2475001
135.02/131.72	c cleaning 70012 clauses out of 140049 with flag 13965559/2546000
138.99/135.60	c cleaning 70973 clauses out of 142037 with flag 14333869/2618000
143.28/139.99	c cleaning 71991 clauses out of 144067 with flag 14723986/2691003
147.68/144.37	c cleaning 72976 clauses out of 146073 with flag 15124570/2765000
152.42/149.05	c cleaning 74005 clauses out of 148097 with flag 15543011/2840000
156.80/153.41	c cleaning 75004 clauses out of 150094 with flag 15940610/2916002
161.22/157.96	c cleaning 76014 clauses out of 152088 with flag 16312082/2993000
165.82/162.50	c cleaning 77011 clauses out of 154074 with flag 16716874/3071000
170.87/167.56	c cleaning 77979 clauses out of 156065 with flag 17095432/3150002
175.56/172.24	c cleaning 79018 clauses out of 158085 with flag 17491796/3230001
180.25/176.91	c cleaning 80015 clauses out of 160067 with flag 17901256/3311001
187.18/183.80	c cleaning 80988 clauses out of 162053 with flag 18374528/3393002
191.79/188.56	c cleaning 82019 clauses out of 164065 with flag 18807281/3476002
197.74/194.44	c cleaning 82995 clauses out of 166044 with flag 19223447/3560000
203.25/199.81	c cleaning 84013 clauses out of 168049 with flag 19632846/3645000
209.14/205.76	c cleaning 84992 clauses out of 170036 with flag 20080868/3731000
215.54/212.18	c cleaning 85983 clauses out of 172046 with flag 20560985/3818002
220.81/217.42	c cleaning 86987 clauses out of 174062 with flag 20990911/3906001
226.00/222.67	c cleaning 87968 clauses out of 176074 with flag 21422714/3995000
231.35/227.96	c cleaning 88965 clauses out of 178107 with flag 21858612/4085001
237.14/233.77	c cleaning 90043 clauses out of 180141 with flag 22294573/4176000
242.45/239.05	c cleaning 91035 clauses out of 182099 with flag 22751023/4268001
249.31/245.85	c cleaning 91991 clauses out of 184063 with flag 23231489/4361000
257.61/254.28	c cleaning 93016 clauses out of 186073 with flag 23776373/4455001
263.91/260.49	c cleaning 93981 clauses out of 188057 with flag 24259446/4550001
270.60/267.12	c cleaning 94985 clauses out of 190076 with flag 24746047/4646001
276.90/273.34	c cleaning 95916 clauses out of 192091 with flag 25230235/4743001
283.12/279.65	c cleaning 96971 clauses out of 194174 with flag 25703255/4841000
288.81/285.38	c cleaning 97904 clauses out of 196205 with flag 26173798/4940002
296.07/292.59	c cleaning 98989 clauses out of 198300 with flag 26691167/5040001
302.35/298.89	c cleaning 99952 clauses out of 200311 with flag 27169992/5141001
309.17/305.53	c cleaning 100807 clauses out of 202358 with flag 27662932/5243000
316.72/312.94	c cleaning 101978 clauses out of 204551 with flag 28160385/5346000
324.61/320.86	c cleaning 102955 clauses out of 206573 with flag 28684234/5450000
331.49/327.78	c cleaning 104030 clauses out of 208620 with flag 29186974/5555002
338.94/335.16	c cleaning 104933 clauses out of 210589 with flag 29684931/5661001
346.50/342.85	c cleaning 105980 clauses out of 212656 with flag 30211851/5768001
354.36/350.69	c cleaning 106332 clauses out of 214676 with flag 30723700/5876001
362.05/358.31	c cleaning 108119 clauses out of 217343 with flag 31275316/5985000
371.73/367.97	c cleaning 109098 clauses out of 219224 with flag 31822890/6095000
379.65/375.93	c cleaning 109829 clauses out of 221127 with flag 32374617/6206001
388.44/384.62	c cleaning 110894 clauses out of 223298 with flag 32925338/6318001
395.94/392.14	c cleaning 111810 clauses out of 225403 with flag 33475629/6431000
404.34/400.47	c cleaning 113047 clauses out of 227593 with flag 34033271/6545000
413.07/409.21	c cleaning 113849 clauses out of 229547 with flag 34604973/6660001
421.18/417.25	c cleaning 114995 clauses out of 231700 with flag 35190289/6776003
429.85/425.97	c cleaning 115742 clauses out of 233702 with flag 35754177/6893000
438.99/435.10	c cleaning 116882 clauses out of 235961 with flag 36307465/7011001
446.98/443.10	c cleaning 117785 clauses out of 238080 with flag 36857560/7130002
456.47/452.46	c cleaning 118895 clauses out of 240296 with flag 37429231/7250003
465.35/461.35	c cleaning 119838 clauses out of 242401 with flag 38030809/7371003
474.36/470.32	c cleaning 120782 clauses out of 244561 with flag 38620807/7493001
482.94/478.96	c cleaning 121733 clauses out of 246780 with flag 39196089/7616002
492.14/488.08	c cleaning 122749 clauses out of 249045 with flag 39780316/7740000
500.90/497.00	c cleaning 123899 clauses out of 251296 with flag 40366588/7865000
510.78/506.71	c cleaning 124779 clauses out of 253398 with flag 40966742/7991001
521.17/517.11	c cleaning 125875 clauses out of 255619 with flag 41596257/8118001
531.49/527.41	c cleaning 126575 clauses out of 257743 with flag 42212752/8246000
540.67/536.65	c cleaning 127817 clauses out of 260174 with flag 42827906/8375006
553.88/549.78	c cleaning 128611 clauses out of 262351 with flag 43477350/8505000
563.86/559.66	c cleaning 129766 clauses out of 264740 with flag 44104755/8636000
572.83/568.68	c cleaning 130731 clauses out of 266977 with flag 44729774/8768003
582.76/578.47	c cleaning 131727 clauses out of 269243 with flag 45370553/8901000
593.14/588.88	c cleaning 132625 clauses out of 271516 with flag 46009307/9035000
603.72/599.38	c cleaning 133763 clauses out of 273891 with flag 46642188/9170000
613.99/609.62	c cleaning 134849 clauses out of 276128 with flag 47296373/9306000
624.01/619.60	c cleaning 135767 clauses out of 278279 with flag 47953782/9443000
634.69/630.27	c cleaning 136595 clauses out of 280514 with flag 48615008/9581002
645.60/641.02	c cleaning 137517 clauses out of 282917 with flag 49290592/9720000
656.28/651.89	c cleaning 138821 clauses out of 285403 with flag 49963573/9860003
667.90/663.49	c cleaning 139797 clauses out of 287580 with flag 50654497/10001001
678.95/674.42	c cleaning 140796 clauses out of 289785 with flag 51312192/10143003
690.58/686.14	c cleaning 141429 clauses out of 291987 with flag 52010402/10286001
701.68/697.29	c cleaning 142628 clauses out of 294558 with flag 52649151/10430001
714.15/709.86	c cleaning 143526 clauses out of 296929 with flag 53365384/10575000
726.11/721.70	c cleaning 144705 clauses out of 299404 with flag 54066051/10721001
738.00/733.52	c cleaning 145690 clauses out of 301700 with flag 54734954/10868002
749.52/745.15	c cleaning 146628 clauses out of 304008 with flag 55411041/11016000
761.29/756.82	c cleaning 147425 clauses out of 306386 with flag 56086304/11165006
772.77/768.36	c cleaning 148595 clauses out of 308957 with flag 56766023/11315002
784.83/780.44	c cleaning 149731 clauses out of 311360 with flag 57463486/11466000
797.29/792.85	c cleaning 151020 clauses out of 313629 with flag 58180766/11618000
810.88/806.43	c cleaning 151781 clauses out of 315611 with flag 58923694/11771002
823.65/819.21	c cleaning 152886 clauses out of 317829 with flag 59633031/11925001
836.35/831.92	c cleaning 153790 clauses out of 319942 with flag 60335108/12080000
849.10/844.67	c cleaning 154252 clauses out of 322152 with flag 61045418/12236000
861.97/857.53	c cleaning 155748 clauses out of 324903 with flag 61756034/12393003
876.18/871.83	c cleaning 156384 clauses out of 327152 with flag 62486067/12551000
889.36/884.97	c cleaning 157856 clauses out of 329768 with flag 63238107/12710000
902.19/898.06	c cleaning 158224 clauses out of 331912 with flag 63953333/12870000
915.90/911.70	c cleaning 159396 clauses out of 334688 with flag 64699379/13031000
930.22/926.14	c cleaning 160654 clauses out of 337292 with flag 65441560/13193000
944.29/940.24	c cleaning 161643 clauses out of 339638 with flag 66205833/13356000
958.78/954.76	c cleaning 162641 clauses out of 341996 with flag 66952485/13520001
973.65/969.53	c cleaning 163771 clauses out of 344354 with flag 67692127/13685000
988.02/983.96	c cleaning 164569 clauses out of 346584 with flag 68475110/13851001
1001.91/997.88	c cleaning 165787 clauses out of 349015 with flag 69261990/14018001
1016.89/1012.79	c cleaning 166535 clauses out of 351228 with flag 70028113/14186001
1033.12/1035.39	c cleaning 167706 clauses out of 353692 with flag 70781759/14355000
1047.69/1050.00	c cleaning 168713 clauses out of 355987 with flag 71513715/14525001
1062.89/1065.11	c cleaning 169732 clauses out of 358274 with flag 72252337/14696001
1077.74/1080.00	c cleaning 170629 clauses out of 360542 with flag 73035673/14868001
1093.14/1095.35	c cleaning 171580 clauses out of 362912 with flag 73848053/15041000
1108.32/1110.59	c cleaning 172404 clauses out of 365333 with flag 74630089/15215001
1124.37/1126.67	c cleaning 173731 clauses out of 367928 with flag 75386360/15390000
1141.72/1143.91	c cleaning 174810 clauses out of 370197 with flag 76201714/15566000
1157.75/1160.00	c cleaning 175718 clauses out of 372387 with flag 77027898/15743000
1173.20/1175.53	c cleaning 176697 clauses out of 374669 with flag 77835843/15921000
1188.78/1191.15	c cleaning 177750 clauses out of 376972 with flag 78630146/16100000
1206.34/1208.78	c cleaning 178722 clauses out of 379222 with flag 79468847/16280000
1223.49/1225.84	c cleaning 179794 clauses out of 381502 with flag 80301239/16461002
1242.96/1245.32	c cleaning 180934 clauses out of 383706 with flag 81169316/16643000
1259.15/1261.44	c cleaning 181619 clauses out of 385772 with flag 81989284/16826000
1275.71/1278.29	c cleaning 182604 clauses out of 388153 with flag 82813749/17010000
1294.90/1297.35	c cleaning 183815 clauses out of 390549 with flag 83672315/17195000
1313.26/1315.76	c cleaning 184915 clauses out of 392735 with flag 84525974/17381001
1330.20/1332.65	c cleaning 185786 clauses out of 394820 with flag 85367049/17568001
1347.15/1349.60	c cleaning 186723 clauses out of 397034 with flag 86176744/17756001
1368.36/1370.82	c cleaning 187973 clauses out of 399310 with flag 87106830/17945000
1386.12/1388.58	c cleaning 188688 clauses out of 401337 with flag 87950635/18135000
1405.37/1407.61	c cleaning 189780 clauses out of 403649 with flag 88837235/18326000
1424.59/1426.75	c cleaning 190567 clauses out of 405870 with flag 89722962/18518001
1443.23/1445.35	c cleaning 191850 clauses out of 408307 with flag 90558134/18711005
1461.95/1464.05	c cleaning 193043 clauses out of 410453 with flag 91482221/18905001
1482.60/1484.60	c cleaning 193725 clauses out of 412409 with flag 92378127/19100000
1503.55/1505.54	c cleaning 194705 clauses out of 414684 with flag 93284473/19296000
1521.67/1523.69	c cleaning 195788 clauses out of 416980 with flag 94157618/19493001
1540.62/1542.55	c cleaning 196543 clauses out of 419192 with flag 95005062/19691001
1562.99/1564.90	c cleaning 197753 clauses out of 421648 with flag 95953160/19890000
1583.56/1585.55	c cleaning 198551 clauses out of 423896 with flag 96907559/20090001
1603.44/1605.41	c cleaning 199741 clauses out of 426344 with flag 97788330/20291000
1622.67/1624.59	c cleaning 200732 clauses out of 428605 with flag 98687525/20493002
1644.13/1645.37	c cleaning 201589 clauses out of 430872 with flag 99582757/20696001
1665.47/1666.72	c cleaning 202638 clauses out of 433282 with flag 100472554/20900000
1684.61/1685.82	c cleaning 203463 clauses out of 435646 with flag 101375475/21105002
1709.78/1711.02	c cleaning 204956 clauses out of 438182 with flag 102379853/21311001
1730.46/1731.84	c cleaning 205830 clauses out of 440225 with flag 103273674/21518000
1749.79/1751.12	c cleaning 206617 clauses out of 442395 with flag 104195437/21726000
1769.89/1771.32	c cleaning 207596 clauses out of 444780 with flag 105079219/21935002
1790.29/1791.88	c cleaning 208794 clauses out of 447186 with flag 106022168/22145004
1811.54/1813.08	c cleaning 209556 clauses out of 449389 with flag 106971514/22356001
1833.87/1835.47	c cleaning 210804 clauses out of 451834 with flag 107938990/22568002
1855.15/1856.77	c cleaning 211799 clauses out of 454030 with flag 108929932/22781002
1877.59/1879.20	c cleaning 212766 clauses out of 456229 with flag 109885054/22995000
1899.24/1900.87	c cleaning 213767 clauses out of 458463 with flag 110849920/23210000
1922.93/1924.57	c cleaning 214876 clauses out of 460696 with flag 111906226/23426000
1945.55/1947.16	c cleaning 215510 clauses out of 462821 with flag 112898064/23643001
1969.11/1970.61	c cleaning 216901 clauses out of 465311 with flag 113932659/23861001
1994.31/1995.86	c cleaning 217778 clauses out of 467409 with flag 114952454/24080000
2020.17/2021.77	c cleaning 218542 clauses out of 469631 with flag 116031121/24300000
2043.41/2044.95	c cleaning 219644 clauses out of 472090 with flag 117030070/24521001
2070.24/2071.71	c cleaning 220677 clauses out of 474445 with flag 118066982/24743000
2097.40/2099.00	c cleaning 221637 clauses out of 476770 with flag 119128585/24966002
2121.25/2122.79	c cleaning 222779 clauses out of 479132 with flag 120221585/25190001
2147.95/2149.24	c cleaning 223686 clauses out of 481352 with flag 121308736/25415000
2175.08/2176.34	c cleaning 224822 clauses out of 483668 with flag 122408246/25641002
2203.98/2207.49	c cleaning 225522 clauses out of 485845 with flag 123479777/25868001
2229.47/2232.91	c cleaning 226516 clauses out of 488322 with flag 124596306/26096000
2254.40/2257.93	c cleaning 227400 clauses out of 490807 with flag 125620859/26325001
2284.38/2287.94	c cleaning 228900 clauses out of 493408 with flag 126774487/26555002
2308.76/2312.29	c cleaning 229463 clauses out of 495506 with flag 127781394/26786000
2334.05/2337.58	c cleaning 230753 clauses out of 498044 with flag 128837882/27018001
2359.55/2363.05	c cleaning 231351 clauses out of 500290 with flag 129845787/27251000
2385.99/2389.52	c cleaning 232643 clauses out of 502939 with flag 130963602/27485000
2417.19/2420.66	c cleaning 233886 clauses out of 505296 with flag 132047663/27720000
2442.49/2445.94	c cleaning 234906 clauses out of 507411 with flag 133088022/27956001
2468.49/2471.97	c cleaning 235721 clauses out of 509504 with flag 134157480/28193000
2496.62/2500.03	c cleaning 236827 clauses out of 511783 with flag 135248411/28431000
2528.21/2531.76	c cleaning 238101 clauses out of 513956 with flag 136413239/28670000
2556.27/2559.59	c cleaning 238388 clauses out of 515855 with flag 137517458/28910000
2585.88/2589.12	c cleaning 239634 clauses out of 518469 with flag 138632117/29151002
2615.59/2619.79	c cleaning 240411 clauses out of 520834 with flag 139724950/29393001
2643.19/2648.34	c cleaning 241526 clauses out of 523425 with flag 140851969/29636003
2670.25/2675.49	c cleaning 242221 clauses out of 525897 with flag 141973019/29880001
2700.09/2705.34	c cleaning 243643 clauses out of 528675 with flag 143111000/30125000
2726.43/2731.70	c cleaning 244591 clauses out of 531033 with flag 144235163/30371001
2757.52/2766.06	c cleaning 245788 clauses out of 533444 with flag 145384297/30618003
2788.94/2797.46	c cleaning 246962 clauses out of 535653 with flag 146514079/30866000
2817.27/2825.88	c cleaning 247747 clauses out of 537691 with flag 147644644/31115000
2847.78/2856.31	c cleaning 248360 clauses out of 539946 with flag 148752695/31365002
2878.74/2887.30	c cleaning 249562 clauses out of 542585 with flag 149856905/31616001
2907.57/2916.24	c cleaning 250818 clauses out of 545023 with flag 150957580/31868001
2939.84/2948.56	c cleaning 251540 clauses out of 547204 with flag 152129209/32121000
2969.35/2977.98	c cleaning 252638 clauses out of 549664 with flag 153243226/32375000
2998.66/3007.18	c cleaning 253416 clauses out of 552027 with flag 154444225/32630001
3030.80/3039.48	c cleaning 254484 clauses out of 554610 with flag 155581348/32886000
3059.43/3068.01	c cleaning 255571 clauses out of 557127 with flag 156697815/33143001
3089.84/3098.95	c cleaning 256671 clauses out of 559557 with flag 157815676/33401002
3120.79/3129.91	c cleaning 257489 clauses out of 561884 with flag 158999699/33660000
3151.93/3161.08	c cleaning 258482 clauses out of 564395 with flag 160158879/33920000
3184.09/3193.25	c cleaning 259695 clauses out of 566913 with flag 161377800/34181000
3218.82/3228.03	c cleaning 260663 clauses out of 569218 with flag 162588844/34443000
3249.40/3258.59	c cleaning 261482 clauses out of 571555 with flag 163747688/34706000
3282.90/3292.07	c cleaning 262602 clauses out of 574074 with flag 164909925/34970001
3316.20/3325.45	c cleaning 263688 clauses out of 576473 with flag 166070404/35235002
3351.86/3361.17	c cleaning 264870 clauses out of 578783 with flag 167308583/35501000
3386.21/3395.83	c cleaning 265495 clauses out of 580914 with flag 168586548/35768001
3419.24/3429.79	c cleaning 266534 clauses out of 583418 with flag 169721355/36036000
3454.35/3464.91	c cleaning 267670 clauses out of 585884 with flag 170986058/36305000
3488.68/3499.25	c cleaning 268348 clauses out of 588216 with flag 172186981/36575002
3521.70/3532.21	c cleaning 269615 clauses out of 590866 with flag 173371857/36846000
3554.97/3565.67	c cleaning 270422 clauses out of 593252 with flag 174562483/37118001
3587.32/3598.17	c cleaning 271583 clauses out of 595829 with flag 175744695/37391000
3600.02/3610.84	c timeout
3600.02/3610.84	c starts		: 20769
3600.02/3610.84	c conflicts		: 37512157
3600.02/3610.84	c decisions		: 59736817
3600.02/3610.84	c propagations		: 1358986821
3600.02/3610.84	c inspects		: 50663567358
3600.02/3610.84	c shortcuts		: 0
3600.02/3610.84	c learnt literals	: 0
3600.02/3610.84	c learnt binary clauses	: 16
3600.02/3610.84	c learnt ternary clauses	: 80
3600.02/3610.84	c learnt constraints	: 37512157
3600.02/3610.84	c ignored constraints	: 0
3600.02/3610.84	c root simplifications	: 0
3600.02/3610.84	c removed literals (reason simplification)	: 34989638
3600.02/3610.84	c reason swapping (by a shorter reason)	: 0
3600.02/3610.84	c Calls to reduceDB	: 269
3600.02/3610.84	c Number of update (reduction) of LBD	: 13991840
3600.02/3610.84	c Imported unit clauses	: 0
3600.02/3610.84	c No decision after first conflict	: false
3600.02/3610.84	c number of reductions to clauses (during analyze)	: 0
3600.02/3610.84	c number of learned constraints concerned by reduction	: 0
3600.02/3610.84	c number of learning phase by resolution	: 0
3600.02/3610.84	c number of learning phase by cutting planes	: 0
3600.02/3610.84	c number of rounding to 1 operations	: 0
3600.02/3610.84	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3610.84	c number of reductions of the coefficients by power 2 	: 0
3600.02/3610.84	c number of right shift for reduction by power 2 	: 0
3600.02/3610.84	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3610.84	c number of ending skipping 	: 0
3600.02/3610.84	c number of internal skipping 	: 0
3600.02/3610.84	c number of derivation steps 	: 0
3600.02/3610.84	c number of skipped derivation steps 	: 0
3600.02/3610.84	c number of remaining unassigned 	: 0
3600.02/3610.84	c number of remaining assigned 	: 0
3600.02/3610.84	c number of falsified literals weakened from reason	: 0
3600.02/3610.84	c number of falsified literals weakened from conflict	: 0
3600.02/3610.84	c time for arithmetic operations	: 0
3600.02/3610.84	c minimum degree of deleted constraints	: null
3600.02/3610.84	c maximum degree of deleted constraints	: null
3600.02/3610.84	c number of deleted constraints	: 0
3600.02/3610.85	c speed (assignments/second)	: 376455.9612892038
3600.02/3610.85	c non guided choices	: 4771415
3600.17/3610.97	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 445387
3600.17/3610.97	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 16
3600.17/3610.98	s UNKNOWN
3600.17/3610.98	c Total wall clock time (in seconds): 3610.616

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: 64096 MiB (62265 MiB free)
  memory of node 1: 64473 MiB (61574 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454122-1721843823/watcher-4454122-1721843823 -o /tmp/evaluation-result-4454122-1721843823/solver-4454122-1721843823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721843823-202550 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4454122-1721843823 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4454122-1721843823.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=202597, runsolver pid=202590
Current StackSize limit: 8192 KiB


[startup+0.10259 s]*
/proc/loadavg: 1.13 1.31 2.23 13/320 202678
/proc/meminfo: memFree=126680740/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=18975048 memory=53756 CPUtime=0.11 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 6399 0 0 0 7 4 0 0 20 0 18 0 20371128 19430449152 13439 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4743762 13439 5258 1 0 550700 0
[pid=202597/tid=202600] ppid=202590 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 5336 0 0 0 5 3 0 0 20 0 18 0 20371129 19430449152 13612 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20371132 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=18975048 memory=1361999 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20371135 19430449152 13612 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=18975048 memory=13567093907932509 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20371136 19430449152 13612 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 53756 KiB

[startup+0.222091 s]*
/proc/loadavg: 1.13 1.31 2.23 13/320 202678
/proc/meminfo: memFree=126659068/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=18975048 memory=60440 CPUtime=0.29 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 7145 0 0 0 25 4 0 0 20 0 18 0 20371128 19430449152 15110 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4743762 15110 5662 1 0 551320 0
[pid=202597/tid=202600] ppid=202590 vsize=18975048 memory=664970851429515395 CPUtime=0.18 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 5701 0 0 0 15 3 0 0 20 0 18 0 20371129 19430449152 15110 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20371132 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=18975048 memory=1361999 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20371135 19430449152 15110 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=18975048 memory=13567093907932509 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20371136 19430449152 15110 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60440 KiB

[startup+0.315421 s]*
/proc/loadavg: 1.13 1.31 2.23 13/320 202678
/proc/meminfo: memFree=126635560/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=18975048 memory=65508 CPUtime=0.44 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 7394 0 0 0 39 5 0 0 20 0 18 0 20371128 19430449152 16377 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4743762 16377 5657 1 0 551512 0
[pid=202597/tid=202600] ppid=202590 vsize=18975048 memory=-8889371647780037308 CPUtime=0.25 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 1077936192 5844 0 0 0 22 3 0 0 20 0 18 0 20371129 19430449152 16377 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20371132 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20371135 19430449152 16377 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20371136 19430449152 16377 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65508 KiB

[startup+0.700389 s]
/proc/loadavg: 1.13 1.31 2.23 2/320 202678
/proc/meminfo: memFree=126631904/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=18975048 memory=65952 CPUtime=0.51 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 7520 0 0 0 46 5 0 0 20 0 18 0 20371128 19430449152 16488 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4743762 16488 5679 1 0 551565 0
[pid=202597/tid=202600] ppid=202590 vsize=18975048 memory=5500 CPUtime=0.29 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) D 202590 202597 202537 0 -1 1078198336 5929 0 0 0 26 3 0 0 20 0 18 0 20371129 19430449152 16488 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20371132 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=18975048 memory=11880 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20371135 19430449152 16488 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=18975048 memory=24172 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20371136 19430449152 16488 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65952 KiB

[startup+1.50059 s]
/proc/loadavg: 1.13 1.31 2.23 15/324 202682
/proc/meminfo: memFree=126594308/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19041612 memory=108164 CPUtime=2.05 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 12159 0 0 0 195 10 0 0 20 0 19 0 20371128 19498610688 27041 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4760403 27041 5813 1 0 554299 0
[pid=202597/tid=202600] ppid=202590 vsize=19041612 memory=11880 CPUtime=0.93 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 6091 0 0 0 88 5 0 0 20 0 19 0 20371129 19498610688 27041 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20371132 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19041612 memory=24172 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20371135 19498610688 27041 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20371136 19498610688 27041 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19041612 memory=11412 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20371218 19498610688 27041 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 2.05 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 108164 KiB

[startup+3.10557 s]
/proc/loadavg: 1.13 1.31 2.23 12/328 202686
/proc/meminfo: memFree=126147504/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19108176 memory=182536 CPUtime=5.17 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 23447 0 0 0 503 14 0 0 20 0 20 0 20371128 19566772224 45634 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4777044 45634 5845 1 0 557376 0
[pid=202597/tid=202600] ppid=202590 vsize=19108176 memory=0 CPUtime=2.45 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 7520 0 0 0 237 8 0 0 20 0 20 0 20371129 19566772224 45634 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 20371132 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19108176 memory=11880 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 45634 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=24172 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 45634 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19108176 memory=69208 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371218 19566772224 45634 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182536 KiB

[startup+6.30057 s]
/proc/loadavg: 1.52 1.38 2.25 6/328 202686
/proc/meminfo: memFree=125242156/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19108176 memory=443524 CPUtime=9.93 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 24846 0 0 0 970 23 0 0 20 0 20 0 20371128 19566772224 110881 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4777044 110881 5845 1 0 557980 0
[pid=202597/tid=202600] ppid=202590 vsize=19108176 memory=11880 CPUtime=5.6 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 7662 0 0 0 544 16 0 0 20 0 20 0 20371129 19566772224 110881 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 20371132 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19108176 memory=-9175069848652980924 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 110881 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=7596844039365484882 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 110881 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19108176 memory=11412 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371218 19566772224 110881 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 9.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 443524 KiB

[startup+12.7004 s]
/proc/loadavg: 1.72 1.43 2.26 6/328 202688
/proc/meminfo: memFree=123960088/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19108176 memory=837524 CPUtime=16.67 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 30727 0 0 0 1633 34 0 0 20 0 20 0 20371128 19566772224 209381 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4777044 209381 5861 1 0 557980 0
[pid=202597/tid=202600] ppid=202590 vsize=19108176 memory=11412 CPUtime=11.92 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 8806 0 0 0 1166 26 0 0 20 0 20 0 20371129 19566772224 209381 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20371132 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19108176 memory=837524 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 209381 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=11412 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 209381 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19108176 memory=11880 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371218 19566772224 209381 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 16.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 837524 KiB

[startup+25.5004 s]
/proc/loadavg: 2.30 1.57 2.29 6/328 202689
/proc/meminfo: memFree=121988296/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19108176 memory=1349636 CPUtime=29.55 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 36510 0 0 0 2903 52 0 0 20 0 20 0 20371128 19566772224 337409 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4777044 337409 5861 1 0 557980 0
[pid=202597/tid=202600] ppid=202590 vsize=19108176 memory=11880 CPUtime=24.54 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 10368 0 0 0 2411 43 0 0 20 0 20 0 20371129 19566772224 337409 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20371132 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19108176 memory=-9175069848652980924 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 337409 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=1177520 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 337409 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371218 19566772224 337409 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 29.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1349636 KiB

[startup+51.1127 s]
/proc/loadavg: 2.96 1.78 2.35 6/328 202694
/proc/meminfo: memFree=120683996/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19108176 memory=1388908 CPUtime=54.89 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 40590 0 0 0 5420 69 0 0 20 0 20 0 20371128 19566772224 347227 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4777044 347227 5861 1 0 557980 0
[pid=202597/tid=202600] ppid=202590 vsize=19108176 memory=75588 CPUtime=49.26 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 11920 0 0 0 4869 57 0 0 20 0 20 0 20371129 19566772224 347227 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20371169 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19108176 memory=1388908 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 347227 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=11412 CPUtime=0 cores=5,7

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

/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 867469 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=3469860 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 2117 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 867469 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19108176 memory=11412 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371218 19566772224 867469 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3469876 KiB

[startup+3282.3 s]
/proc/loadavg: 3.11 3.30 3.44 5/299 204117
/proc/meminfo: memFree=94748888/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19108176 memory=3470532 CPUtime=3273.19 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 175797 0 0 0 326214 1105 0 0 20 0 20 0 20371128 19566772224 867633 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4777044 867633 5861 1 0 880399 0
[pid=202597/tid=202600] ppid=202590 vsize=19108176 memory=3470532 CPUtime=3226.24 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 78878 0 0 0 321689 935 0 0 20 0 20 0 20371129 19566772224 867633 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20373349 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19108176 memory=3470532 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 867633 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=3469784 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 2117 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 867633 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19108176 memory=27004 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371218 19566772224 867633 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3470532 KiB

[startup+3342.3 s]
/proc/loadavg: 3.16 3.27 3.42 5/299 204127
/proc/meminfo: memFree=94413976/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19108176 memory=3470560 CPUtime=3333.14 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 176633 0 0 0 332192 1122 0 0 20 0 20 0 20371128 19566772224 867640 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4777044 867640 5861 1 0 880399 0
[pid=202597/tid=202600] ppid=202590 vsize=19108176 memory=3470532 CPUtime=3285.58 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 79550 0 0 0 327608 950 0 0 20 0 20 0 20371129 19566772224 867640 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20373358 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19108176 memory=3470532 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 867640 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=11412 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 2177 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 867640 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19108176 memory=3470532 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371218 19566772224 867640 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3470560 KiB

[startup+3402.3 s]
/proc/loadavg: 3.10 3.24 3.40 4/299 204138
/proc/meminfo: memFree=94048788/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19108176 memory=3470704 CPUtime=3392.7 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 178874 0 0 0 338134 1136 0 0 20 0 20 0 20371128 19566772224 867676 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4777044 867676 5861 1 0 880399 0
[pid=202597/tid=202600] ppid=202590 vsize=19108176 memory=16132 CPUtime=3344.43 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 80881 0 0 0 333482 961 0 0 20 0 20 0 20371129 19566772224 867676 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20373416 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19108176 memory=3470704 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 867676 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=11412 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 2254 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 867676 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19108176 memory=3470704 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371218 19566772224 867676 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3470704 KiB

[startup+3462.3 s]
/proc/loadavg: 3.07 3.21 3.37 5/299 204148
/proc/meminfo: memFree=93670372/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19108176 memory=3470704 CPUtime=3451.76 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 179810 0 0 0 344022 1154 0 0 20 0 20 0 20371128 19566772224 867676 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4777044 867676 5861 1 0 880399 0
[pid=202597/tid=202600] ppid=202590 vsize=19108176 memory=11412 CPUtime=3403.06 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 81683 0 0 0 339331 975 0 0 20 0 20 0 20371129 19566772224 867676 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20373510 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19108176 memory=-4421386483262646119 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 867676 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=3470704 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 2273 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 867676 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19108176 memory=3470704 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371218 19566772224 867676 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3470704 KiB

[startup+3522.3 s]
/proc/loadavg: 3.12 3.20 3.36 5/298 204545
/proc/meminfo: memFree=93435440/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19108176 memory=3470708 CPUtime=3511.74 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 181969 0 0 0 350001 1173 0 0 20 0 20 0 20371128 19566772224 867677 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4777044 867677 5861 1 0 880399 0
[pid=202597/tid=202600] ppid=202590 vsize=19108176 memory=3470704 CPUtime=3462.48 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 82680 0 0 0 345257 991 0 0 20 0 20 0 20371129 19566772224 867677 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20373520 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19108176 memory=3470704 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 867677 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=3470704 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 2358 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 867677 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19108176 memory=3470708 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371218 19566772224 867677 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3470708 KiB

[startup+3582.3 s]
/proc/loadavg: 3.24 3.21 3.35 5/298 204557
/proc/meminfo: memFree=93049684/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19108176 memory=3470756 CPUtime=3571.59 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 182532 0 0 0 355966 1193 0 0 20 0 20 0 20371128 19566772224 867689 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4777044 867689 5861 1 0 880399 0
[pid=202597/tid=202600] ppid=202590 vsize=19108176 memory=3470708 CPUtime=3521.83 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 83153 0 0 0 351176 1007 0 0 20 0 20 0 20371129 19566772224 867689 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20373538 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19108176 memory=11412 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 867689 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=11412 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 2377 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 867689 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19108176 memory=11412 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371218 19566772224 867689 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3470756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 3.16 3.19 3.34 5/298 204561
/proc/meminfo: memFree=92873168/131655788 swapFree=131070192/131071996
[pid=202597] ppid=202590 vsize=19108176 memory=3470756 CPUtime=3600.02 cores=5,7
/proc/202597/stat : 202597 (java) S 202590 202597 202537 0 -1 1077936128 182951 0 0 0 358802 1200 0 0 20 0 20 0 20371128 19566772224 867689 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
/proc/202597/statm: 4777044 867689 5861 1 0 880399 0
[pid=202597/tid=202600] ppid=202590 vsize=19108176 memory=25732 CPUtime=3550.16 cores=5,7
/proc/202597/task/202600/stat : 202600 (java) R 202590 202597 202537 0 -1 4194368 83568 0 0 0 354002 1014 0 0 20 0 20 0 20371129 19566772224 867689 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20373543 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202642] ppid=202590 vsize=19108176 memory=-9175069848652980924 CPUtime=0 cores=5,7
/proc/202597/task/202642/stat : 202642 (Finalizer) S 202590 202597 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 867689 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202659] ppid=202590 vsize=19108176 memory=5152 CPUtime=0 cores=5,7
/proc/202597/task/202659/stat : 202659 (Common-Cleaner) S 202590 202597 202537 0 -1 1077936192 2378 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 867689 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
[pid=202597/tid=202682] ppid=202590 vsize=19108176 memory=2193516 CPUtime=0 cores=5,7
/proc/202597/task/202682/stat : 202682 (Timer-0) S 202590 202597 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371218 19566772224 867689 134679101440 94919196192768 94919196196464 140723483214976 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94919196204280 94919196205072 94919197765632 140723483218859 140723483219041 140723483219041 140723483226056 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3470756 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.26 s, system=12.0304 s

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

[startup+3611 s]*
/proc/loadavg: 3.14 3.19 3.34 5/280 204564
/proc/meminfo: memFree=96285760/131655788 swapFree=131070192/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): 3611.02
CPU time (s): 3600.29
CPU user time (s): 3588.26
CPU system time (s): 12.0304
CPU usage (%): 99.7029
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3471520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.26
system time used= 12.0304
maximum resident set size= 3471920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19151568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115190
involuntary context switches= 7213


# summary of solver processes directly reported to runsolver:
#   pid: 202597
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3588.26
#   total CPU system time (s): 12.0304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6965 second user time and 33.5614 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-24 19:57:03
IDJOB=4454122
IDBENCH=176057
IDSOLVER=3079
FILE ID=nodeC002/4454122-1721843823
RUNJOBID= nodeC002-1721843823-202550
SLURM_JOB_ID= 7891590
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454122-1721843823/watcher-4454122-1721843823 -o /tmp/evaluation-result-4454122-1721843823/solver-4454122-1721843823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721843823-202550 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4454122-1721843823 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4454122-1721843823.opb

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

MD5SUM BENCH= ea45ea8fc9874a86ca315aec231afca1
RANDOM SEED=1329748524

nodeC002.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.171
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.43
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.160
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.41
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.221
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.43
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.166
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.41
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.180
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.43
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.163
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.41
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.174
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.43
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.171
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126816864 kB
MemAvailable:   129937620 kB
Buffers:          281304 kB
Cached:          3652556 kB
SwapCached:           72 kB
Active:          2248932 kB
Inactive:        2002916 kB
Active(anon):       1420 kB
Inactive(anon):   370456 kB
Active(file):    2247512 kB
Inactive(file):  1632460 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070192 kB
Dirty:              1848 kB
Writeback:             0 kB
AnonPages:        317000 kB
Mapped:           103344 kB
Shmem:             53844 kB
KReclaimable:     161968 kB
Slab:             273860 kB
SReclaimable:     161968 kB
SUnreclaim:       111892 kB
KernelStack:        3652 kB
PageTables:         9016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     746868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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:      316232 kB
DirectMap2M:    36288512 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC002 at 2024-07-24 20:57:14