Trace number 4517452

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 2025-06-06SAT (TO)5 3600.25 3603.53

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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.11/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4517452-1751528303.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c  objective function found
0.31/0.28	c ... done. Wall clock time 0.143s.
0.31/0.28	c declared #vars     364
0.31/0.28	c #constraints  12831
0.31/0.28	c constraints type 
0.31/0.28	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13
0.31/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 12818
0.31/0.28	c 12831 constraints processed.
0.31/0.30	c objective function length is 13 literals
0.69/0.41	c SATISFIABLE
0.69/0.41	c OPTIMIZING...
0.69/0.41	c Got one! Elapsed wall clock time (in seconds):0.275
0.69/0.41	o 7
0.69/0.42	c Got one! Elapsed wall clock time (in seconds):0.281
0.69/0.42	o 6
0.69/0.45	c Got one! Elapsed wall clock time (in seconds):0.309
0.69/0.45	o 5
1.25/0.78	c cleaning 3078 clauses out of 6175 with flag 25972/6175
1.86/1.02	c cleaning 4540 clauses out of 9097 with flag 55721/12175
2.25/1.25	c cleaning 5772 clauses out of 11555 with flag 92946/19173
2.61/1.47	c cleaning 6883 clauses out of 13784 with flag 140048/27174
3.13/1.71	c cleaning 7929 clauses out of 15900 with flag 190907/36173
3.41/1.93	c cleaning 8973 clauses out of 17971 with flag 240645/46173
3.71/2.20	c cleaning 9988 clauses out of 19998 with flag 308134/57173
4.01/2.51	c cleaning 10990 clauses out of 22011 with flag 379693/69174
4.31/2.81	c cleaning 11999 clauses out of 24021 with flag 447761/82174
4.71/3.22	c cleaning 13001 clauses out of 26021 with flag 550472/96173
5.11/3.61	c cleaning 13997 clauses out of 28020 with flag 636602/111173
5.51/4.10	c cleaning 15001 clauses out of 30024 with flag 724345/127174
6.03/4.56	c cleaning 16003 clauses out of 32025 with flag 819726/144176
6.57/5.05	c cleaning 16999 clauses out of 34019 with flag 916808/162173
7.07/5.59	c cleaning 18000 clauses out of 36020 with flag 1020269/181173
7.67/6.18	c cleaning 19001 clauses out of 38020 with flag 1128674/201173
8.26/6.79	c cleaning 19996 clauses out of 40019 with flag 1238016/222173
8.86/7.39	c cleaning 21005 clauses out of 42023 with flag 1350258/244173
9.46/7.96	c cleaning 21983 clauses out of 44018 with flag 1439639/267173
10.16/8.64	c cleaning 23003 clauses out of 46035 with flag 1554293/291173
10.96/9.42	c cleaning 24006 clauses out of 48032 with flag 1693771/316173
11.76/10.24	c cleaning 25008 clauses out of 50026 with flag 1834683/342173
12.56/11.08	c cleaning 26002 clauses out of 52018 with flag 1972397/369173
13.45/11.91	c cleaning 27000 clauses out of 54017 with flag 2098191/397174
14.25/12.70	c cleaning 27989 clauses out of 56016 with flag 2208577/426173
15.06/13.59	c cleaning 28986 clauses out of 58027 with flag 2355397/456173
16.16/14.61	c cleaning 30016 clauses out of 60042 with flag 2534435/487174
17.25/15.75	c cleaning 30998 clauses out of 62025 with flag 2712009/519173
18.45/16.93	c cleaning 31995 clauses out of 64027 with flag 2868434/552173
19.66/18.12	c cleaning 33009 clauses out of 66033 with flag 3035424/586174
20.95/19.46	c cleaning 33996 clauses out of 68023 with flag 3224757/621173
22.34/20.80	c cleaning 34996 clauses out of 70027 with flag 3422249/657173
23.65/22.13	c cleaning 35993 clauses out of 72032 with flag 3626064/694174
25.33/23.83	c cleaning 37013 clauses out of 74039 with flag 3804430/732174
26.86/25.39	c cleaning 38008 clauses out of 76026 with flag 3984487/771174
28.45/27.00	c cleaning 39007 clauses out of 78017 with flag 4215525/811173
30.75/29.25	c cleaning 39998 clauses out of 80010 with flag 4520957/852173
33.24/31.70	c cleaning 41004 clauses out of 82012 with flag 4864353/894173
34.84/33.35	c cleaning 41986 clauses out of 84008 with flag 5084102/937173
36.64/35.11	c cleaning 43006 clauses out of 86023 with flag 5334268/981174
38.47/36.94	c cleaning 43995 clauses out of 88016 with flag 5569305/1026173
40.76/39.20	c cleaning 45001 clauses out of 90021 with flag 5815900/1072173
42.96/41.46	c cleaning 46000 clauses out of 92021 with flag 6098396/1119174
45.25/43.71	c cleaning 47000 clauses out of 94022 with flag 6381617/1167175
47.75/46.25	c cleaning 47988 clauses out of 96021 with flag 6738459/1216174
50.25/48.70	c cleaning 49012 clauses out of 98032 with flag 7023831/1266173
53.08/51.50	c cleaning 50000 clauses out of 100021 with flag 7338970/1317174
55.27/53.76	c cleaning 51009 clauses out of 102021 with flag 7573352/1369174
58.26/56.76	c cleaning 52002 clauses out of 104012 with flag 7932758/1422174
61.46/59.97	c cleaning 52988 clauses out of 106009 with flag 8383731/1476173
64.45/62.98	c cleaning 54003 clauses out of 108021 with flag 8700484/1531173
67.30/65.75	c cleaning 54997 clauses out of 110020 with flag 8981489/1587175
70.60/69.09	c cleaning 55994 clauses out of 112021 with flag 9278629/1644173
73.79/72.26	c cleaning 57010 clauses out of 114027 with flag 9617339/1702173
76.98/75.43	c cleaning 57991 clauses out of 116017 with flag 9949898/1761173
79.58/78.03	c cleaning 58998 clauses out of 118026 with flag 10188638/1821173
82.10/80.56	c cleaning 59994 clauses out of 120028 with flag 10435306/1882173
85.50/83.92	c cleaning 61005 clauses out of 122034 with flag 10765130/1944173
89.09/87.54	c cleaning 62010 clauses out of 124030 with flag 11142337/2007174
92.59/91.03	c cleaning 62981 clauses out of 126019 with flag 11493932/2071173
96.41/94.85	c cleaning 64013 clauses out of 128040 with flag 11832808/2136175
100.91/99.35	c cleaning 65012 clauses out of 130028 with flag 12228777/2202176
105.09/103.55	c cleaning 65989 clauses out of 132013 with flag 12605848/2269173
108.99/107.41	c cleaning 67011 clauses out of 134026 with flag 12971628/2337175
112.89/111.36	c cleaning 67998 clauses out of 136013 with flag 13406271/2406173
116.40/114.85	c cleaning 68995 clauses out of 138015 with flag 13724417/2476173
120.09/118.59	c cleaning 69989 clauses out of 140022 with flag 14082786/2547175
123.98/122.45	c cleaning 71009 clauses out of 142032 with flag 14466344/2619174
128.37/126.83	c cleaning 71988 clauses out of 144022 with flag 14902668/2692173
133.10/131.57	c cleaning 73014 clauses out of 146034 with flag 15375143/2766173
137.79/136.24	c cleaning 73997 clauses out of 148020 with flag 15873475/2841173
142.49/140.92	c cleaning 74997 clauses out of 150023 with flag 16359631/2917173
147.22/145.64	c cleaning 75991 clauses out of 152026 with flag 16821548/2994173
152.81/151.27	c cleaning 77005 clauses out of 154036 with flag 17318870/3072174
157.40/155.88	c cleaning 78002 clauses out of 156030 with flag 17777668/3151173
162.38/160.86	c cleaning 78998 clauses out of 158028 with flag 18188341/3231173
166.81/165.28	c cleaning 80000 clauses out of 160030 with flag 18583437/3312173
171.80/170.24	c cleaning 81014 clauses out of 162031 with flag 19017013/3394174
177.29/175.75	c cleaning 82001 clauses out of 164017 with flag 19601631/3477174
183.00/181.44	c cleaning 83004 clauses out of 166015 with flag 20157304/3561173
188.97/187.46	c cleaning 83996 clauses out of 168011 with flag 20737128/3646173
194.16/192.65	c cleaning 85006 clauses out of 170015 with flag 21225571/3732173
199.05/197.57	c cleaning 85995 clauses out of 172010 with flag 21850755/3819174
206.46/204.90	c cleaning 86996 clauses out of 174017 with flag 22739474/3907176
212.45/211.00	c cleaning 87992 clauses out of 176018 with flag 23323239/3996173
218.45/216.90	c cleaning 89015 clauses out of 178029 with flag 23990448/4086176
224.54/223.04	c cleaning 89994 clauses out of 180011 with flag 24704232/4177173
230.42/228.94	c cleaning 90985 clauses out of 182017 with flag 25387099/4269173
237.65/236.10	c cleaning 92005 clauses out of 184032 with flag 26311375/4362173
244.73/243.27	c cleaning 93006 clauses out of 186028 with flag 27199238/4456174
254.12/252.68	c cleaning 93996 clauses out of 188021 with flag 28403779/4551173
260.80/259.31	c cleaning 94991 clauses out of 190026 with flag 29256985/4647174
269.66/268.17	c cleaning 95993 clauses out of 192034 with flag 30411731/4744173
276.34/274.80	c cleaning 97010 clauses out of 194042 with flag 31175074/4842174
282.63/281.18	c cleaning 98007 clauses out of 196031 with flag 31861488/4941173
288.41/286.90	c cleaning 99001 clauses out of 198024 with flag 32375014/5041173
295.11/293.66	c cleaning 99997 clauses out of 200025 with flag 33072001/5142175
303.63/302.18	c cleaning 100994 clauses out of 202026 with flag 34132616/5244173
311.21/309.79	c cleaning 102003 clauses out of 204033 with flag 34926503/5347174
320.40/318.96	c cleaning 102996 clauses out of 206029 with flag 36066703/5451173
331.77/330.37	c cleaning 104007 clauses out of 208035 with flag 37350992/5556175
339.83/338.35	c cleaning 105006 clauses out of 210026 with flag 38153930/5662173
348.22/346.70	c cleaning 105989 clauses out of 212021 with flag 39166808/5769174
358.10/356.65	c cleaning 107006 clauses out of 214032 with flag 40374206/5877174
367.88/366.46	c cleaning 108002 clauses out of 216025 with flag 41477157/5986173
378.65/377.24	c cleaning 109000 clauses out of 218024 with flag 42626088/6096174
388.42/386.96	c cleaning 109991 clauses out of 220023 with flag 43466182/6207173
396.90/395.46	c cleaning 111006 clauses out of 222034 with flag 44376951/6319175
406.48/405.00	c cleaning 112007 clauses out of 224027 with flag 45214996/6432174
415.06/413.61	c cleaning 112994 clauses out of 226019 with flag 46090512/6546173
425.94/424.58	c cleaning 114002 clauses out of 228025 with flag 47256939/6661173
435.91/434.56	c cleaning 114994 clauses out of 230023 with flag 48175016/6777173
447.19/445.87	c cleaning 116012 clauses out of 232029 with flag 49389585/6894173
457.56/456.25	c cleaning 117005 clauses out of 234018 with flag 50330423/7012174
467.94/466.61	c cleaning 117999 clauses out of 236013 with flag 51246889/7131174
479.58/478.24	c cleaning 118996 clauses out of 238013 with flag 52432485/7251173
491.95/490.66	c cleaning 120003 clauses out of 240017 with flag 53673916/7372173
503.43/502.19	c cleaning 120986 clauses out of 242016 with flag 55019027/7494175
514.70/513.46	c cleaning 122006 clauses out of 244033 with flag 56170796/7617178
531.07/529.83	c cleaning 123004 clauses out of 246023 with flag 57643294/7741174
543.94/542.74	c cleaning 123991 clauses out of 248018 with flag 58983378/7866173
557.81/556.68	c cleaning 125008 clauses out of 250029 with flag 60567982/7992175
569.08/567.90	c cleaning 125994 clauses out of 252019 with flag 61616206/8119173
585.16/584.07	c cleaning 127001 clauses out of 254025 with flag 63054616/8247173
596.35/595.20	c cleaning 127979 clauses out of 256024 with flag 63868560/8376173
608.11/606.93	c cleaning 129012 clauses out of 258047 with flag 65034250/8506175
622.68/621.53	c cleaning 130006 clauses out of 260033 with flag 66660624/8637173
636.26/635.14	c cleaning 131000 clauses out of 262027 with flag 68091114/8769173
650.53/649.43	c cleaning 132003 clauses out of 264028 with flag 69392037/8902174
664.30/663.29	c cleaning 133012 clauses out of 266025 with flag 70448317/9036174
677.97/676.91	c cleaning 133996 clauses out of 268013 with flag 71557951/9171174
692.10/690.67	c cleaning 134997 clauses out of 270017 with flag 72710346/9307174
707.16/705.75	c cleaning 136002 clauses out of 272019 with flag 74236315/9444173
720.63/719.26	c cleaning 137003 clauses out of 274019 with flag 75377800/9582175
738.30/736.97	c cleaning 138002 clauses out of 276015 with flag 76949617/9721174
754.06/752.73	c cleaning 139001 clauses out of 278012 with flag 78347225/9861173
769.23/767.95	c cleaning 139993 clauses out of 280011 with flag 79386086/10002173
786.40/785.17	c cleaning 140990 clauses out of 282019 with flag 81217231/10144174
802.84/801.57	c cleaning 142000 clauses out of 284028 with flag 82934715/10287173
820.10/818.82	c cleaning 142997 clauses out of 286028 with flag 84527808/10431173
837.56/836.34	c cleaning 144005 clauses out of 288033 with flag 86231743/10576175
854.12/852.92	c cleaning 144995 clauses out of 290026 with flag 87816064/10722173
870.98/869.81	c cleaning 146005 clauses out of 292031 with flag 89425678/10869173
891.34/890.20	c cleaning 147000 clauses out of 294029 with flag 91557154/11017176
908.11/907.01	c cleaning 147998 clauses out of 296026 with flag 93080722/11166173
925.37/924.35	c cleaning 149009 clauses out of 298028 with flag 94884555/11316173
943.42/942.31	c cleaning 149999 clauses out of 300019 with flag 96725256/11467173
966.48/965.48	c cleaning 150998 clauses out of 302020 with flag 98817871/11619173
984.04/983.00	c cleaning 151997 clauses out of 304023 with flag 100285032/11772174
1004.59/1003.64	c cleaning 152998 clauses out of 306025 with flag 102298584/11926173
1022.65/1021.79	c cleaning 153995 clauses out of 308028 with flag 103660364/12081174
1040.52/1039.66	c cleaning 155003 clauses out of 310032 with flag 104849621/12237173
1067.35/1066.53	c cleaning 156007 clauses out of 312029 with flag 107309691/12394173
1087.24/1086.38	c cleaning 157006 clauses out of 314023 with flag 109280593/12552174
1108.39/1107.54	c cleaning 157988 clauses out of 316018 with flag 111331602/12711175
1129.75/1128.91	c cleaning 159004 clauses out of 318029 with flag 113589659/12871174
1152.50/1151.78	c cleaning 159998 clauses out of 320024 with flag 115644652/13032173
1174.16/1173.42	c cleaning 161009 clauses out of 322026 with flag 117481671/13194173
1194.32/1193.66	c cleaning 161984 clauses out of 324018 with flag 119219275/13357174
1215.68/1215.04	c cleaning 163002 clauses out of 326033 with flag 121168447/13521173
1234.83/1234.19	c cleaning 164005 clauses out of 328034 with flag 122662841/13686176
1256.88/1256.21	c cleaning 164998 clauses out of 330026 with flag 124568520/13852173
1279.73/1279.16	c cleaning 165999 clauses out of 332028 with flag 126326084/14019173
1303.29/1302.79	c cleaning 166997 clauses out of 334031 with flag 128623566/14187175
1327.54/1327.09	c cleaning 167999 clauses out of 336032 with flag 130919005/14356173
1348.50/1348.06	c cleaning 169009 clauses out of 338034 with flag 132373981/14526174
1369.74/1369.24	c cleaning 169990 clauses out of 340026 with flag 133837388/14697175
1393.59/1393.11	c cleaning 171005 clauses out of 342036 with flag 136007473/14869175
1416.22/1415.82	c cleaning 172008 clauses out of 344029 with flag 137521462/15042173
1436.87/1436.52	c cleaning 172995 clauses out of 346022 with flag 138625608/15216174
1454.82/1454.55	c cleaning 173989 clauses out of 348026 with flag 139610124/15391173
1476.36/1476.17	c cleaning 174997 clauses out of 350038 with flag 141021168/15567174
1501.80/1501.62	c cleaning 176015 clauses out of 352041 with flag 143532179/15744174
1528.55/1528.37	c cleaning 176981 clauses out of 354026 with flag 146231122/15922174
1549.99/1549.80	c cleaning 178004 clauses out of 356044 with flag 147937210/16101173
1576.44/1576.34	c cleaning 179015 clauses out of 358040 with flag 150469848/16281173
1602.28/1602.20	c cleaning 179995 clauses out of 360025 with flag 152935766/16462173
1628.34/1628.32	c cleaning 181000 clauses out of 362030 with flag 154965324/16644173
1654.58/1654.62	c cleaning 182004 clauses out of 364030 with flag 157328490/16827173
1677.72/1677.84	c cleaning 182994 clauses out of 366026 with flag 159211616/17011173
1701.47/1701.53	c cleaning 184004 clauses out of 368034 with flag 161060613/17196175
1727.82/1727.96	c cleaning 185001 clauses out of 370029 with flag 163299249/17382174
1753.06/1753.23	c cleaning 186006 clauses out of 372028 with flag 165383252/17569174
1779.50/1779.77	c cleaning 187005 clauses out of 374023 with flag 167787472/17757175
1804.76/1805.07	c cleaning 187989 clauses out of 376019 with flag 169661835/17946176
1834.79/1835.19	c cleaning 188992 clauses out of 378027 with flag 172492110/18136173
1864.23/1864.13	c cleaning 190005 clauses out of 380035 with flag 175206093/18327173
1890.08/1890.01	c cleaning 191004 clauses out of 382030 with flag 176910687/18519173
1915.71/1915.74	c cleaning 191985 clauses out of 384029 with flag 179047929/18712176
1942.46/1942.58	c cleaning 193020 clauses out of 386054 with flag 181032224/18906186
1971.39/1971.59	c cleaning 193994 clauses out of 388021 with flag 183647784/19101173
2004.43/2004.64	c cleaning 194990 clauses out of 390027 with flag 186522666/19297173
2033.36/2033.65	c cleaning 196007 clauses out of 392037 with flag 188914646/19494173
2067.97/2068.23	c cleaning 197012 clauses out of 394032 with flag 191987754/19692175
2096.40/2096.70	c cleaning 197994 clauses out of 396018 with flag 194489623/19891173
2129.11/2129.53	c cleaning 199009 clauses out of 398025 with flag 197205346/20091174
2160.52/2161.05	c cleaning 200001 clauses out of 400015 with flag 199676601/20292173
2190.64/2191.21	c cleaning 200994 clauses out of 402014 with flag 201994975/20494173
2221.56/2222.22	c cleaning 202000 clauses out of 404021 with flag 204326785/20697174
2252.48/2253.25	c cleaning 203006 clauses out of 406020 with flag 206721204/20901173
2282.40/2283.25	c cleaning 203983 clauses out of 408015 with flag 209210105/21106174
2312.15/2312.98	c cleaning 205013 clauses out of 410031 with flag 211165137/21312173
2342.66/2343.59	c cleaning 205987 clauses out of 412018 with flag 212926194/21519173
2373.68/2374.69	c cleaning 207000 clauses out of 414031 with flag 215179894/21727173
2405.70/2406.70	c cleaning 208006 clauses out of 416031 with flag 217474457/21936173
2437.61/2438.79	c cleaning 209002 clauses out of 418026 with flag 220023766/22146174
2470.63/2471.84	c cleaning 210009 clauses out of 420024 with flag 222508764/22357174
2503.94/2505.26	c cleaning 210989 clauses out of 422015 with flag 225627220/22569174
2537.05/2538.46	c cleaning 212003 clauses out of 424025 with flag 227947427/22782173
2562.10/2563.48	c cleaning 213003 clauses out of 426023 with flag 229283643/22996174
2593.83/2595.25	c cleaning 213997 clauses out of 428019 with flag 231151597/23211173
2627.36/2628.81	c cleaning 214989 clauses out of 430023 with flag 233649410/23427174
2661.08/2662.61	c cleaning 216001 clauses out of 432033 with flag 235448330/23644173
2695.91/2697.52	c cleaning 217002 clauses out of 434033 with flag 238543108/23862174
2728.74/2730.43	c cleaning 217991 clauses out of 436030 with flag 240643233/24081173
2763.06/2764.80	c cleaning 219004 clauses out of 438039 with flag 242919077/24301173
2799.78/2801.63	c cleaning 220005 clauses out of 440040 with flag 245643163/24522178
2833.60/2835.56	c cleaning 221000 clauses out of 442033 with flag 247561236/24744176
2867.43/2869.45	c cleaning 222004 clauses out of 444032 with flag 250103508/24967175
2903.16/2905.26	c cleaning 223011 clauses out of 446027 with flag 252643599/25191174
2942.98/2945.14	c cleaning 224001 clauses out of 448015 with flag 254646698/25416173
2982.49/2984.71	c cleaning 224998 clauses out of 450014 with flag 257442399/25642173
3016.91/3019.29	c cleaning 225997 clauses out of 452016 with flag 259302659/25869173
3053.60/3055.84	c cleaning 227001 clauses out of 454022 with flag 261782811/26097176
3090.00/3092.30	c cleaning 228006 clauses out of 456019 with flag 263906286/26326174
3126.01/3128.43	c cleaning 228978 clauses out of 458012 with flag 265733054/26556173
3157.42/3159.90	c cleaning 230007 clauses out of 460035 with flag 267895569/26787174
3196.52/3199.16	c cleaning 231000 clauses out of 462030 with flag 269903489/27019176
3235.32/3238.09	c cleaning 232007 clauses out of 464027 with flag 272340464/27252173
3276.27/3278.95	c cleaning 232992 clauses out of 466020 with flag 274788723/27486173
3316.97/3319.79	c cleaning 233996 clauses out of 468028 with flag 277879210/27721173
3355.67/3358.59	c cleaning 235003 clauses out of 470032 with flag 280131265/27957173
3396.56/3399.52	c cleaning 235993 clauses out of 472031 with flag 282896847/28194175
3438.74/3441.82	c cleaning 237010 clauses out of 474039 with flag 286171847/28432176
3481.43/3484.62	c cleaning 238002 clauses out of 476027 with flag 288713500/28671174
3515.04/3518.30	c cleaning 239005 clauses out of 478024 with flag 290496086/28911173
3560.01/3563.32	c cleaning 240008 clauses out of 480021 with flag 292623675/29152175
3594.12/3597.53	c cleaning 240997 clauses out of 482013 with flag 294305078/29394175
3600.01/3603.41	c starts		: 38811
3600.01/3603.42	c conflicts		: 29429250
3600.01/3603.42	c decisions		: 91472986
3600.01/3603.43	c propagations		: 884594012
3600.01/3603.43	c inspects		: 45541391412
3600.01/3603.43	c shortcuts		: 0
3600.01/3603.43	c learnt literals	: 0
3600.01/3603.43	c learnt binary clauses	: 0
3600.01/3603.43	c learnt ternary clauses	: 0
3600.01/3603.43	c learnt constraints	: 29429250
3600.01/3603.43	c ignored constraints	: 0
3600.01/3603.43	c root simplifications	: 0
3600.01/3603.43	c removed literals (reason simplification)	: 475950474
3600.01/3603.43	c reason swapping (by a shorter reason)	: 0
3600.01/3603.43	c Calls to reduceDB	: 238
3600.01/3603.43	c Number of update (reduction) of LBD	: 19269919
3600.01/3603.43	c Imported unit clauses	: 0
3600.01/3603.43	c No decision after first conflict	: false
3600.01/3603.43	c number of reductions to clauses (during analyze)	: 0
3600.01/3603.43	c number of learned constraints concerned by reduction	: 0
3600.01/3603.43	c number of learning phase by resolution	: 0
3600.01/3603.43	c number of learning phase by cutting planes	: 0
3600.01/3603.43	c number of rounding to 1 operations	: 0
3600.01/3603.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3603.43	c number of reductions of the coefficients by power 2 	: 0
3600.01/3603.43	c number of right shift for reduction by power 2 	: 0
3600.01/3603.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3603.43	c number of ending skipping 	: 0
3600.01/3603.43	c number of internal skipping 	: 0
3600.01/3603.43	c number of derivation steps 	: 0
3600.01/3603.43	c number of skipped derivation steps 	: 0
3600.01/3603.43	c number of remaining unassigned 	: 0
3600.01/3603.43	c number of remaining assigned 	: 0
3600.01/3603.43	c number of falsified literals weakened from reason	: 0
3600.01/3603.43	c number of falsified literals weakened from conflict	: 0
3600.01/3603.43	c time for arithmetic operations	: 0
3600.01/3603.44	c minimum degree of deleted constraints	: null
3600.01/3603.44	c maximum degree of deleted constraints	: null
3600.01/3603.44	c number of deleted constraints	: 0
3600.01/3603.44	c speed (assignments/second)	: 245507.17223835172
3600.01/3603.44	c non guided choices	: 1302
3600.20/3603.51	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 276091
3600.20/3603.51	s SATISFIABLE
3600.20/3603.51	c Found 3 solution(s)
3600.20/3603.51	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/3603.51	c objective function=5
3600.20/3603.51	c Total wall clock time (in seconds): 3603.377

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517452-1751528303/watcher-4517452-1751528303 -o /tmp/evaluation-result-4517452-1751528303/solver-4517452-1751528303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72932 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4517452-1751528303.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=74092, runsolver pid=74089
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.13 4.17 4.17 6/338 74110
/proc/meminfo: memFree=108271336/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=18930384 memory=55652 CPUtime=0.11 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 6524 0 0 0 10 1 0 0 20 0 18 0 68508935 19384713216 13913 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4732596 13913 5366 1 0 547604 0
[pid=74092/tid=74094] ppid=74089 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 5045 0 0 0 7 0 0 0 20 0 18 0 68508936 19384713216 13913 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68508939 19384713216 13913 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=18930384 memory=61784027576291 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68508939 19384713216 13913 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55652 KiB

