Trace number 4453354

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 NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.3 3606.62

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-30.shuf-2.opb
MD5SUMcf304571e02e93b9f1adea6ee5377cb9
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.001778
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables121
Total number of constraints60
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)11
Number of constraints which are nor clauses,nor cardinality constraints49
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.13	c version CUSTOM.v20240707
0.12/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.16	c java.vm.version	22.0.1+8-16
0.12/0.16	c java.vm.vendor	Oracle Corporation
0.12/0.16	c sun.arch.data.model	64
0.12/0.16	c java.version		22.0.1
0.12/0.16	c os.name		Linux
0.12/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.16	c os.arch		amd64
0.12/0.16	c Free memory 		2113181440
0.12/0.16	c Max memory 		16282288128
0.12/0.16	c Total memory 		2122317824
0.12/0.17	c Number of processors 	2
0.26/0.25	--- Begin Solver configuration ---
0.26/0.25	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.26/0.25	Learn all clauses as in MiniSAT
0.26/0.25	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26/0.25	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.26/0.25	No reason simplification
0.26/0.25	Glucose 2.1 dynamic restart strategy
0.26/0.25	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.26/0.25	timeout=2147483s
0.26/0.25	DB Simplification allowed=false
0.26/0.25	Listener: none
0.26/0.25	--- End Solver configuration ---
0.26/0.25	c Pseudo Boolean Optimization by upper bound
0.26/0.25	c --- Begin Solver configuration ---
0.26/0.25	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.26/0.25	c Learn all clauses as in MiniSAT
0.26/0.25	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26/0.25	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.26/0.25	c No reason simplification
0.26/0.25	c Glucose 2.1 dynamic restart strategy
0.26/0.25	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.26/0.25	c timeout=2147483s
0.26/0.25	c DB Simplification allowed=false
0.26/0.25	c Listener: none
0.26/0.25	c --- End Solver configuration ---
0.26/0.25	c solving HOME/instance-4453354-1721458056.opb
0.26/0.25	c reading problem ... 
0.26/0.26	c  no objective function found
0.26/0.28	c ... done. Wall clock time 0.021s.
0.26/0.28	c declared #vars     121
0.26/0.28	c #constraints  60
0.26/0.28	c constraints type 
0.26/0.28	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 60
0.26/0.28	c 60 constraints processed.
1.13/0.78	c cleaning 2498 clauses out of 5001 with flag 36834/5001
1.74/1.10	c cleaning 4245 clauses out of 8502 with flag 88430/11000
2.25/1.37	c cleaning 5628 clauses out of 11260 with flag 145627/18003
2.63/1.67	c cleaning 6797 clauses out of 13631 with flag 208396/26002
3.03/1.97	c cleaning 7912 clauses out of 15832 with flag 276765/35000
3.48/2.33	c cleaning 8949 clauses out of 17923 with flag 361334/45003
4.09/2.71	c cleaning 9977 clauses out of 19972 with flag 451656/56001
4.50/3.18	c cleaning 10991 clauses out of 21994 with flag 549595/68000
5.10/3.76	c cleaning 11998 clauses out of 24003 with flag 655344/81000
6.10/4.75	c cleaning 12994 clauses out of 26005 with flag 766337/95000
7.19/5.81	c cleaning 13996 clauses out of 28011 with flag 878729/110000
7.99/6.66	c cleaning 15004 clauses out of 30015 with flag 996120/126000
8.96/7.53	c cleaning 15998 clauses out of 32011 with flag 1130375/143000
9.92/8.46	c cleaning 17001 clauses out of 34014 with flag 1273948/161001
10.92/9.47	c cleaning 18004 clauses out of 36014 with flag 1422933/180002
12.11/10.68	c cleaning 18996 clauses out of 38008 with flag 1592476/200000
13.22/11.74	c cleaning 19999 clauses out of 40012 with flag 1748895/221000
14.53/13.04	c cleaning 21003 clauses out of 42013 with flag 1918210/243000
15.91/14.44	c cleaning 21998 clauses out of 44012 with flag 2089455/266002
17.41/15.98	c cleaning 22990 clauses out of 46012 with flag 2272961/290000
19.10/17.69	c cleaning 24006 clauses out of 48022 with flag 2462261/315000
20.79/19.39	c cleaning 25001 clauses out of 50017 with flag 2654526/341001
22.69/21.27	c cleaning 26002 clauses out of 52015 with flag 2870459/368000
24.68/23.27	c cleaning 26996 clauses out of 54013 with flag 3077648/396000
26.89/25.46	c cleaning 28005 clauses out of 56017 with flag 3291386/425000
29.11/27.53	c cleaning 29001 clauses out of 58014 with flag 3497573/455002
31.41/29.87	c cleaning 30003 clauses out of 60013 with flag 3724044/486002
34.00/32.41	c cleaning 31002 clauses out of 62009 with flag 3958748/518001
36.60/35.05	c cleaning 31997 clauses out of 64007 with flag 4166044/551001
39.48/38.01	c cleaning 32999 clauses out of 66010 with flag 4400916/585001
42.69/41.17	c cleaning 33996 clauses out of 68010 with flag 4647029/620000
46.25/44.78	c cleaning 35005 clauses out of 70014 with flag 4917462/656000
49.94/48.42	c cleaning 35995 clauses out of 72009 with flag 5201381/693000
53.65/52.19	c cleaning 37000 clauses out of 74015 with flag 5466619/731001
57.32/55.87	c cleaning 38002 clauses out of 76015 with flag 5763326/770001
61.01/59.56	c cleaning 38998 clauses out of 78012 with flag 6053162/810000
64.90/63.41	c cleaning 40001 clauses out of 80014 with flag 6351098/851000
68.90/67.47	c cleaning 40997 clauses out of 82013 with flag 6645098/893000
73.60/72.19	c cleaning 42008 clauses out of 84017 with flag 6943123/936001
78.37/76.90	c cleaning 42999 clauses out of 86011 with flag 7249005/980003
83.57/82.17	c cleaning 44002 clauses out of 88010 with flag 7587960/1025001
89.14/87.70	c cleaning 44995 clauses out of 90008 with flag 7915217/1071001
94.54/93.16	c cleaning 45997 clauses out of 92014 with flag 8272140/1118002
100.53/99.15	c cleaning 46997 clauses out of 94015 with flag 8631613/1166000
106.70/105.34	c cleaning 48001 clauses out of 96018 with flag 9027288/1215000
112.79/111.49	c cleaning 49002 clauses out of 98018 with flag 9383007/1265001
120.78/119.47	c cleaning 49999 clauses out of 100015 with flag 9747667/1316000
127.67/126.34	c cleaning 51004 clauses out of 102016 with flag 10102163/1368000
134.15/132.82	c cleaning 51991 clauses out of 104012 with flag 10494159/1421000
140.54/139.27	c cleaning 53006 clauses out of 106022 with flag 10874588/1475001
147.73/146.44	c cleaning 53999 clauses out of 108016 with flag 11276517/1530001
155.24/153.99	c cleaning 54998 clauses out of 110016 with flag 11708109/1586000
163.52/162.25	c cleaning 55998 clauses out of 112018 with flag 12189249/1643000
171.41/170.16	c cleaning 57009 clauses out of 114021 with flag 12626462/1701001
179.19/178.00	c cleaning 57999 clauses out of 116011 with flag 13036463/1760000
189.06/187.80	c cleaning 58998 clauses out of 118014 with flag 13460148/1820002
199.26/198.02	c cleaning 59999 clauses out of 120014 with flag 13888537/1881000
209.13/207.97	c cleaning 61006 clauses out of 122015 with flag 14297394/1943000
217.90/216.70	c cleaning 61994 clauses out of 124011 with flag 14728910/2006002
228.88/227.72	c cleaning 63001 clauses out of 126015 with flag 15146427/2070000
240.45/239.34	c cleaning 64001 clauses out of 128017 with flag 15578208/2135003
251.32/250.28	c cleaning 65000 clauses out of 130013 with flag 16041998/2201000
261.03/260.01	c cleaning 66000 clauses out of 132013 with flag 16506337/2268000
271.50/270.47	c cleaning 67000 clauses out of 134013 with flag 16938063/2336000
282.38/281.31	c cleaning 67998 clauses out of 136013 with flag 17384273/2405000
293.65/292.68	c cleaning 69005 clauses out of 138015 with flag 17841000/2475000
305.14/304.18	c cleaning 70001 clauses out of 140011 with flag 18303567/2546001
317.11/316.18	c cleaning 71003 clauses out of 142010 with flag 18764845/2618001
329.87/328.97	c cleaning 71997 clauses out of 144008 with flag 19263957/2691002
342.43/341.55	c cleaning 72997 clauses out of 146009 with flag 19765490/2765000
353.61/352.74	c cleaning 73993 clauses out of 148013 with flag 20240238/2840001
367.00/366.12	c cleaning 74996 clauses out of 150019 with flag 20712133/2916000
381.65/380.88	c cleaning 76003 clauses out of 152026 with flag 21264738/2993003
396.51/395.73	c cleaning 77000 clauses out of 154020 with flag 21802199/3071000
411.57/410.81	c cleaning 78000 clauses out of 156021 with flag 22331030/3150001
427.86/427.17	c cleaning 79009 clauses out of 158020 with flag 22858202/3230000
444.11/443.44	c cleaning 80001 clauses out of 160014 with flag 23373504/3311003
461.07/460.41	c cleaning 81001 clauses out of 162011 with flag 23905411/3393001
477.53/476.90	c cleaning 81998 clauses out of 164009 with flag 24442968/3476000
495.40/494.81	c cleaning 82990 clauses out of 166012 with flag 25015849/3560001
514.45/513.95	c cleaning 84005 clauses out of 168024 with flag 25587367/3645003
532.81/532.36	c cleaning 85003 clauses out of 170017 with flag 26124222/3731001
551.95/551.50	c cleaning 85994 clauses out of 172013 with flag 26702443/3818000
571.61/571.27	c cleaning 86999 clauses out of 174020 with flag 27266747/3906001
590.67/590.36	c cleaning 87996 clauses out of 176022 with flag 27846778/3995002
610.22/609.99	c cleaning 89010 clauses out of 178024 with flag 28398888/4085000
632.39/632.15	c cleaning 90004 clauses out of 180014 with flag 29002111/4176000
655.02/654.83	c cleaning 90997 clauses out of 182011 with flag 29597665/4268001
677.06/676.91	c cleaning 92004 clauses out of 184013 with flag 30227828/4361000
701.01/701.00	c cleaning 92999 clauses out of 186009 with flag 30825481/4455000
725.66/725.60	c cleaning 93995 clauses out of 188010 with flag 31444614/4550000
750.59/750.67	c cleaning 94999 clauses out of 190015 with flag 32060233/4646000
773.95/774.03	c cleaning 96004 clauses out of 192016 with flag 32667682/4743000
800.18/800.39	c cleaning 96994 clauses out of 194013 with flag 33305215/4841001
824.22/824.45	c cleaning 98001 clauses out of 196021 with flag 33913387/4940003
851.06/851.36	c cleaning 99001 clauses out of 198020 with flag 34548502/5040003
877.13/877.43	c cleaning 100006 clauses out of 200018 with flag 35179317/5141002
904.36/904.78	c cleaning 101002 clauses out of 202010 with flag 35807759/5243000
931.71/932.12	c cleaning 101998 clauses out of 204009 with flag 36459927/5346001
959.96/960.42	c cleaning 102996 clauses out of 206011 with flag 37098086/5450001
989.39/989.96	c cleaning 104001 clauses out of 208014 with flag 37763768/5555000
1018.12/1018.76	c cleaning 104999 clauses out of 210014 with flag 38428029/5661001
1045.66/1046.38	c cleaning 105999 clauses out of 212015 with flag 39063130/5768001
1077.08/1077.80	c cleaning 107002 clauses out of 214015 with flag 39731555/5876000
1108.50/1109.37	c cleaning 108002 clauses out of 216013 with flag 40418693/5985000
1140.71/1141.61	c cleaning 109001 clauses out of 218012 with flag 41117184/6095001
1174.74/1175.71	c cleaning 109998 clauses out of 220010 with flag 41801148/6206000
1207.07/1208.12	c cleaning 111000 clauses out of 222012 with flag 42484584/6318000
1243.66/1244.87	c cleaning 112001 clauses out of 224012 with flag 43183326/6431000
1278.40/1279.65	c cleaning 112998 clauses out of 226011 with flag 43876856/6545000
1312.43/1313.79	c cleaning 114004 clauses out of 228013 with flag 44589360/6660000
1350.03/1351.47	c cleaning 115000 clauses out of 230011 with flag 45319091/6776002
1384.56/1386.03	c cleaning 115997 clauses out of 232009 with flag 46031479/6893000
1423.36/1424.91	c cleaning 116999 clauses out of 234012 with flag 46787670/7011000
1462.86/1464.53	c cleaning 118000 clauses out of 236013 with flag 47538333/7130000
1501.02/1502.79	c cleaning 119002 clauses out of 238016 with flag 48266523/7250003
1536.84/1538.65	c cleaning 119986 clauses out of 240011 with flag 48985639/7371000
1578.44/1580.30	c cleaning 121009 clauses out of 242025 with flag 49751749/7493000
1621.73/1623.76	c cleaning 122003 clauses out of 244016 with flag 50517029/7616000
1664.75/1666.86	c cleaning 123002 clauses out of 246013 with flag 51281759/7740000
1708.25/1710.45	c cleaning 123997 clauses out of 248011 with flag 52051339/7865000
1751.24/1753.54	c cleaning 124997 clauses out of 250014 with flag 52805056/7991000
1794.54/1796.96	c cleaning 126007 clauses out of 252019 with flag 53554915/8118002
1833.50/1835.90	c cleaning 126997 clauses out of 254012 with flag 54319672/8246002
1879.89/1882.49	c cleaning 127988 clauses out of 256013 with flag 55073507/8375000
1925.88/1928.60	c cleaning 129010 clauses out of 258025 with flag 55858003/8505000
1972.46/1975.23	c cleaning 130001 clauses out of 260015 with flag 56630740/8636000
2018.55/2021.47	c cleaning 131000 clauses out of 262015 with flag 57418994/8768001
2065.18/2068.14	c cleaning 131996 clauses out of 264014 with flag 58234973/8901000
2117.33/2120.49	c cleaning 133004 clauses out of 266018 with flag 59024761/9035000
2162.52/2165.70	c cleaning 133997 clauses out of 268014 with flag 59824538/9170000
2212.00/2215.34	c cleaning 134998 clauses out of 270019 with flag 60607276/9306002
2262.58/2266.03	c cleaning 136002 clauses out of 272019 with flag 61395588/9443000
2318.79/2322.34	c cleaning 136997 clauses out of 274018 with flag 62248301/9581001
2370.48/2374.13	c cleaning 138007 clauses out of 276021 with flag 63061203/9720001
2424.94/2428.79	c cleaning 138995 clauses out of 278013 with flag 63896593/9860000
2478.61/2482.55	c cleaning 139999 clauses out of 280018 with flag 64704237/10001000
2534.34/2538.45	c cleaning 141002 clauses out of 282019 with flag 65562100/10143000
2593.27/2597.44	c cleaning 142004 clauses out of 284017 with flag 66367553/10286000
2654.83/2659.15	c cleaning 143004 clauses out of 286014 with flag 67159287/10430001
2716.27/2720.76	c cleaning 143994 clauses out of 288012 with flag 67993509/10575003
2775.43/2780.06	c cleaning 144999 clauses out of 290015 with flag 68843867/10721000
2839.38/2844.15	c cleaning 146002 clauses out of 292016 with flag 69691655/10868000
2901.33/2906.19	c cleaning 146999 clauses out of 294016 with flag 70555768/11016002
2958.78/2963.70	c cleaning 147992 clauses out of 296019 with flag 71426751/11165004
3019.62/3024.76	c cleaning 149001 clauses out of 298023 with flag 72271592/11315000
3080.58/3085.81	c cleaning 149994 clauses out of 300022 with flag 73120463/11466000
3144.43/3149.87	c cleaning 151010 clauses out of 302028 with flag 73981198/11618000
3206.08/3211.61	c cleaning 151996 clauses out of 304020 with flag 74853883/11771002
3268.00/3273.66	c cleaning 152993 clauses out of 306022 with flag 75745778/11925000
3327.46/3333.21	c cleaning 154008 clauses out of 308029 with flag 76625353/12080000
3396.70/3402.65	c cleaning 155004 clauses out of 310021 with flag 77510600/12236000
3461.63/3467.74	c cleaning 156005 clauses out of 312017 with flag 78415125/12393000
3532.07/3538.32	c cleaning 157000 clauses out of 314012 with flag 79296177/12551000
3600.09/3606.52	c timeout
3600.09/3606.52	c starts		: 18134
3600.09/3606.53	c conflicts		: 12703826
3600.09/3606.53	c decisions		: 16505762
3600.09/3606.53	c propagations		: 267720497
3600.09/3606.53	c inspects		: 53782939625
3600.09/3606.53	c shortcuts		: 0
3600.09/3606.53	c learnt literals	: 0
3600.09/3606.53	c learnt binary clauses	: 0
3600.09/3606.53	c learnt ternary clauses	: 0
3600.09/3606.53	c learnt constraints	: 12703826
3600.09/3606.53	c ignored constraints	: 0
3600.09/3606.53	c root simplifications	: 0
3600.09/3606.53	c removed literals (reason simplification)	: 0
3600.09/3606.53	c reason swapping (by a shorter reason)	: 0
3600.09/3606.53	c Calls to reduceDB	: 154
3600.09/3606.53	c Number of update (reduction) of LBD	: 3950476
3600.09/3606.53	c Imported unit clauses	: 0
3600.09/3606.53	c No decision after first conflict	: false
3600.09/3606.53	c number of reductions to clauses (during analyze)	: 0
3600.09/3606.53	c number of learned constraints concerned by reduction	: 0
3600.09/3606.53	c number of learning phase by resolution	: 0
3600.09/3606.53	c number of learning phase by cutting planes	: 0
3600.09/3606.53	c number of rounding to 1 operations	: 0
3600.09/3606.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3606.53	c number of reductions of the coefficients by power 2 	: 0
3600.09/3606.53	c number of right shift for reduction by power 2 	: 0
3600.09/3606.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3606.53	c number of ending skipping 	: 0
3600.09/3606.53	c number of internal skipping 	: 0
3600.09/3606.53	c number of derivation steps 	: 0
3600.09/3606.53	c number of skipped derivation steps 	: 0
3600.09/3606.53	c number of remaining unassigned 	: 0
3600.09/3606.53	c number of remaining assigned 	: 0
3600.09/3606.53	c number of falsified literals weakened from reason	: 0
3600.09/3606.53	c number of falsified literals weakened from conflict	: 0
3600.09/3606.53	c time for arithmetic operations	: 0
3600.09/3606.53	c minimum degree of deleted constraints	: null
3600.09/3606.53	c maximum degree of deleted constraints	: null
3600.09/3606.53	c number of deleted constraints	: 0
3600.09/3606.53	c speed (assignments/second)	: 74238.0841330116
3600.09/3606.53	c non guided choices	: 52
3600.09/3606.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 309838
3600.09/3606.59	s UNKNOWN
3600.09/3606.59	c Total wall clock time (in seconds): 3606.34

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: 64059 MiB (57091 MiB free)
  memory of node 1: 64510 MiB (35459 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453354-1721458056/watcher-4453354-1721458056 -o /tmp/evaluation-result-4453354-1721458056/solver-4453354-1721458056 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058419 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453354-1721458056.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1063401, runsolver pid=1063398

[startup+0.100265 s]*
/proc/loadavg: 4.48 4.26 4.20 5/315 1063419
/proc/meminfo: memFree=94734300/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=18975048 memory=58176 CPUtime=0.12 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 6602 0 0 0 10 2 0 0 20 0 18 0 197961650 19430449152 14544 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4743762 14544 5543 1 0 550925 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 5496 0 0 0 7 1 0 0 20 0 18 0 197961651 19430449152 14544 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197961653 19430449152 14544 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=18975048 memory=15255952359842124 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197961654 19430449152 14544 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58176 KiB

[startup+0.220056 s]*
/proc/loadavg: 4.48 4.26 4.20 7/315 1063419
/proc/meminfo: memFree=94723476/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=18975048 memory=69756 CPUtime=0.26 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 7273 0 0 0 24 2 0 0 20 0 18 0 197961650 19430449152 17439 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4743762 17439 5735 1 0 551479 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 5779 0 0 0 17 2 0 0 20 0 18 0 197961651 19430449152 17439 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=18975048 memory=3711 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197961653 19430449152 17439 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197961654 19430449152 17439 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69756 KiB

[startup+0.314269 s]*
/proc/loadavg: 4.48 4.26 4.20 7/316 1063420
/proc/meminfo: memFree=94722552/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19041612 memory=70448 CPUtime=0.42 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 7473 0 0 0 39 3 0 0 20 0 19 0 197961650 19498610688 17612 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4760403 17612 5751 1 0 551923 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19041612 memory=-7595423554096423524 CPUtime=0.27 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 5911 0 0 0 25 2 0 0 20 0 19 0 197961651 19498610688 17612 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197961653 19498610688 17612 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197961654 19498610688 17612 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197961679 19498610688 17612 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70448 KiB

[startup+0.701262 s]
/proc/loadavg: 4.48 4.26 4.20 8/316 1063420
/proc/meminfo: memFree=94712944/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19041612 memory=80664 CPUtime=1.13 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 10657 0 0 0 110 3 0 0 20 0 19 0 197961650 19498610688 20166 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4760403 20166 5836 1 0 553868 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19041612 memory=11884 CPUtime=0.61 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 5926 0 0 0 59 2 0 0 20 0 19 0 197961651 19498610688 20166 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19041612 memory=11884 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197961653 19498610688 20166 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197961654 19498610688 20166 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19041612 memory=39916 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197961679 19498610688 20166 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80664 KiB

[startup+1.50025 s]
/proc/loadavg: 4.48 4.26 4.20 6/316 1063420
/proc/meminfo: memFree=94700084/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19041612 memory=97416 CPUtime=2.53 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 16395 0 0 0 249 4 0 0 20 0 19 0 197961650 19498610688 24354 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4760403 24354 5852 1 0 555817 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19041612 memory=11884 CPUtime=1.39 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 6266 0 0 0 137 2 0 0 20 0 19 0 197961651 19498610688 24354 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197961653 19498610688 24354 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197961654 19498610688 24354 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19041612 memory=65 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197961679 19498610688 24354 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 97416 KiB

[startup+3.10626 s]
/proc/loadavg: 4.48 4.26 4.20 5/316 1063420
/proc/meminfo: memFree=94685412/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19041612 memory=109800 CPUtime=4.5 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 17729 0 0 0 445 5 0 0 20 0 19 0 197961650 19498610688 27450 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4760403 27450 5852 1 0 555822 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19041612 memory=0 CPUtime=2.98 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 6541 0 0 0 295 3 0 0 20 0 19 0 197961651 19498610688 27450 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197961653 19498610688 27450 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19041612 memory=99496 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197961654 19498610688 27450 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19041612 memory=11884 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197961679 19498610688 27450 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 4.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109800 KiB

[startup+6.30044 s]
/proc/loadavg: 4.60 4.29 4.21 5/316 1063420
/proc/meminfo: memFree=94672912/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19041612 memory=120156 CPUtime=7.69 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 17956 0 0 0 764 5 0 0 20 0 19 0 197961650 19498610688 30039 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4760403 30039 5852 1 0 555823 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19041612 memory=11884 CPUtime=6.15 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 6628 0 0 0 612 3 0 0 20 0 19 0 197961651 19498610688 30039 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197961653 19498610688 30039 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19041612 memory=7740386359670040935 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197961654 19498610688 30039 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19041612 memory=5616 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197961679 19498610688 30039 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 7.69 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 120156 KiB

[startup+12.7004 s]
/proc/loadavg: 4.55 4.28 4.21 5/316 1063421
/proc/meminfo: memFree=94642104/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19041612 memory=150952 CPUtime=14.22 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 21044 0 0 0 1415 7 0 0 20 0 19 0 197961650 19498610688 37738 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4760403 37738 5852 1 0 555823 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19041612 memory=0 CPUtime=12.53 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 7532 0 0 0 1250 3 0 0 20 0 19 0 197961651 19498610688 37738 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19041612 memory=146856 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197961653 19498610688 37738 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197961654 19498610688 37738 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19041612 memory=16216 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197961679 19498610688 37738 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 14.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 150952 KiB

[startup+25.5004 s]
/proc/loadavg: 4.43 4.27 4.20 5/317 1063424
/proc/meminfo: memFree=94610884/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19108176 memory=180252 CPUtime=26.99 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 24238 0 0 0 2691 8 0 0 20 0 20 0 197961650 19566772224 45063 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4777044 45063 5900 1 0 556112 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19108176 memory=146856 CPUtime=25.26 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 8776 0 0 0 2522 4 0 0 20 0 20 0 197961651 19566772224 45063 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19108176 memory=16216 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197961653 19566772224 45063 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19108176 memory=180188 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 197961654 19566772224 45063 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197961679 19566772224 45063 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 26.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180252 KiB

[startup+51.1138 s]
/proc/loadavg: 4.36 4.26 4.20 5/317 1063428
/proc/meminfo: memFree=94575640/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19108176 memory=192600 CPUtime=52.65 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 28898 0 0 0 5255 10 0 0 20 0 20 0 197961650 19566772224 48150 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4777044 48150 5900 1 0 556112 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19108176 memory=180252 CPUtime=50.72 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 9929 0 0 0 5068 4 0 0 20 0 20 0 197961651 19566772224 48150 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0

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

/proc/meminfo: memFree=118329656/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19108176 memory=1164968 CPUtime=3276.69 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 85289 0 0 0 327492 177 0 0 20 0 20 0 197961650 19566772224 291242 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4777044 291242 5932 1 0 556128 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19108176 memory=1164968 CPUtime=3268.6 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 40034 0 0 0 326852 8 0 0 20 0 20 0 197961651 19566772224 291242 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19108176 memory=1095336 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197961653 19566772224 291242 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19108176 memory=28772 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 3580 0 0 0 0 0 0 0 20 0 20 0 197961654 19566772224 291242 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19108176 memory=1164968 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197961679 19566772224 291242 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 3276.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1164968 KiB

[startup+3342.3 s]
/proc/loadavg: 4.59 4.29 4.22 5/319 1065467
/proc/meminfo: memFree=118329444/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19108176 memory=1164968 CPUtime=3336.54 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 85889 0 0 0 333476 178 0 0 20 0 20 0 197961650 19566772224 291242 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4777044 291242 5932 1 0 556128 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19108176 memory=1164968 CPUtime=3328.42 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 40576 0 0 0 332834 8 0 0 20 0 20 0 197961651 19566772224 291242 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197961653 19566772224 291242 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19108176 memory=1164968 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 3580 0 0 0 0 0 0 0 20 0 20 0 197961654 19566772224 291242 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197961679 19566772224 291242 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 3336.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1164968 KiB

[startup+3402.3 s]
/proc/loadavg: 4.67 4.38 4.26 5/319 1065477
/proc/meminfo: memFree=118289956/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19108176 memory=1164972 CPUtime=3396.4 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 86314 0 0 0 339459 181 0 0 20 0 20 0 197961650 19566772224 291243 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4777044 291243 5932 1 0 556128 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19108176 memory=50296 CPUtime=3388.23 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 40915 0 0 0 338815 8 0 0 20 0 20 0 197961651 19566772224 291243 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197961653 19566772224 291243 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19108176 memory=1164968 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 3657 0 0 0 0 0 0 0 20 0 20 0 197961654 19566772224 291243 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19108176 memory=-7595423554096423524 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197961679 19566772224 291243 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 3396.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1164972 KiB

[startup+3462.3 s]
/proc/loadavg: 4.35 4.34 4.25 5/319 1065488
/proc/meminfo: memFree=118289648/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19108176 memory=1164976 CPUtime=3456.25 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 87025 0 0 0 345442 183 0 0 20 0 20 0 197961650 19566772224 291244 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4777044 291244 5932 1 0 556128 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19108176 memory=11596 CPUtime=3448.04 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 41456 0 0 0 344796 8 0 0 20 0 20 0 197961651 19566772224 291244 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19108176 memory=97 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197961653 19566772224 291244 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 3765 0 0 0 0 0 0 0 20 0 20 0 197961654 19566772224 291244 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197961679 19566772224 291244 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 3456.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1164976 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.29 4.24 5/317 1065499
/proc/meminfo: memFree=118289188/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19108176 memory=1164976 CPUtime=3516.1 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 87795 0 0 0 351425 185 0 0 20 0 20 0 197961650 19566772224 291244 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4777044 291244 5932 1 0 556129 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19108176 memory=1164968 CPUtime=3507.86 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 42054 0 0 0 350778 8 0 0 20 0 20 0 197961651 19566772224 291244 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19108176 memory=5636 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197961653 19566772224 291244 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19108176 memory=1164976 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 3848 0 0 0 0 0 0 0 20 0 20 0 197961654 19566772224 291244 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19108176 memory=1164976 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197961679 19566772224 291244 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 3516.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1164976 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.25 4.23 5/317 1065510
/proc/meminfo: memFree=118129964/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19108176 memory=1164980 CPUtime=3575.96 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 88422 0 0 0 357408 188 0 0 20 0 20 0 197961650 19566772224 291245 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4777044 291245 5932 1 0 556129 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19108176 memory=5616 CPUtime=3567.67 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 42652 0 0 0 356759 8 0 0 20 0 20 0 197961651 19566772224 291245 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19108176 memory=1164980 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197961653 19566772224 291245 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19108176 memory=1808 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 3855 0 0 0 0 0 0 0 20 0 20 0 197961654 19566772224 291245 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19108176 memory=1164980 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197961679 19566772224 291245 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 3575.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1164980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.5 s]
/proc/loadavg: 4.07 4.23 4.22 5/317 1065513
/proc/meminfo: memFree=118129740/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19108176 memory=1164984 CPUtime=3600.09 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 88734 0 0 0 359821 188 0 0 20 0 20 0 197961650 19566772224 291246 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4777044 291246 5932 1 0 556130 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19108176 memory=1095336 CPUtime=3591.8 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 42914 0 0 0 359172 8 0 0 20 0 20 0 197961651 19566772224 291246 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197961653 19566772224 291246 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19108176 memory=1164980 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 3855 0 0 0 0 0 0 0 20 0 20 0 197961654 19566772224 291246 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19108176 memory=-7595423554096423524 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197961679 19566772224 291246 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1164984 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.4 s, system=1.90003 s

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

