Trace number 4445132

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.18 3630.66

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
MD5SUMf9ddfe14fcbe08e4d315c2b284f6e91e
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 benchmark0.008239
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables70
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint70
Maximum length of a constraint70
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 89716839
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 865734046
Number of bits of the biggest sum of numbers30
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.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
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.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4445132-1721817202.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.14/0.14	c ... done. Wall clock time 0.011s.
0.14/0.14	c declared #vars     70
0.14/0.14	c #constraints  2
0.14/0.14	c constraints type 
0.14/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.14/0.14	c 2 constraints processed.
1.09/0.69	c cleaning 2500 clauses out of 5000 with flag 10000/5000
1.87/1.08	c cleaning 4251 clauses out of 8501 with flag 22003/11001
2.65/1.46	c cleaning 5624 clauses out of 11249 with flag 36002/18000
3.46/1.82	c cleaning 6808 clauses out of 13626 with flag 52009/26001
4.25/2.21	c cleaning 7909 clauses out of 15818 with flag 70010/35001
4.82/2.55	c cleaning 8951 clauses out of 17908 with flag 90008/45000
5.30/2.85	c cleaning 9976 clauses out of 19958 with flag 112011/56001
5.69/3.18	c cleaning 10986 clauses out of 21981 with flag 136011/68000
6.09/3.51	c cleaning 11998 clauses out of 23996 with flag 162013/81001
6.49/3.92	c cleaning 12999 clauses out of 25997 with flag 190011/95000
6.90/4.38	c cleaning 13999 clauses out of 27998 with flag 220014/110000
7.40/4.83	c cleaning 15000 clauses out of 30000 with flag 252016/126001
8.00/5.30	c cleaning 15998 clauses out of 32001 with flag 286023/143002
8.53/5.80	c cleaning 16997 clauses out of 34002 with flag 322033/161001
9.15/6.43	c cleaning 17997 clauses out of 36004 with flag 360031/180000
9.86/7.12	c cleaning 19002 clauses out of 38011 with flag 400044/200004
10.45/7.72	c cleaning 20004 clauses out of 40007 with flag 442042/221002
11.16/8.40	c cleaning 21001 clauses out of 42002 with flag 486042/243001
11.86/9.13	c cleaning 21998 clauses out of 44000 with flag 532049/266000
12.66/9.92	c cleaning 22995 clauses out of 46002 with flag 580050/290000
13.45/10.73	c cleaning 24000 clauses out of 48007 with flag 630060/315000
14.34/11.62	c cleaning 25005 clauses out of 50010 with flag 682073/341003
15.25/12.55	c cleaning 26000 clauses out of 52002 with flag 736073/368000
16.15/13.45	c cleaning 27002 clauses out of 54003 with flag 792085/396001
17.05/14.34	c cleaning 27995 clauses out of 56000 with flag 850102/425000
18.04/15.37	c cleaning 29000 clauses out of 58006 with flag 910106/455001
19.13/16.42	c cleaning 29999 clauses out of 60005 with flag 972109/486000
20.22/17.55	c cleaning 31004 clauses out of 62009 with flag 1036126/518003
21.31/18.68	c cleaning 31995 clauses out of 64002 with flag 1102127/551000
22.60/19.98	c cleaning 33004 clauses out of 66008 with flag 1170140/585001
23.79/21.17	c cleaning 33996 clauses out of 68003 with flag 1240145/620000
25.09/22.48	c cleaning 35002 clauses out of 70009 with flag 1312151/656002
26.48/23.87	c cleaning 36001 clauses out of 72006 with flag 1386158/693001
28.17/25.51	c cleaning 36998 clauses out of 74004 with flag 1462169/731000
29.60/26.91	c cleaning 38003 clauses out of 76008 with flag 1540190/770002
31.11/28.41	c cleaning 38999 clauses out of 78003 with flag 1620188/810000
32.60/29.91	c cleaning 40002 clauses out of 80005 with flag 1702196/851001
34.15/32.08	c cleaning 41000 clauses out of 82002 with flag 1786206/893000
35.93/33.82	c cleaning 42000 clauses out of 84002 with flag 1872222/936000
37.82/35.71	c cleaning 42998 clauses out of 86002 with flag 1960226/980000
39.61/37.57	c cleaning 44000 clauses out of 88004 with flag 2050241/1025000
41.83/39.72	c cleaning 45001 clauses out of 90006 with flag 2142260/1071002
43.73/41.66	c cleaning 45997 clauses out of 92003 with flag 2236274/1118000
45.65/43.55	c cleaning 47001 clauses out of 94006 with flag 2332301/1166000
47.54/45.47	c cleaning 48003 clauses out of 96005 with flag 2430316/1215000
49.92/47.87	c cleaning 48995 clauses out of 98002 with flag 2530319/1265000
52.01/49.96	c cleaning 50001 clauses out of 100007 with flag 2632321/1316000
54.20/52.10	c cleaning 50998 clauses out of 102006 with flag 2736326/1368000
56.32/54.27	c cleaning 52002 clauses out of 104009 with flag 2842336/1421001
58.72/56.61	c cleaning 53002 clauses out of 106007 with flag 2950339/1475001
61.62/59.55	c cleaning 53997 clauses out of 108006 with flag 3060346/1530002
64.31/62.72	c cleaning 55003 clauses out of 110008 with flag 3172359/1586001
67.21/65.69	c cleaning 55998 clauses out of 112004 with flag 3286364/1643000
70.23/68.65	c cleaning 56997 clauses out of 114006 with flag 3402370/1701000
73.05/71.43	c cleaning 57999 clauses out of 116010 with flag 3520384/1760001
75.75/74.16	c cleaning 59005 clauses out of 118012 with flag 3640395/1820002
80.33/78.70	c cleaning 59997 clauses out of 120005 with flag 3762399/1881000
83.67/82.06	c cleaning 60997 clauses out of 122008 with flag 3886407/1943000
87.10/85.40	c cleaning 61998 clauses out of 124011 with flag 4012424/2006000
89.79/88.16	c cleaning 63006 clauses out of 126014 with flag 4140437/2070001
92.89/91.24	c cleaning 64002 clauses out of 128010 with flag 4270447/2135003
95.64/94.19	c cleaning 65002 clauses out of 130006 with flag 4402461/2201001
98.68/97.16	c cleaning 65998 clauses out of 132003 with flag 4536470/2268000
103.48/102.00	c cleaning 67003 clauses out of 134005 with flag 4672490/2336000
107.27/105.74	c cleaning 67994 clauses out of 136002 with flag 4810499/2405000
110.57/109.03	c cleaning 68999 clauses out of 138009 with flag 4950520/2475001
114.20/112.67	c cleaning 70003 clauses out of 140010 with flag 5092522/2546001
118.25/116.68	c cleaning 71004 clauses out of 142007 with flag 5236534/2618001
122.08/120.42	c cleaning 71997 clauses out of 144002 with flag 5382555/2691000
125.82/124.38	c cleaning 73002 clauses out of 146005 with flag 5530581/2765000
130.06/128.54	c cleaning 74000 clauses out of 148005 with flag 5680627/2840002
133.96/132.44	c cleaning 74999 clauses out of 150003 with flag 5832647/2916000
138.98/137.45	c cleaning 76003 clauses out of 152005 with flag 5986706/2993001
142.90/141.31	c cleaning 76994 clauses out of 154001 with flag 6142713/3071000
147.03/145.46	c cleaning 78004 clauses out of 156007 with flag 6300729/3150000
151.87/150.29	c cleaning 79001 clauses out of 158003 with flag 6460742/3230000
157.27/159.76	c cleaning 79998 clauses out of 160003 with flag 6622755/3311001
162.51/164.92	c cleaning 81000 clauses out of 162004 with flag 6786764/3393000
168.03/170.43	c cleaning 81998 clauses out of 164004 with flag 6952771/3476000
172.55/174.99	c cleaning 82995 clauses out of 166006 with flag 7120788/3560000
178.01/180.31	c cleaning 83999 clauses out of 168011 with flag 7290803/3645000
184.02/186.33	c cleaning 85003 clauses out of 170012 with flag 7462820/3731000
188.53/191.07	c cleaning 85998 clauses out of 172009 with flag 7636835/3818000
193.55/196.05	c cleaning 87003 clauses out of 174011 with flag 7812871/3906000
198.87/201.33	c cleaning 87999 clauses out of 176008 with flag 7990917/3995000
203.57/206.03	c cleaning 89003 clauses out of 178011 with flag 8170948/4085002
208.78/211.20	c cleaning 89998 clauses out of 180007 with flag 8353001/4176001
213.80/216.21	c cleaning 91002 clauses out of 182009 with flag 8537026/4268001
220.54/223.24	c cleaning 91996 clauses out of 184006 with flag 8723045/4361000
225.67/228.33	c cleaning 93004 clauses out of 186011 with flag 8911063/4455001
229.96/232.69	c cleaning 94001 clauses out of 188008 with flag 9101096/4550002
234.85/237.50	c cleaning 95003 clauses out of 190008 with flag 9293122/4646003
240.44/243.17	c cleaning 95996 clauses out of 192003 with flag 9487145/4743001
247.15/249.87	c cleaning 97005 clauses out of 194009 with flag 9683161/4841003
252.61/255.52	c cleaning 97994 clauses out of 196001 with flag 9881176/4940000
258.97/261.85	c cleaning 98993 clauses out of 198007 with flag 10081211/5040000
265.11/267.97	c cleaning 100000 clauses out of 200015 with flag 10283275/5141001
271.41/274.08	c cleaning 100998 clauses out of 202016 with flag 10487309/5243002
277.82/280.45	c cleaning 102004 clauses out of 204016 with flag 10693354/5346000
283.82/286.54	c cleaning 103002 clauses out of 206012 with flag 10901398/5450000
290.15/292.83	c cleaning 104002 clauses out of 208010 with flag 11111427/5555000
295.48/298.16	c cleaning 105000 clauses out of 210008 with flag 11323438/5661000
302.56/305.11	c cleaning 106001 clauses out of 212009 with flag 11537458/5768001
308.16/310.71	c cleaning 107002 clauses out of 214007 with flag 11753501/5876000
314.91/317.69	c cleaning 107999 clauses out of 216005 with flag 11971571/5985000
321.23/323.92	c cleaning 108999 clauses out of 218008 with flag 12191600/6095002
328.59/331.26	c cleaning 110002 clauses out of 220008 with flag 12413631/6206001
336.00/338.65	c cleaning 110999 clauses out of 222005 with flag 12637665/6318000
343.31/346.33	c cleaning 112000 clauses out of 224006 with flag 12863706/6431000
350.13/353.13	c cleaning 112999 clauses out of 226006 with flag 13091722/6545000
357.79/360.77	c cleaning 114000 clauses out of 228008 with flag 13321744/6660001
364.35/367.29	c cleaning 115001 clauses out of 230008 with flag 13553768/6776001
371.85/375.26	c cleaning 116002 clauses out of 232007 with flag 13787799/6893001
379.58/382.98	c cleaning 116994 clauses out of 234004 with flag 14023835/7011000
386.75/390.01	c cleaning 118004 clauses out of 236010 with flag 14261871/7130000
393.93/397.20	c cleaning 119001 clauses out of 238007 with flag 14501908/7250001
403.34/407.02	c cleaning 120003 clauses out of 240006 with flag 14743950/7371001
414.45/418.17	c cleaning 121001 clauses out of 242002 with flag 14987978/7493000
423.58/427.30	c cleaning 122001 clauses out of 244001 with flag 15234009/7616000
432.33/436.09	c cleaning 122991 clauses out of 246000 with flag 15482022/7740000
439.24/442.90	c cleaning 124000 clauses out of 248009 with flag 15732037/7865000
446.91/450.64	c cleaning 125004 clauses out of 250009 with flag 15984048/7991000
453.63/457.35	c cleaning 125999 clauses out of 252005 with flag 16238083/8118000
462.51/466.50	c cleaning 127001 clauses out of 254007 with flag 16494104/8246001
474.64/478.63	c cleaning 127999 clauses out of 256006 with flag 16752121/8375001
482.37/486.38	c cleaning 129000 clauses out of 258007 with flag 17012133/8505001
489.54/493.47	c cleaning 129997 clauses out of 260008 with flag 17274149/8636002
497.13/504.22	c cleaning 131002 clauses out of 262009 with flag 17538167/8768000
503.99/511.05	c cleaning 132000 clauses out of 264008 with flag 17804194/8901001
512.03/519.07	c cleaning 133002 clauses out of 266009 with flag 18072215/9035002
521.01/528.25	c cleaning 133998 clauses out of 268005 with flag 18342224/9170000
529.43/536.61	c cleaning 134999 clauses out of 270008 with flag 18614250/9306001
537.76/544.98	c cleaning 136002 clauses out of 272008 with flag 18888287/9443000
546.01/553.17	c cleaning 136998 clauses out of 274006 with flag 19164310/9581000
555.48/562.87	c cleaning 137999 clauses out of 276009 with flag 19442327/9720001
563.51/570.89	c cleaning 138998 clauses out of 278011 with flag 19722355/9860002
573.98/581.28	c cleaning 140003 clauses out of 280012 with flag 20004383/10001001
583.61/591.88	c cleaning 141000 clauses out of 282009 with flag 20288408/10143001
592.63/600.84	c cleaning 141999 clauses out of 284008 with flag 20574433/10286000
602.35/610.55	c cleaning 143002 clauses out of 286010 with flag 20862455/10430001
611.30/619.42	c cleaning 143998 clauses out of 288007 with flag 21152476/10575000
622.57/630.94	c cleaning 145004 clauses out of 290011 with flag 21444485/10721002
632.56/640.94	c cleaning 145998 clauses out of 292005 with flag 21738499/10868000
643.37/651.99	c cleaning 147000 clauses out of 294009 with flag 22034520/11016002
655.57/664.09	c cleaning 147997 clauses out of 296008 with flag 22332535/11165001
666.13/674.51	c cleaning 148999 clauses out of 298010 with flag 22632563/11315000
681.14/689.76	c cleaning 150000 clauses out of 300011 with flag 22934588/11466000
693.31/701.83	c cleaning 151005 clauses out of 302012 with flag 23238611/11618001
705.01/713.65	c cleaning 152003 clauses out of 304007 with flag 23544628/11771001
719.95/728.51	c cleaning 152998 clauses out of 306004 with flag 23852689/11925001
730.82/739.35	c cleaning 154001 clauses out of 308005 with flag 24162701/12080000
742.22/750.80	c cleaning 154994 clauses out of 310004 with flag 24474717/12236000
751.58/760.17	c cleaning 155998 clauses out of 312011 with flag 24788731/12393001
763.25/771.75	c cleaning 157001 clauses out of 314013 with flag 25104749/12551001
773.87/782.56	c cleaning 157999 clauses out of 316011 with flag 25422761/12710000
785.36/793.91	c cleaning 159003 clauses out of 318012 with flag 25742782/12870000
796.03/804.73	c cleaning 159998 clauses out of 320010 with flag 26064805/13031001
807.83/816.57	c cleaning 161006 clauses out of 322014 with flag 26388842/13193003
820.23/828.95	c cleaning 161999 clauses out of 324005 with flag 26714853/13356000
833.35/842.26	c cleaning 162999 clauses out of 326006 with flag 27042884/13520000
845.27/854.01	c cleaning 164003 clauses out of 328009 with flag 27372903/13685002
860.16/868.81	c cleaning 164999 clauses out of 330004 with flag 27704924/13851000
875.56/884.24	c cleaning 165998 clauses out of 332005 with flag 28038934/14018000
887.36/895.93	c cleaning 167000 clauses out of 334007 with flag 28374952/14186000
900.65/909.44	c cleaning 168003 clauses out of 336008 with flag 28712975/14355001
914.33/923.10	c cleaning 169000 clauses out of 338005 with flag 29053000/14525001
930.58/939.68	c cleaning 170001 clauses out of 340004 with flag 29395033/14696000
944.35/953.38	c cleaning 171000 clauses out of 342003 with flag 29739076/14868000
957.95/967.10	c cleaning 171992 clauses out of 344004 with flag 30085112/15041001
971.19/980.38	c cleaning 173000 clauses out of 346011 with flag 30433119/15215000
986.81/996.42	c cleaning 173999 clauses out of 348011 with flag 30783127/15390000
999.82/1009.42	c cleaning 175007 clauses out of 350013 with flag 31135140/15566001
1011.41/1021.28	c cleaning 176000 clauses out of 352006 with flag 31489144/15743001
1024.37/1034.19	c cleaning 176995 clauses out of 354006 with flag 31845149/15921001
1038.40/1048.13	c cleaning 178000 clauses out of 356011 with flag 32203154/16100001
1051.43/1061.36	c cleaning 179001 clauses out of 358011 with flag 32563164/16280001
1065.04/1074.96	c cleaning 180000 clauses out of 360009 with flag 32925182/16461000
1078.01/1088.08	c cleaning 181001 clauses out of 362010 with flag 33289195/16643001
1090.34/1100.31	c cleaning 181998 clauses out of 364008 with flag 33655199/16826000
1102.11/1112.20	c cleaning 183001 clauses out of 366010 with flag 34023205/17010000
1113.07/1123.17	c cleaning 184003 clauses out of 368010 with flag 34393215/17195001
1127.13/1137.13	c cleaning 185000 clauses out of 370006 with flag 34765229/17381000
1142.63/1152.81	c cleaning 186003 clauses out of 372006 with flag 35139232/17568000
1157.79/1167.99	c cleaning 186993 clauses out of 374004 with flag 35515245/17756001
1173.87/1184.22	c cleaning 188000 clauses out of 376010 with flag 35893252/17945000
1186.92/1197.33	c cleaning 189002 clauses out of 378012 with flag 36273271/18135002
1198.95/1209.50	c cleaning 190000 clauses out of 380008 with flag 36655277/18326000
1214.65/1225.27	c cleaning 190997 clauses out of 382008 with flag 37039282/18518000
1228.18/1239.09	c cleaning 191998 clauses out of 384011 with flag 37425286/18711000
1241.19/1252.01	c cleaning 193004 clauses out of 386013 with flag 37813298/18905000
1258.68/1269.77	c cleaning 194004 clauses out of 388009 with flag 38203309/19100000
1273.89/1284.94	c cleaning 194992 clauses out of 390005 with flag 38595333/19296000
1291.60/1302.78	c cleaning 196006 clauses out of 392014 with flag 38989348/19493001
1305.44/1316.50	c cleaning 197000 clauses out of 394007 with flag 39385361/19691000
1319.78/1331.64	c cleaning 197997 clauses out of 396008 with flag 39783378/19890001
1335.24/1347.07	c cleaning 199000 clauses out of 398010 with flag 40183379/20090000
1350.86/1362.95	c cleaning 200005 clauses out of 400013 with flag 40585397/20291003
1367.47/1379.15	c cleaning 200996 clauses out of 402005 with flag 40989425/20493000
1385.03/1397.89	c cleaning 201998 clauses out of 404009 with flag 41395430/20696000
1401.45/1414.27	c cleaning 203004 clauses out of 406011 with flag 41803472/20900000
1416.70/1429.89	c cleaning 203997 clauses out of 408009 with flag 42213492/21105002
1436.34/1449.86	c cleaning 204997 clauses out of 410010 with flag 42625493/21311000
1456.00/1469.47	c cleaning 206003 clauses out of 412014 with flag 43039504/21518001
1475.30/1488.91	c cleaning 206997 clauses out of 414010 with flag 43455524/21726000
1494.21/1507.86	c cleaning 208007 clauses out of 416014 with flag 43873555/21935001
1514.53/1528.23	c cleaning 208995 clauses out of 418007 with flag 44293570/22145001
1534.83/1548.80	c cleaning 210002 clauses out of 420011 with flag 44715577/22356000
1551.21/1565.20	c cleaning 210999 clauses out of 422009 with flag 45139597/22568000
1575.71/1589.96	c cleaning 212000 clauses out of 424010 with flag 45565601/22781000
1602.76/1617.05	c cleaning 212999 clauses out of 426010 with flag 45993612/22995000
1629.91/1644.06	c cleaning 213999 clauses out of 428014 with flag 46423647/23210003
1645.16/1659.15	c cleaning 215005 clauses out of 430013 with flag 46855648/23426001
1661.40/1675.54	c cleaning 216000 clauses out of 432008 with flag 47289657/23643001
1683.75/1698.04	c cleaning 216996 clauses out of 434008 with flag 47725685/23861001
1701.02/1715.23	c cleaning 218001 clauses out of 436012 with flag 48163689/24080001
1722.12/1736.57	c cleaning 219000 clauses out of 438010 with flag 48603695/24300000
1741.00/1755.39	c cleaning 219999 clauses out of 440010 with flag 49045710/24521000
1760.40/1774.83	c cleaning 221004 clauses out of 442012 with flag 49489730/24743001
1780.08/1794.72	c cleaning 221998 clauses out of 444007 with flag 49935736/24966000
1799.82/1814.41	c cleaning 223005 clauses out of 446009 with flag 50383746/25190000
1816.80/1831.56	c cleaning 224000 clauses out of 448006 with flag 50833756/25415002
1842.76/1857.80	c cleaning 224998 clauses out of 450004 with flag 51285792/25641000
1860.37/1875.56	c cleaning 225998 clauses out of 452006 with flag 51739809/25868000
1879.62/1894.92	c cleaning 226999 clauses out of 454008 with flag 52195856/26096000
1898.95/1914.48	c cleaning 228003 clauses out of 456012 with flag 52653866/26325003
1920.97/1936.44	c cleaning 228998 clauses out of 458008 with flag 53113878/26555002
1940.34/1955.87	c cleaning 229997 clauses out of 460008 with flag 53575909/26786000
1960.06/1977.27	c cleaning 231002 clauses out of 462012 with flag 54039953/27018001
1980.70/1997.83	c cleaning 231997 clauses out of 464009 with flag 54505981/27251000
2002.20/2019.51	c cleaning 232996 clauses out of 466012 with flag 54974007/27485000
2020.73/2038.35	c cleaning 234003 clauses out of 468016 with flag 55444047/27720000
2046.60/2064.14	c cleaning 235001 clauses out of 470014 with flag 55916097/27956001
2066.74/2084.88	c cleaning 236006 clauses out of 472013 with flag 56390141/28193001
2089.29/2109.39	c cleaning 236998 clauses out of 474006 with flag 56866180/28431000
2109.09/2129.03	c cleaning 238000 clauses out of 476009 with flag 57344216/28670001
2128.96/2149.10	c cleaning 239001 clauses out of 478009 with flag 57824290/28910001
2153.11/2173.62	c cleaning 239999 clauses out of 480009 with flag 58306346/29151002
2172.29/2192.78	c cleaning 240999 clauses out of 482008 with flag 58790373/29393000
2189.89/2210.48	c cleaning 242000 clauses out of 484010 with flag 59276388/29636001
2214.44/2235.15	c cleaning 242994 clauses out of 486009 with flag 59764402/29880000
2245.83/2266.69	c cleaning 244001 clauses out of 488015 with flag 60254423/30125000
2268.68/2289.78	c cleaning 244998 clauses out of 490015 with flag 60746437/30371001
2291.37/2312.30	c cleaning 246001 clauses out of 492016 with flag 61240454/30618000
2309.51/2330.60	c cleaning 247004 clauses out of 494015 with flag 61736474/30866000
2329.48/2350.79	c cleaning 248003 clauses out of 496013 with flag 62234501/31115002
2350.67/2371.86	c cleaning 249003 clauses out of 498009 with flag 62734510/31365001
2371.49/2393.00	c cleaning 249995 clauses out of 500007 with flag 63236532/31616002
2392.74/2414.32	c cleaning 251001 clauses out of 502010 with flag 63740547/31868000
2412.99/2434.58	c cleaning 251994 clauses out of 504010 with flag 64246579/32121001
2434.22/2455.94	c cleaning 253003 clauses out of 506015 with flag 64754589/32375000
2452.65/2474.43	c cleaning 254000 clauses out of 508013 with flag 65264611/32630001
2482.98/2504.85	c cleaning 255000 clauses out of 510013 with flag 65776623/32886001
2506.87/2528.64	c cleaning 256002 clauses out of 512012 with flag 66290635/33143000
2530.93/2553.16	c cleaning 257002 clauses out of 514011 with flag 66806658/33401001
2558.18/2580.50	c cleaning 258000 clauses out of 516008 with flag 67324662/33660000
2579.37/2601.75	c cleaning 259002 clauses out of 518009 with flag 67844682/33920001
2601.88/2624.17	c cleaning 259994 clauses out of 520006 with flag 68366702/34181000
2625.29/2647.68	c cleaning 261007 clauses out of 522013 with flag 68890716/34443001
2650.52/2672.99	c cleaning 261999 clauses out of 524005 with flag 69416735/34706000
2678.06/2700.35	c cleaning 263003 clauses out of 526006 with flag 69944788/34970000
2699.68/2722.12	c cleaning 263997 clauses out of 528004 with flag 70474809/35235001
2730.78/2754.97	c cleaning 265000 clauses out of 530006 with flag 71006825/35501000
2752.96/2777.05	c cleaning 266000 clauses out of 532006 with flag 71540842/35768000
2778.25/2802.46	c cleaning 266996 clauses out of 534006 with flag 72076863/36036000
2804.52/2828.82	c cleaning 268003 clauses out of 536010 with flag 72614880/36305000
2828.64/2853.05	c cleaning 268997 clauses out of 538007 with flag 73154886/36575000
2856.12/2881.01	c cleaning 270004 clauses out of 540011 with flag 73696903/36846001
2882.28/2907.01	c cleaning 270997 clauses out of 542007 with flag 74240951/37118001
2906.77/2931.54	c cleaning 271999 clauses out of 544009 with flag 74786977/37391000
2930.00/2954.86	c cleaning 273001 clauses out of 546010 with flag 75334994/37665000
2952.32/2977.24	c cleaning 274000 clauses out of 548009 with flag 75885006/37940000
2975.07/2999.95	c cleaning 275002 clauses out of 550010 with flag 76437032/38216001
2999.66/3024.77	c cleaning 276001 clauses out of 552012 with flag 76991054/38493005
3023.60/3049.02	c cleaning 277002 clauses out of 554007 with flag 77547060/38771001
3047.22/3072.32	c cleaning 277995 clauses out of 556004 with flag 78105073/39050000
3072.63/3097.79	c cleaning 279001 clauses out of 558010 with flag 78665089/39330001
3102.19/3127.30	c cleaning 279997 clauses out of 560008 with flag 79227103/39611000
3132.23/3157.59	c cleaning 281000 clauses out of 562012 with flag 79791108/39893001
3159.51/3184.99	c cleaning 282003 clauses out of 564012 with flag 80357120/40176001
3184.80/3210.17	c cleaning 283004 clauses out of 566009 with flag 80925135/40460001
3210.55/3236.10	c cleaning 283999 clauses out of 568004 with flag 81495145/40745000
3243.96/3269.52	c cleaning 284997 clauses out of 570006 with flag 82067162/41031001
3275.54/3301.16	c cleaning 285997 clauses out of 572008 with flag 82641177/41318000
3300.18/3325.98	c cleaning 287004 clauses out of 574011 with flag 83217193/41606000
3329.12/3355.04	c cleaning 287996 clauses out of 576007 with flag 83795221/41895000
3355.50/3381.52	c cleaning 289001 clauses out of 578011 with flag 84375245/42185000
3382.65/3408.75	c cleaning 290000 clauses out of 580011 with flag 84957262/42476001
3409.55/3435.61	c cleaning 290997 clauses out of 582010 with flag 85541275/42768000
3438.28/3464.43	c cleaning 292004 clauses out of 584013 with flag 86127338/43061000
3472.26/3498.41	c cleaning 292999 clauses out of 586009 with flag 86715369/43355000
3501.49/3527.88	c cleaning 294001 clauses out of 588010 with flag 87305410/43650000
3553.13/3579.56	c cleaning 295002 clauses out of 590010 with flag 87897462/43946001
3598.72/3625.26	c cleaning 296004 clauses out of 592007 with flag 88491482/44243000
3600.03/3626.52	c starts		: 1
3600.03/3626.52	c timeout
3600.03/3626.52	c conflicts		: 44276683
3600.03/3626.52	c decisions		: 44279074
3600.03/3626.52	c propagations		: 196146986
3600.03/3626.52	c inspects		: 11629058011
3600.03/3626.52	c shortcuts		: 0
3600.03/3626.52	c learnt literals	: 0
3600.03/3626.52	c learnt binary clauses	: 0
3600.03/3626.52	c learnt ternary clauses	: 0
3600.03/3626.52	c learnt constraints	: 44276683
3600.03/3626.52	c ignored constraints	: 0
3600.03/3626.52	c root simplifications	: 0
3600.03/3626.52	c removed literals (reason simplification)	: 496139258
3600.03/3626.52	c reason swapping (by a shorter reason)	: 0
3600.03/3626.52	c Calls to reduceDB	: 293
3600.03/3626.52	c Number of update (reduction) of LBD	: 3081
3600.03/3626.52	c Imported unit clauses	: 0
3600.03/3626.52	c No decision after first conflict	: false
3600.03/3626.52	c number of reductions to clauses (during analyze)	: 0
3600.03/3626.52	c number of learned constraints concerned by reduction	: 0
3600.03/3626.52	c number of learning phase by resolution	: 0
3600.03/3626.52	c number of learning phase by cutting planes	: 0
3600.03/3626.52	c number of rounding to 1 operations	: 0
3600.03/3626.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3626.52	c number of reductions of the coefficients by power 2 	: 0
3600.03/3626.52	c number of right shift for reduction by power 2 	: 0
3600.03/3626.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3626.52	c number of ending skipping 	: 0
3600.03/3626.52	c number of internal skipping 	: 0
3600.03/3626.52	c number of derivation steps 	: 0
3600.03/3626.52	c number of skipped derivation steps 	: 0
3600.03/3626.52	c number of remaining unassigned 	: 0
3600.03/3626.52	c number of remaining assigned 	: 0
3600.03/3626.52	c number of falsified literals weakened from reason	: 0
3600.03/3626.52	c number of falsified literals weakened from conflict	: 0
3600.03/3626.52	c time for arithmetic operations	: 0
3600.03/3626.52	c minimum degree of deleted constraints	: null
3600.03/3626.52	c maximum degree of deleted constraints	: null
3600.03/3626.52	c number of deleted constraints	: 0
3600.03/3626.52	c speed (assignments/second)	: 54089.01177870788
3600.03/3626.52	c non guided choices	: 57
3600.03/3626.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 329686
3600.03/3626.59	s UNKNOWN
3600.03/3626.59	c Total wall clock time (in seconds): 3626.465

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445132-1721817202/watcher-4445132-1721817202 -o /tmp/evaluation-result-4445132-1721817202/solver-4445132-1721817202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721817186-236610 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4445132-1721817202 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4445132-1721817202.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=237068, runsolver pid=237065

