Trace number 4495864

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 2025-06-06? (TO) 3600.22 3598

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.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 PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	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.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4495864-1751158675.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.12/0.14	c ... done. Wall clock time 0.008s.
0.12/0.14	c declared #vars     70
0.12/0.14	c #constraints  2
0.12/0.14	c constraints type 
0.12/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.12/0.14	c 2 constraints processed.
0.71/0.43	c cleaning 2500 clauses out of 5000 with flag 10000/5000
1.08/0.65	c cleaning 4251 clauses out of 8501 with flag 22003/11001
1.87/1.02	c cleaning 5624 clauses out of 11249 with flag 36002/18000
2.27/1.21	c cleaning 6808 clauses out of 13626 with flag 52009/26001
2.46/1.36	c cleaning 7909 clauses out of 15818 with flag 70010/35001
2.71/1.52	c cleaning 8951 clauses out of 17908 with flag 90008/45000
2.96/1.70	c cleaning 9976 clauses out of 19958 with flag 112011/56001
3.06/1.89	c cleaning 10986 clauses out of 21981 with flag 136011/68000
3.26/2.10	c cleaning 11998 clauses out of 23996 with flag 162013/81001
3.57/2.34	c cleaning 12999 clauses out of 25997 with flag 190011/95000
3.88/2.60	c cleaning 13999 clauses out of 27998 with flag 220014/110000
4.08/2.89	c cleaning 15000 clauses out of 30000 with flag 252016/126001
4.41/3.20	c cleaning 15998 clauses out of 32001 with flag 286023/143002
4.84/3.51	c cleaning 16997 clauses out of 34002 with flag 322033/161001
5.24/3.90	c cleaning 17997 clauses out of 36004 with flag 360031/180000
5.64/4.37	c cleaning 19002 clauses out of 38011 with flag 400044/200004
6.04/4.76	c cleaning 20004 clauses out of 40007 with flag 442042/221002
6.55/5.22	c cleaning 21001 clauses out of 42002 with flag 486042/243001
7.05/5.70	c cleaning 21998 clauses out of 44000 with flag 532049/266000
7.57/6.25	c cleaning 22995 clauses out of 46002 with flag 580050/290000
8.17/6.82	c cleaning 24000 clauses out of 48007 with flag 630060/315000
8.77/7.47	c cleaning 25005 clauses out of 50010 with flag 682073/341003
9.47/8.14	c cleaning 26000 clauses out of 52002 with flag 736073/368000
10.07/8.76	c cleaning 27002 clauses out of 54003 with flag 792085/396001
10.80/9.42	c cleaning 27995 clauses out of 56000 with flag 850102/425000
11.51/10.13	c cleaning 29000 clauses out of 58006 with flag 910106/455001
12.20/10.85	c cleaning 29999 clauses out of 60005 with flag 972109/486000
13.00/11.67	c cleaning 31004 clauses out of 62009 with flag 1036126/518003
13.80/12.44	c cleaning 31995 clauses out of 64002 with flag 1102127/551000
14.81/13.41	c cleaning 33004 clauses out of 66008 with flag 1170140/585001
15.61/14.23	c cleaning 33996 clauses out of 68003 with flag 1240145/620000
16.52/15.14	c cleaning 35002 clauses out of 70009 with flag 1312151/656002
17.55/16.19	c cleaning 36001 clauses out of 72006 with flag 1386158/693001
18.74/17.39	c cleaning 36998 clauses out of 74004 with flag 1462169/731000
19.88/18.40	c cleaning 38003 clauses out of 76008 with flag 1540190/770002
20.88/19.46	c cleaning 38999 clauses out of 78003 with flag 1620188/810000
21.99/20.58	c cleaning 40002 clauses out of 80005 with flag 1702196/851001
23.19/21.70	c cleaning 41000 clauses out of 82002 with flag 1786206/893000
24.39/22.99	c cleaning 42000 clauses out of 84002 with flag 1872222/936000
25.91/24.40	c cleaning 42998 clauses out of 86002 with flag 1960226/980000
27.21/25.78	c cleaning 44000 clauses out of 88004 with flag 2050241/1025000
28.91/27.42	c cleaning 45001 clauses out of 90006 with flag 2142260/1071002
30.44/28.91	c cleaning 45997 clauses out of 92003 with flag 2236274/1118000
31.84/30.30	c cleaning 47001 clauses out of 94006 with flag 2332301/1166000
33.23/31.73	c cleaning 48003 clauses out of 96005 with flag 2430316/1215000
35.06/33.55	c cleaning 48995 clauses out of 98002 with flag 2530319/1265000
36.56/35.06	c cleaning 50001 clauses out of 100007 with flag 2632321/1316000
38.15/36.60	c cleaning 50998 clauses out of 102006 with flag 2736326/1368000
39.67/38.19	c cleaning 52002 clauses out of 104009 with flag 2842336/1421001
41.46/39.94	c cleaning 53002 clauses out of 106007 with flag 2950339/1475001
43.79/42.24	c cleaning 53997 clauses out of 108006 with flag 3060346/1530002
45.69/44.16	c cleaning 55003 clauses out of 110008 with flag 3172359/1586001
47.98/46.49	c cleaning 55998 clauses out of 112004 with flag 3286364/1643000
50.40/48.84	c cleaning 56997 clauses out of 114006 with flag 3402370/1701000
52.50/50.94	c cleaning 57999 clauses out of 116010 with flag 3520384/1760001
54.49/52.95	c cleaning 59005 clauses out of 118012 with flag 3640395/1820002
58.34/56.74	c cleaning 59997 clauses out of 120005 with flag 3762399/1881000
60.83/59.29	c cleaning 60997 clauses out of 122008 with flag 3886407/1943000
63.43/61.85	c cleaning 61998 clauses out of 124011 with flag 4012424/2006000
65.58/63.96	c cleaning 63006 clauses out of 126014 with flag 4140437/2070001
67.87/66.22	c cleaning 64002 clauses out of 128010 with flag 4270447/2135003
69.77/68.20	c cleaning 65002 clauses out of 130006 with flag 4402461/2201001
72.09/70.40	c cleaning 65998 clauses out of 132003 with flag 4536470/2268000
76.09/74.43	c cleaning 67003 clauses out of 134005 with flag 4672490/2336000
78.98/77.36	c cleaning 67994 clauses out of 136002 with flag 4810499/2405000
81.40/79.78	c cleaning 68999 clauses out of 138009 with flag 4950520/2475001
84.19/82.51	c cleaning 70003 clauses out of 140010 with flag 5092522/2546001
87.29/85.66	c cleaning 71004 clauses out of 142007 with flag 5236534/2618001
90.08/88.46	c cleaning 71997 clauses out of 144002 with flag 5382555/2691000
92.98/91.31	c cleaning 73002 clauses out of 146005 with flag 5530581/2765000
96.23/94.56	c cleaning 74000 clauses out of 148005 with flag 5680627/2840002
99.22/97.59	c cleaning 74999 clauses out of 150003 with flag 5832647/2916000
103.31/101.69	c cleaning 76003 clauses out of 152005 with flag 5986706/2993001
106.31/104.60	c cleaning 76994 clauses out of 154001 with flag 6142713/3071000
109.40/107.77	c cleaning 78004 clauses out of 156007 with flag 6300729/3150000
113.45/111.75	c cleaning 79001 clauses out of 158003 with flag 6460742/3230000
117.85/116.13	c cleaning 79998 clauses out of 160003 with flag 6622755/3311001
121.93/120.27	c cleaning 81000 clauses out of 162004 with flag 6786764/3393000
126.42/124.75	c cleaning 81998 clauses out of 164004 with flag 6952771/3476000
129.82/128.19	c cleaning 82995 clauses out of 166006 with flag 7120788/3560000
134.26/132.59	c cleaning 83999 clauses out of 168011 with flag 7290803/3645000
139.15/137.48	c cleaning 85003 clauses out of 170012 with flag 7462820/3731000
142.54/140.87	c cleaning 85998 clauses out of 172009 with flag 7636835/3818000
146.43/144.78	c cleaning 87003 clauses out of 174011 with flag 7812871/3906000
150.73/149.04	c cleaning 87999 clauses out of 176008 with flag 7990917/3995000
154.31/152.64	c cleaning 89003 clauses out of 178011 with flag 8170948/4085002
158.47/156.77	c cleaning 89998 clauses out of 180007 with flag 8353001/4176001
162.36/160.68	c cleaning 91002 clauses out of 182009 with flag 8537026/4268001
167.86/166.13	c cleaning 91996 clauses out of 184006 with flag 8723045/4361000
171.75/170.01	c cleaning 93004 clauses out of 186011 with flag 8911063/4455001
174.94/173.28	c cleaning 94001 clauses out of 188008 with flag 9101096/4550002
178.63/176.97	c cleaning 95003 clauses out of 190008 with flag 9293122/4646003
183.37/181.61	c cleaning 95996 clauses out of 192003 with flag 9487145/4743001
188.86/187.14	c cleaning 97005 clauses out of 194009 with flag 9683161/4841003
193.05/191.35	c cleaning 97994 clauses out of 196001 with flag 9881176/4940000
198.24/196.51	c cleaning 98993 clauses out of 198007 with flag 10081211/5040000
203.02/201.37	c cleaning 100000 clauses out of 200015 with flag 10283275/5141001
208.01/206.31	c cleaning 100998 clauses out of 202016 with flag 10487309/5243002
213.44/211.63	c cleaning 102004 clauses out of 204016 with flag 10693354/5346000
218.03/216.24	c cleaning 103002 clauses out of 206012 with flag 10901398/5450000
223.02/221.24	c cleaning 104002 clauses out of 208010 with flag 11111427/5555000
227.01/225.26	c cleaning 105000 clauses out of 210008 with flag 11323438/5661000
232.60/230.80	c cleaning 106001 clauses out of 212009 with flag 11537458/5768001
237.50/235.30	c cleaning 107002 clauses out of 214007 with flag 11753501/5876000
242.88/240.73	c cleaning 107999 clauses out of 216005 with flag 11971571/5985000
247.67/245.55	c cleaning 108999 clauses out of 218008 with flag 12191600/6095002
253.55/251.46	c cleaning 110002 clauses out of 220008 with flag 12413631/6206001
259.54/257.40	c cleaning 110999 clauses out of 222005 with flag 12637665/6318000
265.47/263.35	c cleaning 112000 clauses out of 224006 with flag 12863706/6431000
270.96/268.83	c cleaning 112999 clauses out of 226006 with flag 13091722/6545000
277.25/275.13	c cleaning 114000 clauses out of 228008 with flag 13321744/6660001
282.34/280.22	c cleaning 115001 clauses out of 230008 with flag 13553768/6776001
288.32/286.25	c cleaning 116002 clauses out of 232007 with flag 13787799/6893001
294.61/292.57	c cleaning 116994 clauses out of 234004 with flag 14023835/7011000
300.29/298.26	c cleaning 118004 clauses out of 236010 with flag 14261871/7130000
306.25/304.18	c cleaning 119001 clauses out of 238007 with flag 14501908/7250001
314.33/312.20	c cleaning 120003 clauses out of 240006 with flag 14743950/7371001
323.71/321.66	c cleaning 121001 clauses out of 242002 with flag 14987978/7493000
331.10/329.01	c cleaning 122001 clauses out of 244001 with flag 15234009/7616000
337.98/335.95	c cleaning 122991 clauses out of 246000 with flag 15482022/7740000
343.17/341.16	c cleaning 124000 clauses out of 248009 with flag 15732037/7865000
349.45/347.40	c cleaning 125004 clauses out of 250009 with flag 15984048/7991000
354.93/352.93	c cleaning 125999 clauses out of 252005 with flag 16238083/8118000
362.12/360.11	c cleaning 127001 clauses out of 254007 with flag 16494104/8246001
372.69/370.76	c cleaning 127999 clauses out of 256006 with flag 16752121/8375001
378.88/376.96	c cleaning 129000 clauses out of 258007 with flag 17012133/8505001
384.91/382.85	c cleaning 129997 clauses out of 260008 with flag 17274149/8636002
390.81/388.79	c cleaning 131002 clauses out of 262009 with flag 17538167/8768000
396.20/394.12	c cleaning 132000 clauses out of 264008 with flag 17804194/8901001
402.58/400.52	c cleaning 133002 clauses out of 266009 with flag 18072215/9035002
410.07/408.03	c cleaning 133998 clauses out of 268005 with flag 18342224/9170000
417.05/414.95	c cleaning 134999 clauses out of 270008 with flag 18614250/9306001
423.64/421.57	c cleaning 136002 clauses out of 272008 with flag 18888287/9443000
430.02/427.90	c cleaning 136998 clauses out of 274006 with flag 19164310/9581000
437.70/435.61	c cleaning 137999 clauses out of 276009 with flag 19442327/9720001
444.09/442.08	c cleaning 138998 clauses out of 278011 with flag 19722355/9860002
452.77/450.74	c cleaning 140003 clauses out of 280012 with flag 20004383/10001001
460.83/458.71	c cleaning 141000 clauses out of 282009 with flag 20288408/10143001
468.12/466.01	c cleaning 141999 clauses out of 284008 with flag 20574433/10286000
476.11/474.01	c cleaning 143002 clauses out of 286010 with flag 20862455/10430001
483.19/481.17	c cleaning 143998 clauses out of 288007 with flag 21152476/10575000
492.86/490.82	c cleaning 145004 clauses out of 290011 with flag 21444485/10721002
501.05/499.08	c cleaning 145998 clauses out of 292005 with flag 21738499/10868000
510.10/508.09	c cleaning 147000 clauses out of 294009 with flag 22034520/11016002
520.28/518.29	c cleaning 147997 clauses out of 296008 with flag 22332535/11165001
528.76/526.78	c cleaning 148999 clauses out of 298010 with flag 22632563/11315000
541.83/539.85	c cleaning 150000 clauses out of 300011 with flag 22934588/11466000
552.12/550.15	c cleaning 151005 clauses out of 302012 with flag 23238611/11618001
562.00/560.04	c cleaning 152003 clauses out of 304007 with flag 23544628/11771001
574.86/572.96	c cleaning 152998 clauses out of 306004 with flag 23852689/11925001
583.85/581.95	c cleaning 154001 clauses out of 308005 with flag 24162701/12080000
593.40/591.41	c cleaning 154994 clauses out of 310004 with flag 24474717/12236000
600.89/598.91	c cleaning 155998 clauses out of 312011 with flag 24788731/12393001
610.57/608.62	c cleaning 157001 clauses out of 314013 with flag 25104749/12551001
619.24/617.36	c cleaning 157999 clauses out of 316011 with flag 25422761/12710000
628.82/626.91	c cleaning 159003 clauses out of 318012 with flag 25742782/12870000
637.69/635.80	c cleaning 159998 clauses out of 320010 with flag 26064805/13031001
647.38/645.52	c cleaning 161006 clauses out of 322014 with flag 26388842/13193003
657.80/655.85	c cleaning 161999 clauses out of 324005 with flag 26714853/13356000
668.98/667.03	c cleaning 162999 clauses out of 326006 with flag 27042884/13520000
678.46/676.57	c cleaning 164003 clauses out of 328009 with flag 27372903/13685002
691.03/689.16	c cleaning 164999 clauses out of 330004 with flag 27704924/13851000
704.11/702.27	c cleaning 165998 clauses out of 332005 with flag 28038934/14018000
714.24/711.71	c cleaning 167000 clauses out of 334007 with flag 28374952/14186000
725.22/722.76	c cleaning 168003 clauses out of 336008 with flag 28712975/14355001
736.60/734.17	c cleaning 169000 clauses out of 338005 with flag 29053000/14525001
750.97/748.51	c cleaning 170001 clauses out of 340004 with flag 29395033/14696000
762.61/760.19	c cleaning 171000 clauses out of 342003 with flag 29739076/14868000
774.08/771.60	c cleaning 171992 clauses out of 344004 with flag 30085112/15041001
785.16/782.79	c cleaning 173000 clauses out of 346011 with flag 30433119/15215000
798.44/796.09	c cleaning 173999 clauses out of 348011 with flag 30783127/15390000
809.21/806.88	c cleaning 175007 clauses out of 350013 with flag 31135140/15566001
818.69/816.39	c cleaning 176000 clauses out of 352006 with flag 31489144/15743001
829.58/827.19	c cleaning 176995 clauses out of 354006 with flag 31845149/15921001
841.47/839.03	c cleaning 178000 clauses out of 356011 with flag 32203154/16100001
852.45/850.03	c cleaning 179001 clauses out of 358011 with flag 32563164/16280001
863.92/861.51	c cleaning 180000 clauses out of 360009 with flag 32925182/16461000
874.69/872.30	c cleaning 181001 clauses out of 362010 with flag 33289195/16643001
884.67/882.34	c cleaning 181998 clauses out of 364008 with flag 33655199/16826000
894.45/892.04	c cleaning 183001 clauses out of 366010 with flag 34023205/17010000
903.23/900.85	c cleaning 184003 clauses out of 368010 with flag 34393215/17195001
915.01/912.65	c cleaning 185000 clauses out of 370006 with flag 34765229/17381000
928.28/925.93	c cleaning 186003 clauses out of 372006 with flag 35139232/17568000
941.26/938.98	c cleaning 186993 clauses out of 374004 with flag 35515245/17756001
955.13/952.89	c cleaning 188000 clauses out of 376010 with flag 35893252/17945000
965.80/963.59	c cleaning 189002 clauses out of 378012 with flag 36273271/18135002
975.75/973.49	c cleaning 190000 clauses out of 380008 with flag 36655277/18326000
989.23/986.94	c cleaning 190997 clauses out of 382008 with flag 37039282/18518000
1000.51/998.26	c cleaning 191998 clauses out of 384011 with flag 37425286/18711000
1011.09/1008.88	c cleaning 193004 clauses out of 386013 with flag 37813298/18905000
1026.36/1024.18	c cleaning 194004 clauses out of 388009 with flag 38203309/19100000
1039.23/1037.08	c cleaning 194992 clauses out of 390005 with flag 38595333/19296000
1055.00/1052.84	c cleaning 196006 clauses out of 392014 with flag 38989348/19493001
1066.43/1064.28	c cleaning 197000 clauses out of 394007 with flag 39385361/19691000
1078.51/1076.39	c cleaning 197997 clauses out of 396008 with flag 39783378/19890001
1091.68/1089.54	c cleaning 199000 clauses out of 398010 with flag 40183379/20090000
1105.05/1102.90	c cleaning 200005 clauses out of 400013 with flag 40585397/20291003
1118.62/1116.52	c cleaning 200996 clauses out of 402005 with flag 40989425/20493000
1133.90/1131.80	c cleaning 201998 clauses out of 404009 with flag 41395430/20696000
1147.67/1145.62	c cleaning 203004 clauses out of 406011 with flag 41803472/20900000
1160.56/1158.44	c cleaning 203997 clauses out of 408009 with flag 42213492/21105002
1177.52/1175.48	c cleaning 204997 clauses out of 410010 with flag 42625493/21311000
1194.79/1192.77	c cleaning 206003 clauses out of 412014 with flag 43039504/21518001
1211.45/1209.49	c cleaning 206997 clauses out of 414010 with flag 43455524/21726000
1227.92/1225.94	c cleaning 208007 clauses out of 416014 with flag 43873555/21935001
1245.83/1243.74	c cleaning 208995 clauses out of 418007 with flag 44293570/22145001
1263.30/1261.27	c cleaning 210002 clauses out of 420011 with flag 44715577/22356000
1277.17/1275.12	c cleaning 210999 clauses out of 422009 with flag 45139597/22568000
1299.13/1297.12	c cleaning 212000 clauses out of 424010 with flag 45565601/22781000
1324.02/1321.48	c cleaning 212999 clauses out of 426010 with flag 45993612/22995000
1348.17/1345.63	c cleaning 213999 clauses out of 428014 with flag 46423647/23210003
1360.65/1358.11	c cleaning 215005 clauses out of 430013 with flag 46855648/23426001
1374.32/1371.78	c cleaning 216000 clauses out of 432008 with flag 47289657/23643001
1394.28/1391.71	c cleaning 216996 clauses out of 434008 with flag 47725685/23861001
1408.66/1406.12	c cleaning 218001 clauses out of 436012 with flag 48163689/24080001
1427.32/1424.70	c cleaning 219000 clauses out of 438010 with flag 48603695/24300000
1443.38/1440.85	c cleaning 219999 clauses out of 440010 with flag 49045710/24521000
1459.86/1457.38	c cleaning 221004 clauses out of 442012 with flag 49489730/24743001
1476.92/1474.45	c cleaning 221998 clauses out of 444007 with flag 49935736/24966000
1494.06/1491.53	c cleaning 223005 clauses out of 446009 with flag 50383746/25190000
1508.22/1505.78	c cleaning 224000 clauses out of 448006 with flag 50833756/25415002
1531.38/1528.99	c cleaning 224998 clauses out of 450004 with flag 51285792/25641000
1546.45/1544.04	c cleaning 225998 clauses out of 452006 with flag 51739809/25868000
1563.11/1560.60	c cleaning 226999 clauses out of 454008 with flag 52195856/26096000
1579.88/1577.45	c cleaning 228003 clauses out of 456012 with flag 52653866/26325003
1599.34/1596.91	c cleaning 228998 clauses out of 458008 with flag 53113878/26555002
1615.60/1613.28	c cleaning 229997 clauses out of 460008 with flag 53575909/26786000
1632.55/1630.29	c cleaning 231002 clauses out of 462012 with flag 54039953/27018001
1650.49/1648.16	c cleaning 231997 clauses out of 464009 with flag 54505981/27251000
1669.14/1666.82	c cleaning 232996 clauses out of 466012 with flag 54974007/27485000
1685.01/1682.71	c cleaning 234003 clauses out of 468016 with flag 55444047/27720000
1708.17/1705.99	c cleaning 235001 clauses out of 470014 with flag 55916097/27956001
1725.71/1723.41	c cleaning 236006 clauses out of 472013 with flag 56390141/28193001
1745.47/1743.27	c cleaning 236998 clauses out of 474006 with flag 56866180/28431000
1762.24/1760.10	c cleaning 238000 clauses out of 476009 with flag 57344216/28670001
1779.39/1777.28	c cleaning 239001 clauses out of 478009 with flag 57824290/28910001
1800.56/1798.48	c cleaning 239999 clauses out of 480009 with flag 58306346/29151002
1817.50/1814.88	c cleaning 240999 clauses out of 482008 with flag 58790373/29393000
1832.07/1829.41	c cleaning 242000 clauses out of 484010 with flag 59276388/29636001
1853.64/1851.08	c cleaning 242994 clauses out of 486009 with flag 59764402/29880000
1882.56/1879.91	c cleaning 244001 clauses out of 488015 with flag 60254423/30125000
1901.91/1899.33	c cleaning 244998 clauses out of 490015 with flag 60746437/30371001
1921.47/1918.98	c cleaning 246001 clauses out of 492016 with flag 61240454/30618000
1936.54/1934.08	c cleaning 247004 clauses out of 494015 with flag 61736474/30866000
1953.69/1951.22	c cleaning 248003 clauses out of 496013 with flag 62234501/31115002
1971.91/1969.41	c cleaning 249003 clauses out of 498009 with flag 62734510/31365001
1989.47/1987.08	c cleaning 249995 clauses out of 500007 with flag 63236532/31616002
2007.63/2005.25	c cleaning 251001 clauses out of 502010 with flag 63740547/31868000
2025.18/2022.81	c cleaning 251994 clauses out of 504010 with flag 64246579/32121001
2043.34/2041.01	c cleaning 253003 clauses out of 506015 with flag 64754589/32375000
2058.68/2056.39	c cleaning 254000 clauses out of 508013 with flag 65264611/32630001
2085.83/2083.51	c cleaning 255000 clauses out of 510013 with flag 65776623/32886001
2106.59/2104.31	c cleaning 256002 clauses out of 512012 with flag 66290635/33143000
2127.54/2125.36	c cleaning 257002 clauses out of 514011 with flag 66806658/33401001
2151.80/2149.60	c cleaning 258000 clauses out of 516008 with flag 67324662/33660000
2169.66/2167.51	c cleaning 259002 clauses out of 518009 with flag 67844682/33920001
2189.23/2187.10	c cleaning 259994 clauses out of 520006 with flag 68366702/34181000
2209.68/2207.52	c cleaning 261007 clauses out of 522013 with flag 68890716/34443001
2231.34/2229.27	c cleaning 261999 clauses out of 524005 with flag 69416735/34706000
2254.98/2252.96	c cleaning 263003 clauses out of 526006 with flag 69944788/34970000
2273.36/2271.31	c cleaning 263997 clauses out of 528004 with flag 70474809/35235001
2301.39/2299.41	c cleaning 265000 clauses out of 530006 with flag 71006825/35501000
2320.39/2318.35	c cleaning 266000 clauses out of 532006 with flag 71540842/35768000
2342.44/2340.49	c cleaning 266996 clauses out of 534006 with flag 72076863/36036000
2365.40/2363.48	c cleaning 268003 clauses out of 536010 with flag 72614880/36305000
2386.34/2384.49	c cleaning 268997 clauses out of 538007 with flag 73154886/36575000
2410.69/2408.87	c cleaning 270004 clauses out of 540011 with flag 73696903/36846001
2433.66/2431.73	c cleaning 270997 clauses out of 542007 with flag 74240951/37118001
2454.81/2452.94	c cleaning 271999 clauses out of 544009 with flag 74786977/37391000
2474.68/2472.87	c cleaning 273001 clauses out of 546010 with flag 75334994/37665000
2493.63/2491.86	c cleaning 274000 clauses out of 548009 with flag 75885006/37940000
2512.90/2511.18	c cleaning 275002 clauses out of 550010 with flag 76437032/38216001
2534.89/2532.79	c cleaning 276001 clauses out of 552012 with flag 76991054/38493005
2555.55/2553.49	c cleaning 277002 clauses out of 554007 with flag 77547060/38771001
2575.50/2573.44	c cleaning 277995 clauses out of 556004 with flag 78105073/39050000
2597.46/2595.48	c cleaning 279001 clauses out of 558010 with flag 78665089/39330001
2623.59/2621.60	c cleaning 279997 clauses out of 560008 with flag 79227103/39611000
2650.41/2648.48	c cleaning 281000 clauses out of 562012 with flag 79791108/39893001
2674.47/2672.58	c cleaning 282003 clauses out of 564012 with flag 80357120/40176001
2696.21/2694.32	c cleaning 283004 clauses out of 566009 with flag 80925135/40460001
2718.37/2716.58	c cleaning 283999 clauses out of 568004 with flag 81495145/40745000
2748.19/2746.40	c cleaning 284997 clauses out of 570006 with flag 82067162/41031001
2776.27/2774.45	c cleaning 285997 clauses out of 572008 with flag 82641177/41318000
2797.43/2795.68	c cleaning 287004 clauses out of 574011 with flag 83217193/41606000
2822.88/2821.13	c cleaning 287996 clauses out of 576007 with flag 83795221/41895000
2845.89/2844.16	c cleaning 289001 clauses out of 578011 with flag 84375245/42185000
2869.34/2867.70	c cleaning 290000 clauses out of 580011 with flag 84957262/42476001
2893.52/2891.42	c cleaning 290997 clauses out of 582010 with flag 85541275/42768000
2918.78/2916.79	c cleaning 292004 clauses out of 584013 with flag 86127338/43061000
2949.11/2947.17	c cleaning 292999 clauses out of 586009 with flag 86715369/43355000
2974.74/2972.86	c cleaning 294001 clauses out of 588010 with flag 87305410/43650000
3022.93/3021.11	c cleaning 295002 clauses out of 590010 with flag 87897462/43946001
3065.13/3063.32	c cleaning 296004 clauses out of 592007 with flag 88491482/44243000
3103.04/3101.31	c cleaning 297000 clauses out of 594004 with flag 89087496/44541001
3137.46/3135.85	c cleaning 297994 clauses out of 596003 with flag 89685524/44840000
3168.08/3166.59	c cleaning 299000 clauses out of 598010 with flag 90285553/45140001
3190.52/3188.20	c cleaning 300000 clauses out of 600010 with flag 90887565/45441001
3219.25/3216.98	c cleaning 301002 clauses out of 602009 with flag 91491587/45743000
3243.81/3241.51	c cleaning 301997 clauses out of 604007 with flag 92097631/46046000
3275.24/3272.99	c cleaning 303001 clauses out of 606010 with flag 92705660/46350000
3312.59/3310.32	c cleaning 303996 clauses out of 608010 with flag 93315687/46655001
3342.71/3340.59	c cleaning 305005 clauses out of 610015 with flag 93927711/46961002
3370.28/3368.01	c cleaning 305996 clauses out of 612008 with flag 94541722/47268000
3396.31/3394.04	c cleaning 307004 clauses out of 614015 with flag 95157748/47576003
3430.64/3428.46	c cleaning 307997 clauses out of 616008 with flag 95775773/47885000
3457.98/3455.79	c cleaning 309001 clauses out of 618012 with flag 96395805/48195001
3501.60/3499.35	c cleaning 310000 clauses out of 620010 with flag 97017818/48506000
3543.01/3540.82	c cleaning 310998 clauses out of 622010 with flag 97641835/48818000
3567.18/3565.07	c cleaning 312000 clauses out of 624012 with flag 98267861/49131000
3595.59/3593.47	c cleaning 313001 clauses out of 626014 with flag 98895885/49445002
3600.08/3597.91	c starts		: 1
3600.08/3597.91	c conflicts		: 49598004
3600.08/3597.91	c decisions		: 49600574
3600.08/3597.91	c propagations		: 219630990
3600.08/3597.91	c inspects		: 13447526094
3600.08/3597.91	c shortcuts		: 0
3600.08/3597.91	c learnt literals	: 0
3600.08/3597.91	c learnt binary clauses	: 0
3600.08/3597.91	c learnt ternary clauses	: 0
3600.08/3597.91	c learnt constraints	: 49598004
3600.08/3597.91	c ignored constraints	: 0
3600.08/3597.91	c root simplifications	: 0
3600.08/3597.91	c removed literals (reason simplification)	: 563159753
3600.08/3597.91	c reason swapping (by a shorter reason)	: 0
3600.08/3597.91	c Calls to reduceDB	: 310
3600.08/3597.91	c Number of update (reduction) of LBD	: 3324
3600.08/3597.91	c Imported unit clauses	: 0
3600.08/3597.91	c No decision after first conflict	: false
3600.08/3597.91	c number of reductions to clauses (during analyze)	: 0
3600.08/3597.91	c number of learned constraints concerned by reduction	: 0
3600.08/3597.91	c number of learning phase by resolution	: 0
3600.08/3597.91	c number of learning phase by cutting planes	: 0
3600.08/3597.91	c number of rounding to 1 operations	: 0
3600.08/3597.91	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3597.91	c number of reductions of the coefficients by power 2 	: 0
3600.08/3597.91	c number of right shift for reduction by power 2 	: 0
3600.08/3597.91	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3597.91	c number of ending skipping 	: 0
3600.08/3597.91	c number of internal skipping 	: 0
3600.08/3597.91	c number of derivation steps 	: 0
3600.08/3597.92	c number of skipped derivation steps 	: 0
3600.08/3597.92	c number of remaining unassigned 	: 0
3600.08/3597.92	c number of remaining assigned 	: 0
3600.08/3597.92	c number of falsified literals weakened from reason	: 0
3600.08/3597.92	c number of falsified literals weakened from conflict	: 0
3600.08/3597.92	c time for arithmetic operations	: 0
3600.08/3597.92	c minimum degree of deleted constraints	: null
3600.08/3597.92	c maximum degree of deleted constraints	: null
3600.08/3597.92	c number of deleted constraints	: 0
3600.08/3597.92	c speed (assignments/second)	: 61046.37229752961
3600.08/3597.92	c non guided choices	: 57
3600.08/3597.92	c timeout
3600.08/3597.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 466015
3600.08/3597.98	s UNKNOWN
3600.08/3597.98	c Total wall clock time (in seconds): 3597.85

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: 63665 MiB (62541 MiB free)
  memory of node 1: 64507 MiB (62875 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495864-1751158675/watcher-4495864-1751158675 -o /tmp/evaluation-result-4495864-1751158675/solver-4495864-1751158675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20467 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4495864-1751158675.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 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=22799, runsolver pid=22796
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 3.58 2.38 2.70 5/342 22817
/proc/meminfo: memFree=128391656/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=18930384 memory=57832 CPUtime=0.12 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 6583 0 0 0 11 1 0 0 20 0 18 0 31545157 19384713216 14458 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4732596 14458 5352 1 0 547621 0
[pid=22799/tid=22801] ppid=22796 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 5080 0 0 0 7 1 0 0 20 0 18 0 31545158 19384713216 14458 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31545160 19384713216 14458 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=18930384 memory=59585004307076 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31545161 19384713216 14458 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57832 KiB

[startup+0.205851 s]*
/proc/loadavg: 3.58 2.38 2.70 6/343 22818
/proc/meminfo: memFree=128385292/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=18996948 memory=63116 CPUtime=0.32 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 7452 0 0 0 30 2 0 0 20 0 19 0 31545157 19452874752 15779 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4749237 15779 5448 1 0 548454 0
[pid=22799/tid=22801] ppid=22796 vsize=18996948 memory=4026597660 CPUtime=0.18 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 5302 0 0 0 17 1 0 0 20 0 19 0 31545158 19452874752 15779 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=18996948 memory=15140 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31545160 19452874752 15779 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=18996948 memory=58485492679654 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31545161 19452874752 15779 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31545172 19452874752 15779 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63116 KiB

[startup+0.305768 s]*
/proc/loadavg: 3.58 2.38 2.70 7/343 22818
/proc/meminfo: memFree=128378172/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=18996948 memory=65656 CPUtime=0.51 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 8516 0 0 0 49 2 0 0 20 0 19 0 31545157 19452874752 16414 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4749237 16414 5448 1 0 549063 0
[pid=22799/tid=22801] ppid=22796 vsize=18996948 memory=-6000919481229208173 CPUtime=0.28 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 5312 0 0 0 27 1 0 0 20 0 19 0 31545158 19452874752 16414 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31545160 19452874752 16414 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31545161 19452874752 16414 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31545172 19452874752 16414 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65656 KiB

[startup+0.700215 s]
/proc/loadavg: 3.58 2.38 2.70 6/343 22818
/proc/meminfo: memFree=128336648/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=18996948 memory=88324 CPUtime=1.27 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 14262 0 0 0 124 3 0 0 20 0 19 0 31545157 19452874752 22081 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4749237 22081 5448 1 0 552619 0
[pid=22799/tid=22801] ppid=22796 vsize=18996948 memory=17536 CPUtime=0.66 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 5370 0 0 0 65 1 0 0 20 0 19 0 31545158 19452874752 22081 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31545160 19452874752 22081 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31545161 19452874752 22081 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=18996948 memory=4888 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31545172 19452874752 22081 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88324 KiB

[startup+1.50021 s]
/proc/loadavg: 3.58 2.38 2.70 6/343 22818
/proc/meminfo: memFree=128328016/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=18996948 memory=109640 CPUtime=2.71 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 18756 0 0 0 267 4 0 0 20 0 19 0 31545157 19452874752 27410 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4749237 27410 5448 1 0 552703 0
[pid=22799/tid=22801] ppid=22796 vsize=18996948 memory=0 CPUtime=1.44 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 5707 0 0 0 143 1 0 0 20 0 19 0 31545158 19452874752 27410 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31545160 19452874752 27410 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31545161 19452874752 27410 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=18996948 memory=4888 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31545172 19452874752 27410 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 109640 KiB

[startup+3.10568 s]
/proc/loadavg: 3.69 2.43 2.72 5/343 22819
/proc/meminfo: memFree=128258384/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=186088 CPUtime=4.41 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 20724 0 0 0 436 5 0 0 20 0 20 0 31545157 19521036288 46522 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 46522 5480 1 0 552995 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=10752 CPUtime=3.03 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 6019 0 0 0 301 2 0 0 20 0 20 0 31545158 19521036288 46522 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=19063512 memory=-6000919481229208173 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31545160 19521036288 46522 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 31545161 19521036288 46522 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31545172 19521036288 46522 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 4.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186088 KiB

[startup+6.30021 s]
/proc/loadavg: 3.69 2.43 2.72 5/344 22820
/proc/meminfo: memFree=128184432/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=191060 CPUtime=7.67 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 20904 0 0 0 761 6 0 0 20 0 20 0 31545157 19521036288 47765 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 47765 5480 1 0 552997 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=0 CPUtime=6.2 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 6031 0 0 0 618 2 0 0 20 0 20 0 31545158 19521036288 47765 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31545160 19521036288 47765 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 31545161 19521036288 47765 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31545172 19521036288 47765 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 7.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191060 KiB

[startup+12.7002 s]
/proc/loadavg: 3.74 2.48 2.73 5/343 22820
/proc/meminfo: memFree=127942768/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=269020 CPUtime=14.11 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 22462 0 0 0 1404 7 0 0 20 0 20 0 31545157 19521036288 67255 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 67255 5480 1 0 552997 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=10752 CPUtime=12.52 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 6536 0 0 0 1250 2 0 0 20 0 20 0 31545158 19521036288 67255 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=19063512 memory=242384 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31545160 19521036288 67255 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=19063512 memory=-6000919481229208173 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 31545161 19521036288 67255 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31545172 19521036288 67255 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 14.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 269020 KiB

[startup+25.5002 s]
/proc/loadavg: 3.78 2.53 2.74 5/344 22821
/proc/meminfo: memFree=127521384/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=369568 CPUtime=27.01 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 26459 0 0 0 2691 10 0 0 20 0 20 0 31545157 19521036288 92392 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 92392 5480 1 0 552997 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=242384 CPUtime=25.19 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 7622 0 0 0 2517 2 0 0 20 0 20 0 31545158 19521036288 92392 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31545160 19521036288 92392 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=19063512 memory=369568 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 31545161 19521036288 92392 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=19063512 memory=336752 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31545172 19521036288 92392 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 27.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 369568 KiB

[startup+51.1057 s]
/proc/loadavg: 3.94 2.67 2.78 5/343 22821
/proc/meminfo: memFree=126682216/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=541700 CPUtime=52.7 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 26725 0 0 0 5256 14 0 0 20 0 20 0 31545157 19521036288 135425 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 135425 5480 1 0 552997 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=14592 CPUtime=50.59 cores=0,2

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

/proc/meminfo: memFree=121235736/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=1994152 CPUtime=3284.65 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 101457 0 0 0 328347 118 0 0 20 0 20 0 31545157 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 498538 5544 1 0 510491 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=2168524 CPUtime=3268.96 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 42620 0 0 0 326873 23 0 0 20 0 20 0 31545158 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=19063512 memory=1994152 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31545160 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=19063512 memory=1994152 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 878 0 0 0 0 0 0 0 20 0 20 0 31545161 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=19063512 memory=1994152 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31545172 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 3284.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1994152 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/342 23011
/proc/meminfo: memFree=121235904/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=1994152 CPUtime=3344.51 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 102327 0 0 0 334332 119 0 0 20 0 20 0 31545157 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 498538 5544 1 0 510491 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=2168524 CPUtime=3328.8 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 43321 0 0 0 332857 23 0 0 20 0 20 0 31545158 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=19063512 memory=1994152 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31545160 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=19063512 memory=1994152 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 924 0 0 0 0 0 0 0 20 0 20 0 31545161 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31545172 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 3344.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1994152 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.17 4.11 5/342 23018
/proc/meminfo: memFree=121244216/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=1994152 CPUtime=3404.58 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 103844 0 0 0 340337 121 0 0 20 0 20 0 31545157 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 498538 5544 1 0 510491 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=2168524 CPUtime=3388.45 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 43501 0 0 0 338822 23 0 0 20 0 20 0 31545158 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=19063512 memory=1994152 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31545160 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 965 0 0 0 0 0 0 0 20 0 20 0 31545161 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=19063512 memory=1994152 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31545172 19521036288 498538 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 3404.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1994152 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/342 23020
/proc/meminfo: memFree=121244376/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=1994280 CPUtime=3464.57 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 103956 0 0 0 346335 122 0 0 20 0 20 0 31545157 19521036288 498570 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 498570 5544 1 0 510491 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=2168524 CPUtime=3448.18 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 43506 0 0 0 344795 23 0 0 20 0 20 0 31545158 19521036288 498570 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=19063512 memory=1994152 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31545160 19521036288 498570 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 965 0 0 0 0 0 0 0 20 0 20 0 31545161 19521036288 498570 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=19063512 memory=1994280 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31545172 19521036288 498570 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 3464.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1994280 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/342 23022
/proc/meminfo: memFree=121244488/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=1994664 CPUtime=3524.55 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 104634 0 0 0 352332 123 0 0 20 0 20 0 31545157 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 498666 5544 1 0 510530 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=2168524 CPUtime=3507.94 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 43912 0 0 0 350771 23 0 0 20 0 20 0 31545158 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=19063512 memory=1994280 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31545160 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 965 0 0 0 0 0 0 0 20 0 20 0 31545161 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=19063512 memory=-6000919481229208173 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31545172 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 3524.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1994664 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.18 4.11 5/341 23224
/proc/meminfo: memFree=127023992/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=1994664 CPUtime=3584.51 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 106567 0 0 0 358326 125 0 0 20 0 20 0 31545157 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 498666 5544 1 0 510530 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=2168524 CPUtime=3567.71 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 44873 0 0 0 356747 24 0 0 20 0 20 0 31545158 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=19063512 memory=1994664 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31545160 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=19063512 memory=1994664 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 1009 0 0 0 0 0 0 0 20 0 20 0 31545161 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=19063512 memory=1994664 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31545172 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 3584.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1994664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.9 s]
/proc/loadavg: 4.42 4.22 4.13 5/340 23290
/proc/meminfo: memFree=127129068/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=1994664 CPUtime=3600.08 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 106834 0 0 0 359883 125 0 0 20 0 20 0 31545157 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 498666 5544 1 0 510530 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=2168524 CPUtime=3583.27 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 45070 0 0 0 358303 24 0 0 20 0 20 0 31545158 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=19063512 memory=-6000919481229208173 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31545160 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 1009 0 0 0 0 0 0 0 20 0 20 0 31545161 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=19063512 memory=1994664 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31545172 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1994664 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.95 s, system=1.26763 s

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

