Trace number 4451734

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.33 3587.24

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_11.opb
MD5SUM66b8e371687d4e403b47b4700770389d
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 benchmark105.174
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1892
Total number of constraints9034
Number of constraints which are clauses9030
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint43
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 11
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 54
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.14/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.15	c See www.sat4j.org for details.
0.14/0.17	c version CUSTOM.v20240707
0.14/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.19	c java.vm.version	22.0.1+8-16
0.14/0.19	c java.vm.vendor	Oracle Corporation
0.14/0.19	c sun.arch.data.model	64
0.14/0.19	c java.version		22.0.1
0.14/0.19	c os.name		Linux
0.14/0.19	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.19	c os.arch		amd64
0.14/0.20	c Free memory 		2113181440
0.14/0.21	c Max memory 		16282288128
0.14/0.21	c Total memory 		2122317824
0.14/0.21	c Number of processors 	2
0.32/0.30	--- Begin Solver configuration ---
0.32/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.32/0.30	Learn all clauses as in MiniSAT
0.32/0.30	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.30	No reason simplification
0.32/0.30	Glucose 2.1 dynamic restart strategy
0.32/0.30	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.32/0.30	timeout=2147483s
0.32/0.30	DB Simplification allowed=false
0.32/0.30	Listener: none
0.32/0.30	--- End Solver configuration ---
0.32/0.30	c Pseudo Boolean Optimization by upper bound
0.32/0.30	c --- Begin Solver configuration ---
0.32/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.32/0.30	c Learn all clauses as in MiniSAT
0.32/0.30	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.30	c No reason simplification
0.32/0.30	c Glucose 2.1 dynamic restart strategy
0.32/0.30	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.32/0.30	c timeout=2147483s
0.32/0.30	c DB Simplification allowed=false
0.32/0.30	c Listener: none
0.32/0.30	c --- End Solver configuration ---
0.32/0.30	c solving HOME/instance-4451734-1721438985.opb
0.32/0.30	c reading problem ... 
0.32/0.31	c  no objective function found
1.01/0.68	c ... done. Wall clock time 0.379s.
1.01/0.69	c declared #vars     1892
1.01/0.69	c #constraints  9038
1.01/0.69	c constraints type 
1.01/0.69	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3612
1.01/0.69	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1.01/0.69	c org.sat4j.specs.Constr$1 => 3
1.01/0.69	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5418
1.01/0.69	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
1.01/0.69	c 9038 constraints processed.
2.77/1.60	c cleaning 2500 clauses out of 5000 with flag 18332/5000
3.41/2.07	c cleaning 4250 clauses out of 8500 with flag 40934/11000
4.08/2.53	c cleaning 5626 clauses out of 11254 with flag 64971/18004
4.76/3.06	c cleaning 6808 clauses out of 13624 with flag 92289/26000
5.61/3.66	c cleaning 7907 clauses out of 15822 with flag 125942/35006
6.70/4.70	c cleaning 8952 clauses out of 17909 with flag 163018/45000
7.61/5.68	c cleaning 9967 clauses out of 19957 with flag 204385/56000
8.44/6.41	c cleaning 10994 clauses out of 21991 with flag 250415/68001
9.27/7.20	c cleaning 11992 clauses out of 23996 with flag 299368/81000
10.08/8.06	c cleaning 12999 clauses out of 26006 with flag 352511/95002
11.11/9.01	c cleaning 13999 clauses out of 28007 with flag 410824/110002
12.11/10.08	c cleaning 14996 clauses out of 30006 with flag 471514/126000
13.29/11.11	c cleaning 15999 clauses out of 32011 with flag 537581/143001
14.43/12.24	c cleaning 16997 clauses out of 34012 with flag 606614/161001
15.73/13.57	c cleaning 18004 clauses out of 36014 with flag 680853/180000
17.24/15.01	c cleaning 19002 clauses out of 38010 with flag 761341/200000
18.63/16.47	c cleaning 19998 clauses out of 40008 with flag 844749/221000
20.24/18.09	c cleaning 21004 clauses out of 42011 with flag 932640/243001
22.24/20.01	c cleaning 21994 clauses out of 44006 with flag 1028671/266000
24.13/21.95	c cleaning 22999 clauses out of 46012 with flag 1128011/290000
26.13/23.98	c cleaning 23999 clauses out of 48013 with flag 1229162/315000
28.45/26.26	c cleaning 25005 clauses out of 50016 with flag 1336585/341002
31.05/28.80	c cleaning 26005 clauses out of 52012 with flag 1452155/368003
33.45/31.25	c cleaning 26985 clauses out of 54004 with flag 1570263/396000
35.84/33.63	c cleaning 27999 clauses out of 56023 with flag 1691826/425004
38.58/36.38	c cleaning 28999 clauses out of 58020 with flag 1817996/455000
41.28/39.09	c cleaning 30002 clauses out of 60022 with flag 1953672/486001
44.31/42.10	c cleaning 31008 clauses out of 62019 with flag 2093952/518000
47.49/45.23	c cleaning 32003 clauses out of 64011 with flag 2243892/551000
50.48/48.24	c cleaning 33003 clauses out of 66010 with flag 2391158/585002
53.90/51.68	c cleaning 33998 clauses out of 68006 with flag 2547945/620001
57.50/55.20	c cleaning 34995 clauses out of 70009 with flag 2704561/656002
61.52/59.24	c cleaning 36003 clauses out of 72013 with flag 2869493/693001
65.40/63.10	c cleaning 36996 clauses out of 74009 with flag 3046283/731000
69.39/67.06	c cleaning 37999 clauses out of 76013 with flag 3223388/770000
73.86/71.46	c cleaning 39001 clauses out of 78014 with flag 3411450/810000
78.67/76.19	c cleaning 40002 clauses out of 80013 with flag 3612327/851000
82.74/80.28	c cleaning 41001 clauses out of 82012 with flag 3826795/893001
87.30/84.78	c cleaning 42005 clauses out of 84011 with flag 4049910/936001
91.99/89.48	c cleaning 43001 clauses out of 86006 with flag 4249801/980001
97.26/94.66	c cleaning 44002 clauses out of 88005 with flag 4442515/1025001
102.15/99.55	c cleaning 44999 clauses out of 90005 with flag 4639717/1071003
107.70/105.03	c cleaning 45998 clauses out of 92005 with flag 4853391/1118002
113.18/110.57	c cleaning 46996 clauses out of 94006 with flag 5067046/1166001
118.77/116.02	c cleaning 48004 clauses out of 96009 with flag 5278605/1215000
124.75/122.05	c cleaning 48999 clauses out of 98006 with flag 5499428/1265001
131.01/128.28	c cleaning 50001 clauses out of 100009 with flag 5726157/1316003
137.20/134.41	c cleaning 50991 clauses out of 102006 with flag 5956106/1368001
143.76/140.97	c cleaning 52005 clauses out of 104014 with flag 6195626/1421000
150.55/147.75	c cleaning 52993 clauses out of 106010 with flag 6439065/1475001
156.69/153.86	c cleaning 54000 clauses out of 108017 with flag 6685076/1530001
163.68/160.89	c cleaning 55006 clauses out of 110016 with flag 6936926/1586000
171.42/168.52	c cleaning 56001 clauses out of 112014 with flag 7213749/1643004
179.63/176.68	c cleaning 57000 clauses out of 114010 with flag 7488271/1701001
187.82/184.81	c cleaning 57999 clauses out of 116010 with flag 7769241/1760001
196.81/193.28	c cleaning 59002 clauses out of 118011 with flag 8051880/1820001
205.20/201.59	c cleaning 59997 clauses out of 120010 with flag 8346932/1881002
213.38/209.78	c cleaning 61008 clauses out of 122020 with flag 8648812/1943009
222.66/218.99	c cleaning 62000 clauses out of 124006 with flag 8948676/2006003
231.65/227.90	c cleaning 62997 clauses out of 126004 with flag 9260377/2070001
241.11/237.36	c cleaning 63991 clauses out of 128008 with flag 9609827/2135002
251.90/248.16	c cleaning 65000 clauses out of 130018 with flag 9897387/2201003
262.89/259.02	c cleaning 66003 clauses out of 132020 with flag 10198910/2268005
273.05/269.20	c cleaning 67003 clauses out of 134012 with flag 10510253/2336000
283.51/279.60	c cleaning 67996 clauses out of 136009 with flag 10820351/2405000
296.14/292.19	c cleaning 69007 clauses out of 138014 with flag 11158605/2475001
307.61/303.64	c cleaning 69996 clauses out of 140006 with flag 11494004/2546000
318.78/314.82	c cleaning 71003 clauses out of 142012 with flag 11852999/2618002
332.01/328.00	c cleaning 71997 clauses out of 144009 with flag 12199378/2691002
346.62/342.07	c cleaning 72995 clauses out of 146010 with flag 12539764/2765000
360.08/354.81	c cleaning 74005 clauses out of 148015 with flag 12877380/2840000
373.96/368.73	c cleaning 75003 clauses out of 150011 with flag 13241133/2916001
388.37/383.08	c cleaning 76003 clauses out of 152010 with flag 13591708/2993003
402.44/397.15	c cleaning 76999 clauses out of 154005 with flag 13973552/3071001
419.28/413.17	c cleaning 78001 clauses out of 156006 with flag 14354139/3150001
433.73/427.68	c cleaning 79005 clauses out of 158011 with flag 14737430/3230007
448.91/442.78	c cleaning 79996 clauses out of 159999 with flag 15144526/3311000
464.19/458.04	c cleaning 80989 clauses out of 162003 with flag 15555173/3393000
479.64/473.59	c cleaning 82000 clauses out of 164015 with flag 16003395/3476001
497.23/491.01	c cleaning 83004 clauses out of 166016 with flag 16411719/3560002
513.90/507.69	c cleaning 84000 clauses out of 168010 with flag 16837268/3645000
531.59/525.24	c cleaning 85001 clauses out of 170010 with flag 17258614/3731000
549.32/542.85	c cleaning 85997 clauses out of 172009 with flag 17701419/3818000
566.00/559.53	c cleaning 87005 clauses out of 174012 with flag 18161627/3906000
585.49/578.94	c cleaning 87996 clauses out of 176008 with flag 18570707/3995001
603.85/597.35	c cleaning 88999 clauses out of 178012 with flag 18986863/4085001
622.12/615.54	c cleaning 89997 clauses out of 180013 with flag 19422031/4176001
647.51/640.64	c cleaning 91003 clauses out of 182017 with flag 19857565/4268002
676.96/670.03	c cleaning 92001 clauses out of 184012 with flag 20296531/4361000
701.90/695.02	c cleaning 92996 clauses out of 186011 with flag 20736364/4455000
730.43/723.65	c cleaning 94003 clauses out of 188017 with flag 21184374/4550002
753.87/747.08	c cleaning 95000 clauses out of 190013 with flag 21643523/4646001
774.93/768.13	c cleaning 96005 clauses out of 192014 with flag 22119725/4743002
800.03/792.54	c cleaning 96993 clauses out of 194007 with flag 22611339/4841000
822.40/814.93	c cleaning 98004 clauses out of 196017 with flag 23094142/4940003
849.48/842.10	c cleaning 99000 clauses out of 198010 with flag 23588755/5040000
877.18/869.68	c cleaning 99999 clauses out of 200011 with flag 24088238/5141001
901.24/893.67	c cleaning 101004 clauses out of 202013 with flag 24621487/5243002
933.39/925.85	c cleaning 102002 clauses out of 204011 with flag 25111284/5346004
961.61/954.03	c cleaning 102995 clauses out of 206007 with flag 25622795/5450002
987.63/980.08	c cleaning 104003 clauses out of 208012 with flag 26153374/5555002
1017.51/1009.96	c cleaning 104997 clauses out of 210007 with flag 26682207/5661000
1046.46/1038.84	c cleaning 105996 clauses out of 212010 with flag 27228982/5768000
1074.59/1066.94	c cleaning 107004 clauses out of 214014 with flag 27785057/5876000
1100.91/1093.20	c cleaning 107999 clauses out of 216012 with flag 28365560/5985002
1130.37/1122.63	c cleaning 108997 clauses out of 218011 with flag 28930095/6095000
1163.23/1155.49	c cleaning 110001 clauses out of 220014 with flag 29532179/6206000
1199.32/1191.45	c cleaning 111003 clauses out of 222013 with flag 30080186/6318000
1227.18/1219.20	c cleaning 111999 clauses out of 224012 with flag 30658843/6431002
1256.17/1248.14	c cleaning 113000 clauses out of 226012 with flag 31262316/6545001
1290.78/1282.85	c cleaning 114002 clauses out of 228012 with flag 31833929/6660001
1325.37/1317.49	c cleaning 115005 clauses out of 230012 with flag 32464960/6776003
1361.77/1353.77	c cleaning 116002 clauses out of 232005 with flag 33037453/6893001
1394.93/1386.21	c cleaning 116991 clauses out of 234002 with flag 33644210/7011000
1428.36/1419.60	c cleaning 117998 clauses out of 236011 with flag 34277265/7130000
1466.63/1457.79	c cleaning 119003 clauses out of 238015 with flag 34934714/7250002
1501.00/1491.96	c cleaning 120003 clauses out of 240017 with flag 35553518/7371007
1535.77/1526.63	c cleaning 120994 clauses out of 242007 with flag 36210866/7493000
1574.53/1565.28	c cleaning 122006 clauses out of 244015 with flag 36834764/7616002
1609.08/1599.83	c cleaning 122991 clauses out of 246008 with flag 37486692/7740001
1646.39/1637.17	c cleaning 124006 clauses out of 248018 with flag 38242521/7865002
1687.14/1677.89	c cleaning 124995 clauses out of 250011 with flag 38914739/7991001
1727.25/1717.81	c cleaning 125999 clauses out of 252016 with flag 39558080/8118001
1767.46/1758.00	c cleaning 127000 clauses out of 254016 with flag 40257724/8246000
1806.98/1797.59	c cleaning 127996 clauses out of 256016 with flag 40917904/8375000
1849.26/1839.81	c cleaning 129007 clauses out of 258020 with flag 41554350/8505000
1889.03/1879.56	c cleaning 130001 clauses out of 260014 with flag 42203721/8636001
1929.57/1920.16	c cleaning 131000 clauses out of 262012 with flag 42861526/8768000
1969.83/1960.47	c cleaning 132003 clauses out of 264014 with flag 43561521/8901002
2015.73/2006.48	c cleaning 133005 clauses out of 266017 with flag 44291714/9035008
2057.88/2048.51	c cleaning 134000 clauses out of 268004 with flag 44989307/9170000
2100.31/2091.07	c cleaning 134992 clauses out of 270005 with flag 45752020/9306001
2142.02/2132.74	c cleaning 136001 clauses out of 272012 with flag 46508669/9443000
2180.27/2171.11	c cleaning 137005 clauses out of 274013 with flag 47242030/9581002
2224.14/2214.87	c cleaning 137994 clauses out of 276006 with flag 47988611/9720000
2269.36/2260.19	c cleaning 138995 clauses out of 278012 with flag 48682137/9860000
2311.06/2301.32	c cleaning 139998 clauses out of 280018 with flag 49421357/10001001
2354.31/2344.49	c cleaning 141004 clauses out of 282019 with flag 50161014/10143000
2396.56/2386.69	c cleaning 142001 clauses out of 284015 with flag 50924249/10286000
2442.22/2432.25	c cleaning 143001 clauses out of 286014 with flag 51700021/10430000
2485.35/2475.30	c cleaning 144000 clauses out of 288014 with flag 52463033/10575001
2530.33/2520.35	c cleaning 144993 clauses out of 290013 with flag 53189146/10721000
2575.70/2565.69	c cleaning 145995 clauses out of 292020 with flag 53962937/10868000
2619.74/2609.60	c cleaning 147006 clauses out of 294025 with flag 54710571/11016000
2666.34/2656.26	c cleaning 148004 clauses out of 296021 with flag 55466317/11165002
2718.70/2708.49	c cleaning 149002 clauses out of 298014 with flag 56245704/11315000
2766.90/2756.42	c cleaning 149998 clauses out of 300012 with flag 57035477/11466000
2817.92/2807.45	c cleaning 151002 clauses out of 302014 with flag 57902900/11618000
2872.54/2861.86	c cleaning 152003 clauses out of 304014 with flag 58767669/11771002
2924.63/2913.79	c cleaning 152992 clauses out of 306010 with flag 59666018/11925001
2978.76/2967.89	c cleaning 154003 clauses out of 308018 with flag 60506304/12080001
3035.48/3024.36	c cleaning 155002 clauses out of 310015 with flag 61372009/12236001
3091.56/3080.34	c cleaning 155997 clauses out of 312014 with flag 62289001/12393002
3145.64/3134.29	c cleaning 157005 clauses out of 314015 with flag 63266051/12551000
3200.17/3188.79	c cleaning 157997 clauses out of 316012 with flag 64223508/12710002
3256.11/3244.03	c cleaning 159006 clauses out of 318015 with flag 65069643/12870002
3310.43/3298.16	c cleaning 159996 clauses out of 320007 with flag 65928568/13031000
3359.43/3347.09	c cleaning 161003 clauses out of 322013 with flag 66844572/13193002
3409.78/3397.35	c cleaning 161997 clauses out of 324009 with flag 67800221/13356001
3464.93/3452.45	c cleaning 163004 clauses out of 326013 with flag 68761203/13520002
3520.73/3507.93	c cleaning 164002 clauses out of 328011 with flag 69680723/13685004
3578.53/3565.66	c cleaning 165000 clauses out of 330006 with flag 70585743/13851001
3600.05/3587.03	c starts		: 22365
3600.05/3587.04	c timeout
3600.05/3587.04	c conflicts		: 13937252
3600.05/3587.04	c decisions		: 24532816
3600.05/3587.04	c propagations		: 1073975008
3600.05/3587.04	c inspects		: 38578987900
3600.05/3587.05	c shortcuts		: 0
3600.05/3587.05	c learnt literals	: 1
3600.05/3587.05	c learnt binary clauses	: 17
3600.05/3587.05	c learnt ternary clauses	: 113
3600.05/3587.05	c learnt constraints	: 13937251
3600.05/3587.05	c ignored constraints	: 0
3600.05/3587.05	c root simplifications	: 0
3600.05/3587.05	c removed literals (reason simplification)	: 0
3600.05/3587.06	c reason swapping (by a shorter reason)	: 0
3600.05/3587.06	c Calls to reduceDB	: 162
3600.05/3587.06	c Number of update (reduction) of LBD	: 3316552
3600.05/3587.06	c Imported unit clauses	: 0
3600.05/3587.06	c No decision after first conflict	: false
3600.05/3587.06	c number of reductions to clauses (during analyze)	: 0
3600.05/3587.06	c number of learned constraints concerned by reduction	: 0
3600.05/3587.06	c number of learning phase by resolution	: 0
3600.05/3587.06	c number of learning phase by cutting planes	: 0
3600.05/3587.06	c number of rounding to 1 operations	: 0
3600.05/3587.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3587.06	c number of reductions of the coefficients by power 2 	: 0
3600.05/3587.06	c number of right shift for reduction by power 2 	: 0
3600.05/3587.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3587.06	c number of ending skipping 	: 0
3600.05/3587.06	c number of internal skipping 	: 0
3600.05/3587.06	c number of derivation steps 	: 0
3600.05/3587.06	c number of skipped derivation steps 	: 0
3600.05/3587.06	c number of remaining unassigned 	: 0
3600.05/3587.06	c number of remaining assigned 	: 0
3600.05/3587.06	c number of falsified literals weakened from reason	: 0
3600.05/3587.06	c number of falsified literals weakened from conflict	: 0
3600.05/3587.06	c time for arithmetic operations	: 0
3600.05/3587.06	c minimum degree of deleted constraints	: null
3600.05/3587.06	c maximum degree of deleted constraints	: null
3600.05/3587.07	c number of deleted constraints	: 0
3600.05/3587.07	c speed (assignments/second)	: 299460.18062832335
3600.05/3587.07	c non guided choices	: 1261
3600.20/3587.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 251240
3600.20/3587.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 17
3600.20/3587.19	s UNKNOWN
3600.20/3587.19	c Total wall clock time (in seconds): 3586.895

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451734-1721438985/watcher-4451734-1721438985 -o /tmp/evaluation-result-4451734-1721438985/solver-4451734-1721438985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721434915-1036504 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4451734-1721438985.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=1039491, runsolver pid=1039488
Current StackSize limit: 8192 KiB


