Trace number 4498229

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)-44 3600.26 3600.33

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_200_10_2.opb
MD5SUM9fcb7b7a2d678a7c73bcd1d35e71c227
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1170.75
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint10
Maximum length of a constraint19
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2492
Sum of products size (including duplicates)4984
Number of different products1246
Sum of products size2492

Quality of the solution as a function of time


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

Solver Data 

0.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.18	c version PB25.v20250606
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.20	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.22	c Free memory 		2104792832
0.12/0.22	c Max memory 		16282288128
0.12/0.22	c Total memory 		2113929216
0.12/0.22	c Number of processors 	2
0.30/0.32	c Pseudo Boolean Optimization by upper bound
0.30/0.32	c --- Begin Solver configuration ---
0.30/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.30/0.32	c Learn all clauses as in MiniSAT
0.30/0.32	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.32	c Expensive reason simplification
0.30/0.32	c Glucose 2.1 dynamic restart strategy
0.30/0.32	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.30/0.32	c timeout=2147483s
0.30/0.32	c DB Simplification allowed=false
0.30/0.32	c Listener: none
0.30/0.32	c --- End Solver configuration ---
0.30/0.32	c solving HOME/instance-4498229-1751273651.opb
0.30/0.32	c reading problem ... 
0.30/0.32	c  objective function found
0.67/0.52	c ... done. Wall clock time 0.201s.
0.67/0.52	c declared #vars     200
0.67/0.52	c internal #vars     1446
0.67/0.52	c #constraints  2892
0.67/0.52	c constraints type 
0.67/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1246
0.67/0.52	c org.sat4j.specs.Constr$1 => 228
0.67/0.52	c org.sat4j.pb.constraints.pb.UnitClausesPB => 153
0.67/0.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1246
0.67/0.52	c org.sat4j.pb.constraints.pb.UnitClausePB => 19
0.67/0.52	c 2892 constraints processed.
0.84/0.54	c objective function length is 200 literals
0.84/0.56	c SATISFIABLE
0.84/0.56	c OPTIMIZING...
0.84/0.57	c Got one! Elapsed wall clock time (in seconds):0.25
0.84/0.57	o -37
0.84/0.59	c Got one! Elapsed wall clock time (in seconds):0.272
0.84/0.59	o -38
0.84/0.59	c Got one! Elapsed wall clock time (in seconds):0.277
0.84/0.59	o -39
2.56/1.46	c cleaning 2502 clauses out of 5004 with flag 10706/5004
3.75/2.04	c cleaning 4251 clauses out of 8502 with flag 23613/11004
4.35/2.42	c cleaning 5625 clauses out of 11251 with flag 38613/18004
4.85/2.99	c cleaning 6811 clauses out of 13628 with flag 55767/26006
5.59/3.65	c cleaning 7908 clauses out of 15816 with flag 74972/35005
6.39/4.45	c cleaning 8950 clauses out of 17908 with flag 96303/45005
7.75/5.59	c cleaning 9978 clauses out of 19958 with flag 122118/56005
9.36/7.11	c cleaning 10986 clauses out of 21979 with flag 151623/68004
11.35/9.16	c cleaning 11998 clauses out of 23995 with flag 184039/81006
13.46/11.23	c cleaning 12995 clauses out of 25995 with flag 218921/95004
15.97/13.71	c cleaning 13999 clauses out of 28000 with flag 256161/110004
18.77/16.57	c cleaning 15000 clauses out of 30001 with flag 296401/126004
21.91/19.50	c cleaning 16001 clauses out of 32002 with flag 337638/143005
25.37/22.94	c cleaning 17000 clauses out of 34002 with flag 381771/161006
29.27/26.89	c cleaning 17995 clauses out of 36001 with flag 426688/180005
32.76/30.32	c cleaning 19003 clauses out of 38005 with flag 471010/200004
36.91/34.49	c cleaning 20002 clauses out of 40003 with flag 517390/221005
40.40/37.97	c cleaning 20996 clauses out of 42000 with flag 565158/243004
43.79/41.33	c cleaning 21996 clauses out of 44004 with flag 613953/266004
48.22/45.76	c cleaning 22998 clauses out of 46008 with flag 664761/290004
52.62/50.14	c cleaning 24005 clauses out of 48010 with flag 717703/315004
57.33/54.88	c cleaning 24998 clauses out of 50005 with flag 772774/341004
62.31/59.89	c cleaning 25997 clauses out of 52008 with flag 829651/368005
68.22/65.70	c cleaning 27005 clauses out of 54011 with flag 888444/396005
74.51/72.03	c cleaning 27996 clauses out of 56006 with flag 949635/425005
80.85/78.37	c cleaning 29001 clauses out of 58009 with flag 1013127/455004
87.14/84.60	c cleaning 29999 clauses out of 60008 with flag 1078781/486004
93.38/90.85	c cleaning 30998 clauses out of 62009 with flag 1146676/518004
100.87/98.37	c cleaning 32006 clauses out of 64011 with flag 1216387/551004
108.80/106.29	c cleaning 32999 clauses out of 66006 with flag 1288495/585005
116.78/114.20	c cleaning 34002 clauses out of 68007 with flag 1362837/620005
125.76/123.20	c cleaning 35001 clauses out of 70004 with flag 1439225/656004
133.74/131.30	c cleaning 36002 clauses out of 72005 with flag 1517939/693006
143.42/140.94	c cleaning 36991 clauses out of 74002 with flag 1598471/731005
154.01/151.54	c cleaning 38005 clauses out of 76010 with flag 1680951/770004
165.51/163.02	c cleaning 39003 clauses out of 78005 with flag 1765927/810004
178.28/175.86	c cleaning 39998 clauses out of 80002 with flag 1852388/851004
190.09/187.64	c cleaning 41002 clauses out of 82004 with flag 1941474/893004
201.77/199.34	c cleaning 41996 clauses out of 84004 with flag 2032900/936006
215.66/213.24	c cleaning 43004 clauses out of 86007 with flag 2126422/980005
225.23/222.81	c Got one! Elapsed wall clock time (in seconds):222.5
225.23/222.81	o -40
227.97/225.51	c cleaning 42496 clauses out of 84992 with flag 10683/1021994
229.27/226.82	c cleaning 24248 clauses out of 48495 with flag 23483/1027993
229.97/227.58	c cleaning 15624 clauses out of 31248 with flag 38285/1034994
230.77/228.37	c cleaning 11810 clauses out of 23623 with flag 55211/1042993
231.48/229.08	c cleaning 10403 clauses out of 20813 with flag 74180/1051993
232.26/229.80	c cleaning 10197 clauses out of 20410 with flag 95269/1061993
233.16/230.74	c cleaning 10603 clauses out of 21214 with flag 118493/1072994
235.07/232.56	c cleaning 11300 clauses out of 22610 with flag 143883/1084993
236.67/234.18	c cleaning 12151 clauses out of 24310 with flag 171314/1097993
238.16/235.62	c cleaning 13077 clauses out of 26161 with flag 200755/1111995
239.67/237.14	c cleaning 14038 clauses out of 28082 with flag 232305/1126993
241.35/238.87	c cleaning 15016 clauses out of 30046 with flag 265914/1142995
243.45/240.99	c cleaning 16013 clauses out of 32029 with flag 301762/1159994
245.84/243.31	c cleaning 17003 clauses out of 34016 with flag 339803/1177994
248.34/245.87	c cleaning 18001 clauses out of 36012 with flag 380110/1196993
250.83/248.38	c cleaning 19003 clauses out of 38012 with flag 422489/1216994
253.72/251.28	c cleaning 20005 clauses out of 40009 with flag 467026/1237994
257.22/254.79	c cleaning 20995 clauses out of 42004 with flag 513880/1259994
261.12/258.67	c cleaning 21997 clauses out of 44008 with flag 562503/1282993
264.80/262.30	c cleaning 23006 clauses out of 46011 with flag 613035/1306993
268.99/266.54	c cleaning 24002 clauses out of 48007 with flag 665724/1331995
273.69/271.23	c cleaning 25002 clauses out of 50003 with flag 720565/1357993
278.43/275.93	c cleaning 25992 clauses out of 52001 with flag 777479/1384993
284.56/282.03	c cleaning 26997 clauses out of 54009 with flag 836614/1412993
292.38/289.85	c cleaning 27998 clauses out of 56013 with flag 897918/1441994
299.36/296.81	c cleaning 29002 clauses out of 58014 with flag 961375/1471993
307.24/304.74	c cleaning 30001 clauses out of 60013 with flag 1026596/1502994
314.35/311.90	c cleaning 31005 clauses out of 62012 with flag 1094127/1534994
322.94/320.44	c cleaning 32001 clauses out of 64007 with flag 1163549/1567994
330.23/327.78	c cleaning 32996 clauses out of 66006 with flag 1235370/1601994
330.73/328.24	c Got one! Elapsed wall clock time (in seconds):327.928
330.73/328.24	o -41
331.14/328.67	c cleaning 19325 clauses out of 38655 with flag 4369/1607639
331.74/329.24	c cleaning 12664 clauses out of 25331 with flag 17390/1613640
332.34/329.81	c cleaning 9831 clauses out of 19666 with flag 32068/1620639
333.06/330.40	c cleaning 8917 clauses out of 17835 with flag 48961/1628639
333.06/330.44	c Got one! Elapsed wall clock time (in seconds):330.129
333.06/330.44	o -42
333.51/330.73	c cleaning 7095 clauses out of 14211 with flag 8618/1633932
333.83/331.06	c cleaning 6556 clauses out of 13116 with flag 21419/1639932
334.31/331.50	c cleaning 6770 clauses out of 13560 with flag 37007/1646932
334.83/332.02	c cleaning 7388 clauses out of 14790 with flag 54884/1654932
335.51/332.70	c cleaning 8197 clauses out of 16402 with flag 75369/1663932
336.21/333.41	c cleaning 9100 clauses out of 18205 with flag 97437/1673932
337.21/334.43	c cleaning 10049 clauses out of 20104 with flag 122153/1684931
338.10/335.30	c cleaning 11026 clauses out of 22055 with flag 149296/1696931
339.21/336.41	c cleaning 12010 clauses out of 24029 with flag 177947/1709931
340.71/337.91	c cleaning 13003 clauses out of 26019 with flag 207317/1723931
342.11/339.38	c cleaning 14008 clauses out of 28016 with flag 238882/1738931
343.52/340.77	c cleaning 14997 clauses out of 30009 with flag 272537/1754932
345.52/342.74	c cleaning 16002 clauses out of 32011 with flag 308272/1771931
348.31/345.56	c cleaning 17001 clauses out of 34011 with flag 345996/1789933
350.82/348.02	c cleaning 18003 clauses out of 36009 with flag 385818/1808932
353.50/350.72	c cleaning 18999 clauses out of 38005 with flag 427925/1828931
355.90/353.20	c cleaning 19997 clauses out of 40007 with flag 472212/1849932
358.58/355.83	c cleaning 21005 clauses out of 42009 with flag 518610/1871931
361.47/358.77	c cleaning 21997 clauses out of 44004 with flag 566912/1894931
365.17/362.47	c cleaning 22997 clauses out of 46008 with flag 617414/1918932
369.36/366.67	c cleaning 24001 clauses out of 48010 with flag 669748/1943931
373.04/370.35	c cleaning 25005 clauses out of 50009 with flag 724278/1969931
377.43/374.76	c cleaning 25998 clauses out of 52004 with flag 781141/1996931
382.32/379.69	c cleaning 27004 clauses out of 54007 with flag 839989/2024932
387.21/384.55	c cleaning 27998 clauses out of 56002 with flag 901241/2053931
392.72/390.07	c cleaning 29004 clauses out of 58007 with flag 964403/2083934
397.50/394.84	c cleaning 30001 clauses out of 60001 with flag 1029547/2114932
402.28/399.60	c cleaning 30991 clauses out of 62000 with flag 1097088/2146932
408.07/405.46	c cleaning 31999 clauses out of 64009 with flag 1166440/2179932
415.11/412.48	c cleaning 32997 clauses out of 66009 with flag 1238034/2213931
422.89/420.22	c cleaning 33995 clauses out of 68012 with flag 1311756/2248931
430.97/428.31	c cleaning 35003 clauses out of 70017 with flag 1387332/2284931
438.35/435.73	c cleaning 36007 clauses out of 72015 with flag 1465294/2321932
446.75/444.14	c cleaning 37000 clauses out of 74008 with flag 1545367/2359932
456.01/453.42	c cleaning 38000 clauses out of 76008 with flag 1627406/2398932
464.70/462.14	c cleaning 39004 clauses out of 78007 with flag 1711489/2438931
473.96/471.45	c cleaning 40001 clauses out of 80003 with flag 1797689/2479931
485.20/482.68	c cleaning 41001 clauses out of 82002 with flag 1886130/2521931
496.07/493.56	c cleaning 41993 clauses out of 84001 with flag 1976693/2564931
507.66/505.15	c cleaning 43002 clauses out of 86009 with flag 2069491/2608932
521.31/518.79	c cleaning 43996 clauses out of 88007 with flag 2164393/2653932
533.98/531.40	c cleaning 45001 clauses out of 90011 with flag 2261885/2699932
545.25/542.72	c cleaning 45992 clauses out of 92009 with flag 2360870/2746931
560.21/557.70	c cleaning 47004 clauses out of 94018 with flag 2461577/2794932
576.75/574.22	c cleaning 47997 clauses out of 96013 with flag 2564161/2843931
592.41/589.99	c cleaning 49006 clauses out of 98019 with flag 2668958/2893934
606.38/604.00	c cleaning 49996 clauses out of 100010 with flag 2776155/2944931
623.24/620.81	c cleaning 51001 clauses out of 102015 with flag 2885487/2996932
638.32/635.87	c cleaning 52001 clauses out of 104014 with flag 2996877/3049932
654.09/651.69	c cleaning 53006 clauses out of 106013 with flag 3110851/3103932
669.75/667.33	c cleaning 53996 clauses out of 108006 with flag 3226668/3158931
689.37/686.46	c cleaning 54994 clauses out of 110011 with flag 3344358/3214932
706.95/704.04	c cleaning 56001 clauses out of 112016 with flag 3464511/3271931
724.80/721.98	c cleaning 57006 clauses out of 114015 with flag 3586377/3329931
744.06/741.21	c cleaning 58003 clauses out of 116009 with flag 3710400/3388931
765.13/762.37	c cleaning 59002 clauses out of 118006 with flag 3836634/3448931
787.48/784.71	c cleaning 60000 clauses out of 120005 with flag 3964481/3509932
810.73/807.98	c cleaning 60998 clauses out of 122004 with flag 4094486/3571931
833.68/830.91	c cleaning 62001 clauses out of 124007 with flag 4226549/3634932
857.22/854.54	c cleaning 62993 clauses out of 126005 with flag 4360955/3698931
881.78/879.17	c cleaning 64006 clauses out of 128012 with flag 4497470/3763931
904.29/901.68	c cleaning 64999 clauses out of 130006 with flag 4636552/3829931
930.82/928.21	c cleaning 66003 clauses out of 132008 with flag 4777891/3896932
958.86/956.33	c cleaning 67002 clauses out of 134004 with flag 4921243/3964931
994.67/992.21	c cleaning 68000 clauses out of 136003 with flag 5066507/4033932
1025.05/1022.68	c cleaning 68998 clauses out of 138002 with flag 5213358/4103931
1060.38/1058.06	c cleaning 70001 clauses out of 140006 with flag 5363054/4174933
1094.80/1092.48	c cleaning 70995 clauses out of 142003 with flag 5514684/4246931
1135.70/1133.42	c cleaning 72002 clauses out of 144010 with flag 5668217/4319933
1174.91/1172.79	c cleaning 72995 clauses out of 146007 with flag 5823992/4393932
1215.70/1213.58	c cleaning 74001 clauses out of 148011 with flag 5981526/4468931
1251.82/1249.76	c cleaning 75004 clauses out of 150010 with flag 6141527/4544931
1290.62/1288.65	c cleaning 75999 clauses out of 152007 with flag 6303914/4621932
1331.42/1329.51	c cleaning 76998 clauses out of 154008 with flag 6467796/4699932
1372.52/1370.62	c cleaning 78004 clauses out of 156010 with flag 6633996/4778932
1412.41/1410.23	c cleaning 79002 clauses out of 158006 with flag 6802822/4858932
1455.70/1453.67	c cleaning 79999 clauses out of 160004 with flag 6972853/4939932
1499.39/1497.45	c cleaning 81000 clauses out of 162004 with flag 7145660/5021931
1531.53/1529.57	c cleaning 81997 clauses out of 164004 with flag 7320578/5104931
1565.34/1563.49	c cleaning 82998 clauses out of 166008 with flag 7498169/5188932
1602.17/1600.22	c cleaning 84000 clauses out of 168010 with flag 7678568/5273932
1641.90/1640.08	c cleaning 84998 clauses out of 170009 with flag 7860379/5359931
1684.51/1682.78	c cleaning 86004 clauses out of 172012 with flag 8043742/5446932
1724.15/1722.37	c cleaning 86996 clauses out of 174007 with flag 8229522/5534931
1768.66/1766.96	c cleaning 88002 clauses out of 176011 with flag 8417863/5623931
1809.36/1807.77	c cleaning 89002 clauses out of 178010 with flag 8608102/5713932
1854.86/1853.22	c cleaning 89998 clauses out of 180007 with flag 8799746/5804931
1895.27/1893.71	c cleaning 91004 clauses out of 182010 with flag 8993635/5896932
1947.47/1946.08	c cleaning 91999 clauses out of 184005 with flag 9189465/5989931
2000.99/1999.50	c cleaning 93001 clauses out of 186006 with flag 9387453/6083931
2066.55/2065.23	c cleaning 93999 clauses out of 188006 with flag 9587575/6178932
2122.51/2121.37	c cleaning 95000 clauses out of 190007 with flag 9790147/6274932
2174.84/2173.77	c cleaning 95994 clauses out of 192007 with flag 9994752/6371932
2237.68/2236.73	c cleaning 96999 clauses out of 194013 with flag 10201315/6469932
2301.87/2300.66	c cleaning 98003 clauses out of 196013 with flag 10410098/6568931
2357.05/2355.98	c cleaning 98996 clauses out of 198010 with flag 10621944/6668931
2379.60/2378.45	c Got one! Elapsed wall clock time (in seconds):2378.134
2379.60/2378.45	o -43
2385.20/2384.07	c cleaning 79644 clauses out of 159288 with flag 10544/6729205
2386.99/2385.89	c cleaning 42811 clauses out of 85644 with flag 23210/6735205
2387.98/2386.80	c cleaning 24905 clauses out of 49833 with flag 37974/6742205
2388.58/2387.46	c cleaning 16453 clauses out of 32929 with flag 54842/6750206
2389.08/2387.99	c cleaning 12729 clauses out of 25475 with flag 73901/6759205
2389.68/2388.50	c cleaning 11365 clauses out of 22746 with flag 94980/6769205
2390.29/2389.13	c cleaning 11182 clauses out of 22381 with flag 118234/6780205
2390.98/2389.88	c cleaning 11600 clauses out of 23200 with flag 143652/6792206
2391.88/2390.76	c cleaning 12296 clauses out of 24600 with flag 171095/6805206
2392.87/2391.78	c cleaning 13145 clauses out of 26303 with flag 200569/6819205
2393.87/2392.74	c cleaning 14076 clauses out of 28158 with flag 232139/6834205
2394.97/2393.80	c cleaning 15038 clauses out of 30082 with flag 265875/6850205
2396.69/2395.52	c cleaning 16020 clauses out of 32046 with flag 301561/6867207
2398.49/2397.35	c cleaning 17010 clauses out of 34025 with flag 339560/6885206
2400.68/2399.59	c cleaning 18006 clauses out of 36015 with flag 379672/6904206
2402.88/2401.74	c cleaning 19005 clauses out of 38009 with flag 421974/6924206
2404.87/2403.77	c cleaning 20001 clauses out of 40003 with flag 466254/6945205
2407.37/2406.27	c cleaning 20997 clauses out of 42002 with flag 512661/6967205
2410.37/2409.27	c cleaning 21999 clauses out of 44005 with flag 561315/6990205
2413.46/2412.30	c cleaning 22999 clauses out of 46007 with flag 612020/7014206
2416.17/2415.08	c cleaning 24000 clauses out of 48007 with flag 665013/7039205
2419.45/2418.35	c cleaning 24997 clauses out of 50008 with flag 720100/7065206
2423.04/2421.98	c cleaning 26003 clauses out of 52012 with flag 777240/7092207
2427.46/2426.31	c cleaning 27005 clauses out of 54009 with flag 836063/7120207
2434.05/2432.98	c cleaning 27987 clauses out of 56003 with flag 896934/7149206
2440.93/2439.81	c cleaning 29001 clauses out of 58015 with flag 959845/7179205
2447.31/2446.22	c cleaning 30008 clauses out of 60015 with flag 1025090/7210206
2452.81/2451.73	c cleaning 31001 clauses out of 62007 with flag 1092564/7242206
2460.59/2459.51	c cleaning 31998 clauses out of 64005 with flag 1162121/7275205
2468.19/2467.16	c cleaning 32995 clauses out of 66007 with flag 1234266/7309205
2477.26/2476.27	c cleaning 34004 clauses out of 68013 with flag 1308302/7344206
2485.34/2484.34	c cleaning 35004 clauses out of 70008 with flag 1384411/7380205
2493.93/2492.98	c cleaning 35998 clauses out of 72004 with flag 1462343/7417205
2504.51/2503.59	c cleaning 36999 clauses out of 74007 with flag 1542224/7455206
2515.78/2514.83	c cleaning 37995 clauses out of 76008 with flag 1624155/7494206
2526.47/2525.55	c cleaning 39005 clauses out of 78012 with flag 1708547/7534205
2536.54/2535.68	c cleaning 40002 clauses out of 80007 with flag 1794785/7575205
2548.52/2547.61	c cleaning 41001 clauses out of 82005 with flag 1883586/7617205
2560.80/2560.01	c cleaning 41994 clauses out of 84005 with flag 1974045/7660206
2573.56/2572.75	c cleaning 43002 clauses out of 86011 with flag 2066385/7704206
2586.14/2585.34	c cleaning 43999 clauses out of 88009 with flag 2160817/7749206
2600.21/2599.48	c cleaning 45004 clauses out of 90009 with flag 2257438/7795205
2614.59/2613.87	c cleaning 45996 clauses out of 92005 with flag 2356198/7842205
2629.37/2628.60	c cleaning 47003 clauses out of 94009 with flag 2457138/7890205
2641.54/2640.85	c cleaning 48000 clauses out of 96006 with flag 2560276/7939205
2655.61/2654.91	c cleaning 48994 clauses out of 98006 with flag 2665546/7989205
2671.75/2671.03	c cleaning 50004 clauses out of 100013 with flag 2772914/8040206
2688.61/2687.96	c cleaning 51004 clauses out of 102008 with flag 2882081/8092205
2704.97/2704.31	c cleaning 52003 clauses out of 104005 with flag 2993564/8145206
2723.92/2723.34	c cleaning 52997 clauses out of 106001 with flag 3106879/8199205
2746.17/2745.62	c cleaning 53994 clauses out of 108005 with flag 3223087/8254206
2767.62/2767.13	c cleaning 55002 clauses out of 110011 with flag 3341292/8310206
2787.26/2786.85	c cleaning 56000 clauses out of 112008 with flag 3461001/8367205
2805.45/2805.04	c cleaning 56997 clauses out of 114008 with flag 3583617/8425205
2824.80/2824.46	c cleaning 58006 clauses out of 116013 with flag 3709025/8484207
2846.84/2846.53	c cleaning 58994 clauses out of 118008 with flag 3836043/8544208
2875.87/2875.61	c cleaning 59997 clauses out of 120012 with flag 3964352/8605206
2904.60/2904.41	c cleaning 61004 clauses out of 122016 with flag 4094477/8667207
2927.63/2927.56	c cleaning 62001 clauses out of 124011 with flag 4226675/8730206
2952.87/2952.83	c cleaning 63005 clauses out of 126009 with flag 4362003/8794205
2980.02/2980.06	c cleaning 64001 clauses out of 128004 with flag 4499655/8859205
3007.05/3007.13	c cleaning 64999 clauses out of 130004 with flag 4638403/8925206
3030.59/3030.75	c cleaning 65997 clauses out of 132004 with flag 4779622/8992205
3055.87/3056.07	c cleaning 67003 clauses out of 134008 with flag 4923093/9060206
3082.02/3082.20	c cleaning 67991 clauses out of 136004 with flag 5067842/9129205
3106.06/3106.36	c cleaning 69007 clauses out of 138014 with flag 5215351/9199206
3136.39/3136.79	c cleaning 69996 clauses out of 140007 with flag 5365139/9270206
3167.80/3168.25	c cleaning 71001 clauses out of 142012 with flag 5517782/9342207
3198.73/3199.23	c cleaning 72001 clauses out of 144010 with flag 5673095/9415206
3233.26/3233.08	c cleaning 72998 clauses out of 146008 with flag 5830648/9489205
3271.37/3271.29	c cleaning 74001 clauses out of 148010 with flag 5992561/9564205
3305.10/3305.04	c cleaning 75003 clauses out of 150009 with flag 6152180/9640205
3340.59/3340.55	c cleaning 75998 clauses out of 152007 with flag 6314039/9717206
3377.12/3377.13	c cleaning 77003 clauses out of 154010 with flag 6477978/9795207
3410.06/3410.15	c cleaning 77992 clauses out of 156006 with flag 6644022/9874206
3447.87/3447.99	c cleaning 78998 clauses out of 158013 with flag 6812433/9954205
3489.68/3489.83	c cleaning 79998 clauses out of 160015 with flag 6982823/10035205
3528.40/3528.54	c cleaning 81003 clauses out of 162017 with flag 7155238/10117205
3535.99/3536.12	c Got one! Elapsed wall clock time (in seconds):3535.804
3535.99/3536.12	o -44
3539.38/3539.54	c cleaning 55511 clauses out of 111034 with flag 11134/10147225
3540.88/3541.09	c cleaning 30758 clauses out of 61523 with flag 24468/10153225
3542.07/3542.24	c cleaning 18875 clauses out of 37765 with flag 40165/10160225
3542.77/3542.95	c cleaning 13437 clauses out of 26890 with flag 57559/10168225
3543.67/3543.89	c cleaning 11217 clauses out of 22454 with flag 77963/10177226
3544.57/3544.72	c cleaning 10609 clauses out of 21236 with flag 100125/10187225
3545.47/3545.66	c cleaning 10809 clauses out of 21627 with flag 124438/10198225
3546.37/3546.55	c cleaning 11409 clauses out of 22818 with flag 151277/10210225
3547.37/3547.53	c cleaning 12204 clauses out of 24409 with flag 179478/10223225
3548.77/3548.93	c cleaning 13103 clauses out of 26205 with flag 210420/10237225
3550.46/3550.64	c cleaning 14051 clauses out of 28103 with flag 243367/10252226
3551.87/3552.07	c cleaning 15027 clauses out of 30053 with flag 277306/10268227
3553.66/3553.89	c cleaning 16006 clauses out of 32026 with flag 314787/10285227
3555.45/3555.68	c cleaning 17003 clauses out of 34018 with flag 354047/10303225
3557.28/3557.43	c cleaning 18006 clauses out of 36016 with flag 396000/10322226
3559.28/3559.44	c cleaning 19005 clauses out of 38010 with flag 439421/10342226
3561.47/3561.68	c cleaning 19999 clauses out of 40005 with flag 483903/10363226
3563.77/3563.99	c cleaning 21003 clauses out of 42006 with flag 531494/10385226
3566.36/3566.59	c cleaning 21995 clauses out of 44002 with flag 581542/10408225
3570.06/3570.28	c cleaning 23001 clauses out of 46007 with flag 635444/10432225
3574.45/3574.64	c cleaning 24001 clauses out of 48006 with flag 690817/10457225
3578.14/3578.39	c cleaning 24994 clauses out of 50005 with flag 748832/10483225
3582.53/3582.75	c cleaning 26005 clauses out of 52012 with flag 808323/10510226
3586.72/3586.94	c cleaning 26993 clauses out of 54007 with flag 868206/10538226
3591.52/3591.79	c cleaning 28004 clauses out of 56014 with flag 930080/10567226
3596.30/3596.55	c cleaning 29004 clauses out of 58009 with flag 993432/10597225
3600.02/3600.22	c starts		: 2610
3600.02/3600.23	c conflicts		: 10624740
3600.02/3600.23	c decisions		: 11552213
3600.02/3600.23	c propagations		: 59398534
3600.02/3600.23	c inspects		: 18297596167
3600.02/3600.23	c shortcuts		: 0
3600.02/3600.23	c learnt literals	: 0
3600.02/3600.23	c learnt binary clauses	: 0
3600.02/3600.23	c learnt ternary clauses	: 0
3600.02/3600.23	c learnt constraints	: 10624740
3600.02/3600.23	c ignored constraints	: 0
3600.02/3600.23	c root simplifications	: 0
3600.02/3600.24	c removed literals (reason simplification)	: 232219327
3600.02/3600.24	c reason swapping (by a shorter reason)	: 0
3600.02/3600.24	c Calls to reduceDB	: 274
3600.02/3600.24	c Number of update (reduction) of LBD	: 87701
3600.02/3600.24	c Imported unit clauses	: 0
3600.02/3600.24	c No decision after first conflict	: false
3600.02/3600.24	c number of reductions to clauses (during analyze)	: 0
3600.02/3600.24	c number of learned constraints concerned by reduction	: 0
3600.02/3600.24	c number of learning phase by resolution	: 0
3600.02/3600.24	c number of learning phase by cutting planes	: 0
3600.02/3600.24	c number of rounding to 1 operations	: 0
3600.02/3600.24	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3600.24	c number of reductions of the coefficients by power 2 	: 0
3600.02/3600.24	c number of right shift for reduction by power 2 	: 0
3600.02/3600.24	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3600.24	c number of ending skipping 	: 0
3600.02/3600.24	c number of internal skipping 	: 0
3600.02/3600.24	c number of derivation steps 	: 0
3600.02/3600.24	c number of skipped derivation steps 	: 0
3600.02/3600.24	c number of remaining unassigned 	: 0
3600.02/3600.24	c number of remaining assigned 	: 0
3600.02/3600.24	c number of falsified literals weakened from reason	: 0
3600.02/3600.24	c number of falsified literals weakened from conflict	: 0
3600.02/3600.24	c time for arithmetic operations	: 0
3600.02/3600.25	c minimum degree of deleted constraints	: null
3600.02/3600.25	c maximum degree of deleted constraints	: null
3600.02/3600.25	c number of deleted constraints	: 0
3600.02/3600.25	c speed (assignments/second)	: 16501.00911439343
3600.02/3600.25	c non guided choices	: 0
3600.02/3600.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 56520
3600.02/3600.29	s SATISFIABLE
3600.02/3600.29	c Found 8 solution(s)
3600.02/3600.30	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 
3600.22/3600.31	c objective function=-44
3600.22/3600.31	c Total wall clock time (in seconds): 3599.992