[startup+0.20604 s]*
/proc/loadavg: 4.13 4.17 4.17 6/338 74110
/proc/meminfo: memFree=108260876/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=18930384 memory=64036 CPUtime=0.31 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 7015 0 0 0 29 2 0 0 20 0 18 0 68508935 19384713216 16009 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4732596 16009 5430 1 0 547908 0
[pid=74092/tid=74094] ppid=74089 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 5270 0 0 0 16 1 0 0 20 0 18 0 68508936 19384713216 16009 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=18930384 memory=13937 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68508939 19384713216 16009 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=18930384 memory=60684515935208 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68508939 19384713216 16009 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64036 KiB

[startup+0.306408 s]*
/proc/loadavg: 4.13 4.17 4.17 6/338 74110
/proc/meminfo: memFree=108232772/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=18930384 memory=95588 CPUtime=0.5 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 8713 0 0 0 47 3 0 0 20 0 18 0 68508935 19384713216 23897 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4732596 23897 5462 1 0 549102 0
[pid=74092/tid=74094] ppid=74089 vsize=18930384 memory=-6000919468361541736 CPUtime=0.25 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 5354 0 0 0 24 1 0 0 20 0 18 0 68508936 19384713216 23897 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68508939 19384713216 23897 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68508939 19384713216 23897 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 95588 KiB