[startup+0.100254 s]*
/proc/loadavg: 4.13 4.19 4.20 7/318 1039509
/proc/meminfo: memFree=125485680/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=18975048 memory=55400 CPUtime=0.14 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 6449 0 0 0 10 4 0 0 20 0 18 0 196055635 19430449152 13850 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4743762 13850 5561 1 0 550804 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 5380 0 0 0 6 3 0 0 20 0 18 0 196055635 19430449152 13850 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196055641 19430449152 13850 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=18975048 memory=14698495669638111 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196055642 19430449152 13850 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55400 KiB

[startup+0.215906 s]*
/proc/loadavg: 4.13 4.19 4.20 6/318 1039509
/proc/meminfo: memFree=125478504/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=18975048 memory=64576 CPUtime=0.32 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 7159 0 0 0 28 4 0 0 20 0 18 0 196055635 19430449152 16144 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4743762 16144 5584 1 0 551391 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=18975048 memory=6876556183782621315 CPUtime=0.21 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 5702 0 0 0 18 3 0 0 20 0 18 0 196055635 19430449152 16144 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=18975048 memory=1774770 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196055641 19430449152 16144 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196055642 19430449152 16144 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64576 KiB

[startup+0.322116 s]*
/proc/loadavg: 4.13 4.19 4.20 6/318 1039509
/proc/meminfo: memFree=125473288/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=18975048 memory=68620 CPUtime=0.49 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 7429 0 0 0 44 5 0 0 20 0 18 0 196055635 19430449152 17155 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4743762 17155 5786 1 0 551591 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=18975048 memory=-7163922414798988131 CPUtime=0.29 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 1077936192 5883 0 0 0 26 3 0 0 20 0 18 0 196055635 19430449152 17155 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196055641 19430449152 17155 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196055642 19430449152 17155 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68620 KiB

