Trace number 4495900

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.23 3598.91

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob5.opb
MD5SUMf4201f1ef8f74939600eabb6a2266017
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.017181
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables80
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 constraint80
Maximum length of a constraint80
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 62442885
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 803031860
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4495900-1751160463.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.15	c ... done. Wall clock time 0.009s.
0.12/0.15	c declared #vars     80
0.12/0.15	c #constraints  2
0.12/0.15	c constraints type 
0.12/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.12/0.15	c 2 constraints processed.
0.70/0.45	c cleaning 2500 clauses out of 5000 with flag 10002/5000
1.08/0.69	c cleaning 4247 clauses out of 8501 with flag 22004/11001
1.67/0.98	c cleaning 5627 clauses out of 11253 with flag 36002/18000
2.03/1.14	c cleaning 6810 clauses out of 13626 with flag 52004/26000
2.33/1.32	c cleaning 7909 clauses out of 15817 with flag 70006/35001
2.61/1.52	c cleaning 8950 clauses out of 17908 with flag 90007/45001
2.86/1.75	c cleaning 9976 clauses out of 19959 with flag 112009/56002
3.17/2.00	c cleaning 10991 clauses out of 21981 with flag 136015/68000
3.36/2.26	c cleaning 11994 clauses out of 23990 with flag 162016/81000
3.66/2.54	c cleaning 12995 clauses out of 25996 with flag 190017/95000
3.96/2.87	c cleaning 13997 clauses out of 28002 with flag 220021/110001
4.39/3.21	c cleaning 15000 clauses out of 30004 with flag 252022/126000
4.81/3.62	c cleaning 16002 clauses out of 32004 with flag 286023/143000
5.22/4.06	c cleaning 17001 clauses out of 34002 with flag 322023/161000
5.71/4.50	c cleaning 18002 clauses out of 36003 with flag 360028/180002
6.11/4.99	c cleaning 18999 clauses out of 37999 with flag 400030/200000
6.82/5.69	c cleaning 19997 clauses out of 40000 with flag 442036/221000
7.53/6.35	c cleaning 20996 clauses out of 42004 with flag 486043/243001
8.13/6.92	c cleaning 22000 clauses out of 44007 with flag 532041/266000
8.72/7.53	c cleaning 23001 clauses out of 46007 with flag 580043/290000
9.42/8.25	c cleaning 24003 clauses out of 48006 with flag 630043/315000
10.23/9.03	c cleaning 25001 clauses out of 50003 with flag 682048/341000
10.92/9.76	c cleaning 25998 clauses out of 52002 with flag 736057/368000
11.75/10.52	c cleaning 26995 clauses out of 54005 with flag 792060/396001
12.55/11.36	c cleaning 28001 clauses out of 56009 with flag 850064/425000
13.54/12.39	c cleaning 29003 clauses out of 58008 with flag 910072/455000
14.54/13.38	c cleaning 30003 clauses out of 60007 with flag 972085/486002
15.87/14.60	c cleaning 31001 clauses out of 62003 with flag 1036085/518001
16.67/15.45	c cleaning 31997 clauses out of 64002 with flag 1102087/551001
17.57/16.31	c cleaning 33000 clauses out of 66004 with flag 1170089/585000
18.47/17.21	c cleaning 34001 clauses out of 68005 with flag 1240096/620001
19.69/18.43	c cleaning 35000 clauses out of 70005 with flag 1312112/656002
20.78/19.58	c cleaning 36000 clauses out of 72003 with flag 1386119/693000
21.87/20.64	c cleaning 37001 clauses out of 74003 with flag 1462122/731000
23.00/21.76	c cleaning 38001 clauses out of 76004 with flag 1540128/770002
24.20/22.98	c cleaning 38995 clauses out of 78001 with flag 1620127/810000
25.49/24.25	c cleaning 40002 clauses out of 80007 with flag 1702132/851001
27.12/25.80	c cleaning 41002 clauses out of 82006 with flag 1786137/893002
28.83/27.55	c cleaning 42000 clauses out of 84003 with flag 1872148/936001
30.22/28.97	c cleaning 42997 clauses out of 86002 with flag 1960152/980000
31.83/30.56	c cleaning 43998 clauses out of 88005 with flag 2050162/1025000
33.62/32.38	c cleaning 45000 clauses out of 90008 with flag 2142188/1071001
35.22/33.97	c cleaning 46002 clauses out of 92007 with flag 2236191/1118000
37.25/35.94	c cleaning 47000 clauses out of 94005 with flag 2332200/1166000
39.24/37.93	c cleaning 48002 clauses out of 96008 with flag 2430212/1215003
41.10/39.75	c cleaning 48996 clauses out of 98003 with flag 2530215/1265000
42.59/41.27	c cleaning 49999 clauses out of 100008 with flag 2632223/1316001
44.29/42.93	c cleaning 51000 clauses out of 102011 with flag 2736233/1368003
46.12/44.75	c cleaning 52003 clauses out of 104010 with flag 2842237/1421002
48.20/46.87	c cleaning 52997 clauses out of 106006 with flag 2950238/1475001
49.93/48.55	c cleaning 54003 clauses out of 108008 with flag 3060237/1530000
51.73/50.36	c cleaning 55001 clauses out of 110005 with flag 3172238/1586000
53.72/52.38	c cleaning 56002 clauses out of 112006 with flag 3286251/1643002
56.94/55.59	c cleaning 56995 clauses out of 114002 with flag 3402257/1701000
60.03/58.68	c cleaning 58002 clauses out of 116008 with flag 3520267/1760001
62.92/61.52	c cleaning 59004 clauses out of 118007 with flag 3640277/1820002
66.07/64.62	c cleaning 59990 clauses out of 120001 with flag 3762276/1881000
68.96/67.52	c cleaning 61001 clauses out of 122012 with flag 3886279/1943001
71.71/70.23	c cleaning 62000 clauses out of 124011 with flag 4012281/2006001
74.30/72.87	c cleaning 63004 clauses out of 126011 with flag 4140282/2070001
76.60/75.12	c cleaning 64000 clauses out of 128007 with flag 4270284/2135001
79.09/77.69	c cleaning 65000 clauses out of 130008 with flag 4402289/2201002
81.61/80.15	c cleaning 66002 clauses out of 132008 with flag 4536292/2268002
84.20/82.78	c cleaning 66998 clauses out of 134007 with flag 4672298/2336003
86.90/85.46	c cleaning 68005 clauses out of 136009 with flag 4810301/2405003
89.69/88.21	c cleaning 68999 clauses out of 138001 with flag 4950302/2475000
92.49/91.09	c cleaning 69997 clauses out of 140002 with flag 5092314/2546000
95.08/93.69	c cleaning 70999 clauses out of 142005 with flag 5236317/2618000
97.77/96.38	c cleaning 72002 clauses out of 144006 with flag 5382318/2691000
100.67/99.23	c cleaning 72995 clauses out of 146004 with flag 5530323/2765000
103.87/102.40	c cleaning 74000 clauses out of 148010 with flag 5680326/2840001
106.96/105.56	c cleaning 75000 clauses out of 150009 with flag 5832328/2916000
109.85/108.41	c cleaning 76001 clauses out of 152009 with flag 5986331/2993000
112.74/111.35	c cleaning 77001 clauses out of 154008 with flag 6142333/3071000
116.74/115.37	c cleaning 78005 clauses out of 156009 with flag 6300338/3150002
120.53/119.17	c cleaning 78999 clauses out of 158002 with flag 6460343/3230000
123.81/122.40	c cleaning 80000 clauses out of 160003 with flag 6622343/3311000
128.01/126.62	c cleaning 80994 clauses out of 162003 with flag 6786343/3393000
131.60/130.26	c cleaning 82003 clauses out of 164009 with flag 6952347/3476000
135.10/133.71	c cleaning 83000 clauses out of 166006 with flag 7120352/3560000
140.39/139.02	c cleaning 83999 clauses out of 168007 with flag 7290357/3645001
144.48/143.13	c cleaning 85000 clauses out of 170008 with flag 7462364/3731001
149.47/148.11	c cleaning 85999 clauses out of 172009 with flag 7636370/3818002
153.86/152.52	c cleaning 87002 clauses out of 174010 with flag 7812378/3906002
158.41/156.93	c cleaning 88003 clauses out of 176006 with flag 7990376/3995000
162.61/161.13	c cleaning 88994 clauses out of 178003 with flag 8170383/4085000
166.89/165.41	c cleaning 90002 clauses out of 180010 with flag 8352393/4176001
172.08/170.68	c cleaning 91000 clauses out of 182007 with flag 8536400/4268000
176.37/174.98	c cleaning 92000 clauses out of 184007 with flag 8722414/4361000
181.38/179.86	c cleaning 92999 clauses out of 186007 with flag 8910434/4455000
186.97/185.40	c cleaning 94003 clauses out of 188008 with flag 9100440/4550000
191.16/189.69	c cleaning 94996 clauses out of 190006 with flag 9292452/4646001
196.21/194.36	c cleaning 96000 clauses out of 192009 with flag 9486454/4743000
200.60/198.75	c cleaning 97003 clauses out of 194009 with flag 9682464/4841000
205.00/203.12	c cleaning 97999 clauses out of 196008 with flag 9880470/4940002
208.99/207.12	c cleaning 98998 clauses out of 198007 with flag 10080471/5040000
213.57/211.79	c cleaning 100004 clauses out of 200009 with flag 10282479/5141000
219.13/217.29	c cleaning 101002 clauses out of 202007 with flag 10486487/5243002
223.82/221.99	c cleaning 101996 clauses out of 204003 with flag 10692494/5346000
228.41/226.50	c cleaning 103001 clauses out of 206007 with flag 10900500/5450000
233.80/231.96	c cleaning 104001 clauses out of 208008 with flag 11110509/5555002
238.39/236.58	c cleaning 104999 clauses out of 210006 with flag 11322521/5661001
243.00/241.19	c cleaning 106001 clauses out of 212007 with flag 11536527/5768001
247.79/245.98	c cleaning 107000 clauses out of 214006 with flag 11752530/5876001
253.58/251.70	c cleaning 107998 clauses out of 216009 with flag 11970541/5985004
259.97/258.15	c cleaning 108998 clauses out of 218008 with flag 12190550/6095001
265.55/263.76	c cleaning 110005 clauses out of 220009 with flag 12412554/6206000
273.22/271.32	c cleaning 111002 clauses out of 222006 with flag 12636569/6318002
281.20/279.38	c cleaning 111998 clauses out of 224002 with flag 12862573/6431000
286.79/284.93	c cleaning 112999 clauses out of 226005 with flag 13090577/6545001
297.07/295.23	c cleaning 113999 clauses out of 228006 with flag 13320587/6660001
309.04/307.28	c cleaning 115000 clauses out of 230008 with flag 13552603/6776002
316.94/315.04	c cleaning 116003 clauses out of 232008 with flag 13786620/6893002
324.55/322.63	c cleaning 116999 clauses out of 234003 with flag 14022628/7011000
334.43/332.57	c cleaning 118000 clauses out of 236004 with flag 14260635/7130000
342.11/340.23	c cleaning 119001 clauses out of 238004 with flag 14500640/7250000
349.91/348.10	c cleaning 119995 clauses out of 240003 with flag 14742647/7371000
358.69/356.74	c cleaning 121002 clauses out of 242009 with flag 14986667/7493001
367.98/366.07	c cleaning 122003 clauses out of 244006 with flag 15232676/7616000
375.15/373.24	c cleaning 122996 clauses out of 246003 with flag 15480690/7740000
381.83/379.91	c cleaning 124000 clauses out of 248007 with flag 15730701/7865000
389.32/387.47	c cleaning 125000 clauses out of 250008 with flag 15982714/7991001
396.88/394.90	c cleaning 125996 clauses out of 252007 with flag 16236722/8118000
404.87/402.93	c cleaning 127001 clauses out of 254012 with flag 16492755/8246001
412.05/410.17	c cleaning 127999 clauses out of 256011 with flag 16750772/8375001
419.33/417.49	c cleaning 129004 clauses out of 258014 with flag 17010799/8505003
426.71/424.85	c cleaning 130003 clauses out of 260009 with flag 17272824/8636002
436.49/434.67	c cleaning 130995 clauses out of 262005 with flag 17536837/8768001
446.14/444.23	c cleaning 132003 clauses out of 264009 with flag 17802844/8901000
454.53/452.66	c cleaning 133001 clauses out of 266007 with flag 18070862/9035001
462.11/460.24	c cleaning 134001 clauses out of 268005 with flag 18340899/9170000
469.09/467.26	c cleaning 135000 clauses out of 270004 with flag 18612928/9306000
477.46/475.29	c cleaning 136000 clauses out of 272006 with flag 18886948/9443002
486.54/484.39	c cleaning 137002 clauses out of 274005 with flag 19162961/9581001
499.62/497.44	c cleaning 137997 clauses out of 276002 with flag 19440981/9720000
507.50/505.30	c cleaning 139000 clauses out of 278006 with flag 19720992/9860001
517.55/515.35	c cleaning 140000 clauses out of 280006 with flag 20003003/10001001
526.93/524.74	c cleaning 141000 clauses out of 282005 with flag 20287016/10143000
537.22/535.07	c cleaning 142000 clauses out of 284007 with flag 20573035/10286002
545.89/543.75	c cleaning 142999 clauses out of 286005 with flag 20861053/10430000
559.07/556.98	c cleaning 143997 clauses out of 288006 with flag 21151066/10575000
567.66/565.53	c cleaning 145005 clauses out of 290010 with flag 21443083/10721001
578.32/576.18	c cleaning 145998 clauses out of 292004 with flag 21737088/10868000
590.98/588.88	c cleaning 147003 clauses out of 294009 with flag 22033109/11016003
601.66/599.53	c cleaning 148001 clauses out of 296005 with flag 22331139/11165002
612.93/610.88	c cleaning 149002 clauses out of 298004 with flag 22631145/11315002
627.61/625.52	c cleaning 150000 clauses out of 300002 with flag 22933161/11466002
640.89/638.80	c cleaning 151001 clauses out of 302002 with flag 23237171/11618002
655.16/653.15	c cleaning 151997 clauses out of 304001 with flag 23543184/11771002
665.34/663.22	c cleaning 152995 clauses out of 306002 with flag 23851189/11925000
677.22/675.12	c cleaning 153997 clauses out of 308007 with flag 24161196/12080000
688.40/686.30	c cleaning 155000 clauses out of 310010 with flag 24473204/12236000
700.67/698.66	c cleaning 155997 clauses out of 312010 with flag 24787208/12393000
714.15/712.10	c cleaning 157003 clauses out of 314014 with flag 25103223/12551001
732.29/730.31	c cleaning 158001 clauses out of 316012 with flag 25421239/12710002
746.07/744.12	c cleaning 159000 clauses out of 318009 with flag 25741243/12870000
758.58/756.53	c cleaning 160004 clauses out of 320009 with flag 26063255/13031000
770.06/768.02	c cleaning 160998 clauses out of 322005 with flag 26387278/13193000
782.53/780.58	c cleaning 162004 clauses out of 324007 with flag 26713294/13356000
795.70/793.70	c cleaning 163002 clauses out of 326004 with flag 27041306/13520001
810.34/808.33	c cleaning 163993 clauses out of 328005 with flag 27371361/13685004
825.11/823.12	c cleaning 165001 clauses out of 330009 with flag 27703401/13851001
840.78/838.87	c cleaning 166001 clauses out of 332009 with flag 28037436/14018002
852.25/850.37	c cleaning 166994 clauses out of 334006 with flag 28373475/14186000
864.72/862.88	c cleaning 168000 clauses out of 336012 with flag 28711513/14355000
879.25/877.39	c cleaning 169004 clauses out of 338013 with flag 29051549/14525001
894.52/892.69	c cleaning 170001 clauses out of 340009 with flag 29393597/14696001
909.09/907.22	c cleaning 171000 clauses out of 342007 with flag 29737625/14868000
923.37/921.54	c cleaning 172001 clauses out of 344008 with flag 30083647/15041001
936.44/934.67	c cleaning 173001 clauses out of 346007 with flag 30431683/15215001
948.21/946.36	c cleaning 173998 clauses out of 348007 with flag 30781709/15390002
959.99/958.18	c cleaning 174998 clauses out of 350007 with flag 31133721/15566000
972.66/970.81	c cleaning 175998 clauses out of 352010 with flag 31487730/15743001
985.84/984.07	c cleaning 176997 clauses out of 354012 with flag 31843740/15921001
999.81/998.08	c cleaning 177998 clauses out of 356014 with flag 32201770/16100000
1014.08/1012.37	c cleaning 179006 clauses out of 358016 with flag 32561801/16280000
1029.51/1027.40	c cleaning 180002 clauses out of 360011 with flag 32923820/16461001
1048.19/1046.15	c cleaning 180996 clauses out of 362008 with flag 33287837/16643000
1064.75/1062.70	c cleaning 182003 clauses out of 364014 with flag 33653862/16826002
1081.31/1079.39	c cleaning 183000 clauses out of 366009 with flag 34021884/17010000
1096.09/1094.14	c cleaning 183999 clauses out of 368009 with flag 34391907/17195000
1113.51/1111.56	c cleaning 185003 clauses out of 370010 with flag 34763933/17381000
1129.47/1127.52	c cleaning 186001 clauses out of 372007 with flag 35137994/17568000
1146.34/1144.41	c cleaning 187002 clauses out of 374008 with flag 35514032/17756002
1163.20/1161.36	c cleaning 187989 clauses out of 376004 with flag 35892085/17945000
1181.17/1179.36	c cleaning 189000 clauses out of 378016 with flag 36272101/18135001
1197.84/1196.02	c cleaning 190004 clauses out of 380015 with flag 36654112/18326000
1214.01/1212.16	c cleaning 191000 clauses out of 382011 with flag 37038125/18518000
1229.17/1227.39	c cleaning 192004 clauses out of 384011 with flag 37424146/18711000
1246.64/1244.87	c cleaning 193004 clauses out of 386009 with flag 37812172/18905002
1263.51/1261.71	c cleaning 193997 clauses out of 388005 with flag 38202203/19100002
1280.28/1278.53	c cleaning 194999 clauses out of 390006 with flag 38594230/19296000
1299.43/1297.73	c cleaning 195999 clauses out of 392007 with flag 38988260/19493000
1318.50/1316.87	c cleaning 196998 clauses out of 394008 with flag 39384307/19691000
1337.66/1335.96	c cleaning 198003 clauses out of 396010 with flag 39782327/19890000
1356.52/1354.85	c cleaning 198995 clauses out of 398007 with flag 40182353/20090000
1372.19/1370.50	c cleaning 200003 clauses out of 400012 with flag 40584369/20291000
1390.65/1389.03	c cleaning 201003 clauses out of 402013 with flag 40988393/20493004
1408.50/1406.90	c cleaning 202003 clauses out of 404007 with flag 41394400/20696001
1425.16/1423.68	c cleaning 203000 clauses out of 406005 with flag 41802433/20900002
1444.25/1442.62	c cleaning 203991 clauses out of 408003 with flag 42212445/21105000
1467.01/1465.47	c cleaning 205002 clauses out of 410014 with flag 42624478/21311002
1486.97/1485.42	c cleaning 206003 clauses out of 412010 with flag 43038520/21518000
1505.03/1503.50	c cleaning 206997 clauses out of 414008 with flag 43454538/21726001
1531.07/1529.65	c cleaning 207997 clauses out of 416010 with flag 43872556/21935000
1558.53/1556.57	c cleaning 209003 clauses out of 418014 with flag 44292583/22145001
1582.38/1580.45	c cleaning 210000 clauses out of 420010 with flag 44714600/22356000
1606.73/1604.82	c cleaning 211001 clauses out of 422010 with flag 45138609/22568000
1626.69/1624.88	c cleaning 211999 clauses out of 424009 with flag 45564643/22781000
1645.76/1643.98	c cleaning 213004 clauses out of 426011 with flag 45992670/22995001
1665.62/1663.88	c cleaning 214001 clauses out of 428006 with flag 46422724/23210000
1698.35/1696.53	c cleaning 215001 clauses out of 430008 with flag 46854742/23426003
1719.31/1717.56	c cleaning 215995 clauses out of 432004 with flag 47288753/23643000
1740.36/1738.62	c cleaning 217004 clauses out of 434011 with flag 47724767/23861002
1758.23/1756.59	c cleaning 217999 clauses out of 436005 with flag 48162774/24080000
1786.06/1784.42	c cleaning 218998 clauses out of 438006 with flag 48602816/24300000
1820.84/1819.14	c cleaning 220004 clauses out of 440008 with flag 49044837/24521000
1842.19/1840.59	c cleaning 220993 clauses out of 442004 with flag 49488857/24743000
1860.36/1858.75	c cleaning 222003 clauses out of 444013 with flag 49934901/24966002
1880.73/1879.17	c cleaning 223001 clauses out of 446009 with flag 50382922/25190001
1897.85/1896.19	c cleaning 223998 clauses out of 448007 with flag 50832937/25415000
1916.21/1914.53	c cleaning 225002 clauses out of 450012 with flag 51284956/25641003
1941.67/1940.01	c cleaning 225998 clauses out of 452007 with flag 51738973/25868000
1962.22/1960.63	c cleaning 226998 clauses out of 454009 with flag 52194992/26096000
1982.17/1980.64	c cleaning 228004 clauses out of 456014 with flag 52653021/26325003
1999.13/1997.19	c cleaning 228997 clauses out of 458007 with flag 53113047/26555000
2020.88/2018.97	c cleaning 230000 clauses out of 460010 with flag 53575083/26786000
2045.93/2044.02	c cleaning 231000 clauses out of 462012 with flag 54039105/27018002
2068.88/2067.06	c cleaning 232001 clauses out of 464012 with flag 54505120/27251002
2094.32/2092.41	c cleaning 233000 clauses out of 466010 with flag 54973142/27485001
2112.17/2110.39	c cleaning 234000 clauses out of 468009 with flag 55443159/27720000
2129.04/2127.22	c cleaning 235000 clauses out of 470011 with flag 55915190/27956002
2151.18/2149.42	c cleaning 235997 clauses out of 472010 with flag 56389204/28193001
2172.73/2170.93	c cleaning 236999 clauses out of 474012 with flag 56865221/28431000
2193.90/2192.11	c cleaning 238003 clauses out of 476014 with flag 57343259/28670001
2217.65/2215.99	c cleaning 239005 clauses out of 478010 with flag 57823288/28910000
2241.51/2239.82	c cleaning 240000 clauses out of 480006 with flag 58305308/29151001
2266.03/2264.34	c cleaning 241000 clauses out of 482005 with flag 58789340/29393000
2289.09/2287.48	c cleaning 242000 clauses out of 484005 with flag 59275358/29636000
2312.83/2311.22	c cleaning 242994 clauses out of 486005 with flag 59763380/29880000
2334.40/2332.89	c cleaning 244004 clauses out of 488011 with flag 60253390/30125000
2356.16/2354.60	c cleaning 245002 clauses out of 490008 with flag 60745418/30371001
2377.75/2376.14	c cleaning 245997 clauses out of 492005 with flag 61239442/30618000
2404.61/2403.05	c cleaning 246998 clauses out of 494009 with flag 61735512/30866001
2435.44/2433.92	c cleaning 248002 clauses out of 496010 with flag 62233540/31115000
2465.39/2463.96	c cleaning 248991 clauses out of 498009 with flag 62733567/31365001
2495.53/2494.18	c cleaning 250005 clauses out of 500017 with flag 63235612/31616000
2523.46/2522.03	c cleaning 251003 clauses out of 502013 with flag 63739673/31868001
2550.00/2548.61	c cleaning 252003 clauses out of 504012 with flag 64245709/32121003
2575.16/2573.82	c cleaning 253000 clauses out of 506007 with flag 64753761/32375001
2602.00/2600.77	c cleaning 253996 clauses out of 508007 with flag 65263795/32630001
2639.27/2637.99	c cleaning 255000 clauses out of 510010 with flag 65775821/32886000
2668.80/2667.57	c cleaning 256001 clauses out of 512010 with flag 66289850/33143000
2703.25/2702.02	c cleaning 257001 clauses out of 514010 with flag 66805906/33401001
2730.98/2729.87	c cleaning 258002 clauses out of 516008 with flag 67323956/33660000
2757.81/2756.15	c cleaning 258998 clauses out of 518009 with flag 67843990/33920003
2788.34/2786.79	c cleaning 259998 clauses out of 520008 with flag 68366018/34181000
2819.37/2817.87	c cleaning 261004 clauses out of 522011 with flag 68890055/34443001
2850.45/2848.99	c cleaning 262004 clauses out of 524007 with flag 69416120/34706001
2882.27/2880.89	c cleaning 263001 clauses out of 526002 with flag 69944178/34970000
2915.69/2914.35	c cleaning 263996 clauses out of 528001 with flag 70474242/35235000
2944.12/2942.81	c cleaning 265003 clauses out of 530007 with flag 71006330/35501002
2973.65/2972.48	c cleaning 265998 clauses out of 532003 with flag 71540401/35768001
3017.95/3016.74	c cleaning 266998 clauses out of 534006 with flag 72076502/36036002
3051.00/3049.86	c cleaning 267997 clauses out of 536007 with flag 72614535/36305001
3085.33/3084.28	c cleaning 269000 clauses out of 538010 with flag 73154584/36575001
3116.07/3115.05	c cleaning 270000 clauses out of 540009 with flag 73696615/36846000
3154.87/3153.90	c cleaning 271002 clauses out of 542009 with flag 74240645/37118000
3206.86/3205.83	c cleaning 271997 clauses out of 544008 with flag 74786663/37391001
3241.69/3240.72	c cleaning 273002 clauses out of 546011 with flag 75334740/37665001
3280.61/3279.72	c cleaning 273997 clauses out of 548009 with flag 75884786/37940001
3310.16/3309.37	c cleaning 275004 clauses out of 550012 with flag 76436805/38216001
3343.29/3342.55	c cleaning 276005 clauses out of 552009 with flag 76990847/38493002
3375.73/3374.29	c cleaning 276998 clauses out of 554002 with flag 77546885/38771000
3412.84/3411.43	c cleaning 277998 clauses out of 556004 with flag 78104911/39050000
3447.77/3446.48	c cleaning 278997 clauses out of 558006 with flag 78664937/39330000
3479.33/3477.90	c cleaning 280000 clauses out of 560009 with flag 79226946/39611000
3508.27/3506.91	c cleaning 281003 clauses out of 562010 with flag 79790992/39893001
3554.58/3553.36	c cleaning 281998 clauses out of 564006 with flag 80357009/40176000
3586.72/3585.59	c cleaning 283000 clauses out of 566009 with flag 80925045/40460001
3600.08/3598.81	c starts		: 1
3600.08/3598.82	c timeout
3600.08/3598.82	c conflicts		: 40714682
3600.08/3598.82	c decisions		: 40716525
3600.08/3598.82	c propagations		: 194625217
3600.08/3598.82	c inspects		: 18602142923
3600.08/3598.82	c shortcuts		: 0
3600.08/3598.82	c learnt literals	: 0
3600.08/3598.82	c learnt binary clauses	: 0
3600.08/3598.82	c learnt ternary clauses	: 0
3600.08/3598.82	c learnt constraints	: 40714682
3600.08/3598.82	c ignored constraints	: 0
3600.08/3598.82	c root simplifications	: 0
3600.08/3598.82	c removed literals (reason simplification)	: 485147184
3600.08/3598.82	c reason swapping (by a shorter reason)	: 0
3600.08/3598.82	c Calls to reduceDB	: 280
3600.08/3598.82	c Number of update (reduction) of LBD	: 2798
3600.08/3598.82	c Imported unit clauses	: 0
3600.08/3598.82	c No decision after first conflict	: false
3600.08/3598.82	c number of reductions to clauses (during analyze)	: 0
3600.08/3598.82	c number of learned constraints concerned by reduction	: 0
3600.08/3598.82	c number of learning phase by resolution	: 0
3600.08/3598.82	c number of learning phase by cutting planes	: 0
3600.08/3598.82	c number of rounding to 1 operations	: 0
3600.08/3598.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3598.82	c number of reductions of the coefficients by power 2 	: 0
3600.08/3598.82	c number of right shift for reduction by power 2 	: 0
3600.08/3598.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3598.83	c number of ending skipping 	: 0
3600.08/3598.83	c number of internal skipping 	: 0
3600.08/3598.83	c number of derivation steps 	: 0
3600.08/3598.83	c number of skipped derivation steps 	: 0
3600.08/3598.83	c number of remaining unassigned 	: 0
3600.08/3598.83	c number of remaining assigned 	: 0
3600.08/3598.83	c number of falsified literals weakened from reason	: 0
3600.08/3598.83	c number of falsified literals weakened from conflict	: 0
3600.08/3598.83	c time for arithmetic operations	: 0
3600.08/3598.83	c minimum degree of deleted constraints	: null
3600.08/3598.83	c maximum degree of deleted constraints	: null
3600.08/3598.83	c number of deleted constraints	: 0
3600.08/3598.83	c speed (assignments/second)	: 54082.42054443326
3600.08/3598.83	c non guided choices	: 68
3600.08/3598.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 537690
3600.08/3598.89	s UNKNOWN
3600.08/3598.89	c Total wall clock time (in seconds): 3598.757

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495900-1751160463/watcher-4495900-1751160463 -o /tmp/evaluation-result-4495900-1751160463/solver-4495900-1751160463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751156866-21071 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4495900-1751160463.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=21517, runsolver pid=21514