[startup+0.70025 s]
/proc/loadavg: 4.13 4.17 4.17 6/339 74111
/proc/meminfo: memFree=108214688/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=18996948 memory=117228 CPUtime=1.25 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 14966 0 0 0 121 4 0 0 20 0 19 0 68508935 19452874752 29307 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4749237 29307 5494 1 0 553591 0
[pid=74092/tid=74094] ppid=74089 vsize=18996948 memory=18432 CPUtime=0.62 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 5399 0 0 0 60 2 0 0 20 0 19 0 68508936 19452874752 29307 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68508939 19452874752 29307 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 68508939 19452874752 29307 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=18996948 memory=4496 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68508967 19452874752 29307 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 117228 KiB

[startup+1.50025 s]
/proc/loadavg: 4.13 4.17 4.17 6/339 74111
/proc/meminfo: memFree=108204752/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=18996948 memory=126500 CPUtime=2.81 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 19330 0 0 0 276 5 0 0 20 0 19 0 68508935 19452874752 31625 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4749237 31625 5494 1 0 553644 0
[pid=74092/tid=74094] ppid=74089 vsize=18996948 memory=0 CPUtime=1.39 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 5771 0 0 0 137 2 0 0 20 0 19 0 68508936 19452874752 31625 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68508939 19452874752 31625 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 68508939 19452874752 31625 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=18996948 memory=4496 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68508967 19452874752 31625 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 126500 KiB

