Trace number 4518418

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)1 3600.36 3602.29

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb
MD5SUM13aa29e786187b82093ba5acc80c7659
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.009484
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables84
Total number of constraints21
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)21
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 21
Biggest coefficient in the objective function 21
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 231
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 21
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 231
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.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.21	c Free memory 		2104792832
0.12/0.21	c Max memory 		16282288128
0.12/0.21	c Total memory 		2113929216
0.12/0.22	c Number of processors 	2
0.31/0.32	c Pseudo Boolean Optimization by upper bound
0.31/0.32	c --- Begin Solver configuration ---
0.31/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.31/0.32	c Learn all clauses as in MiniSAT
0.31/0.32	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.32	c Expensive reason simplification
0.31/0.32	c Glucose 2.1 dynamic restart strategy
0.31/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.31/0.32	c timeout=2147483s
0.31/0.32	c DB Simplification allowed=false
0.31/0.32	c Listener: none
0.31/0.32	c --- End Solver configuration ---
0.31/0.32	c solving HOME/instance-4518418-1751546268.opb
0.31/0.32	c reading problem ... 
0.31/0.32	c  objective function found
0.48/0.35	c ... done. Wall clock time 0.029s.
0.48/0.35	c declared #vars     84
0.48/0.35	c #constraints  42
0.48/0.35	c constraints type 
0.48/0.35	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 42
0.48/0.35	c 42 constraints processed.
0.48/0.37	c objective function length is 21 literals
1.17/0.74	c SATISFIABLE
1.17/0.74	c OPTIMIZING...
1.17/0.74	c Got one! Elapsed wall clock time (in seconds):0.431
1.17/0.74	o 4
1.56/0.99	c cleaning 2735 clauses out of 5472 with flag 9079/5472
2.35/1.33	c cleaning 4360 clauses out of 8738 with flag 38614/11473
2.93/1.68	c cleaning 5682 clauses out of 11380 with flag 75806/18475
3.44/2.06	c cleaning 6834 clauses out of 13695 with flag 125106/26472
3.44/2.09	c Got one! Elapsed wall clock time (in seconds):1.776
3.44/2.09	o 3
3.89/2.33	c cleaning 6310 clauses out of 12643 with flag 27954/32254
4.24/2.59	c cleaning 6157 clauses out of 12333 with flag 64715/38254
4.34/2.69	c Got one! Elapsed wall clock time (in seconds):2.382
4.34/2.69	o 1
4.54/2.85	c cleaning 5986 clauses out of 11989 with flag 17603/44067
4.80/3.10	c cleaning 5989 clauses out of 12004 with flag 55560/50068
5.34/3.38	c cleaning 6502 clauses out of 13016 with flag 100902/57069
5.74/3.71	c cleaning 7247 clauses out of 14512 with flag 154785/65067
6.05/4.11	c cleaning 8121 clauses out of 16266 with flag 212866/74068
6.65/4.61	c cleaning 9065 clauses out of 18146 with flag 280145/84069
7.25/5.20	c cleaning 10035 clauses out of 20079 with flag 354006/95067
7.85/5.87	c cleaning 11009 clauses out of 22044 with flag 433933/107067
8.65/6.64	c cleaning 12014 clauses out of 24035 with flag 526391/120067
9.51/7.44	c cleaning 13001 clauses out of 26022 with flag 622666/134068
10.19/8.10	c cleaning 13999 clauses out of 28020 with flag 715172/149067
11.08/8.95	c cleaning 15001 clauses out of 30021 with flag 826030/165067
12.08/9.94	c cleaning 15999 clauses out of 32020 with flag 944933/182067
13.07/10.99	c cleaning 17004 clauses out of 34023 with flag 1073485/200069
14.28/12.13	c cleaning 18003 clauses out of 36018 with flag 1215908/219068
15.57/13.42	c cleaning 19000 clauses out of 38015 with flag 1361961/239068
16.67/14.55	c cleaning 20000 clauses out of 40015 with flag 1505084/260068
18.07/15.91	c cleaning 20997 clauses out of 42014 with flag 1656068/282067
19.57/17.47	c cleaning 22003 clauses out of 44020 with flag 1818297/305070
21.36/19.26	c cleaning 22997 clauses out of 46014 with flag 2003906/329067
23.36/21.22	c cleaning 24002 clauses out of 48018 with flag 2202898/354068
25.45/23.33	c cleaning 25003 clauses out of 50016 with flag 2398295/380068
27.45/25.37	c cleaning 25998 clauses out of 52012 with flag 2594328/407067
29.75/27.68	c cleaning 27001 clauses out of 54015 with flag 2783964/435068
32.04/29.91	c cleaning 28001 clauses out of 56015 with flag 2996537/464069
34.54/32.47	c cleaning 28999 clauses out of 58012 with flag 3247659/494067
37.33/35.21	c cleaning 30001 clauses out of 60013 with flag 3515476/525067
40.14/38.10	c cleaning 30993 clauses out of 62012 with flag 3798264/557067
43.24/41.18	c cleaning 32002 clauses out of 64021 with flag 4088057/590069
46.62/44.56	c cleaning 33006 clauses out of 66017 with flag 4393122/624067
49.81/47.78	c cleaning 34003 clauses out of 68011 with flag 4666748/659067
53.40/51.35	c cleaning 34999 clauses out of 70009 with flag 4941670/695068
57.49/55.43	c cleaning 35998 clauses out of 72010 with flag 5224052/732068
61.39/59.32	c cleaning 37000 clauses out of 74012 with flag 5495668/770068
65.38/63.36	c cleaning 37998 clauses out of 76013 with flag 5783707/809069
69.87/67.89	c cleaning 39002 clauses out of 78013 with flag 6087175/849067
74.77/72.79	c cleaning 39999 clauses out of 80012 with flag 6421307/890068
79.66/77.60	c cleaning 40998 clauses out of 82013 with flag 6744526/932068
84.74/82.79	c cleaning 42003 clauses out of 84015 with flag 7077968/975068
90.04/88.10	c cleaning 43004 clauses out of 86013 with flag 7411085/1019069
95.92/93.99	c cleaning 43999 clauses out of 88007 with flag 7769527/1064067
101.71/99.79	c cleaning 45002 clauses out of 90008 with flag 8136271/1110067
108.75/106.86	c cleaning 45999 clauses out of 92007 with flag 8510090/1157068
114.40/112.58	c cleaning 46992 clauses out of 94008 with flag 8873821/1205068
120.97/119.18	c cleaning 47997 clauses out of 96016 with flag 9246463/1254068
126.86/125.09	c cleaning 49001 clauses out of 98018 with flag 9618419/1304067
132.96/131.12	c cleaning 49997 clauses out of 100017 with flag 10021018/1355067
138.94/137.13	c cleaning 51006 clauses out of 102021 with flag 10403740/1407068
146.41/144.68	c cleaning 51997 clauses out of 104015 with flag 10827948/1460068
154.14/152.35	c cleaning 53006 clauses out of 106021 with flag 11222804/1514071
162.22/160.43	c cleaning 54000 clauses out of 108011 with flag 11659452/1569067
169.71/167.98	c cleaning 54997 clauses out of 110012 with flag 12110759/1625068
177.20/175.42	c cleaning 55998 clauses out of 112015 with flag 12571250/1682068
184.68/182.93	c cleaning 56997 clauses out of 114016 with flag 13045914/1740067
192.47/190.71	c cleaning 58005 clauses out of 116021 with flag 13517290/1799069
200.76/199.11	c cleaning 59001 clauses out of 118016 with flag 13983154/1859069
210.53/208.84	c cleaning 60001 clauses out of 120015 with flag 14479596/1920069
220.21/218.51	c cleaning 61000 clauses out of 122013 with flag 14971031/1982068
229.80/228.17	c cleaning 62000 clauses out of 124013 with flag 15448709/2045068
240.27/238.69	c cleaning 62998 clauses out of 126012 with flag 15978691/2109067
250.76/249.19	c cleaning 63999 clauses out of 128015 with flag 16513400/2174068
262.14/260.56	c cleaning 64995 clauses out of 130015 with flag 17060896/2240067
275.61/274.12	c cleaning 66000 clauses out of 132020 with flag 17623154/2307067
287.70/286.37	c cleaning 67000 clauses out of 134020 with flag 18187215/2375067
299.99/298.76	c cleaning 68002 clauses out of 136022 with flag 18764831/2444069
312.78/311.61	c cleaning 69003 clauses out of 138018 with flag 19339440/2514067
325.46/324.41	c cleaning 70006 clauses out of 140016 with flag 19898646/2585068
337.28/336.16	c cleaning 71000 clauses out of 142009 with flag 20470808/2657067
350.16/349.08	c cleaning 71993 clauses out of 144009 with flag 21081016/2730067
363.73/362.62	c cleaning 73002 clauses out of 146016 with flag 21711426/2804067
378.30/377.28	c cleaning 74003 clauses out of 148015 with flag 22345223/2879068
391.88/390.88	c cleaning 75000 clauses out of 150011 with flag 22951274/2955067
405.36/404.37	c cleaning 75997 clauses out of 152011 with flag 23587109/3032067
421.33/420.30	c cleaning 77001 clauses out of 154014 with flag 24279609/3110067
436.12/435.14	c cleaning 78000 clauses out of 156013 with flag 24916348/3189067
450.88/449.98	c cleaning 79001 clauses out of 158013 with flag 25581201/3269067
466.45/465.59	c cleaning 79997 clauses out of 160012 with flag 26261233/3350067
482.43/481.55	c cleaning 81002 clauses out of 162016 with flag 26933089/3432068
498.91/498.06	c cleaning 82002 clauses out of 164013 with flag 27590566/3515067
514.27/513.42	c cleaning 82994 clauses out of 166012 with flag 28266656/3599068
529.44/528.63	c cleaning 84002 clauses out of 168017 with flag 28941699/3684067
547.30/546.56	c cleaning 85006 clauses out of 170017 with flag 29598855/3770069
566.44/565.84	c cleaning 85997 clauses out of 172011 with flag 30321134/3857069
584.21/583.63	c cleaning 86999 clauses out of 174014 with flag 31008781/3945069
602.19/601.69	c cleaning 88002 clauses out of 176013 with flag 31685058/4034067
628.46/627.95	c cleaning 88999 clauses out of 178012 with flag 32466978/4124068
648.65/648.17	c cleaning 90001 clauses out of 180012 with flag 33171939/4215067
670.10/669.64	c cleaning 90994 clauses out of 182011 with flag 33935719/4307067
691.85/691.40	c cleaning 92001 clauses out of 184019 with flag 34649387/4400069
711.21/710.86	c cleaning 93000 clauses out of 186017 with flag 35372291/4494068
733.71/733.49	c cleaning 94001 clauses out of 188016 with flag 36140305/4589067
756.41/756.20	c cleaning 95002 clauses out of 190016 with flag 36913346/4685068
778.97/778.82	c cleaning 96001 clauses out of 192013 with flag 37668258/4782067
803.82/803.77	c cleaning 97004 clauses out of 194014 with flag 38472445/4880069
832.19/832.17	c cleaning 97994 clauses out of 196008 with flag 39321475/4979067
857.43/857.44	c cleaning 98999 clauses out of 198014 with flag 40139807/5079067
882.68/882.72	c cleaning 100003 clauses out of 200015 with flag 40968073/5180067
911.23/911.36	c cleaning 101000 clauses out of 202013 with flag 41806253/5282068
938.99/939.13	c cleaning 102001 clauses out of 204013 with flag 42590798/5385068
965.24/965.50	c cleaning 102998 clauses out of 206011 with flag 43393109/5489067
994.19/994.49	c cleaning 103999 clauses out of 208014 with flag 44251292/5594068
1023.49/1023.80	c cleaning 105001 clauses out of 210014 with flag 45102972/5700067
1048.56/1048.80	c cleaning 106003 clauses out of 212016 with flag 45973661/5807070
1075.83/1076.17	c cleaning 106999 clauses out of 214010 with flag 46824381/5915067
1103.46/1103.81	c cleaning 107999 clauses out of 216012 with flag 47696258/6024068
1129.33/1129.72	c cleaning 108997 clauses out of 218012 with flag 48567659/6134067
1157.98/1158.43	c cleaning 110001 clauses out of 220016 with flag 49430762/6245068
1187.93/1188.46	c cleaning 111005 clauses out of 222015 with flag 50254096/6357068
1215.27/1215.81	c cleaning 111997 clauses out of 224009 with flag 51090457/6470067
1245.31/1245.94	c cleaning 113001 clauses out of 226013 with flag 52009354/6584068
1275.96/1276.68	c cleaning 113999 clauses out of 228014 with flag 52915862/6699070
1307.40/1308.19	c cleaning 114996 clauses out of 230013 with flag 53792922/6815068
1342.93/1343.78	c cleaning 116002 clauses out of 232017 with flag 54699242/6932068
1376.86/1377.70	c cleaning 117002 clauses out of 234014 with flag 55600568/7050067
1414.88/1415.86	c cleaning 118000 clauses out of 236012 with flag 56516317/7169067
1448.92/1450.00	c cleaning 119002 clauses out of 238015 with flag 57419129/7289070
1484.37/1485.48	c cleaning 119993 clauses out of 240010 with flag 58348778/7410067
1523.91/1525.01	c cleaning 121004 clauses out of 242017 with flag 59316081/7532067
1557.14/1558.34	c cleaning 122002 clauses out of 244015 with flag 60257080/7655069
1594.19/1595.46	c cleaning 122997 clauses out of 246011 with flag 61177009/7779067
1630.54/1631.82	c cleaning 123999 clauses out of 248014 with flag 62078890/7904067
1672.55/1673.98	c cleaning 125003 clauses out of 250017 with flag 63074845/8030069
1710.49/1711.91	c cleaning 125998 clauses out of 252012 with flag 64088170/8157067
1752.21/1753.76	c cleaning 126997 clauses out of 254014 with flag 65113617/8285067
1802.03/1803.61	c cleaning 127998 clauses out of 256017 with flag 66115491/8414067
1844.55/1846.23	c cleaning 129000 clauses out of 258021 with flag 67083320/8544069
1885.97/1887.76	c cleaning 130006 clauses out of 260020 with flag 68047842/8675068
1929.76/1931.51	c cleaning 131002 clauses out of 262014 with flag 69096967/8807068
1974.59/1976.43	c cleaning 132000 clauses out of 264011 with flag 70165167/8940067
2019.02/2020.94	c cleaning 133002 clauses out of 266013 with flag 71225526/9074069
2070.47/2072.40	c cleaning 133995 clauses out of 268010 with flag 72303984/9209068
2116.70/2118.70	c cleaning 135002 clauses out of 270014 with flag 73348139/9345067
2161.13/2163.23	c cleaning 135998 clauses out of 272014 with flag 74354675/9482069
2201.77/2203.92	c cleaning 136997 clauses out of 274014 with flag 75355662/9620067
2246.70/2249.00	c cleaning 138001 clauses out of 276017 with flag 76353561/9759067
2296.83/2299.16	c cleaning 138998 clauses out of 278016 with flag 77423634/9899067
2351.58/2353.94	c cleaning 140006 clauses out of 280018 with flag 78531060/10040067
2401.39/2403.81	c cleaning 141002 clauses out of 282012 with flag 79641144/10182067
2453.39/2455.98	c cleaning 141999 clauses out of 284011 with flag 80756200/10325068
2505.70/2508.33	c cleaning 142996 clauses out of 286012 with flag 81841542/10469068
2560.73/2563.48	c cleaning 144003 clauses out of 288015 with flag 82920307/10614067
2615.04/2617.84	c cleaning 145000 clauses out of 290012 with flag 84032945/10760067
2672.73/2675.63	c cleaning 145998 clauses out of 292012 with flag 85150189/10907067
2732.91/2736.00	c cleaning 146999 clauses out of 294014 with flag 86281694/11055067
2793.60/2796.76	c cleaning 148002 clauses out of 296016 with flag 87357836/11204068
2855.70/2857.10	c cleaning 148997 clauses out of 298013 with flag 88443130/11354067
2923.47/2924.43	c cleaning 150001 clauses out of 300016 with flag 89592884/11505067
2991.05/2992.20	c cleaning 151004 clauses out of 302016 with flag 90732561/11657068
3053.53/3054.76	c cleaning 152002 clauses out of 304011 with flag 91897004/11810067
3118.03/3119.23	c cleaning 152998 clauses out of 306009 with flag 93042753/11964067
3180.04/3181.35	c cleaning 153999 clauses out of 308012 with flag 94182658/12119068
3249.72/3251.14	c cleaning 154997 clauses out of 310013 with flag 95323681/12275068
3320.89/3322.40	c cleaning 156004 clauses out of 312015 with flag 96453911/12432067
3385.00/3386.64	c cleaning 156996 clauses out of 314012 with flag 97561795/12590068
3450.64/3452.39	c cleaning 158007 clauses out of 316017 with flag 98727192/12749069
3507.43/3509.22	c cleaning 158998 clauses out of 318010 with flag 99885564/12909069
3571.76/3573.86	c cleaning 160005 clauses out of 320013 with flag 101053936/13070070
3600.04/3602.14	c starts		: 1237
3600.04/3602.14	c conflicts		: 13162807
3600.04/3602.14	c decisions		: 14656935
3600.04/3602.14	c propagations		: 166600837
3600.04/3602.14	c inspects		: 54839416540
3600.04/3602.14	c shortcuts		: 0
3600.04/3602.14	c learnt literals	: 0
3600.04/3602.14	c learnt binary clauses	: 2
3600.04/3602.14	c learnt ternary clauses	: 35
3600.04/3602.14	c learnt constraints	: 13162807
3600.04/3602.14	c ignored constraints	: 0
3600.04/3602.14	c root simplifications	: 0
3600.04/3602.14	c removed literals (reason simplification)	: 76863431
3600.04/3602.14	c reason swapping (by a shorter reason)	: 0
3600.04/3602.14	c Calls to reduceDB	: 163
3600.04/3602.14	c Number of update (reduction) of LBD	: 3422260
3600.04/3602.14	c Imported unit clauses	: 0
3600.04/3602.14	c No decision after first conflict	: false
3600.04/3602.14	c number of reductions to clauses (during analyze)	: 0
3600.04/3602.14	c number of learned constraints concerned by reduction	: 0
3600.04/3602.14	c number of learning phase by resolution	: 0
3600.04/3602.14	c number of learning phase by cutting planes	: 0
3600.04/3602.14	c number of rounding to 1 operations	: 0
3600.04/3602.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3602.14	c number of reductions of the coefficients by power 2 	: 0
3600.04/3602.14	c number of right shift for reduction by power 2 	: 0
3600.04/3602.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3602.14	c number of ending skipping 	: 0
3600.04/3602.14	c number of internal skipping 	: 0
3600.04/3602.14	c number of derivation steps 	: 0
3600.04/3602.14	c number of skipped derivation steps 	: 0
3600.04/3602.14	c number of remaining unassigned 	: 0
3600.04/3602.14	c number of remaining assigned 	: 0
3600.04/3602.14	c number of falsified literals weakened from reason	: 0
3600.04/3602.14	c number of falsified literals weakened from conflict	: 0
3600.04/3602.14	c time for arithmetic operations	: 0
3600.04/3602.14	c minimum degree of deleted constraints	: null
3600.04/3602.14	c maximum degree of deleted constraints	: null
3600.04/3602.14	c number of deleted constraints	: 0
3600.04/3602.16	c speed (assignments/second)	: 46255.268104293165
3600.04/3602.16	c non guided choices	: 79
3600.22/3602.25	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 252743
3600.22/3602.25	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2
3600.22/3602.25	s SATISFIABLE
3600.22/3602.26	c Found 3 solution(s)
3600.22/3602.26	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 
3600.22/3602.26	c objective function=1
3600.22/3602.26	c Total wall clock time (in seconds): 3601.95