[startup+0.100061 s]*
/proc/loadavg: 4.11 4.11 4.08 7/338 21535
/proc/meminfo: memFree=122850732/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=18930384 memory=57272 CPUtime=0.12 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 6463 0 0 0 11 1 0 0 20 0 18 0 31724144 19384713216 14318 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4732596 14318 5337 1 0 547603 0
[pid=21517/tid=21519] ppid=21514 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 5046 0 0 0 6 1 0 0 20 0 18 0 31724146 19384713216 14318 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=18930384 memory=237112656212 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31724148 19384713216 14318 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=18930384 memory=59585004336188 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31724148 19384713216 14318 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57272 KiB

[startup+0.205946 s]*
/proc/loadavg: 4.11 4.11 4.08 7/339 21536
/proc/meminfo: memFree=122845376/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=18996948 memory=62692 CPUtime=0.32 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 7443 0 0 0 30 2 0 0 20 0 19 0 31724144 19452874752 15673 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4749237 15673 5433 1 0 548567 0
[pid=21517/tid=21519] ppid=21514 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 5296 0 0 0 16 1 0 0 20 0 19 0 31724146 19452874752 15673 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=18996948 memory=16163 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31724148 19452874752 15673 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=18996948 memory=58485492679654 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31724148 19452874752 15673 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31724160 19452874752 15673 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62692 KiB

