Trace number 4490664

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-06? (TO) 3600.23 3602.26

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
MD5SUM24a8c00bfc22332d2e87e9d19ffbf58d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables51
Total number of constraints13
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint1
Maximum length of a constraint50
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3819
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.19	c See www.sat4j.org for details.
0.11/0.20	c version PB25.v20250606
0.24/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.24/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.24/0.24	c java.vm.version	22.0.1+8-16
0.24/0.24	c java.vm.vendor	Oracle Corporation
0.24/0.24	c sun.arch.data.model	64
0.24/0.24	c java.version		22.0.1
0.24/0.24	c os.name		Linux
0.24/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.24/0.24	c os.arch		amd64
0.24/0.25	c Free memory 		2106806208
0.24/0.25	c Max memory 		16282288128
0.24/0.25	c Total memory 		2113929216
0.24/0.26	c Number of processors 	2
0.40/0.37	c Pseudo Boolean Optimization by upper bound
0.40/0.37	c --- Begin Solver configuration ---
0.40/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.40/0.37	c Learn all clauses as in MiniSAT
0.40/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.40/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.40/0.37	c Expensive reason simplification
0.40/0.37	c Glucose 2.1 dynamic restart strategy
0.40/0.37	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.40/0.37	c timeout=2147483s
0.40/0.37	c DB Simplification allowed=false
0.40/0.37	c Listener: none
0.40/0.37	c --- End Solver configuration ---
0.40/0.37	c solving HOME/instance-4490664-1751360613.opb
0.40/0.37	c reading problem ... 
0.40/0.37	c  objective function found
0.57/0.43	c ... done. Wall clock time 0.043s.
0.57/0.43	c declared #vars     51
0.57/0.43	c #constraints  13
0.57/0.43	c constraints type 
0.57/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.57/0.43	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.57/0.43	c 13 constraints processed.
0.57/0.46	c objective function length is 1 literals
1.69/1.03	c cleaning 2504 clauses out of 5007 with flag 10228/5007
2.47/1.46	c cleaning 4246 clauses out of 8496 with flag 22499/11000
3.06/1.78	c cleaning 5625 clauses out of 11250 with flag 37028/18000
3.65/2.08	c cleaning 6815 clauses out of 13630 with flag 53737/26005
3.96/2.39	c cleaning 7904 clauses out of 15810 with flag 72201/35000
4.36/2.77	c cleaning 8953 clauses out of 17906 with flag 92715/45000
5.03/3.21	c cleaning 9974 clauses out of 19955 with flag 115644/56002
5.60/3.65	c cleaning 10989 clauses out of 21980 with flag 140480/68001
6.11/4.12	c cleaning 11990 clauses out of 23992 with flag 167195/81002
6.70/4.77	c cleaning 12994 clauses out of 26000 with flag 196596/95000
7.29/5.39	c cleaning 13995 clauses out of 28008 with flag 227483/110002
8.22/6.23	c cleaning 15007 clauses out of 30013 with flag 260763/126002
8.96/6.98	c cleaning 15997 clauses out of 32004 with flag 295783/143000
9.82/7.76	c cleaning 17002 clauses out of 34007 with flag 332641/161000
10.71/8.60	c cleaning 18001 clauses out of 36005 with flag 371379/180000
11.60/9.57	c cleaning 19003 clauses out of 38006 with flag 412253/200002
12.69/10.68	c cleaning 20001 clauses out of 40003 with flag 455640/221002
15.09/13.09	c cleaning 21001 clauses out of 42001 with flag 501578/243001
16.58/14.52	c cleaning 22000 clauses out of 43999 with flag 549113/266000
18.28/16.23	c cleaning 22999 clauses out of 45999 with flag 598634/290000
19.57/17.59	c cleaning 24001 clauses out of 48001 with flag 650207/315001
21.08/19.06	c cleaning 24998 clauses out of 49999 with flag 703311/341000
22.77/20.79	c cleaning 26001 clauses out of 52002 with flag 759175/368001
24.56/22.59	c cleaning 27001 clauses out of 54002 with flag 817537/396002
26.86/24.85	c cleaning 28000 clauses out of 56001 with flag 878603/425002
29.18/27.14	c cleaning 28999 clauses out of 57999 with flag 941043/455000
31.46/29.48	c cleaning 30000 clauses out of 60002 with flag 1004479/486002
33.86/31.83	c cleaning 30996 clauses out of 62002 with flag 1070731/518002
36.45/34.46	c cleaning 32000 clauses out of 64004 with flag 1138890/551000
39.15/37.17	c cleaning 32993 clauses out of 66004 with flag 1209848/585000
42.74/40.77	c cleaning 34003 clauses out of 68013 with flag 1283207/620002
45.83/43.83	c cleaning 35004 clauses out of 70010 with flag 1357741/656002
48.93/46.93	c cleaning 35999 clauses out of 72004 with flag 1434299/693000
52.52/50.55	c cleaning 37000 clauses out of 74006 with flag 1513267/731001
56.71/54.76	c cleaning 38002 clauses out of 76010 with flag 1594668/770005
61.60/59.69	c cleaning 39001 clauses out of 78003 with flag 1678354/810000
66.89/64.95	c cleaning 39998 clauses out of 80003 with flag 1763187/851001
71.38/69.45	c cleaning 41004 clauses out of 82008 with flag 1849493/893004
75.48/73.52	c cleaning 41993 clauses out of 84000 with flag 1937502/936000
77.68/75.75	c cleaning 43002 clauses out of 86009 with flag 2028616/980002
79.99/78.09	c cleaning 44002 clauses out of 88008 with flag 2121592/1025003
83.19/81.28	c cleaning 44998 clauses out of 90004 with flag 2215977/1071001
87.18/85.20	c cleaning 46001 clauses out of 92006 with flag 2311760/1118001
90.88/88.90	c cleaning 46997 clauses out of 94004 with flag 2409490/1166000
95.17/93.23	c cleaning 48003 clauses out of 96010 with flag 2509257/1215003
99.66/97.70	c cleaning 49002 clauses out of 98007 with flag 2613252/1265003
104.61/102.60	c cleaning 49997 clauses out of 100004 with flag 2718851/1316002
110.40/108.48	c cleaning 51003 clauses out of 102005 with flag 2827087/1368000
116.30/114.37	c cleaning 52000 clauses out of 104003 with flag 2937375/1421001
122.68/120.71	c cleaning 53001 clauses out of 106003 with flag 3049791/1475001
128.78/126.84	c cleaning 54001 clauses out of 108004 with flag 3164018/1530003
134.46/132.53	c cleaning 55001 clauses out of 110001 with flag 3280868/1586001
139.31/137.46	c cleaning 55998 clauses out of 112000 with flag 3399649/1643001
143.27/141.49	c cleaning 57001 clauses out of 114004 with flag 3520123/1701003
147.97/146.16	c cleaning 57999 clauses out of 116003 with flag 3643058/1760003
152.15/150.39	c cleaning 58993 clauses out of 118001 with flag 3768749/1820000
157.17/155.32	c cleaning 59999 clauses out of 120008 with flag 3893726/1881000
161.98/160.17	c cleaning 60997 clauses out of 122011 with flag 4022715/1943002
167.25/165.44	c cleaning 62003 clauses out of 124012 with flag 4154325/2006000
173.04/171.24	c cleaning 63004 clauses out of 126009 with flag 4287674/2070000
181.05/179.22	c cleaning 63998 clauses out of 128008 with flag 4422919/2135003
188.23/186.43	c cleaning 65003 clauses out of 130009 with flag 4561682/2201002
195.53/193.72	c cleaning 66001 clauses out of 132005 with flag 4702392/2268001
203.82/202.08	c cleaning 67003 clauses out of 134008 with flag 4845230/2336005
211.10/209.35	c cleaning 67997 clauses out of 136000 with flag 4992468/2405000
217.99/216.25	c cleaning 69001 clauses out of 138004 with flag 5139271/2475001
225.47/223.74	c cleaning 70002 clauses out of 140005 with flag 5287879/2546003
233.06/231.34	c cleaning 70995 clauses out of 142000 with flag 5438886/2618000
240.76/239.08	c cleaning 72000 clauses out of 144005 with flag 5591335/2691000
249.23/247.51	c cleaning 73001 clauses out of 146005 with flag 5746247/2765000
257.52/255.85	c cleaning 74003 clauses out of 148007 with flag 5902906/2840003
266.41/264.70	c cleaning 74997 clauses out of 150002 with flag 6061034/2916001
277.83/276.18	c cleaning 75994 clauses out of 152009 with flag 6221654/2993005
289.80/288.19	c cleaning 77005 clauses out of 154011 with flag 6384099/3071001
296.88/295.24	c cleaning 77997 clauses out of 156006 with flag 6547673/3150001
304.61/303.00	c cleaning 79000 clauses out of 158008 with flag 6711848/3230000
314.70/313.04	c cleaning 80003 clauses out of 160009 with flag 6878468/3311001
324.57/322.95	c cleaning 81000 clauses out of 162005 with flag 7047517/3393000
341.45/339.89	c cleaning 82003 clauses out of 164010 with flag 7222718/3476005
359.63/358.09	c cleaning 82991 clauses out of 166003 with flag 7396922/3560001
379.78/378.25	c cleaning 84001 clauses out of 168012 with flag 7575536/3645001
391.37/389.82	c cleaning 85002 clauses out of 170012 with flag 7753229/3731002
401.94/400.40	c cleaning 85994 clauses out of 172010 with flag 7933186/3818002
412.41/410.93	c cleaning 87007 clauses out of 174015 with flag 8116130/3906001
424.80/423.33	c cleaning 88004 clauses out of 176011 with flag 8299623/3995004
440.87/439.46	c cleaning 89002 clauses out of 178003 with flag 8486840/4085000
464.12/462.77	c cleaning 89995 clauses out of 180001 with flag 8678837/4176000
486.68/485.36	c cleaning 90998 clauses out of 182006 with flag 8871180/4268000
500.06/498.71	c cleaning 91999 clauses out of 184014 with flag 9063746/4361006
521.82/520.54	c cleaning 93004 clauses out of 186009 with flag 9260193/4455000
542.09/540.80	c cleaning 93999 clauses out of 188005 with flag 9458789/4550000
566.79/565.57	c cleaning 94996 clauses out of 190006 with flag 9660011/4646000
584.57/583.39	c cleaning 96001 clauses out of 192013 with flag 9862945/4743003
606.92/605.74	c cleaning 97002 clauses out of 194010 with flag 10067252/4841001
634.16/633.09	c cleaning 98002 clauses out of 196009 with flag 10275012/4940002
658.31/657.28	c cleaning 98997 clauses out of 198005 with flag 10485050/5040000
691.66/690.66	c cleaning 99995 clauses out of 200009 with flag 10696384/5141001
724.03/723.05	c cleaning 101005 clauses out of 202013 with flag 10908123/5243000
752.78/751.85	c cleaning 101994 clauses out of 204008 with flag 11122581/5346000
783.74/782.83	c cleaning 103001 clauses out of 206015 with flag 11339462/5450001
809.56/808.74	c cleaning 104003 clauses out of 208015 with flag 11559831/5555002
843.51/842.72	c cleaning 104999 clauses out of 210010 with flag 11780181/5661000
877.95/877.28	c cleaning 105992 clauses out of 212012 with flag 12006751/5768001
913.66/912.97	c cleaning 107000 clauses out of 214020 with flag 12232413/5876001
952.48/951.88	c cleaning 108006 clauses out of 216022 with flag 12464654/5985003
986.90/986.32	c cleaning 109005 clauses out of 218013 with flag 12699723/6095000
1018.03/1017.53	c cleaning 110003 clauses out of 220008 with flag 12935434/6206000
1057.41/1056.94	c cleaning 111000 clauses out of 222007 with flag 13170236/6318002
1090.55/1090.17	c cleaning 111999 clauses out of 224005 with flag 13406731/6431000
1126.56/1126.27	c cleaning 112999 clauses out of 226006 with flag 13644440/6545000
1166.18/1165.96	c cleaning 113997 clauses out of 228008 with flag 13885518/6660001
1201.22/1201.09	c cleaning 115001 clauses out of 230012 with flag 14126225/6776002
1219.06/1218.93	c cleaning 116000 clauses out of 232011 with flag 14369001/6893002
1234.63/1234.60	c cleaning 116997 clauses out of 234010 with flag 14614369/7011001
1252.99/1252.98	c cleaning 118000 clauses out of 236013 with flag 14862266/7130001
1275.44/1275.42	c cleaning 119003 clauses out of 238014 with flag 15112235/7250002
1291.70/1291.77	c cleaning 120002 clauses out of 240011 with flag 15363526/7371002
1303.99/1304.07	c cleaning 120997 clauses out of 242008 with flag 15614145/7493001
1317.35/1317.41	c cleaning 122003 clauses out of 244012 with flag 15868003/7616002
1349.73/1349.78	c cleaning 123001 clauses out of 246008 with flag 16126887/7740001
1391.76/1391.89	c cleaning 123998 clauses out of 248007 with flag 16389236/7865001
1433.58/1433.72	c cleaning 125003 clauses out of 250010 with flag 16655004/7991002
1485.89/1485.34	c cleaning 125996 clauses out of 252005 with flag 16925386/8118000
1532.39/1531.98	c cleaning 126998 clauses out of 254009 with flag 17191836/8246000
1564.54/1564.14	c cleaning 128005 clauses out of 256013 with flag 17458037/8375002
1604.84/1604.52	c cleaning 128991 clauses out of 258006 with flag 17726565/8505000
1645.88/1645.64	c cleaning 130007 clauses out of 260019 with flag 18005952/8636004
1699.58/1699.48	c cleaning 131001 clauses out of 262009 with flag 18283421/8768001
1728.26/1728.18	c cleaning 132002 clauses out of 264007 with flag 18562827/8901000
1762.10/1762.04	c cleaning 132998 clauses out of 266005 with flag 18839659/9035000
1810.15/1810.18	c cleaning 134003 clauses out of 268012 with flag 19121823/9170005
1856.16/1856.28	c cleaning 134996 clauses out of 270004 with flag 19410054/9306000
1896.57/1896.77	c cleaning 135998 clauses out of 272008 with flag 19695592/9443000
1924.68/1924.83	c cleaning 137000 clauses out of 274012 with flag 19985130/9581002
1963.21/1963.43	c cleaning 138003 clauses out of 276010 with flag 20280563/9720000
1988.97/1989.26	c cleaning 139004 clauses out of 278009 with flag 20580141/9860002
2014.62/2014.95	c cleaning 139995 clauses out of 280006 with flag 20877788/10001003
2047.05/2047.49	c cleaning 141000 clauses out of 282010 with flag 21181896/10143002
2070.72/2071.12	c cleaning 142004 clauses out of 284012 with flag 21494310/10286004
2091.97/2092.42	c cleaning 142995 clauses out of 286004 with flag 21797488/10430000
2115.43/2116.00	c cleaning 144003 clauses out of 288011 with flag 22096149/10575002
2142.48/2143.10	c cleaning 144998 clauses out of 290008 with flag 22397087/10721002
2180.55/2181.16	c cleaning 146005 clauses out of 292015 with flag 22705745/10868007
2227.16/2227.81	c cleaning 146997 clauses out of 294006 with flag 23015967/11016003
2267.90/2268.68	c cleaning 147998 clauses out of 296007 with flag 23327820/11165001
2308.10/2308.88	c cleaning 148999 clauses out of 298008 with flag 23639172/11315000
2349.03/2349.85	c cleaning 150002 clauses out of 300010 with flag 23956903/11466001
2389.76/2390.67	c cleaning 151001 clauses out of 302010 with flag 24273223/11618003
2442.77/2443.73	c cleaning 151994 clauses out of 304008 with flag 24598910/11771002
2471.42/2472.48	c cleaning 153003 clauses out of 306013 with flag 24919530/11925001
2512.66/2513.78	c cleaning 154002 clauses out of 308014 with flag 25242137/12080005
2552.73/2553.88	c cleaning 154999 clauses out of 310008 with flag 25569452/12236001
2607.55/2608.75	c cleaning 156004 clauses out of 312012 with flag 25897125/12393004
2659.77/2661.10	c cleaning 156997 clauses out of 314006 with flag 26228705/12551002
2714.29/2715.69	c cleaning 158002 clauses out of 316008 with flag 26559897/12710001
2767.41/2768.84	c cleaning 158997 clauses out of 318006 with flag 26893845/12870001
2831.63/2833.19	c cleaning 160002 clauses out of 320010 with flag 27231752/13031002
2899.00/2900.68	c cleaning 160996 clauses out of 322006 with flag 27571490/13193000
2965.16/2966.86	c cleaning 162004 clauses out of 324011 with flag 27914199/13356001
3037.44/3039.28	c cleaning 163004 clauses out of 326013 with flag 28259443/13520007
3108.11/3109.91	c cleaning 163995 clauses out of 328002 with flag 28607435/13685000
3178.70/3180.66	c cleaning 164999 clauses out of 330009 with flag 28955894/13851002
3254.75/3256.87	c cleaning 165999 clauses out of 332012 with flag 29308474/14018004
3335.37/3337.01	c cleaning 167006 clauses out of 334011 with flag 29661890/14186002
3420.03/3421.82	c cleaning 168002 clauses out of 336006 with flag 30020477/14355003
3472.10/3474.09	c cleaning 168999 clauses out of 338002 with flag 30377774/14525001
3532.36/3534.49	c cleaning 169997 clauses out of 340002 with flag 30734394/14696000
3589.22/3591.34	c cleaning 170998 clauses out of 342009 with flag 31092036/14868004
3600.01/3602.13	c timeout
3600.01/3602.14	c starts		: 4881
3600.01/3602.15	c conflicts		: 14904292
3600.01/3602.15	c decisions		: 15342775
3600.01/3602.15	c propagations		: 99864720
3600.01/3602.15	c inspects		: 38175335788
3600.01/3602.15	c shortcuts		: 0
3600.01/3602.15	c learnt literals	: 0
3600.01/3602.15	c learnt binary clauses	: 0
3600.01/3602.15	c learnt ternary clauses	: 0
3600.01/3602.15	c learnt constraints	: 14904292
3600.01/3602.15	c ignored constraints	: 0
3600.01/3602.15	c root simplifications	: 0
3600.01/3602.15	c removed literals (reason simplification)	: 132226387
3600.01/3602.15	c reason swapping (by a shorter reason)	: 0
3600.01/3602.15	c Calls to reduceDB	: 168
3600.01/3602.15	c Number of update (reduction) of LBD	: 873468
3600.01/3602.15	c Imported unit clauses	: 0
3600.01/3602.15	c No decision after first conflict	: false
3600.01/3602.15	c number of reductions to clauses (during analyze)	: 0
3600.01/3602.15	c number of learned constraints concerned by reduction	: 0
3600.01/3602.15	c number of learning phase by resolution	: 0
3600.01/3602.15	c number of learning phase by cutting planes	: 0
3600.01/3602.15	c number of rounding to 1 operations	: 0
3600.01/3602.15	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3602.16	c number of reductions of the coefficients by power 2 	: 0
3600.01/3602.16	c number of right shift for reduction by power 2 	: 0
3600.01/3602.16	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3602.16	c number of ending skipping 	: 0
3600.01/3602.16	c number of internal skipping 	: 0
3600.01/3602.16	c number of derivation steps 	: 0
3600.01/3602.16	c number of skipped derivation steps 	: 0
3600.01/3602.16	c number of remaining unassigned 	: 0
3600.01/3602.16	c number of remaining assigned 	: 0
3600.01/3602.16	c number of falsified literals weakened from reason	: 0
3600.01/3602.16	c number of falsified literals weakened from conflict	: 0
3600.01/3602.16	c time for arithmetic operations	: 0
3600.01/3602.16	c minimum degree of deleted constraints	: null
3600.01/3602.16	c maximum degree of deleted constraints	: null
3600.01/3602.16	c number of deleted constraints	: 0
3600.01/3602.16	c speed (assignments/second)	: 27727.091247415803
3600.01/3602.16	c non guided choices	: 22
3600.16/3602.22	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 207299
3600.16/3602.22	s UNKNOWN
3600.16/3602.22	c Total wall clock time (in seconds): 3601.856

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490664-1751360613/watcher-4490664-1751360613 -o /tmp/evaluation-result-4490664-1751360613/solver-4490664-1751360613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51823 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4490664-1751360613.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=52007, runsolver pid=52004