[startup+3597.9 s]
/proc/loadavg: 4.42 4.22 4.13 5/340 23290
/proc/meminfo: memFree=127129068/131249996 swapFree=33010684/33010684
[pid=22799] ppid=22796 vsize=19063512 memory=1994664 CPUtime=3600.08 cores=0,2
/proc/22799/stat : 22799 (java) S 22796 22799 20457 0 -1 4194304 106834 0 0 0 359883 125 0 0 20 0 20 0 31545157 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
/proc/22799/statm: 4765878 498666 5544 1 0 510530 0
[pid=22799/tid=22801] ppid=22796 vsize=19063512 memory=2168524 CPUtime=3583.27 cores=0,2
/proc/22799/task/22801/stat : 22801 (java) R 22796 22799 20457 0 -1 4194368 45070 0 0 0 358303 24 0 0 20 0 20 0 31545158 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22810] ppid=22796 vsize=19063512 memory=-6000919481229208173 CPUtime=0 cores=0,2
/proc/22799/task/22810/stat : 22810 (Finalizer) S 22796 22799 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31545160 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22817] ppid=22796 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/22799/task/22817/stat : 22817 (Common-Cleaner) S 22796 22799 20457 0 -1 4194368 1009 0 0 0 0 0 0 0 20 0 20 0 31545161 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
[pid=22799/tid=22818] ppid=22796 vsize=19063512 memory=1994664 CPUtime=0 cores=0,2
/proc/22799/task/22818/stat : 22818 (Timer-0) S 22796 22799 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31545172 19521036288 498666 18446744073709551615 94483540434944 94483540438640 140728055818144 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94483540446456 94483540447248 94483572989952 140728055822721 140728055822822 140728055822822 140728055828424 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1994664 KiB

