Trace number 4513663

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.17 3608.31

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
MD5SUM9fac4249a105f22015b6c608ca9c575b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.026432
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables153
Total number of constraints51
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)51
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
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.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.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.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4513663-1751220390.opb
0.13/0.13	c reading problem ... 
0.13/0.14	c using VERIPB proof format
0.13/0.14	c  no objective function found
0.13/0.15	c ... done. Wall clock time 0.015s.
0.13/0.15	c declared #vars     153
0.13/0.15	c #constraints  102
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102
0.13/0.15	c 102 constraints processed.
1.09/0.66	c cleaning 2495 clauses out of 5000 with flag 24849/5000
1.88/1.07	c cleaning 4241 clauses out of 8505 with flag 64484/11000
2.66/1.48	c cleaning 5630 clauses out of 11264 with flag 111690/18000
3.27/1.79	c cleaning 6810 clauses out of 13636 with flag 156242/26002
4.06/2.11	c cleaning 7905 clauses out of 15825 with flag 213545/35001
4.47/2.45	c cleaning 8953 clauses out of 17919 with flag 271709/45000
5.02/2.82	c cleaning 9973 clauses out of 19967 with flag 338468/56001
5.42/3.28	c cleaning 10985 clauses out of 21996 with flag 410015/68003
6.12/3.80	c cleaning 11992 clauses out of 24008 with flag 499121/81000
6.69/4.36	c cleaning 13002 clauses out of 26017 with flag 584173/95001
7.39/5.07	c cleaning 13999 clauses out of 28015 with flag 682434/110001
8.39/6.01	c cleaning 14999 clauses out of 30015 with flag 789080/126000
9.41/7.05	c cleaning 16001 clauses out of 32017 with flag 916358/143001
10.24/7.85	c cleaning 17003 clauses out of 34017 with flag 1037286/161002
11.13/8.71	c cleaning 18001 clauses out of 36012 with flag 1165390/180000
12.14/9.78	c cleaning 18982 clauses out of 38011 with flag 1315213/200000
13.73/11.35	c cleaning 19990 clauses out of 40029 with flag 1493546/221000
14.92/12.50	c cleaning 21014 clauses out of 42039 with flag 1643542/243000
16.02/13.65	c cleaning 22007 clauses out of 44025 with flag 1788581/266000
17.12/14.77	c cleaning 23002 clauses out of 46020 with flag 1935354/290002
18.42/16.07	c cleaning 24003 clauses out of 48018 with flag 2097386/315002
19.82/17.46	c cleaning 25000 clauses out of 50014 with flag 2265898/341001
21.42/19.03	c cleaning 26000 clauses out of 52013 with flag 2455344/368000
23.01/20.63	c cleaning 26999 clauses out of 54014 with flag 2648189/396001
24.61/22.28	c cleaning 27991 clauses out of 56014 with flag 2839402/425000
26.41/24.04	c cleaning 29005 clauses out of 58023 with flag 3042989/455000
28.20/25.83	c cleaning 29998 clauses out of 60018 with flag 3248741/486000
30.00/27.66	c cleaning 30997 clauses out of 62020 with flag 3458311/518000
32.29/29.99	c cleaning 32002 clauses out of 64023 with flag 3689953/551000
34.41/32.20	c cleaning 33000 clauses out of 66022 with flag 3915805/585001
36.71/34.52	c cleaning 34003 clauses out of 68021 with flag 4156664/620000
39.10/36.95	c cleaning 35003 clauses out of 70018 with flag 4420056/656000
41.60/39.46	c cleaning 35992 clauses out of 72015 with flag 4683356/693000
44.11/41.93	c cleaning 36996 clauses out of 74024 with flag 4950798/731001
47.10/45.00	c cleaning 38006 clauses out of 76027 with flag 5227890/770000
49.88/47.79	c cleaning 39003 clauses out of 78021 with flag 5511929/810000
52.88/50.71	c cleaning 39998 clauses out of 80018 with flag 5795897/851000
55.87/53.71	c cleaning 40997 clauses out of 82020 with flag 6089592/893000
59.08/56.91	c cleaning 42005 clauses out of 84024 with flag 6400766/936001
62.27/60.14	c cleaning 43004 clauses out of 86018 with flag 6706016/980000
65.43/63.40	c cleaning 44001 clauses out of 88015 with flag 7011177/1025001
68.73/66.70	c cleaning 44998 clauses out of 90014 with flag 7331121/1071001
72.13/70.14	c cleaning 45999 clauses out of 92015 with flag 7657116/1118000
75.92/73.99	c cleaning 47003 clauses out of 94017 with flag 7975722/1166001
79.81/77.87	c cleaning 48003 clauses out of 96013 with flag 8316830/1215000
83.90/81.90	c cleaning 49000 clauses out of 98011 with flag 8669174/1265001
87.81/85.85	c cleaning 49998 clauses out of 100010 with flag 9049548/1316000
92.00/90.04	c cleaning 50983 clauses out of 102013 with flag 9415727/1368001
96.33/94.58	c cleaning 52005 clauses out of 104031 with flag 9806628/1421002
100.65/98.83	c cleaning 53005 clauses out of 106026 with flag 10174873/1475002
105.63/103.81	c cleaning 54001 clauses out of 108021 with flag 10585313/1530002
110.03/108.28	c cleaning 55003 clauses out of 110018 with flag 10977196/1586000
114.83/113.00	c cleaning 55998 clauses out of 112016 with flag 11386162/1643001
120.13/118.33	c cleaning 56999 clauses out of 114017 with flag 11815207/1701000
125.90/124.21	c cleaning 58001 clauses out of 116018 with flag 12244038/1760000
131.10/129.42	c cleaning 59000 clauses out of 118018 with flag 12707361/1820001
136.71/134.91	c cleaning 60003 clauses out of 120018 with flag 13180364/1881001
142.39/140.69	c cleaning 60999 clauses out of 122014 with flag 13624749/1943000
148.28/146.52	c cleaning 62002 clauses out of 124015 with flag 14056168/2006000
154.37/152.69	c cleaning 63000 clauses out of 126013 with flag 14523524/2070000
160.45/158.88	c cleaning 63994 clauses out of 128014 with flag 14987831/2135001
166.84/165.21	c cleaning 65000 clauses out of 130020 with flag 15485096/2201001
173.53/171.91	c cleaning 65997 clauses out of 132019 with flag 15994413/2268000
180.02/178.47	c cleaning 67007 clauses out of 134022 with flag 16472309/2336000
187.09/185.67	c cleaning 67993 clauses out of 136015 with flag 16972785/2405000
194.10/192.61	c cleaning 69008 clauses out of 138023 with flag 17490202/2475001
200.99/199.57	c cleaning 69997 clauses out of 140015 with flag 17993870/2546001
209.10/207.68	c cleaning 71000 clauses out of 142017 with flag 18536063/2618000
217.22/216.85	c cleaning 72000 clauses out of 144017 with flag 19099634/2691000
224.82/224.46	c cleaning 73000 clauses out of 146017 with flag 19624625/2765000
232.91/232.53	c cleaning 74007 clauses out of 148020 with flag 20175965/2840003
240.71/240.33	c cleaning 74999 clauses out of 150011 with flag 20749267/2916001
249.13/248.76	c cleaning 76000 clauses out of 152011 with flag 21331927/2993000
257.80/257.57	c cleaning 76997 clauses out of 154011 with flag 21909445/3071000
266.91/266.63	c cleaning 77995 clauses out of 156015 with flag 22515253/3150001
276.54/276.25	c cleaning 79004 clauses out of 158019 with flag 23117169/3230000
286.16/285.98	c cleaning 79997 clauses out of 160016 with flag 23755013/3311001
295.67/295.48	c cleaning 80998 clauses out of 162018 with flag 24364089/3393000
306.60/306.39	c cleaning 82006 clauses out of 164020 with flag 25028327/3476000
316.89/316.70	c cleaning 83000 clauses out of 166015 with flag 25709153/3560001
327.12/326.93	c cleaning 83995 clauses out of 168015 with flag 26357979/3645001
337.24/337.02	c cleaning 85002 clauses out of 170021 with flag 26984825/3731002
347.94/347.87	c cleaning 86002 clauses out of 172019 with flag 27612793/3818002
359.65/359.50	c cleaning 87000 clauses out of 174015 with flag 28326516/3906000
371.47/371.36	c cleaning 88002 clauses out of 176016 with flag 29002675/3995001
383.21/383.16	c cleaning 88999 clauses out of 178013 with flag 29680899/4085000
394.97/394.96	c cleaning 90001 clauses out of 180015 with flag 30358532/4176001
406.39/406.47	c cleaning 90998 clauses out of 182014 with flag 31043073/4268001
418.30/418.32	c cleaning 91996 clauses out of 184015 with flag 31746079/4361000
431.84/431.82	c cleaning 93004 clauses out of 186019 with flag 32503907/4455000
444.73/444.83	c cleaning 94003 clauses out of 188017 with flag 33267006/4550002
458.34/458.41	c cleaning 94996 clauses out of 190012 with flag 34006838/4646000
471.76/471.94	c cleaning 96001 clauses out of 192020 with flag 34736132/4743004
485.27/485.46	c cleaning 97003 clauses out of 194015 with flag 35483674/4841000
498.40/498.60	c cleaning 97997 clauses out of 196013 with flag 36213884/4940001
512.96/513.22	c cleaning 99001 clauses out of 198015 with flag 36959019/5040000
527.30/527.66	c cleaning 99999 clauses out of 200015 with flag 37728296/5141001
541.92/542.28	c cleaning 100996 clauses out of 202016 with flag 38501182/5243001
556.33/556.65	c cleaning 101999 clauses out of 204019 with flag 39289685/5346000
571.69/572.06	c cleaning 103006 clauses out of 206021 with flag 40096251/5450001
588.00/588.34	c cleaning 103998 clauses out of 208014 with flag 40923545/5555000
603.83/604.27	c cleaning 104991 clauses out of 210017 with flag 41729829/5661001
619.21/619.79	c cleaning 106003 clauses out of 212026 with flag 42568241/5768001
635.19/635.73	c cleaning 107002 clauses out of 214023 with flag 43375656/5876001
652.10/652.70	c cleaning 108007 clauses out of 216022 with flag 44216332/5985002
667.89/668.56	c cleaning 108996 clauses out of 218014 with flag 45065703/6095001
685.22/685.94	c cleaning 109996 clauses out of 220018 with flag 45904038/6206001
702.23/702.93	c cleaning 110996 clauses out of 222021 with flag 46863764/6318000
720.51/721.22	c cleaning 112005 clauses out of 224026 with flag 47771504/6431001
738.64/739.37	c cleaning 113001 clauses out of 226021 with flag 48696429/6545001
758.60/759.30	c cleaning 114010 clauses out of 228022 with flag 49597233/6660003
776.05/776.88	c cleaning 114997 clauses out of 230010 with flag 50469187/6776001
794.95/795.77	c cleaning 115992 clauses out of 232012 with flag 51366360/6893000
814.38/815.29	c cleaning 117003 clauses out of 234021 with flag 52289439/7011001
833.94/834.84	c cleaning 118003 clauses out of 236017 with flag 53187454/7130000
853.53/854.43	c cleaning 118999 clauses out of 238014 with flag 54109578/7250000
872.99/873.94	c cleaning 120003 clauses out of 240015 with flag 55067237/7371000
893.39/894.30	c cleaning 121001 clauses out of 242012 with flag 55997677/7493000
913.67/914.60	c cleaning 121998 clauses out of 244012 with flag 56930132/7616001
934.23/935.22	c cleaning 122999 clauses out of 246013 with flag 57889401/7740000
956.47/957.52	c cleaning 123990 clauses out of 248014 with flag 58873907/7865000
977.16/978.25	c cleaning 124999 clauses out of 250024 with flag 59870630/7991000
999.42/1000.58	c cleaning 126005 clauses out of 252025 with flag 60873758/8118000
1021.08/1022.21	c cleaning 127001 clauses out of 254021 with flag 61875721/8246001
1044.08/1045.21	c cleaning 127998 clauses out of 256020 with flag 62886773/8375001
1068.71/1069.99	c cleaning 129005 clauses out of 258026 with flag 63938554/8505005
1091.66/1092.99	c cleaning 130001 clauses out of 260018 with flag 64970813/8636002
1114.92/1116.22	c cleaning 131003 clauses out of 262015 with flag 65995091/8768000
1139.59/1140.90	c cleaning 132000 clauses out of 264012 with flag 67063298/8901000
1161.74/1163.17	c cleaning 133000 clauses out of 266013 with flag 68095061/9035001
1187.54/1189.01	c cleaning 133997 clauses out of 268013 with flag 69170835/9170001
1212.73/1214.28	c cleaning 135001 clauses out of 270017 with flag 70226632/9306002
1238.71/1240.28	c cleaning 136001 clauses out of 272015 with flag 71306811/9443001
1264.55/1266.17	c cleaning 136994 clauses out of 274014 with flag 72421222/9581001
1291.33/1292.90	c cleaning 138001 clauses out of 276020 with flag 73494111/9720001
1318.57/1320.27	c cleaning 138987 clauses out of 278018 with flag 74605554/9860000
1346.02/1347.76	c cleaning 140009 clauses out of 280032 with flag 75713332/10001001
1375.15/1376.90	c cleaning 141006 clauses out of 282022 with flag 76861643/10143000
1400.83/1402.60	c cleaning 141996 clauses out of 284019 with flag 77982476/10286003
1428.70/1430.57	c cleaning 143001 clauses out of 286020 with flag 79107032/10430000
1457.13/1459.26	c cleaning 144002 clauses out of 288019 with flag 80231440/10575000
1486.96/1489.18	c cleaning 145003 clauses out of 290017 with flag 81377888/10721000
1517.08/1519.33	c cleaning 145999 clauses out of 292014 with flag 82602000/10868000
1548.36/1550.65	c cleaning 147000 clauses out of 294016 with flag 83780025/11016001
1578.12/1580.41	c cleaning 148000 clauses out of 296015 with flag 85031568/11165000
1607.86/1610.28	c cleaning 148984 clauses out of 298015 with flag 86414553/11315000
1637.11/1639.59	c cleaning 150002 clauses out of 300031 with flag 87725634/11466000
1668.46/1670.93	c cleaning 151012 clauses out of 302029 with flag 88950520/11618000
1699.09/1701.63	c cleaning 151989 clauses out of 304017 with flag 90168811/11771000
1734.01/1736.67	c cleaning 153010 clauses out of 306031 with flag 91519796/11925003
1765.29/1767.90	c cleaning 153999 clauses out of 308018 with flag 92774685/12080000
1797.23/1799.94	c cleaning 155002 clauses out of 310020 with flag 94030010/12236001
1830.54/1833.30	c cleaning 156003 clauses out of 312018 with flag 95279659/12393001
1862.54/1865.35	c cleaning 157000 clauses out of 314015 with flag 96633431/12551001
1897.38/1900.24	c cleaning 158000 clauses out of 316015 with flag 97970245/12710001
1929.40/1932.32	c cleaning 158999 clauses out of 318015 with flag 99248870/12870001
1964.18/1967.13	c cleaning 160004 clauses out of 320015 with flag 100591987/13031000
1998.41/2001.45	c cleaning 160979 clauses out of 322011 with flag 101928551/13193000
2033.64/2036.72	c cleaning 162008 clauses out of 324032 with flag 103232165/13356000
2071.06/2074.27	c cleaning 163004 clauses out of 326024 with flag 104646343/13520000
2107.72/2110.98	c cleaning 164007 clauses out of 328021 with flag 105997121/13685001
2144.54/2147.88	c cleaning 165000 clauses out of 330016 with flag 107404476/13851003
2186.53/2189.93	c cleaning 166002 clauses out of 332013 with flag 108810802/14018000
2222.23/2225.73	c cleaning 166992 clauses out of 334012 with flag 110289829/14186001
2261.26/2264.81	c cleaning 168002 clauses out of 336020 with flag 111716952/14355001
2303.64/2307.33	c cleaning 169002 clauses out of 338020 with flag 113148116/14525003
2342.17/2345.98	c cleaning 170001 clauses out of 340017 with flag 114534627/14696002
2380.23/2384.01	c cleaning 171000 clauses out of 342014 with flag 115987778/14868000
2424.61/2428.55	c cleaning 171996 clauses out of 344014 with flag 117447625/15041000
2464.92/2468.99	c cleaning 172997 clauses out of 346018 with flag 118904454/15215000
2505.47/2509.55	c cleaning 173998 clauses out of 348021 with flag 120340220/15390000
2544.66/2548.84	c cleaning 175002 clauses out of 350024 with flag 121749795/15566001
2584.41/2588.70	c cleaning 176008 clauses out of 352022 with flag 123213837/15743001
2629.21/2633.62	c cleaning 176992 clauses out of 354014 with flag 124730993/15921001
2672.79/2677.35	c cleaning 178001 clauses out of 356021 with flag 126192788/16100000
2717.53/2722.28	c cleaning 178999 clauses out of 358021 with flag 127842487/16280001
2764.04/2768.63	c cleaning 179984 clauses out of 360021 with flag 129364767/16461000
2813.80/2818.55	c cleaning 181000 clauses out of 362037 with flag 130928301/16643000
2857.96/2862.96	c cleaning 182014 clauses out of 364038 with flag 132501015/16826001
2903.42/2908.54	c cleaning 183005 clauses out of 366025 with flag 134049572/17010002
2952.38/2958.16	c cleaning 184004 clauses out of 368019 with flag 135621048/17195001
3001.83/3007.74	c cleaning 184999 clauses out of 370016 with flag 137116910/17381002
3047.93/3054.11	c cleaning 185999 clauses out of 372016 with flag 138612541/17568001
3096.06/3102.49	c cleaning 187004 clauses out of 374017 with flag 140182382/17756001
3145.29/3151.97	c cleaning 187999 clauses out of 376012 with flag 141794707/17945000
3199.16/3206.02	c cleaning 189000 clauses out of 378013 with flag 143416276/18135000
3247.42/3254.23	c cleaning 189998 clauses out of 380014 with flag 145007393/18326001
3298.37/3305.49	c cleaning 190993 clauses out of 382015 with flag 146633229/18518000
3350.71/3358.02	c cleaning 192005 clauses out of 384022 with flag 148254933/18711000
3403.84/3411.34	c cleaning 192998 clauses out of 386019 with flag 149865924/18905002
3457.10/3464.84	c cleaning 193995 clauses out of 388019 with flag 151517905/19100000
3512.38/3520.30	c cleaning 195000 clauses out of 390024 with flag 153194330/19296000
3562.54/3570.60	c cleaning 196006 clauses out of 392024 with flag 154771953/19493000
3600.02/3608.21	c timeout
3600.02/3608.21	c starts		: 37737
3600.02/3608.22	c conflicts		: 19637347
3600.02/3608.22	c decisions		: 25351788
3600.02/3608.22	c propagations		: 330948320
3600.02/3608.22	c inspects		: 55893733330
3600.02/3608.22	c shortcuts		: 0
3600.02/3608.22	c learnt literals	: 0
3600.02/3608.22	c learnt binary clauses	: 0
3600.02/3608.22	c learnt ternary clauses	: 0
3600.02/3608.22	c learnt constraints	: 19637347
3600.02/3608.22	c ignored constraints	: 0
3600.02/3608.22	c root simplifications	: 0
3600.02/3608.22	c removed literals (reason simplification)	: 29593619
3600.02/3608.22	c reason swapping (by a shorter reason)	: 0
3600.02/3608.22	c Calls to reduceDB	: 193
3600.02/3608.22	c Number of update (reduction) of LBD	: 5441192
3600.02/3608.22	c Imported unit clauses	: 0
3600.02/3608.22	c No decision after first conflict	: false
3600.02/3608.22	c number of reductions to clauses (during analyze)	: 0
3600.02/3608.22	c number of learned constraints concerned by reduction	: 0
3600.02/3608.22	c number of learning phase by resolution	: 0
3600.02/3608.22	c number of learning phase by cutting planes	: 0
3600.02/3608.22	c number of rounding to 1 operations	: 0
3600.02/3608.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3608.22	c number of reductions of the coefficients by power 2 	: 0
3600.02/3608.22	c number of right shift for reduction by power 2 	: 0
3600.02/3608.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3608.22	c number of ending skipping 	: 0
3600.02/3608.22	c number of internal skipping 	: 0
3600.02/3608.22	c number of derivation steps 	: 0
3600.02/3608.22	c number of skipped derivation steps 	: 0
3600.02/3608.22	c number of remaining unassigned 	: 0
3600.02/3608.22	c number of remaining assigned 	: 0
3600.02/3608.22	c number of falsified literals weakened from reason	: 0
3600.02/3608.22	c number of falsified literals weakened from conflict	: 0
3600.02/3608.22	c time for arithmetic operations	: 0
3600.02/3608.22	c minimum degree of deleted constraints	: null
3600.02/3608.22	c maximum degree of deleted constraints	: null
3600.02/3608.22	c number of deleted constraints	: 0
3600.02/3608.22	c speed (assignments/second)	: 91724.49861685018
3600.02/3608.22	c non guided choices	: 6938
3600.02/3608.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 340365
3600.02/3608.29	s UNKNOWN
3600.02/3608.29	c Total wall clock time (in seconds): 3608.156

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: 63708 MiB (56133 MiB free)
  memory of node 1: 64465 MiB (60914 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513663-1751220390/watcher-4513663-1751220390 -o /tmp/evaluation-result-4513663-1751220390/solver-4513663-1751220390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751218367-30659 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4513663-1751220390 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4513663-1751220390.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=31227, runsolver pid=31224
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.22 4.18 4.34 7/344 31245
/proc/meminfo: memFree=119828480/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=18930384 memory=57756 CPUtime=0.13 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 6564 0 0 0 11 2 0 0 20 0 18 0 37717689 19384713216 14439 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4732596 14439 5363 1 0 547627 0
[pid=31227/tid=31229] ppid=31224 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 5077 0 0 0 7 1 0 0 20 0 18 0 37717690 19384713216 14439 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37717692 19384713216 14439 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=18930384 memory=59585004333716 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 37717692 19384713216 14439 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57756 KiB

[startup+0.205909 s]*
/proc/loadavg: 4.22 4.18 4.34 7/345 31246
/proc/meminfo: memFree=119826464/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=18996948 memory=62844 CPUtime=0.32 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 7653 0 0 0 30 2 0 0 20 0 19 0 37717689 19452874752 15711 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4749237 15711 5427 1 0 548382 0
[pid=31227/tid=31229] ppid=31224 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 5338 0 0 0 16 1 0 0 20 0 19 0 37717690 19452874752 15711 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=18996948 memory=2569 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37717692 19452874752 15711 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=18996948 memory=58485492679654 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 37717692 19452874752 15711 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=18996948 memory=78839 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37717704 19452874752 15711 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62844 KiB

[startup+0.305908 s]*
/proc/loadavg: 4.22 4.18 4.34 6/345 31246
/proc/meminfo: memFree=119810144/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=18996948 memory=78656 CPUtime=0.52 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 9040 0 0 0 49 3 0 0 20 0 19 0 37717689 19452874752 19664 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4749237 19664 5427 1 0 549160 0
[pid=31227/tid=31229] ppid=31224 vsize=18996948 memory=-6000919489936911212 CPUtime=0.25 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 5368 0 0 0 24 1 0 0 20 0 19 0 37717690 19452874752 19664 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37717692 19452874752 19664 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 37717692 19452874752 19664 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37717704 19452874752 19664 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 78656 KiB

[startup+0.700236 s]
/proc/loadavg: 4.22 4.18 4.34 6/345 31246
/proc/meminfo: memFree=119778700/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=18996948 memory=137888 CPUtime=1.28 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 12607 0 0 0 123 5 0 0 20 0 19 0 37717689 19452874752 34472 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4749237 34472 5459 1 0 551516 0
[pid=31227/tid=31229] ppid=31224 vsize=18996948 memory=17408 CPUtime=0.59 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 5428 0 0 0 56 3 0 0 20 0 19 0 37717690 19452874752 34472 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37717692 19452874752 34472 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 37717692 19452874752 34472 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37717704 19452874752 34472 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137888 KiB

[startup+1.50022 s]
/proc/loadavg: 4.22 4.18 4.34 6/346 31247
/proc/meminfo: memFree=119718360/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=176132 CPUtime=2.87 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 22427 0 0 0 279 8 0 0 20 0 20 0 37717689 19521036288 44033 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 44033 5491 1 0 553973 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=0 CPUtime=1.38 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 5821 0 0 0 134 4 0 0 20 0 20 0 37717690 19521036288 44033 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 44033 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 44033 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 44033 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176132 KiB

[startup+3.10573 s]
/proc/loadavg: 4.22 4.18 4.34 5/346 31247
/proc/meminfo: memFree=119635752/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=268952 CPUtime=5.33 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 24161 0 0 0 522 11 0 0 20 0 20 0 37717689 19521036288 67238 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 67238 5491 1 0 553977 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=10752 CPUtime=2.96 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 6272 0 0 0 289 7 0 0 20 0 20 0 37717690 19521036288 67238 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=-6000919489936911212 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 67238 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 67238 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 67238 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 5.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 268952 KiB

[startup+6.30023 s]
/proc/loadavg: 4.20 4.18 4.34 6/346 31247
/proc/meminfo: memFree=119104792/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=853444 CPUtime=8.71 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 25056 0 0 0 846 25 0 0 20 0 20 0 37717689 19521036288 213361 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 213361 5491 1 0 553978 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=0 CPUtime=6.14 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 7021 0 0 0 593 21 0 0 20 0 20 0 37717690 19521036288 213361 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 213361 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 213361 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=176132 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 213361 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 853444 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.19 4.34 5/346 31247
/proc/meminfo: memFree=118914668/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=1121784 CPUtime=15.12 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 26823 0 0 0 1477 35 0 0 20 0 20 0 37717689 19521036288 280446 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 280446 5491 1 0 553978 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=176132 CPUtime=12.52 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 8438 0 0 0 1221 31 0 0 20 0 20 0 37717690 19521036288 280446 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=1013240 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 280446 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 280446 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 280446 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 15.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1121784 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.18 4.33 5/346 31248
/proc/meminfo: memFree=118599684/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=1310216 CPUtime=27.9 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 30786 0 0 0 2742 48 0 0 20 0 20 0 37717689 19521036288 327554 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 327554 5491 1 0 553978 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=1013240 CPUtime=25.27 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 9578 0 0 0 2484 43 0 0 20 0 20 0 37717690 19521036288 327554 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 327554 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=1308168 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 327554 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 327554 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 27.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1310216 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.16 4.32 5/346 31248
/proc/meminfo: memFree=118343444/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=1326612 CPUtime=53.28 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 33734 0 0 0 5264 64 0 0 20 0 20 0 37717689 19521036288 331653 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 331653 5491 1 0 553978 0

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

/proc/meminfo: memFree=112958268/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=2129872 CPUtime=3215.44 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 99337 0 0 0 320593 951 0 0 20 0 20 0 37717689 19521036288 532468 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 532468 5523 1 0 553978 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=2129872 CPUtime=3198.52 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 44305 0 0 0 318991 861 0 0 20 0 20 0 37717690 19521036288 532468 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=2129872 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 532468 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 1639 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 532468 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=2129872 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 532468 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 3215.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2129872 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.12 5/342 31620
/proc/meminfo: memFree=112653188/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=2168752 CPUtime=3275.36 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 107249 0 0 0 326570 966 0 0 20 0 20 0 37717689 19521036288 542188 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 542188 5523 1 0 555599 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=2168752 CPUtime=3258.08 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 45677 0 0 0 324935 873 0 0 20 0 20 0 37717690 19521036288 542188 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=2168752 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542188 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=2168752 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 1665 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542188 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=2168752 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 542188 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 3275.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.11 5/343 31623
/proc/meminfo: memFree=112363744/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=2168752 CPUtime=3335.12 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 107589 0 0 0 332534 978 0 0 20 0 20 0 37717689 19521036288 542188 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 542188 5523 1 0 555608 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=2168752 CPUtime=3317.64 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 45962 0 0 0 330881 883 0 0 20 0 20 0 37717690 19521036288 542188 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=2892 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542188 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=2168752 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 1665 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542188 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=2168752 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 542188 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 3335.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168752 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.10 5/346 31630
/proc/meminfo: memFree=112072060/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=2168880 CPUtime=3394.86 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 109708 0 0 0 338494 992 0 0 20 0 20 0 37717689 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 542220 5523 1 0 555610 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=2168752 CPUtime=3377.22 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 46935 0 0 0 336827 895 0 0 20 0 20 0 37717690 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=-6000919489936911212 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=2168880 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 1752 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=2168880 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 3394.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168880 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.10 5/346 31698
/proc/meminfo: memFree=116173684/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=2168880 CPUtime=3454.57 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 111217 0 0 0 344454 1003 0 0 20 0 20 0 37717689 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 542220 5523 1 0 555610 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=2168752 CPUtime=3436.86 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 48346 0 0 0 342780 906 0 0 20 0 20 0 37717690 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=2168752 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=2168880 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 1767 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 3454.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168880 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/346 31700
/proc/meminfo: memFree=115734792/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=2168880 CPUtime=3514.37 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 111987 0 0 0 350421 1016 0 0 20 0 20 0 37717689 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 542220 5523 1 0 555610 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=21612 CPUtime=3496.45 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 48537 0 0 0 348727 918 0 0 20 0 20 0 37717690 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=2168880 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=-6000919489936911212 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 1828 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=-6000919489936911212 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 3514.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168880 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/345 31703
/proc/meminfo: memFree=115422188/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=2168880 CPUtime=3574.21 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 112064 0 0 0 356390 1031 0 0 20 0 20 0 37717689 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 542220 5523 1 0 555610 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=14720 CPUtime=3556.09 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 48577 0 0 0 354679 930 0 0 20 0 20 0 37717690 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=2168880 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=2168880 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 1828 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=2168880 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 3574.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/346 31709
/proc/meminfo: memFree=115255760/131250000 swapFree=33010684/33010684
[pid=31227] ppid=31224 vsize=19063512 memory=2168880 CPUtime=3600.02 cores=1,3
/proc/31227/stat : 31227 (java) S 31224 31227 30647 0 -1 4194304 112147 0 0 0 358966 1036 0 0 20 0 20 0 37717689 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
/proc/31227/statm: 4765878 542220 5523 1 0 555610 0
[pid=31227/tid=31229] ppid=31224 vsize=19063512 memory=2168880 CPUtime=3581.81 cores=1,3
/proc/31227/task/31229/stat : 31229 (java) R 31224 31227 30647 0 -1 4194368 48645 0 0 0 357246 935 0 0 20 0 20 0 37717690 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31238] ppid=31224 vsize=19063512 memory=7028 CPUtime=0 cores=1,3
/proc/31227/task/31238/stat : 31238 (Finalizer) S 31224 31227 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31245] ppid=31224 vsize=19063512 memory=1636400 CPUtime=0 cores=1,3
/proc/31227/task/31245/stat : 31245 (Common-Cleaner) S 31224 31227 30647 0 -1 4194368 1828 0 0 0 0 0 0 0 20 0 20 0 37717692 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
[pid=31227/tid=31246] ppid=31224 vsize=19063512 memory=6724 CPUtime=0 cores=1,3
/proc/31227/task/31246/stat : 31246 (Timer-0) S 31224 31227 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37717704 19521036288 542220 18446744073709551615 94311247605760 94311247609456 140728516473280 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311247617272 94311247618064 94311249719296 140728516475184 140728516475366 140728516475366 140728516480968 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168880 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.8 s, system=10.377 s

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