[startup+0.100645 s]*
/proc/loadavg: 1.48 0.41 0.19 6/334 237086
/proc/meminfo: memFree=114343712/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=18975048 memory=65528 CPUtime=0.14 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 7245 0 0 0 12 2 0 0 20 0 18 0 18242767 19430449152 16382 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4743762 16382 5689 1 0 549373 0
[pid=237068/tid=237070] ppid=237065 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 1078198336 5765 0 0 0 7 1 0 0 20 0 18 0 18242767 19430449152 16382 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18242770 19430449152 16382 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=18975048 memory=15542920531624460 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18242770 19430449152 16382 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65528 KiB

[startup+0.206041 s]*
/proc/loadavg: 1.48 0.41 0.19 5/335 237087
/proc/meminfo: memFree=114329144/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19041612 memory=72176 CPUtime=0.31 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 7839 0 0 0 29 2 0 0 20 0 19 0 18242767 19498610688 18044 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4760403 18044 5828 1 0 549987 0
[pid=237068/tid=237070] ppid=237065 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 5988 0 0 0 15 2 0 0 20 0 19 0 18242767 19498610688 18044 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19041612 memory=738093 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18242770 19498610688 18044 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19041612 memory=15261445554177769 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18242770 19498610688 18044 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18242781 19498610688 18044 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72176 KiB

