Trace number 4517453

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)5 3600.41 3667.2

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=8.opb
MD5SUM6f78fc52c3f94736c8d8a5f9c953ef5f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark12.0622
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables364
Total number of constraints12831
Number of constraints which are clauses12818
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint14
Number of terms in the objective function 13
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 13
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 15
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.10/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.20	c See www.sat4j.org for details.
0.10/0.21	c version PB25.v20250606
0.24/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.24/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.24/0.24	c java.vm.version	22.0.1+8-16
0.24/0.24	c java.vm.vendor	Oracle Corporation
0.24/0.24	c sun.arch.data.model	64
0.24/0.24	c java.version		22.0.1
0.24/0.24	c os.name		Linux
0.24/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.24/0.24	c os.arch		amd64
0.24/0.25	c Free memory 		2104792832
0.24/0.25	c Max memory 		16282288128
0.24/0.25	c Total memory 		2113929216
0.24/0.26	c Number of processors 	2
0.40/0.36	c Pseudo Boolean Optimization by upper bound
0.40/0.36	c --- Begin Solver configuration ---
0.40/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.40/0.36	c Learn all clauses as in MiniSAT
0.40/0.36	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.40/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.40/0.36	c Expensive reason simplification
0.40/0.36	c Glucose 2.1 dynamic restart strategy
0.40/0.36	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.40/0.36	c timeout=2147483s
0.40/0.36	c DB Simplification allowed=false
0.40/0.36	c Listener: none
0.40/0.36	c --- End Solver configuration ---
0.40/0.36	c solving HOME/instance-4517453-1751535007.opb
0.40/0.36	c reading problem ... 
0.49/4.92	c using VERIPB proof format
0.49/4.92	c  objective function found
1.02/5.30	c ... done. Wall clock time 4.934s.
1.23/5.30	c declared #vars     364
1.23/5.30	c #constraints  12831
1.23/5.30	c constraints type 
1.23/5.30	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13
1.23/5.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 12818
1.23/5.30	c 12831 constraints processed.
1.23/5.33	c objective function length is 13 literals
2.00/5.79	c SATISFIABLE
2.00/5.79	c OPTIMIZING...
2.00/5.79	c Got one! Elapsed wall clock time (in seconds):5.438
2.00/5.79	o 7
2.19/5.81	c Got one! Elapsed wall clock time (in seconds):5.449
2.19/5.81	o 6
2.19/5.86	c Got one! Elapsed wall clock time (in seconds):5.506
2.19/5.86	o 5
3.38/6.43	c cleaning 3078 clauses out of 6175 with flag 25972/6175
4.17/6.80	c cleaning 4540 clauses out of 9097 with flag 55721/12175
4.76/7.11	c cleaning 5772 clauses out of 11555 with flag 92946/19173
5.12/7.38	c cleaning 6883 clauses out of 13784 with flag 140048/27174
5.71/7.69	c cleaning 7929 clauses out of 15900 with flag 190907/36173
6.30/7.98	c cleaning 8973 clauses out of 17971 with flag 240645/46173
6.78/8.30	c cleaning 9988 clauses out of 19998 with flag 308134/57173
7.08/8.68	c cleaning 10990 clauses out of 22011 with flag 379693/69174
7.49/9.05	c cleaning 11999 clauses out of 24021 with flag 447761/82174
7.98/9.53	c cleaning 13001 clauses out of 26021 with flag 550472/96173
8.50/10.02	c cleaning 13997 clauses out of 28020 with flag 636602/111173
8.99/10.61	c cleaning 15001 clauses out of 30024 with flag 724345/127174
9.76/11.18	c cleaning 16003 clauses out of 32025 with flag 819726/144176
10.49/11.78	c cleaning 16999 clauses out of 34019 with flag 916808/162173
11.19/12.48	c cleaning 18000 clauses out of 36020 with flag 1020269/181173
11.90/13.19	c cleaning 19001 clauses out of 38020 with flag 1128674/201173
12.71/13.91	c cleaning 19996 clauses out of 40019 with flag 1238016/222173
13.48/14.63	c cleaning 21005 clauses out of 42023 with flag 1350258/244173
14.19/15.32	c cleaning 21983 clauses out of 44018 with flag 1439639/267173
15.01/16.19	c cleaning 23003 clauses out of 46035 with flag 1554293/291173
16.00/17.11	c cleaning 24006 clauses out of 48032 with flag 1693771/316173
16.90/18.08	c cleaning 25008 clauses out of 50026 with flag 1834683/342173
17.90/19.08	c cleaning 26002 clauses out of 52018 with flag 1972397/369173
18.89/20.07	c cleaning 27000 clauses out of 54017 with flag 2098191/397174
19.99/21.13	c cleaning 27989 clauses out of 56016 with flag 2208577/426173
20.99/22.18	c cleaning 28986 clauses out of 58027 with flag 2355397/456173
22.19/23.38	c cleaning 30016 clauses out of 60042 with flag 2534435/487174
23.49/24.66	c cleaning 30998 clauses out of 62025 with flag 2712009/519173
24.79/25.97	c cleaning 31995 clauses out of 64027 with flag 2868434/552173
26.19/27.33	c cleaning 33009 clauses out of 66033 with flag 3035424/586174
27.70/28.88	c cleaning 33996 clauses out of 68023 with flag 3224757/621173
29.29/30.49	c cleaning 34996 clauses out of 70027 with flag 3422249/657173
30.79/31.99	c cleaning 35993 clauses out of 72032 with flag 3626064/694174
32.68/33.84	c cleaning 37013 clauses out of 74039 with flag 3804430/732174
34.38/35.50	c cleaning 38008 clauses out of 76026 with flag 3984487/771174
36.10/37.27	c cleaning 39007 clauses out of 78017 with flag 4215525/811173
38.57/39.87	c cleaning 39998 clauses out of 80010 with flag 4520957/852173
41.16/42.47	c cleaning 41004 clauses out of 82012 with flag 4864353/894173
43.06/44.31	c cleaning 41986 clauses out of 84008 with flag 5084102/937173
45.05/46.38	c cleaning 43006 clauses out of 86023 with flag 5334268/981174
47.05/48.34	c cleaning 43995 clauses out of 88016 with flag 5569305/1026173
49.44/50.73	c cleaning 45001 clauses out of 90021 with flag 5815900/1072173
51.85/53.11	c cleaning 46000 clauses out of 92021 with flag 6098396/1119174
54.25/55.53	c cleaning 47000 clauses out of 94022 with flag 6381617/1167175
56.86/58.21	c cleaning 47988 clauses out of 96021 with flag 6738459/1216174
59.45/60.78	c cleaning 49012 clauses out of 98032 with flag 7023831/1266173
62.52/63.81	c cleaning 50000 clauses out of 100021 with flag 7338970/1317174
64.91/66.25	c cleaning 51009 clauses out of 102021 with flag 7573352/1369174
68.04/69.48	c cleaning 52002 clauses out of 104012 with flag 7932758/1422174
71.63/73.06	c cleaning 52988 clauses out of 106009 with flag 8383731/1476173
74.91/76.32	c cleaning 54003 clauses out of 108021 with flag 8700484/1531173
77.71/79.20	c cleaning 54997 clauses out of 110020 with flag 8981489/1587175
81.32/82.71	c cleaning 55994 clauses out of 112021 with flag 9278629/1644173
84.63/86.09	c cleaning 57010 clauses out of 114027 with flag 9617339/1702173
88.01/89.45	c cleaning 57991 clauses out of 116017 with flag 9949898/1761173
90.91/92.33	c cleaning 58998 clauses out of 118026 with flag 10188638/1821173
93.61/95.01	c cleaning 59994 clauses out of 120028 with flag 10435306/1882173
97.94/98.63	c cleaning 61005 clauses out of 122034 with flag 10765130/1944173
102.06/102.80	c cleaning 62010 clauses out of 124030 with flag 11142337/2007174
105.66/106.46	c cleaning 62981 clauses out of 126019 with flag 11493932/2071173
109.75/110.52	c cleaning 64013 clauses out of 128040 with flag 11832808/2136175
114.24/115.09	c cleaning 65012 clauses out of 130028 with flag 12228777/2202176
118.62/119.46	c cleaning 65989 clauses out of 132013 with flag 12605848/2269173
122.55/123.38	c cleaning 67011 clauses out of 134026 with flag 12971628/2337175
126.83/127.68	c cleaning 67998 clauses out of 136013 with flag 13406271/2406173
130.87/131.72	c cleaning 68995 clauses out of 138015 with flag 13724417/2476173
134.76/135.65	c cleaning 69989 clauses out of 140022 with flag 14082786/2547175
138.85/139.77	c cleaning 71009 clauses out of 142032 with flag 14466344/2619174
143.53/144.41	c cleaning 71988 clauses out of 144022 with flag 14902668/2692173
148.32/149.23	c cleaning 73014 clauses out of 146034 with flag 15375143/2766173
153.23/154.11	c cleaning 73997 clauses out of 148020 with flag 15873475/2841173
158.31/159.26	c cleaning 74997 clauses out of 150023 with flag 16359631/2917173
164.01/164.91	c cleaning 75991 clauses out of 152026 with flag 16821548/2994173
169.80/170.77	c cleaning 77005 clauses out of 154036 with flag 17318870/3072174
174.83/175.72	c cleaning 78002 clauses out of 156030 with flag 17777668/3151173
180.13/181.03	c cleaning 78998 clauses out of 158028 with flag 18188341/3231173
185.05/185.94	c cleaning 80000 clauses out of 160030 with flag 18583437/3312173
190.43/191.35	c cleaning 81014 clauses out of 162031 with flag 19017013/3394174
196.92/197.81	c cleaning 82001 clauses out of 164017 with flag 19601631/3477174
202.80/203.77	c cleaning 83004 clauses out of 166015 with flag 20157304/3561173
209.63/210.54	c cleaning 83996 clauses out of 168011 with flag 20737128/3646173
215.15/216.03	c cleaning 85006 clauses out of 170015 with flag 21225571/3732173
222.16/223.21	c cleaning 85995 clauses out of 172010 with flag 21850755/3819174
230.74/231.89	c cleaning 86996 clauses out of 174017 with flag 22739474/3907176
237.96/239.06	c cleaning 87992 clauses out of 176018 with flag 23323239/3996173
244.23/245.38	c cleaning 89015 clauses out of 178029 with flag 23990448/4086176
251.81/253.04	c cleaning 89994 clauses out of 180011 with flag 24704232/4177173
258.73/259.95	c cleaning 90985 clauses out of 182017 with flag 25387099/4269173
266.51/267.75	c cleaning 92005 clauses out of 184032 with flag 26311375/4362173
274.55/275.71	c cleaning 93006 clauses out of 186028 with flag 27199238/4456174
285.47/286.83	c cleaning 93996 clauses out of 188021 with flag 28403779/4551173
293.84/295.15	c cleaning 94991 clauses out of 190026 with flag 29256985/4647174
303.69/304.99	c cleaning 95993 clauses out of 192034 with flag 30411731/4744173
310.78/312.03	c cleaning 97010 clauses out of 194042 with flag 31175074/4842174
318.11/319.47	c cleaning 98007 clauses out of 196031 with flag 31861488/4941173
324.90/326.15	c cleaning 99001 clauses out of 198024 with flag 32375014/5041173
332.38/333.62	c cleaning 99997 clauses out of 200025 with flag 33072001/5142175
341.97/343.11	c cleaning 100994 clauses out of 202026 with flag 34132616/5244173
351.05/354.55	c cleaning 102003 clauses out of 204033 with flag 34926503/5347174
361.42/364.89	c cleaning 102996 clauses out of 206029 with flag 36066703/5451173
374.18/377.51	c cleaning 104007 clauses out of 208035 with flag 37350992/5556175
384.04/389.93	c cleaning 105006 clauses out of 210026 with flag 38153930/5662173
393.78/399.68	c cleaning 105989 clauses out of 212021 with flag 39166808/5769174
405.03/410.84	c cleaning 107006 clauses out of 214032 with flag 40374206/5877174
416.46/422.28	c cleaning 108002 clauses out of 216025 with flag 41477157/5986173
428.62/434.37	c cleaning 109000 clauses out of 218024 with flag 42626088/6096174
439.48/445.15	c cleaning 109991 clauses out of 220023 with flag 43466182/6207173
449.44/455.06	c cleaning 111006 clauses out of 222034 with flag 44376951/6319175
460.19/465.85	c cleaning 112007 clauses out of 224027 with flag 45214996/6432174
470.99/476.61	c cleaning 112994 clauses out of 226019 with flag 46090512/6546173
483.02/488.66	c cleaning 114002 clauses out of 228025 with flag 47256939/6661173
493.81/499.40	c cleaning 114994 clauses out of 230023 with flag 48175016/6777173
506.86/512.56	c cleaning 116012 clauses out of 232029 with flag 49389585/6894173
518.37/524.04	c cleaning 117005 clauses out of 234018 with flag 50330423/7012174
529.77/535.48	c cleaning 117999 clauses out of 236013 with flag 51246889/7131174
542.95/548.68	c cleaning 118996 clauses out of 238013 with flag 52432485/7251173
556.60/562.22	c cleaning 120003 clauses out of 240017 with flag 53673916/7372173
572.11/579.73	c cleaning 120986 clauses out of 242016 with flag 55019027/7494175
584.87/592.40	c cleaning 122006 clauses out of 244033 with flag 56170796/7617178
604.29/614.30	c cleaning 123004 clauses out of 246023 with flag 57643294/7741174
618.26/628.33	c cleaning 123991 clauses out of 248018 with flag 58983378/7866173
634.36/648.58	c cleaning 125008 clauses out of 250029 with flag 60567982/7992175
647.21/661.39	c cleaning 125994 clauses out of 252019 with flag 61616206/8119173
665.56/679.78	c cleaning 127001 clauses out of 254025 with flag 63054616/8247173
677.81/691.94	c cleaning 127979 clauses out of 256024 with flag 63868560/8376173
692.54/706.72	c cleaning 129012 clauses out of 258047 with flag 65034250/8506175
708.40/722.60	c cleaning 130006 clauses out of 260033 with flag 66660624/8637173
725.26/739.70	c cleaning 131000 clauses out of 262027 with flag 68091114/8769173
742.36/756.79	c cleaning 132003 clauses out of 264028 with flag 69392037/8902174
758.78/773.25	c cleaning 133012 clauses out of 266025 with flag 70448317/9036174
775.42/789.84	c cleaning 133996 clauses out of 268013 with flag 71557951/9171174
790.25/804.78	c cleaning 134997 clauses out of 270017 with flag 72710346/9307174
806.32/820.80	c cleaning 136002 clauses out of 272019 with flag 74236315/9444173
822.33/843.60	c cleaning 137003 clauses out of 274019 with flag 75377800/9582175
841.41/862.72	c cleaning 138002 clauses out of 276015 with flag 76949617/9721174
858.27/879.64	c cleaning 139001 clauses out of 278012 with flag 78347225/9861173
875.44/896.72	c cleaning 139993 clauses out of 280011 with flag 79386086/10002173
894.34/915.67	c cleaning 140990 clauses out of 282019 with flag 81217231/10144174
912.32/933.62	c cleaning 142000 clauses out of 284028 with flag 82934715/10287173
931.86/953.19	c cleaning 142997 clauses out of 286028 with flag 84527808/10431173
951.63/972.92	c cleaning 144005 clauses out of 288033 with flag 86231743/10576175
970.85/996.85	c cleaning 144995 clauses out of 290026 with flag 87816064/10722173
989.89/1015.83	c cleaning 146005 clauses out of 292031 with flag 89425678/10869173
1011.88/1037.86	c cleaning 147000 clauses out of 294029 with flag 91557154/11017176
1030.73/1056.60	c cleaning 147998 clauses out of 296026 with flag 93080722/11166173
1049.92/1075.84	c cleaning 149009 clauses out of 298028 with flag 94884555/11316173
1071.57/1097.55	c cleaning 149999 clauses out of 300019 with flag 96725256/11467173
1096.52/1122.59	c cleaning 150998 clauses out of 302020 with flag 98817871/11619173
1117.37/1143.28	c cleaning 151997 clauses out of 304023 with flag 100285032/11772174
1140.72/1166.68	c cleaning 152998 clauses out of 306025 with flag 102298584/11926173
1161.87/1191.35	c cleaning 153995 clauses out of 308028 with flag 103660364/12081174
1181.89/1211.34	c cleaning 155003 clauses out of 310032 with flag 104849621/12237173
1212.12/1246.39	c cleaning 156007 clauses out of 312029 with flag 107309691/12394173
1234.63/1268.83	c cleaning 157006 clauses out of 314023 with flag 109280593/12552174
1257.46/1291.45	c cleaning 157988 clauses out of 316018 with flag 111331602/12711175
1282.50/1316.56	c cleaning 159004 clauses out of 318029 with flag 113589659/12871174
1307.95/1342.02	c cleaning 159998 clauses out of 320024 with flag 115644652/13032173
1332.80/1367.00	c cleaning 161009 clauses out of 322026 with flag 117481671/13194173
1355.92/1390.04	c cleaning 161984 clauses out of 324018 with flag 119219275/13357174
1378.67/1412.89	c cleaning 163002 clauses out of 326033 with flag 121168447/13521173
1400.47/1434.62	c cleaning 164005 clauses out of 328034 with flag 122662841/13686176
1425.91/1460.11	c cleaning 164998 clauses out of 330026 with flag 124568520/13852173
1451.07/1485.58	c cleaning 165999 clauses out of 332028 with flag 126326084/14019173
1477.07/1511.50	c cleaning 166997 clauses out of 334031 with flag 128623566/14187175
1503.51/1538.06	c cleaning 167999 clauses out of 336032 with flag 130919005/14356173
1526.72/1561.14	c cleaning 169009 clauses out of 338034 with flag 132373981/14526174
1549.76/1584.17	c cleaning 169990 clauses out of 340026 with flag 133837388/14697175
1577.36/1611.82	c cleaning 171005 clauses out of 342036 with flag 136007473/14869175
1604.00/1638.52	c cleaning 172008 clauses out of 344029 with flag 137521462/15042173
1628.37/1662.92	c cleaning 172995 clauses out of 346022 with flag 138625608/15216174
1649.28/1683.80	c cleaning 173989 clauses out of 348026 with flag 139610124/15391173
1672.52/1707.06	c cleaning 174997 clauses out of 350038 with flag 141021168/15567174
1700.39/1734.93	c cleaning 176015 clauses out of 352041 with flag 143532179/15744174
1729.77/1764.31	c cleaning 176981 clauses out of 354026 with flag 146231122/15922174
1754.73/1789.21	c cleaning 178004 clauses out of 356044 with flag 147937210/16101173
1785.55/1821.78	c cleaning 179015 clauses out of 358040 with flag 150469848/16281173
1815.61/1853.85	c cleaning 179995 clauses out of 360025 with flag 152935766/16462173
1846.33/1886.33	c cleaning 181000 clauses out of 362030 with flag 154965324/16644173
1878.57/1920.34	c cleaning 182004 clauses out of 364030 with flag 157328490/16827173
1906.68/1951.54	c cleaning 182994 clauses out of 366026 with flag 159211616/17011173
1935.56/1980.36	c cleaning 184004 clauses out of 368034 with flag 161060613/17196175
1967.30/2015.55	c cleaning 185001 clauses out of 370029 with flag 163299249/17382174
1996.58/2044.88	c cleaning 186006 clauses out of 372028 with flag 165383252/17569174
2027.10/2075.45	c cleaning 187005 clauses out of 374023 with flag 167787472/17757175
2057.03/2105.46	c cleaning 187989 clauses out of 376019 with flag 169661835/17946176
2092.62/2141.06	c cleaning 188992 clauses out of 378027 with flag 172492110/18136173
2126.04/2174.51	c cleaning 190005 clauses out of 380035 with flag 175206093/18327173
2155.88/2204.45	c cleaning 191004 clauses out of 382030 with flag 176910687/18519173
2186.18/2234.74	c cleaning 191985 clauses out of 384029 with flag 179047929/18712176
2217.93/2268.44	c cleaning 193020 clauses out of 386054 with flag 181032224/18906186
2252.83/2307.25	c cleaning 193994 clauses out of 388021 with flag 183647784/19101173
2291.95/2346.49	c cleaning 194990 clauses out of 390027 with flag 186522666/19297173
2324.97/2379.48	c cleaning 196007 clauses out of 392037 with flag 188914646/19494173
2365.31/2419.81	c cleaning 197012 clauses out of 394032 with flag 191987754/19692175
2398.82/2453.21	c cleaning 197994 clauses out of 396018 with flag 194489623/19891173
2437.93/2494.21	c cleaning 199009 clauses out of 398025 with flag 197205346/20091174
2473.17/2529.58	c cleaning 200001 clauses out of 400015 with flag 199676601/20292173
2507.73/2563.92	c cleaning 200994 clauses out of 402014 with flag 201994975/20494173
2545.32/2601.66	c cleaning 202000 clauses out of 404021 with flag 204326785/20697174
2582.01/2637.91	c cleaning 203006 clauses out of 406020 with flag 206721204/20901173
2617.53/2673.22	c cleaning 203983 clauses out of 408015 with flag 209210105/21106174
2653.60/2716.92	c cleaning 205013 clauses out of 410031 with flag 211165137/21312173
2689.53/2752.93	c cleaning 205987 clauses out of 412018 with flag 212926194/21519173
2725.55/2788.93	c cleaning 207000 clauses out of 414031 with flag 215179894/21727173
2762.21/2825.69	c cleaning 208006 clauses out of 416031 with flag 217474457/21936173
2800.52/2864.22	c cleaning 209002 clauses out of 418026 with flag 220023766/22146174
2839.63/2903.39	c cleaning 210009 clauses out of 420024 with flag 222508764/22357174
2877.59/2941.38	c cleaning 210989 clauses out of 422015 with flag 225627220/22569174
2916.24/2980.05	c cleaning 212003 clauses out of 424025 with flag 227947427/22782173
2944.52/3008.30	c cleaning 213003 clauses out of 426023 with flag 229283643/22996174
2980.36/3044.26	c cleaning 213997 clauses out of 428019 with flag 231151597/23211173
3017.33/3081.27	c cleaning 214989 clauses out of 430023 with flag 233649410/23427174
3055.88/3119.85	c cleaning 216001 clauses out of 432033 with flag 235448330/23644173
3096.01/3160.02	c cleaning 217002 clauses out of 434033 with flag 238543108/23862174
3132.95/3196.95	c cleaning 217991 clauses out of 436030 with flag 240643233/24081173
3171.88/3235.93	c cleaning 219004 clauses out of 438039 with flag 242919077/24301173
3213.29/3277.38	c cleaning 220005 clauses out of 440040 with flag 245643163/24522178
3252.46/3318.22	c cleaning 221000 clauses out of 442033 with flag 247561236/24744176
3290.74/3357.15	c cleaning 222004 clauses out of 444032 with flag 250103508/24967175
3332.07/3398.73	c cleaning 223011 clauses out of 446027 with flag 252643599/25191174
3378.03/3444.78	c cleaning 224001 clauses out of 448015 with flag 254646698/25416173
3422.10/3488.81	c cleaning 224998 clauses out of 450014 with flag 257442399/25642173
3460.91/3527.79	c cleaning 225997 clauses out of 452016 with flag 259302659/25869173
3501.32/3568.18	c cleaning 227001 clauses out of 454022 with flag 261782811/26097176
3542.01/3608.99	c cleaning 228006 clauses out of 456019 with flag 263906286/26326174
3581.79/3648.78	c cleaning 228978 clauses out of 458012 with flag 265733054/26556173
3600.00/3666.92	c starts		: 35144
3600.00/3666.93	c conflicts		: 26708056
3600.00/3666.93	c decisions		: 82430569
3600.00/3666.93	c propagations		: 804817996
3600.00/3666.93	c inspects		: 39870937395
3600.00/3666.93	c shortcuts		: 0
3600.00/3666.93	c learnt literals	: 0
3600.00/3666.93	c learnt binary clauses	: 0
3600.00/3666.93	c learnt ternary clauses	: 0
3600.00/3666.93	c learnt constraints	: 26708056
3600.00/3666.93	c ignored constraints	: 0
3600.00/3666.93	c root simplifications	: 0
3600.00/3666.93	c removed literals (reason simplification)	: 429763650
3600.00/3666.93	c reason swapping (by a shorter reason)	: 0
3600.00/3666.93	c Calls to reduceDB	: 226
3600.00/3666.93	c Number of update (reduction) of LBD	: 17528417
3600.00/3666.93	c Imported unit clauses	: 0
3600.00/3666.93	c No decision after first conflict	: false
3600.00/3666.93	c number of reductions to clauses (during analyze)	: 0
3600.00/3666.93	c number of learned constraints concerned by reduction	: 0
3600.00/3666.93	c number of learning phase by resolution	: 0
3600.00/3666.93	c number of learning phase by cutting planes	: 0
3600.00/3666.93	c number of rounding to 1 operations	: 0
3600.00/3666.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3666.93	c number of reductions of the coefficients by power 2 	: 0
3600.00/3666.93	c number of right shift for reduction by power 2 	: 0
3600.00/3666.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3666.93	c number of ending skipping 	: 0
3600.00/3666.93	c number of internal skipping 	: 0
3600.00/3666.93	c number of derivation steps 	: 0
3600.00/3666.93	c number of skipped derivation steps 	: 0
3600.00/3666.93	c number of remaining unassigned 	: 0
3600.00/3666.93	c number of remaining assigned 	: 0
3600.00/3666.93	c number of falsified literals weakened from reason	: 0
3600.00/3666.93	c number of falsified literals weakened from conflict	: 0
3600.00/3666.93	c time for arithmetic operations	: 0
3600.00/3666.93	c minimum degree of deleted constraints	: null
3600.00/3666.93	c maximum degree of deleted constraints	: null
3600.00/3666.93	c number of deleted constraints	: 0
3600.00/3666.94	c speed (assignments/second)	: 219800.14037617538
3600.00/3666.94	c non guided choices	: 1282
3600.20/3667.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 380917
3600.20/3667.09	s SATISFIABLE
3600.20/3667.09	c Found 3 solution(s)
3600.20/3667.09	v x1 -x2 -x3 -x4 x5 x6 x7 x8 x9 x10 x11 x12 -x13 -x14 -x15 x16 x17 x18 -x19 x20 x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 x56 -x57 x58 -x59 x60 x61 x62 x63 -x64 x65 x66 x67 x68 -x69 -x70 -x71 -x72 x73 x74 x75 x76 x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 x88 x89 x90 x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 
3600.20/3667.09	c objective function=5
3600.20/3667.09	c Total wall clock time (in seconds): 3666.735