[startup+0.10007 s]*
/proc/loadavg: 4.07 3.92 4.01 6/327 52025
/proc/meminfo: memFree=121376492/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=18930384 memory=47776 CPUtime=0.11 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 5706 0 0 0 8 3 0 0 20 0 18 0 51741097 19384713216 11944 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4732596 11944 5240 1 0 546908 0
[pid=52007/tid=52009] ppid=52004 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 4603 0 0 0 4 2 0 0 20 0 18 0 51741099 19384713216 11976 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=18930320 memory=228522721619 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51741104 19384647680 11976 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=18930384 memory=59593594258114 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 51741105 19384713216 12008 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47776 KiB

[startup+0.214191 s]*
/proc/loadavg: 4.07 3.92 4.01 6/327 52025
/proc/meminfo: memFree=121374476/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=18930384 memory=49952 CPUtime=0.24 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 6132 0 0 0 21 3 0 0 20 0 18 0 51741097 19384713216 12488 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4732596 12488 5368 1 0 547240 0
[pid=52007/tid=52009] ppid=52004 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 4962 0 0 0 13 2 0 0 20 0 18 0 51741099 19384713216 12488 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=18930384 memory=16142 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51741104 19384713216 12488 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 51741105 19384713216 12488 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49952 KiB

[startup+0.319067 s]*
/proc/loadavg: 4.07 3.92 4.01 5/327 52025
/proc/meminfo: memFree=121362252/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=18930384 memory=58120 CPUtime=0.4 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 6647 0 0 0 36 4 0 0 20 0 18 0 51741097 19384713216 14530 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4732596 14530 5368 1 0 547683 0
[pid=52007/tid=52009] ppid=52004 vsize=18930384 memory=-6000919489970596458 CPUtime=0.23 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 5126 0 0 0 21 2 0 0 20 0 18 0 51741099 19384713216 14530 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51741104 19384713216 14530 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 51741105 19384713216 14530 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58120 KiB