Verifier Data 

OK	-44

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498229-1751273651/watcher-4498229-1751273651 -o /tmp/evaluation-result-4498229-1751273651/solver-4498229-1751273651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751270048-35794 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498229-1751273651.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10007 s]*
/proc/loadavg: 4.26 4.17 4.20 7/323 36368
/proc/meminfo: memFree=120667452/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=18930384 memory=48368 CPUtime=0.12 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 5769 0 0 0 9 3 0 0 20 0 18 0 43044785 19384713216 12092 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4732596 12092 5305 1 0 546973 0
[pid=36350/tid=36352] ppid=36347 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 4647 0 0 0 5 2 0 0 20 0 18 0 43044787 19384713216 12092 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43044792 19384713216 12092 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=18930384 memory=57394571004297 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 43044793 19384713216 12092 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48368 KiB

[startup+0.214178 s]*
/proc/loadavg: 4.26 4.17 4.20 6/323 36368
/proc/meminfo: memFree=120659260/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=18930384 memory=55320 CPUtime=0.3 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 6482 0 0 0 26 4 0 0 20 0 18 0 43044785 19384713216 13830 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4732596 13830 5337 1 0 547573 0
[pid=36350/tid=36352] ppid=36347 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 5015 0 0 0 16 3 0 0 20 0 18 0 43044787 19384713216 13830 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43044792 19384713216 13830 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 43044793 19384713216 13830 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55320 KiB