Verifier Data 

OK	5

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62776 MiB free)
  memory of node 1: 64507 MiB (61604 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517453-1751535007/watcher-4517453-1751535007 -o /tmp/evaluation-result-4517453-1751535007/solver-4517453-1751535007 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81003 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517453-1751535007 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517453-1751535007.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=81199, runsolver pid=81194
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 1.30 1.16 1.81 7/303 81217
/proc/meminfo: memFree=127318308/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=18930384 memory=47252 CPUtime=0.1 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 5683 0 0 0 7 3 0 0 20 0 18 0 69180437 19384713216 11813 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4732596 11813 5114 1 0 546893 0
[pid=81199/tid=81201] ppid=81194 vsize=18930384 memory=4026531959 CPUtime=0.05 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 4584 0 0 0 3 2 0 0 20 0 18 0 69180439 19384713216 11813 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=18930384 memory=215637820742 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69180444 19384713216 11813 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=18930384 memory=25895 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69180445 19384713216 11813 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47252 KiB

[startup+0.213892 s]*
/proc/loadavg: 1.30 1.16 1.81 7/302 81229
/proc/meminfo: memFree=127298704/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=18930384 memory=51812 CPUtime=0.24 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 6101 0 0 0 19 5 0 0 20 0 18 0 69180437 19384713216 12953 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4732596 12953 5338 1 0 547214 0
[pid=81199/tid=81201] ppid=81194 vsize=18930384 memory=4026784009 CPUtime=0.16 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 4949 0 0 0 12 4 0 0 20 0 18 0 69180439 19384713216 12953 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=18930384 memory=211342852430 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69180444 19384713216 12953 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=18930384 memory=52996524499288 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69180445 19384713216 12953 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51812 KiB

[startup+0.313164 s]*
/proc/loadavg: 1.30 1.16 1.81 6/301 81230
/proc/meminfo: memFree=127271632/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=18930384 memory=58064 CPUtime=0.4 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 6667 0 0 0 34 6 0 0 20 0 18 0 69180437 19384713216 14516 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4732596 14516 5338 1 0 547694 0
[pid=81199/tid=81201] ppid=81194 vsize=18930384 memory=8323393824661011342 CPUtime=0.25 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 5141 0 0 0 21 4 0 0 20 0 18 0 69180439 19384713216 14516 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69180444 19384713216 14516 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69180445 19384713216 14516 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58064 KiB

[startup+0.700382 s]
/proc/loadavg: 1.30 1.16 1.81 3/301 81230
/proc/meminfo: memFree=127240764/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=18930384 memory=59088 CPUtime=0.49 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 6806 0 0 0 43 6 0 0 20 0 18 0 69180437 19384713216 14772 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4732596 14772 5434 1 0 547800 0
[pid=81199/tid=81201] ppid=81194 vsize=18930384 memory=18432 CPUtime=0.28 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) D 81194 81199 80991 0 -1 4194368 5218 0 0 0 24 4 0 0 20 0 18 0 69180439 19384713216 14772 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=18930384 memory=11136 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69180444 19384713216 14772 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=18930384 memory=3328 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69180445 19384713216 14772 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59088 KiB