[startup+0.700393 s]
/proc/loadavg: 4.07 3.92 4.01 7/328 52026
/proc/meminfo: memFree=121358156/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=18996948 memory=65480 CPUtime=1.08 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 8861 0 0 0 103 5 0 0 20 0 19 0 51741097 19452874752 16370 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4749237 16370 5464 1 0 548986 0
[pid=52007/tid=52009] ppid=52004 vsize=18996948 memory=17920 CPUtime=0.57 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 5373 0 0 0 54 3 0 0 20 0 19 0 51741099 19452874752 16370 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51741104 19452874752 16370 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51741105 19452874752 16370 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51741143 19452874752 16370 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65480 KiB

[startup+1.50027 s]
/proc/loadavg: 4.07 3.92 4.01 6/328 52026
/proc/meminfo: memFree=121343224/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=18996948 memory=85824 CPUtime=2.67 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 19290 0 0 0 259 8 0 0 20 0 19 0 51741097 19452874752 21456 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4749237 21456 5496 1 0 552916 0
[pid=52007/tid=52009] ppid=52004 vsize=18996948 memory=0 CPUtime=1.33 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 5822 0 0 0 130 3 0 0 20 0 19 0 51741099 19452874752 21456 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51741104 19452874752 21456 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51741105 19452874752 21456 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51741143 19452874752 21456 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85824 KiB