[startup+0.306006 s]*
/proc/loadavg: 4.11 4.11 4.08 6/339 21536
/proc/meminfo: memFree=122838760/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=18996948 memory=66812 CPUtime=0.52 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 8371 0 0 0 50 2 0 0 20 0 19 0 31724144 19452874752 16703 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4749237 16703 5433 1 0 549057 0
[pid=21517/tid=21519] ppid=21514 vsize=18996948 memory=-6000919489953491821 CPUtime=0.26 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 5304 0 0 0 25 1 0 0 20 0 19 0 31724146 19452874752 16703 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31724148 19452874752 16703 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31724148 19452874752 16703 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31724160 19452874752 16703 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66812 KiB

[startup+0.700252 s]
/proc/loadavg: 4.11 4.11 4.08 6/339 21536
/proc/meminfo: memFree=122823344/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=18996948 memory=93472 CPUtime=1.28 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 15587 0 0 0 124 4 0 0 20 0 19 0 31724144 19452874752 23368 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4749237 23368 5433 1 0 553656 0
[pid=21517/tid=21519] ppid=21514 vsize=18996948 memory=17408 CPUtime=0.63 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 5358 0 0 0 62 1 0 0 20 0 19 0 31724146 19452874752 23368 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=18996948 memory=10496 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31724148 19452874752 23368 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31724148 19452874752 23368 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=18996948 memory=4740 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31724160 19452874752 23368 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93472 KiB