[startup+1.50039 s]
/proc/loadavg: 1.30 1.16 1.81 4/301 81230
/proc/meminfo: memFree=127164516/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=18930384 memory=59088 CPUtime=0.49 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 6806 0 0 0 43 6 0 0 20 0 18 0 69180437 19384713216 14772 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4732596 14772 5434 1 0 547800 0
[pid=81199/tid=81201] ppid=81194 vsize=18930384 memory=0 CPUtime=0.28 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) D 81194 81199 80991 0 -1 4194368 5218 0 0 0 24 4 0 0 20 0 18 0 69180439 19384713216 14772 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=18930384 memory=11136 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69180444 19384713216 14772 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=18930384 memory=14336 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69180445 19384713216 14772 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59088 KiB

[startup+3.1129 s]
/proc/loadavg: 1.30 1.16 1.81 3/301 81230
/proc/meminfo: memFree=126650204/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=18930384 memory=59088 CPUtime=0.49 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 6806 0 0 0 43 6 0 0 20 0 18 0 69180437 19384713216 14772 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4732596 14772 5434 1 0 547800 0
[pid=81199/tid=81201] ppid=81194 vsize=18930384 memory=11136 CPUtime=0.28 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) D 81194 81199 80991 0 -1 4194368 5218 0 0 0 24 4 0 0 20 0 18 0 69180439 19384713216 14772 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69180444 19384713216 14772 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=18930384 memory=164 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69180445 19384713216 14772 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59088 KiB
heavy processes:

[startup+6.30022 s]
/proc/loadavg: 1.52 1.21 1.82 8/323 81267
/proc/meminfo: memFree=126218268/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=19063512 memory=170864 CPUtime=3.18 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 17226 0 0 0 303 15 0 0 20 0 20 0 69180437 19521036288 42716 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4765878 42716 5530 1 0 552125 0
[pid=81199/tid=81201] ppid=81194 vsize=19063512 memory=11136 CPUtime=1.47 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 6839 0 0 0 139 8 0 0 20 0 20 0 69180439 19521036288 42716 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=19063512 memory=-6000919489819536231 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69180444 19521036288 42716 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 69180445 19521036288 42716 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81231] ppid=81194 vsize=19063512 memory=8323393824661011342 CPUtime=0 cores=1,3
/proc/81199/task/81231/stat : 81231 (Timer-0) S 81194 81199 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69180972 19521036288 42716 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170864 KiB
heavy processes:

[startup+12.7004 s]
/proc/loadavg: 1.80 1.27 1.84 5/326 81270
/proc/meminfo: memFree=124308868/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=19063512 memory=849548 CPUtime=11.49 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 25817 0 0 0 1115 34 0 0 20 0 20 0 69180437 19521036288 212387 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4765878 212387 5530 1 0 552973 0
[pid=81199/tid=81201] ppid=81194 vsize=19063512 memory=267588 CPUtime=7.69 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 8837 0 0 0 745 24 0 0 20 0 20 0 69180439 19521036288 212387 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69180444 19521036288 212387 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=19063512 memory=683576 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 69180445 19521036288 212387 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81231] ppid=81194 vsize=19063512 memory=314692 CPUtime=0 cores=1,3
/proc/81199/task/81231/stat : 81231 (Timer-0) S 81194 81199 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69180972 19521036288 212387 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 11.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 849548 KiB

