Trace number 4444004

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.19 3594.7

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
MD5SUM4e71f8d633240b9029e11e93d5a0a0b4
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark16.9097
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1440
Total number of constraints86040
Number of constraints which are clauses85680
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4444004-1721317787.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
1.10/0.61	c ... done. Wall clock time 0.482s.
1.10/0.61	c declared #vars     1440
1.10/0.61	c #constraints  86400
1.10/0.61	c constraints type 
1.10/0.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 360
1.10/0.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 86040
1.10/0.61	c 86400 constraints processed.
2.65/1.42	c cleaning 2497 clauses out of 5003 with flag 26233/5003
3.58/1.98	c cleaning 4248 clauses out of 8503 with flag 58788/11000
4.26/2.59	c cleaning 5625 clauses out of 11255 with flag 95286/18000
5.02/3.25	c cleaning 6797 clauses out of 13630 with flag 145241/26000
5.79/4.00	c cleaning 7910 clauses out of 15833 with flag 194169/35000
6.86/4.83	c cleaning 8953 clauses out of 17923 with flag 260426/45000
7.76/5.71	c cleaning 9976 clauses out of 19970 with flag 334497/56000
8.66/6.64	c cleaning 10993 clauses out of 21994 with flag 397987/68000
9.67/7.63	c cleaning 11988 clauses out of 24001 with flag 465118/81000
10.77/8.74	c cleaning 12998 clauses out of 26016 with flag 540676/95003
11.98/9.98	c cleaning 14005 clauses out of 28017 with flag 626812/110002
13.38/11.35	c cleaning 15005 clauses out of 30010 with flag 707115/126000
14.91/12.83	c cleaning 15993 clauses out of 32006 with flag 805042/143001
16.64/14.50	c cleaning 16997 clauses out of 34012 with flag 914081/161000
18.25/16.15	c cleaning 17998 clauses out of 36015 with flag 1031452/180000
19.94/17.86	c cleaning 19003 clauses out of 38018 with flag 1131512/200001
21.94/19.83	c cleaning 19996 clauses out of 40015 with flag 1266235/221001
23.92/21.82	c cleaning 20998 clauses out of 42018 with flag 1394747/243000
26.04/23.92	c cleaning 22005 clauses out of 44022 with flag 1523171/266002
28.12/26.10	c cleaning 23001 clauses out of 46015 with flag 1652546/290000
30.50/28.42	c cleaning 23999 clauses out of 48014 with flag 1783386/315000
32.78/30.79	c cleaning 25005 clauses out of 50015 with flag 1918378/341000
35.31/33.26	c cleaning 26002 clauses out of 52010 with flag 2056481/368000
37.99/35.92	c cleaning 26995 clauses out of 54010 with flag 2225838/396002
40.68/38.63	c cleaning 28002 clauses out of 56013 with flag 2395160/425000
43.51/41.45	c cleaning 28998 clauses out of 58012 with flag 2556613/455001
46.70/44.68	c cleaning 30006 clauses out of 60013 with flag 2793364/486000
49.83/47.70	c cleaning 31002 clauses out of 62008 with flag 2963476/518001
53.05/50.96	c cleaning 31998 clauses out of 64008 with flag 3148212/551003
56.34/54.21	c cleaning 32995 clauses out of 66008 with flag 3320416/585001
59.78/57.61	c cleaning 34003 clauses out of 68013 with flag 3508309/620001
63.38/61.20	c cleaning 34990 clauses out of 70009 with flag 3699838/656000
66.92/64.77	c cleaning 35996 clauses out of 72020 with flag 3892875/693001
70.62/68.45	c cleaning 37004 clauses out of 74023 with flag 4094648/731000
74.41/72.29	c cleaning 38001 clauses out of 76020 with flag 4300629/770001
78.44/76.30	c cleaning 38994 clauses out of 78019 with flag 4514397/810001
82.53/80.35	c cleaning 40004 clauses out of 80024 with flag 4747463/851000
86.82/84.61	c cleaning 40997 clauses out of 82020 with flag 5013590/893000
91.43/89.14	c cleaning 42009 clauses out of 84024 with flag 5267295/936001
96.01/93.73	c cleaning 43005 clauses out of 86015 with flag 5517933/980001
100.60/98.32	c cleaning 43992 clauses out of 88009 with flag 5767114/1025000
105.34/103.06	c cleaning 45003 clauses out of 90018 with flag 6050656/1071001
110.14/107.80	c cleaning 46006 clauses out of 92016 with flag 6314993/1118002
114.93/112.68	c cleaning 46984 clauses out of 94008 with flag 6575589/1166000
120.06/117.71	c cleaning 47997 clauses out of 96024 with flag 6827977/1215000
125.15/122.81	c cleaning 49006 clauses out of 98030 with flag 7087412/1265003
130.34/128.10	c cleaning 50006 clauses out of 100023 with flag 7364261/1316002
136.18/133.75	c cleaning 50998 clauses out of 102016 with flag 7737610/1368001
141.66/139.20	c cleaning 51991 clauses out of 104017 with flag 8018154/1421000
147.15/144.79	c cleaning 52995 clauses out of 106026 with flag 8312102/1475000
153.30/150.67	c cleaning 54000 clauses out of 108032 with flag 8632185/1530001
159.21/156.52	c cleaning 55001 clauses out of 110032 with flag 8936263/1586001
165.29/162.65	c cleaning 56005 clauses out of 112030 with flag 9263036/1643000
171.65/168.95	c cleaning 57005 clauses out of 114025 with flag 9609339/1701000
177.94/175.28	c cleaning 57990 clauses out of 116020 with flag 9920680/1760000
184.52/181.81	c cleaning 59008 clauses out of 118030 with flag 10260257/1820000
191.02/188.39	c cleaning 60004 clauses out of 120022 with flag 10590425/1881000
197.93/195.27	c cleaning 61009 clauses out of 122021 with flag 10919054/1943003
204.78/202.16	c cleaning 61999 clauses out of 124010 with flag 11288731/2006001
211.81/209.20	c cleaning 62997 clauses out of 126011 with flag 11699086/2070001
218.85/216.35	c cleaning 64005 clauses out of 128016 with flag 12059419/2135003
226.44/223.81	c cleaning 64992 clauses out of 130008 with flag 12483311/2201000
234.06/231.58	c cleaning 66001 clauses out of 132016 with flag 12856307/2268000
241.59/239.11	c cleaning 66994 clauses out of 134017 with flag 13236747/2336002
249.13/246.78	c cleaning 68006 clauses out of 136024 with flag 13599684/2405003
257.02/254.67	c cleaning 68997 clauses out of 138017 with flag 14040459/2475002
264.84/262.59	c cleaning 69995 clauses out of 140019 with flag 14436878/2546001
273.17/270.90	c cleaning 71004 clauses out of 142024 with flag 14927983/2618001
281.53/279.29	c cleaning 71989 clauses out of 144019 with flag 15331052/2691000
290.12/287.83	c cleaning 73006 clauses out of 146031 with flag 15711392/2765001
298.60/296.31	c cleaning 74011 clauses out of 148025 with flag 16133670/2840001
307.39/305.14	c cleaning 74998 clauses out of 150013 with flag 16533630/2916000
316.46/314.12	c cleaning 75996 clauses out of 152017 with flag 16967215/2993002
325.55/323.28	c cleaning 76993 clauses out of 154019 with flag 17383564/3071000
334.73/332.41	c cleaning 78006 clauses out of 156029 with flag 17828511/3150003
344.42/342.02	c cleaning 78989 clauses out of 158021 with flag 18276050/3230001
353.84/351.53	c cleaning 80011 clauses out of 160031 with flag 18729501/3311000
363.25/361.10	c cleaning 81001 clauses out of 162021 with flag 19232942/3393001
373.27/371.13	c cleaning 81998 clauses out of 164020 with flag 19697872/3476001
383.41/381.26	c cleaning 83009 clauses out of 166023 with flag 20170524/3560002
393.60/391.41	c cleaning 84000 clauses out of 168013 with flag 20619245/3645001
403.98/401.81	c cleaning 84997 clauses out of 170013 with flag 21087974/3731001
414.81/412.56	c cleaning 86001 clauses out of 172015 with flag 21579187/3818000
425.30/423.04	c cleaning 87003 clauses out of 174015 with flag 22086045/3906001
435.87/433.61	c cleaning 88003 clauses out of 176012 with flag 22632001/3995001
446.75/444.51	c cleaning 88999 clauses out of 178009 with flag 23168763/4085001
458.15/455.64	c cleaning 89987 clauses out of 180010 with flag 23732032/4176001
469.54/467.05	c cleaning 90999 clauses out of 182024 with flag 24233272/4268002
481.34/478.72	c cleaning 92002 clauses out of 184024 with flag 24731394/4361001
493.32/490.72	c cleaning 93007 clauses out of 186021 with flag 25350025/4455000
505.30/502.78	c cleaning 94002 clauses out of 188014 with flag 25942774/4550000
517.62/514.92	c cleaning 94998 clauses out of 190016 with flag 26491364/4646004
529.71/527.09	c cleaning 95997 clauses out of 192014 with flag 27058013/4743000
541.88/539.29	c cleaning 96990 clauses out of 194021 with flag 27656560/4841004
554.45/551.78	c cleaning 98004 clauses out of 196029 with flag 28228077/4940002
566.62/563.98	c cleaning 99011 clauses out of 198024 with flag 28832100/5040001
579.50/576.81	c cleaning 99993 clauses out of 200012 with flag 29409192/5141000
592.88/590.09	c cleaning 100999 clauses out of 202023 with flag 30013900/5243004
606.34/603.56	c cleaning 101993 clauses out of 204020 with flag 30618097/5346000
619.61/616.87	c cleaning 103002 clauses out of 206028 with flag 31203188/5450001
633.29/630.48	c cleaning 104000 clauses out of 208026 with flag 31838570/5555001
647.06/644.26	c cleaning 105001 clauses out of 210026 with flag 32454900/5661001
661.52/658.37	c cleaning 106005 clauses out of 212024 with flag 33087513/5768000
675.30/672.13	c cleaning 106994 clauses out of 214020 with flag 33766584/5876001
689.27/686.19	c cleaning 107993 clauses out of 216028 with flag 34373814/5985003
703.81/700.73	c cleaning 108993 clauses out of 218034 with flag 35175549/6095002
720.38/717.37	c cleaning 110003 clauses out of 220039 with flag 36193436/6206000
735.64/732.45	c cleaning 111018 clauses out of 222036 with flag 36859702/6318000
750.39/747.33	c cleaning 111991 clauses out of 224018 with flag 37514458/6431000
765.41/762.47	c cleaning 113007 clauses out of 226028 with flag 38173531/6545001
781.45/778.40	c cleaning 114002 clauses out of 228021 with flag 38790270/6660001
796.82/793.81	c cleaning 114993 clauses out of 230018 with flag 39457904/6776000
812.69/809.70	c cleaning 116006 clauses out of 232027 with flag 40107368/6893002
828.81/825.89	c cleaning 117000 clauses out of 234023 with flag 40759330/7011004
844.88/841.91	c cleaning 118002 clauses out of 236019 with flag 41524539/7130000
861.23/858.38	c cleaning 119006 clauses out of 238017 with flag 42287622/7250000
877.80/874.98	c cleaning 119994 clauses out of 240019 with flag 42958182/7371008
895.26/892.33	c cleaning 120996 clauses out of 242019 with flag 43681858/7493002
912.14/909.21	c cleaning 122003 clauses out of 244021 with flag 44380837/7616000
929.41/926.59	c cleaning 122996 clauses out of 246021 with flag 45060325/7740003
947.30/944.33	c cleaning 123993 clauses out of 248022 with flag 45788530/7865000
964.87/961.93	c cleaning 125003 clauses out of 250030 with flag 46544300/7991001
982.64/979.79	c cleaning 125997 clauses out of 252026 with flag 47261367/8118000
1001.14/998.19	c cleaning 127002 clauses out of 254029 with flag 47979533/8246000
1019.40/1016.40	c cleaning 128001 clauses out of 256027 with flag 48749191/8375000
1037.75/1034.86	c cleaning 129006 clauses out of 258028 with flag 49529675/8505002
1057.11/1053.83	c cleaning 130000 clauses out of 260020 with flag 50253892/8636000
1075.88/1072.66	c cleaning 131008 clauses out of 262022 with flag 51021763/8768002
1095.14/1091.97	c cleaning 131997 clauses out of 264015 with flag 51792234/8901003
1114.74/1111.59	c cleaning 132999 clauses out of 266015 with flag 52527743/9035000
1133.91/1130.79	c cleaning 133987 clauses out of 268016 with flag 53309037/9170000
1153.58/1150.45	c cleaning 135006 clauses out of 270029 with flag 54075556/9306000
1173.36/1170.25	c cleaning 136007 clauses out of 272023 with flag 54897914/9443000
1193.32/1190.26	c cleaning 136990 clauses out of 274017 with flag 55684379/9581001
1213.88/1210.89	c cleaning 138001 clauses out of 276028 with flag 56474635/9720002
1234.82/1231.78	c cleaning 139006 clauses out of 278029 with flag 57271604/9860004
1255.73/1252.79	c cleaning 139991 clauses out of 280019 with flag 58093888/10001000
1276.92/1273.83	c cleaning 140997 clauses out of 282030 with flag 58952388/10143002
1297.68/1294.65	c cleaning 142003 clauses out of 284031 with flag 59821882/10286000
1319.35/1316.38	c cleaning 143002 clauses out of 286028 with flag 60638069/10430000
1340.82/1337.79	c cleaning 144008 clauses out of 288027 with flag 61510607/10575001
1362.29/1359.29	c cleaning 144998 clauses out of 290018 with flag 62355953/10721000
1384.54/1381.57	c cleaning 146000 clauses out of 292020 with flag 63256079/10868000
1406.97/1403.89	c cleaning 146999 clauses out of 294020 with flag 64186332/11016000
1428.93/1425.89	c cleaning 147993 clauses out of 296022 with flag 65059688/11165001
1451.49/1448.40	c cleaning 149006 clauses out of 298028 with flag 65983669/11315000
1473.95/1470.91	c cleaning 150003 clauses out of 300022 with flag 66879017/11466000
1497.55/1494.52	c cleaning 151001 clauses out of 302020 with flag 67721907/11618001
1520.85/1518.07	c cleaning 151999 clauses out of 304019 with flag 68585112/11771001
1544.68/1541.99	c cleaning 153000 clauses out of 306020 with flag 69460435/11925001
1568.64/1565.95	c cleaning 153997 clauses out of 308020 with flag 70356837/12080001
1593.17/1590.24	c cleaning 155005 clauses out of 310022 with flag 71267451/12236000
1617.58/1614.58	c cleaning 155991 clauses out of 312018 with flag 72194749/12393001
1642.58/1639.43	c cleaning 157004 clauses out of 314026 with flag 73100392/12551000
1666.97/1663.79	c cleaning 158006 clauses out of 316022 with flag 74051521/12710000
1692.03/1688.74	c cleaning 159000 clauses out of 318016 with flag 75007983/12870000
1716.69/1713.44	c cleaning 159991 clauses out of 320016 with flag 75981299/13031000
1742.14/1738.78	c cleaning 161005 clauses out of 322025 with flag 76964611/13193000
1768.77/1764.91	c cleaning 161995 clauses out of 324020 with flag 77921777/13356000
1795.14/1791.37	c cleaning 163005 clauses out of 326028 with flag 78872318/13520003
1820.78/1816.83	c cleaning 163997 clauses out of 328020 with flag 79901498/13685000
1847.33/1843.41	c cleaning 164987 clauses out of 330023 with flag 80866572/13851000
1874.36/1870.43	c cleaning 166013 clauses out of 332038 with flag 81799843/14018002
1901.51/1897.68	c cleaning 167009 clauses out of 334023 with flag 82747553/14186000
1928.87/1924.98	c cleaning 168006 clauses out of 336015 with flag 83713959/14355001
1956.52/1952.67	c cleaning 168996 clauses out of 338008 with flag 84753522/14525000
1984.15/1980.35	c cleaning 169984 clauses out of 340012 with flag 85761935/14696000
2012.58/2008.76	c cleaning 171012 clauses out of 342028 with flag 86742797/14868000
2040.43/2036.66	c cleaning 171992 clauses out of 344018 with flag 87833611/15041002
2069.48/2065.76	c cleaning 173003 clauses out of 346024 with flag 88885211/15215000
2098.48/2094.60	c cleaning 174000 clauses out of 348021 with flag 89901504/15390000
2126.93/2123.17	c cleaning 175008 clauses out of 350021 with flag 90971510/15566000
2157.09/2153.28	c cleaning 175995 clauses out of 352014 with flag 92103552/15743001
2186.44/2182.69	c cleaning 176999 clauses out of 354018 with flag 93145135/15921000
2216.71/2212.71	c cleaning 178002 clauses out of 356020 with flag 94186218/16100001
2245.95/2242.02	c cleaning 178992 clauses out of 358018 with flag 95261483/16280001
2276.27/2271.93	c cleaning 179999 clauses out of 360025 with flag 96364206/16461000
2307.21/2302.95	c cleaning 181006 clauses out of 362029 with flag 97442955/16643003
2337.93/2333.62	c cleaning 182009 clauses out of 364020 with flag 98570422/16826000
2368.08/2363.83	c cleaning 182989 clauses out of 366011 with flag 99702131/17010000
2399.84/2395.58	c cleaning 184006 clauses out of 368023 with flag 100810628/17195001
2431.49/2427.27	c cleaning 185002 clauses out of 370017 with flag 101920070/17381001
2462.94/2458.59	c cleaning 186001 clauses out of 372016 with flag 103122256/17568002
2495.58/2491.22	c cleaning 187000 clauses out of 374013 with flag 104293490/17756000
2528.90/2524.41	c cleaning 188001 clauses out of 376015 with flag 105383426/17945002
2561.92/2557.55	c cleaning 188989 clauses out of 378012 with flag 106548003/18135000
2594.96/2590.67	c cleaning 190001 clauses out of 380024 with flag 107665495/18326001
2627.90/2623.83	c cleaning 191000 clauses out of 382023 with flag 108824719/18518001
2661.07/2656.98	c cleaning 192004 clauses out of 384023 with flag 109971435/18711001
2694.72/2690.68	c cleaning 192989 clauses out of 386018 with flag 111098135/18905000
2729.53/2725.56	c cleaning 194005 clauses out of 388030 with flag 112229258/19100001
2764.37/2760.59	c cleaning 195001 clauses out of 390024 with flag 113373652/19296000
2799.90/2796.12	c cleaning 196007 clauses out of 392023 with flag 114559945/19493000
2834.82/2831.18	c cleaning 197001 clauses out of 394017 with flag 115814037/19691001
2871.15/2866.58	c cleaning 197997 clauses out of 396015 with flag 117093441/19890000
2906.75/2902.18	c cleaning 198992 clauses out of 398018 with flag 118282911/20090000
2943.27/2938.67	c cleaning 200006 clauses out of 400027 with flag 119458733/20291001
2979.94/2975.29	c cleaning 200995 clauses out of 402021 with flag 120627594/20493001
3017.04/3012.25	c cleaning 202004 clauses out of 404027 with flag 121863781/20696002
3053.88/3049.14	c cleaning 203006 clauses out of 406022 with flag 123101400/20900001
3091.68/3086.88	c cleaning 203999 clauses out of 408015 with flag 124290275/21105000
3129.23/3124.30	c cleaning 204999 clauses out of 410018 with flag 125520540/21311002
3166.80/3162.08	c cleaning 206000 clauses out of 412018 with flag 126772871/21518001
3205.78/3200.57	c cleaning 207003 clauses out of 414017 with flag 127983620/21726000
3245.31/3240.11	c cleaning 207995 clauses out of 416017 with flag 129196536/21935003
3284.64/3279.53	c cleaning 208999 clauses out of 418019 with flag 130426396/22145000
3323.06/3318.12	c cleaning 209999 clauses out of 420022 with flag 131665477/22356002
3362.19/3357.37	c cleaning 211007 clauses out of 422022 with flag 132945201/22568001
3402.39/3397.49	c cleaning 212000 clauses out of 424017 with flag 134210862/22781003
3441.81/3436.75	c cleaning 212999 clauses out of 426016 with flag 135605964/22995002
3481.79/3476.62	c cleaning 214005 clauses out of 428016 with flag 136907017/23210001
3520.45/3515.28	c cleaning 215001 clauses out of 430010 with flag 138284778/23426000
3561.83/3556.52	c cleaning 215989 clauses out of 432010 with flag 139600258/23643001
3600.04/3594.61	c starts		: 65447
3600.04/3594.61	c timeout
3600.04/3594.62	c conflicts		: 23850439
3600.04/3594.62	c decisions		: 45138509
3600.04/3594.62	c propagations		: 2853515519
3600.04/3594.62	c inspects		: 44739358164
3600.04/3594.62	c shortcuts		: 0
3600.04/3594.62	c learnt literals	: 0
3600.04/3594.62	c learnt binary clauses	: 0
3600.04/3594.62	c learnt ternary clauses	: 0
3600.04/3594.62	c learnt constraints	: 23850439
3600.04/3594.62	c ignored constraints	: 0
3600.04/3594.62	c root simplifications	: 0
3600.04/3594.62	c removed literals (reason simplification)	: 0
3600.04/3594.62	c reason swapping (by a shorter reason)	: 0
3600.04/3594.62	c Calls to reduceDB	: 213
3600.04/3594.62	c Number of update (reduction) of LBD	: 9323197
3600.04/3594.62	c Imported unit clauses	: 0
3600.04/3594.62	c No decision after first conflict	: false
3600.04/3594.62	c number of reductions to clauses (during analyze)	: 0
3600.04/3594.62	c number of learned constraints concerned by reduction	: 0
3600.04/3594.62	c number of learning phase by resolution	: 0
3600.04/3594.62	c number of learning phase by cutting planes	: 0
3600.04/3594.62	c number of rounding to 1 operations	: 0
3600.04/3594.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3594.62	c number of reductions of the coefficients by power 2 	: 0
3600.04/3594.62	c number of right shift for reduction by power 2 	: 0
3600.04/3594.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3594.62	c number of ending skipping 	: 0
3600.04/3594.62	c number of internal skipping 	: 0
3600.04/3594.62	c number of derivation steps 	: 0
3600.04/3594.62	c number of skipped derivation steps 	: 0
3600.04/3594.62	c number of remaining unassigned 	: 0
3600.04/3594.62	c number of remaining assigned 	: 0
3600.04/3594.62	c number of falsified literals weakened from reason	: 0
3600.04/3594.62	c number of falsified literals weakened from conflict	: 0
3600.04/3594.62	c time for arithmetic operations	: 0
3600.04/3594.62	c minimum degree of deleted constraints	: null
3600.04/3594.62	c maximum degree of deleted constraints	: null
3600.04/3594.62	c number of deleted constraints	: 0
3600.04/3594.62	c speed (assignments/second)	: 793967.3608429169
3600.04/3594.62	c non guided choices	: 212
3600.04/3594.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 423459
3600.04/3594.68	s UNKNOWN
3600.04/3594.68	c Total wall clock time (in seconds): 3594.563

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444004-1721317787/watcher-4444004-1721317787 -o /tmp/evaluation-result-4444004-1721317787/solver-4444004-1721317787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980851 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4444004-1721317787.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=980878, runsolver pid=980875