[startup+3606.5 s]
/proc/loadavg: 4.07 4.23 4.22 5/317 1065513
/proc/meminfo: memFree=118129740/131655788 swapFree=131071996/131071996
[pid=1063401] ppid=1063398 vsize=19108176 memory=1164984 CPUtime=3600.09 cores=0,2
/proc/1063401/stat : 1063401 (java) S 1063398 1063401 1058409 0 -1 1077936128 88734 0 0 0 359821 188 0 0 20 0 20 0 197961650 19566772224 291246 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
/proc/1063401/statm: 4777044 291246 5932 1 0 556130 0
[pid=1063401/tid=1063403] ppid=1063398 vsize=19108176 memory=1095336 CPUtime=3591.8 cores=0,2
/proc/1063401/task/1063403/stat : 1063403 (java) R 1063398 1063401 1058409 0 -1 4194368 42914 0 0 0 359172 8 0 0 20 0 20 0 197961651 19566772224 291246 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063412] ppid=1063398 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1063401/task/1063412/stat : 1063412 (Finalizer) S 1063398 1063401 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197961653 19566772224 291246 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063419] ppid=1063398 vsize=19108176 memory=1164980 CPUtime=0 cores=0,2
/proc/1063401/task/1063419/stat : 1063419 (Common-Cleaner) S 1063398 1063401 1058409 0 -1 1077936192 3855 0 0 0 0 0 0 0 20 0 20 0 197961654 19566772224 291246 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
[pid=1063401/tid=1063420] ppid=1063398 vsize=19108176 memory=-7595423554096423524 CPUtime=0 cores=0,2
/proc/1063401/task/1063420/stat : 1063420 (Timer-0) S 1063398 1063401 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197961679 19566772224 291246 134679101440 93915753943040 93915753946736 140731887501216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93915753954552 93915753955344 93915764736000 140731887510533 140731887510623 140731887510623 140731887517640 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1164984 KiB

