Trace number 4440585

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)-31 3600.55 3618.71

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_3pm-0334-0334.lin.opb
MD5SUMc86a302e56842e7d56f33820d48ef5a5
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 benchmark-36
Best CPU time to get the best result obtained on this benchmark1.22323
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables432
Total number of constraints684
Number of constraints which are clauses324
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints324
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 324
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 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 324
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

Quality of the solution as a function of time


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

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.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	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.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4440585-1721825371.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  objective function found
0.14/0.18	c ... done. Wall clock time 0.046s.
0.14/0.18	c declared #vars     432
0.14/0.18	c #constraints  720
0.14/0.18	c constraints type 
0.14/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 36
0.14/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 324
0.14/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 360
0.14/0.18	c 720 constraints processed.
0.14/0.19	c objective function length is 324 literals
0.14/0.20	c SATISFIABLE
0.14/0.20	c OPTIMIZING...
0.14/0.20	c Got one! Elapsed wall clock time (in seconds):0.068
0.14/0.20	o -27
0.32/0.22	c Got one! Elapsed wall clock time (in seconds):0.098
0.32/0.22	o -28
0.32/0.25	c Got one! Elapsed wall clock time (in seconds):0.111
0.32/0.25	o -29
0.32/0.28	c Got one! Elapsed wall clock time (in seconds):0.149
0.32/0.28	o -30
0.32/0.28	c Got one! Elapsed wall clock time (in seconds):0.153
0.32/0.28	o -31
1.65/1.00	c cleaning 2566 clauses out of 5132 with flag 10875/5132
3.04/1.68	c cleaning 4285 clauses out of 8570 with flag 23837/11136
4.44/2.34	c cleaning 5637 clauses out of 11281 with flag 38703/18132
5.15/2.86	c cleaning 6821 clauses out of 13644 with flag 55782/26132
5.79/3.45	c cleaning 7910 clauses out of 15824 with flag 75271/35133
6.53/4.16	c cleaning 8957 clauses out of 17913 with flag 97563/45132
7.36/4.92	c cleaning 9979 clauses out of 19957 with flag 121874/56133
8.19/5.76	c cleaning 10990 clauses out of 21980 with flag 148890/68135
9.20/6.71	c cleaning 11988 clauses out of 23987 with flag 178066/81132
10.23/7.77	c cleaning 12995 clauses out of 25999 with flag 209718/95132
11.32/8.87	c cleaning 14002 clauses out of 28005 with flag 243555/110133
12.63/10.14	c cleaning 15000 clauses out of 30004 with flag 280164/126134
13.99/11.45	c cleaning 16000 clauses out of 32005 with flag 319107/143135
15.45/12.85	c cleaning 16998 clauses out of 34003 with flag 360154/161133
16.94/14.31	c cleaning 17999 clauses out of 36005 with flag 404755/180133
18.57/15.94	c cleaning 18999 clauses out of 38005 with flag 450163/200132
20.25/17.65	c cleaning 20000 clauses out of 40008 with flag 498450/221134
22.05/19.46	c cleaning 21003 clauses out of 42006 with flag 549693/243132
23.94/21.31	c cleaning 22001 clauses out of 44005 with flag 603441/266134
25.87/23.27	c cleaning 22997 clauses out of 46002 with flag 659363/290132
28.01/25.37	c cleaning 24003 clauses out of 48005 with flag 717754/315132
30.49/27.85	c cleaning 25000 clauses out of 50002 with flag 780122/341132
32.82/30.10	c cleaning 25990 clauses out of 52002 with flag 842374/368132
35.36/34.96	c cleaning 27008 clauses out of 54015 with flag 907326/396135
37.94/37.53	c cleaning 28002 clauses out of 56007 with flag 976225/425135
40.87/40.42	c cleaning 28996 clauses out of 58002 with flag 1049247/455132
43.67/43.26	c cleaning 30003 clauses out of 60006 with flag 1123971/486132
46.92/46.44	c cleaning 30997 clauses out of 62003 with flag 1200755/518132
50.32/49.89	c cleaning 32001 clauses out of 64007 with flag 1282347/551133
53.76/53.24	c cleaning 32997 clauses out of 66006 with flag 1365540/585133
57.39/56.80	c cleaning 34004 clauses out of 68009 with flag 1454034/620133
61.21/60.67	c cleaning 35001 clauses out of 70005 with flag 1542756/656133
65.04/65.26	c cleaning 35998 clauses out of 72003 with flag 1630892/693132
69.28/69.47	c cleaning 37004 clauses out of 74007 with flag 1720508/731134
73.53/73.65	c cleaning 38002 clauses out of 76003 with flag 1814104/770134
78.07/78.11	c cleaning 38995 clauses out of 77999 with flag 1909747/810132
82.39/82.46	c cleaning 40001 clauses out of 80006 with flag 2007019/851134
87.03/87.04	c cleaning 40999 clauses out of 82003 with flag 2109395/893132
92.16/92.15	c cleaning 41998 clauses out of 84004 with flag 2212833/936132
97.73/98.23	c cleaning 43000 clauses out of 86006 with flag 2315559/980132
103.27/103.79	c cleaning 44001 clauses out of 88006 with flag 2429140/1025132
109.12/109.59	c cleaning 44997 clauses out of 90005 with flag 2542973/1071132
114.76/115.14	c cleaning 46001 clauses out of 92009 with flag 2651510/1118133
120.59/120.80	c cleaning 47001 clauses out of 94010 with flag 2768567/1166135
125.15/126.65	c cleaning 47999 clauses out of 96006 with flag 2886071/1215132
129.93/131.32	c cleaning 49001 clauses out of 98007 with flag 3006337/1265132
135.36/136.73	c cleaning 49999 clauses out of 100010 with flag 3130205/1316136
140.58/141.97	c cleaning 51004 clauses out of 102007 with flag 3254992/1368132
146.17/147.58	c cleaning 52001 clauses out of 104003 with flag 3386520/1421132
155.50/157.22	c cleaning 53002 clauses out of 106003 with flag 3518337/1475133
163.33/165.04	c cleaning 53994 clauses out of 108000 with flag 3653859/1530132
172.25/173.97	c cleaning 54999 clauses out of 110006 with flag 3789383/1586132
180.71/182.35	c cleaning 56004 clauses out of 112008 with flag 3928478/1643133
189.40/191.49	c cleaning 57000 clauses out of 114004 with flag 4078358/1701133
197.50/199.49	c cleaning 57999 clauses out of 116004 with flag 4240600/1760133
204.77/206.65	c cleaning 59000 clauses out of 118006 with flag 4405406/1820134
211.09/212.92	c cleaning 60000 clauses out of 120007 with flag 4572737/1881135
218.04/220.52	c cleaning 60998 clauses out of 122004 with flag 4745515/1943132
226.21/228.64	c cleaning 62001 clauses out of 124008 with flag 4923475/2006134
233.79/236.16	c cleaning 63003 clauses out of 126005 with flag 5099311/2070132
242.25/244.32	c cleaning 64000 clauses out of 128002 with flag 5269292/2135132
249.57/252.08	c cleaning 64997 clauses out of 130002 with flag 5443115/2201132
256.13/258.56	c cleaning 66004 clauses out of 132007 with flag 5617298/2268134
263.62/265.90	c cleaning 66997 clauses out of 134004 with flag 5795476/2336135
272.89/275.12	c cleaning 68000 clauses out of 136004 with flag 5998504/2405132
281.62/284.44	c cleaning 69000 clauses out of 138004 with flag 6207776/2475132
289.95/292.77	c cleaning 70002 clauses out of 140004 with flag 6396938/2546132
299.57/302.33	c cleaning 70998 clauses out of 142003 with flag 6614403/2618133
307.93/312.09	c cleaning 72000 clauses out of 144005 with flag 6814996/2691133
318.83/322.84	c cleaning 72996 clauses out of 146004 with flag 7022449/2765132
329.36/333.35	c cleaning 74001 clauses out of 148009 with flag 7236744/2840133
340.45/345.07	c cleaning 75000 clauses out of 150010 with flag 7452630/2916135
350.92/355.46	c cleaning 76004 clauses out of 152007 with flag 7647305/2993132
361.62/366.07	c cleaning 77002 clauses out of 154004 with flag 7837508/3071133
372.66/377.70	c cleaning 78000 clauses out of 156004 with flag 8042281/3150135
382.43/387.23	c cleaning 78997 clauses out of 158002 with flag 8255775/3230133
391.74/396.50	c cleaning 79996 clauses out of 160004 with flag 8485970/3311132
401.81/407.26	c cleaning 81004 clauses out of 162012 with flag 8700751/3393136
413.99/419.35	c cleaning 82001 clauses out of 164004 with flag 8915976/3476132
426.17/431.72	c cleaning 83002 clauses out of 166004 with flag 9165712/3560133
439.20/444.67	c cleaning 83995 clauses out of 168002 with flag 9413899/3645133
453.39/458.47	c cleaning 84998 clauses out of 170006 with flag 9666629/3731132
467.25/472.59	c cleaning 86002 clauses out of 172010 with flag 9904023/3818134
481.00/486.21	c cleaning 87002 clauses out of 174006 with flag 10157929/3906132
495.64/501.28	c cleaning 88001 clauses out of 176007 with flag 10421242/3995135
507.23/512.79	c cleaning 88997 clauses out of 178003 with flag 10695849/4085132
521.90/527.77	c cleaning 90004 clauses out of 180007 with flag 10947502/4176133
535.49/541.31	c cleaning 91002 clauses out of 182003 with flag 11221447/4268133
550.06/557.29	c cleaning 91994 clauses out of 184000 with flag 11490692/4361132
564.57/571.63	c cleaning 92999 clauses out of 186007 with flag 11770687/4455133
594.77/602.56	c cleaning 93999 clauses out of 188007 with flag 12074017/4550132
640.28/648.62	c cleaning 94996 clauses out of 190008 with flag 12422882/4646132
663.82/672.08	c cleaning 96002 clauses out of 192012 with flag 12731288/4743132
681.16/689.54	c cleaning 97003 clauses out of 194010 with flag 12999738/4841132
697.71/706.00	c cleaning 98001 clauses out of 196007 with flag 13256210/4940132
713.99/722.80	c cleaning 99002 clauses out of 198007 with flag 13517697/5040133
733.19/741.72	c cleaning 100000 clauses out of 200006 with flag 13823295/5141134
747.66/756.16	c cleaning 101003 clauses out of 202007 with flag 14141707/5243135
764.88/773.69	c cleaning 102001 clauses out of 204001 with flag 14411238/5346132
784.66/793.39	c cleaning 103002 clauses out of 206003 with flag 14722606/5450135
801.08/811.89	c cleaning 103996 clauses out of 207999 with flag 15013006/5555133
821.02/831.68	c cleaning 105001 clauses out of 210004 with flag 15293964/5661134
835.82/847.06	c cleaning 105996 clauses out of 212002 with flag 15575475/5768133
855.55/867.12	c cleaning 107001 clauses out of 214007 with flag 15869796/5876134
875.06/886.15	c cleaning 108002 clauses out of 216004 with flag 16133234/5985132
904.96/916.49	c cleaning 108997 clauses out of 218004 with flag 16434370/6095134
936.15/947.73	c cleaning 109998 clauses out of 220005 with flag 16779074/6206132
955.36/967.12	c cleaning 111000 clauses out of 222007 with flag 17107916/6318132
971.38/983.00	c cleaning 111999 clauses out of 224007 with flag 17406727/6431132
990.26/1002.19	c cleaning 113005 clauses out of 226009 with flag 17728914/6545133
1007.76/1019.54	c cleaning 114003 clauses out of 228007 with flag 18028557/6660136
1026.33/1038.14	c cleaning 114993 clauses out of 230000 with flag 18334214/6776132
1046.48/1058.38	c cleaning 116000 clauses out of 232008 with flag 18676002/6893133
1062.95/1074.47	c cleaning 117005 clauses out of 234010 with flag 19010558/7011135
1081.84/1093.83	c cleaning 117993 clauses out of 236002 with flag 19350650/7130132
1098.92/1110.73	c cleaning 119002 clauses out of 238009 with flag 19674719/7250132
1116.22/1128.20	c cleaning 120004 clauses out of 240008 with flag 19995181/7371133
1136.50/1148.72	c cleaning 120997 clauses out of 242003 with flag 20315807/7493132
1157.55/1169.73	c cleaning 122004 clauses out of 244008 with flag 20651143/7616134
1180.80/1193.11	c cleaning 122996 clauses out of 246002 with flag 20988015/7740132
1208.08/1220.55	c cleaning 124002 clauses out of 248007 with flag 21318909/7865133
1232.28/1244.79	c cleaning 125000 clauses out of 250004 with flag 21627986/7991132
1250.88/1262.87	c cleaning 126001 clauses out of 252004 with flag 21918868/8118132
1277.26/1289.38	c cleaning 126994 clauses out of 254003 with flag 22265720/8246132
1298.53/1310.88	c cleaning 128002 clauses out of 256009 with flag 22614809/8375132
1322.02/1334.34	c cleaning 128998 clauses out of 258008 with flag 22950565/8505133
1339.32/1351.56	c cleaning 130002 clauses out of 260009 with flag 23261197/8636132
1357.55/1370.26	c cleaning 131004 clauses out of 262007 with flag 23576024/8768132
1383.32/1395.59	c cleaning 131997 clauses out of 264003 with flag 23901941/8901132
1407.13/1419.45	c cleaning 133002 clauses out of 266006 with flag 24218996/9035132
1465.80/1478.42	c cleaning 133994 clauses out of 268005 with flag 24602681/9170133
1564.74/1578.17	c cleaning 134994 clauses out of 270010 with flag 25099666/9306132
1672.06/1685.71	c cleaning 136006 clauses out of 272016 with flag 25647857/9443132
1765.47/1779.37	c cleaning 137001 clauses out of 274010 with flag 26170465/9581132
1876.72/1890.51	c cleaning 138003 clauses out of 276010 with flag 26694011/9720133
1976.73/1992.94	c cleaning 139000 clauses out of 278006 with flag 27243430/9860132
2073.32/2090.16	c cleaning 139994 clauses out of 280008 with flag 27804798/10001134
2178.05/2195.24	c cleaning 141003 clauses out of 282012 with flag 28378009/10143132
2263.81/2281.17	c cleaning 142005 clauses out of 284012 with flag 28953561/10286135
2367.88/2385.74	c cleaning 142995 clauses out of 286004 with flag 29505101/10430132
2415.74/2433.12	c cleaning 144002 clauses out of 288011 with flag 29998078/10575134
2447.85/2465.36	c cleaning 145002 clauses out of 290007 with flag 30439092/10721132
2482.12/2499.94	c cleaning 145997 clauses out of 292006 with flag 30905059/10868133
2504.43/2522.17	c cleaning 146999 clauses out of 294009 with flag 31279186/11016133
2530.64/2548.17	c cleaning 148002 clauses out of 296009 with flag 31715347/11165132
2555.92/2573.52	c cleaning 148999 clauses out of 298007 with flag 32070732/11315132
2585.59/2603.23	c cleaning 150004 clauses out of 300009 with flag 32425099/11466133
2613.93/2631.50	c cleaning 151003 clauses out of 302006 with flag 32807662/11618134
2655.10/2672.20	c cleaning 151999 clauses out of 304002 with flag 33263679/11771133
2688.37/2705.44	c cleaning 152993 clauses out of 306002 with flag 33702801/11925132
2714.22/2731.24	c cleaning 154002 clauses out of 308010 with flag 34110980/12080133
2742.84/2759.39	c cleaning 155003 clauses out of 310008 with flag 34499559/12236133
2766.47/2782.89	c cleaning 156003 clauses out of 312005 with flag 34850700/12393133
2836.83/2853.25	c cleaning 156995 clauses out of 314001 with flag 35353578/12551132
2954.42/2970.89	c cleaning 158000 clauses out of 316006 with flag 36001282/12710132
3061.09/3078.01	c cleaning 158996 clauses out of 318006 with flag 36648070/12870132
3171.25/3189.25	c cleaning 160006 clauses out of 320011 with flag 37297648/13031133
3280.07/3298.37	c cleaning 160992 clauses out of 322008 with flag 37985820/13193136
3386.69/3405.13	c cleaning 162007 clauses out of 324017 with flag 38646506/13356137
3434.55/3452.79	c cleaning 163000 clauses out of 326010 with flag 39223494/13520137
3474.53/3493.11	c cleaning 164001 clauses out of 328007 with flag 39788240/13685134
3512.35/3531.37	c cleaning 164999 clauses out of 330005 with flag 40343614/13851133
3542.00/3560.30	c cleaning 165999 clauses out of 332006 with flag 40863308/14018133
3576.53/3595.04	c cleaning 166999 clauses out of 334006 with flag 41343592/14186132
3600.12/3618.47	c starts		: 47225
3600.12/3618.49	c conflicts		: 14346287
3600.12/3618.49	c decisions		: 20090171
3600.12/3618.49	c propagations		: 387063170
3600.12/3618.49	c inspects		: 27020138721
3600.12/3618.49	c shortcuts		: 0
3600.12/3618.49	c learnt literals	: 0
3600.12/3618.49	c learnt binary clauses	: 0
3600.12/3618.49	c learnt ternary clauses	: 0
3600.12/3618.49	c learnt constraints	: 14346287
3600.12/3618.49	c ignored constraints	: 0
3600.12/3618.49	c root simplifications	: 0
3600.12/3618.49	c removed literals (reason simplification)	: 10128452
3600.12/3618.49	c reason swapping (by a shorter reason)	: 0
3600.12/3618.49	c Calls to reduceDB	: 164
3600.12/3618.49	c Number of update (reduction) of LBD	: 680304
3600.12/3618.49	c Imported unit clauses	: 0
3600.12/3618.49	c No decision after first conflict	: false
3600.12/3618.49	c number of reductions to clauses (during analyze)	: 0
3600.12/3618.49	c number of learned constraints concerned by reduction	: 0
3600.12/3618.49	c number of learning phase by resolution	: 0
3600.12/3618.49	c number of learning phase by cutting planes	: 0
3600.12/3618.49	c number of rounding to 1 operations	: 0
3600.12/3618.49	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.12/3618.49	c number of reductions of the coefficients by power 2 	: 0
3600.12/3618.49	c number of right shift for reduction by power 2 	: 0
3600.12/3618.49	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.12/3618.49	c number of ending skipping 	: 0
3600.12/3618.49	c number of internal skipping 	: 0
3600.12/3618.49	c number of derivation steps 	: 0
3600.12/3618.49	c number of skipped derivation steps 	: 0
3600.12/3618.49	c number of remaining unassigned 	: 0
3600.12/3618.49	c number of remaining assigned 	: 0
3600.12/3618.49	c number of falsified literals weakened from reason	: 0
3600.12/3618.49	c number of falsified literals weakened from conflict	: 0
3600.12/3618.49	c time for arithmetic operations	: 0
3600.12/3618.49	c minimum degree of deleted constraints	: null
3600.12/3618.49	c maximum degree of deleted constraints	: null
3600.12/3618.49	c number of deleted constraints	: 0
3600.12/3618.49	c speed (assignments/second)	: 106973.67522841509
3600.12/3618.49	c non guided choices	: 2
3600.51/3618.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 327162
3600.51/3618.60	s SATISFIABLE
3600.51/3618.60	c Found 5 solution(s)
3600.51/3618.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 -x197 -x198 -x199 -x200 -x201 x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 x368 x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 
3600.51/3618.60	c objective function=-31
3600.51/3618.60	c Total wall clock time (in seconds): 3618.473