[startup+0.315288 s]*
/proc/loadavg: 4.26 4.17 4.20 6/323 36368
/proc/meminfo: memFree=120650564/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=18930384 memory=58984 CPUtime=0.48 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 6797 0 0 0 44 4 0 0 20 0 18 0 43044785 19384713216 14746 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4732596 14746 5433 1 0 547791 0
[pid=36350/tid=36352] ppid=36347 vsize=18930384 memory=-6000919477018388076 CPUtime=0.29 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 5217 0 0 0 26 3 0 0 20 0 18 0 43044787 19384713216 14746 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43044792 19384713216 14746 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 43044793 19384713216 14746 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58984 KiB

[startup+0.700316 s]
/proc/loadavg: 4.26 4.17 4.20 7/323 36368
/proc/meminfo: memFree=120537956/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=18996948 memory=69204 CPUtime=1.17 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 8480 0 0 0 112 5 0 0 20 0 19 0 43044785 19452874752 17301 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4749237 17301 5465 1 0 548930 0
[pid=36350/tid=36352] ppid=36347 vsize=18996948 memory=17664 CPUtime=0.63 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 5413 0 0 0 60 3 0 0 20 0 19 0 43044787 19452874752 17301 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43044792 19452874752 17301 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 43044793 19452874752 17301 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69204 KiB