[startup+0.709705 s]
/proc/loadavg: 4.13 4.19 4.20 7/318 1039509
/proc/meminfo: memFree=125456840/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19042324 memory=115096 CPUtime=1.2 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 9581 0 0 0 114 6 0 0 20 0 19 0 196055635 19499339776 28952 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4760581 28774 5880 1 0 553222 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19041612 memory=5540 CPUtime=0.64 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 5954 0 0 0 59 5 0 0 20 0 19 0 196055635 19498610688 28774 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19041612 memory=12508 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196055641 19498610688 28774 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196055642 19498610688 28774 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19042324 KiB
Current children cumulated memory: 115096 KiB

[startup+1.50125 s]
/proc/loadavg: 4.28 4.22 4.20 6/319 1039510
/proc/meminfo: memFree=125424672/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19041612 memory=124180 CPUtime=2.77 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 12202 0 0 0 270 7 0 0 20 0 19 0 196055635 19498610688 31045 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4760403 31045 5911 1 0 553647 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19041612 memory=12508 CPUtime=1.4 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 6114 0 0 0 135 5 0 0 20 0 19 0 196055635 19498610688 31045 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196055641 19498610688 31045 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196055642 19498610688 31045 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196055704 19498610688 31045 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 124180 KiB

[startup+3.10625 s]
/proc/loadavg: 4.28 4.22 4.20 6/319 1039510
/proc/meminfo: memFree=125395720/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19041612 memory=149004 CPUtime=4.96 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 15737 0 0 0 488 8 0 0 20 0 19 0 196055635 19498610688 37251 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4760403 37251 5911 1 0 554705 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19041612 memory=0 CPUtime=2.99 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 7059 0 0 0 293 6 0 0 20 0 19 0 196055635 19498610688 37251 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19041612 memory=11420 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196055641 19498610688 37251 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196055642 19498610688 37251 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196055704 19498610688 37251 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 4.96 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 149004 KiB