[startup+0.100737 s]*
/proc/loadavg: 1.13 1.37 2.00 9/280 980923
/proc/meminfo: memFree=128492096/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=18975048 memory=62844 CPUtime=0.13 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 7240 0 0 0 12 1 0 0 20 0 18 0 183946968 19430449152 15711 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4743762 15711 5601 1 0 549342 0
[pid=980878/tid=980881] ppid=980875 vsize=18975048 memory=4026532140 CPUtime=0.08 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) S 980875 980878 980838 0 -1 1077936192 5762 0 0 0 7 1 0 0 20 0 18 0 183946968 19430449152 15711 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=18975048 memory=237129448709 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183946971 19430449152 15711 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=18975048 memory=29024 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183946971 19430449152 15711 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62844 KiB

[startup+0.205596 s]*
/proc/loadavg: 1.13 1.37 2.00 12/303 980951
/proc/meminfo: memFree=128396548/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=18975048 memory=86140 CPUtime=0.33 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 8698 0 0 0 31 2 0 0 20 0 18 0 183946968 19430449152 21535 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4743762 21535 5840 1 0 550223 0
[pid=980878/tid=980881] ppid=980875 vsize=18975048 memory=664970851429515383 CPUtime=0.18 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 5912 0 0 0 16 2 0 0 20 0 18 0 183946968 19430449152 21535 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=18975048 memory=219966356753 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183946971 19430449152 21535 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=18975048 memory=28599 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183946971 19430449152 21535 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 86140 KiB