[startup+1.50026 s]
/proc/loadavg: 4.11 4.11 4.08 6/339 21536
/proc/meminfo: memFree=122803560/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=18996948 memory=120012 CPUtime=2.61 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 20193 0 0 0 256 5 0 0 20 0 19 0 31724144 19452874752 30003 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4749237 30003 5433 1 0 554062 0
[pid=21517/tid=21519] ppid=21514 vsize=18996948 memory=0 CPUtime=1.43 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 5698 0 0 0 141 2 0 0 20 0 19 0 31724146 19452874752 30003 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=18996948 memory=10496 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31724148 19452874752 30003 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31724148 19452874752 30003 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=18996948 memory=4740 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31724160 19452874752 30003 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120012 KiB

[startup+3.10583 s]
/proc/loadavg: 4.10 4.11 4.08 5/339 21536
/proc/meminfo: memFree=122738336/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=18996948 memory=173384 CPUtime=4.27 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 20867 0 0 0 421 6 0 0 20 0 19 0 31724144 19452874752 43346 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4749237 43346 5433 1 0 554064 0
[pid=21517/tid=21519] ppid=21514 vsize=18996948 memory=10496 CPUtime=3.03 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 5983 0 0 0 300 3 0 0 20 0 19 0 31724146 19452874752 43346 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=18996948 memory=-6000919489953491821 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31724148 19452874752 43346 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31724148 19452874752 43346 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31724160 19452874752 43346 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 173384 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.11 4.08 5/339 21603
/proc/meminfo: memFree=125544448/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=19063512 memory=181632 CPUtime=7.53 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 22283 0 0 0 747 6 0 0 20 0 20 0 31724144 19521036288 45408 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4765878 45408 5497 1 0 554353 0
[pid=21517/tid=21519] ppid=21514 vsize=19063512 memory=0 CPUtime=6.21 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 6106 0 0 0 618 3 0 0 20 0 20 0 31724146 19521036288 45408 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 45408 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 45408 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=19063512 memory=16520 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724160 19521036288 45408 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181632 KiB