Verifier Data 

OK	-31

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: 63968 MiB (52517 MiB free)
  memory of node 1: 64473 MiB (55861 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=187320, runsolver pid=187317

[startup+0.101128 s]*
/proc/loadavg: 4.02 4.08 4.12 7/331 187338
/proc/meminfo: memFree=110934868/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=18975048 memory=65044 CPUtime=0.14 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 7230 0 0 0 12 2 0 0 20 0 18 0 19066839 19430449152 16261 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4743762 16261 5673 1 0 549330 0
[pid=187320/tid=187322] ppid=187317 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 1077936192 5753 0 0 0 7 1 0 0 20 0 18 0 19066839 19430449152 16261 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 19066842 19430449152 16261 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=18975048 memory=14131147602140469 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 19066842 19430449152 16261 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65044 KiB

[startup+0.207809 s]*
/proc/loadavg: 4.02 4.08 4.12 7/332 187339
/proc/meminfo: memFree=110927900/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19041612 memory=72548 CPUtime=0.32 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 7830 0 0 0 30 2 0 0 20 0 19 0 19066839 19498610688 18137 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4760403 18137 5892 1 0 550017 0
[pid=187320/tid=187322] ppid=187317 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 1077936192 6075 0 0 0 16 1 0 0 20 0 19 0 19066839 19498610688 18137 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19041612 memory=1318409 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 19066842 19498610688 18137 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19041612 memory=15537422972749500 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 19066842 19498610688 18137 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 19066858 19498610688 18137 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72548 KiB

[startup+0.309711 s]*
/proc/loadavg: 4.02 4.08 4.12 7/332 187339
/proc/meminfo: memFree=110913484/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19041912 memory=86540 CPUtime=0.51 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 8839 0 0 0 48 3 0 0 20 0 19 0 19066839 19498917888 21635 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4760478 21635 5892 1 0 550423 0
[pid=187320/tid=187322] ppid=187317 vsize=19041912 memory=-8672920667615437500 CPUtime=0.26 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 6097 0 0 0 24 2 0 0 20 0 19 0 19066839 19498917888 21635 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19041912 memory=0 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 19066842 19498917888 21635 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19041912 memory=0 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 19066842 19498917888 21635 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19041912 memory=0 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 19066858 19498917888 21635 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041912 KiB
Current children cumulated memory: 86540 KiB

[startup+0.700713 s]
/proc/loadavg: 4.02 4.08 4.12 6/332 187339
/proc/meminfo: memFree=110844272/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=167464 CPUtime=1.26 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 10620 0 0 0 120 6 0 0 20 0 20 0 19066839 19566772224 41866 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 41866 5920 1 0 551722 0
[pid=187320/tid=187322] ppid=187317 vsize=19108176 memory=67456 CPUtime=0.63 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 6142 0 0 0 59 4 0 0 20 0 20 0 19066839 19566772224 41866 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 41866 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 41866 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=39048 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 41866 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 167464 KiB

[startup+1.50072 s]
/proc/loadavg: 4.02 4.08 4.12 7/333 187340
/proc/meminfo: memFree=110804896/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=181280 CPUtime=2.85 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 20152 0 0 0 277 8 0 0 20 0 20 0 19066839 19566772224 45320 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 45320 5936 1 0 554483 0
[pid=187320/tid=187322] ppid=187317 vsize=19108176 memory=12928 CPUtime=1.41 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 6551 0 0 0 136 5 0 0 20 0 20 0 19066839 19566772224 45320 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 45320 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 45320 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=39048 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 45320 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181280 KiB

[startup+3.10571 s]
/proc/loadavg: 4.02 4.08 4.12 6/333 187340
/proc/meminfo: memFree=110567836/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=410796 CPUtime=5.5 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 23298 0 0 0 535 15 0 0 20 0 20 0 19066839 19566772224 102699 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 102699 5936 1 0 554827 0
[pid=187320/tid=187322] ppid=187317 vsize=19108176 memory=0 CPUtime=2.98 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 7227 0 0 0 287 11 0 0 20 0 20 0 19066839 19566772224 102699 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=-8672920667615437500 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 102699 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 102699 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 102699 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 5.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 410796 KiB

[startup+6.30027 s]
/proc/loadavg: 4.10 4.10 4.12 5/333 187340
/proc/meminfo: memFree=110250480/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=774200 CPUtime=8.8 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 23927 0 0 0 854 26 0 0 20 0 20 0 19066839 19566772224 193550 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 193550 5936 1 0 661339 0
[pid=187320/tid=187322] ppid=187317 vsize=19108176 memory=2220 CPUtime=6.08 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 7476 0 0 0 588 20 0 0 20 0 20 0 19066839 19566772224 193550 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 193550 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 193550 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 193550 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 8.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 774200 KiB

[startup+12.7007 s]
/proc/loadavg: 4.17 4.11 4.13 5/333 187342
/proc/meminfo: memFree=109634504/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=1151468 CPUtime=15.35 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 24659 0 0 0 1494 41 0 0 20 0 20 0 19066839 19566772224 287867 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 287867 5936 1 0 661351 0
[pid=187320/tid=187322] ppid=187317 vsize=19108176 memory=12928 CPUtime=12.33 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 8026 0 0 0 1199 34 0 0 20 0 20 0 19066839 19566772224 287867 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=1151368 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 287867 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=67456 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 287867 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 287867 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 15.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1151468 KiB

[startup+25.5007 s]
/proc/loadavg: 4.44 4.17 4.15 6/333 187343
/proc/meminfo: memFree=108836804/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=1749876 CPUtime=28.21 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 29629 0 0 0 2754 67 0 0 20 0 20 0 19066839 19566772224 437469 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 437469 5936 1 0 661354 0
[pid=187320/tid=187322] ppid=187317 vsize=19108176 memory=6943526294502006880 CPUtime=24.69 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 10031 0 0 0 2417 52 0 0 20 0 20 0 19066839 19566772224 437469 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=11584 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 437469 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=3545 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 437469 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 437469 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 28.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1749876 KiB

[startup+51.1058 s]
/proc/loadavg: 4.35 4.17 4.15 5/336 187354
/proc/meminfo: memFree=108231688/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=1934340 CPUtime=51.67 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 33208 0 0 0 5071 96 0 0 20 0 20 0 19066839 19566772224 483585 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 483585 5951 1 0 661354 0

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

/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 102195 0 0 0 320046 1311 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3584 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=2369768 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=5476 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 2587 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 3264.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2369768 KiB

[startup+3342.3 s]
/proc/loadavg: 1.11 1.41 2.51 2/258 189312
/proc/meminfo: memFree=111052312/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=2369768 CPUtime=3323.94 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 274725 0 0 0 330926 1468 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 592442 5967 1 0 603657 0
[pid=187320/tid=187322] ppid=187317 vsize=19108176 memory=12928 CPUtime=3273 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 103092 0 0 0 325976 1324 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3611 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=2369768 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 2587 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=67456 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 3323.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2369768 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.35 2.41 2/255 189323
/proc/meminfo: memFree=110989652/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=2369768 CPUtime=3383.89 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 275264 0 0 0 336908 1481 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 592442 5967 1 0 603657 0
[pid=187320/tid=187322] ppid=187317 vsize=19108176 memory=12928 CPUtime=3332.62 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 103425 0 0 0 331928 1334 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3621 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=5528 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=2369768 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 2666 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=26624 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 3383.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2369768 KiB

[startup+3462.3 s]
/proc/loadavg: 1.11 1.31 2.33 2/256 189336
/proc/meminfo: memFree=110785052/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=2369768 CPUtime=3444.17 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 287495 0 0 0 342908 1509 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 592442 5967 1 0 603657 0
[pid=187320/tid=187322] ppid=187317 vsize=19108176 memory=12928 CPUtime=3391.61 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 108427 0 0 0 337802 1359 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3671 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=67456 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=2369768 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 2666 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=2369768 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 3444.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2369768 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.27 2.25 2/256 189347
/proc/meminfo: memFree=110564192/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=2369768 CPUtime=3503.42 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 288126 0 0 0 348809 1533 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 592442 5967 1 0 603657 0
[pid=187320/tid=187322] ppid=187317 vsize=19108176 memory=2369768 CPUtime=3450.07 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 108716 0 0 0 343626 1381 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3772 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=67456 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=2369768 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 2728 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=2369768 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 3503.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2369768 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.23 2.18 2/257 189359
/proc/meminfo: memFree=110267992/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=2369768 CPUtime=3563.81 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 297807 0 0 0 354817 1564 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 592442 5967 1 0 603657 0
[pid=187320/tid=187322] ppid=187317 vsize=19108176 memory=11588 CPUtime=3508.77 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 112618 0 0 0 349468 1409 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3827 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=16024 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 2728 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=16024 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 3563.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2369768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.4 s]
/proc/loadavg: 1.22 1.25 2.15 2/257 189366
/proc/meminfo: memFree=110088580/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19108176 memory=2369768 CPUtime=3600.12 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 304244 0 0 0 358429 1583 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4777044 592442 5967 1 0 603657 0
[pid=187320/tid=187322] ppid=187317 vsize=19108176 memory=6972 CPUtime=3544.11 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 115711 0 0 0 352984 1427 0 0 20 0 20 0 19066839 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3860 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19108176 memory=2369768 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19108176 memory=2369768 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 2805 0 0 0 0 0 0 0 20 0 20 0 19066842 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187339] ppid=187317 vsize=19108176 memory=2369768 CPUtime=0 cores=5,7
/proc/187320/task/187339/stat : 187339 (Timer-0) S 187317 187320 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19066858 19566772224 592442 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2369768 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.7 s, system=15.8558 s

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

