Trace number 4449847

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 2024 2024-07-07SAT (TO)2 3600.52 3611.48

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=11.opb
MD5SUM9b5c30834c5e817deb28aeb7d8484ce1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables403
Total number of constraints13065
Number of constraints which are clauses13052
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint14
Number of terms in the objective function 13
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 13
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.13/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.17	c See www.sat4j.org for details.
0.13/0.18	c version CUSTOM.v20240707
0.13/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.21	c java.vm.version	22.0.1+8-16
0.13/0.22	c java.vm.vendor	Oracle Corporation
0.13/0.22	c sun.arch.data.model	64
0.13/0.22	c java.version		22.0.1
0.13/0.22	c os.name		Linux
0.13/0.22	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.22	c os.arch		amd64
0.13/0.22	c Free memory 		2113181440
0.13/0.22	c Max memory 		16282288128
0.13/0.22	c Total memory 		2122317824
0.30/0.23	c Number of processors 	2
0.47/0.34	--- Begin Solver configuration ---
0.47/0.34	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.47/0.34	Learn all clauses as in MiniSAT
0.47/0.34	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.34	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.34	Expensive reason simplification
0.47/0.34	Glucose 2.1 dynamic restart strategy
0.47/0.34	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.47/0.34	timeout=2147483s
0.47/0.34	DB Simplification allowed=false
0.47/0.34	Listener: none
0.47/0.34	--- End Solver configuration ---
0.47/0.35	c Pseudo Boolean Optimization by upper bound
0.47/0.35	c --- Begin Solver configuration ---
0.47/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.47/0.35	c Learn all clauses as in MiniSAT
0.47/0.35	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.35	c Expensive reason simplification
0.47/0.35	c Glucose 2.1 dynamic restart strategy
0.47/0.35	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.47/0.35	c timeout=2147483s
0.47/0.35	c DB Simplification allowed=false
0.47/0.35	c Listener: none
0.47/0.35	c --- End Solver configuration ---
0.47/0.35	c solving HOME/instance-4449847-1721844046.opb
0.47/0.35	c reading problem ... 
0.47/0.35	c using VERIPB proof format
0.47/0.35	c  objective function found
1.15/0.71	c ... done. Wall clock time 0.357s.
1.15/0.71	c declared #vars     403
1.15/0.71	c #constraints  13065
1.15/0.71	c constraints type 
1.15/0.71	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13
1.15/0.71	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 13052
1.15/0.71	c 13065 constraints processed.
1.15/0.75	c objective function length is 13 literals
1.75/1.04	c SATISFIABLE
1.75/1.04	c OPTIMIZING...
1.75/1.04	c Got one! Elapsed wall clock time (in seconds):0.699
1.75/1.04	o 8
1.75/1.06	c Got one! Elapsed wall clock time (in seconds):0.712
1.75/1.06	o 7
1.75/1.09	c Got one! Elapsed wall clock time (in seconds):0.74
1.75/1.09	o 5
1.95/1.13	c Got one! Elapsed wall clock time (in seconds):0.779
1.95/1.13	o 4
2.13/1.29	c Got one! Elapsed wall clock time (in seconds):0.931
2.13/1.29	o 3
2.32/1.31	c Got one! Elapsed wall clock time (in seconds):0.963
2.32/1.31	o 2
3.92/2.16	c cleaning 3290 clauses out of 6582 with flag 33579/6582
5.08/2.79	c cleaning 4646 clauses out of 9294 with flag 70529/12584
6.17/3.34	c cleaning 5816 clauses out of 11646 with flag 115697/19582
7.39/4.07	c cleaning 6883 clauses out of 13831 with flag 181195/27583
8.41/4.75	c cleaning 7951 clauses out of 15948 with flag 244467/36583
9.82/6.13	c cleaning 8987 clauses out of 17996 with flag 315925/46582
11.11/7.49	c cleaning 9986 clauses out of 20009 with flag 396685/57582
12.30/8.52	c cleaning 11005 clauses out of 22026 with flag 488786/69585
13.99/10.29	c cleaning 12005 clauses out of 24018 with flag 599537/82582
16.00/12.28	c cleaning 13000 clauses out of 26015 with flag 725089/96584
18.41/14.67	c cleaning 14006 clauses out of 28014 with flag 857120/111583
20.13/16.35	c cleaning 14996 clauses out of 30007 with flag 982237/127582
22.19/17.73	c cleaning 16002 clauses out of 32011 with flag 1117295/144582
24.55/19.99	c cleaning 16997 clauses out of 34010 with flag 1246525/162583
26.79/22.22	c cleaning 17958 clauses out of 36012 with flag 1383372/181582
28.79/24.26	c cleaning 19020 clauses out of 38055 with flag 1542827/201583
31.38/26.82	c cleaning 19998 clauses out of 40036 with flag 1703903/222584
33.48/28.98	c cleaning 21010 clauses out of 42038 with flag 1898519/244584
36.56/31.98	c cleaning 22006 clauses out of 44027 with flag 2094800/267583
40.05/35.46	c cleaning 22998 clauses out of 46020 with flag 2306040/291582
42.94/38.30	c cleaning 24004 clauses out of 48024 with flag 2519531/316584
47.42/42.83	c cleaning 24996 clauses out of 50018 with flag 2788817/342582
52.72/48.19	c cleaning 26009 clauses out of 52022 with flag 3065315/369582
56.61/52.09	c cleaning 27002 clauses out of 54013 with flag 3324520/397582
61.03/56.53	c cleaning 28001 clauses out of 56011 with flag 3592465/426582
65.32/60.90	c cleaning 29002 clauses out of 58010 with flag 3865301/456582
69.64/65.19	c cleaning 30001 clauses out of 60008 with flag 4123857/487582
74.31/69.88	c cleaning 30997 clauses out of 62008 with flag 4434857/519583
79.11/74.64	c cleaning 31998 clauses out of 64011 with flag 4743280/552583
83.98/79.58	c cleaning 33000 clauses out of 66012 with flag 5074719/586582
88.21/83.83	c cleaning 33990 clauses out of 68012 with flag 5409311/621582
93.09/88.65	c cleaning 35003 clauses out of 70025 with flag 5719644/657585
98.49/94.05	c cleaning 36001 clauses out of 72019 with flag 6080159/694582
103.51/99.05	c cleaning 37003 clauses out of 74019 with flag 6420063/732583
111.77/107.39	c cleaning 38000 clauses out of 76016 with flag 6807803/771583
119.07/114.78	c cleaning 39003 clauses out of 78019 with flag 7171977/811586
126.54/122.29	c cleaning 40002 clauses out of 80013 with flag 7589962/852583
132.93/128.65	c cleaning 40998 clauses out of 82010 with flag 7968263/894582
140.52/136.23	c cleaning 41997 clauses out of 84012 with flag 8393842/937582
147.90/143.67	c cleaning 42998 clauses out of 86015 with flag 8776378/981582
156.79/153.50	c cleaning 44001 clauses out of 88021 with flag 9211003/1026586
166.27/163.03	c cleaning 44996 clauses out of 90017 with flag 9655017/1072583
174.84/171.63	c cleaning 46003 clauses out of 92021 with flag 10125663/1119583
183.42/180.22	c cleaning 46997 clauses out of 94018 with flag 10628849/1167583
191.40/188.29	c cleaning 48001 clauses out of 96020 with flag 11085193/1216582
204.58/201.55	c cleaning 48999 clauses out of 98019 with flag 11622464/1266582
213.37/210.47	c cleaning 50002 clauses out of 100023 with flag 12092000/1317585
224.26/221.41	c cleaning 51006 clauses out of 102019 with flag 12600785/1369583
234.40/231.64	c cleaning 52001 clauses out of 104015 with flag 13171262/1422585
250.37/247.73	c cleaning 53008 clauses out of 106017 with flag 13881277/1476588
261.12/258.40	c cleaning 53992 clauses out of 108003 with flag 14463113/1531582
275.04/272.49	c cleaning 54990 clauses out of 110011 with flag 15051520/1587582
287.39/284.74	c cleaning 56004 clauses out of 112022 with flag 15663639/1644583
299.52/296.87	c cleaning 57003 clauses out of 114020 with flag 16259065/1702585
311.92/309.27	c cleaning 57999 clauses out of 116014 with flag 16900022/1761582
329.79/327.03	c cleaning 59006 clauses out of 118016 with flag 17609660/1821583
342.50/339.87	c cleaning 60001 clauses out of 120009 with flag 18234363/1882582
355.94/353.24	c cleaning 60999 clauses out of 122008 with flag 18852323/1944582
369.25/366.58	c cleaning 61994 clauses out of 124009 with flag 19492248/2007582
382.09/379.39	c cleaning 62991 clauses out of 126016 with flag 20094396/2071583
398.19/395.47	c cleaning 64001 clauses out of 128026 with flag 20781665/2136584
417.05/414.21	c cleaning 65002 clauses out of 130024 with flag 21440076/2202583
433.66/430.80	c cleaning 66006 clauses out of 132024 with flag 22191820/2269585
453.58/450.75	c cleaning 66999 clauses out of 134016 with flag 23047108/2337583
472.15/469.36	c cleaning 68000 clauses out of 136016 with flag 23851001/2406582
491.23/488.48	c cleaning 69001 clauses out of 138016 with flag 24581019/2476582
507.34/504.58	c cleaning 70005 clauses out of 140019 with flag 25314335/2547586
524.74/521.96	c cleaning 70992 clauses out of 142011 with flag 26037861/2619583
543.33/540.57	c cleaning 72002 clauses out of 144020 with flag 26844243/2692584
564.02/561.21	c cleaning 72993 clauses out of 146016 with flag 27663506/2766582
584.87/582.11	c cleaning 74002 clauses out of 148024 with flag 28463171/2841583
603.55/600.89	c cleaning 75004 clauses out of 150021 with flag 29267482/2917582
624.11/621.49	c cleaning 76006 clauses out of 152020 with flag 30115372/2994585
644.75/642.19	c cleaning 76993 clauses out of 154011 with flag 30928476/3072582
665.64/663.10	c cleaning 77999 clauses out of 156019 with flag 31788832/3151583
694.60/692.06	c cleaning 79002 clauses out of 158020 with flag 32775210/3231583
718.67/716.10	c cleaning 80006 clauses out of 160017 with flag 33697939/3312582
740.56/737.94	c cleaning 80998 clauses out of 162012 with flag 34575306/3394583
765.28/762.62	c cleaning 81984 clauses out of 164013 with flag 35480450/3477582
789.92/787.25	c cleaning 83003 clauses out of 166029 with flag 36482509/3561582
814.31/822.10	c cleaning 84002 clauses out of 168026 with flag 37346633/3646582
840.46/848.28	c cleaning 85006 clauses out of 170024 with flag 38270599/3732582
868.09/875.82	c cleaning 86005 clauses out of 172019 with flag 39127381/3819583
898.29/906.11	c cleaning 86999 clauses out of 174013 with flag 40084330/3907582
930.55/938.33	c cleaning 88000 clauses out of 176014 with flag 41030684/3996582
959.25/967.06	c cleaning 89003 clauses out of 178015 with flag 42055463/4086583
984.22/991.90	c cleaning 89996 clauses out of 180012 with flag 43007739/4177583
1013.39/1021.11	c cleaning 91001 clauses out of 182016 with flag 43952031/4269583
1042.14/1049.90	c cleaning 92002 clauses out of 184014 with flag 44965212/4362582
1075.16/1083.23	c cleaning 93001 clauses out of 186012 with flag 46007453/4456582
1110.66/1118.73	c cleaning 94000 clauses out of 188013 with flag 47064500/4551584
1148.35/1156.45	c cleaning 94999 clauses out of 190013 with flag 48130217/4647584
1182.28/1190.40	c cleaning 96001 clauses out of 192014 with flag 49163121/4744584
1218.81/1226.92	c cleaning 96997 clauses out of 194011 with flag 50318318/4842582
1251.64/1259.83	c cleaning 98004 clauses out of 196016 with flag 51460446/4941584
1280.71/1288.91	c cleaning 98996 clauses out of 198010 with flag 52509977/5041582
1313.53/1321.70	c cleaning 100000 clauses out of 200015 with flag 53660413/5142583
1353.89/1361.74	c cleaning 101004 clauses out of 202015 with flag 54826750/5244583
1393.91/1401.81	c cleaning 102002 clauses out of 204012 with flag 56061757/5347584
1431.76/1439.74	c cleaning 102994 clauses out of 206008 with flag 57305806/5451582
1469.05/1477.03	c cleaning 104003 clauses out of 208015 with flag 58482861/5556583
1505.30/1513.34	c cleaning 105002 clauses out of 210012 with flag 59616310/5662583
1547.91/1556.00	c cleaning 105997 clauses out of 212010 with flag 60857822/5769583
1586.18/1594.29	c cleaning 106996 clauses out of 214013 with flag 62049703/5877583
1630.94/1639.07	c cleaning 108003 clauses out of 216018 with flag 63331402/5986584
1676.66/1684.76	c cleaning 108984 clauses out of 218013 with flag 64479698/6096582
1720.46/1728.65	c cleaning 110009 clauses out of 220029 with flag 65812168/6207582
1767.13/1775.33	c cleaning 111004 clauses out of 222020 with flag 67064473/6319582
1808.29/1816.75	c cleaning 111997 clauses out of 224017 with flag 68278559/6432583
1852.69/1861.22	c cleaning 113005 clauses out of 226019 with flag 69555475/6546582
1904.33/1912.96	c cleaning 113997 clauses out of 228016 with flag 71085989/6661584
1946.09/1954.77	c cleaning 115004 clauses out of 230018 with flag 72490157/6777583
1995.76/2004.98	c cleaning 116004 clauses out of 232013 with flag 73813111/6894582
2041.71/2050.94	c cleaning 116991 clauses out of 234009 with flag 75256978/7012582
2089.92/2099.23	c cleaning 118006 clauses out of 236019 with flag 76701868/7131583
2146.26/2155.71	c cleaning 119003 clauses out of 238014 with flag 78102619/7251584
2197.44/2207.00	c cleaning 120000 clauses out of 240011 with flag 79495392/7372584
2243.35/2253.13	c cleaning 120973 clauses out of 242009 with flag 80792393/7494582
2295.25/2305.22	c cleaning 122014 clauses out of 244036 with flag 82156416/7617582
2341.07/2351.08	c cleaning 123002 clauses out of 246023 with flag 83611410/7741583
2397.66/2407.74	c cleaning 124008 clauses out of 248022 with flag 85050586/7866584
2454.02/2464.25	c cleaning 124996 clauses out of 250012 with flag 86458576/7992582
2503.94/2514.13	c cleaning 125992 clauses out of 252016 with flag 87905098/8119582
2563.74/2574.09	c cleaning 127003 clauses out of 254024 with flag 89442879/8247582
2631.60/2642.08	c cleaning 128005 clauses out of 256021 with flag 90930613/8376582
2687.29/2697.82	c cleaning 129009 clauses out of 258018 with flag 92435313/8506584
2742.84/2753.48	c cleaning 129989 clauses out of 260008 with flag 94164029/8637583
2794.84/2805.54	c cleaning 131002 clauses out of 262020 with flag 95644266/8769584
2856.57/2867.38	c cleaning 132003 clauses out of 264019 with flag 97222351/8902585
2918.38/2928.76	c cleaning 133004 clauses out of 266016 with flag 98886222/9036585
2978.87/2989.35	c cleaning 133995 clauses out of 268011 with flag 100508035/9171584
3040.88/3051.39	c cleaning 135002 clauses out of 270014 with flag 102057893/9307582
3098.78/3109.39	c cleaning 136000 clauses out of 272012 with flag 103678473/9444582
3165.69/3176.36	c cleaning 137002 clauses out of 274013 with flag 105396029/9582583
3221.39/3232.06	c cleaning 137994 clauses out of 276012 with flag 106963359/9721584
3287.00/3297.80	c cleaning 139001 clauses out of 278016 with flag 108521476/9861582
3350.95/3361.72	c cleaning 140002 clauses out of 280016 with flag 110332082/10002583
3421.47/3432.31	c cleaning 141007 clauses out of 282014 with flag 112013464/10144583
3480.37/3491.36	c cleaning 142000 clauses out of 284008 with flag 113685153/10287584
3548.74/3559.85	c cleaning 142983 clauses out of 286007 with flag 115398042/10431583
3600.00/3611.23	c starts		: 37172
3600.00/3611.26	c conflicts		: 10549700
3600.00/3611.26	c decisions		: 18743737
3600.00/3611.26	c propagations		: 278122841
3600.00/3611.26	c inspects		: 40300755811
3600.00/3611.26	c shortcuts		: 0
3600.00/3611.26	c learnt literals	: 0
3600.00/3611.26	c learnt binary clauses	: 0
3600.00/3611.26	c learnt ternary clauses	: 0
3600.00/3611.26	c learnt constraints	: 10549700
3600.00/3611.26	c ignored constraints	: 0
3600.00/3611.26	c root simplifications	: 0
3600.00/3611.26	c removed literals (reason simplification)	: 130558271
3600.00/3611.26	c reason swapping (by a shorter reason)	: 0
3600.00/3611.26	c Calls to reduceDB	: 140
3600.00/3611.26	c Number of update (reduction) of LBD	: 5752625
3600.00/3611.26	c Imported unit clauses	: 0
3600.00/3611.26	c No decision after first conflict	: false
3600.00/3611.26	c number of reductions to clauses (during analyze)	: 0
3600.00/3611.26	c number of learned constraints concerned by reduction	: 0
3600.00/3611.26	c number of learning phase by resolution	: 0
3600.00/3611.26	c number of learning phase by cutting planes	: 0
3600.00/3611.26	c number of rounding to 1 operations	: 0
3600.00/3611.26	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3611.26	c number of reductions of the coefficients by power 2 	: 0
3600.00/3611.26	c number of right shift for reduction by power 2 	: 0
3600.00/3611.26	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3611.26	c number of ending skipping 	: 0
3600.00/3611.27	c number of internal skipping 	: 0
3600.00/3611.27	c number of derivation steps 	: 0
3600.00/3611.27	c number of skipped derivation steps 	: 0
3600.00/3611.27	c number of remaining unassigned 	: 0
3600.00/3611.27	c number of remaining assigned 	: 0
3600.00/3611.27	c number of falsified literals weakened from reason	: 0
3600.00/3611.27	c number of falsified literals weakened from conflict	: 0
3600.00/3611.27	c time for arithmetic operations	: 0
3600.00/3611.27	c minimum degree of deleted constraints	: null
3600.00/3611.27	c maximum degree of deleted constraints	: null
3600.00/3611.27	c number of deleted constraints	: 0
3600.00/3611.27	c speed (assignments/second)	: 77031.4129962731
3600.00/3611.27	c non guided choices	: 40349
3600.40/3611.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 261141
3600.40/3611.44	s SATISFIABLE
3600.40/3611.44	c Found 6 solution(s)
3600.40/3611.44	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 -x13 x14 x15 -x16 x17 x18 x19 x20 x21 x22 x23 x24 -x25 x26 -x27 -x28 -x29 -x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 -x43 x44 x45 x46 x47 x48 x49 x50 x51 -x52 -x53 -x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 
3600.40/3611.44	c objective function=2
3600.40/3611.44	c Total wall clock time (in seconds): 3611.097