[startup+3.10578 s]
/proc/loadavg: 4.12 4.16 4.17 5/339 74111
/proc/meminfo: memFree=108184304/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=18996948 memory=147108 CPUtime=4.61 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 20017 0 0 0 455 6 0 0 20 0 19 0 68508935 19452874752 36777 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4749237 36777 5494 1 0 553645 0
[pid=74092/tid=74094] ppid=74089 vsize=18996948 memory=11136 CPUtime=2.99 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 6095 0 0 0 296 3 0 0 20 0 19 0 68508936 19452874752 36777 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=18996948 memory=-6000919468361541736 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68508939 19452874752 36777 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 68508939 19452874752 36777 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68508967 19452874752 36777 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 4.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 147108 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.16 4.17 5/340 74112
/proc/meminfo: memFree=108139344/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=19063512 memory=182176 CPUtime=7.86 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 21656 0 0 0 779 7 0 0 20 0 20 0 68508935 19521036288 45544 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4765878 45544 5494 1 0 553935 0
[pid=74092/tid=74094] ppid=74089 vsize=19063512 memory=0 CPUtime=6.16 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 6140 0 0 0 613 3 0 0 20 0 20 0 68508936 19521036288 45544 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 45544 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 45544 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=19063512 memory=128548 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508967 19521036288 45544 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182176 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.16 4.17 5/340 74112
/proc/meminfo: memFree=108139344/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=19063512 memory=182176 CPUtime=14.25 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 22946 0 0 0 1418 7 0 0 20 0 20 0 68508935 19521036288 45544 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4765878 45544 5494 1 0 553935 0
[pid=74092/tid=74094] ppid=74089 vsize=19063512 memory=128548 CPUtime=12.55 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 7164 0 0 0 1252 3 0 0 20 0 20 0 68508936 19521036288 45544 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=19063512 memory=182176 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 45544 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 45544 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508967 19521036288 45544 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 14.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182176 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.17 4.17 5/320 74196
/proc/meminfo: memFree=110789044/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=19063512 memory=209124 CPUtime=27.06 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 25852 0 0 0 2697 9 0 0 20 0 20 0 68508935 19521036288 52281 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4765878 52281 5526 1 0 553935 0
[pid=74092/tid=74094] ppid=74089 vsize=19063512 memory=192596 CPUtime=25.26 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 7747 0 0 0 2523 3 0 0 20 0 20 0 68508936 19521036288 52281 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 52281 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=19063512 memory=192596 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 52281 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508967 19521036288 52281 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 27.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 209124 KiB