[startup+3618.6 s]
/proc/loadavg: 1.22 1.25 2.15 2/257 189366
/proc/meminfo: memFree=110088580/131524600 swapFree=131064476/131071996
[pid=187320] ppid=187317 vsize=19307868 memory=2370592 CPUtime=3600.51 cores=5,7
/proc/187320/stat : 187320 (java) S 187317 187320 181598 0 -1 1077936128 308157 0 0 0 358468 1583 0 0 20 0 21 0 19066839 19771256832 592648 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
/proc/187320/statm: 4826967 592648 5966 1 0 604612 0
[pid=187320/tid=187322] ppid=187317 vsize=19307868 memory=16024 CPUtime=3544.27 cores=5,7
/proc/187320/task/187322/stat : 187322 (java) R 187317 187320 181598 0 -1 4194368 115842 0 0 0 353000 1427 0 0 20 0 21 0 19066839 19771256832 592648 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3860 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187331] ppid=187317 vsize=19307868 memory=-8672920667615437500 CPUtime=0 cores=5,7
/proc/187320/task/187331/stat : 187331 (Finalizer) S 187317 187320 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 19066842 19771256832 592648 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
[pid=187320/tid=187338] ppid=187317 vsize=19307868 memory=67456 CPUtime=0 cores=5,7
/proc/187320/task/187338/stat : 187338 (Common-Cleaner) S 187317 187320 181598 0 -1 1077936192 2805 0 0 0 0 0 0 0 20 0 21 0 19066842 19771256832 592648 134679101440 94009316392960 94009316396656 140721940845104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009316404472 94009316405264 94009319333888 140721940849579 140721940849761 140721940849761 140721940856776 0
Current children cumulated CPU time: 3600.51 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2370592 KiB