Verifier Data 

OK	2

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: 64096 MiB (61589 MiB free)
  memory of node 1: 64473 MiB (62310 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449847-1721844046/watcher-4449847-1721844046 -o /tmp/evaluation-result-4449847-1721844046/solver-4449847-1721844046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721844046-187303 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4449847-1721844046 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4449847-1721844046.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=187355, runsolver pid=187349
Current StackSize limit: 8192 KiB


[startup+0.105621 s]*
/proc/loadavg: 1.11 1.28 1.89 14/314 187429
/proc/meminfo: memFree=126740052/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=18975048 memory=55732 CPUtime=0.13 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 6381 0 0 0 10 3 0 0 20 0 18 0 20393825 19430449152 13933 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4743762 13933 5656 1 0 550745 0
[pid=187355/tid=187359] ppid=187349 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 5331 0 0 0 6 2 0 0 20 0 18 0 20393826 19430449152 13933 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20393828 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=18975048 memory=1276314 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20393832 19430449152 13933 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=18975048 memory=15825495069575043 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20393833 19430449152 13933 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55732 KiB

[startup+0.215857 s]*
/proc/loadavg: 1.11 1.28 1.89 15/316 187431
/proc/meminfo: memFree=126716728/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=18975048 memory=60504 CPUtime=0.3 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 7091 0 0 0 26 4 0 0 20 0 18 0 20393825 19430449152 15126 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4743762 15126 5681 1 0 551323 0
[pid=187355/tid=187359] ppid=187349 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 5664 0 0 0 17 3 0 0 20 0 18 0 20393826 19430449152 15126 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20393828 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=18975048 memory=1276314 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20393832 19430449152 15126 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=18975048 memory=15825495069575043 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20393833 19430449152 15126 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60504 KiB

[startup+0.315857 s]*
/proc/loadavg: 1.11 1.28 1.89 13/316 187431
/proc/meminfo: memFree=126694704/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=18975048 memory=65624 CPUtime=0.47 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 7364 0 0 0 42 5 0 0 20 0 18 0 20393825 19430449152 16406 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4743762 16406 5690 1 0 551519 0
[pid=187355/tid=187359] ppid=187349 vsize=18975048 memory=-8815628480807740092 CPUtime=0.28 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 5836 0 0 0 25 3 0 0 20 0 18 0 20393826 19430449152 16406 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20393828 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20393832 19430449152 16406 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20393833 19430449152 16406 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65624 KiB

[startup+0.700402 s]
/proc/loadavg: 1.11 1.28 1.89 14/316 187431
/proc/meminfo: memFree=126663680/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=18975048 memory=100528 CPUtime=1.15 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 9254 0 0 0 108 7 0 0 20 0 18 0 20393825 19430449152 25132 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4743762 25132 5813 1 0 552773 0
[pid=187355/tid=187359] ppid=187349 vsize=18975048 memory=5456 CPUtime=0.61 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 5963 0 0 0 57 4 0 0 20 0 18 0 20393826 19430449152 25132 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20393828 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=18975048 memory=12620 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20393832 19430449152 25132 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20393833 19430449152 25132 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 100528 KiB

[startup+1.50617 s]
/proc/loadavg: 1.11 1.28 1.89 16/320 187435
/proc/meminfo: memFree=126449140/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=184972 CPUtime=2.74 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 21111 0 0 0 261 13 0 0 20 0 20 0 20393825 19566772224 46243 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 46243 5873 1 0 557747 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=12620 CPUtime=1.34 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) S 187349 187355 187290 0 -1 1077936192 6433 0 0 0 127 7 0 0 20 0 20 0 20393826 19566772224 46243 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 20393828 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 46243 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 46243 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187433] ppid=187349 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187355/task/187433/stat : 187433 (Timer-0) S 187349 187355 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393901 19566772224 46243 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184972 KiB