[startup+25.5004 s]
/proc/loadavg: 2.35 1.42 1.88 5/326 81270
/proc/meminfo: memFree=121705960/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=19063512 memory=1034044 CPUtime=24.39 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 28884 0 0 0 2391 48 0 0 20 0 20 0 69180437 19521036288 258511 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4765878 258511 5562 1 0 552973 0
[pid=81199/tid=81201] ppid=81194 vsize=19063512 memory=1034044 CPUtime=20.31 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 10007 0 0 0 1995 36 0 0 20 0 20 0 69180439 19521036288 258511 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=19063512 memory=269636 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69180444 19521036288 258511 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=19063512 memory=1033916 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 69180445 19521036288 258511 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81231] ppid=81194 vsize=19063512 memory=-6000919489819536231 CPUtime=0 cores=1,3
/proc/81199/task/81231/stat : 81231 (Timer-0) S 81194 81199 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69180972 19521036288 258511 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 24.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1034044 KiB

[startup+51.1133 s]
/proc/loadavg: 3.10 1.68 1.95 5/329 81274
/proc/meminfo: memFree=117777788/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=19063512 memory=1324880 CPUtime=49.85 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 31850 0 0 0 4919 66 0 0 20 0 20 0 69180437 19521036288 331220 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4765878 331220 5562 1 0 552973 0
[pid=81199/tid=81201] ppid=81194 vsize=19063512 memory=-6000919489819536231 CPUtime=45.51 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 11410 0 0 0 4498 53 0 0 20 0 20 0 69180439 19521036288 331220 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69180444 19521036288 331220 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 69180445 19521036288 331220 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81231] ppid=81194 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/81199/task/81231/stat : 81231 (Timer-0) S 81194 81199 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69180972 19521036288 331220 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0

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