[startup+0.306042 s]*
/proc/loadavg: 1.48 0.41 0.19 7/335 237087
/proc/meminfo: memFree=114292668/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19041612 memory=94004 CPUtime=0.51 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 9161 0 0 0 48 3 0 0 20 0 19 0 18242767 19498610688 23501 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4760403 23501 5833 1 0 550828 0
[pid=237068/tid=237070] ppid=237065 vsize=19041612 memory=-8815631779426443964 CPUtime=0.26 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 6028 0 0 0 24 2 0 0 20 0 19 0 18242767 19498610688 23501 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18242770 19498610688 23501 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18242770 19498610688 23501 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18242781 19498610688 23501 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94004 KiB

[startup+0.702749 s]
/proc/loadavg: 1.48 0.41 0.19 6/335 237087
/proc/meminfo: memFree=114220484/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=173200 CPUtime=1.28 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 13318 0 0 0 122 6 0 0 20 0 20 0 18242767 19566772224 43300 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 43300 5849 1 0 553443 0
[pid=237068/tid=237070] ppid=237065 vsize=19108176 memory=73620 CPUtime=0.63 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 6094 0 0 0 59 4 0 0 20 0 20 0 18242767 19566772224 43300 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19108176 memory=13048 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 43300 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 43300 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19108176 memory=39748 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242781 19566772224 43300 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 173200 KiB

