Trace number 4440564

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)95 3600.23 3615.64

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_000.opb.metafix.opb
MD5SUM09140eba823e533d50b11d8bcfc34a90
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark95
Best CPU time to get the best result obtained on this benchmark0.012884
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables196
Total number of constraints82
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint14
Number of terms in the objective function 196
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 196
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	Expensive reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4440564-1721825152.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
0.13/0.15	c ... done. Wall clock time 0.025s.
0.13/0.15	c declared #vars     196
0.13/0.15	c #constraints  164
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 141
0.13/0.15	c org.sat4j.specs.Constr$1 => 7
0.13/0.15	c org.sat4j.pb.constraints.pb.UnitClausesPB => 3
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7
0.13/0.15	c org.sat4j.pb.constraints.pb.UnitClausePB => 4
0.13/0.15	c 164 constraints processed.
0.13/0.16	c objective function length is 196 literals
0.13/0.18	c SATISFIABLE
0.13/0.18	c OPTIMIZING...
0.13/0.18	c Got one! Elapsed wall clock time (in seconds):0.055
0.13/0.18	o 95
1.10/0.68	c cleaning 2512 clauses out of 5025 with flag 22113/5025
2.09/1.10	c cleaning 4251 clauses out of 8512 with flag 58973/11024
2.56/1.49	c cleaning 5627 clauses out of 11262 with flag 104624/18025
3.24/1.88	c cleaning 6818 clauses out of 13636 with flag 147237/26026
4.03/2.30	c cleaning 7896 clauses out of 15816 with flag 178742/35024
4.77/2.81	c cleaning 8954 clauses out of 17923 with flag 226213/45027
5.43/3.36	c cleaning 9973 clauses out of 19966 with flag 276984/56024
6.23/4.13	c cleaning 10990 clauses out of 21995 with flag 340952/68026
6.93/4.80	c cleaning 11995 clauses out of 24003 with flag 395422/81024
7.62/5.56	c cleaning 12998 clauses out of 26009 with flag 462901/95025
8.54/6.40	c cleaning 14002 clauses out of 28010 with flag 539221/110024
9.34/7.23	c cleaning 14991 clauses out of 30009 with flag 608419/126025
10.32/8.18	c cleaning 15989 clauses out of 32017 with flag 685671/143024
11.59/9.34	c cleaning 16997 clauses out of 34029 with flag 781988/161025
13.04/10.62	c cleaning 18005 clauses out of 36032 with flag 878299/180025
14.23/11.84	c cleaning 19006 clauses out of 38026 with flag 964624/200024
15.62/13.28	c cleaning 20007 clauses out of 40020 with flag 1059440/221024
17.22/14.86	c cleaning 21000 clauses out of 42013 with flag 1169861/243024
19.02/16.63	c cleaning 21996 clauses out of 44013 with flag 1311190/266024
20.62/18.25	c cleaning 22994 clauses out of 46017 with flag 1423434/290024
22.42/20.08	c cleaning 24009 clauses out of 48025 with flag 1549797/315026
24.42/22.08	c cleaning 24993 clauses out of 50014 with flag 1677042/341024
26.51/24.19	c cleaning 26005 clauses out of 52021 with flag 1809238/368024
28.71/26.31	c cleaning 27002 clauses out of 54016 with flag 1933672/396024
31.11/28.77	c cleaning 28005 clauses out of 56016 with flag 2075330/425026
33.80/31.42	c cleaning 28997 clauses out of 58009 with flag 2231497/455024
36.30/33.95	c cleaning 30000 clauses out of 60015 with flag 2372373/486027
38.99/37.31	c cleaning 30994 clauses out of 62012 with flag 2534276/518024
42.09/40.47	c cleaning 32004 clauses out of 64019 with flag 2735486/551025
45.98/44.33	c cleaning 32998 clauses out of 66017 with flag 2943007/585027
49.07/47.49	c cleaning 33999 clauses out of 68019 with flag 3104457/620027
52.47/50.85	c cleaning 34995 clauses out of 70018 with flag 3293605/656025
56.17/54.56	c cleaning 35999 clauses out of 72022 with flag 3493664/693024
59.86/58.23	c cleaning 37002 clauses out of 74023 with flag 3699337/731024
63.83/62.27	c cleaning 38002 clauses out of 76021 with flag 3871676/770024
67.81/66.45	c cleaning 39009 clauses out of 78020 with flag 4055847/810025
71.92/70.52	c cleaning 39993 clauses out of 80011 with flag 4259991/851025
76.11/74.75	c cleaning 40974 clauses out of 82017 with flag 4458582/893024
80.80/79.44	c cleaning 42010 clauses out of 84043 with flag 4678250/936024
85.69/84.32	c cleaning 43012 clauses out of 86036 with flag 4909631/980027
90.78/89.45	c cleaning 43994 clauses out of 88023 with flag 5142143/1025026
95.98/94.63	c cleaning 45010 clauses out of 90027 with flag 5408166/1071024
101.66/100.35	c cleaning 46001 clauses out of 92019 with flag 5676492/1118026
107.86/106.50	c cleaning 47002 clauses out of 94016 with flag 5946074/1166024
113.64/112.38	c cleaning 47983 clauses out of 96017 with flag 6218664/1215027
119.82/118.59	c cleaning 49001 clauses out of 98031 with flag 6456964/1265024
126.02/124.78	c cleaning 50003 clauses out of 100031 with flag 6725656/1316025
132.72/131.54	c cleaning 51012 clauses out of 102028 with flag 7007123/1368025
139.92/138.78	c cleaning 51995 clauses out of 104015 with flag 7261934/1421024
147.70/146.52	c cleaning 52999 clauses out of 106022 with flag 7522729/1475026
155.20/154.03	c cleaning 54002 clauses out of 108024 with flag 7819829/1530027
162.44/161.47	c cleaning 55007 clauses out of 110019 with flag 8107113/1586024
170.67/169.60	c cleaning 56002 clauses out of 112012 with flag 8392439/1643024
179.15/178.17	c cleaning 56991 clauses out of 114010 with flag 8690934/1701024
187.63/186.66	c cleaning 58003 clauses out of 116019 with flag 9009094/1760024
196.04/195.19	c cleaning 58987 clauses out of 118018 with flag 9339649/1820026
205.63/204.71	c cleaning 60008 clauses out of 120029 with flag 9655413/1881024
215.52/214.62	c cleaning 61008 clauses out of 122021 with flag 9969437/1943024
225.54/224.74	c cleaning 62004 clauses out of 124014 with flag 10273062/2006025
235.88/235.02	c cleaning 62993 clauses out of 126009 with flag 10574244/2070024
247.45/246.62	c cleaning 64000 clauses out of 128016 with flag 10924609/2135024
258.00/257.44	c cleaning 64998 clauses out of 130018 with flag 11254979/2201026
270.41/269.88	c cleaning 66003 clauses out of 132019 with flag 11633615/2268025
283.38/283.20	c cleaning 67003 clauses out of 134015 with flag 12056016/2336024
295.30/295.14	c cleaning 67994 clauses out of 136012 with flag 12449888/2405024
307.95/307.82	c cleaning 68996 clauses out of 138018 with flag 12842438/2475024
321.34/321.48	c cleaning 70004 clauses out of 140025 with flag 13228717/2546027
334.45/334.53	c cleaning 71005 clauses out of 142019 with flag 13599420/2618025
349.45/349.84	c cleaning 71992 clauses out of 144015 with flag 14045193/2691026
364.05/364.40	c cleaning 72991 clauses out of 146023 with flag 14486622/2765026
378.93/379.30	c cleaning 74009 clauses out of 148030 with flag 14888851/2840024
392.96/393.30	c cleaning 74999 clauses out of 150022 with flag 15271465/2916025
411.28/411.79	c cleaning 75998 clauses out of 152024 with flag 15895030/2993026
430.20/430.66	c cleaning 77004 clauses out of 154025 with flag 16435406/3071025
447.87/448.36	c cleaning 78000 clauses out of 156020 with flag 16899998/3150024
465.15/465.73	c cleaning 79010 clauses out of 158024 with flag 17342480/3230028
485.37/485.93	c cleaning 80000 clauses out of 160011 with flag 17861167/3311025
504.01/504.60	c cleaning 80999 clauses out of 162012 with flag 18303412/3393026
522.33/522.90	c cleaning 81989 clauses out of 164014 with flag 18729901/3476027
540.72/541.37	c cleaning 82996 clauses out of 166022 with flag 19143088/3560024
563.21/563.85	c cleaning 84001 clauses out of 168027 with flag 19680675/3645025
582.97/583.60	c cleaning 84996 clauses out of 170025 with flag 20195759/3731024
603.34/604.10	c cleaning 86008 clauses out of 172031 with flag 20658735/3818026
625.21/625.92	c cleaning 87009 clauses out of 174021 with flag 21259760/3906024
647.92/648.63	c cleaning 88003 clauses out of 176013 with flag 21800532/3995025
669.01/669.75	c cleaning 88988 clauses out of 178010 with flag 22342668/4085025
693.31/694.09	c cleaning 90010 clauses out of 180022 with flag 22921189/4176025
717.58/718.31	c cleaning 90999 clauses out of 182014 with flag 23541644/4268027
740.72/741.81	c cleaning 91973 clauses out of 184014 with flag 24039193/4361026
765.31/766.64	c cleaning 93014 clauses out of 186039 with flag 24526150/4455024
790.31/792.88	c cleaning 94007 clauses out of 188025 with flag 25057626/4550024
817.09/819.97	c cleaning 95009 clauses out of 190021 with flag 25551696/4646027
843.40/846.48	c cleaning 95990 clauses out of 192009 with flag 26089847/4743024
868.88/872.00	c cleaning 97001 clauses out of 194019 with flag 26623868/4841024
894.28/897.35	c cleaning 98003 clauses out of 196021 with flag 27224958/4940027
922.60/925.73	c cleaning 98993 clauses out of 198016 with flag 27757011/5040025
952.38/955.55	c cleaning 99999 clauses out of 200023 with flag 28367258/5141025
983.01/986.23	c cleaning 101010 clauses out of 202025 with flag 29035599/5243026
1014.75/1018.06	c cleaning 101999 clauses out of 204013 with flag 29714967/5346024
1046.12/1049.56	c cleaning 103002 clauses out of 206014 with flag 30322404/5450024
1078.07/1081.51	c cleaning 103991 clauses out of 208014 with flag 30925665/5555026
1109.42/1112.92	c cleaning 104990 clauses out of 210022 with flag 31547710/5661025
1140.18/1143.75	c cleaning 106011 clauses out of 212032 with flag 32217011/5768025
1173.42/1177.53	c cleaning 106983 clauses out of 214023 with flag 32813520/5876027
1204.69/1208.83	c cleaning 107999 clauses out of 216037 with flag 33487701/5985024
1237.89/1242.14	c cleaning 109007 clauses out of 218039 with flag 34148495/6095025
1276.47/1280.78	c cleaning 110003 clauses out of 220033 with flag 34878806/6206026
1313.54/1317.89	c cleaning 111013 clauses out of 222030 with flag 35578733/6318026
1348.98/1353.32	c cleaning 111979 clauses out of 224015 with flag 36244102/6431024
1385.70/1390.18	c cleaning 113014 clauses out of 226037 with flag 36881831/6545025
1430.83/1436.06	c cleaning 114004 clauses out of 228025 with flag 37721769/6660027
1470.35/1475.65	c cleaning 115003 clauses out of 230019 with flag 38566885/6776025
1511.08/1516.47	c cleaning 115986 clauses out of 232016 with flag 39327750/6893025
1552.39/1557.75	c cleaning 116999 clauses out of 234029 with flag 40012871/7011024
1590.87/1596.51	c cleaning 118003 clauses out of 236030 with flag 40656792/7130024
1634.93/1640.81	c cleaning 119002 clauses out of 238027 with flag 41416661/7250024
1675.74/1681.78	c cleaning 120004 clauses out of 240025 with flag 42191701/7371024
1717.10/1723.25	c cleaning 120991 clauses out of 242022 with flag 42954720/7493025
1759.70/1765.90	c cleaning 122004 clauses out of 244030 with flag 43655424/7616024
1806.62/1812.93	c cleaning 122995 clauses out of 246028 with flag 44500127/7740026
1853.58/1859.93	c cleaning 123996 clauses out of 248031 with flag 45203567/7865024
1903.05/1909.81	c cleaning 125015 clauses out of 250036 with flag 45951033/7991025
1952.68/1959.89	c cleaning 125999 clauses out of 252020 with flag 46774202/8118024
2007.01/2014.25	c cleaning 127000 clauses out of 254021 with flag 47788761/8246024
2059.34/2066.62	c cleaning 128005 clauses out of 256022 with flag 48711745/8375025
2106.95/2114.38	c cleaning 129001 clauses out of 258018 with flag 49451180/8505026
2156.08/2163.50	c cleaning 129989 clauses out of 260015 with flag 50203290/8636024
2212.01/2219.92	c cleaning 131007 clauses out of 262026 with flag 51174851/8768024
2264.04/2272.47	c cleaning 132002 clauses out of 264020 with flag 51967269/8901025
2319.03/2327.52	c cleaning 133001 clauses out of 266017 with flag 52834785/9035024
2374.37/2382.94	c cleaning 134004 clauses out of 268016 with flag 53657070/9170024
2427.40/2436.02	c cleaning 134997 clauses out of 270013 with flag 54429133/9306025
2483.78/2492.73	c cleaning 136006 clauses out of 272017 with flag 55250970/9443026
2540.40/2549.42	c cleaning 136968 clauses out of 274011 with flag 56079729/9581026
2598.79/2608.18	c cleaning 138018 clauses out of 276041 with flag 57004741/9720024
2659.61/2669.51	c cleaning 139008 clauses out of 278025 with flag 57847819/9860026
2714.22/2724.42	c cleaning 140001 clauses out of 280016 with flag 58707408/10001025
2772.09/2782.82	c cleaning 141000 clauses out of 282015 with flag 59596217/10143025
2840.25/2851.32	c cleaning 141993 clauses out of 284016 with flag 60613040/10286026
2899.85/2911.05	c cleaning 142998 clauses out of 286021 with flag 61510435/10430024
2960.72/2971.91	c cleaning 144002 clauses out of 288023 with flag 62336004/10575024
3021.10/3032.42	c cleaning 145007 clauses out of 290023 with flag 63183047/10721026
3083.97/3095.45	c cleaning 145998 clauses out of 292015 with flag 64059089/10868025
3152.28/3163.96	c cleaning 146994 clauses out of 294016 with flag 65073755/11016024
3217.44/3229.35	c cleaning 148000 clauses out of 296022 with flag 65967948/11165024
3276.28/3288.54	c cleaning 149003 clauses out of 298022 with flag 66820814/11315024
3328.49/3342.94	c cleaning 149997 clauses out of 300019 with flag 67651134/11466024
3385.05/3399.91	c cleaning 151000 clauses out of 302022 with flag 68589337/11618024
3440.52/3455.78	c cleaning 152009 clauses out of 304026 with flag 69492708/11771028
3495.28/3510.68	c cleaning 153003 clauses out of 306013 with flag 70547505/11925024
3553.45/3568.96	c cleaning 153991 clauses out of 308011 with flag 71486141/12080025
3600.00/3615.51	c starts		: 16237
3600.00/3615.52	c conflicts		: 12215709
3600.00/3615.52	c decisions		: 15300929
3600.00/3615.52	c propagations		: 493838828
3600.00/3615.52	c inspects		: 47485865292
3600.00/3615.52	c shortcuts		: 0
3600.00/3615.52	c learnt literals	: 0
3600.00/3615.52	c learnt binary clauses	: 0
3600.00/3615.52	c learnt ternary clauses	: 0
3600.00/3615.52	c learnt constraints	: 12215709
3600.00/3615.52	c ignored constraints	: 0
3600.00/3615.52	c root simplifications	: 0
3600.00/3615.52	c removed literals (reason simplification)	: 71692486
3600.00/3615.52	c reason swapping (by a shorter reason)	: 0
3600.00/3615.52	c Calls to reduceDB	: 151
3600.00/3615.52	c Number of update (reduction) of LBD	: 4684346
3600.00/3615.52	c Imported unit clauses	: 0
3600.00/3615.52	c No decision after first conflict	: false
3600.00/3615.52	c number of reductions to clauses (during analyze)	: 0
3600.00/3615.52	c number of learned constraints concerned by reduction	: 0
3600.00/3615.52	c number of learning phase by resolution	: 0
3600.00/3615.52	c number of learning phase by cutting planes	: 0
3600.00/3615.52	c number of rounding to 1 operations	: 0
3600.00/3615.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3615.53	c number of reductions of the coefficients by power 2 	: 0
3600.00/3615.53	c number of right shift for reduction by power 2 	: 0
3600.00/3615.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3615.53	c number of ending skipping 	: 0
3600.00/3615.53	c number of internal skipping 	: 0
3600.00/3615.53	c number of derivation steps 	: 0
3600.00/3615.53	c number of skipped derivation steps 	: 0
3600.00/3615.53	c number of remaining unassigned 	: 0
3600.00/3615.53	c number of remaining assigned 	: 0
3600.00/3615.53	c number of falsified literals weakened from reason	: 0
3600.00/3615.53	c number of falsified literals weakened from conflict	: 0
3600.00/3615.53	c time for arithmetic operations	: 0
3600.00/3615.53	c minimum degree of deleted constraints	: null
3600.00/3615.53	c maximum degree of deleted constraints	: null
3600.00/3615.53	c number of deleted constraints	: 0
3600.00/3615.53	c speed (assignments/second)	: 136594.72395264867
3600.00/3615.53	c non guided choices	: 0
3600.00/3615.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 289704
3600.00/3615.60	s SATISFIABLE
3600.00/3615.60	c Found 1 solution(s)
3600.00/3615.60	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 
3600.00/3615.60	c objective function=95
3600.00/3615.60	c Total wall clock time (in seconds): 3615.47