Verifier Data 

OK	1

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: 63837 MiB (62510 MiB free)
  memory of node 1: 64465 MiB (49424 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518418-1751546268/watcher-4518418-1751546268 -o /tmp/evaluation-result-4518418-1751546268/solver-4518418-1751546268 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751539206-73503 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4518418-1751546268.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=74615, runsolver pid=74612

[startup+0.10007 s]*
/proc/loadavg: 3.29 3.27 3.27 6/303 74633
/proc/meminfo: memFree=114601196/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=18930384 memory=48308 CPUtime=0.12 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 5757 0 0 0 9 3 0 0 20 0 18 0 70305590 19384713216 12077 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4732596 12077 5333 1 0 546956 0
[pid=74615/tid=74617] ppid=74612 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 4682 0 0 0 5 2 0 0 20 0 18 0 70305592 19384713216 12109 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=18930384 memory=215637821677 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70305597 19384713216 12109 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=18930384 memory=19982 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70305598 19384713216 12109 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48308 KiB

[startup+0.218217 s]*
/proc/loadavg: 3.29 3.27 3.27 5/303 74633
/proc/meminfo: memFree=114598172/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=18930384 memory=55504 CPUtime=0.31 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 6532 0 0 0 27 4 0 0 20 0 18 0 70305590 19384713216 13876 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4732596 13876 5333 1 0 547604 0
[pid=74615/tid=74617] ppid=74612 vsize=18930384 memory=4026779145 CPUtime=0.18 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 5050 0 0 0 16 2 0 0 20 0 18 0 70305592 19384713216 13876 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=18930384 memory=211342852430 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70305597 19384713216 13876 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=18930384 memory=59589299292739 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70305598 19384713216 13876 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55504 KiB

[startup+0.318062 s]*
/proc/loadavg: 3.29 3.27 3.27 6/303 74633
/proc/meminfo: memFree=114594076/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=18930384 memory=59040 CPUtime=0.48 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 6824 0 0 0 44 4 0 0 20 0 18 0 70305590 19384713216 14760 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4732596 14760 5429 1 0 547801 0
[pid=74615/tid=74617] ppid=74612 vsize=18930384 memory=-6000919498543360104 CPUtime=0.28 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 5248 0 0 0 26 2 0 0 20 0 18 0 70305592 19384713216 14760 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70305597 19384713216 14760 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70305598 19384713216 14760 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59040 KiB

[startup+0.70034 s]
/proc/loadavg: 3.29 3.27 3.27 5/304 74634
/proc/meminfo: memFree=114589980/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=18996948 memory=66476 CPUtime=1.17 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 9189 0 0 0 111 6 0 0 20 0 19 0 70305590 19452874752 16619 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4749237 16619 5461 1 0 549266 0
[pid=74615/tid=74617] ppid=74612 vsize=18996948 memory=17920 CPUtime=0.62 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 5373 0 0 0 59 3 0 0 20 0 19 0 70305592 19452874752 16619 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70305597 19452874752 16619 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70305598 19452874752 16619 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=18996948 memory=4896 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70305628 19452874752 16619 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66476 KiB

[startup+1.50031 s]
/proc/loadavg: 3.29 3.27 3.27 5/304 74634
/proc/meminfo: memFree=114582900/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=18996948 memory=87160 CPUtime=2.74 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 19221 0 0 0 266 8 0 0 20 0 19 0 70305590 19452874752 21790 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4749237 21790 5461 1 0 552766 0
[pid=74615/tid=74617] ppid=74612 vsize=18996948 memory=11264 CPUtime=1.38 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 5742 0 0 0 135 3 0 0 20 0 19 0 70305592 19452874752 21790 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70305597 19452874752 21790 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70305598 19452874752 21790 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=18996948 memory=211309297979 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70305628 19452874752 21790 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87160 KiB

[startup+3.11836 s]
/proc/loadavg: 3.29 3.27 3.27 5/304 74634
/proc/meminfo: memFree=114557780/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=18996948 memory=97804 CPUtime=5 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 20335 0 0 0 492 8 0 0 20 0 19 0 70305590 19452874752 24451 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4749237 24451 5461 1 0 552771 0
[pid=74615/tid=74617] ppid=74612 vsize=18996948 memory=11264 CPUtime=2.99 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 6276 0 0 0 296 3 0 0 20 0 19 0 70305592 19452874752 24451 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=18996948 memory=-6000919498543360104 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70305597 19452874752 24451 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70305598 19452874752 24451 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=18996948 memory=164 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70305628 19452874752 24451 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97804 KiB

[startup+6.30039 s]
/proc/loadavg: 3.27 3.26 3.27 4/304 74634
/proc/meminfo: memFree=114541396/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=18996948 memory=108228 CPUtime=8.35 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 20498 0 0 0 826 9 0 0 20 0 19 0 70305590 19452874752 27057 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4749237 27057 5461 1 0 552773 0
[pid=74615/tid=74617] ppid=74612 vsize=18996948 memory=0 CPUtime=6.17 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 6350 0 0 0 613 4 0 0 20 0 19 0 70305592 19452874752 27057 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70305597 19452874752 27057 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=18996948 memory=87160 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70305598 19452874752 27057 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70305628 19452874752 27057 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 8.35 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 108228 KiB

[startup+12.7005 s]
/proc/loadavg: 3.33 3.27 3.28 4/304 74634
/proc/meminfo: memFree=114480208/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=18996948 memory=136900 CPUtime=14.87 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 23704 0 0 0 1477 10 0 0 20 0 19 0 70305590 19452874752 34225 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4749237 34225 5461 1 0 552773 0
[pid=74615/tid=74617] ppid=74612 vsize=18996948 memory=0 CPUtime=12.55 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 7235 0 0 0 1251 4 0 0 20 0 19 0 70305592 19452874752 34225 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70305597 19452874752 34225 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70305598 19452874752 34225 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70305628 19452874752 34225 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 14.87 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 136900 KiB

[startup+25.5004 s]
/proc/loadavg: 3.33 3.28 3.28 4/305 74635
/proc/meminfo: memFree=114406932/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=19063512 memory=174368 CPUtime=27.65 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 25935 0 0 0 2753 12 0 0 20 0 20 0 70305590 19521036288 43592 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4765878 43592 5525 1 0 553078 0
[pid=74615/tid=74617] ppid=74612 vsize=19063512 memory=0 CPUtime=25.29 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 8025 0 0 0 2524 5 0 0 20 0 20 0 70305592 19521036288 43592 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70305597 19521036288 43592 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=19063512 memory=211309297979 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 70305598 19521036288 43592 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=19063512 memory=-6000919498543360104 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70305628 19521036288 43592 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 27.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174368 KiB

[startup+51.1133 s]
/proc/loadavg: 3.29 3.27 3.27 4/304 74702
/proc/meminfo: memFree=128641900/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=19063512 memory=174368 CPUtime=53.22 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 26251 0 0 0 5309 13 0 0 20 0 20 0 70305590 19521036288 43592 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4765878 43592 5525 1 0 553078 0
[pid=74615/tid=74617] ppid=74612 vsize=19063512 memory=174368 CPUtime=50.83 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 8220 0 0 0 5078 5 0 0 20 0 20 0 70305592 19521036288 43592 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70305597 19521036288 43592 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=19063512 memory=136900 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 3.38 3.34 3.23 4/301 74865
/proc/meminfo: memFree=124027976/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=19063512 memory=1062328 CPUtime=3280.85 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 58239 0 0 0 327884 201 0 0 20 0 20 0 70305590 19521036288 265582 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4765878 265582 5557 1 0 555537 0
[pid=74615/tid=74617] ppid=74612 vsize=19063512 memory=1062328 CPUtime=3268.43 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 16945 0 0 0 326837 6 0 0 20 0 20 0 70305592 19521036288 265582 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=19063512 memory=1062328 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70305597 19521036288 265582 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=19063512 memory=1062328 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 761 0 0 0 0 0 0 0 20 0 20 0 70305598 19521036288 265582 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=19063512 memory=1062328 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70305628 19521036288 265582 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 3280.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1062328 KiB

[startup+3342.3 s]
/proc/loadavg: 3.20 3.29 3.22 4/301 74868
/proc/meminfo: memFree=124028228/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=19063512 memory=1062328 CPUtime=3340.76 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 58462 0 0 0 333871 205 0 0 20 0 20 0 70305590 19521036288 265582 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4765878 265582 5557 1 0 555537 0
[pid=74615/tid=74617] ppid=74612 vsize=19063512 memory=6452091056182944832 CPUtime=3328.29 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 17136 0 0 0 332823 6 0 0 20 0 20 0 70305592 19521036288 265582 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=19063512 memory=1062328 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70305597 19521036288 265582 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 764 0 0 0 0 0 0 0 20 0 20 0 70305598 19521036288 265582 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=19063512 memory=1062328 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70305628 19521036288 265582 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 3340.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1062328 KiB

[startup+3402.3 s]
/proc/loadavg: 3.07 3.24 3.20 4/303 74874
/proc/meminfo: memFree=124001284/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=19063512 memory=1093136 CPUtime=3400.72 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 58648 0 0 0 339865 207 0 0 20 0 20 0 70305590 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4765878 273284 5557 1 0 555537 0
[pid=74615/tid=74617] ppid=74612 vsize=19063512 memory=1062328 CPUtime=3388.1 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 17176 0 0 0 338804 6 0 0 20 0 20 0 70305592 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=19063512 memory=1093136 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70305597 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=19063512 memory=1093136 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 766 0 0 0 0 0 0 0 20 0 20 0 70305598 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=19063512 memory=1093136 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70305628 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 3400.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1093136 KiB

[startup+3462.3 s]
/proc/loadavg: 3.12 3.22 3.19 4/303 74876
/proc/meminfo: memFree=124001280/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=19063512 memory=1093136 CPUtime=3460.62 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 58654 0 0 0 345852 210 0 0 20 0 20 0 70305590 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4765878 273284 5557 1 0 555537 0
[pid=74615/tid=74617] ppid=74612 vsize=19063512 memory=1093136 CPUtime=3447.95 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 17177 0 0 0 344789 6 0 0 20 0 20 0 70305592 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70305597 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 766 0 0 0 0 0 0 0 20 0 20 0 70305598 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70305628 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 3460.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1093136 KiB

[startup+3522.3 s]
/proc/loadavg: 2.81 3.13 3.16 3/278 74912
/proc/meminfo: memFree=126154960/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=19063512 memory=1093136 CPUtime=3520.51 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 58659 0 0 0 351838 213 0 0 20 0 20 0 70305590 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4765878 273284 5557 1 0 555537 0
[pid=74615/tid=74617] ppid=74612 vsize=19063512 memory=1093136 CPUtime=3507.79 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 17177 0 0 0 350773 6 0 0 20 0 20 0 70305592 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=19063512 memory=1093136 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70305597 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 766 0 0 0 0 0 0 0 20 0 20 0 70305598 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70305628 19521036288 273284 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 3520.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1093136 KiB

[startup+3582.3 s]
/proc/loadavg: 2.34 2.94 3.09 3/278 74914
/proc/meminfo: memFree=126126372/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=19063512 memory=1117712 CPUtime=3580.25 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 58679 0 0 0 357809 216 0 0 20 0 20 0 70305590 19521036288 279428 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4765878 279428 5557 1 0 555537 0
[pid=74615/tid=74617] ppid=74612 vsize=19063512 memory=1117712 CPUtime=3567.39 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 17178 0 0 0 356733 6 0 0 20 0 20 0 70305592 19521036288 279428 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70305597 19521036288 279428 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 766 0 0 0 0 0 0 0 20 0 20 0 70305598 19521036288 279428 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70305628 19521036288 279428 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 3580.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1117712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.11 s]
/proc/loadavg: 2.24 2.87 3.07 3/277 74915
/proc/meminfo: memFree=126126372/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=19063512 memory=1117712 CPUtime=3600.04 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 58682 0 0 0 359787 217 0 0 20 0 20 0 70305590 19521036288 279428 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4765878 279428 5557 1 0 555537 0
[pid=74615/tid=74617] ppid=74612 vsize=19063512 memory=11264 CPUtime=3587.17 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 17178 0 0 0 358711 6 0 0 20 0 20 0 70305592 19521036288 279428 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70305597 19521036288 279428 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 766 0 0 0 0 0 0 0 20 0 20 0 70305598 19521036288 279428 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74634] ppid=74612 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/74615/task/74634/stat : 74634 (Timer-0) S 74612 74615 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70305628 19521036288 279428 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1117712 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.17 s, system=2.1934 s

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

