Trace number 4503356

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.17 3602.73

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-192.opb
MD5SUM7ac327da8fefd7cd3f39afa8bfb7af2c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark106.066
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15414
Total number of constraints395824
Number of constraints which are clauses358980
Number of constraints which are cardinality constraints (but not clauses)907
Number of constraints which are nor clauses,nor cardinality constraints35937
Minimum length of a constraint2
Maximum length of a constraint270
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
Number of bits of the biggest sum of numbers9
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 PB25.v20250606
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		5.14.0-503.14.1.el9_5.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.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4503356-1751162399.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
2.94/1.62	c ... done. Wall clock time 1.491s.
2.94/1.62	c declared #vars     15414
2.94/1.62	c #constraints  396289
2.94/1.62	c constraints type 
2.94/1.62	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 94336
2.94/1.62	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 912
2.94/1.62	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 35937
2.94/1.62	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 265104
2.94/1.62	c 396289 constraints processed.
5.45/3.46	c cleaning 2488 clauses out of 4997 with flag 82051/5000
7.73/5.50	c cleaning 4197 clauses out of 8509 with flag 233642/11000
9.60/7.21	c cleaning 5630 clauses out of 11311 with flag 422380/18000
12.09/9.53	c cleaning 6604 clauses out of 13681 with flag 620977/26000
14.77/12.09	c cleaning 7790 clauses out of 16077 with flag 854455/35000
18.27/15.39	c cleaning 9025 clauses out of 18287 with flag 1119021/45001
21.76/18.82	c cleaning 10091 clauses out of 20261 with flag 1339625/56000
25.45/22.55	c cleaning 11027 clauses out of 22170 with flag 1595646/68000
29.15/26.21	c cleaning 12008 clauses out of 24143 with flag 1841562/81000
33.74/30.80	c cleaning 13034 clauses out of 26137 with flag 2079851/95002
37.35/34.46	c cleaning 14035 clauses out of 28101 with flag 2347292/110000
42.84/39.92	c cleaning 15003 clauses out of 30066 with flag 2658266/126000
47.96/45.05	c cleaning 15903 clauses out of 32063 with flag 2922098/143000
53.27/50.39	c cleaning 16965 clauses out of 34163 with flag 3186166/161003
58.66/55.74	c cleaning 18091 clauses out of 36195 with flag 3470790/180000
64.15/61.23	c cleaning 18882 clauses out of 38104 with flag 3728505/200000
68.94/66.00	c cleaning 20047 clauses out of 40222 with flag 3987792/221000
74.93/72.03	c cleaning 21034 clauses out of 42175 with flag 4291781/243000
80.71/77.86	c cleaning 21993 clauses out of 44141 with flag 4607253/266000
86.60/83.72	c cleaning 23044 clauses out of 46148 with flag 4872785/290000
91.60/88.77	c cleaning 24053 clauses out of 48105 with flag 5125049/315001
97.29/94.40	c cleaning 24861 clauses out of 50051 with flag 5408418/341000
102.99/100.16	c cleaning 25930 clauses out of 52190 with flag 5687363/368000
108.07/105.28	c cleaning 26949 clauses out of 54261 with flag 5967237/396001
113.16/110.31	c cleaning 28070 clauses out of 56311 with flag 6227273/425000
117.76/114.94	c cleaning 29039 clauses out of 58241 with flag 6483506/455000
122.35/119.54	c cleaning 30103 clauses out of 60205 with flag 6727225/486003
128.28/125.44	c cleaning 30821 clauses out of 62099 with flag 7018434/518000
133.97/131.17	c cleaning 32108 clauses out of 64278 with flag 7319961/551000
139.86/137.04	c cleaning 33011 clauses out of 66170 with flag 7544363/585001
145.75/142.99	c cleaning 34029 clauses out of 68159 with flag 7826958/620001
151.84/149.08	c cleaning 35045 clauses out of 70133 with flag 8118614/656004
158.63/155.81	c cleaning 35925 clauses out of 72086 with flag 8421341/693002
166.51/163.76	c cleaning 36740 clauses out of 74159 with flag 8761077/731000
174.00/171.29	c cleaning 37851 clauses out of 76420 with flag 9114249/770001
181.68/178.94	c cleaning 39041 clauses out of 78569 with flag 9452820/810001
189.96/187.21	c cleaning 39972 clauses out of 80527 with flag 9817136/851000
199.05/196.32	c cleaning 40531 clauses out of 82555 with flag 10151683/893000
207.23/204.56	c cleaning 41736 clauses out of 85025 with flag 10498904/936001
215.85/213.12	c cleaning 43017 clauses out of 87289 with flag 10857812/980001
225.03/222.36	c cleaning 43510 clauses out of 89271 with flag 11281822/1025000
233.22/230.55	c cleaning 44876 clauses out of 91761 with flag 11672922/1071000
242.10/239.40	c cleaning 45716 clauses out of 93885 with flag 12070334/1118000
250.79/248.12	c cleaning 47110 clauses out of 96169 with flag 12474004/1166000
259.47/256.82	c cleaning 48002 clauses out of 98060 with flag 12823473/1215001
269.22/266.58	c cleaning 48903 clauses out of 100058 with flag 13214349/1265001
278.31/275.64	c cleaning 50075 clauses out of 102154 with flag 13574373/1316000
287.49/284.85	c cleaning 51165 clauses out of 104079 with flag 13964471/1368000
298.07/295.45	c cleaning 51705 clauses out of 105914 with flag 14408780/1421000
308.46/305.88	c cleaning 52911 clauses out of 108210 with flag 14863645/1475001
320.34/317.77	c cleaning 53580 clauses out of 110299 with flag 15344066/1530001
332.21/329.66	c cleaning 54896 clauses out of 112721 with flag 15843273/1586003
343.79/341.22	c cleaning 56029 clauses out of 114823 with flag 16290516/1643001
354.98/352.44	c cleaning 56419 clauses out of 116793 with flag 16748554/1701000
366.75/364.28	c cleaning 57927 clauses out of 119376 with flag 17206761/1760002
378.54/376.05	c cleaning 57973 clauses out of 121447 with flag 17765299/1820000
390.32/387.81	c cleaning 59716 clauses out of 124475 with flag 18226705/1881001
401.00/398.56	c cleaning 60866 clauses out of 126758 with flag 18662679/1943000
413.76/411.25	c cleaning 61492 clauses out of 128892 with flag 19131919/2006000
427.83/425.37	c cleaning 62164 clauses out of 131400 with flag 19730800/2070000
443.50/441.07	c cleaning 63259 clauses out of 134237 with flag 20308925/2135001
460.07/457.62	c cleaning 64173 clauses out of 136977 with flag 20957388/2201000
477.93/475.52	c cleaning 65599 clauses out of 139804 with flag 21555782/2268000
493.41/491.09	c cleaning 67005 clauses out of 142205 with flag 22136764/2336000
508.96/506.70	c cleaning 67758 clauses out of 144200 with flag 22726765/2405000
524.43/522.15	c cleaning 68444 clauses out of 146442 with flag 23252626/2475000
541.90/539.62	c cleaning 69994 clauses out of 149000 with flag 23790577/2546002
558.95/556.61	c cleaning 70839 clauses out of 151006 with flag 24304192/2618002
577.32/575.01	c cleaning 71693 clauses out of 153165 with flag 24884436/2691000
594.48/592.27	c cleaning 72937 clauses out of 155472 with flag 25396271/2765000
611.65/609.45	c cleaning 73992 clauses out of 157536 with flag 25972804/2840001
628.22/626.01	c cleaning 74898 clauses out of 159543 with flag 26512656/2916000
646.19/644.05	c cleaning 75696 clauses out of 161647 with flag 27099235/2993002
663.85/661.73	c cleaning 76914 clauses out of 163949 with flag 27662849/3071000
681.33/679.26	c cleaning 77663 clauses out of 166035 with flag 28271954/3150000
699.20/697.18	c cleaning 78615 clauses out of 168372 with flag 28926566/3230000
718.23/716.14	c cleaning 79904 clauses out of 170757 with flag 29634642/3311000
736.98/734.92	c cleaning 80630 clauses out of 172854 with flag 30270729/3393001
757.04/755.02	c cleaning 81884 clauses out of 175223 with flag 31038263/3476000
779.19/777.26	c cleaning 82545 clauses out of 177342 with flag 31792525/3560003
798.64/796.78	c cleaning 83846 clauses out of 179794 with flag 32468709/3645000
818.50/816.64	c cleaning 84723 clauses out of 181948 with flag 33138797/3731000
840.45/838.64	c cleaning 85171 clauses out of 184225 with flag 33941630/3818000
863.29/861.43	c cleaning 86267 clauses out of 187055 with flag 34674310/3906001
885.84/884.04	c cleaning 87316 clauses out of 189787 with flag 35379209/3995000
906.90/905.10	c cleaning 88430 clauses out of 192472 with flag 36042160/4085001
927.45/925.76	c cleaning 89728 clauses out of 195041 with flag 36688071/4176000
949.10/947.40	c cleaning 90558 clauses out of 197315 with flag 37385923/4268002
972.84/971.24	c cleaning 91799 clauses out of 199755 with flag 38059844/4361000
994.80/993.26	c cleaning 93041 clauses out of 201958 with flag 38679086/4455002
1018.94/1017.39	c cleaning 93588 clauses out of 203915 with flag 39388645/4550000
1042.40/1040.80	c cleaning 94741 clauses out of 206327 with flag 40052521/4646000
1066.65/1065.19	c cleaning 95278 clauses out of 208586 with flag 40799180/4743000
1090.70/1089.27	c cleaning 96625 clauses out of 211310 with flag 41523308/4841002
1116.26/1114.83	c cleaning 97482 clauses out of 213683 with flag 42311748/4940000
1142.72/1141.38	c cleaning 98888 clauses out of 216201 with flag 43121837/5040000
1167.36/1165.97	c cleaning 99587 clauses out of 218313 with flag 43830622/5141000
1195.00/1193.66	c cleaning 100386 clauses out of 220726 with flag 44594061/5243000
1222.55/1221.24	c cleaning 101828 clauses out of 223340 with flag 45351625/5346000
1252.90/1251.69	c cleaning 102376 clauses out of 225513 with flag 46236345/5450001
1283.44/1282.21	c cleaning 103781 clauses out of 228136 with flag 46999865/5555000
1310.68/1309.52	c cleaning 104724 clauses out of 230355 with flag 47750683/5661000
1343.59/1342.42	c cleaning 105280 clauses out of 232631 with flag 48646727/5768000
1371.13/1370.03	c cleaning 106724 clauses out of 235351 with flag 49358029/5876000
1399.66/1398.67	c cleaning 107157 clauses out of 237627 with flag 50148479/5985000
1428.69/1427.70	c cleaning 108747 clauses out of 240471 with flag 50871296/6095001
1460.42/1459.51	c cleaning 109979 clauses out of 242723 with flag 51699963/6206000
1488.15/1487.25	c cleaning 111042 clauses out of 244745 with flag 52476872/6318001
1517.49/1516.60	c cleaning 111683 clauses out of 246702 with flag 53371065/6431000
1548.43/1547.69	c cleaning 112859 clauses out of 249020 with flag 54264684/6545001
1580.27/1579.56	c cleaning 114067 clauses out of 251160 with flag 55126443/6660000
1615.30/1614.61	c cleaning 114507 clauses out of 253093 with flag 56012771/6776000
1649.02/1648.31	c cleaning 115823 clauses out of 255588 with flag 56819868/6893002
1679.77/1679.19	c cleaning 116836 clauses out of 257764 with flag 57705418/7011001
1713.20/1712.63	c cleaning 117738 clauses out of 259927 with flag 58575122/7130000
1745.43/1744.99	c cleaning 118705 clauses out of 262192 with flag 59417547/7250003
1779.67/1779.28	c cleaning 119598 clauses out of 264484 with flag 60367485/7371000
1811.52/1811.13	c cleaning 120885 clauses out of 266886 with flag 61275612/7493000
1843.11/1842.72	c cleaning 122034 clauses out of 269001 with flag 62110156/7616000
1876.53/1876.22	c cleaning 122875 clauses out of 270968 with flag 62977232/7740001
1913.46/1913.27	c cleaning 123314 clauses out of 273092 with flag 63961776/7865000
1954.17/1954.07	c cleaning 124851 clauses out of 275778 with flag 64765394/7991000
1993.19/1993.17	c cleaning 125525 clauses out of 277928 with flag 65849496/8118001
2030.12/2030.11	c cleaning 126813 clauses out of 280402 with flag 66825199/8246000
2067.44/2067.52	c cleaning 127607 clauses out of 282592 with flag 67806956/8375003
2104.88/2105.07	c cleaning 128536 clauses out of 284982 with flag 68717895/8505000
2145.53/2145.61	c cleaning 129688 clauses out of 287446 with flag 69698197/8636000
2185.74/2185.95	c cleaning 131006 clauses out of 289758 with flag 70668988/8768000
2222.57/2222.81	c cleaning 131669 clauses out of 291752 with flag 71583975/8901000
2263.49/2263.87	c cleaning 132683 clauses out of 294083 with flag 72537861/9035000
2302.71/2303.14	c cleaning 133541 clauses out of 296400 with flag 73420497/9170000
2345.73/2346.22	c cleaning 134944 clauses out of 298859 with flag 74410458/9306000
2385.94/2386.41	c cleaning 135752 clauses out of 300915 with flag 75338350/9443000
2426.75/2427.33	c cleaning 136481 clauses out of 303164 with flag 76326684/9581001
2471.66/2472.38	c cleaning 137645 clauses out of 305683 with flag 77273461/9720001
2514.17/2514.96	c cleaning 138570 clauses out of 308038 with flag 78274202/9860001
2558.19/2559.05	c cleaning 139613 clauses out of 310467 with flag 79391105/10001000
2598.40/2599.34	c cleaning 140932 clauses out of 312854 with flag 80387619/10143000
2643.43/2644.35	c cleaning 141799 clauses out of 314922 with flag 81617104/10286000
2686.74/2687.77	c cleaning 142508 clauses out of 317126 with flag 82605071/10430003
2733.44/2734.59	c cleaning 143440 clauses out of 319615 with flag 83645689/10575000
2779.64/2780.87	c cleaning 144838 clauses out of 322175 with flag 84791784/10721000
2825.15/2826.40	c cleaning 145619 clauses out of 324338 with flag 85878107/10868001
2870.56/2871.99	c cleaning 146585 clauses out of 326719 with flag 87183778/11016001
2917.38/2918.70	c cleaning 147769 clauses out of 329135 with flag 88210991/11165002
2963.99/2965.40	c cleaning 148594 clauses out of 331365 with flag 89241491/11315001
3015.78/3017.37	c cleaning 149759 clauses out of 333770 with flag 90336827/11466000
3068.86/3070.52	c cleaning 150118 clauses out of 336011 with flag 91507258/11618000
3117.35/3119.11	c cleaning 151625 clauses out of 338893 with flag 92530509/11771000
3173.02/3174.99	c cleaning 152613 clauses out of 341268 with flag 93738227/11925000
3223.62/3225.56	c cleaning 153512 clauses out of 343655 with flag 94842988/12080000
3277.31/3279.36	c cleaning 154573 clauses out of 346143 with flag 95994810/12236000
3326.61/3328.79	c cleaning 155655 clauses out of 348570 with flag 97155037/12393000
3379.40/3381.63	c cleaning 156902 clauses out of 350918 with flag 98235846/12551003
3429.38/3431.78	c cleaning 157638 clauses out of 353013 with flag 99303405/12710000
3481.86/3484.35	c cleaning 158139 clauses out of 355376 with flag 100629070/12870001
3536.95/3539.40	c cleaning 159556 clauses out of 358236 with flag 101768616/13031000
3589.34/3591.99	c cleaning 160681 clauses out of 360681 with flag 102817484/13193001
3600.01/3602.61	c timeout
3600.01/3602.61	c starts		: 55061
3600.01/3602.62	c conflicts		: 13231073
3600.01/3602.62	c decisions		: 126956541
3600.01/3602.62	c propagations		: 2601632685
3600.01/3602.62	c inspects		: 42653694131
3600.01/3602.62	c shortcuts		: 0
3600.01/3602.62	c learnt literals	: 6
3600.01/3602.62	c learnt binary clauses	: 4618
3600.01/3602.62	c learnt ternary clauses	: 15410
3600.01/3602.62	c learnt constraints	: 13231067
3600.01/3602.62	c ignored constraints	: 0
3600.01/3602.62	c root simplifications	: 0
3600.01/3602.62	c removed literals (reason simplification)	: 116594593
3600.01/3602.62	c reason swapping (by a shorter reason)	: 0
3600.01/3602.62	c Calls to reduceDB	: 158
3600.01/3602.62	c Number of update (reduction) of LBD	: 7705204
3600.01/3602.62	c Imported unit clauses	: 0
3600.01/3602.62	c No decision after first conflict	: false
3600.01/3602.62	c number of reductions to clauses (during analyze)	: 0
3600.01/3602.62	c number of learned constraints concerned by reduction	: 0
3600.01/3602.62	c number of learning phase by resolution	: 0
3600.01/3602.62	c number of learning phase by cutting planes	: 0
3600.01/3602.62	c number of rounding to 1 operations	: 0
3600.01/3602.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3602.62	c number of reductions of the coefficients by power 2 	: 0
3600.01/3602.62	c number of right shift for reduction by power 2 	: 0
3600.01/3602.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3602.62	c number of ending skipping 	: 0
3600.01/3602.62	c number of internal skipping 	: 0
3600.01/3602.62	c number of derivation steps 	: 0
3600.01/3602.62	c number of skipped derivation steps 	: 0
3600.01/3602.62	c number of remaining unassigned 	: 0
3600.01/3602.62	c number of remaining assigned 	: 0
3600.01/3602.62	c number of falsified literals weakened from reason	: 0
3600.01/3602.62	c number of falsified literals weakened from conflict	: 0
3600.01/3602.62	c time for arithmetic operations	: 0
3600.01/3602.62	c minimum degree of deleted constraints	: null
3600.01/3602.62	c maximum degree of deleted constraints	: null
3600.01/3602.62	c number of deleted constraints	: 0
3600.01/3602.62	c speed (assignments/second)	: 722476.2621098508
3600.01/3602.62	c non guided choices	: 4282980
3600.01/3602.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 233454
3600.01/3602.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 4618
3600.01/3602.69	s UNKNOWN
3600.01/3602.69	c Total wall clock time (in seconds): 3602.563

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62602 MiB free)
  memory of node 1: 64507 MiB (62984 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503356-1751162399/watcher-4503356-1751162399 -o /tmp/evaluation-result-4503356-1751162399/solver-4503356-1751162399 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20468 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4503356-1751162399.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23412, runsolver pid=23409

[startup+0.100058 s]*
/proc/loadavg: 4.13 4.17 4.11 5/340 23430
/proc/meminfo: memFree=128574384/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=18930384 memory=57944 CPUtime=0.13 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 6605 0 0 0 11 2 0 0 20 0 18 0 31917648 19384713216 14486 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4732596 14486 5351 1 0 547642 0
[pid=23412/tid=23414] ppid=23409 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 5098 0 0 0 7 1 0 0 20 0 18 0 31917649 19384713216 14486 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31917651 19384713216 14486 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=18930384 memory=59585004307076 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31917652 19384713216 14486 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57944 KiB

[startup+0.205715 s]*
/proc/loadavg: 4.13 4.17 4.11 7/340 23430
/proc/meminfo: memFree=128562096/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=18930384 memory=72284 CPUtime=0.32 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 7039 0 0 0 30 2 0 0 20 0 18 0 31917648 19384713216 18071 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4732596 18071 5447 1 0 547914 0
[pid=23412/tid=23414] ppid=23409 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 5289 0 0 0 16 1 0 0 20 0 18 0 31917649 19384713216 18071 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=18930384 memory=15140 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31917651 19384713216 18071 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31917652 19384713216 18071 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72284 KiB

[startup+0.305833 s]*
/proc/loadavg: 4.13 4.17 4.11 7/340 23430
/proc/meminfo: memFree=128509040/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=18930384 memory=115396 CPUtime=0.52 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 8534 0 0 0 48 4 0 0 20 0 18 0 31917648 19384713216 28849 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4732596 28849 5447 1 0 548903 0
[pid=23412/tid=23414] ppid=23409 vsize=18930384 memory=-6000919468495497581 CPUtime=0.26 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 5308 0 0 0 24 2 0 0 20 0 18 0 31917649 19384713216 28849 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31917651 19384713216 28849 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31917652 19384713216 28849 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 115396 KiB

[startup+0.700226 s]
/proc/loadavg: 4.13 4.17 4.11 6/341 23431
/proc/meminfo: memFree=128464236/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=18996948 memory=181212 CPUtime=1.28 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 11167 0 0 0 122 6 0 0 20 0 19 0 31917648 19452874752 45303 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4749237 45303 5447 1 0 551132 0
[pid=23412/tid=23414] ppid=23409 vsize=18996948 memory=17536 CPUtime=0.59 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 5330 0 0 0 56 3 0 0 20 0 19 0 31917649 19452874752 45303 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31917651 19452874752 45303 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31917652 19452874752 45303 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 181212 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.17 4.11 7/341 23431
/proc/meminfo: memFree=128409068/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=18996948 memory=471256 CPUtime=2.83 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 17226 0 0 0 268 15 0 0 20 0 19 0 31917648 19452874752 117814 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4749237 117814 5447 1 0 1081016 0
[pid=23412/tid=23414] ppid=23409 vsize=18996948 memory=3200 CPUtime=1.21 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 5431 0 0 0 112 9 0 0 20 0 19 0 31917649 19452874752 117814 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31917651 19452874752 117814 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31917652 19452874752 117814 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 471256 KiB

[startup+3.10588 s]
/proc/loadavg: 4.28 4.20 4.12 5/342 23432
/proc/meminfo: memFree=128147188/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19063512 memory=486948 CPUtime=5.15 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 17589 0 0 0 499 16 0 0 20 0 20 0 31917648 19521036288 121737 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4765878 121737 5479 1 0 1081401 0
[pid=23412/tid=23414] ppid=23409 vsize=19063512 memory=10752 CPUtime=2.75 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 5481 0 0 0 265 10 0 0 20 0 20 0 31917649 19521036288 121737 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31917651 19521036288 121737 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31917652 19521036288 121737 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23432] ppid=23409 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/23412/task/23432/stat : 23432 (Timer-0) S 23409 23412 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31917811 19521036288 121737 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 5.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 486948 KiB