[startup+6.30127 s]
/proc/loadavg: 4.26 4.22 4.20 5/320 1039511
/proc/meminfo: memFree=125361584/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19108176 memory=179912 CPUtime=8.34 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 16721 0 0 0 825 9 0 0 20 0 20 0 196055635 19566772224 44978 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4777044 44978 5927 1 0 554998 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19108176 memory=0 CPUtime=6.12 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 7086 0 0 0 606 6 0 0 20 0 20 0 196055635 19566772224 44978 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196055641 19566772224 44978 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 196055642 19566772224 44978 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19108176 memory=48488 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196055704 19566772224 44978 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 8.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179912 KiB

[startup+12.7004 s]
/proc/loadavg: 4.24 4.22 4.20 5/320 1039513
/proc/meminfo: memFree=125355144/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19108176 memory=186620 CPUtime=14.93 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 22055 0 0 0 1483 10 0 0 20 0 20 0 196055635 19566772224 46655 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4777044 46655 5959 1 0 554998 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19108176 memory=186620 CPUtime=12.49 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 8112 0 0 0 1243 6 0 0 20 0 20 0 196055635 19566772224 46655 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19108176 memory=151052 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196055641 19566772224 46655 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19108176 memory=1256 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 196055642 19566772224 46655 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196055704 19566772224 46655 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 14.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186620 KiB