[startup+12.7002 s]
/proc/loadavg: 4.33 4.16 4.10 5/340 21671
/proc/meminfo: memFree=127225668/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=19063512 memory=233208 CPUtime=13.94 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 24481 0 0 0 1387 7 0 0 20 0 20 0 31724144 19521036288 58302 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4765878 58302 5497 1 0 554353 0
[pid=21517/tid=21519] ppid=21514 vsize=19063512 memory=10496 CPUtime=12.53 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 6782 0 0 0 1250 3 0 0 20 0 20 0 31724146 19521036288 58302 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 58302 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=19063512 memory=-6000919489953491821 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 58302 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=19063512 memory=219865693614 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724160 19521036288 58302 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 13.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 233208 KiB

[startup+25.5002 s]
/proc/loadavg: 4.34 4.17 4.10 5/340 21738
/proc/meminfo: memFree=128878636/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=19063512 memory=397408 CPUtime=26.82 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 26538 0 0 0 2671 11 0 0 20 0 20 0 31724144 19521036288 99352 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4765878 99352 5497 1 0 554353 0
[pid=21517/tid=21519] ppid=21514 vsize=19063512 memory=0 CPUtime=25.16 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 7249 0 0 0 2513 3 0 0 20 0 20 0 31724146 19521036288 99352 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=19063512 memory=354308 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 99352 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=19063512 memory=181632 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 99352 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724160 19521036288 99352 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 26.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 397408 KiB