[startup+3602.21 s]
/proc/loadavg: 2.24 2.87 3.07 3/277 74915
/proc/meminfo: memFree=126126372/131382120 swapFree=33010416/33010684
[pid=74615] ppid=74612 vsize=19263204 memory=1118608 CPUtime=3600.22 cores=4,6
/proc/74615/stat : 74615 (java) S 74612 74615 73492 0 -1 4194304 60691 0 0 0 359804 218 0 0 20 0 21 0 70305590 19725520896 279652 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
/proc/74615/statm: 4815801 279652 5557 1 0 556483 0
[pid=74615/tid=74617] ppid=74612 vsize=19263204 memory=5760 CPUtime=3587.23 cores=4,6
/proc/74615/task/74617/stat : 74617 (java) R 74612 74615 73492 0 -1 4194368 17346 0 0 0 358717 6 0 0 20 0 21 0 70305592 19725520896 279652 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74626] ppid=74612 vsize=19263204 memory=3072 CPUtime=0 cores=4,6
/proc/74615/task/74626/stat : 74626 (Finalizer) S 74612 74615 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70305597 19725520896 279652 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
[pid=74615/tid=74633] ppid=74612 vsize=19263204 memory=6912 CPUtime=0 cores=4,6
/proc/74615/task/74633/stat : 74633 (Common-Cleaner) S 74612 74615 73492 0 -1 4194368 766 0 0 0 0 0 0 0 20 0 21 0 70305598 19725520896 279652 18446744073709551615 94205025505280 94205025508976 140737446370864 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205025516792 94205025517584 94205051924480 140737446377857 140737446377958 140737446377958 140737446383560 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1118608 KiB

