Trace number 4495865

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 VeriPB 2025-06-06? (TO) 3600.67 3597.34

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.065349
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.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.18	c version PB25.v20250606
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.21	c java.vm.version	22.0.1+8-16
0.12/0.21	c java.vm.vendor	Oracle Corporation
0.12/0.21	c sun.arch.data.model	64
0.12/0.21	c java.version		22.0.1
0.12/0.21	c os.name		Linux
0.12/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.21	c os.arch		amd64
0.12/0.22	c Free memory 		2104792832
0.12/0.22	c Max memory 		16282288128
0.12/0.22	c Total memory 		2113929216
0.30/0.23	c Number of processors 	2
0.30/0.32	c Pseudo Boolean Optimization by upper bound
0.30/0.32	c --- Begin Solver configuration ---
0.30/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.30/0.32	c Learn all clauses as in MiniSAT
0.30/0.32	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.32	c Expensive reason simplification
0.30/0.32	c Glucose 2.1 dynamic restart strategy
0.30/0.32	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.30/0.32	c timeout=2147483s
0.30/0.32	c DB Simplification allowed=false
0.30/0.32	c Listener: none
0.30/0.32	c --- End Solver configuration ---
0.30/0.32	c solving HOME/instance-4495865-1751158491.opb
0.30/0.32	c reading problem ... 
0.47/0.33	c using VERIPB proof format
0.47/0.33	c  no objective function found
0.47/0.36	c ... done. Wall clock time 0.027s.
0.47/0.36	c declared #vars     70
0.47/0.36	c #constraints  2
0.47/0.36	c constraints type 
0.47/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.47/0.36	c 2 constraints processed.
2.53/1.44	c cleaning 2500 clauses out of 5000 with flag 10000/5000
3.73/2.05	c cleaning 4251 clauses out of 8501 with flag 22003/11001
4.51/2.45	c cleaning 5624 clauses out of 11249 with flag 36002/18000
5.31/2.82	c cleaning 6808 clauses out of 13626 with flag 52009/26001
5.91/3.19	c cleaning 7909 clauses out of 15818 with flag 70010/35001
6.69/3.60	c cleaning 8951 clauses out of 17908 with flag 90008/45000
7.45/3.93	c cleaning 9976 clauses out of 19958 with flag 112011/56001
7.85/4.28	c cleaning 10986 clauses out of 21981 with flag 136011/68000
8.25/4.62	c cleaning 11998 clauses out of 23996 with flag 162013/81001
8.65/5.06	c cleaning 12999 clauses out of 25997 with flag 190011/95000
9.80/6.11	c cleaning 13999 clauses out of 27998 with flag 220014/110000
10.51/6.80	c cleaning 15000 clauses out of 30000 with flag 252016/126001
11.06/7.37	c cleaning 15998 clauses out of 32001 with flag 286023/143002
11.63/7.88	c cleaning 16997 clauses out of 34002 with flag 322033/161001
12.25/8.49	c cleaning 17997 clauses out of 36004 with flag 360031/180000
13.07/9.21	c cleaning 19002 clauses out of 38011 with flag 400044/200004
13.67/9.83	c cleaning 20004 clauses out of 40007 with flag 442042/221002
14.42/10.53	c cleaning 21001 clauses out of 42002 with flag 486042/243001
15.21/11.38	c cleaning 21998 clauses out of 44000 with flag 532049/266000
16.03/12.17	c cleaning 22995 clauses out of 46002 with flag 580050/290000
16.82/13.00	c cleaning 24000 clauses out of 48007 with flag 630060/315000
17.85/13.92	c cleaning 25005 clauses out of 50010 with flag 682073/341003
18.84/15.00	c cleaning 26000 clauses out of 52002 with flag 736073/368000
19.84/15.93	c cleaning 27002 clauses out of 54003 with flag 792085/396001
20.74/16.86	c cleaning 27995 clauses out of 56000 with flag 850102/425000
21.83/17.96	c cleaning 29000 clauses out of 58006 with flag 910106/455001
22.94/19.02	c cleaning 29999 clauses out of 60005 with flag 972109/486000
24.04/20.18	c cleaning 31004 clauses out of 62009 with flag 1036126/518003
25.22/21.40	c cleaning 31995 clauses out of 64002 with flag 1102127/551000
26.63/22.72	c cleaning 33004 clauses out of 66008 with flag 1170140/585001
27.82/23.91	c cleaning 33996 clauses out of 68003 with flag 1240145/620000
29.12/25.29	c cleaning 35002 clauses out of 70009 with flag 1312151/656002
30.62/26.70	c cleaning 36001 clauses out of 72006 with flag 1386158/693001
32.31/28.42	c cleaning 36998 clauses out of 74004 with flag 1462169/731000
33.81/29.84	c cleaning 38003 clauses out of 76008 with flag 1540190/770002
35.31/31.32	c cleaning 38999 clauses out of 78003 with flag 1620188/810000
36.90/32.94	c cleaning 40002 clauses out of 80005 with flag 1702196/851001
38.52/34.52	c cleaning 41000 clauses out of 82002 with flag 1786206/893000
40.40/36.70	c cleaning 42000 clauses out of 84002 with flag 1872222/936000
42.20/38.55	c cleaning 42998 clauses out of 86002 with flag 1960226/980000
44.12/40.46	c cleaning 44000 clauses out of 88004 with flag 2050241/1025000
46.33/42.60	c cleaning 45001 clauses out of 90006 with flag 2142260/1071002
48.42/44.70	c cleaning 45997 clauses out of 92003 with flag 2236274/1118000
50.31/46.61	c cleaning 47001 clauses out of 94006 with flag 2332301/1166000
52.41/48.71	c cleaning 48003 clauses out of 96005 with flag 2430316/1215000
54.72/51.07	c cleaning 48995 clauses out of 98002 with flag 2530319/1265000
57.00/53.35	c cleaning 50001 clauses out of 100007 with flag 2632321/1316000
59.20/55.53	c cleaning 50998 clauses out of 102006 with flag 2736326/1368000
61.49/57.80	c cleaning 52002 clauses out of 104009 with flag 2842336/1421001
63.80/60.17	c cleaning 53002 clauses out of 106007 with flag 2950339/1475001
66.81/63.20	c cleaning 53997 clauses out of 108006 with flag 3060346/1530002
69.39/65.98	c cleaning 55003 clauses out of 110008 with flag 3172359/1586001
72.38/68.99	c cleaning 55998 clauses out of 112004 with flag 3286364/1643000
75.40/72.00	c cleaning 56997 clauses out of 114006 with flag 3402370/1701000
78.40/74.90	c cleaning 57999 clauses out of 116010 with flag 3520384/1760001
81.00/77.58	c cleaning 59005 clauses out of 118012 with flag 3640395/1820002
85.71/82.20	c cleaning 59997 clauses out of 120005 with flag 3762399/1881000
89.00/85.53	c cleaning 60997 clauses out of 122008 with flag 3886407/1943000
92.41/88.98	c cleaning 61998 clauses out of 124011 with flag 4012424/2006000
95.21/91.76	c cleaning 63006 clauses out of 126014 with flag 4140437/2070001
98.34/94.83	c cleaning 64002 clauses out of 128010 with flag 4270447/2135003
101.15/97.99	c cleaning 65002 clauses out of 130006 with flag 4402461/2201001
104.14/100.94	c cleaning 65998 clauses out of 132003 with flag 4536470/2268000
110.47/107.27	c cleaning 67003 clauses out of 134005 with flag 4672490/2336000
114.28/111.03	c cleaning 67994 clauses out of 136002 with flag 4810499/2405000
117.62/114.32	c cleaning 68999 clauses out of 138009 with flag 4950520/2475001
122.67/119.34	c cleaning 70003 clauses out of 140010 with flag 5092522/2546001
126.77/123.41	c cleaning 71004 clauses out of 142007 with flag 5236534/2618001
131.99/128.81	c cleaning 71997 clauses out of 144002 with flag 5382555/2691000
135.87/132.65	c cleaning 73002 clauses out of 146005 with flag 5530581/2765000
139.96/136.78	c cleaning 74000 clauses out of 148005 with flag 5680627/2840002
144.13/140.81	c cleaning 74999 clauses out of 150003 with flag 5832647/2916000
149.28/145.96	c cleaning 76003 clauses out of 152005 with flag 5986706/2993001
153.18/149.83	c cleaning 76994 clauses out of 154001 with flag 6142713/3071000
158.13/154.75	c cleaning 78004 clauses out of 156007 with flag 6300729/3150000
163.23/159.91	c cleaning 79001 clauses out of 158003 with flag 6460742/3230000
169.22/165.85	c cleaning 79998 clauses out of 160003 with flag 6622755/3311001
175.29/172.00	c cleaning 81000 clauses out of 162004 with flag 6786764/3393000
181.02/177.69	c cleaning 81998 clauses out of 164004 with flag 6952771/3476000
185.91/182.41	c cleaning 82995 clauses out of 166006 with flag 7120788/3560000
191.51/188.01	c cleaning 83999 clauses out of 168011 with flag 7290803/3645000
197.62/194.20	c cleaning 85003 clauses out of 170012 with flag 7462820/3731000
202.22/198.77	c cleaning 85998 clauses out of 172009 with flag 7636835/3818000
208.00/204.41	c cleaning 87003 clauses out of 174011 with flag 7812871/3906000
213.48/209.84	c cleaning 87999 clauses out of 176008 with flag 7990917/3995000
218.29/214.69	c cleaning 89003 clauses out of 178011 with flag 8170948/4085002
223.91/220.41	c cleaning 89998 clauses out of 180007 with flag 8353001/4176001
230.45/226.97	c cleaning 91002 clauses out of 182009 with flag 8537026/4268001
237.21/233.67	c cleaning 91996 clauses out of 184006 with flag 8723045/4361000
242.88/239.28	c cleaning 93004 clauses out of 186011 with flag 8911063/4455001
247.45/243.75	c cleaning 94001 clauses out of 188008 with flag 9101096/4550002
252.34/248.61	c cleaning 95003 clauses out of 190008 with flag 9293122/4646003
258.30/255.00	c cleaning 95996 clauses out of 192003 with flag 9487145/4743001
265.32/261.91	c cleaning 97005 clauses out of 194009 with flag 9683161/4841003
270.91/267.48	c cleaning 97994 clauses out of 196001 with flag 9881176/4940000
277.49/273.95	c cleaning 98993 clauses out of 198007 with flag 10081211/5040000
283.80/280.13	c cleaning 100000 clauses out of 200015 with flag 10283275/5141001
292.04/288.14	c cleaning 100998 clauses out of 202016 with flag 10487309/5243002
298.74/294.70	c cleaning 102004 clauses out of 204016 with flag 10693354/5346000
304.75/300.66	c cleaning 103002 clauses out of 206012 with flag 10901398/5450000
311.03/306.97	c cleaning 104002 clauses out of 208010 with flag 11111427/5555000
317.87/314.11	c cleaning 105000 clauses out of 210008 with flag 11323438/5661000
324.94/321.09	c cleaning 106001 clauses out of 212009 with flag 11537458/5768001
331.48/327.50	c cleaning 107002 clauses out of 214007 with flag 11753501/5876000
339.70/335.77	c cleaning 107999 clauses out of 216005 with flag 11971571/5985000
346.70/342.91	c cleaning 108999 clauses out of 218008 with flag 12191600/6095002
354.08/350.28	c cleaning 110002 clauses out of 220008 with flag 12413631/6206001
362.33/358.41	c cleaning 110999 clauses out of 222005 with flag 12637665/6318000
370.39/366.41	c cleaning 112000 clauses out of 224006 with flag 12863706/6431000
377.39/373.64	c cleaning 112999 clauses out of 226006 with flag 13091722/6545000
385.29/381.43	c cleaning 114000 clauses out of 228008 with flag 13321744/6660001
392.55/388.69	c cleaning 115001 clauses out of 230008 with flag 13553768/6776001
400.70/396.74	c cleaning 116002 clauses out of 232007 with flag 13787799/6893001
409.13/405.37	c cleaning 116994 clauses out of 234004 with flag 14023835/7011000
417.08/413.28	c cleaning 118004 clauses out of 236010 with flag 14261871/7130000
424.65/420.75	c cleaning 119001 clauses out of 238007 with flag 14501908/7250001
435.12/431.14	c cleaning 120003 clauses out of 240006 with flag 14743950/7371001
447.34/443.40	c cleaning 121001 clauses out of 242002 with flag 14987978/7493000
457.94/453.99	c cleaning 122001 clauses out of 244001 with flag 15234009/7616000
466.76/462.69	c cleaning 122991 clauses out of 246000 with flag 15482022/7740000
475.01/470.92	c cleaning 124000 clauses out of 248009 with flag 15732037/7865000
484.27/480.14	c cleaning 125004 clauses out of 250009 with flag 15984048/7991000
491.41/487.25	c cleaning 125999 clauses out of 252005 with flag 16238083/8118000
500.89/497.00	c cleaning 127001 clauses out of 254007 with flag 16494104/8246001
513.56/509.51	c cleaning 127999 clauses out of 256006 with flag 16752121/8375001
521.74/517.51	c cleaning 129000 clauses out of 258007 with flag 17012133/8505001
529.23/524.99	c cleaning 129997 clauses out of 260008 with flag 17274149/8636002
537.04/532.95	c cleaning 131002 clauses out of 262009 with flag 17538167/8768000
544.65/540.55	c cleaning 132000 clauses out of 264008 with flag 17804194/8901001
553.46/549.31	c cleaning 133002 clauses out of 266009 with flag 18072215/9035002
563.26/559.35	c cleaning 133998 clauses out of 268005 with flag 18342224/9170000
572.60/568.69	c cleaning 134999 clauses out of 270008 with flag 18614250/9306001
581.10/577.13	c cleaning 136002 clauses out of 272008 with flag 18888287/9443000
590.15/586.10	c cleaning 136998 clauses out of 274006 with flag 19164310/9581000
599.76/596.00	c cleaning 137999 clauses out of 276009 with flag 19442327/9720001
608.68/604.85	c cleaning 138998 clauses out of 278011 with flag 19722355/9860002
619.36/615.52	c cleaning 140003 clauses out of 280012 with flag 20004383/10001001
630.55/626.95	c cleaning 141000 clauses out of 282009 with flag 20288408/10143001
640.28/636.68	c cleaning 141999 clauses out of 284008 with flag 20574433/10286000
651.67/648.01	c cleaning 143002 clauses out of 286010 with flag 20862455/10430001
660.59/657.28	c cleaning 143998 clauses out of 288007 with flag 21152476/10575000
672.99/669.63	c cleaning 145004 clauses out of 290011 with flag 21444485/10721002
683.45/680.04	c cleaning 145998 clauses out of 292005 with flag 21738499/10868000
695.86/692.73	c cleaning 147000 clauses out of 294009 with flag 22034520/11016002
710.03/706.81	c cleaning 147997 clauses out of 296008 with flag 22332535/11165001
720.72/717.70	c cleaning 148999 clauses out of 298010 with flag 22632563/11315000
735.75/732.75	c cleaning 150000 clauses out of 300011 with flag 22934588/11466000
748.31/745.45	c cleaning 151005 clauses out of 302012 with flag 23238611/11618001
760.47/757.52	c cleaning 152003 clauses out of 304007 with flag 23544628/11771001
775.54/772.74	c cleaning 152998 clauses out of 306004 with flag 23852689/11925001
786.77/783.85	c cleaning 154001 clauses out of 308005 with flag 24162701/12080000
798.45/795.48	c cleaning 154994 clauses out of 310004 with flag 24474717/12236000
808.14/805.31	c cleaning 155998 clauses out of 312011 with flag 24788731/12393001
821.59/818.63	c cleaning 157001 clauses out of 314013 with flag 25104749/12551001
832.97/829.95	c cleaning 157999 clauses out of 316011 with flag 25422761/12710000
845.31/842.47	c cleaning 159003 clauses out of 318012 with flag 25742782/12870000
858.15/855.02	c cleaning 159998 clauses out of 320010 with flag 26064805/13031001
870.19/867.29	c cleaning 161006 clauses out of 322014 with flag 26388842/13193003
883.73/880.03	c cleaning 161999 clauses out of 324005 with flag 26714853/13356000
897.33/893.61	c cleaning 162999 clauses out of 326006 with flag 27042884/13520000
909.14/905.65	c cleaning 164003 clauses out of 328009 with flag 27372903/13685002
924.17/920.70	c cleaning 164999 clauses out of 330004 with flag 27704924/13851000
939.80/936.59	c cleaning 165998 clauses out of 332005 with flag 28038934/14018000
951.49/948.14	c cleaning 167000 clauses out of 334007 with flag 28374952/14186000
964.97/961.78	c cleaning 168003 clauses out of 336008 with flag 28712975/14355001
980.11/976.80	c cleaning 169000 clauses out of 338005 with flag 29053000/14525001
996.81/993.76	c cleaning 170001 clauses out of 340004 with flag 29395033/14696000
1012.57/1009.30	c cleaning 171000 clauses out of 342003 with flag 29739076/14868000
1026.40/1023.22	c cleaning 171992 clauses out of 344004 with flag 30085112/15041001
1040.53/1037.35	c cleaning 173000 clauses out of 346011 with flag 30433119/15215000
1057.90/1054.81	c cleaning 173999 clauses out of 348011 with flag 30783127/15390000
1071.09/1067.98	c cleaning 175007 clauses out of 350013 with flag 31135140/15566001
1084.24/1081.05	c cleaning 176000 clauses out of 352006 with flag 31489144/15743001
1097.42/1094.15	c cleaning 176995 clauses out of 354006 with flag 31845149/15921001
1111.62/1108.36	c cleaning 178000 clauses out of 356011 with flag 32203154/16100001
1126.43/1123.23	c cleaning 179001 clauses out of 358011 with flag 32563164/16280001
1140.28/1137.04	c cleaning 180000 clauses out of 360009 with flag 32925182/16461000
1153.45/1150.32	c cleaning 181001 clauses out of 362010 with flag 33289195/16643001
1165.99/1162.78	c cleaning 181998 clauses out of 364008 with flag 33655199/16826000
1178.28/1175.25	c cleaning 183001 clauses out of 366010 with flag 34023205/17010000
1189.40/1186.33	c cleaning 184003 clauses out of 368010 with flag 34393215/17195001
1203.91/1200.89	c cleaning 185000 clauses out of 370006 with flag 34765229/17381000
1219.82/1216.81	c cleaning 186003 clauses out of 372006 with flag 35139232/17568000
1235.55/1232.47	c cleaning 186993 clauses out of 374004 with flag 35515245/17756001
1252.14/1249.24	c cleaning 188000 clauses out of 376010 with flag 35893252/17945000
1265.62/1262.60	c cleaning 189002 clauses out of 378012 with flag 36273271/18135002
1277.82/1274.97	c cleaning 190000 clauses out of 380008 with flag 36655277/18326000
1293.83/1290.95	c cleaning 190997 clauses out of 382008 with flag 37039282/18518000
1309.00/1306.30	c cleaning 191998 clauses out of 384011 with flag 37425286/18711000
1322.86/1320.12	c cleaning 193004 clauses out of 386013 with flag 37813298/18905000
1340.95/1338.89	c cleaning 194004 clauses out of 388009 with flag 38203309/19100000
1356.75/1354.55	c cleaning 194992 clauses out of 390005 with flag 38595333/19296000
1376.54/1374.40	c cleaning 196006 clauses out of 392014 with flag 38989348/19493001
1390.47/1388.59	c cleaning 197000 clauses out of 394007 with flag 39385361/19691000
1407.07/1404.88	c cleaning 197997 clauses out of 396008 with flag 39783378/19890001
1423.06/1420.91	c cleaning 199000 clauses out of 398010 with flag 40183379/20090000
1439.48/1437.33	c cleaning 200005 clauses out of 400013 with flag 40585397/20291003
1457.35/1455.36	c cleaning 200996 clauses out of 402005 with flag 40989425/20493000
1476.75/1474.73	c cleaning 201998 clauses out of 404009 with flag 41395430/20696000
1495.06/1493.12	c cleaning 203004 clauses out of 406011 with flag 41803472/20900000
1510.69/1508.70	c cleaning 203997 clauses out of 408009 with flag 42213492/21105002
1532.01/1530.06	c cleaning 204997 clauses out of 410010 with flag 42625493/21311000
1552.36/1550.43	c cleaning 206003 clauses out of 412014 with flag 43039504/21518001
1572.02/1570.01	c cleaning 206997 clauses out of 414010 with flag 43455524/21726000
1592.37/1590.41	c cleaning 208007 clauses out of 416014 with flag 43873555/21935001
1613.09/1611.29	c cleaning 208995 clauses out of 418007 with flag 44293570/22145001
1633.85/1631.87	c cleaning 210002 clauses out of 420011 with flag 44715577/22356000
1651.64/1649.56	c cleaning 210999 clauses out of 422009 with flag 45139597/22568000
1676.85/1674.80	c cleaning 212000 clauses out of 424010 with flag 45565601/22781000
1704.35/1702.23	c cleaning 212999 clauses out of 426010 with flag 45993612/22995000
1731.86/1729.60	c cleaning 213999 clauses out of 428014 with flag 46423647/23210003
1749.18/1746.76	c cleaning 215005 clauses out of 430013 with flag 46855648/23426001
1767.06/1764.68	c cleaning 216000 clauses out of 432008 with flag 47289657/23643001
1791.04/1788.66	c cleaning 216996 clauses out of 434008 with flag 47725685/23861001
1810.05/1807.12	c cleaning 218001 clauses out of 436012 with flag 48163689/24080001
1831.61/1828.77	c cleaning 219000 clauses out of 438010 with flag 48603695/24300000
1851.11/1848.23	c cleaning 219999 clauses out of 440010 with flag 49045710/24521000
1871.51/1868.62	c cleaning 221004 clauses out of 442012 with flag 49489730/24743001
1892.36/1889.63	c cleaning 221998 clauses out of 444007 with flag 49935736/24966000
1912.56/1909.89	c cleaning 223005 clauses out of 446009 with flag 50383746/25190000
1930.22/1927.44	c cleaning 224000 clauses out of 448006 with flag 50833756/25415002
1957.45/1954.83	c cleaning 224998 clauses out of 450004 with flag 51285792/25641000
1977.46/1974.80	c cleaning 225998 clauses out of 452006 with flag 51739809/25868000
1997.69/1995.02	c cleaning 226999 clauses out of 454008 with flag 52195856/26096000
2017.59/2015.02	c cleaning 228003 clauses out of 456012 with flag 52653866/26325003
2040.11/2037.66	c cleaning 228998 clauses out of 458008 with flag 53113878/26555002
2059.83/2057.22	c cleaning 229997 clauses out of 460008 with flag 53575909/26786000
2080.13/2077.58	c cleaning 231002 clauses out of 462012 with flag 54039953/27018001
2100.98/2098.48	c cleaning 231997 clauses out of 464009 with flag 54505981/27251000
2123.00/2120.45	c cleaning 232996 clauses out of 466012 with flag 54974007/27485000
2142.29/2139.70	c cleaning 234003 clauses out of 468016 with flag 55444047/27720000
2169.00/2166.48	c cleaning 235001 clauses out of 470014 with flag 55916097/27956001
2190.35/2187.84	c cleaning 236006 clauses out of 472013 with flag 56390141/28193001
2213.41/2210.86	c cleaning 236998 clauses out of 474006 with flag 56866180/28431000
2233.75/2231.18	c cleaning 238000 clauses out of 476009 with flag 57344216/28670001
2255.13/2252.54	c cleaning 239001 clauses out of 478009 with flag 57824290/28910001
2279.83/2277.12	c cleaning 239999 clauses out of 480009 with flag 58306346/29151002
2299.29/2296.68	c cleaning 240999 clauses out of 482008 with flag 58790373/29393000
2318.46/2315.88	c cleaning 242000 clauses out of 484010 with flag 59276388/29636001
2343.71/2341.10	c cleaning 242994 clauses out of 486009 with flag 59764402/29880000
2376.12/2373.48	c cleaning 244001 clauses out of 488015 with flag 60254423/30125000
2400.46/2397.67	c cleaning 244998 clauses out of 490015 with flag 60746437/30371001
2423.53/2420.74	c cleaning 246001 clauses out of 492016 with flag 61240454/30618000
2442.70/2440.09	c cleaning 247004 clauses out of 494015 with flag 61736474/30866000
2463.24/2460.59	c cleaning 248003 clauses out of 496013 with flag 62234501/31115002
2486.53/2483.79	c cleaning 249003 clauses out of 498009 with flag 62734510/31365001
2508.61/2506.55	c cleaning 249995 clauses out of 500007 with flag 63236532/31616002
2530.35/2528.25	c cleaning 251001 clauses out of 502010 with flag 63740547/31868000
2552.44/2550.20	c cleaning 251994 clauses out of 504010 with flag 64246579/32121001
2574.20/2572.07	c cleaning 253003 clauses out of 506015 with flag 64754589/32375000
2593.06/2590.91	c cleaning 254000 clauses out of 508013 with flag 65264611/32630001
2624.63/2622.59	c cleaning 255000 clauses out of 510013 with flag 65776623/32886001
2648.81/2646.73	c cleaning 256002 clauses out of 512012 with flag 66290635/33143000
2673.11/2670.98	c cleaning 257002 clauses out of 514011 with flag 66806658/33401001
2700.80/2698.60	c cleaning 258000 clauses out of 516008 with flag 67324662/33660000
2722.48/2720.16	c cleaning 259002 clauses out of 518009 with flag 67844682/33920001
2745.56/2743.12	c cleaning 259994 clauses out of 520006 with flag 68366702/34181000
2769.52/2766.96	c cleaning 261007 clauses out of 522013 with flag 68890716/34443001
2794.90/2792.26	c cleaning 261999 clauses out of 524005 with flag 69416735/34706000
2822.34/2819.66	c cleaning 263003 clauses out of 526006 with flag 69944788/34970000
2843.97/2841.50	c cleaning 263997 clauses out of 528004 with flag 70474809/35235001
2875.56/2873.54	c cleaning 265000 clauses out of 530006 with flag 71006825/35501000
2901.82/2899.71	c cleaning 266000 clauses out of 532006 with flag 71540842/35768000
2927.39/2925.39	c cleaning 266996 clauses out of 534006 with flag 72076863/36036000
2953.89/2951.85	c cleaning 268003 clauses out of 536010 with flag 72614880/36305000
2979.95/2977.85	c cleaning 268997 clauses out of 538007 with flag 73154886/36575000
3007.80/3005.73	c cleaning 270004 clauses out of 540011 with flag 73696903/36846001
3034.03/3031.97	c cleaning 270997 clauses out of 542007 with flag 74240951/37118001
3059.52/3057.26	c cleaning 271999 clauses out of 544009 with flag 74786977/37391000
3083.95/3081.66	c cleaning 273001 clauses out of 546010 with flag 75334994/37665000
3106.63/3104.25	c cleaning 274000 clauses out of 548009 with flag 75885006/37940000
3131.63/3129.26	c cleaning 275002 clauses out of 550010 with flag 76437032/38216001
3158.80/3156.44	c cleaning 276001 clauses out of 552012 with flag 76991054/38493005
3183.46/3181.00	c cleaning 277002 clauses out of 554007 with flag 77547060/38771001
3207.98/3205.46	c cleaning 277995 clauses out of 556004 with flag 78105073/39050000
3234.57/3232.05	c cleaning 279001 clauses out of 558010 with flag 78665089/39330001
3266.49/3263.88	c cleaning 279997 clauses out of 560008 with flag 79227103/39611000
3299.12/3295.98	c cleaning 281000 clauses out of 562012 with flag 79791108/39893001
3328.30/3325.02	c cleaning 282003 clauses out of 564012 with flag 80357120/40176001
3353.91/3350.60	c cleaning 283004 clauses out of 566009 with flag 80925135/40460001
3380.63/3377.42	c cleaning 283999 clauses out of 568004 with flag 81495145/40745000
3415.95/3412.63	c cleaning 284997 clauses out of 570006 with flag 82067162/41031001
3447.99/3444.68	c cleaning 285997 clauses out of 572008 with flag 82641177/41318000
3473.07/3469.72	c cleaning 287004 clauses out of 574011 with flag 83217193/41606000
3502.29/3499.02	c cleaning 287996 clauses out of 576007 with flag 83795221/41895000
3528.84/3525.69	c cleaning 289001 clauses out of 578011 with flag 84375245/42185000
3556.10/3552.94	c cleaning 290000 clauses out of 580011 with flag 84957262/42476001
3583.91/3580.82	c cleaning 290997 clauses out of 582010 with flag 85541275/42768000
3600.05/3596.94	c starts		: 1
3600.05/3596.95	c conflicts		: 43061000
3600.05/3596.96	c decisions		: 43063334
3600.05/3596.96	c propagations		: 190783537
3600.05/3596.96	c inspects		: 11171838748
3600.05/3596.97	c shortcuts		: 0
3600.05/3596.97	c learnt literals	: 0
3600.05/3596.97	c learnt binary clauses	: 0
3600.05/3596.97	c learnt ternary clauses	: 0
3600.05/3596.97	c learnt constraints	: 43061000
3600.05/3596.97	c ignored constraints	: 0
3600.05/3596.97	c root simplifications	: 0
3600.05/3596.97	c removed literals (reason simplification)	: 481343240
3600.05/3596.97	c reason swapping (by a shorter reason)	: 0
3600.05/3596.97	c Calls to reduceDB	: 289
3600.05/3596.98	c Number of update (reduction) of LBD	: 3004
3600.05/3596.98	c Imported unit clauses	: 0
3600.05/3596.98	c No decision after first conflict	: false
3600.05/3596.98	c number of reductions to clauses (during analyze)	: 0
3600.05/3596.98	c number of learned constraints concerned by reduction	: 0
3600.05/3596.98	c number of learning phase by resolution	: 0
3600.05/3596.98	c number of learning phase by cutting planes	: 0
3600.05/3596.98	c number of rounding to 1 operations	: 0
3600.05/3596.98	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3596.98	c number of reductions of the coefficients by power 2 	: 0
3600.05/3596.98	c number of right shift for reduction by power 2 	: 0
3600.05/3596.98	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3596.98	c number of ending skipping 	: 0
3600.05/3596.98	c number of internal skipping 	: 0
3600.05/3596.99	c number of derivation steps 	: 0
3600.05/3596.99	c number of skipped derivation steps 	: 0
3600.05/3596.99	c number of remaining unassigned 	: 0
3600.05/3596.99	c number of remaining assigned 	: 0
3600.05/3596.99	c number of falsified literals weakened from reason	: 0
3600.05/3596.99	c number of falsified literals weakened from conflict	: 0
3600.05/3596.99	c time for arithmetic operations	: 0
3600.05/3596.99	c minimum degree of deleted constraints	: null
3600.05/3596.99	c maximum degree of deleted constraints	: null
3600.05/3596.99	c number of deleted constraints	: 0
3600.05/3596.99	c speed (assignments/second)	: 53045.112533183856
3600.05/3597.00	c non guided choices	: 57
3600.46/3597.18	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 584013
3600.46/3597.19	s UNKNOWN
3600.46/3597.19	c Total wall clock time (in seconds): 3596.866

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: 63794 MiB (58219 MiB free)
  memory of node 1: 64507 MiB (51613 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495865-1751158491/watcher-4495865-1751158491 -o /tmp/evaluation-result-4495865-1751158491/solver-4495865-1751158491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751157286-16725 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4495865-1751158491 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4495865-1751158491.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=18287, runsolver pid=18284
Current StackSize limit: 8192 KiB


[startup+0.100076 s]*
/proc/loadavg: 4.21 4.27 4.10 7/331 18305
/proc/meminfo: memFree=112449352/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=18930384 memory=47480 CPUtime=0.12 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 5709 0 0 0 8 4 0 0 20 0 18 0 31528802 19384713216 11870 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4732596 11870 5177 1 0 546938 0
[pid=18287/tid=18289] ppid=18284 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 4646 0 0 0 5 3 0 0 20 0 18 0 31528804 19384713216 11870 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31528809 19384713216 11870 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=18930384 memory=57394571004297 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31528810 19384713216 11870 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47480 KiB

[startup+0.215649 s]*
/proc/loadavg: 4.36 4.30 4.11 6/331 18305
/proc/meminfo: memFree=112445256/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=18930384 memory=53384 CPUtime=0.3 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 6458 0 0 0 26 4 0 0 20 0 18 0 31528802 19384713216 13346 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4732596 13346 5369 1 0 547552 0
[pid=18287/tid=18289] ppid=18284 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 4990 0 0 0 16 3 0 0 20 0 18 0 31528804 19384713216 13346 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31528809 19384713216 13346 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31528810 19384713216 13346 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53384 KiB

[startup+0.314198 s]*
/proc/loadavg: 4.36 4.30 4.11 7/331 18305
/proc/meminfo: memFree=112440404/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=18930384 memory=58504 CPUtime=0.47 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 6759 0 0 0 42 5 0 0 20 0 18 0 31528802 19384713216 14626 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4732596 14626 5369 1 0 547760 0
[pid=18287/tid=18289] ppid=18284 vsize=18930384 memory=-6000919489836246126 CPUtime=0.29 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 5200 0 0 0 26 3 0 0 20 0 18 0 31528804 19384713216 14626 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31528809 19384713216 14626 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31528810 19384713216 14626 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58504 KiB

[startup+0.700389 s]
/proc/loadavg: 4.36 4.30 4.11 7/332 18306
/proc/meminfo: memFree=112435048/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=18996948 memory=80856 CPUtime=1.17 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 8398 0 0 0 110 7 0 0 20 0 19 0 31528802 19452874752 20214 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4749237 20214 5433 1 0 549252 0
[pid=18287/tid=18289] ppid=18284 vsize=18996948 memory=17152 CPUtime=0.65 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 5359 0 0 0 61 4 0 0 20 0 19 0 31528804 19452874752 20214 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31528809 19452874752 20214 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31528810 19452874752 20214 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31528838 19452874752 20214 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80856 KiB

[startup+1.50033 s]
/proc/loadavg: 4.36 4.30 4.11 6/332 18306
/proc/meminfo: memFree=112385364/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=171708 CPUtime=2.74 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 17864 0 0 0 261 13 0 0 20 0 20 0 31528802 19521036288 42927 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 42927 5465 1 0 553185 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=0 CPUtime=1.34 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 6229 0 0 0 126 8 0 0 20 0 20 0 31528804 19521036288 42927 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 42927 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 31528810 19521036288 42927 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31528838 19521036288 42927 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171708 KiB

[startup+3.10555 s]
/proc/loadavg: 4.36 4.30 4.11 6/333 18307
/proc/meminfo: memFree=112265100/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=257044 CPUtime=5.91 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 20541 0 0 0 573 18 0 0 20 0 20 0 31528802 19521036288 64261 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 64261 5465 1 0 553650 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=10752 CPUtime=2.87 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 6749 0 0 0 275 12 0 0 20 0 20 0 31528804 19521036288 64261 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=-6000919489836246126 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 64261 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 31528810 19521036288 64261 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31528838 19521036288 64261 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 257044 KiB

[startup+6.30043 s]
/proc/loadavg: 4.41 4.31 4.12 5/333 18307
/proc/meminfo: memFree=111667860/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=852900 CPUtime=9.99 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 21487 0 0 0 960 39 0 0 20 0 20 0 31528802 19521036288 213225 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 213225 5465 1 0 553668 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=0 CPUtime=6.03 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 7461 0 0 0 571 32 0 0 20 0 20 0 31528804 19521036288 213225 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 213225 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 31528810 19521036288 213225 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=19063512 memory=172092 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31528838 19521036288 213225 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 9.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 852900 KiB

[startup+12.7004 s]
/proc/loadavg: 4.46 4.33 4.12 5/333 18307
/proc/meminfo: memFree=111033408/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=1326092 CPUtime=16.61 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 25564 0 0 0 1600 61 0 0 20 0 20 0 31528802 19521036288 331523 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 331523 5465 1 0 553668 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=172092 CPUtime=12.27 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 8631 0 0 0 1174 53 0 0 20 0 20 0 31528804 19521036288 331523 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=1326092 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 331523 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 31528810 19521036288 331523 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31528838 19521036288 331523 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 16.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1326092 KiB

[startup+25.5005 s]
/proc/loadavg: 4.39 4.31 4.12 5/333 18307
/proc/meminfo: memFree=110426148/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=1744864 CPUtime=29.42 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 29214 0 0 0 2850 92 0 0 20 0 20 0 31528802 19521036288 436216 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 436216 5465 1 0 660195 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=10752 CPUtime=24.76 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 10380 0 0 0 2393 83 0 0 20 0 20 0 31528804 19521036288 436216 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 436216 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=19063512 memory=172092 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 31528810 19521036288 436216 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=19063512 memory=891812 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31528838 19521036288 436216 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 29.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1744864 KiB

[startup+51.1136 s]
/proc/loadavg: 4.30 4.30 4.12 5/333 18307
/proc/meminfo: memFree=110049320/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=1746996 CPUtime=54.82 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 32065 0 0 0 5352 130 0 0 20 0 20 0 31528802 19521036288 436749 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 436749 5465 1 0 660195 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=1746996 CPUtime=49.4 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 12093 0 0 0 4820 120 0 0 20 0 20 0 31528804 19521036288 436749 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=17152 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 436749 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0

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

Current children cumulated memory: 3639492 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.20 4.17 6/331 18889
/proc/meminfo: memFree=104872396/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=3639620 CPUtime=3286 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 119608 0 0 0 325775 2825 0 0 20 0 20 0 31528802 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 909905 5497 1 0 922990 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=17152 CPUtime=3222.83 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 58806 0 0 0 319670 2613 0 0 20 0 20 0 31528804 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 1587 0 0 0 0 0 0 0 20 0 20 0 31528810 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31528838 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 3286 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3639620 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.18 4.16 6/332 18892
/proc/meminfo: memFree=104424900/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=3639620 CPUtime=3345.63 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 121910 0 0 0 331696 2867 0 0 20 0 20 0 31528802 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 909905 5497 1 0 922990 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=3639620 CPUtime=3281.61 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 60192 0 0 0 325510 2651 0 0 20 0 20 0 31528804 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 1588 0 0 0 0 0 0 0 20 0 20 0 31528810 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31528838 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 3345.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3639620 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.18 4.16 6/331 18895
/proc/meminfo: memFree=103946460/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=3639620 CPUtime=3405.67 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 124090 0 0 0 337658 2909 0 0 20 0 20 0 31528802 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 909905 5497 1 0 922990 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=3639620 CPUtime=3340.71 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 61481 0 0 0 331381 2690 0 0 20 0 20 0 31528804 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 1646 0 0 0 0 0 0 0 20 0 20 0 31528810 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31528838 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 3405.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3639620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.19 4.17 6/330 18897
/proc/meminfo: memFree=103522984/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=3639620 CPUtime=3465.69 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 124268 0 0 0 343623 2946 0 0 20 0 20 0 31528802 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 909905 5497 1 0 922990 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=3639620 CPUtime=3400.11 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 61568 0 0 0 337288 2723 0 0 20 0 20 0 31528804 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 1708 0 0 0 0 0 0 0 20 0 20 0 31528810 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31528838 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 3465.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3639620 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.20 4.17 6/331 18904
/proc/meminfo: memFree=103064708/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=3639620 CPUtime=3525.54 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 125527 0 0 0 349572 2982 0 0 20 0 20 0 31528802 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 909905 5497 1 0 922990 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=14848 CPUtime=3459.51 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 62813 0 0 0 343195 2756 0 0 20 0 20 0 31528804 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 1708 0 0 0 0 0 0 0 20 0 20 0 31528810 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=19063512 memory=19968 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31528838 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 3525.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3639620 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/330 18906
/proc/meminfo: memFree=102607988/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=3639620 CPUtime=3585.42 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 127518 0 0 0 355519 3023 0 0 20 0 20 0 31528802 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 909905 5497 1 0 922990 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=3639620 CPUtime=3518.91 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 64161 0 0 0 349098 2793 0 0 20 0 20 0 31528804 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 1770 0 0 0 0 0 0 0 20 0 20 0 31528810 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31528838 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 3585.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3639620 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.9 s]
/proc/loadavg: 4.11 4.16 4.16 6/332 18908
/proc/meminfo: memFree=102473016/131382112 swapFree=33010684/33010684
[pid=18287] ppid=18284 vsize=19063512 memory=3639620 CPUtime=3600.05 cores=0,2
/proc/18287/stat : 18287 (java) S 18284 18287 16715 0 -1 4194304 127984 0 0 0 356966 3039 0 0 20 0 20 0 31528802 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
/proc/18287/statm: 4765878 909905 5497 1 0 922991 0
[pid=18287/tid=18289] ppid=18284 vsize=19063512 memory=3200 CPUtime=3533.39 cores=0,2
/proc/18287/task/18289/stat : 18289 (java) R 18284 18287 16715 0 -1 4194368 64568 0 0 0 350531 2808 0 0 20 0 20 0 31528804 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18298] ppid=18284 vsize=19063512 memory=17152 CPUtime=0 cores=0,2
/proc/18287/task/18298/stat : 18298 (Finalizer) S 18284 18287 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31528809 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18305] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18305/stat : 18305 (Common-Cleaner) S 18284 18287 16715 0 -1 4194368 1770 0 0 0 0 0 0 0 20 0 20 0 31528810 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
[pid=18287/tid=18306] ppid=18284 vsize=19063512 memory=3639620 CPUtime=0 cores=0,2
/proc/18287/task/18306/stat : 18306 (Timer-0) S 18284 18287 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31528838 19521036288 909905 18446744073709551615 93848082157568 93848082161264 140728852219744 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93848082169080 93848082169872 93848095985664 140728852228400 140728852228582 140728852228582 140728852234184 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3639620 KiB

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

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