[startup+25.5005 s]
/proc/loadavg: 4.20 4.21 4.20 5/320 1039514
/proc/meminfo: memFree=125313948/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19108176 memory=225644 CPUtime=27.73 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 23650 0 0 0 2761 12 0 0 20 0 20 0 196055635 19566772224 56411 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4777044 56411 5959 1 0 554998 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19108176 memory=186620 CPUtime=25.12 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 8773 0 0 0 2506 6 0 0 20 0 20 0 196055635 19566772224 56411 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196055641 19566772224 56411 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 196055642 19566772224 56411 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19108176 memory=225644 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196055704 19566772224 56411 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 27.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 225644 KiB

[startup+51.1135 s]
/proc/loadavg: 4.25 4.22 4.20 5/321 1039576
/proc/meminfo: memFree=125085264/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19108176 memory=453220 CPUtime=53.42 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 27848 0 0 0 5323 19 0 0 20 0 20 0 196055635 19566772224 113305 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4777044 113305 5959 1 0 554998 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19108176 memory=11420 CPUtime=50.01 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 10402 0 0 0 4995 6 0 0 20 0 20 0 196055635 19566772224 113305 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19108176 memory=406032 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196055641 19566772224 113305 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19108176 memory=406032 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 196055642 19566772224 113305 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0

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