Child status: 143

Real time (s): 3602.29
CPU time (s): 3600.36
CPU user time (s): 3598.17
CPU system time (s): 2.1934
CPU usage (%): 99.9465
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1118608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.17
system time used= 2.1934
maximum resident set size= 1118864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60984
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105232
involuntary context switches= 5614


# summary of solver processes directly reported to runsolver:
#   pid: 74615
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3598.17
#   total CPU system time (s): 2.1934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4674 second user time and 37.2808 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-03 14:37:48
IDJOB=4518418
IDBENCH=177047
IDSOLVER=3363
FILE ID=nodeC002/4518418-1751546268
RUNJOBID= nodeC002-1751539206-73503
SLURM_JOB_ID= 9598696
Free space on /tmp= 432692 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518418-1751546268/watcher-4518418-1751546268 -o /tmp/evaluation-result-4518418-1751546268/solver-4518418-1751546268 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751539206-73503 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4518418-1751546268.opb

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

MD5SUM BENCH= 13aa29e786187b82093ba5acc80c7659
RANDOM SEED=895633590

nodeC002 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		: 3661.322
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.081
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.81
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.505
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.81
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.165
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.81
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		: 1197.418
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.81
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		: 3491.989
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.81
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.224
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.81
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.657
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        114620800 kB
MemAvailable:   115192956 kB
Buffers:            2128 kB
Cached:          1377804 kB
SwapCached:           28 kB
Active:         15111136 kB
Inactive:        1074716 kB
Active(anon):   14817448 kB
Inactive(anon):     6404 kB
Active(file):     293688 kB
Inactive(file):  1068312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               684 kB
Writeback:             0 kB
AnonPages:      14808228 kB
Mapped:           123088 kB
Shmem:             17932 kB
KReclaimable:      99568 kB
Slab:             183936 kB
SReclaimable:      99568 kB
SUnreclaim:        84368 kB
KernelStack:        4640 kB
PageTables:        32284 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   18928576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150008 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14567424 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432692 MiB
End job on nodeC002 at 2025-07-03 15:37:50