[startup+6.30019 s]
/proc/loadavg: 4.28 4.20 4.12 5/342 23432
/proc/meminfo: memFree=128146684/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19063512 memory=481584 CPUtime=8.7 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 23633 0 0 0 853 17 0 0 20 0 20 0 31917648 19521036288 120396 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4765878 120396 5511 1 0 1081455 0
[pid=23412/tid=23414] ppid=23409 vsize=19063512 memory=0 CPUtime=5.93 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 6206 0 0 0 583 10 0 0 20 0 20 0 31917649 19521036288 120396 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19063512 memory=-8412658762062785436 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31917651 19521036288 120396 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19063512 memory=-6000919468495497581 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31917652 19521036288 120396 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23432] ppid=23409 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/23412/task/23432/stat : 23432 (Timer-0) S 23409 23412 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31917811 19521036288 120396 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 8.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 481584 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.19 4.12 5/342 23432
/proc/meminfo: memFree=128146944/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19063512 memory=487448 CPUtime=15.67 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 31698 0 0 0 1549 18 0 0 20 0 20 0 31917648 19521036288 121862 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4765878 121862 5511 1 0 1081455 0
[pid=23412/tid=23414] ppid=23409 vsize=19063512 memory=0 CPUtime=12.32 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 6865 0 0 0 1222 10 0 0 20 0 20 0 31917649 19521036288 121862 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19063512 memory=479512 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31917651 19521036288 121862 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31917652 19521036288 121862 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23432] ppid=23409 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/23412/task/23432/stat : 23432 (Timer-0) S 23409 23412 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31917811 19521036288 121862 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 15.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 487448 KiB