Verifier Data 

OK	95

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: 63931 MiB (53975 MiB free)
  memory of node 1: 64510 MiB (58483 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=178589, runsolver pid=178586
Current StackSize limit: 8192 KiB


[startup+0.100074 s]*
/proc/loadavg: 4.24 4.21 4.18 5/332 178607
/proc/meminfo: memFree=115110516/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=18975048 memory=66840 CPUtime=0.13 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 7105 0 0 0 11 2 0 0 20 0 18 0 19045451 19430449152 16710 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4743762 16710 5664 1 0 549363 0
[pid=178589/tid=178591] ppid=178586 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 5684 0 0 0 7 1 0 0 20 0 18 0 19045451 19430449152 16710 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 19045454 19430449152 16710 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=18975048 memory=14692998043934266 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 19045454 19430449152 16710 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66840 KiB

[startup+0.206046 s]*
/proc/loadavg: 4.24 4.21 4.18 7/333 178608
/proc/meminfo: memFree=115103296/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19041612 memory=74436 CPUtime=0.34 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 7981 0 0 0 31 3 0 0 20 0 19 0 19045451 19498610688 18609 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4760403 18609 5852 1 0 550129 0
[pid=178589/tid=178591] ppid=178586 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 6008 0 0 0 17 2 0 0 20 0 19 0 19045451 19498610688 18609 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19041612 memory=1318339 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 19045454 19498610688 18609 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19041612 memory=14411523065906868 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 19045454 19498610688 18609 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 19045468 19498610688 18609 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74436 KiB

[startup+0.313047 s]*
/proc/loadavg: 4.24 4.21 4.18 7/333 178608
/proc/meminfo: memFree=115086476/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19041612 memory=89484 CPUtime=0.54 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 10005 0 0 0 51 3 0 0 20 0 19 0 19045451 19498610688 22371 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4760403 22371 5852 1 0 551325 0
[pid=178589/tid=178591] ppid=178586 vsize=19041612 memory=-8743005733514945212 CPUtime=0.3 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 6033 0 0 0 28 2 0 0 20 0 19 0 19045451 19498610688 22371 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 19045454 19498610688 22371 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 19045454 19498610688 22371 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 19045468 19498610688 22371 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89484 KiB

[startup+0.701047 s]
/proc/loadavg: 4.24 4.21 4.18 6/333 178608
/proc/meminfo: memFree=115056280/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19041612 memory=148116 CPUtime=1.3 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 13187 0 0 0 125 5 0 0 20 0 19 0 19045451 19498610688 37029 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4760403 37029 5868 1 0 553501 0
[pid=178589/tid=178591] ppid=178586 vsize=19041612 memory=61340 CPUtime=0.68 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 6089 0 0 0 65 3 0 0 20 0 19 0 19045451 19498610688 37029 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19041612 memory=12348 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 19045454 19498610688 37029 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19041612 memory=2228 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 19045454 19498610688 37029 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19041612 memory=25664 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 19045468 19498610688 37029 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 148116 KiB

[startup+1.50026 s]
/proc/loadavg: 4.24 4.21 4.18 6/334 178609
/proc/meminfo: memFree=114993992/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=179876 CPUtime=2.68 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 18804 0 0 0 262 6 0 0 20 0 20 0 19045451 19566772224 44969 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 44969 5884 1 0 554267 0
[pid=178589/tid=178591] ppid=178586 vsize=19108176 memory=12348 CPUtime=1.46 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 6581 0 0 0 142 4 0 0 20 0 20 0 19045451 19566772224 44969 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 44969 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19108176 memory=2228 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 44969 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19108176 memory=25664 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19045468 19566772224 44969 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179876 KiB

[startup+3.10605 s]
/proc/loadavg: 4.24 4.21 4.18 6/334 178609
/proc/meminfo: memFree=114882976/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=269824 CPUtime=5.23 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 21316 0 0 0 514 9 0 0 20 0 20 0 19045451 19566772224 67456 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 67456 5884 1 0 554567 0
[pid=178589/tid=178591] ppid=178586 vsize=19108176 memory=0 CPUtime=3.03 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 7071 0 0 0 297 6 0 0 20 0 20 0 19045451 19566772224 67456 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19108176 memory=-8743005733514945212 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 67456 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19108176 memory=12348 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 67456 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19108176 memory=2228 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19045468 19566772224 67456 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 5.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 269824 KiB

[startup+6.30028 s]
/proc/loadavg: 4.22 4.20 4.18 5/334 178609
/proc/meminfo: memFree=114386372/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=785296 CPUtime=8.44 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 22730 0 0 0 820 24 0 0 20 0 20 0 19045451 19566772224 196324 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 196324 5884 1 0 554569 0
[pid=178589/tid=178591] ppid=178586 vsize=19108176 memory=2228 CPUtime=6.2 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 7858 0 0 0 600 20 0 0 20 0 20 0 19045451 19566772224 196324 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 196324 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19108176 memory=12348 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 196324 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19045468 19566772224 196324 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 785296 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.20 4.18 5/334 178611
/proc/meminfo: memFree=113970080/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=1229600 CPUtime=15.13 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 29195 0 0 0 1477 36 0 0 20 0 20 0 19045451 19566772224 307400 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 307400 5884 1 0 554846 0
[pid=178589/tid=178591] ppid=178586 vsize=19108176 memory=12348 CPUtime=12.58 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 9340 0 0 0 1227 31 0 0 20 0 20 0 19045451 19566772224 307400 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19108176 memory=789528 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 307400 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19108176 memory=61340 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 307400 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19108176 memory=12348 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19045468 19566772224 307400 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 15.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1229600 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.19 4.18 4/334 178614
/proc/meminfo: memFree=113649604/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=1311764 CPUtime=27.91 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 33007 0 0 0 2747 44 0 0 20 0 20 0 19045451 19566772224 327941 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 327941 5884 1 0 554846 0
[pid=178589/tid=178591] ppid=178586 vsize=19108176 memory=6943526294502006880 CPUtime=25.31 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 11000 0 0 0 2493 38 0 0 20 0 20 0 19045451 19566772224 327941 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19108176 memory=11576 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 327941 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19108176 memory=3582 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 327941 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19108176 memory=12348 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19045468 19566772224 327941 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 27.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1311764 KiB

[startup+51.1058 s]
/proc/loadavg: 4.30 4.22 4.19 5/334 178618
/proc/meminfo: memFree=113433660/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=1324060 CPUtime=52.78 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 38294 0 0 0 5224 54 0 0 20 0 20 0 19045451 19566772224 331015 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 331015 5884 1 0 554846 0

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

[startup+3282.3 s]
/proc/loadavg: 1.71 2.57 3.43 2/258 180568
/proc/meminfo: memFree=120455292/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=2134292 CPUtime=3270.1 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 169708 0 0 0 326174 836 0 0 20 0 20 0 19045451 19566772224 533573 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 533573 5916 1 0 554846 0
[pid=178589/tid=178591] ppid=178586 vsize=19108176 memory=5552 CPUtime=3255.64 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 78150 0 0 0 324857 707 0 0 20 0 20 0 19045451 19566772224 533573 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 861 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19108176 memory=2134292 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533573 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19108176 memory=2134292 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 3575 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533573 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19108176 memory=2134288 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19045468 19566772224 533573 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 3270.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2134292 KiB

[startup+3342.3 s]
/proc/loadavg: 1.35 2.31 3.28 2/257 180579
/proc/meminfo: memFree=120417972/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=2134300 CPUtime=3327.9 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 172271 0 0 0 331945 845 0 0 20 0 20 0 19045451 19566772224 533575 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 533575 5916 1 0 554846 0
[pid=178589/tid=178591] ppid=178586 vsize=19108176 memory=5552 CPUtime=3313.27 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 79500 0 0 0 330613 714 0 0 20 0 20 0 19045451 19566772224 533575 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1074 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19108176 memory=2134288 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533575 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19108176 memory=11576 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 3633 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533575 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19108176 memory=2134300 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19045468 19566772224 533575 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 3327.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2134300 KiB

[startup+3402.3 s]
/proc/loadavg: 1.25 2.10 3.15 2/257 180590
/proc/meminfo: memFree=120379312/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=2134300 CPUtime=3387.44 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 174862 0 0 0 337890 854 0 0 20 0 20 0 19045451 19566772224 533575 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 533575 5916 1 0 554846 0
[pid=178589/tid=178591] ppid=178586 vsize=19108176 memory=2134300 CPUtime=3372.72 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 81006 0 0 0 336550 722 0 0 20 0 20 0 19045451 19566772224 533575 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1113 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19108176 memory=2134300 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533575 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19108176 memory=11576 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 3747 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533575 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19108176 memory=61340 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19045468 19566772224 533575 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 3387.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2134300 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 1.90 3.01 2/257 180602
/proc/meminfo: memFree=120340888/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=2134324 CPUtime=3447.11 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 177449 0 0 0 343847 864 0 0 20 0 20 0 19045451 19566772224 533581 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 533581 5916 1 0 554846 0
[pid=178589/tid=178591] ppid=178586 vsize=19108176 memory=2134300 CPUtime=3432.18 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 82437 0 0 0 342488 730 0 0 20 0 20 0 19045451 19566772224 533581 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1145 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19108176 memory=61340 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533581 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19108176 memory=5436 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 3837 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533581 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19108176 memory=11576 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19045468 19566772224 533581 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 3447.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2134324 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.75 2.89 2/257 180613
/proc/meminfo: memFree=120303812/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=2134324 CPUtime=3506.96 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 180200 0 0 0 349822 874 0 0 20 0 20 0 19045451 19566772224 533581 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 533581 5916 1 0 554846 0
[pid=178589/tid=178591] ppid=178586 vsize=19108176 memory=2134324 CPUtime=3491.82 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 83628 0 0 0 348444 738 0 0 20 0 20 0 19045451 19566772224 533581 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1158 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19108176 memory=2134300 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533581 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19108176 memory=2134324 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 3915 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533581 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19108176 memory=2134324 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19045468 19566772224 533581 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 3506.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2134324 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.64 2.78 2/255 180624
/proc/meminfo: memFree=120268352/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=2134384 CPUtime=3566.83 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 182769 0 0 0 355798 885 0 0 20 0 20 0 19045451 19566772224 533596 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 533596 5916 1 0 554846 0
[pid=178589/tid=178591] ppid=178586 vsize=19108176 memory=11576 CPUtime=3551.49 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 84841 0 0 0 354402 747 0 0 20 0 20 0 19045451 19566772224 533596 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1164 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19108176 memory=2240 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533596 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19108176 memory=2134384 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 3993 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533596 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19108176 memory=2134384 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19045468 19566772224 533596 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 3566.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2134384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.5 s]
/proc/loadavg: 1.15 1.58 2.72 2/255 180630
/proc/meminfo: memFree=120249532/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19108176 memory=2134416 CPUtime=3600 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 184724 0 0 0 359110 890 0 0 20 0 20 0 19045451 19566772224 533604 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4777044 533604 5916 1 0 554846 0
[pid=178589/tid=178591] ppid=178586 vsize=19108176 memory=2134324 CPUtime=3584.54 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) R 178586 178589 172927 0 -1 4194368 85664 0 0 0 357703 751 0 0 20 0 20 0 19045451 19566772224 533604 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1166 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19108176 memory=2134384 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533604 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19108176 memory=2134384 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 4114 0 0 0 0 0 0 0 20 0 20 0 19045454 19566772224 533604 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178608] ppid=178586 vsize=19108176 memory=2134416 CPUtime=0 cores=1,3
/proc/178589/task/178608/stat : 178608 (Timer-0) S 178586 178589 172927 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19045468 19566772224 533604 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2134416 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.3 s, system=8.92339 s

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