[startup+1.50904 s]
/proc/loadavg: 1.48 0.41 0.19 8/336 237088
/proc/meminfo: memFree=114070804/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=181280 CPUtime=2.88 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 21554 0 0 0 280 8 0 0 20 0 20 0 18242767 19566772224 45320 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 45320 5897 1 0 554598 0
[pid=237068/tid=237070] ppid=237065 vsize=19108176 memory=13048 CPUtime=1.4 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 6446 0 0 0 135 5 0 0 20 0 20 0 18242767 19566772224 45320 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 45320 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 45320 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19108176 memory=39748 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242781 19566772224 45320 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181280 KiB

[startup+3.10605 s]
/proc/loadavg: 1.48 0.41 0.19 5/336 237088
/proc/meminfo: memFree=113701044/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=414076 CPUtime=5.69 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 24163 0 0 0 553 16 0 0 20 0 20 0 18242767 19566772224 103519 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 103519 5897 1 0 554835 0
[pid=237068/tid=237070] ppid=237065 vsize=19108176 memory=0 CPUtime=2.93 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 7117 0 0 0 280 13 0 0 20 0 20 0 18242767 19566772224 103519 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19108176 memory=-8815631779426443964 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 103519 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19108176 memory=13048 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 103519 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242781 19566772224 103519 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 414076 KiB