[startup+25.5002 s]
/proc/loadavg: 4.28 4.20 4.13 5/342 23432
/proc/meminfo: memFree=128081912/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19063512 memory=479428 CPUtime=28.45 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 32731 0 0 0 2827 18 0 0 20 0 20 0 31917648 19521036288 119857 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4765878 119857 5511 1 0 1081455 0
[pid=23412/tid=23414] ppid=23409 vsize=19063512 memory=-6000919468495497581 CPUtime=25.08 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 7585 0 0 0 2498 10 0 0 20 0 20 0 31917649 19521036288 119857 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19063512 memory=3100 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31917651 19521036288 119857 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19063512 memory=479428 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31917652 19521036288 119857 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23432] ppid=23409 vsize=19063512 memory=479428 CPUtime=0 cores=4,6
/proc/23412/task/23432/stat : 23432 (Timer-0) S 23409 23412 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31917811 19521036288 119857 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 28.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 479428 KiB

[startup+51.1056 s]
/proc/loadavg: 4.18 4.18 4.12 5/343 23434
/proc/meminfo: memFree=128000756/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19063512 memory=479428 CPUtime=54.07 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 34636 0 0 0 5388 19 0 0 20 0 20 0 31917648 19521036288 119857 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4765878 119857 5511 1 0 1081455 0
[pid=23412/tid=23414] ppid=23409 vsize=19063512 memory=479428 CPUtime=50.63 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 8244 0 0 0 5053 10 0 0 20 0 20 0 31917649 19521036288 119857 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19063512 memory=-6000919468495497581 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31917651 19521036288 119857 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19063512 memory=479428 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31917652 19521036288 119857 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23432] ppid=23409 vsize=19063512 memory=479428 CPUtime=0 cores=4,6
/proc/23412/task/23432/stat : 23432 (Timer-0) S 23409 23412 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31917811 19521036288 119857 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0

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