/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69180444 19521036288 543507 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=19063512 memory=2174028 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 1544 0 0 0 0 0 0 0 20 0 20 0 69180445 19521036288 543507 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81231] ppid=81194 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81199/task/81231/stat : 81231 (Timer-0) S 81194 81199 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69180972 19521036288 543507 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 3275.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174028 KiB

[startup+3402.3 s]
/proc/loadavg: 4.28 4.21 4.13 5/334 81536
/proc/meminfo: memFree=61550824/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=19063512 memory=2174156 CPUtime=3335.67 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 115639 0 0 0 332645 922 0 0 20 0 20 0 69180437 19521036288 543539 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4765878 543539 5562 1 0 554261 0
[pid=81199/tid=81201] ppid=81194 vsize=19063512 memory=2174028 CPUtime=3301.21 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 46814 0 0 0 329425 696 0 0 20 0 20 0 69180439 19521036288 543539 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=19063512 memory=2174028 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69180444 19521036288 543539 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 1594 0 0 0 0 0 0 0 20 0 20 0 69180445 19521036288 543539 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81231] ppid=81194 vsize=19063512 memory=2174156 CPUtime=0 cores=1,3
/proc/81199/task/81231/stat : 81231 (Timer-0) S 81194 81199 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69180972 19521036288 543539 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 3335.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174156 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.22 4.13 5/337 81543
/proc/meminfo: memFree=60815436/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=19063512 memory=2174284 CPUtime=3395.6 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 117457 0 0 0 338626 934 0 0 20 0 20 0 69180437 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4765878 543571 5562 1 0 554261 0
[pid=81199/tid=81201] ppid=81194 vsize=19063512 memory=2174284 CPUtime=3360.79 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 47561 0 0 0 335374 705 0 0 20 0 20 0 69180439 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=19063512 memory=2174028 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69180444 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=19063512 memory=2174028 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 1664 0 0 0 0 0 0 0 20 0 20 0 69180445 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81231] ppid=81194 vsize=19063512 memory=2174284 CPUtime=0 cores=1,3
/proc/81199/task/81231/stat : 81231 (Timer-0) S 81194 81199 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69180972 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 3395.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174284 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.22 4.14 6/318 81562
/proc/meminfo: memFree=76470792/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=19063512 memory=2174284 CPUtime=3455.52 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 117492 0 0 0 344605 947 0 0 20 0 20 0 69180437 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4765878 543571 5562 1 0 554261 0
[pid=81199/tid=81201] ppid=81194 vsize=19063512 memory=2174284 CPUtime=3420.28 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 47562 0 0 0 341314 714 0 0 20 0 20 0 69180439 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69180444 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 1664 0 0 0 0 0 0 0 20 0 20 0 69180445 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81231] ppid=81194 vsize=19063512 memory=2174284 CPUtime=0 cores=1,3
/proc/81199/task/81231/stat : 81231 (Timer-0) S 81194 81199 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69180972 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 3455.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174284 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.21 4.14 5/337 81614
/proc/meminfo: memFree=105097368/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=19063512 memory=2174284 CPUtime=3515.43 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 117828 0 0 0 350583 960 0 0 20 0 20 0 69180437 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4765878 543571 5562 1 0 554261 0
[pid=81199/tid=81201] ppid=81194 vsize=19063512 memory=14336 CPUtime=3479.84 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 47891 0 0 0 347259 725 0 0 20 0 20 0 69180439 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=19063512 memory=2174284 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69180444 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 1664 0 0 0 0 0 0 0 20 0 20 0 69180445 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81231] ppid=81194 vsize=19063512 memory=2174284 CPUtime=0 cores=1,3
/proc/81199/task/81231/stat : 81231 (Timer-0) S 81194 81199 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69180972 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 3515.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174284 KiB