[startup+6.30104 s]
/proc/loadavg: 1.69 0.47 0.21 5/336 237088
/proc/meminfo: memFree=112247404/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=1084044 CPUtime=9.04 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 24939 0 0 0 870 34 0 0 20 0 20 0 18242767 19566772224 271011 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 271011 5897 1 0 554838 0
[pid=237068/tid=237070] ppid=237065 vsize=19108176 memory=2268 CPUtime=6.08 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 7766 0 0 0 578 30 0 0 20 0 20 0 18242767 19566772224 271011 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 271011 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19108176 memory=13048 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 271011 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242781 19566772224 271011 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 9.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1084044 KiB

[startup+12.7003 s]
/proc/loadavg: 1.87 0.53 0.23 5/336 237090
/proc/meminfo: memFree=111271636/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=1325736 CPUtime=15.45 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 27663 0 0 0 1495 50 0 0 20 0 20 0 18242767 19566772224 331434 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 331434 5897 1 0 554838 0
[pid=237068/tid=237070] ppid=237065 vsize=19108176 memory=13048 CPUtime=12.39 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 8654 0 0 0 1194 45 0 0 20 0 20 0 18242767 19566772224 331434 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19108176 memory=1272460 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 331434 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19108176 memory=73620 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 331434 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19108176 memory=13048 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242781 19566772224 331434 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 15.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1325736 KiB