[startup+0.309603 s]*
/proc/loadavg: 1.13 1.37 2.00 9/304 980956
/proc/meminfo: memFree=128295868/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=18975048 memory=130732 CPUtime=0.54 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 9144 0 0 0 50 4 0 0 20 0 18 0 183946968 19430449152 32683 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4743762 32683 5840 1 0 550545 0
[pid=980878/tid=980881] ppid=980875 vsize=18975048 memory=-5155631292954207829 CPUtime=0.27 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 5934 0 0 0 24 3 0 0 20 0 18 0 183946968 19430449152 32683 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183946971 19430449152 32683 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183946971 19430449152 32683 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 130732 KiB

[startup+0.701025 s]
/proc/loadavg: 1.13 1.37 2.00 12/326 980981
/proc/meminfo: memFree=128048716/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=191524 CPUtime=1.27 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 18152 0 0 0 121 6 0 0 20 0 20 0 183946968 19566772224 47881 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 47881 5855 1 0 557355 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=44056 CPUtime=0.6 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 5996 0 0 0 56 4 0 0 20 0 20 0 183946968 19566772224 47881 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=13120 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 47881 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=2228 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 47881 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191524 KiB

[startup+1.50103 s]
/proc/loadavg: 1.13 1.37 2.00 10/330 980985
/proc/meminfo: memFree=127842004/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=194096 CPUtime=2.85 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 23592 0 0 0 279 6 0 0 20 0 20 0 183946968 19566772224 48524 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 48524 5855 1 0 557413 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=2228 CPUtime=1.37 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 6243 0 0 0 133 4 0 0 20 0 20 0 183946968 19566772224 48524 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 48524 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=13120 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 48524 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=11392 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 48524 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194096 KiB