[startup+51.1057 s]
/proc/loadavg: 4.30 4.17 4.10 5/340 21805
/proc/meminfo: memFree=128115824/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=19063512 memory=637608 CPUtime=52.53 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 30087 0 0 0 5236 17 0 0 20 0 20 0 31724144 19521036288 159402 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4765878 159402 5497 1 0 554353 0

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

/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 1003 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=19063512 memory=16520 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724160 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 3223.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2224480 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/341 22762
/proc/meminfo: memFree=122049728/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=19063512 memory=2224480 CPUtime=3283.21 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 87226 0 1 0 328210 111 0 0 20 0 20 0 31724144 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4765878 556120 5529 1 0 569032 0
[pid=21517/tid=21519] ppid=21514 vsize=19063512 memory=2224480 CPUtime=3270.02 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 36150 0 0 0 326974 28 0 0 20 0 20 0 31724146 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=19063512 memory=2224480 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 1003 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724160 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 3283.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2224480 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/343 22771
/proc/meminfo: memFree=122031656/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=19063512 memory=2224480 CPUtime=3343.09 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 87407 0 1 0 334196 113 0 0 20 0 20 0 31724144 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4765878 556120 5529 1 0 569038 0
[pid=21517/tid=21519] ppid=21514 vsize=19063512 memory=2700 CPUtime=3329.87 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 36308 0 0 0 332959 28 0 0 20 0 20 0 31724146 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=19063512 memory=2224480 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=19063512 memory=2224480 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 1020 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=19063512 memory=-6000919489953491821 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724160 19521036288 556120 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 3343.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2224480 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/343 22773
/proc/meminfo: memFree=122025808/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=19063512 memory=2229600 CPUtime=3403.77 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 90708 0 1 0 340262 115 0 0 20 0 20 0 31724144 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4765878 557400 5529 1 0 570307 0
[pid=21517/tid=21519] ppid=21514 vsize=19063512 memory=2224480 CPUtime=3389.56 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 38982 0 0 0 338927 29 0 0 20 0 20 0 31724146 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=19063512 memory=2224480 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=19063512 memory=2224480 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 1021 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=19063512 memory=2224480 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724160 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 3403.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2229600 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/343 22775
/proc/meminfo: memFree=121962772/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=19063512 memory=2229600 CPUtime=3463.76 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 91572 0 1 0 346259 117 0 0 20 0 20 0 31724144 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4765878 557400 5529 1 0 570307 0
[pid=21517/tid=21519] ppid=21514 vsize=19063512 memory=2224480 CPUtime=3449.28 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 39619 0 0 0 344899 29 0 0 20 0 20 0 31724146 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=19063512 memory=2229600 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=19063512 memory=4643658284762033818 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 1039 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=19063512 memory=7595156280091765095 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724160 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 3463.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2229600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/343 22777
/proc/meminfo: memFree=121964984/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=19063512 memory=2229600 CPUtime=3523.64 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 91917 0 1 0 352245 119 0 0 20 0 20 0 31724144 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4765878 557400 5529 1 0 570307 0
[pid=21517/tid=21519] ppid=21514 vsize=19063512 memory=16520 CPUtime=3509.15 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 39923 0 0 0 350886 29 0 0 20 0 20 0 31724146 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=19063512 memory=2229600 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=19063512 memory=2229600 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 1058 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724160 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 3523.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2229600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/342 22780
/proc/meminfo: memFree=121980988/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=19063512 memory=2229600 CPUtime=3583.53 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 92008 0 1 0 358234 119 0 0 20 0 20 0 31724144 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4765878 557400 5529 1 0 570307 0
[pid=21517/tid=21519] ppid=21514 vsize=19063512 memory=17408 CPUtime=3569.02 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 40009 0 0 0 356873 29 0 0 20 0 20 0 31724146 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=19063512 memory=16520 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=19063512 memory=2208 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 1058 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=19063512 memory=16520 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724160 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 3583.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2229600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.8 s]
/proc/loadavg: 4.15 4.14 4.11 5/342 22780
/proc/meminfo: memFree=121980988/131250000 swapFree=33010684/33010684
[pid=21517] ppid=21514 vsize=19063512 memory=2229600 CPUtime=3600.08 cores=1,3
/proc/21517/stat : 21517 (java) S 21514 21517 21059 0 -1 4194304 92346 0 1 0 359889 119 0 0 20 0 20 0 31724144 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
/proc/21517/statm: 4765878 557400 5529 1 0 570307 0
[pid=21517/tid=21519] ppid=21514 vsize=19063512 memory=5728 CPUtime=3585.39 cores=1,3
/proc/21517/task/21519/stat : 21519 (java) R 21514 21517 21059 0 -1 4194368 40216 0 0 0 358510 29 0 0 20 0 20 0 31724146 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21528] ppid=21514 vsize=19063512 memory=9088 CPUtime=0 cores=1,3
/proc/21517/task/21528/stat : 21528 (Finalizer) S 21514 21517 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21535] ppid=21514 vsize=19063512 memory=25560 CPUtime=0 cores=1,3
/proc/21517/task/21535/stat : 21535 (Common-Cleaner) S 21514 21517 21059 0 -1 4194368 1058 0 0 0 0 0 0 0 20 0 20 0 31724148 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
[pid=21517/tid=21536] ppid=21514 vsize=19063512 memory=-6000919489953491821 CPUtime=0 cores=1,3
/proc/21517/task/21536/stat : 21536 (Timer-0) S 21514 21517 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724160 19521036288 557400 18446744073709551615 94217467437056 94217467440752 140727100640880 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94217467448568 94217467449360 94217477394432 140727100643713 140727100643814 140727100643814 140727100649416 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2229600 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.03 s, system=1.20725 s

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