[startup+3615.6 s]
/proc/loadavg: 1.15 1.58 2.72 2/255 180630
/proc/meminfo: memFree=120249532/131524600 swapFree=131055772/131071996
[pid=178589] ppid=178586 vsize=19307868 memory=2135212 CPUtime=3600.21 cores=1,3
/proc/178589/stat : 178589 (java) S 178586 178589 172927 0 -1 1077936128 188170 0 0 0 359130 891 0 0 20 0 15 0 19045451 19771256832 533803 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
/proc/178589/statm: 4826967 533803 5915 1 0 555816 0
[pid=178589/tid=178591] ppid=178586 vsize=19307868 memory=12348 CPUtime=3584.64 cores=1,3
/proc/178589/task/178591/stat : 178591 (java) S 178586 178589 172927 0 -1 1077936192 85814 0 0 0 357713 751 0 0 20 0 15 0 19045451 19771256832 533803 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1166 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178600] ppid=178586 vsize=19307868 memory=5552 CPUtime=0 cores=1,3
/proc/178589/task/178600/stat : 178600 (Finalizer) S 178586 178589 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 19045454 19771256832 533803 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
[pid=178589/tid=178607] ppid=178586 vsize=19307868 memory=16012 CPUtime=0 cores=1,3
/proc/178589/task/178607/stat : 178607 (Common-Cleaner) S 178586 178589 172927 0 -1 1077936192 4114 0 0 0 0 0 0 0 20 0 15 0 19045454 19771256832 533803 134679101440 94016744521728 94016744525424 140726588340304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94016744533240 94016744534032 94016775073792 140726588347307 140726588347489 140726588347489 140726588354504 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2135212 KiB