[startup+3.10929 s]
/proc/loadavg: 2.06 1.48 1.95 8/324 187439
/proc/meminfo: memFree=126176804/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=188916 CPUtime=5.9 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 24321 0 0 0 575 15 0 0 20 0 20 0 20393825 19566772224 47229 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 47229 5905 1 0 557794 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=0 CPUtime=2.88 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 7118 0 0 0 279 9 0 0 20 0 20 0 20393826 19566772224 47229 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 20393828 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 47229 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 47229 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187433] ppid=187349 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187355/task/187433/stat : 187433 (Timer-0) S 187349 187355 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393901 19566772224 47229 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188916 KiB

[startup+6.30046 s]
/proc/loadavg: 2.06 1.48 1.95 6/324 187439
/proc/meminfo: memFree=125351404/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=383720 CPUtime=10 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 24752 0 0 0 979 21 0 0 20 0 20 0 20393825 19566772224 95930 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 95930 5905 1 0 557802 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=0 CPUtime=6.02 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 7339 0 0 0 588 14 0 0 20 0 20 0 20393826 19566772224 95930 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20393828 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 95930 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 95930 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187433] ppid=187349 vsize=19108176 memory=60136 CPUtime=0 cores=5,7
/proc/187355/task/187433/stat : 187433 (Timer-0) S 187349 187355 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393901 19566772224 95930 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 10 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 383720 KiB