[startup+3.10566 s]
/proc/loadavg: 1.13 1.37 2.00 5/331 980986
/proc/meminfo: memFree=126611544/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=200772 CPUtime=4.93 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 24784 0 0 0 486 7 0 0 20 0 20 0 183946968 19566772224 50193 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 50193 5855 1 0 557416 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=13120 CPUtime=2.93 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 6838 0 0 0 289 4 0 0 20 0 20 0 183946968 19566772224 50193 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 50193 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=11392 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 50193 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=193928 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 50193 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 4.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 200772 KiB

[startup+6.30019 s]
/proc/loadavg: 1.36 1.42 2.02 5/311 981003
/proc/meminfo: memFree=127518012/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=204836 CPUtime=8.36 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 25673 0 0 0 829 7 0 0 20 0 20 0 183946968 19566772224 51209 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 51209 5855 1 0 557416 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=0 CPUtime=6.09 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 6881 0 0 0 605 4 0 0 20 0 20 0 183946968 19566772224 51209 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=32340 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 51209 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=13120 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 51209 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=44056 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 51209 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204836 KiB

[startup+12.7003 s]
/proc/loadavg: 1.73 1.50 2.04 5/333 981058
/proc/meminfo: memFree=127204836/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=221664 CPUtime=14.81 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 29651 0 0 0 1472 9 0 0 20 0 20 0 183946968 19566772224 55416 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 55416 5897 1 0 557416 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=221596 CPUtime=12.46 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 7603 0 0 0 1241 5 0 0 20 0 20 0 183946968 19566772224 55416 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 55416 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=13120 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 55416 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=221540 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 55416 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 14.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 221664 KiB