[startup+51.1061 s]
/proc/loadavg: 4.22 4.19 4.18 5/339 74246
/proc/meminfo: memFree=110450008/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=19063512 memory=287284 CPUtime=52.68 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 27075 0 0 0 5257 11 0 0 20 0 20 0 68508935 19521036288 71821 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4765878 71821 5526 1 0 553935 0
[pid=74092/tid=74094] ppid=74089 vsize=19063512 memory=-6000919468361541736 CPUtime=50.73 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 8001 0 0 0 5070 3 0 0 20 0 20 0 68508936 19521036288 71821 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 71821 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0

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

[startup+3282.3 s]
/proc/loadavg: 3.10 3.50 3.88 4/314 74716
/proc/meminfo: memFree=107515852/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=19063512 memory=2175936 CPUtime=3279.66 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 79806 0 0 0 327853 113 0 0 20 0 20 0 68508935 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4765878 543984 5526 1 0 557136 0
[pid=74092/tid=74094] ppid=74089 vsize=19063512 memory=16580 CPUtime=3271.02 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 33307 0 0 0 327086 16 0 0 20 0 20 0 68508936 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=19063512 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=19063512 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 1076 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=19063512 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508967 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 3279.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175936 KiB

[startup+3342.3 s]
/proc/loadavg: 3.07 3.42 3.83 4/316 74724
/proc/meminfo: memFree=107515944/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=19063512 memory=2175936 CPUtime=3339.5 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 80312 0 0 0 333836 114 0 0 20 0 20 0 68508935 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4765878 543984 5526 1 0 557136 0
[pid=74092/tid=74094] ppid=74089 vsize=19063512 memory=4496 CPUtime=3330.84 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 33707 0 0 0 333068 16 0 0 20 0 20 0 68508936 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=19063512 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 1153 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=19063512 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508967 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 3339.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175936 KiB