[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/341 23614
/proc/meminfo: memFree=120560784/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19063512 memory=2652612 CPUtime=3280.31 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 71028 0 0 0 327889 142 0 0 20 0 20 0 31917648 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4765878 663153 5511 1 0 1683136 0
[pid=23412/tid=23414] ppid=23409 vsize=19063512 memory=14592 CPUtime=3271.92 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 25077 0 0 0 327169 23 0 0 20 0 20 0 31917649 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19063512 memory=14592 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31917651 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19063512 memory=2652612 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 738 0 0 0 0 0 0 0 20 0 20 0 31917652 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23432] ppid=23409 vsize=19063512 memory=2652612 CPUtime=0 cores=4,6
/proc/23412/task/23432/stat : 23432 (Timer-0) S 23409 23412 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31917811 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 3280.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2652612 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/341 23617
/proc/meminfo: memFree=120556800/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19063512 memory=2652612 CPUtime=3340.18 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 71058 0 0 0 333875 143 0 0 20 0 20 0 31917648 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4765878 663153 5511 1 0 1683136 0
[pid=23412/tid=23414] ppid=23409 vsize=19063512 memory=2652612 CPUtime=3331.77 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 25079 0 0 0 333153 24 0 0 20 0 20 0 31917649 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19063512 memory=2652612 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31917651 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19063512 memory=2652612 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 738 0 0 0 0 0 0 0 20 0 20 0 31917652 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23432] ppid=23409 vsize=19063512 memory=2652612 CPUtime=0 cores=4,6
/proc/23412/task/23432/stat : 23432 (Timer-0) S 23409 23412 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31917811 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 3340.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2652612 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.10 5/341 23619
/proc/meminfo: memFree=120556664/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19063512 memory=2652612 CPUtime=3400.06 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 71564 0 0 0 339861 145 0 0 20 0 20 0 31917648 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4765878 663153 5511 1 0 1683136 0
[pid=23412/tid=23414] ppid=23409 vsize=19063512 memory=2652612 CPUtime=3391.62 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 25559 0 0 0 339138 24 0 0 20 0 20 0 31917649 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19063512 memory=2652612 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31917651 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19063512 memory=2652612 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 738 0 0 0 0 0 0 0 20 0 20 0 31917652 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23432] ppid=23409 vsize=19063512 memory=2652612 CPUtime=0 cores=4,6
/proc/23412/task/23432/stat : 23432 (Timer-0) S 23409 23412 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31917811 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 3400.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2652612 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.14 4.11 5/341 23754
/proc/meminfo: memFree=124299688/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19063512 memory=2652612 CPUtime=3459.91 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 72924 0 0 0 345843 148 0 0 20 0 20 0 31917648 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4765878 663153 5511 1 0 1683136 0
[pid=23412/tid=23414] ppid=23409 vsize=19063512 memory=2652612 CPUtime=3451.45 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 26744 0 0 0 345119 26 0 0 20 0 20 0 31917649 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19063512 memory=2652612 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31917651 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19063512 memory=2652612 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 841 0 0 0 0 0 0 0 20 0 20 0 31917652 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23432] ppid=23409 vsize=19063512 memory=14592 CPUtime=0 cores=4,6
/proc/23412/task/23432/stat : 23432 (Timer-0) S 23409 23412 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31917811 19521036288 663153 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 3459.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2652612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.16 4.11 5/339 23822
/proc/meminfo: memFree=125848568/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19063512 memory=2765252 CPUtime=3519.89 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 74971 0 0 0 351837 152 0 0 20 0 20 0 31917648 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4765878 691313 5511 1 0 1683136 0
[pid=23412/tid=23414] ppid=23409 vsize=19063512 memory=2652612 CPUtime=3511.14 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 27649 0 0 0 351088 26 0 0 20 0 20 0 31917649 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31917651 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19063512 memory=2652612 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 841 0 0 0 0 0 0 0 20 0 20 0 31917652 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23432] ppid=23409 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/23412/task/23432/stat : 23432 (Timer-0) S 23409 23412 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31917811 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 3519.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2765252 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/339 23824
/proc/meminfo: memFree=125106680/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19063512 memory=2765252 CPUtime=3579.76 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 75282 0 0 0 357822 154 0 0 20 0 20 0 31917648 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4765878 691313 5511 1 0 1683136 0
[pid=23412/tid=23414] ppid=23409 vsize=19063512 memory=2765252 CPUtime=3570.99 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 27885 0 0 0 357072 27 0 0 20 0 20 0 31917649 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19063512 memory=2765252 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31917651 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19063512 memory=25304 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 882 0 0 0 0 0 0 0 20 0 20 0 31917652 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23432] ppid=23409 vsize=19063512 memory=14592 CPUtime=0 cores=4,6
/proc/23412/task/23432/stat : 23432 (Timer-0) S 23409 23412 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31917811 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 3579.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2765252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.6 s]
/proc/loadavg: 4.09 4.13 4.10 5/339 23826
/proc/meminfo: memFree=124724860/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19063512 memory=2765252 CPUtime=3600.01 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 75526 0 0 0 359846 155 0 0 20 0 20 0 31917648 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4765878 691313 5511 1 0 1683136 0
[pid=23412/tid=23414] ppid=23409 vsize=19063512 memory=4380 CPUtime=3591.23 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) R 23409 23412 20457 0 -1 4194368 28121 0 0 0 359096 27 0 0 20 0 20 0 31917649 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19063512 memory=2760 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31917651 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19063512 memory=25304 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 882 0 0 0 0 0 0 0 20 0 20 0 31917652 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23432] ppid=23409 vsize=19063512 memory=4480 CPUtime=0 cores=4,6
/proc/23412/task/23432/stat : 23432 (Timer-0) S 23409 23412 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31917811 19521036288 691313 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2765252 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.6 s, system=1.56516 s

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