[startup+12.7005 s]
/proc/loadavg: 2.22 1.52 1.96 5/324 187441
/proc/meminfo: memFree=124015780/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=529292 CPUtime=16.51 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 29373 0 0 0 1624 27 0 0 20 0 20 0 20393825 19566772224 132323 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 132323 5905 1 0 557818 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=529264 CPUtime=12.34 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 8392 0 0 0 1215 19 0 0 20 0 20 0 20393826 19566772224 132323 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20393828 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 132323 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=529264 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 132323 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187433] ppid=187349 vsize=19108176 memory=188916 CPUtime=0 cores=5,7
/proc/187355/task/187433/stat : 187433 (Timer-0) S 187349 187355 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393901 19566772224 132323 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 16.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 529292 KiB

[startup+25.5005 s]
/proc/loadavg: 2.82 1.69 2.01 6/326 187455
/proc/meminfo: memFree=121800900/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=1179536 CPUtime=30.09 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 40664 0 0 0 2963 46 0 0 20 0 20 0 20393825 19566772224 294884 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 294884 5905 1 0 557818 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=0 CPUtime=24.89 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 10106 0 0 0 2453 36 0 0 20 0 20 0 20393826 19566772224 294884 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20393839 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=529264 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 294884 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=535444 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 294884 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187433] ppid=187349 vsize=19108176 memory=1179480 CPUtime=0 cores=5,7
/proc/187355/task/187433/stat : 187433 (Timer-0) S 187349 187355 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393901 19566772224 294884 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 30.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1179536 KiB