[startup+3402.3 s]
/proc/loadavg: 3.13 3.37 3.78 4/317 74728
/proc/meminfo: memFree=107327624/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=19063512 memory=2175936 CPUtime=3399.35 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 80956 0 0 0 339819 116 0 0 20 0 20 0 68508935 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4765878 543984 5526 1 0 557136 0
[pid=74092/tid=74094] ppid=74089 vsize=19063512 memory=2175936 CPUtime=3390.66 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 34220 0 0 0 339050 16 0 0 20 0 20 0 68508936 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 1231 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508967 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 3399.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175936 KiB

[startup+3462.3 s]
/proc/loadavg: 3.09 3.32 3.74 4/317 74730
/proc/meminfo: memFree=107327172/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=19063512 memory=2175936 CPUtime=3459.19 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 81197 0 0 0 345802 117 0 0 20 0 20 0 68508935 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4765878 543984 5526 1 0 557136 0
[pid=74092/tid=74094] ppid=74089 vsize=19063512 memory=2175936 CPUtime=3450.48 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 34436 0 0 0 345032 16 0 0 20 0 20 0 68508936 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 1231 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508967 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 3459.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175936 KiB

[startup+3522.3 s]
/proc/loadavg: 3.14 3.29 3.70 4/317 74734
/proc/meminfo: memFree=107329696/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=19063512 memory=2175936 CPUtime=3519.03 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 82058 0 0 0 351785 118 0 0 20 0 20 0 68508935 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4765878 543984 5526 1 0 557136 0
[pid=74092/tid=74094] ppid=74089 vsize=19063512 memory=18432 CPUtime=3510.3 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 35245 0 0 0 351014 16 0 0 20 0 20 0 68508936 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=19063512 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 1231 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=19063512 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508967 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 3519.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175936 KiB