[startup+3618.7 s]*
/proc/loadavg: 1.22 1.25 2.15 3/239 189369
/proc/meminfo: memFree=112433708/131524600 swapFree=131064476/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3618.71
CPU time (s): 3600.55
CPU user time (s): 3584.7
CPU system time (s): 15.8558
CPU usage (%): 99.4982
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2608296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.7
system time used= 15.8558
maximum resident set size= 2608296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308218
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25953472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128736
involuntary context switches= 10401


# summary of solver processes directly reported to runsolver:
#   pid: 187320
#   total CPU time (s): 3600.55
#   total CPU user time (s): 3584.7
#   total CPU system time (s): 15.8558

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57633 second user time and 17.6748 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-24 14:49:31
IDJOB=4440585
IDBENCH=158488
IDSOLVER=3079
FILE ID=nodeC033/4440585-1721825371
RUNJOBID= nodeC033-1721817188-181611
SLURM_JOB_ID= 7816898
Free space on /tmp= 890016 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0334-0334.lin.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-4440585-1721825371/watcher-4440585-1721825371 -o /tmp/evaluation-result-4440585-1721825371/solver-4440585-1721825371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721817188-181611 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440585-1721825371 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440585-1721825371.opb

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

MD5SUM BENCH= c86a302e56842e7d56f33820d48ef5a5
RANDOM SEED=534980053

nodeC033.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		: 3669.840
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.99
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		: 3678.616
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	: 7005.76
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		: 3600.147
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.99
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		: 3618.159
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	: 7005.76
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		: 3668.423
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.99
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		: 3638.738
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	: 7005.76
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.234
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.99
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		: 3648.197
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	: 7005.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110980152 kB
MemAvailable:   120214612 kB
Buffers:          247756 kB
Cached:          9776848 kB
SwapCached:         5076 kB
Active:          2489960 kB
Inactive:       17353820 kB
Active(anon):       1808 kB
Inactive(anon):  9870716 kB
Active(file):    2488152 kB
Inactive(file):  7483104 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064476 kB
Dirty:             84296 kB
Writeback:            44 kB
AnonPages:       9812084 kB
Mapped:           132016 kB
Shmem:             53324 kB
KReclaimable:     206052 kB
Slab:             323916 kB
SReclaimable:     206052 kB
SUnreclaim:       117864 kB
KernelStack:        5072 kB
PageTables:        29420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13496444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20800 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9449472 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:      389844 kB
DirectMap2M:    39229440 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC033 at 2024-07-24 15:49:50