[startup+51.1142 s]
/proc/loadavg: 3.22 1.88 2.06 6/326 187461
/proc/meminfo: memFree=120244832/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=1345460 CPUtime=55.72 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 44212 0 0 0 5515 57 0 0 20 0 20 0 20393825 19566772224 336365 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 336365 5905 1 0 557818 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=1345460 CPUtime=50.29 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 11801 0 0 0 4984 45 0 0 20 0 20 0 20393826 19566772224 336365 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20393839 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=1345460 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 336365 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=1345460 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 336365 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0

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

[startup+3282.3 s]
/proc/loadavg: 3.27 3.32 3.60 5/299 189088
/proc/meminfo: memFree=104272248/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=2198192 CPUtime=3271.58 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 198307 0 0 0 326422 736 0 0 20 0 20 0 20393825 19566772224 549548 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 549548 5920 1 0 561880 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=2198192 CPUtime=3239.78 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 84267 0 0 0 323429 549 0 0 20 0 20 0 20393826 19566772224 549548 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20395406 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 549548 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=2198192 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 4224 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 549548 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187433] ppid=187349 vsize=19108176 memory=2198192 CPUtime=0 cores=5,7
/proc/187355/task/187433/stat : 187433 (Timer-0) S 187349 187355 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393901 19566772224 549548 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 3271.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198192 KiB