[startup+1.50027 s]
/proc/loadavg: 4.26 4.17 4.20 6/324 36369
/proc/meminfo: memFree=120493532/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=18996948 memory=93256 CPUtime=2.76 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 18743 0 0 0 268 8 0 0 20 0 19 0 43044785 19452874752 23314 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4749237 23314 5465 1 0 552177 0
[pid=36350/tid=36352] ppid=36347 vsize=18996948 memory=3200 CPUtime=1.37 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 6376 0 0 0 133 4 0 0 20 0 19 0 43044787 19452874752 23314 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43044792 19452874752 23314 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 43044793 19452874752 23314 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36369] ppid=36347 vsize=18996948 memory=14848 CPUtime=0 cores=0,2
/proc/36350/task/36369/stat : 36369 (Timer-0) S 36347 36350 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43044841 19452874752 23314 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93256 KiB

[startup+3.11309 s]
/proc/loadavg: 4.26 4.17 4.20 5/324 36369
/proc/meminfo: memFree=120346956/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=18996948 memory=130052 CPUtime=5.07 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 21893 0 0 0 498 9 0 0 20 0 19 0 43044785 19452874752 32513 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4749237 32513 5465 1 0 552450 0
[pid=36350/tid=36352] ppid=36347 vsize=18996948 memory=14848 CPUtime=2.97 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 6649 0 0 0 293 4 0 0 20 0 19 0 43044787 19452874752 32513 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43044792 19452874752 32513 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 43044793 19452874752 32513 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36369] ppid=36347 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/36350/task/36369/stat : 36369 (Timer-0) S 36347 36350 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43044841 19452874752 32513 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 5.07 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 130052 KiB