[startup+25.501 s]
/proc/loadavg: 2.34 0.70 0.29 5/338 237093
/proc/meminfo: memFree=110157008/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=1338100 CPUtime=28.17 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 30767 0 0 0 2746 71 0 0 20 0 20 0 18242767 19566772224 334525 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 334525 5897 1 0 554838 0
[pid=237068/tid=237070] ppid=237065 vsize=19108176 memory=6943526294502006880 CPUtime=24.97 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 9768 0 0 0 2432 65 0 0 20 0 20 0 18242767 19566772224 334525 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 334525 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19108176 memory=3558 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 334525 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19108176 memory=13048 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242781 19566772224 334525 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 28.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1338100 KiB

[startup+51.1059 s]
/proc/loadavg: 2.97 0.98 0.40 5/339 237099
/proc/meminfo: memFree=107571620/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=1352476 CPUtime=53.21 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 35431 0 0 0 5210 111 0 0 20 0 20 0 18242767 19566772224 338119 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 338119 5897 1 0 554838 0

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

Current children cumulated CPU time: 3256.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2542808 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.25 4.18 5/336 238905
/proc/meminfo: memFree=62935516/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=2542808 CPUtime=3316.43 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 227451 0 0 0 328292 3351 0 0 20 0 20 0 18242767 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 635702 5913 1 0 649694 0
[pid=237068/tid=237070] ppid=237065 vsize=19108176 memory=2542808 CPUtime=3263.28 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 86067 0 0 0 323128 3200 0 0 20 0 20 0 18242767 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4086 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 3723 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19108176 memory=-8815631779426443964 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242781 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 3316.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2542808 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.21 4.17 5/338 238918
/proc/meminfo: memFree=62195484/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=2542808 CPUtime=3376.25 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 230288 0 0 0 334228 3397 0 0 20 0 20 0 18242767 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 635702 5913 1 0 649694 0
[pid=237068/tid=237070] ppid=237065 vsize=19108176 memory=2542808 CPUtime=3322.47 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 87627 0 0 0 329004 3243 0 0 20 0 20 0 18242767 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4112 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19108176 memory=73976 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19108176 memory=2542808 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 3789 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19108176 memory=-8815631779426443964 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242781 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 3376.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2542808 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.20 4.17 6/342 238988
/proc/meminfo: memFree=61436816/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=2542808 CPUtime=3436.19 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 233125 0 0 0 340180 3439 0 0 20 0 20 0 18242767 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 635702 5913 1 0 649694 0
[pid=237068/tid=237070] ppid=237065 vsize=19108176 memory=2542808 CPUtime=3381.77 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 89179 0 0 0 334893 3284 0 0 20 0 20 0 18242767 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4133 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 3855 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19108176 memory=-8815631779426443964 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242781 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 3436.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2542808 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.22 4.18 6/342 238998
/proc/meminfo: memFree=60698392/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=2542808 CPUtime=3496.15 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 235989 0 0 0 346126 3489 0 0 20 0 20 0 18242767 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 635702 5913 1 0 649694 0
[pid=237068/tid=237070] ppid=237065 vsize=19108176 memory=2542808 CPUtime=3440.96 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 90664 0 0 0 340764 3332 0 0 20 0 20 0 18242767 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 4145 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19108176 memory=2542808 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 3921 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242781 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 3496.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2542808 KiB