[startup+3342.3 s]
/proc/loadavg: 3.24 3.31 3.58 5/299 189098
/proc/meminfo: memFree=104054988/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=2198220 CPUtime=3331.6 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 200867 0 0 0 332415 745 0 0 20 0 20 0 20393825 19566772224 549555 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 549555 5920 1 0 561880 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=2198192 CPUtime=3299.15 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 85584 0 0 0 329360 555 0 0 20 0 20 0 20393826 19566772224 549555 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20395409 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=60136 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 549555 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=60136 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 4316 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 549555 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187433] ppid=187349 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/187355/task/187433/stat : 187433 (Timer-0) S 187349 187355 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393901 19566772224 549555 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 3331.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198220 KiB

[startup+3402.3 s]
/proc/loadavg: 3.24 3.30 3.55 5/299 189109
/proc/meminfo: memFree=103838880/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=2198220 CPUtime=3391.46 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 203755 0 0 0 338391 755 0 0 20 0 20 0 20393825 19566772224 549555 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 549555 5920 1 0 561880 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=2198220 CPUtime=3358.83 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 86864 0 0 0 335321 562 0 0 20 0 20 0 20393826 19566772224 549555 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20395412 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=5456 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 549555 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=12620 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 4363 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 549555 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187433] ppid=187349 vsize=19108176 memory=2198220 CPUtime=0 cores=5,7
/proc/187355/task/187433/stat : 187433 (Timer-0) S 187349 187355 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393901 19566772224 549555 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 3391.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198220 KiB