Child status: 143

Real time (s): 3615.64
CPU time (s): 3600.23
CPU user time (s): 3591.3
CPU system time (s): 8.92339
CPU usage (%): 99.5738
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2135212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.3
system time used= 8.92339
maximum resident set size= 2136120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5359832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109678
involuntary context switches= 11607


# summary of solver processes directly reported to runsolver:
#   pid: 178589
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3591.3
#   total CPU system time (s): 8.92339

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.81239 second user time and 18.2869 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-24 14:45:52
IDJOB=4440564
IDBENCH=158455
IDSOLVER=3079
FILE ID=nodeC035/4440564-1721825152
RUNJOBID= nodeC035-1721817189-172939
SLURM_JOB_ID= 7816901
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_14x14_000.opb.metafix.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-4440564-1721825152/watcher-4440564-1721825152 -o /tmp/evaluation-result-4440564-1721825152/solver-4440564-1721825152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721817189-172939 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440564-1721825152 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440564-1721825152.opb

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

MD5SUM BENCH= 09140eba823e533d50b11d8bcfc34a90
RANDOM SEED=1616156371

nodeC035.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	: 0xb00002a
cpu MHz		: 3600.087
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.54
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	: 0xb00002a
cpu MHz		: 3651.860
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.93
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	: 0xb00002a
cpu MHz		: 3669.232
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.54
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	: 0xb00002a
cpu MHz		: 3641.645
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.93
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	: 0xb00002a
cpu MHz		: 3669.197
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.54
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	: 0xb00002a
cpu MHz		: 3670.338
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.93
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	: 0xb00002a
cpu MHz		: 3600.065
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.54
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	: 0xb00002a
cpu MHz		: 3607.715
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        115157852 kB
MemAvailable:   123905812 kB
Buffers:          258432 kB
Cached:          9271456 kB
SwapCached:         3464 kB
Active:          2268612 kB
Inactive:       13404992 kB
Active(anon):       1940 kB
Inactive(anon):  6186804 kB
Active(file):    2266672 kB
Inactive(file):  7218188 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131055772 kB
Dirty:             88328 kB
Writeback:            88 kB
AnonPages:       6139088 kB
Mapped:           127448 kB
Shmem:             45208 kB
KReclaimable:     205492 kB
Slab:             327916 kB
SReclaimable:     205492 kB
SUnreclaim:       122424 kB
KernelStack:        5052 kB
PageTables:        22000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7380088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16992 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5812224 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:      414420 kB
DirectMap2M:    48642048 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC035 at 2024-07-24 15:46:07