[startup+3582.3 s]
/proc/loadavg: 4.44 4.28 4.20 5/342 239078
/proc/meminfo: memFree=75898948/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=2542808 CPUtime=3555.93 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 238703 0 0 0 352074 3519 0 0 20 0 20 0 18242767 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 635702 5913 1 0 649694 0
[pid=237068/tid=237070] ppid=237065 vsize=19108176 memory=13048 CPUtime=3500.38 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 91999 0 0 0 346678 3360 0 0 20 0 20 0 18242767 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4167 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19108176 memory=39748 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 3986 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19108176 memory=73976 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242781 19566772224 635702 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 3555.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2542808 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3626.5 s]
/proc/loadavg: 4.26 4.25 4.19 3/340 239152
/proc/meminfo: memFree=87548480/131524600 swapFree=131071216/131071996
[pid=237068] ppid=237065 vsize=19108176 memory=2542812 CPUtime=3600.03 cores=4,6
/proc/237068/stat : 237068 (java) S 237065 237068 236599 0 -1 1077936128 241460 0 0 0 356457 3546 0 0 20 0 20 0 18242767 19566772224 635703 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
/proc/237068/statm: 4777044 635703 5913 1 0 649695 0
[pid=237068/tid=237070] ppid=237065 vsize=19108176 memory=2542808 CPUtime=3544.17 cores=4,6
/proc/237068/task/237070/stat : 237070 (java) R 237065 237068 236599 0 -1 4194368 93244 0 0 0 351031 3386 0 0 20 0 20 0 18242767 19566772224 635703 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4180 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237079] ppid=237065 vsize=19108176 memory=2542808 CPUtime=0 cores=4,6
/proc/237068/task/237079/stat : 237079 (Finalizer) S 237065 237068 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 635703 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237086] ppid=237065 vsize=19108176 memory=2542808 CPUtime=0 cores=4,6
/proc/237068/task/237086/stat : 237086 (Common-Cleaner) S 237065 237068 236599 0 -1 1077936192 4052 0 0 0 0 0 0 0 20 0 20 0 18242770 19566772224 635703 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
[pid=237068/tid=237087] ppid=237065 vsize=19108176 memory=2804 CPUtime=0 cores=4,6
/proc/237068/task/237087/stat : 237087 (Timer-0) S 237065 237068 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242781 19566772224 635703 134679101440 94661010657280 94661010660976 140725030852720 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94661010668792 94661010669584 94661019840512 140725030859691 140725030859873 140725030859873 140725030866888 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2542812 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3564.7 s, system=35.4793 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3627.2 s]
/proc/loadavg: 4.26 4.25 4.19 2/322 239155
/proc/meminfo: memFree=87536976/131524600 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3628 s]*
/proc/loadavg: 4.26 4.25 4.19 2/322 239155
/proc/meminfo: memFree=87531136/131524600 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3628.4 s]
/proc/loadavg: 4.26 4.25 4.19 2/322 239155
/proc/meminfo: memFree=87531136/131524600 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3628.5 s]
/proc/loadavg: 4.26 4.25 4.19 2/322 239155
/proc/meminfo: memFree=87531136/131524600 swapFree=131071216/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): 3630.66
CPU time (s): 3600.18
CPU user time (s): 3564.7
CPU system time (s): 35.4793
CPU usage (%): 99.1604
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2592608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.7
system time used= 35.4793
maximum resident set size= 2592608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30743576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139988
involuntary context switches= 13738