[startup+3.10559 s]
/proc/loadavg: 4.14 3.94 4.01 6/328 52026
/proc/meminfo: memFree=121259856/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=18996948 memory=102700 CPUtime=4.92 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 20061 0 0 0 484 8 0 0 20 0 19 0 51741097 19452874752 25675 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4749237 25675 5496 1 0 552919 0
[pid=52007/tid=52009] ppid=52004 vsize=18996948 memory=10624 CPUtime=2.9 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 6088 0 0 0 287 3 0 0 20 0 19 0 51741099 19452874752 25675 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=18996948 memory=-6000919489970596458 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51741104 19452874752 25675 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51741105 19452874752 25675 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51741143 19452874752 25675 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102700 KiB

[startup+6.30025 s]
/proc/loadavg: 4.14 3.94 4.01 5/328 52026
/proc/meminfo: memFree=121206608/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=18996948 memory=120480 CPUtime=8.37 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 22987 0 0 0 827 10 0 0 20 0 19 0 51741097 19452874752 30120 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4749237 30120 5496 1 0 552921 0
[pid=52007/tid=52009] ppid=52004 vsize=18996948 memory=0 CPUtime=6.07 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 6750 0 0 0 603 4 0 0 20 0 19 0 51741099 19452874752 30120 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51741104 19452874752 30120 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51741105 19452874752 30120 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=18996948 memory=88072 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51741143 19452874752 30120 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 8.37 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120480 KiB