[startup+3598.91 s]*
/proc/loadavg: 4.15 4.14 4.11 5/324 22784
/proc/meminfo: memFree=124099772/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3598.91
CPU time (s): 3600.23
CPU user time (s): 3599.03
CPU system time (s): 1.20725
CPU usage (%): 100.037
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2229600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.03
system time used= 1.20725
maximum resident set size= 2230368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93862
page faults= 1
swaps= 0
block input operations= 992
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105146
involuntary context switches= 7716


# summary of solver processes directly reported to runsolver:
#   pid: 21517
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3599.03
#   total CPU system time (s): 1.20725

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77487 second user time and 17.0999 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-06-29 03:27:43
IDJOB=4495900
IDBENCH=148101
IDSOLVER=3363
FILE ID=nodeC018/4495900-1751160463
RUNJOBID= nodeC018-1751156866-21071
SLURM_JOB_ID= 9587480
Free space on /tmp= 433060 MiB

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

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

MD5SUM BENCH= f4201f1ef8f74939600eabb6a2266017
RANDOM SEED=1440024242

nodeC018 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		: 3599.841
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.66
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.832
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.66
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		: 3589.256
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.66
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		: 3598.656
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.66
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.834
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.66
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.824
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.66
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		: 3603.055
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.66
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		: 3592.703
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        122887392 kB
MemAvailable:   122512140 kB
Buffers:            3280 kB
Cached:           413008 kB
SwapCached:            0 kB
Active:          7614236 kB
Inactive:         157144 kB
Active(anon):    7373168 kB
Inactive(anon):        0 kB
Active(file):     241068 kB
Inactive(file):   157144 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               700 kB
Writeback:            48 kB
AnonPages:       7357584 kB
Mapped:           122464 kB
Shmem:             18076 kB
KReclaimable:      86240 kB
Slab:             169628 kB
SReclaimable:      86240 kB
SUnreclaim:        83388 kB
KernelStack:        5184 kB
PageTables:        18056 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    8071684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7155712 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC018 at 2025-06-29 04:27:42