/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196055641 19566772224 963756 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 1884 0 0 0 0 0 0 0 20 0 20 0 196055642 19566772224 963756 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19108176 memory=3838640 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196055704 19566772224 963756 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 3234.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3855024 KiB

[startup+3282.3 s]
/proc/loadavg: 4.47 4.30 4.23 5/320 1041476
/proc/meminfo: memFree=116854104/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19108176 memory=3996580 CPUtime=3294.64 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 184265 0 0 0 329208 256 0 0 20 0 20 0 196055635 19566772224 999145 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4777044 999145 5959 1 0 1273437 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19108176 memory=48488 CPUtime=3257.64 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 70913 0 0 0 325729 35 0 0 20 0 20 0 196055635 19566772224 999145 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19108176 memory=3961520 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196055641 19566772224 999145 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19108176 memory=3961520 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 1884 0 0 0 0 0 0 0 20 0 20 0 196055642 19566772224 999145 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19108176 memory=-7163922414798988131 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196055704 19566772224 999145 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 3294.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3996580 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.26 4.22 6/320 1041487
/proc/meminfo: memFree=116753020/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19108176 memory=3996636 CPUtime=3354.72 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 184617 0 0 0 335213 259 0 0 20 0 20 0 196055635 19566772224 999159 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4777044 999159 5959 1 0 1273437 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19108176 memory=3996580 CPUtime=3317.31 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 71069 0 0 0 331696 35 0 0 20 0 20 0 196055635 19566772224 999159 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19108176 memory=48488 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196055641 19566772224 999159 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19108176 memory=3996636 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 1884 0 0 0 0 0 0 0 20 0 20 0 196055642 19566772224 999159 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19108176 memory=3996636 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196055704 19566772224 999159 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 3354.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3996636 KiB