[startup+12.7004 s]
/proc/loadavg: 4.21 3.95 4.02 5/328 52027
/proc/meminfo: memFree=121071228/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=18996948 memory=155324 CPUtime=14.78 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 25197 0 0 0 1467 11 0 0 20 0 19 0 51741097 19452874752 38831 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4749237 38831 5496 1 0 552921 0
[pid=52007/tid=52009] ppid=52004 vsize=18996948 memory=88072 CPUtime=12.42 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 7205 0 0 0 1237 5 0 0 20 0 19 0 51741099 19452874752 38831 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51741104 19452874752 38831 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51741105 19452874752 38831 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51741143 19452874752 38831 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 14.78 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 155324 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 3.96 4.02 5/329 52028
/proc/meminfo: memFree=120874156/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=19063512 memory=178168 CPUtime=27.56 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 27577 0 0 0 2744 12 0 0 20 0 20 0 51741097 19521036288 44542 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4765878 44542 5496 1 0 553210 0
[pid=52007/tid=52009] ppid=52004 vsize=19063512 memory=10624 CPUtime=25.13 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 8073 0 0 0 2508 5 0 0 20 0 20 0 51741099 19521036288 44542 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51741104 19521036288 44542 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=19063512 memory=178168 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 51741105 19521036288 44542 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=19063512 memory=178168 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51741143 19521036288 44542 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 27.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178168 KiB