[startup+6.30041 s]
/proc/loadavg: 4.24 4.17 4.20 5/325 36370
/proc/meminfo: memFree=120043852/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=19063512 memory=190996 CPUtime=8.55 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 26793 0 0 0 844 11 0 0 20 0 20 0 43044785 19521036288 47749 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4765878 47749 5529 1 0 552757 0
[pid=36350/tid=36352] ppid=36347 vsize=19063512 memory=0 CPUtime=6.07 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 7302 0 0 0 602 5 0 0 20 0 20 0 43044787 19521036288 47749 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43044792 19521036288 47749 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 43044793 19521036288 47749 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36369] ppid=36347 vsize=19063512 memory=95768 CPUtime=0 cores=0,2
/proc/36350/task/36369/stat : 36369 (Timer-0) S 36347 36350 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43044841 19521036288 47749 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 8.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190996 KiB

[startup+12.7004 s]
/proc/loadavg: 4.22 4.17 4.20 5/325 36370
/proc/meminfo: memFree=119744844/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=19063512 memory=244520 CPUtime=14.97 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 29023 0 0 0 1483 14 0 0 20 0 20 0 43044785 19521036288 61130 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4765878 61130 5529 1 0 552757 0
[pid=36350/tid=36352] ppid=36347 vsize=19063512 memory=95768 CPUtime=12.29 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 7963 0 0 0 1224 5 0 0 20 0 20 0 43044787 19521036288 61130 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=19063512 memory=190996 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43044792 19521036288 61130 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 43044793 19521036288 61130 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36369] ppid=36347 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/36350/task/36369/stat : 36369 (Timer-0) S 36347 36350 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43044841 19521036288 61130 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 14.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 244520 KiB