[startup+25.501 s]
/proc/loadavg: 2.53 1.68 2.09 5/332 981323
/proc/meminfo: memFree=126864836/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=334604 CPUtime=27.63 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 33881 0 0 0 2752 11 0 0 20 0 20 0 183946968 19566772224 83651 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 83651 5897 1 0 557416 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=-8815341538337137340 CPUtime=25 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 8707 0 0 0 2495 5 0 0 20 0 20 0 183946968 19566772224 83651 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=4051269581153778875 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 83651 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=334604 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 83651 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=334604 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 83651 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 27.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 334604 KiB

[startup+51.1058 s]
/proc/loadavg: 3.19 1.90 2.15 7/333 981660
/proc/meminfo: memFree=126152764/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=623528 CPUtime=53.25 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 38164 0 0 0 5308 17 0 0 20 0 20 0 183946968 19566772224 155882 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 155882 5897 1 0 557416 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=5428 CPUtime=50.07 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 10456 0 0 0 5002 5 0 0 20 0 20 0 183946968 19566772224 155882 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=566184 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 155882 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=198340509722 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 155882 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0

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

/proc/meminfo: memFree=110805048/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=3151528 CPUtime=3227.54 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 159771 0 0 0 322588 166 0 0 20 0 20 0 183946968 19566772224 787882 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 787882 5897 1 0 860154 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=2829524 CPUtime=3200.66 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 60264 0 0 0 320032 34 0 0 20 0 20 0 183946968 19566772224 787882 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=2829536 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 787882 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=3151528 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 1664 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 787882 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=11392 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 787882 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 3227.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3151528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.18 4.10 5/334 984901
/proc/meminfo: memFree=109612792/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=3249900 CPUtime=3287.44 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 161557 0 0 0 328573 171 0 0 20 0 20 0 183946968 19566772224 812475 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 812475 5897 1 0 860154 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=3249900 CPUtime=3260.46 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 60963 0 0 0 326010 36 0 0 20 0 20 0 183946968 19566772224 812475 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=3249900 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 812475 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=3249900 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 1789 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 812475 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=3249900 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 812475 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 3287.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3249900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.19 4.11 5/332 984912
/proc/meminfo: memFree=109248612/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=3389196 CPUtime=3347.21 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 163147 0 0 0 334546 175 0 0 20 0 20 0 183946968 19566772224 847299 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 847299 5897 1 0 860170 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=3356428 CPUtime=3319.73 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 61367 0 0 0 331936 37 0 0 20 0 20 0 183946968 19566772224 847299 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=3356428 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 847299 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=11392 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 1789 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 847299 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=16216 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 847299 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 3347.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3389196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.10 5/332 984922
/proc/meminfo: memFree=109247872/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=3389196 CPUtime=3407.28 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 163593 0 0 0 340551 177 0 0 20 0 20 0 183946968 19566772224 847299 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 847299 5897 1 0 860170 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=3389196 CPUtime=3379.4 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 61569 0 0 0 337903 37 0 0 20 0 20 0 183946968 19566772224 847299 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=3356428 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 847299 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=3389196 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 1789 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 847299 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=3389196 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 847299 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 3407.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3389196 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.18 4.11 5/332 984934
/proc/meminfo: memFree=109247112/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=3389208 CPUtime=3467.49 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 163883 0 0 0 346571 178 0 0 20 0 20 0 183946968 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 847302 5897 1 0 860170 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=44056 CPUtime=3438.92 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) S 980875 980878 980838 0 -1 1077936192 61759 0 0 0 343855 37 0 0 20 0 20 0 183946968 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=3389200 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=3389200 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 1789 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=3389200 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 3467.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3389208 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.18 4.11 5/331 984944
/proc/meminfo: memFree=109246420/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=3389208 CPUtime=3527.54 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 163952 0 0 0 352574 180 0 0 20 0 20 0 183946968 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 847302 5897 1 0 860170 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=3389200 CPUtime=3498.57 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 61788 0 0 0 349820 37 0 0 20 0 20 0 183946968 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=3389196 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=11392 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 1789 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=11392 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 3527.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3389208 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.18 4.11 5/331 986007
/proc/meminfo: memFree=111969484/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=3389208 CPUtime=3587.58 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 164562 0 0 0 358577 181 0 0 20 0 20 0 183946968 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 847302 5897 1 0 860170 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=3389208 CPUtime=3558.27 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 62160 0 0 0 355790 37 0 0 20 0 20 0 183946968 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=11392 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=3389208 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 1789 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=1848 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 3587.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3389208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.6 s]
/proc/loadavg: 4.43 4.23 4.13 5/330 986340
/proc/meminfo: memFree=122364308/131524600 swapFree=131071996/131071996
[pid=980878] ppid=980875 vsize=19108176 memory=3389208 CPUtime=3600.04 cores=5,7
/proc/980878/stat : 980878 (java) S 980875 980878 980838 0 -1 1077936128 165512 0 0 0 359822 182 0 0 20 0 20 0 183946968 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
/proc/980878/statm: 4777044 847302 5897 1 0 860170 0
[pid=980878/tid=980881] ppid=980875 vsize=19108176 memory=13652 CPUtime=3570.31 cores=5,7
/proc/980878/task/980881/stat : 980881 (java) R 980875 980878 980838 0 -1 4194368 62198 0 0 0 356994 37 0 0 20 0 20 0 183946968 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980900] ppid=980875 vsize=19108176 memory=11640 CPUtime=0 cores=5,7
/proc/980878/task/980900/stat : 980900 (Finalizer) S 980875 980878 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980912] ppid=980875 vsize=19108176 memory=11496 CPUtime=0 cores=5,7
/proc/980878/task/980912/stat : 980912 (Common-Cleaner) S 980875 980878 980838 0 -1 1077936192 1789 0 0 0 0 0 0 0 20 0 20 0 183946971 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
[pid=980878/tid=980984] ppid=980875 vsize=19108176 memory=11496 CPUtime=0 cores=5,7
/proc/980878/task/980984/stat : 980984 (Timer-0) S 980875 980878 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947030 19566772224 847302 134679101440 94287831805952 94287831809648 140733623726736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94287831817464 94287831818256 94287864565760 140733623731206 140733623731296 140733623731296 140733623738312 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3389208 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.35 s, system=1.83459 s

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