[startup+3582.3 s]
/proc/loadavg: 3.11 3.25 3.66 4/317 74736
/proc/meminfo: memFree=107205452/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=19063512 memory=2175936 CPUtime=3578.96 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 83165 0 0 0 357777 119 0 0 20 0 20 0 68508935 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4765878 543984 5526 1 0 557136 0
[pid=74092/tid=74094] ppid=74089 vsize=19063512 memory=18432 CPUtime=3570.04 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 35751 0 0 0 356988 16 0 0 20 0 20 0 68508936 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=19063512 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=19063512 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 1273 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=19063512 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508967 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 3578.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.4 s]
/proc/loadavg: 3.08 3.23 3.64 4/315 74737
/proc/meminfo: memFree=107205000/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=19063512 memory=2175936 CPUtime=3600.01 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 83408 0 0 0 359882 119 0 0 20 0 20 0 68508935 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4765878 543984 5526 1 0 557136 0
[pid=74092/tid=74094] ppid=74089 vsize=19063512 memory=5092 CPUtime=3591.08 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 35981 0 0 0 359092 16 0 0 20 0 20 0 68508936 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=19063512 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=19063512 memory=5744 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 1273 0 0 0 0 0 0 0 20 0 20 0 68508939 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74111] ppid=74089 vsize=19063512 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74111/stat : 74111 (Timer-0) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68508967 19521036288 543984 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175936 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.04 s, system=1.20974 s

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