[startup+3402.3 s]
/proc/loadavg: 4.28 4.27 4.22 5/318 1041880
/proc/meminfo: memFree=116341748/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19108176 memory=3996664 CPUtime=3414.77 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 187322 0 0 0 341216 261 0 0 20 0 20 0 196055635 19566772224 999166 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4777044 999166 5959 1 0 1273437 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19108176 memory=3996636 CPUtime=3376.96 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 71866 0 0 0 337661 35 0 0 20 0 20 0 196055635 19566772224 999166 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196055641 19566772224 999166 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19108176 memory=3996636 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 1971 0 0 0 0 0 0 0 20 0 20 0 196055642 19566772224 999166 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19108176 memory=3996636 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196055704 19566772224 999166 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 3414.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3996664 KiB

[startup+3462.3 s]
/proc/loadavg: 4.35 4.28 4.23 5/318 1041890
/proc/meminfo: memFree=116064308/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19108176 memory=3996712 CPUtime=3474.96 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 188088 0 0 0 347232 264 0 0 20 0 20 0 196055635 19566772224 999178 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4777044 999178 5959 1 0 1273437 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19108176 memory=3996636 CPUtime=3436.48 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 72197 0 0 0 343613 35 0 0 20 0 20 0 196055635 19566772224 999178 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19108176 memory=3996676 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196055641 19566772224 999178 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19108176 memory=3996676 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 1971 0 0 0 0 0 0 0 20 0 20 0 196055642 19566772224 999178 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19108176 memory=-7163922414798988131 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196055704 19566772224 999178 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 3474.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3996712 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.27 4.23 5/318 1041900
/proc/meminfo: memFree=115981620/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19108176 memory=3996712 CPUtime=3535.1 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 188497 0 0 0 353244 266 0 0 20 0 20 0 196055635 19566772224 999178 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4777044 999178 5959 1 0 1273437 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19108176 memory=3996712 CPUtime=3496.07 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 72409 0 0 0 349572 35 0 0 20 0 20 0 196055635 19566772224 999178 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19108176 memory=3996664 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196055641 19566772224 999178 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19108176 memory=3996712 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 1972 0 0 0 0 0 0 0 20 0 20 0 196055642 19566772224 999178 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19108176 memory=3996712 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196055704 19566772224 999178 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 3535.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3996712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.25 4.22 5/319 1042080
/proc/meminfo: memFree=115451628/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19108176 memory=3996772 CPUtime=3595.35 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 191003 0 0 0 359267 268 0 0 20 0 20 0 196055635 19566772224 999193 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4777044 999193 5959 1 0 1273437 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19108176 memory=48488 CPUtime=3555.4 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 73245 0 0 0 355505 35 0 0 20 0 20 0 196055635 19566772224 999193 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19108176 memory=3996772 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196055641 19566772224 999193 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 1972 0 0 0 0 0 0 0 20 0 20 0 196055642 19566772224 999193 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19108176 memory=3996772 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196055704 19566772224 999193 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 3595.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3996772 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3587 s]*
/proc/loadavg: 4.18 4.25 4.22 5/319 1042080
/proc/meminfo: memFree=115451628/131655788 swapFree=131070704/131071996
[pid=1039491] ppid=1039488 vsize=19108176 memory=3996772 CPUtime=3600.05 cores=1,3
/proc/1039491/stat : 1039491 (java) S 1039488 1039491 1036492 0 -1 1077936128 191003 0 0 0 359737 268 0 0 20 0 20 0 196055635 19566772224 999193 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
/proc/1039491/statm: 4777044 999193 5959 1 0 1273437 0
[pid=1039491/tid=1039493] ppid=1039488 vsize=19108176 memory=-7740101692125636963 CPUtime=3560.1 cores=1,3
/proc/1039491/task/1039493/stat : 1039493 (java) R 1039488 1039491 1036492 0 -1 4194368 73245 0 0 0 355975 35 0 0 20 0 20 0 196055635 19566772224 999193 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039502] ppid=1039488 vsize=19108176 memory=-9187040377623182786 CPUtime=0 cores=1,3
/proc/1039491/task/1039502/stat : 1039502 (Finalizer) S 1039488 1039491 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196055641 19566772224 999193 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039509] ppid=1039488 vsize=19108176 memory=4796 CPUtime=0 cores=1,3
/proc/1039491/task/1039509/stat : 1039509 (Common-Cleaner) S 1039488 1039491 1036492 0 -1 1077936192 1972 0 0 0 0 0 0 0 20 0 20 0 196055642 19566772224 999193 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
[pid=1039491/tid=1039510] ppid=1039488 vsize=19108176 memory=506516 CPUtime=0 cores=1,3
/proc/1039491/task/1039510/stat : 1039510 (Timer-0) S 1039488 1039491 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196055704 19566772224 999193 134679101440 94191949242368 94191949246064 140726981597648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94191949253880 94191949254672 94191967473664 140726981600261 140726981600351 140726981600351 140726981607368 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3996772 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.61 s, system=2.72125 s

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