Child status: 143

Real time (s): 3594.7
CPU time (s): 3600.19
CPU user time (s): 3598.35
CPU system time (s): 1.83459
CPU usage (%): 100.153
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3389208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.35
system time used= 1.83459
maximum resident set size= 3391116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168282
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108674
involuntary context switches= 7934


# summary of solver processes directly reported to runsolver:
#   pid: 980878
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3598.35
#   total CPU system time (s): 1.83459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80271 second user time and 17.8127 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-18 17:50:00
IDJOB=4444004
IDBENCH=147893
IDSOLVER=3058
FILE ID=nodeC031/4444004-1721317787
RUNJOBID= nodeC031-1721317800-980851
SLURM_JOB_ID= 7542669
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444004-1721317787/watcher-4444004-1721317787 -o /tmp/evaluation-result-4444004-1721317787/solver-4444004-1721317787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980851 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4444004-1721317787.opb

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

MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=1070236304

nodeC031.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	: 0xb00002a
cpu MHz		: 3482.048
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.55
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	: 0xb00002a
cpu MHz		: 3638.862
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.11
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	: 0xb00002a
cpu MHz		: 3609.793
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.55
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	: 0xb00002a
cpu MHz		: 3653.989
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.11
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	: 0xb00002a
cpu MHz		: 3618.558
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.55
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	: 0xb00002a
cpu MHz		: 3641.879
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.11
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	: 0xb00002a
cpu MHz		: 3574.633
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.55
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	: 0xb00002a
cpu MHz		: 3625.800
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128592216 kB
MemAvailable:   129677376 kB
Buffers:          468376 kB
Cached:          1449684 kB
SwapCached:            0 kB
Active:           931748 kB
Inactive:        1385424 kB
Active(anon):       1496 kB
Inactive(anon):   435652 kB
Active(file):     930252 kB
Inactive(file):   949772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21368 kB
Writeback:            36 kB
AnonPages:        397788 kB
Mapped:           106488 kB
Shmem:             37720 kB
KReclaimable:      89564 kB
Slab:             200172 kB
SReclaimable:      89564 kB
SUnreclaim:       110608 kB
KernelStack:        3896 kB
PageTables:        10020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     713748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69376 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC031 at 2024-07-18 18:49:54