[startup+3642.3 s]
/proc/loadavg: 4.16 4.20 4.14 5/336 81617
/proc/meminfo: memFree=104900452/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=19063512 memory=2174284 CPUtime=3575.35 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 120325 0 0 0 356561 974 0 0 20 0 20 0 69180437 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4765878 543571 5562 1 0 554261 0
[pid=81199/tid=81201] ppid=81194 vsize=19063512 memory=-6000919506999143271 CPUtime=3539.42 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 49359 0 0 0 353206 736 0 0 20 0 20 0 69180439 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=19063512 memory=2174284 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69180444 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=19063512 memory=2174284 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 1759 0 0 0 0 0 0 0 20 0 20 0 69180445 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81231] ppid=81194 vsize=19063512 memory=2174284 CPUtime=0 cores=1,3
/proc/81199/task/81231/stat : 81231 (Timer-0) S 81194 81199 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69180972 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 3575.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3666.9 s]
/proc/loadavg: 4.11 4.18 4.13 5/336 81618
/proc/meminfo: memFree=104777508/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=19063512 memory=2174284 CPUtime=3600 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 120760 0 0 0 359020 980 0 0 20 0 20 0 69180437 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4765878 543571 5562 1 0 554261 0
[pid=81199/tid=81201] ppid=81194 vsize=19063512 memory=2174284 CPUtime=3563.59 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 49717 0 0 0 355618 741 0 0 20 0 20 0 69180439 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=19063512 memory=2174284 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69180444 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=19063512 memory=2174284 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 1759 0 0 0 0 0 0 0 20 0 20 0 69180445 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81231] ppid=81194 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/81199/task/81231/stat : 81231 (Timer-0) S 81194 81199 80991 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69180972 19521036288 543571 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174284 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.57 s, system=9.83971 s

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