[startup+3603.5 s]
/proc/loadavg: 3.08 3.23 3.64 4/315 74737
/proc/meminfo: memFree=107205000/131249996 swapFree=33010160/33010684
[pid=74092] ppid=74089 vsize=19263204 memory=2176832 CPUtime=3600.2 cores=1,3
/proc/74092/stat : 74092 (java) S 74089 74092 72920 0 -1 4194304 85461 0 0 0 359901 119 0 0 20 0 21 0 68508935 19725520896 544208 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
/proc/74092/statm: 4815801 544208 5558 1 0 558098 0
[pid=74092/tid=74094] ppid=74089 vsize=19263204 memory=2175936 CPUtime=3591.17 cores=1,3
/proc/74092/task/74094/stat : 74094 (java) R 74089 74092 72920 0 -1 4194368 36080 0 0 0 359101 16 0 0 20 0 21 0 68508936 19725520896 544208 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74103] ppid=74089 vsize=19263204 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74103/stat : 74103 (Finalizer) S 74089 74092 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 68508939 19725520896 544208 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
[pid=74092/tid=74110] ppid=74089 vsize=19263204 memory=2175936 CPUtime=0 cores=1,3
/proc/74092/task/74110/stat : 74110 (Common-Cleaner) S 74089 74092 72920 0 -1 4194368 1273 0 0 0 0 0 0 0 20 0 21 0 68508939 19725520896 544208 18446744073709551615 94219691728896 94219691732592 140722438109600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94219691740408 94219691741200 94219699412992 140722438113665 140722438113766 140722438113766 140722438119368 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2176832 KiB

Child status: 143

Real time (s): 3603.53
CPU time (s): 3600.25
CPU user time (s): 3599.04
CPU system time (s): 1.20974
CPU usage (%): 99.909
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2176832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.04
system time used= 1.20974
maximum resident set size= 2176832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104261
involuntary context switches= 3191


# summary of solver processes directly reported to runsolver:
#   pid: 74092
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3599.04
#   total CPU system time (s): 1.20974

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48444 second user time and 17.388 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-03 09:38:23
IDJOB=4517452
IDBENCH=176086
IDSOLVER=3363
FILE ID=nodeC032/4517452-1751528303
RUNJOBID= nodeC032-1751521141-72932
SLURM_JOB_ID= 9598644
Free space on /tmp= 430556 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517452-1751528303/watcher-4517452-1751528303 -o /tmp/evaluation-result-4517452-1751528303/solver-4517452-1751528303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72932 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4517452-1751528303.opb

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

MD5SUM BENCH= 6f78fc52c3f94736c8d8a5f9c953ef5f
RANDOM SEED=198963300

nodeC032 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.840
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.69
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.849
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.69
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		: 3536.674
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.69
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		: 3571.173
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.69
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.835
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.69
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.351
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.69
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		: 3599.065
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.69
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		: 3599.900
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        108287372 kB
MemAvailable:   124638968 kB
Buffers:            2728 kB
Cached:         17030756 kB
SwapCached:           20 kB
Active:          5438868 kB
Inactive:       16661276 kB
Active(anon):    5081584 kB
Inactive(anon):     3124 kB
Active(file):     357284 kB
Inactive(file): 16658152 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               992 kB
Writeback:            16 kB
AnonPages:       5069700 kB
Mapped:           124016 kB
Shmem:             18048 kB
KReclaimable:     350796 kB
Slab:             444620 kB
SReclaimable:     350796 kB
SUnreclaim:        93824 kB
KernelStack:        5220 kB
PageTables:        13568 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    9250664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4810752 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430568 MiB
End job on nodeC032 at 2025-07-03 10:38:27