Child status: 143

Real time (s): 3598
CPU time (s): 3600.22
CPU user time (s): 3598.95
CPU system time (s): 1.26763
CPU usage (%): 100.062
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2168524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.95
system time used= 1.26763
maximum resident set size= 2168524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106321
involuntary context switches= 5776


# summary of solver processes directly reported to runsolver:
#   pid: 22799
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3598.95
#   total CPU system time (s): 1.26763

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4359 second user time and 14.0494 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-06-29 02:57:55
IDJOB=4495864
IDBENCH=148100
IDSOLVER=3363
FILE ID=nodeC021/4495864-1751158675
RUNJOBID= nodeC021-1751158606-20467
SLURM_JOB_ID= 9587494
Free space on /tmp= 433052 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4495864-1751158675/watcher-4495864-1751158675 -o /tmp/evaluation-result-4495864-1751158675/solver-4495864-1751158675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20467 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4495864-1751158675.opb

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

MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=1990371172

nodeC021 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	: 0xb00002a
cpu MHz		: 3596.439
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 pti ibrs ibpb stibp 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	: 6999.56
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		: 3599.780
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 pti ibrs ibpb stibp 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	: 6999.56
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		: 3599.780
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 pti ibrs ibpb stibp 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	: 6999.56
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		: 3581.614
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 pti ibrs ibpb stibp 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	: 6999.56
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		: 3599.775
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 pti ibrs ibpb stibp 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	: 6999.56
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		: 3599.771
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 pti ibrs ibpb stibp 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	: 6999.56
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		: 3600.391
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 pti ibrs ibpb stibp 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	: 6999.56
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		: 3602.459
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 pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128427128 kB
MemAvailable:   128335528 kB
Buffers:            3280 kB
Cached:           717796 kB
SwapCached:            0 kB
Active:          1811472 kB
Inactive:         461300 kB
Active(anon):    1569756 kB
Inactive(anon):        0 kB
Active(file):     241716 kB
Inactive(file):   461300 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               704 kB
Writeback:             0 kB
AnonPages:       1554764 kB
Mapped:           122676 kB
Shmem:             18060 kB
KReclaimable:      88844 kB
Slab:             174632 kB
SReclaimable:      88844 kB
SUnreclaim:        85788 kB
KernelStack:        5244 kB
PageTables:         6700 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7066028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1363968 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC021 at 2025-06-29 03:57:53