[startup+3667 s]*
/proc/loadavg: 4.11 4.18 4.13 6/337 81621
/proc/meminfo: memFree=104774484/131382116 swapFree=33010684/33010684
[pid=81199] ppid=81194 vsize=19263204 memory=2174796 CPUtime=3600.2 cores=1,3
/proc/81199/stat : 81199 (java) S 81194 81199 80991 0 -1 4194304 122817 0 0 0 359040 980 0 0 20 0 21 0 69180437 19725520896 543699 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
/proc/81199/statm: 4815801 543699 5562 1 0 555184 0
[pid=81199/tid=81201] ppid=81194 vsize=19263204 memory=-6000919506999143271 CPUtime=3563.69 cores=1,3
/proc/81199/task/81201/stat : 81201 (java) R 81194 81199 80991 0 -1 4194368 49868 0 0 0 355628 741 0 0 20 0 21 0 69180439 19725520896 543699 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81210] ppid=81194 vsize=19263204 memory=2174284 CPUtime=0 cores=1,3
/proc/81199/task/81210/stat : 81210 (Finalizer) S 81194 81199 80991 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 69180444 19725520896 543699 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81217] ppid=81194 vsize=19263204 memory=6896 CPUtime=0 cores=1,3
/proc/81199/task/81217/stat : 81217 (Common-Cleaner) S 81194 81199 80991 0 -1 4194368 1759 0 0 0 0 0 0 0 20 0 21 0 69180445 19725520896 543699 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
[pid=81199/tid=81621] ppid=81194 vsize=19263204 memory=2415848 CPUtime=0.06 cores=1,3
/proc/81199/task/81621/stat : 81621 (Thread-0) R 81194 81199 80991 0 -1 4194368 271 0 0 0 6 0 0 0 20 0 21 0 69547129 19725520896 543699 18446744073709551615 94309365612544 94309365616240 140721315578416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94309365624056 94309365624848 94309394833408 140721315584304 140721315584486 140721315584486 140721315590088 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2174796 KiB

[startup+3667.11 s]*
/proc/loadavg: 4.11 4.18 4.13 5/318 81621
/proc/meminfo: memFree=106871664/131382116 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): 3667.2
CPU time (s): 3600.41
CPU user time (s): 3590.57
CPU system time (s): 9.83971
CPU usage (%): 98.1787
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2174796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.57
system time used= 9.83971
maximum resident set size= 2175052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11109064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117296
involuntary context switches= 9519


# summary of solver processes directly reported to runsolver:
#   pid: 81199
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3590.57
#   total CPU system time (s): 9.83971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1191 second user time and 39.5256 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-03 11:30:07
IDJOB=4517453
IDBENCH=176086
IDSOLVER=3364
FILE ID=nodeC011/4517453-1751535007
RUNJOBID= nodeC011-1751535003-81003
SLURM_JOB_ID= 9598684
Free space on /tmp= 430536 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=8.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517453-1751535007/watcher-4517453-1751535007 -o /tmp/evaluation-result-4517453-1751535007/solver-4517453-1751535007 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751535003-81003 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517453-1751535007 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517453-1751535007.opb

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

MD5SUM BENCH= 6f78fc52c3f94736c8d8a5f9c953ef5f
RANDOM SEED=826212019

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        127398812 kB
MemAvailable:   129440648 kB
Buffers:            3276 kB
Cached:          2843124 kB
SwapCached:            0 kB
Active:          1024328 kB
Inactive:        2403948 kB
Active(anon):     597800 kB
Inactive(anon):     2104 kB
Active(file):     426528 kB
Inactive(file):  2401844 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             30972 kB
Writeback:           100 kB
AnonPages:        585080 kB
Mapped:           123388 kB
Shmem:             17960 kB
KReclaimable:     105800 kB
Slab:             192244 kB
SReclaimable:     105800 kB
SUnreclaim:        86444 kB
KernelStack:        4608 kB
PageTables:         4332 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    5312184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149944 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    419840 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430536 MiB
End job on nodeC011 at 2025-07-03 12:31:15