Child status: 143

Real time (s): 3606.62
CPU time (s): 3600.3
CPU user time (s): 3598.4
CPU system time (s): 1.90003
CPU usage (%): 99.8249
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1164984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.4
system time used= 1.90003
maximum resident set size= 1166236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103017
involuntary context switches= 25562


# summary of solver processes directly reported to runsolver:
#   pid: 1063401
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3598.4
#   total CPU system time (s): 1.90003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4061 second user time and 39.0934 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 08:47:47
IDJOB=4453354
IDBENCH=175484
IDSOLVER=3058
FILE ID=nodeC003/4453354-1721458056
RUNJOBID= nodeC003-1721450898-1058419
SLURM_JOB_ID= 7545681
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-30.shuf-2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453354-1721458056/watcher-4453354-1721458056 -o /tmp/evaluation-result-4453354-1721458056/solver-4453354-1721458056 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058419 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453354-1721458056.opb

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

MD5SUM BENCH= cf304571e02e93b9f1adea6ee5377cb9
RANDOM SEED=88624078

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3491.902
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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		: 3582.553
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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		: 1296.986
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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.288
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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.445
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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		: 3556.893
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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		: 3637.137
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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.242
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        94772232 kB
MemAvailable:   100434824 kB
Buffers:          571696 kB
Cached:          5873060 kB
SwapCached:            0 kB
Active:          1063576 kB
Inactive:       35070752 kB
Active(anon):       1468 kB
Inactive(anon): 29734028 kB
Active(file):    1062108 kB
Inactive(file):  5336724 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               916 kB
Writeback:             0 kB
AnonPages:      29689616 kB
Mapped:           128332 kB
Shmem:             45896 kB
KReclaimable:     207580 kB
Slab:             324504 kB
SReclaimable:     207580 kB
SUnreclaim:       116924 kB
KernelStack:        4748 kB
PageTables:        67640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   34080148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:  29175808 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-20 09:47:54