[startup+3587.2 s]*
/proc/loadavg: 4.18 4.25 4.22 8/303 1042083
/proc/meminfo: memFree=115450952/131655788 swapFree=131070704/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): 3587.24
CPU time (s): 3600.33
CPU user time (s): 3597.61
CPU system time (s): 2.72125
CPU usage (%): 100.365
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3997476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.61
system time used= 2.72125
maximum resident set size= 3998604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109672
involuntary context switches= 3096


# summary of solver processes directly reported to runsolver:
#   pid: 1039491
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3597.61
#   total CPU system time (s): 2.72125

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2921 second user time and 37.7668 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-20 03:29:57
IDJOB=4451734
IDBENCH=162627
IDSOLVER=3058
FILE ID=nodeC011/4451734-1721438985
RUNJOBID= nodeC011-1721434915-1036504
SLURM_JOB_ID= 7545639
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_11.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451734-1721438985/watcher-4451734-1721438985 -o /tmp/evaluation-result-4451734-1721438985/solver-4451734-1721438985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721434915-1036504 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451734-1721438985.opb

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

MD5SUM BENCH= 66b8e371687d4e403b47b4700770389d
RANDOM SEED=1873991717

nodeC011.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		: 3639.858
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.20
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		: 3491.637
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.252
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.20
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		: 1496.407
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		: 3669.076
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.20
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		: 3671.486
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.280
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.20
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.227
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:        125520744 kB
MemAvailable:   126064440 kB
Buffers:          564432 kB
Cached:           826776 kB
SwapCached:          132 kB
Active:          1078260 kB
Inactive:        4556428 kB
Active(anon):       1440 kB
Inactive(anon):  4287664 kB
Active(file):    1076820 kB
Inactive(file):   268764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              1480 kB
Writeback:             0 kB
AnonPages:       4243384 kB
Mapped:           126336 kB
Shmem:             45592 kB
KReclaimable:      76624 kB
Slab:             160152 kB
SReclaimable:      76624 kB
SUnreclaim:        83528 kB
KernelStack:        4848 kB
PageTables:        18484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7413008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3923968 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC011 at 2024-07-20 04:29:45