# cumulated CPU time of all completed processes:  user=3570.22 s, system=30.4456 s

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

[startup+3597.2 s]*
/proc/loadavg: 4.11 4.16 4.16 5/314 18911
/proc/meminfo: memFree=103507228/131382112 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3597.31 s]
/proc/loadavg: 4.11 4.16 4.16 5/314 18911
/proc/meminfo: memFree=103507228/131382112 swapFree=33010684/33010684
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): 3597.34
CPU time (s): 3600.67
CPU user time (s): 3570.22
CPU system time (s): 30.4456
CPU usage (%): 100.093
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3640516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.22
system time used= 30.4456
maximum resident set size= 3640644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29990384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131154
involuntary context switches= 12478


# summary of solver processes directly reported to runsolver:
#   pid: 18287
#   total CPU time (s): 3600.67
#   total CPU user time (s): 3570.22
#   total CPU system time (s): 30.4456

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9009 second user time and 36.9684 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-06-29 02:54:51
IDJOB=4495865
IDBENCH=148100
IDSOLVER=3364
FILE ID=nodeC012/4495865-1751158491
RUNJOBID= nodeC012-1751157286-16725
SLURM_JOB_ID= 9587482
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
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 -w /tmp/evaluation-result-4495865-1751158491/watcher-4495865-1751158491 -o /tmp/evaluation-result-4495865-1751158491/solver-4495865-1751158491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751157286-16725 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4495865-1751158491 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4495865-1751158491.opb

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

MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=1557584839

nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.724
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3511.258
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.113
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.203
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.256
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.921
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.733
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.633
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        112469212 kB
MemAvailable:   119533672 kB
Buffers:            3280 kB
Cached:          7868064 kB
SwapCached:            0 kB
Active:         10679792 kB
Inactive:        7635236 kB
Active(anon):   10461724 kB
Inactive(anon):        0 kB
Active(file):     218068 kB
Inactive(file):  7635236 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             68896 kB
Writeback:             0 kB
AnonPages:      10446864 kB
Mapped:           122212 kB
Shmem:             17960 kB
KReclaimable:     101184 kB
Slab:             185232 kB
SReclaimable:     101184 kB
SUnreclaim:        84048 kB
KernelStack:        5088 kB
PageTables:        24100 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   11020200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10086400 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC012 at 2025-06-29 03:54:49