[startup+3462.3 s]
/proc/loadavg: 3.28 3.29 3.53 6/299 189288
/proc/meminfo: memFree=104308536/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=2198228 CPUtime=3451.39 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 206444 0 0 0 344373 766 0 0 20 0 20 0 20393825 19566772224 549557 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 549557 5920 1 0 561882 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=11536 CPUtime=3418.4 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 88163 0 0 0 341269 571 0 0 20 0 20 0 20393826 19566772224 549557 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20395416 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=60136 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 549557 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=2198220 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 4471 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 549557 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187433] ppid=187349 vsize=19108176 memory=2198228 CPUtime=0 cores=5,7
/proc/187355/task/187433/stat : 187433 (Timer-0) S 187349 187355 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393901 19566772224 549557 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 3451.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198228 KiB

[startup+3522.3 s]
/proc/loadavg: 3.17 3.25 3.50 5/298 189298
/proc/meminfo: memFree=104417736/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=2198228 CPUtime=3511.31 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 208702 0 0 0 350353 778 0 0 20 0 20 0 20393825 19566772224 549557 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 549557 5920 1 0 561882 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=2198228 CPUtime=3478.04 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 89258 0 0 0 347225 579 0 0 20 0 20 0 20393826 19566772224 549557 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20395419 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=2198228 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 549557 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=60136 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 4508 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 549557 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187433] ppid=187349 vsize=19108176 memory=2198228 CPUtime=0 cores=5,7
/proc/187355/task/187433/stat : 187433 (Timer-0) S 187349 187355 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393901 19566772224 549557 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 3511.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198228 KiB