[startup+51.1137 s]
/proc/loadavg: 4.11 3.96 4.01 5/329 52028
/proc/meminfo: memFree=120488660/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=19063512 memory=186400 CPUtime=53.13 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 28763 0 0 0 5299 14 0 0 20 0 20 0 51741097 19521036288 46600 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4765878 46600 5496 1 0 553210 0
[pid=52007/tid=52009] ppid=52004 vsize=19063512 memory=186400 CPUtime=50.64 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 8183 0 0 0 5059 5 0 0 20 0 20 0 51741099 19521036288 46600 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51741104 19521036288 46600 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=19063512 memory=0 CPUtime=0 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.14 6/325 52193
/proc/meminfo: memFree=115774216/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=19063512 memory=1646732 CPUtime=3280.75 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 70355 0 0 0 327847 228 0 0 20 0 20 0 51741097 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4765878 411683 5560 1 0 557987 0
[pid=52007/tid=52009] ppid=52004 vsize=19063512 memory=1646604 CPUtime=3268.04 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 26804 0 0 0 326785 19 0 0 20 0 20 0 51741099 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=19063512 memory=1646604 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51741104 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=19063512 memory=17920 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 1242 0 0 0 0 0 0 0 20 0 20 0 51741105 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=19063512 memory=1646604 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51741143 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 3280.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1646732 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/325 52195
/proc/meminfo: memFree=115765956/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=19063512 memory=1646732 CPUtime=3340.65 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 70365 0 0 0 333835 230 0 0 20 0 20 0 51741097 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4765878 411683 5560 1 0 557987 0
[pid=52007/tid=52009] ppid=52004 vsize=19063512 memory=1646732 CPUtime=3327.89 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 26806 0 0 0 332770 19 0 0 20 0 20 0 51741099 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51741104 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 1242 0 0 0 0 0 0 0 20 0 20 0 51741105 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=19063512 memory=1646732 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51741143 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 3340.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1646732 KiB