[startup+25.5005 s]
/proc/loadavg: 4.17 4.16 4.19 6/325 36370
/proc/meminfo: memFree=118826720/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=19063512 memory=308284 CPUtime=27.97 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 29804 0 0 0 2780 17 0 0 20 0 20 0 43044785 19521036288 77071 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4765878 77071 5561 1 0 552757 0
[pid=36350/tid=36352] ppid=36347 vsize=19063512 memory=0 CPUtime=24.98 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 7998 0 0 0 2493 5 0 0 20 0 20 0 43044787 19521036288 77071 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43044792 19521036288 77071 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=19063512 memory=308284 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 43044793 19521036288 77071 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36369] ppid=36347 vsize=19063512 memory=244648 CPUtime=0 cores=0,2
/proc/36350/task/36369/stat : 36369 (Timer-0) S 36347 36350 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43044841 19521036288 77071 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 27.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 308284 KiB

[startup+51.1132 s]
/proc/loadavg: 4.19 4.16 4.19 6/325 36371
/proc/meminfo: memFree=118093072/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=19063512 memory=418908 CPUtime=53.62 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 30589 0 0 0 5342 20 0 0 20 0 20 0 43044785 19521036288 104727 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4765878 104727 5561 1 0 552757 0
[pid=36350/tid=36352] ppid=36347 vsize=19063512 memory=308284 CPUtime=50.39 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 8636 0 0 0 5034 5 0 0 20 0 20 0 43044787 19521036288 104727 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=19063512 memory=30472 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43044792 19521036288 104727 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 43044793 19521036288 104727 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0

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