[startup+3582.3 s]
/proc/loadavg: 3.06 3.20 3.47 5/298 189311
/proc/meminfo: memFree=104340820/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=2198280 CPUtime=3571.17 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 211171 0 0 0 356330 787 0 0 20 0 20 0 20393825 19566772224 549570 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 549570 5920 1 0 561882 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=2198228 CPUtime=3537.56 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 90509 0 0 0 353170 586 0 0 20 0 20 0 20393826 19566772224 549570 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20395424 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=2198280 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 549570 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 4570 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 549570 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187433] ppid=187349 vsize=19108176 memory=11536 CPUtime=0 cores=5,7
/proc/187355/task/187433/stat : 187433 (Timer-0) S 187349 187355 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393901 19566772224 549570 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 3571.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 2.85 3.15 3.44 2/245 189384
/proc/meminfo: memFree=120149204/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19108176 memory=2198280 CPUtime=3600 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 212239 0 0 0 359209 791 0 0 20 0 20 0 20393825 19566772224 549570 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4777044 549570 5920 1 0 561882 0
[pid=187355/tid=187359] ppid=187349 vsize=19108176 memory=2198280 CPUtime=3566.21 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 91379 0 0 0 356032 589 0 0 20 0 20 0 20393826 19566772224 549570 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20395426 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393832 19566772224 549570 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19108176 memory=140436840645290 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 4631 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 549570 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187433] ppid=187349 vsize=19108176 memory=25548 CPUtime=0 cores=5,7
/proc/187355/task/187433/stat : 187433 (Timer-0) S 187349 187355 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393901 19566772224 549570 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.58 s, system=7.93838 s

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

[startup+3611.4 s]
/proc/loadavg: 2.85 3.15 3.44 2/245 189384
/proc/meminfo: memFree=120149204/131655788 swapFree=131056320/131071996
[pid=187355] ppid=187349 vsize=19307868 memory=2198916 CPUtime=3600.4 cores=5,7
/proc/187355/stat : 187355 (java) S 187349 187355 187290 0 -1 1077936128 215710 0 0 0 359248 792 0 0 20 0 21 0 20393825 19771256832 549729 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
/proc/187355/statm: 4826967 549729 5919 1 0 562817 0
[pid=187355/tid=187359] ppid=187349 vsize=19307868 memory=1848 CPUtime=3566.41 cores=5,7
/proc/187355/task/187359/stat : 187359 (java) R 187349 187355 187290 0 -1 4194368 91739 0 0 0 356052 589 0 0 20 0 21 0 20393826 19771256832 549729 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20395426 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187403] ppid=187349 vsize=19307868 memory=100 CPUtime=0 cores=5,7
/proc/187355/task/187403/stat : 187403 (Finalizer) S 187349 187355 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 20393832 19771256832 549729 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
[pid=187355/tid=187420] ppid=187349 vsize=19307868 memory=2332 CPUtime=0 cores=5,7
/proc/187355/task/187420/stat : 187420 (Common-Cleaner) S 187349 187355 187290 0 -1 1077936192 4631 0 0 0 0 0 0 0 20 0 21 0 20393833 19771256832 549729 134679101440 94387358363648 94387358367344 140727210647760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94387358375160 94387358375952 94387361923072 140727210652587 140727210652769 140727210652769 140727210659784 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2198916 KiB

Child status: 143

Real time (s): 3611.48
CPU time (s): 3600.52
CPU user time (s): 3592.58
CPU system time (s): 7.93838
CPU usage (%): 99.6965
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2198916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.58
system time used= 7.93838
maximum resident set size= 2199860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8803656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113252
involuntary context switches= 7731


# summary of solver processes directly reported to runsolver:
#   pid: 187355
#   total CPU time (s): 3600.52
#   total CPU user time (s): 3592.58
#   total CPU system time (s): 7.93838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.5416 second user time and 35.7552 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-24 20:00:46
IDJOB=4449847
IDBENCH=176148
IDSOLVER=3079
FILE ID=nodeC006/4449847-1721844046
RUNJOBID= nodeC006-1721844046-187303
SLURM_JOB_ID= 7891593
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=11.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449847-1721844046/watcher-4449847-1721844046 -o /tmp/evaluation-result-4449847-1721844046/solver-4449847-1721844046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721844046-187303 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4449847-1721844046 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4449847-1721844046.opb

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

MD5SUM BENCH= 9b5c30834c5e817deb28aeb7d8484ce1
RANDOM SEED=80488748

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.104
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.40
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.104
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.06
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.101
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.40
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.107
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.06
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		: 1197.099
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.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126874404 kB
MemAvailable:   129802580 kB
Buffers:          279796 kB
Cached:          3259188 kB
SwapCached:          244 kB
Active:          1948764 kB
Inactive:        1913332 kB
Active(anon):       1620 kB
Inactive(anon):   366736 kB
Active(file):    1947144 kB
Inactive(file):  1546596 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:              4316 kB
Writeback:             4 kB
AnonPages:        322992 kB
Mapped:            90980 kB
Shmem:             45244 kB
KReclaimable:     496344 kB
Slab:             605952 kB
SReclaimable:     496344 kB
SUnreclaim:       109608 kB
KernelStack:        3652 kB
PageTables:         9092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     753556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC006 at 2024-07-24 21:00:57