Child status: 143

Real time (s): 3608.31
CPU time (s): 3600.17
CPU user time (s): 3589.8
CPU system time (s): 10.377
CPU usage (%): 99.7746
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2168880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.8
system time used= 10.377
maximum resident set size= 2170160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115291
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9945040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113640
involuntary context switches= 6955


# summary of solver processes directly reported to runsolver:
#   pid: 31227
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3589.8
#   total CPU system time (s): 10.377

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40665 second user time and 17.2369 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-06-29 20:06:30
IDJOB=4513663
IDBENCH=162394
IDSOLVER=3364
FILE ID=nodeC026/4513663-1751220390
RUNJOBID= nodeC026-1751218367-30659
SLURM_JOB_ID= 9587668
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513663-1751220390/watcher-4513663-1751220390 -o /tmp/evaluation-result-4513663-1751220390/solver-4513663-1751220390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751218367-30659 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4513663-1751220390 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4513663-1751220390.opb

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

MD5SUM BENCH= 9fac4249a105f22015b6c608ca9c575b
RANDOM SEED=502697518

nodeC026 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.788
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.59
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.528
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.59
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.520
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.59
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		: 3599.830
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.59
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.766
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.59
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.788
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.59
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.582
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.59
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		: 3601.789
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        119858568 kB
MemAvailable:   124685480 kB
Buffers:            3280 kB
Cached:          5625664 kB
SwapCached:            0 kB
Active:          5072820 kB
Inactive:        5368312 kB
Active(anon):    4830340 kB
Inactive(anon):        0 kB
Active(file):     242480 kB
Inactive(file):  5368312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             40352 kB
Writeback:             0 kB
AnonPages:       4815332 kB
Mapped:           123048 kB
Shmem:             18080 kB
KReclaimable:     110716 kB
Slab:             199100 kB
SReclaimable:     110716 kB
SUnreclaim:        88384 kB
KernelStack:        5280 kB
PageTables:        13084 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7055128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151560 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4626432 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC026 at 2025-06-29 21:06:39