[startup+3402.3 s]
/proc/loadavg: 4.30 4.17 4.15 5/325 52197
/proc/meminfo: memFree=115762248/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=19063512 memory=1646732 CPUtime=3400.56 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 70483 0 0 0 339822 234 0 0 20 0 20 0 51741097 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4765878 411683 5560 1 0 557987 0
[pid=52007/tid=52009] ppid=52004 vsize=19063512 memory=1646732 CPUtime=3387.74 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 26891 0 0 0 338755 19 0 0 20 0 20 0 51741099 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=19063512 memory=17920 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51741104 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=19063512 memory=1646732 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 1242 0 0 0 0 0 0 0 20 0 20 0 51741105 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51741143 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 3400.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1646732 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.20 4.16 5/325 52482
/proc/meminfo: memFree=121186836/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=19063512 memory=1646732 CPUtime=3460.4 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 71685 0 0 0 345797 243 0 0 20 0 20 0 51741097 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4765878 411683 5560 1 0 557987 0
[pid=52007/tid=52009] ppid=52004 vsize=19063512 memory=1646732 CPUtime=3447.38 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 27243 0 0 0 344714 24 0 0 20 0 20 0 51741099 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=19063512 memory=1646732 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51741104 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=19063512 memory=1646732 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 1358 0 0 0 0 0 0 0 20 0 20 0 51741105 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=19063512 memory=1646732 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51741143 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 3460.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1646732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.19 4.16 5/326 52485
/proc/meminfo: memFree=121018704/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=19063512 memory=1646732 CPUtime=3520.29 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 71853 0 0 0 351783 246 0 0 20 0 20 0 51741097 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4765878 411683 5560 1 0 557987 0
[pid=52007/tid=52009] ppid=52004 vsize=19063512 memory=1646732 CPUtime=3507.22 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 27392 0 0 0 350698 24 0 0 20 0 20 0 51741099 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=19063512 memory=1646732 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51741104 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=19063512 memory=1646732 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 1358 0 0 0 0 0 0 0 20 0 20 0 51741105 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=19063512 memory=-6000919489970596458 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51741143 19521036288 411683 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 3520.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1646732 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/326 52487
/proc/meminfo: memFree=120834756/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=19063512 memory=1646860 CPUtime=3580.23 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 72080 0 0 0 357774 249 0 0 20 0 20 0 51741097 19521036288 411715 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4765878 411715 5560 1 0 557987 0
[pid=52007/tid=52009] ppid=52004 vsize=19063512 memory=17920 CPUtime=3566.89 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 27499 0 0 0 356665 24 0 0 20 0 20 0 51741099 19521036288 411715 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51741104 19521036288 411715 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=19063512 memory=1646860 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 1358 0 0 0 0 0 0 0 20 0 20 0 51741105 19521036288 411715 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=19063512 memory=1646732 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51741143 19521036288 411715 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 3580.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1646860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.11 s]
/proc/loadavg: 4.15 4.17 4.16 5/326 52487
/proc/meminfo: memFree=120740616/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=19063512 memory=1646860 CPUtime=3600.01 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 72222 0 0 0 359751 250 0 0 20 0 20 0 51741097 19521036288 411715 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4765878 411715 5560 1 0 557987 0
[pid=52007/tid=52009] ppid=52004 vsize=19063512 memory=10624 CPUtime=3586.65 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) R 52004 52007 51810 0 -1 4194368 27638 0 0 0 358641 24 0 0 20 0 20 0 51741099 19521036288 411715 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=19063512 memory=1646732 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51741104 19521036288 411715 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=19063512 memory=1646860 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 1358 0 0 0 0 0 0 0 20 0 20 0 51741105 19521036288 411715 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52026] ppid=52004 vsize=19063512 memory=1646860 CPUtime=0 cores=5,7
/proc/52007/task/52026/stat : 52026 (Timer-0) S 52004 52007 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51741143 19521036288 411715 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1646860 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.7 s, system=2.53091 s

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