[startup+3602.7 s]
/proc/loadavg: 4.09 4.13 4.10 5/339 23826
/proc/meminfo: memFree=124724860/131249996 swapFree=33010684/33010684
[pid=23412] ppid=23409 vsize=19263204 memory=2766148 CPUtime=3600.15 cores=4,6
/proc/23412/stat : 23412 (java) S 23409 23412 20457 0 -1 4194304 77898 0 0 0 359860 155 0 0 20 0 15 0 31917648 19725520896 691537 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
/proc/23412/statm: 4815801 691537 5543 1 0 1684074 0
[pid=23412/tid=23414] ppid=23409 vsize=19263204 memory=2765252 CPUtime=3591.25 cores=4,6
/proc/23412/task/23414/stat : 23414 (java) S 23409 23412 20457 0 -1 4194368 28220 0 0 0 359098 27 0 0 20 0 15 0 31917649 19725520896 691537 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23423] ppid=23409 vsize=19263204 memory=4380 CPUtime=0 cores=4,6
/proc/23412/task/23423/stat : 23423 (Finalizer) S 23409 23412 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 31917651 19725520896 691537 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
[pid=23412/tid=23430] ppid=23409 vsize=19263204 memory=4888 CPUtime=0 cores=4,6
/proc/23412/task/23430/stat : 23430 (Common-Cleaner) S 23409 23412 20457 0 -1 4194368 882 0 0 0 0 0 0 0 20 0 15 0 31917652 19725520896 691537 18446744073709551615 94839507210240 94839507213936 140725702001968 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94839507221752 94839507222544 94839520530432 140725702007169 140725702007270 140725702007270 140725702012872 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2766148 KiB