[startup+3282.3 s]
/proc/loadavg: 4.19 4.19 4.18 7/326 36617
/proc/meminfo: memFree=107477308/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=19063512 memory=1864508 CPUtime=3282.44 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 79956 0 0 0 328015 229 0 0 20 0 20 0 43044785 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4765878 466127 5561 1 0 480614 0
[pid=36350/tid=36352] ppid=36347 vsize=19063512 memory=17664 CPUtime=3265.91 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 27624 0 0 0 326573 18 0 0 20 0 20 0 43044787 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43044792 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=19063512 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 1002 0 0 0 0 0 0 0 20 0 20 0 43044793 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36369] ppid=36347 vsize=19063512 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36369/stat : 36369 (Timer-0) S 36347 36350 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43044841 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 3282.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1864508 KiB

[startup+3342.3 s]
/proc/loadavg: 4.69 4.33 4.23 6/326 36619
/proc/meminfo: memFree=107468272/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=19063512 memory=1864508 CPUtime=3342.39 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 80682 0 0 0 334007 232 0 0 20 0 20 0 43044785 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4765878 466127 5561 1 0 480614 0
[pid=36350/tid=36352] ppid=36347 vsize=19063512 memory=1864508 CPUtime=3325.67 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 27803 0 0 0 332549 18 0 0 20 0 20 0 43044787 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43044792 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 1019 0 0 0 0 0 0 0 20 0 20 0 43044793 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36369] ppid=36347 vsize=19063512 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36369/stat : 36369 (Timer-0) S 36347 36350 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43044841 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 3342.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1864508 KiB

[startup+3402.3 s]
/proc/loadavg: 4.44 4.34 4.24 7/327 36623
/proc/meminfo: memFree=107471096/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=19063512 memory=1864508 CPUtime=3402.26 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 80782 0 0 0 339992 234 0 0 20 0 20 0 43044785 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4765878 466127 5561 1 0 480614 0
[pid=36350/tid=36352] ppid=36347 vsize=19063512 memory=1864508 CPUtime=3385.49 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 27898 0 0 0 338531 18 0 0 20 0 20 0 43044787 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=19063512 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43044792 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=19063512 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 1019 0 0 0 0 0 0 0 20 0 20 0 43044793 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36369] ppid=36347 vsize=19063512 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36369/stat : 36369 (Timer-0) S 36347 36350 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43044841 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 3402.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1864508 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.31 4.23 7/326 36625
/proc/meminfo: memFree=107261132/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=19063512 memory=1864508 CPUtime=3462.24 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 81355 0 0 0 345986 238 0 0 20 0 20 0 43044785 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4765878 466127 5561 1 0 480614 0
[pid=36350/tid=36352] ppid=36347 vsize=19063512 memory=1864508 CPUtime=3445.23 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 28288 0 0 0 344505 18 0 0 20 0 20 0 43044787 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=19063512 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43044792 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=19063512 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 1019 0 0 0 0 0 0 0 20 0 20 0 43044793 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36369] ppid=36347 vsize=19063512 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36369/stat : 36369 (Timer-0) S 36347 36350 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43044841 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 3462.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1864508 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.28 4.23 6/326 36693
/proc/meminfo: memFree=117100928/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=19063512 memory=1864508 CPUtime=3522.21 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 82488 0 0 0 351980 241 0 0 20 0 20 0 43044785 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4765878 466127 5561 1 0 480614 0
[pid=36350/tid=36352] ppid=36347 vsize=19063512 memory=1864508 CPUtime=3504.96 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 28713 0 0 0 350478 18 0 0 20 0 20 0 43044787 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43044792 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=19063512 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 1036 0 0 0 0 0 0 0 20 0 20 0 43044793 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36369] ppid=36347 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/36350/task/36369/stat : 36369 (Timer-0) S 36347 36350 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43044841 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 3522.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1864508 KiB