[startup+3602.21 s]
/proc/loadavg: 4.15 4.17 4.16 5/326 52487
/proc/meminfo: memFree=120740616/131382112 swapFree=33010684/33010684
[pid=52007] ppid=52004 vsize=19263204 memory=1647628 CPUtime=3600.16 cores=5,7
/proc/52007/stat : 52007 (java) S 52004 52007 51810 0 -1 4194304 74385 0 0 0 359765 251 0 0 20 0 21 0 51741097 19725520896 411907 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
/proc/52007/statm: 4815801 411907 5560 1 0 558929 0
[pid=52007/tid=52009] ppid=52004 vsize=19263204 memory=3072 CPUtime=3586.67 cores=5,7
/proc/52007/task/52009/stat : 52009 (java) S 52004 52007 51810 0 -1 4194368 27877 0 0 0 358643 24 0 0 20 0 21 0 51741099 19725520896 411907 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52018] ppid=52004 vsize=19263204 memory=6656 CPUtime=0 cores=5,7
/proc/52007/task/52018/stat : 52018 (Finalizer) S 52004 52007 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 51741104 19725520896 411907 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
[pid=52007/tid=52025] ppid=52004 vsize=19263204 memory=5188 CPUtime=0 cores=5,7
/proc/52007/task/52025/stat : 52025 (Common-Cleaner) S 52004 52007 51810 0 -1 4194368 1358 0 0 0 0 0 0 0 20 0 21 0 51741105 19725520896 411907 18446744073709551615 94829015572480 94829015576176 140723187080112 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94829015583992 94829015584784 94829044170752 140723187087745 140723187087846 140723187087846 140723187093448 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1647628 KiB

Child status: 143

Real time (s): 3602.26
CPU time (s): 3600.23
CPU user time (s): 3597.7
CPU system time (s): 2.53091
CPU usage (%): 99.9436
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1647628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.7
system time used= 2.53091
maximum resident set size= 1647756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105248
involuntary context switches= 3075


# summary of solver processes directly reported to runsolver:
#   pid: 52007
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3597.7
#   total CPU system time (s): 2.53091

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8102 second user time and 38.2191 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 11:03:33
IDJOB=4490664
IDBENCH=147604
IDSOLVER=3363
FILE ID=nodeC009/4490664-1751360613
RUNJOBID= nodeC009-1751360462-51823
SLURM_JOB_ID= 9598165
Free space on /tmp= 432656 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_1.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490664-1751360613/watcher-4490664-1751360613 -o /tmp/evaluation-result-4490664-1751360613/solver-4490664-1751360613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51823 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4490664-1751360613.opb

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

MD5SUM BENCH= 24a8c00bfc22332d2e87e9d19ffbf58d
RANDOM SEED=1574004890

nodeC009 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		: 3543.170
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.85
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		: 3629.378
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.85
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.731
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.85
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.190
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.85
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		: 3540.527
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.85
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		: 1198.232
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.85
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		: 3700.000
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.85
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.231
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        121393516 kB
MemAvailable:   128082172 kB
Buffers:            3280 kB
Cached:          7460332 kB
SwapCached:            0 kB
Active:          2210032 kB
Inactive:        7160716 kB
Active(anon):    1924128 kB
Inactive(anon):      968 kB
Active(file):     285904 kB
Inactive(file):  7159748 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               704 kB
Writeback:             0 kB
AnonPages:       1910232 kB
Mapped:           123252 kB
Shmem:             17960 kB
KReclaimable:     164880 kB
Slab:             248860 kB
SReclaimable:     164880 kB
SUnreclaim:        83980 kB
KernelStack:        5008 kB
PageTables:         7396 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7052176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1716224 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432648 MiB
End job on nodeC009 at 2025-07-01 12:03:36