Child status: 143

Real time (s): 3602.73
CPU time (s): 3600.17
CPU user time (s): 3598.6
CPU system time (s): 1.56516
CPU usage (%): 99.929
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2766148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.6
system time used= 1.56516
maximum resident set size= 2766276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77925
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130229
involuntary context switches= 2832


# summary of solver processes directly reported to runsolver:
#   pid: 23412
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3598.6
#   total CPU system time (s): 1.56516

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39263 second user time and 16.551 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-06-29 04:00:00
IDJOB=4503356
IDBENCH=155426
IDSOLVER=3363
FILE ID=nodeC021/4503356-1751162399
RUNJOBID= nodeC021-1751158606-20468
SLURM_JOB_ID= 9587494
Free space on /tmp= 433024 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-192.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503356-1751162399/watcher-4503356-1751162399 -o /tmp/evaluation-result-4503356-1751162399/solver-4503356-1751162399 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20468 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4503356-1751162399.opb

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

MD5SUM BENCH= 7ac327da8fefd7cd3f39afa8bfb7af2c
RANDOM SEED=1576909876

nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.740
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3599.778
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3541.826
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3607.787
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3599.751
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3599.780
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3599.805
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3597.686
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128601224 kB
MemAvailable:   128541024 kB
Buffers:            3280 kB
Cached:           749124 kB
SwapCached:            0 kB
Active:          1552704 kB
Inactive:         492628 kB
Active(anon):    1310988 kB
Inactive(anon):        0 kB
Active(file):     241716 kB
Inactive(file):   492628 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17220 kB
Writeback:             8 kB
AnonPages:       1295608 kB
Mapped:           122728 kB
Shmem:             18060 kB
KReclaimable:      88992 kB
Slab:             174872 kB
SReclaimable:      88992 kB
SUnreclaim:        85880 kB
KernelStack:        5232 kB
PageTables:         6228 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   10673660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1099776 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC021 at 2025-06-29 05:00:03