[startup+3582.3 s]
/proc/loadavg: 4.95 4.45 4.29 6/326 36761
/proc/meminfo: memFree=127460312/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=19063512 memory=1864508 CPUtime=3582.13 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 83018 0 0 0 357970 243 0 0 20 0 20 0 43044785 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4765878 466127 5561 1 0 480614 0
[pid=36350/tid=36352] ppid=36347 vsize=19063512 memory=1864508 CPUtime=3564.76 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 29091 0 0 0 356458 18 0 0 20 0 20 0 43044787 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43044792 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 1040 0 0 0 0 0 0 0 20 0 20 0 43044793 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36369] ppid=36347 vsize=19063512 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36369/stat : 36369 (Timer-0) S 36347 36350 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43044841 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 3582.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1864508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.2 s]
/proc/loadavg: 5.25 4.55 4.33 6/326 36763
/proc/meminfo: memFree=127460424/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=19063512 memory=1864508 CPUtime=3600.02 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 83111 0 0 0 359758 244 0 0 20 0 20 0 43044785 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4765878 466127 5561 1 0 480614 0
[pid=36350/tid=36352] ppid=36347 vsize=19063512 memory=-6000919477018388076 CPUtime=3582.58 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 29111 0 0 0 358240 18 0 0 20 0 20 0 43044787 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=19063512 memory=30472 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43044792 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=19063512 memory=7092 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 1040 0 0 0 0 0 0 0 20 0 20 0 43044793 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36369] ppid=36347 vsize=19063512 memory=46464 CPUtime=0 cores=0,2
/proc/36350/task/36369/stat : 36369 (Timer-0) S 36347 36350 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43044841 19521036288 466127 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1864508 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.8 s, system=2.46458 s

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

[startup+3600.3 s]
/proc/loadavg: 5.25 4.55 4.33 6/326 36763
/proc/meminfo: memFree=127460424/131382112 swapFree=33010684/33010684
[pid=36350] ppid=36347 vsize=19263204 memory=1865404 CPUtime=3600.22 cores=0,2
/proc/36350/stat : 36350 (java) S 36347 36350 35496 0 -1 4194304 84474 0 0 0 359778 244 0 0 20 0 21 0 43044785 19725520896 466351 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
/proc/36350/statm: 4815801 466351 5561 1 0 481574 0
[pid=36350/tid=36352] ppid=36347 vsize=19263204 memory=1864508 CPUtime=3582.68 cores=0,2
/proc/36350/task/36352/stat : 36352 (java) R 36347 36350 35496 0 -1 4194368 29205 0 0 0 358250 18 0 0 20 0 21 0 43044787 19725520896 466351 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36361] ppid=36347 vsize=19263204 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36361/stat : 36361 (Finalizer) S 36347 36350 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 43044792 19725520896 466351 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
[pid=36350/tid=36368] ppid=36347 vsize=19263204 memory=1864508 CPUtime=0 cores=0,2
/proc/36350/task/36368/stat : 36368 (Common-Cleaner) S 36347 36350 35496 0 -1 4194368 1040 0 0 0 0 0 0 0 20 0 21 0 43044793 19725520896 466351 18446744073709551615 94273678811136 94273678814832 140732970057008 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94273678822648 94273678823440 94273683484672 140732970060161 140732970060262 140732970060262 140732970065864 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1865404 KiB

Child status: 143

Real time (s): 3600.33
CPU time (s): 3600.26
CPU user time (s): 3597.8
CPU system time (s): 2.46458
CPU usage (%): 99.9981
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1865404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.8
system time used= 2.46457
maximum resident set size= 1865532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107310
involuntary context switches= 9553


# summary of solver processes directly reported to runsolver:
#   pid: 36350
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3597.8
#   total CPU system time (s): 2.46458

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8929 second user time and 36.8842 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-06-30 10:54:11
IDJOB=4498229
IDBENCH=148564
IDSOLVER=3363
FILE ID=nodeC012/4498229-1751273651
RUNJOBID= nodeC012-1751270048-35794
SLURM_JOB_ID= 9594179
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498229-1751273651/watcher-4498229-1751273651 -o /tmp/evaluation-result-4498229-1751273651/solver-4498229-1751273651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751270048-35794 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4498229-1751273651.opb

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

MD5SUM BENCH= 9fcb7b7a2d678a7c73bcd1d35e71c227
RANDOM SEED=868990958

nodeC012 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		: 1197.149
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	: 6983.39
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		: 3660.967
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	: 6983.39
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		: 1197.409
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	: 6983.39
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.357
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	: 6983.39
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		: 3616.128
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	: 6983.39
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		: 3660.934
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	: 6983.39
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		: 1197.275
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	: 6983.39
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		: 1197.828
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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        120698784 kB
MemAvailable:   120495056 kB
Buffers:            3280 kB
Cached:           605588 kB
SwapCached:            0 kB
Active:          9771032 kB
Inactive:         356808 kB
Active(anon):    9536932 kB
Inactive(anon):        0 kB
Active(file):     234100 kB
Inactive(file):   356808 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1868 kB
Writeback:            12 kB
AnonPages:       9522092 kB
Mapped:           122552 kB
Shmem:             17960 kB
KReclaimable:      89596 kB
Slab:             172144 kB
SReclaimable:      89596 kB
SUnreclaim:        82548 kB
KernelStack:        4960 kB
PageTables:        22184 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   15268852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150264 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9242624 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC012 at 2025-06-30 11:54:11