# summary of solver processes directly reported to runsolver:
#   pid: 237068
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3564.7
#   total CPU system time (s): 35.4793

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93842 second user time and 18.3237 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-24 12:33:22
IDJOB=4445132
IDBENCH=148100
IDSOLVER=3079
FILE ID=nodeC017/4445132-1721817202
RUNJOBID= nodeC017-1721817186-236610
SLURM_JOB_ID= 7816870
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445132-1721817202/watcher-4445132-1721817202 -o /tmp/evaluation-result-4445132-1721817202/solver-4445132-1721817202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721817186-236610 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4445132-1721817202 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4445132-1721817202.opb

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

MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=1269309844

nodeC017.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		: 3674.371
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	: 7000.61
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		: 3601.148
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.74
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		: 3621.814
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	: 7000.61
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		: 3679.912
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.74
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		: 3622.687
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	: 7000.61
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		: 3679.908
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.74
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		: 3642.725
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	: 7000.61
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		: 3600.611
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114389972 kB
MemAvailable:   126696016 kB
Buffers:          257140 kB
Cached:         12796092 kB
SwapCached:           88 kB
Active:          2585380 kB
Inactive:       13754624 kB
Active(anon):       1556 kB
Inactive(anon):  3339128 kB
Active(file):    2583824 kB
Inactive(file): 10415496 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            237412 kB
Writeback:             0 kB
AnonPages:       3284904 kB
Mapped:           139184 kB
Shmem:             53820 kB
KReclaimable:     293096 kB
Slab:             426212 kB
SReclaimable:     293096 kB
SUnreclaim:       133116 kB
KernelStack:        5104 kB
PageTables:        16696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   10170776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21280 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3012608 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:      422612 kB
DirectMap2M:    40245248 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890032 MiB
End job on nodeC017 at 2024-07-24 13:33:53