Trace number 4440286

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)214 3600.43 3540.07

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
MD5SUM62fadc113b966a642e431cfbd80ddcdc
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark176
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables465
Total number of constraints465
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints465
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 465
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 465
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 465
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-4440286-1721769293.opb
0.14/0.13	c reading problem ... 
0.14/0.14	c using VERIPB proof format
0.14/0.14	c  objective function found
0.14/0.18	c ... done. Wall clock time 0.046s.
0.14/0.18	c declared #vars     465
0.14/0.18	c #constraints  465
0.14/0.18	c constraints type 
0.14/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 465
0.14/0.18	c 465 constraints processed.
0.14/0.19	c objective function length is 465 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.066
0.14/0.20	o 222
0.32/0.29	c Got one! Elapsed wall clock time (in seconds):0.154
0.32/0.29	o 221
0.48/0.34	c Got one! Elapsed wall clock time (in seconds):0.209
0.48/0.34	o 220
0.48/0.34	c Got one! Elapsed wall clock time (in seconds):0.211
0.48/0.34	o 219
0.48/0.37	c Got one! Elapsed wall clock time (in seconds):0.226
0.48/0.37	o 218
0.48/0.38	c Got one! Elapsed wall clock time (in seconds):0.249
0.48/0.38	o 217
0.86/0.51	c Got one! Elapsed wall clock time (in seconds):0.371
0.86/0.51	o 216
2.82/1.53	c cleaning 2949 clauses out of 5908 with flag 10897/5908
4.18/2.23	c cleaning 4475 clauses out of 8960 with flag 23267/11909
5.08/2.98	c cleaning 5738 clauses out of 11484 with flag 38341/18908
5.97/3.78	c cleaning 6867 clauses out of 13746 with flag 55001/26908
7.03/4.75	c cleaning 7932 clauses out of 15880 with flag 73671/35909
8.12/5.74	c cleaning 8969 clauses out of 17947 with flag 94368/45908
9.25/6.85	c cleaning 9985 clauses out of 19980 with flag 117138/56910
10.57/8.19	c cleaning 10986 clauses out of 21993 with flag 141989/68908
12.15/9.67	c cleaning 11994 clauses out of 24007 with flag 169000/81908
13.70/11.16	c cleaning 12998 clauses out of 26013 with flag 198041/95908
15.27/12.63	c cleaning 13998 clauses out of 28015 with flag 229034/110908
16.85/14.16	c cleaning 14997 clauses out of 30018 with flag 262142/126909
18.74/15.82	c cleaning 16004 clauses out of 32021 with flag 297149/143909
20.53/17.70	c cleaning 17003 clauses out of 34017 with flag 334179/161909
22.92/19.94	c cleaning 17999 clauses out of 36014 with flag 373390/180909
25.19/22.14	c cleaning 19001 clauses out of 38015 with flag 414729/200909
27.27/24.21	c cleaning 19999 clauses out of 40013 with flag 458074/221908
29.44/26.36	c cleaning 21001 clauses out of 42014 with flag 503444/243908
32.10/28.72	c cleaning 21999 clauses out of 44014 with flag 550986/266909
34.83/31.32	c cleaning 22999 clauses out of 46014 with flag 600463/290908
37.56/33.94	c cleaning 23997 clauses out of 48016 with flag 651977/315909
40.18/38.18	c cleaning 24998 clauses out of 50019 with flag 705927/341909
43.33/41.12	c cleaning 26002 clauses out of 52020 with flag 761660/368908
46.48/44.15	c cleaning 26997 clauses out of 54018 with flag 819438/396908
49.72/47.27	c cleaning 27999 clauses out of 56021 with flag 879098/425908
53.20/50.73	c cleaning 29005 clauses out of 58024 with flag 941533/455910
57.14/54.69	c cleaning 29995 clauses out of 60017 with flag 1005848/486908
60.94/58.38	c cleaning 31002 clauses out of 62022 with flag 1072113/518908
64.83/62.26	c cleaning 32000 clauses out of 64021 with flag 1140712/551909
69.27/68.50	c cleaning 33004 clauses out of 66022 with flag 1211422/585910
73.40/72.58	c cleaning 34001 clauses out of 68016 with flag 1283823/620908
78.23/77.21	c cleaning 35003 clauses out of 70016 with flag 1358509/656909
82.42/81.39	c cleaning 35997 clauses out of 72012 with flag 1435090/693908
87.33/86.19	c cleaning 36999 clauses out of 74015 with flag 1513782/731908
91.95/90.64	c cleaning 37999 clauses out of 76019 with flag 1594897/770911
96.30/94.80	c cleaning 39001 clauses out of 78018 with flag 1678175/810909
100.75/101.34	c cleaning 40000 clauses out of 80017 with flag 1763270/851909
105.68/106.31	c cleaning 40997 clauses out of 82017 with flag 1850027/893909
111.22/111.86	c cleaning 41998 clauses out of 84020 with flag 1938740/936909
116.71/117.20	c cleaning 42999 clauses out of 86021 with flag 2029669/980908
122.21/122.68	c cleaning 43999 clauses out of 88022 with flag 2122568/1025908
127.91/129.67	c cleaning 45000 clauses out of 90023 with flag 2216869/1071908
134.47/135.81	c cleaning 46003 clauses out of 92024 with flag 2313359/1118909
140.02/141.21	c cleaning 47000 clauses out of 94021 with flag 2412485/1166909
145.73/146.82	c cleaning 48003 clauses out of 96020 with flag 2513599/1215908
151.59/152.54	c cleaning 49001 clauses out of 98017 with flag 2617376/1265908
157.67/158.56	c cleaning 49998 clauses out of 100017 with flag 2723032/1316909
164.10/165.68	c cleaning 50995 clauses out of 102018 with flag 2831306/1368908
164.61/166.10	c Got one! Elapsed wall clock time (in seconds):165.972
164.61/166.10	o 215
164.99/166.45	c cleaning 28428 clauses out of 56867 with flag 2133/1374752
165.59/167.04	c cleaning 17210 clauses out of 34439 with flag 14958/1380752
166.19/167.64	c cleaning 12107 clauses out of 24229 with flag 29468/1387752
166.91/168.32	c cleaning 10051 clauses out of 20122 with flag 46293/1395752
167.86/169.13	c cleaning 9526 clauses out of 19072 with flag 64896/1404753
168.65/169.98	c cleaning 9766 clauses out of 19545 with flag 85725/1414752
169.64/170.93	c cleaning 10381 clauses out of 20779 with flag 108446/1425752
170.65/171.96	c cleaning 11191 clauses out of 22399 with flag 133237/1437753
171.90/173.14	c cleaning 12098 clauses out of 24210 with flag 160152/1450755
173.19/174.41	c cleaning 13046 clauses out of 26110 with flag 188992/1464753
174.49/175.78	c cleaning 14019 clauses out of 28065 with flag 219968/1479754
176.04/177.28	c cleaning 15015 clauses out of 30045 with flag 252909/1495753
177.64/178.88	c cleaning 16007 clauses out of 32030 with flag 287993/1512753
179.52/180.69	c cleaning 17005 clauses out of 34023 with flag 325025/1530753
181.42/182.53	c cleaning 17999 clauses out of 36018 with flag 364240/1549753
183.21/184.38	c cleaning 18998 clauses out of 38018 with flag 405566/1569752
185.36/186.40	c cleaning 19997 clauses out of 40020 with flag 449089/1590752
187.46/188.54	c cleaning 21000 clauses out of 42024 with flag 494705/1612753
189.86/192.30	c cleaning 22000 clauses out of 44023 with flag 542343/1635752
192.49/194.88	c cleaning 23000 clauses out of 46025 with flag 591941/1659754
194.98/197.33	c cleaning 24001 clauses out of 48025 with flag 643614/1684754
197.80/200.01	c cleaning 25003 clauses out of 50023 with flag 697322/1710753
200.60/202.78	c cleaning 25998 clauses out of 52019 with flag 753156/1737752
203.47/205.65	c cleaning 26999 clauses out of 54021 with flag 810892/1765752
206.62/208.71	c cleaning 27998 clauses out of 56024 with flag 870719/1794754
210.09/212.13	c cleaning 29003 clauses out of 58026 with flag 933461/1824754
213.37/215.48	c cleaning 30000 clauses out of 60021 with flag 997895/1855752
217.03/219.03	c cleaning 31002 clauses out of 62021 with flag 1064201/1887752
220.85/224.23	c cleaning 32002 clauses out of 64019 with flag 1132391/1920752
224.94/228.21	c cleaning 32997 clauses out of 66017 with flag 1203071/1954752
229.14/232.37	c cleaning 34001 clauses out of 68021 with flag 1275980/1989753
233.34/236.44	c cleaning 35000 clauses out of 70019 with flag 1350286/2025752
238.69/241.74	c cleaning 36004 clauses out of 72019 with flag 1432055/2062752
243.58/246.59	c cleaning 37002 clauses out of 74015 with flag 1511095/2100752
248.51/251.39	c cleaning 37996 clauses out of 76014 with flag 1592416/2139753
253.73/257.53	c cleaning 39002 clauses out of 78017 with flag 1675446/2179752
259.20/262.95	c cleaning 40000 clauses out of 80015 with flag 1760027/2220752
264.87/268.51	c cleaning 40999 clauses out of 82016 with flag 1846247/2262753
270.73/274.39	c cleaning 42001 clauses out of 84016 with flag 1934292/2305752
276.50/280.01	c cleaning 42998 clauses out of 86015 with flag 2024950/2349752
282.27/286.78	c cleaning 43999 clauses out of 88018 with flag 2118319/2394753
288.74/293.00	c cleaning 45000 clauses out of 90019 with flag 2213376/2440753
294.34/298.57	c cleaning 46002 clauses out of 92018 with flag 2310612/2487752
300.60/304.44	c cleaning 46996 clauses out of 94016 with flag 2409920/2535752
306.90/310.77	c cleaning 48002 clauses out of 96020 with flag 2511669/2584752
313.37/318.23	c cleaning 48997 clauses out of 98018 with flag 2615360/2634752
319.95/324.70	c cleaning 49998 clauses out of 100021 with flag 2720893/2685752
325.72/330.48	c Got one! Elapsed wall clock time (in seconds):330.348
325.72/330.48	o 214
327.43/332.13	c cleaning 53145 clauses out of 106301 with flag 10939/2742030
328.12/332.89	c cleaning 29566 clauses out of 59154 with flag 24002/2748028
328.86/333.55	c cleaning 18283 clauses out of 36588 with flag 38382/2755028
329.55/334.24	c cleaning 13145 clauses out of 26306 with flag 54926/2763029
330.25/334.99	c cleaning 11071 clauses out of 22160 with flag 73523/2772028
331.14/335.83	c cleaning 10533 clauses out of 21091 with flag 94163/2782030
332.04/336.75	c cleaning 10768 clauses out of 21556 with flag 116793/2793028
333.15/337.82	c cleaning 11386 clauses out of 22789 with flag 141557/2805029
334.35/339.00	c cleaning 12198 clauses out of 24403 with flag 168764/2818029
335.54/340.23	c cleaning 13096 clauses out of 26205 with flag 197683/2832029
336.97/341.60	c cleaning 14048 clauses out of 28108 with flag 228688/2847028
338.37/343.09	c cleaning 15023 clauses out of 30060 with flag 261820/2863028
339.96/344.60	c cleaning 16009 clauses out of 32038 with flag 297110/2880029
341.58/346.27	c cleaning 17005 clauses out of 34029 with flag 334458/2898029
343.39/349.02	c cleaning 18001 clauses out of 36023 with flag 373721/2917028
345.32/350.94	c cleaning 19004 clauses out of 38024 with flag 415102/2937030
347.31/352.92	c cleaning 19998 clauses out of 40018 with flag 458460/2958028
349.47/355.01	c cleaning 21003 clauses out of 42021 with flag 504228/2980029
351.55/357.14	c cleaning 22001 clauses out of 44018 with flag 552178/3003029
354.09/359.61	c cleaning 22997 clauses out of 46017 with flag 602156/3027029
356.66/362.16	c cleaning 23997 clauses out of 48019 with flag 654303/3052028
359.24/364.76	c cleaning 25001 clauses out of 50022 with flag 708529/3078028
362.00/367.45	c cleaning 26003 clauses out of 52022 with flag 764821/3105029
365.00/370.46	c cleaning 27002 clauses out of 54019 with flag 825389/3133029
368.11/373.58	c cleaning 28002 clauses out of 56017 with flag 885661/3162029
371.36/376.79	c cleaning 28998 clauses out of 58015 with flag 947631/3192029
374.74/381.40	c cleaning 29999 clauses out of 60017 with flag 1012688/3223029
378.23/384.92	c cleaning 31000 clauses out of 62018 with flag 1079389/3255029
381.88/388.53	c cleaning 31998 clauses out of 64017 with flag 1147749/3288028
385.74/392.30	c cleaning 33001 clauses out of 66020 with flag 1218279/3322029
389.82/396.37	c cleaning 34002 clauses out of 68019 with flag 1290884/3357029
394.20/400.68	c cleaning 35000 clauses out of 70018 with flag 1369239/3393030
398.29/404.64	c cleaning 36000 clauses out of 72016 with flag 1446198/3430028
402.45/408.74	c cleaning 36999 clauses out of 74016 with flag 1525275/3468028
407.29/414.71	c cleaning 38000 clauses out of 76018 with flag 1606566/3507029
412.04/419.39	c cleaning 38999 clauses out of 78017 with flag 1689944/3547028
416.73/423.89	c cleaning 39998 clauses out of 80018 with flag 1775263/3588028
421.44/428.49	c cleaning 41002 clauses out of 82021 with flag 1862397/3630029
426.31/433.29	c cleaning 41994 clauses out of 84018 with flag 1951902/3673028
430.87/437.72	c cleaning 43002 clauses out of 86024 with flag 2042896/3717028
435.77/444.11	c cleaning 44000 clauses out of 88023 with flag 2136562/3762029
440.84/449.11	c cleaning 45003 clauses out of 90022 with flag 2232682/3808028
446.02/454.23	c cleaning 46002 clauses out of 92020 with flag 2330764/3855029
451.33/459.40	c cleaning 46999 clauses out of 94017 with flag 2430755/3903028
456.94/464.97	c cleaning 48000 clauses out of 96018 with flag 2532412/3952028
462.74/470.57	c cleaning 48999 clauses out of 98018 with flag 2636690/4002028
468.64/478.22	c cleaning 50002 clauses out of 100019 with flag 2743221/4053028
474.69/484.22	c cleaning 50997 clauses out of 102018 with flag 2851252/4105029
481.12/490.67	c cleaning 52003 clauses out of 104020 with flag 2960953/4158028
488.63/498.04	c cleaning 53000 clauses out of 106018 with flag 3074707/4212029
495.46/506.51	c cleaning 54001 clauses out of 108017 with flag 3189330/4267028
502.01/513.03	c cleaning 54999 clauses out of 110016 with flag 3305583/4323028
509.26/520.17	c cleaning 56002 clauses out of 112020 with flag 3424187/4380031
516.14/526.97	c cleaning 56999 clauses out of 114015 with flag 3545924/4438028
523.18/535.00	c cleaning 57995 clauses out of 116016 with flag 3669540/4497028
529.97/541.61	c cleaning 59001 clauses out of 118021 with flag 3794940/4557028
537.12/548.67	c cleaning 60004 clauses out of 120021 with flag 3922273/4618029
544.10/555.56	c cleaning 61000 clauses out of 122017 with flag 4051930/4680029
551.66/562.92	c cleaning 61999 clauses out of 124016 with flag 4183906/4743028
559.16/571.23	c cleaning 62997 clauses out of 126018 with flag 4318691/4807029
566.71/578.57	c cleaning 64000 clauses out of 128021 with flag 4456356/4872029
574.62/586.39	c cleaning 65005 clauses out of 130021 with flag 4593780/4938029
583.58/595.17	c cleaning 65998 clauses out of 132016 with flag 4733718/5005029
592.08/604.49	c cleaning 66993 clauses out of 134018 with flag 4875761/5073029
601.60/613.86	c cleaning 68002 clauses out of 136024 with flag 5019730/5142028
610.85/622.86	c cleaning 69002 clauses out of 138022 with flag 5165848/5212028
620.29/633.45	c cleaning 70000 clauses out of 140021 with flag 5313865/5283029
629.99/643.06	c cleaning 71001 clauses out of 142021 with flag 5463483/5355029
640.09/653.05	c cleaning 72005 clauses out of 144021 with flag 5615665/5428030
649.89/663.59	c cleaning 72996 clauses out of 146015 with flag 5769799/5502029
659.39/672.92	c cleaning 74000 clauses out of 148018 with flag 5925936/5577028
668.70/681.93	c cleaning 75004 clauses out of 150019 with flag 6084943/5653029
679.35/693.57	c cleaning 75996 clauses out of 152016 with flag 6246865/5730030
690.30/704.24	c cleaning 76995 clauses out of 154019 with flag 6410744/5808029
700.94/714.64	c cleaning 78000 clauses out of 156023 with flag 6575559/5887028
710.26/726.09	c cleaning 79000 clauses out of 158024 with flag 6743245/5967029
719.62/735.36	c cleaning 80002 clauses out of 160024 with flag 6913489/6048029
729.59/745.26	c cleaning 81000 clauses out of 162022 with flag 7086847/6130029
739.98/756.66	c cleaning 81999 clauses out of 164022 with flag 7260245/6213029
751.38/767.67	c cleaning 82999 clauses out of 166022 with flag 7435543/6297028
762.91/779.06	c cleaning 84002 clauses out of 168024 with flag 7612209/6382029
774.57/791.97	c cleaning 85000 clauses out of 170022 with flag 7791314/6468029
786.68/803.92	c cleaning 85999 clauses out of 172021 with flag 7973062/6555028
798.11/816.71	c cleaning 87006 clauses out of 174024 with flag 8157468/6643030
810.48/828.86	c cleaning 87998 clauses out of 176016 with flag 8344026/6732028
822.82/840.82	c cleaning 89000 clauses out of 178019 with flag 8533152/6822029
834.51/853.74	c cleaning 89998 clauses out of 180018 with flag 8723609/6913028
846.42/865.42	c cleaning 90999 clauses out of 182021 with flag 8916533/7005029
858.81/878.55	c cleaning 91996 clauses out of 184022 with flag 9112877/7098029
872.89/891.69	c cleaning 93003 clauses out of 186025 with flag 9310148/7192028
886.08/905.37	c cleaning 93998 clauses out of 188022 with flag 9511422/7287028
898.33/917.43	c cleaning 95003 clauses out of 190025 with flag 9712836/7383029
911.33/930.20	c cleaning 96002 clauses out of 192021 with flag 9914985/7480028
924.68/944.10	c cleaning 96998 clauses out of 194020 with flag 10119181/7578029
938.21/957.30	c cleaning 97999 clauses out of 196022 with flag 10325433/7677029
951.15/970.74	c cleaning 98999 clauses out of 198023 with flag 10534371/7777029
965.75/984.04	c cleaning 100000 clauses out of 200024 with flag 10747723/7878029
977.97/997.52	c cleaning 101001 clauses out of 202025 with flag 10965400/7980030
991.85/1011.11	c cleaning 102003 clauses out of 204025 with flag 11182414/8083031
1006.50/1025.52	c cleaning 102994 clauses out of 206020 with flag 11401724/8187029
1021.19/1042.10	c cleaning 104000 clauses out of 208026 with flag 11622196/8292029
1039.56/1062.40	c cleaning 105001 clauses out of 210026 with flag 11852105/8398029
1057.39/1079.02	c cleaning 106004 clauses out of 212024 with flag 12075426/8505028
1073.02/1094.91	c cleaning 107003 clauses out of 214021 with flag 12300408/8613029
1089.29/1110.81	c cleaning 107997 clauses out of 216018 with flag 12528520/8722029
1106.94/1128.99	c cleaning 109001 clauses out of 218021 with flag 12756803/8832029
1124.18/1145.98	c cleaning 110002 clauses out of 220020 with flag 12988157/8943029
1141.14/1163.32	c cleaning 110998 clauses out of 222017 with flag 13222354/9055028
1157.44/1179.52	c cleaning 112003 clauses out of 224020 with flag 13459294/9168029
1172.34/1195.02	c cleaning 112998 clauses out of 226018 with flag 13698074/9282030
1189.59/1210.71	c cleaning 114001 clauses out of 228019 with flag 13939131/9397029
1206.92/1228.49	c cleaning 114996 clauses out of 230017 with flag 14181935/9513028
1225.24/1246.26	c cleaning 116002 clauses out of 232024 with flag 14429789/9630031
1243.22/1263.82	c cleaning 116999 clauses out of 234019 with flag 14680764/9748028
1261.75/1281.94	c cleaning 117999 clauses out of 236020 with flag 14934174/9867028
1283.69/1302.55	c cleaning 119004 clauses out of 238021 with flag 15187904/9987028
1304.02/1322.29	c cleaning 119998 clauses out of 240017 with flag 15443087/10108028
1323.80/1342.17	c cleaning 120999 clauses out of 242020 with flag 15700551/10230029
1342.22/1359.39	c cleaning 121997 clauses out of 244020 with flag 15960327/10353028
1360.26/1378.17	c cleaning 123006 clauses out of 246026 with flag 16222763/10477031
1381.41/1399.78	c cleaning 123998 clauses out of 248017 with flag 16489362/10602028
1402.89/1419.91	c cleaning 125000 clauses out of 250019 with flag 16756563/10728028
1421.99/1439.70	c cleaning 126001 clauses out of 252019 with flag 17025172/10855028
1443.24/1461.19	c cleaning 126999 clauses out of 254018 with flag 17296562/10983028
1463.67/1480.15	c cleaning 128001 clauses out of 256022 with flag 17569942/11112031
1485.04/1500.80	c cleaning 128998 clauses out of 258019 with flag 17844944/11242029
1504.54/1521.32	c cleaning 129997 clauses out of 260020 with flag 18123841/11373028
1526.47/1541.85	c cleaning 131003 clauses out of 262024 with flag 18402515/11505029
1548.88/1564.64	c cleaning 132003 clauses out of 264020 with flag 18681548/11638028
1571.67/1586.73	c cleaning 132998 clauses out of 266017 with flag 18963065/11772028
1593.78/1608.35	c cleaning 134000 clauses out of 268019 with flag 19245823/11907028
1616.76/1630.62	c cleaning 134996 clauses out of 270020 with flag 19532756/12043029
1638.30/1652.93	c cleaning 135999 clauses out of 272023 with flag 19821872/12180028
1662.70/1676.95	c cleaning 136999 clauses out of 274024 with flag 20111745/12318028
1684.31/1698.12	c cleaning 138003 clauses out of 276026 with flag 20403399/12457029
1706.88/1720.10	c cleaning 138999 clauses out of 278023 with flag 20697983/12597029
1728.10/1741.65	c cleaning 140003 clauses out of 280023 with flag 20995068/12738028
1751.15/1763.36	c cleaning 141001 clauses out of 282020 with flag 21290916/12880028
1779.27/1791.49	c cleaning 141999 clauses out of 284020 with flag 21589087/13023029
1804.50/1817.31	c cleaning 142995 clauses out of 286020 with flag 21890504/13167028
1830.34/1842.28	c cleaning 144003 clauses out of 288025 with flag 22191645/13312028
1856.19/1867.24	c cleaning 145002 clauses out of 290022 with flag 22498915/13458028
1884.22/1893.39	c cleaning 146000 clauses out of 292021 with flag 22807530/13605029
1912.17/1919.09	c cleaning 146995 clauses out of 294020 with flag 23117960/13753028
1940.05/1945.33	c cleaning 148004 clauses out of 296026 with flag 23429590/13902029
1969.67/1974.08	c cleaning 149003 clauses out of 298021 with flag 23742405/14052028
1999.30/2003.69	c cleaning 149999 clauses out of 300018 with flag 24056419/14203028
2028.59/2031.85	c cleaning 151000 clauses out of 302020 with flag 24372589/14355029
2054.24/2057.30	c cleaning 152003 clauses out of 304019 with flag 24694366/14508028
2079.24/2081.46	c cleaning 152995 clauses out of 306016 with flag 25018966/14662028
2108.69/2111.09	c cleaning 154003 clauses out of 308023 with flag 25342527/14817030
2136.78/2138.39	c cleaning 154997 clauses out of 310018 with flag 25670867/14973028
2162.80/2165.66	c cleaning 155996 clauses out of 312021 with flag 26001249/15130028
2191.07/2192.35	c cleaning 157001 clauses out of 314026 with flag 26332592/15288029
2222.78/2223.39	c cleaning 158003 clauses out of 316025 with flag 26665641/15447029
2253.31/2253.49	c cleaning 158995 clauses out of 318021 with flag 27002033/15607028
2280.64/2280.90	c cleaning 160003 clauses out of 320027 with flag 27340347/15768029
2310.24/2309.78	c cleaning 160999 clauses out of 322023 with flag 27680016/15930028
2342.02/2342.05	c cleaning 162002 clauses out of 324025 with flag 28020260/16093029
2375.76/2374.28	c cleaning 162997 clauses out of 326022 with flag 28362057/16257028
2407.95/2407.22	c cleaning 164003 clauses out of 328025 with flag 28705924/16422028
2440.58/2439.68	c cleaning 165001 clauses out of 330023 with flag 29054869/16588029
2473.40/2472.19	c cleaning 166001 clauses out of 332021 with flag 29405603/16755028
2506.08/2502.06	c cleaning 167000 clauses out of 334020 with flag 29759763/16923028
2536.17/2530.00	c cleaning 168002 clauses out of 336022 with flag 30113962/17092030
2565.09/2558.83	c cleaning 169000 clauses out of 338018 with flag 30469467/17262028
2597.18/2589.61	c cleaning 170000 clauses out of 340018 with flag 30828165/17433028
2626.97/2619.46	c cleaning 170999 clauses out of 342020 with flag 31187660/17605030
2660.22/2651.55	c cleaning 171998 clauses out of 344020 with flag 31549836/17778029
2690.50/2681.77	c cleaning 172996 clauses out of 346021 with flag 31916874/17952028
2725.77/2715.87	c cleaning 174001 clauses out of 348025 with flag 32280128/18127028
2767.79/2755.86	c cleaning 175009 clauses out of 350025 with flag 32646623/18303029
2807.81/2794.24	c cleaning 175999 clauses out of 352016 with flag 33013040/18480029
2847.55/2830.81	c cleaning 176999 clauses out of 354017 with flag 33381902/18658029
2891.12/2871.93	c cleaning 177999 clauses out of 356017 with flag 33753072/18837028
2927.75/2907.64	c cleaning 179000 clauses out of 358018 with flag 34129313/19017028
2966.95/2943.44	c cleaning 179998 clauses out of 360018 with flag 34505564/19198028
3005.31/2978.48	c cleaning 180999 clauses out of 362020 with flag 34884787/19380028
3039.01/3010.45	c cleaning 181996 clauses out of 364021 with flag 35265944/19563028
3070.92/3041.20	c cleaning 183000 clauses out of 366025 with flag 35650695/19747028
3110.74/3079.57	c cleaning 184003 clauses out of 368025 with flag 36037279/19932028
3147.00/3114.89	c cleaning 185002 clauses out of 370023 with flag 36425911/20118029
3185.07/3150.77	c cleaning 186005 clauses out of 372022 with flag 36815662/20305030
3222.06/3186.82	c cleaning 186998 clauses out of 374016 with flag 37209959/20493029
3264.74/3226.29	c cleaning 187998 clauses out of 376018 with flag 37603747/20682029
3303.30/3261.22	c cleaning 188999 clauses out of 378019 with flag 37996923/20872028
3342.92/3297.54	c cleaning 189997 clauses out of 380020 with flag 38392905/21063028
3378.60/3329.83	c cleaning 190998 clauses out of 382023 with flag 38795345/21255028
3417.64/3365.97	c cleaning 192001 clauses out of 384025 with flag 39197680/21448028
3454.03/3400.26	c cleaning 193002 clauses out of 386025 with flag 39604361/21642029
3492.05/3436.83	c cleaning 194005 clauses out of 388023 with flag 40011360/21837029
3526.55/3469.78	c cleaning 194999 clauses out of 390018 with flag 40419805/22033029
3561.98/3503.58	c cleaning 196001 clauses out of 392018 with flag 40832945/22230028
3598.57/3538.48	c cleaning 196995 clauses out of 394018 with flag 41247492/22428029
3600.09/3539.85	c starts		: 10
3600.09/3539.85	c conflicts		: 22440990
3600.09/3539.85	c decisions		: 29906820
3600.09/3539.85	c propagations		: 249147848
3600.09/3539.85	c inspects		: 14590792871
3600.09/3539.85	c shortcuts		: 0
3600.09/3539.85	c learnt literals	: 0
3600.09/3539.85	c learnt binary clauses	: 0
3600.09/3539.85	c learnt ternary clauses	: 0
3600.09/3539.85	c learnt constraints	: 22440990
3600.09/3539.85	c ignored constraints	: 0
3600.09/3539.85	c root simplifications	: 0
3600.09/3539.85	c removed literals (reason simplification)	: 267732
3600.09/3539.85	c reason swapping (by a shorter reason)	: 0
3600.09/3539.85	c Calls to reduceDB	: 289
3600.09/3539.85	c Number of update (reduction) of LBD	: 598745
3600.09/3539.85	c Imported unit clauses	: 0
3600.09/3539.85	c No decision after first conflict	: false
3600.09/3539.85	c number of reductions to clauses (during analyze)	: 0
3600.09/3539.85	c number of learned constraints concerned by reduction	: 0
3600.09/3539.85	c number of learning phase by resolution	: 0
3600.09/3539.85	c number of learning phase by cutting planes	: 0
3600.09/3539.85	c number of rounding to 1 operations	: 0
3600.09/3539.85	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3539.85	c number of reductions of the coefficients by power 2 	: 0
3600.09/3539.85	c number of right shift for reduction by power 2 	: 0
3600.09/3539.85	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3539.85	c number of ending skipping 	: 0
3600.09/3539.85	c number of internal skipping 	: 0
3600.09/3539.85	c number of derivation steps 	: 0
3600.09/3539.85	c number of skipped derivation steps 	: 0
3600.09/3539.85	c number of remaining unassigned 	: 0
3600.09/3539.85	c number of remaining assigned 	: 0
3600.09/3539.85	c number of falsified literals weakened from reason	: 0
3600.09/3539.85	c number of falsified literals weakened from conflict	: 0
3600.09/3539.85	c time for arithmetic operations	: 0
3600.09/3539.85	c minimum degree of deleted constraints	: null
3600.09/3539.85	c maximum degree of deleted constraints	: null
3600.09/3539.85	c number of deleted constraints	: 0
3600.09/3539.85	c speed (assignments/second)	: 70387.66748821635
3600.09/3539.85	c non guided choices	: 0
3600.32/3539.93	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 209984
3600.32/3539.93	s SATISFIABLE
3600.32/3539.93	c Found 9 solution(s)
3600.32/3539.93	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 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 
3600.32/3539.94	c objective function=214
3600.32/3539.94	c Total wall clock time (in seconds): 3539.81

Verifier Data 

OK	214

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=135493, runsolver pid=135490

[startup+0.102215 s]*
/proc/loadavg: 4.23 4.34 4.36 5/337 135511
/proc/meminfo: memFree=83602632/131524600 swapFree=131071472/131071996
[pid=135493] ppid=135490 vsize=18975048 memory=66780 CPUtime=0.14 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 7129 0 0 0 12 2 0 0 20 0 18 0 13452648 19430449152 16695 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4743762 16695 5630 1 0 549337 0
[pid=135493/tid=135495] ppid=135490 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 1077936192 5707 0 0 0 7 1 0 0 20 0 18 0 13452649 19430449152 16695 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13452651 19430449152 16695 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=18975048 memory=15262540771628552 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13452652 19430449152 16695 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66780 KiB

[startup+0.212399 s]*
/proc/loadavg: 4.23 4.34 4.36 7/338 135512
/proc/meminfo: memFree=83592432/131524600 swapFree=131071472/131071996
[pid=135493] ppid=135490 vsize=19041612 memory=73604 CPUtime=0.32 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 7704 0 0 0 30 2 0 0 20 0 19 0 13452648 19498610688 18401 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4760403 18401 5821 1 0 550008 0
[pid=135493/tid=135495] ppid=135490 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 6015 0 0 0 16 1 0 0 20 0 19 0 13452649 19498610688 18401 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19041612 memory=792316 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13452651 19498610688 18401 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19041612 memory=13855165887284878 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13452652 19498610688 18401 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13452668 19498610688 18401 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73604 KiB

[startup+0.306109 s]*
/proc/loadavg: 4.23 4.34 4.36 6/338 135512
/proc/meminfo: memFree=83574576/131524600 swapFree=131071472/131071996
[pid=135493] ppid=135490 vsize=19041612 memory=87956 CPUtime=0.48 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 8734 0 0 0 46 2 0 0 20 0 19 0 13452648 19498610688 21989 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4760403 21989 5821 1 0 550405 0
[pid=135493/tid=135495] ppid=135490 vsize=19041612 memory=-9175070935229440700 CPUtime=0.25 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 6030 0 0 0 24 1 0 0 20 0 19 0 13452649 19498610688 21989 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13452651 19498610688 21989 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13452652 19498610688 21989 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13452668 19498610688 21989 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 87956 KiB

[startup+0.706412 s]
/proc/loadavg: 4.53 4.40 4.38 8/338 135512
/proc/meminfo: memFree=83508800/131524600 swapFree=131071472/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=169732 CPUtime=1.25 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 11882 0 0 0 120 5 0 0 20 0 20 0 13452648 19566772224 42433 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 42433 5827 1 0 551452 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=50852 CPUtime=0.63 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 6071 0 0 0 60 3 0 0 20 0 20 0 13452649 19566772224 42433 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 42433 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=2296 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 42433 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=25608 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 42433 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 169732 KiB

[startup+1.5034 s]
/proc/loadavg: 4.53 4.40 4.38 6/339 135513
/proc/meminfo: memFree=83460824/131524600 swapFree=131071472/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=193860 CPUtime=2.82 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 20071 0 0 0 276 6 0 0 20 0 20 0 13452648 19566772224 48465 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 48465 5875 1 0 554276 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=12304 CPUtime=1.38 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 6387 0 0 0 134 4 0 0 20 0 20 0 13452649 19566772224 48465 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 48465 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=2296 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 48465 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=25608 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 48465 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193860 KiB

[startup+3.10642 s]
/proc/loadavg: 4.53 4.40 4.38 6/339 135513
/proc/meminfo: memFree=82743084/131524600 swapFree=131071472/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=773072 CPUtime=5.37 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 23584 0 0 0 518 19 0 0 20 0 20 0 13452648 19566772224 193268 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 193268 5875 1 0 686219 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=0 CPUtime=2.89 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 7665 0 0 0 275 14 0 0 20 0 20 0 13452649 19566772224 193268 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=-9175070935229440700 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 193268 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 193268 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=2296 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 193268 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 5.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 773072 KiB

[startup+6.3004 s]
/proc/loadavg: 4.57 4.41 4.38 5/339 135514
/proc/meminfo: memFree=81704512/131524600 swapFree=131071472/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=1573792 CPUtime=8.75 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 24984 0 0 0 835 40 0 0 20 0 20 0 13452648 19566772224 393448 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 393448 5875 1 0 1010017 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=2296 CPUtime=5.85 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 8045 0 0 0 555 30 0 0 20 0 20 0 13452649 19566772224 393448 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 393448 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 393448 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 393448 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1573792 KiB

[startup+12.7002 s]
/proc/loadavg: 4.53 4.40 4.38 5/339 135514
/proc/meminfo: memFree=79974752/131524600 swapFree=131071472/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=2679892 CPUtime=15.37 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 26129 0 0 0 1465 72 0 0 20 0 20 0 13452648 19566772224 669973 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 669973 5875 1 0 1206376 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=12304 CPUtime=11.85 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 8457 0 0 0 1128 57 0 0 20 0 20 0 13452649 19566772224 669973 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=2427608 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 669973 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=50852 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 669973 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 669973 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 15.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2679892 KiB

[startup+25.5003 s]
/proc/loadavg: 4.52 4.40 4.38 5/339 135517
/proc/meminfo: memFree=78008356/131524600 swapFree=131071472/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=3255908 CPUtime=28.65 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 30476 0 0 0 2763 102 0 0 20 0 20 0 13452648 19566772224 813977 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 813977 5875 1 0 1206382 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=6943526294502006880 CPUtime=24.07 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 10970 0 0 0 2325 82 0 0 20 0 20 0 13452649 19566772224 813977 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 813977 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=3524 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 813977 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 813977 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 28.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3255908 KiB

[startup+51.1058 s]
/proc/loadavg: 4.40 4.38 4.37 4/339 135521
/proc/meminfo: memFree=72978072/131524600 swapFree=131071472/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=4201320 CPUtime=53.61 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 38219 0 0 0 5205 156 0 0 20 0 20 0 13452648 19566772224 1050330 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 1050330 5875 1 0 1323364 0

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

/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 1015161 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=4060644 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 2221 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 1015161 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=4060644 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 1015161 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 3198.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4060644 KiB

[startup+3222.3 s]
/proc/loadavg: 4.32 4.45 4.42 5/342 137611
/proc/meminfo: memFree=647672/131524600 swapFree=131056540/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=4063636 CPUtime=3260.88 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 787195 0 0 0 322467 3621 0 0 20 0 20 0 13452648 19566772224 1015909 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 1015909 5900 1 0 1028115 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=4468480 CPUtime=3019.26 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 338237 0 0 0 298565 3361 0 0 20 0 20 0 13452649 19566772224 1015909 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 10853 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=51052 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 1015909 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=4060656 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 2221 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 1015909 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=4063636 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 1015909 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 3260.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4063636 KiB

[startup+3282.3 s]
/proc/loadavg: 4.39 4.46 4.43 6/340 137621
/proc/meminfo: memFree=2899528/131524600 swapFree=131056540/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=4063644 CPUtime=3325.68 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 804952 0 0 0 328887 3681 0 0 20 0 20 0 13452648 19566772224 1015911 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 1015911 5900 1 0 1028115 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=4063644 CPUtime=3076.2 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 343932 0 0 0 304205 3415 0 0 20 0 20 0 13452649 19566772224 1015911 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10946 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=18956 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 1015911 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=4063644 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 2276 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 1015911 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=4063644 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 1015911 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 3325.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4063644 KiB

[startup+3342.3 s]
/proc/loadavg: 4.50 4.47 4.43 4/343 137892
/proc/meminfo: memFree=1138608/131524600 swapFree=131056540/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=4063644 CPUtime=3392.08 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 806676 0 0 0 335466 3742 0 0 20 0 20 0 13452648 19566772224 1015911 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 1015911 5900 1 0 1028115 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=4063644 CPUtime=3133.44 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) D 135490 135493 133285 0 -1 4194368 345504 0 0 0 309876 3468 0 0 20 0 20 0 13452649 19566772224 1015911 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 11007 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 1015911 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 2277 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 1015911 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 1015911 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 3392.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4063644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.39 4.44 4.42 5/343 137935
/proc/meminfo: memFree=572360/131524600 swapFree=131049848/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=4791560 CPUtime=3456.11 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 1142890 0 0 0 341774 3837 0 0 20 0 20 0 13452648 19566772224 1197890 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 1197890 5900 1 0 1210444 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=4063644 CPUtime=3190.46 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 668812 0 0 0 315489 3557 0 0 20 0 20 0 13452649 19566772224 1197890 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 11154 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 1197890 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=4063644 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 2278 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 1197890 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=4791560 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 1197890 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 3456.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4791560 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.40 4.41 5/343 138015
/proc/meminfo: memFree=11745328/131524600 swapFree=131049848/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=4791572 CPUtime=3517.68 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 1159540 0 0 0 347867 3901 0 0 20 0 20 0 13452648 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 1197893 5900 1 0 1210444 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=4063644 CPUtime=3247.4 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 672414 0 0 0 321124 3616 0 0 20 0 20 0 13452649 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 11276 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=4791572 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 2332 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 3517.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4791572 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.39 4.41 5/343 138028
/proc/meminfo: memFree=13456440/131524600 swapFree=131049848/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=4791572 CPUtime=3581.27 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 1164236 0 0 0 354165 3962 0 0 20 0 20 0 13452648 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 1197893 5900 1 0 1210487 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=4791572 CPUtime=3304.03 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) R 135490 135493 133285 0 -1 4194368 675843 0 0 0 326730 3673 0 0 20 0 20 0 13452649 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 11409 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=39732 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=39732 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 2332 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=4791572 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 3581.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4791572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3539.8 s]
/proc/loadavg: 4.49 4.43 4.42 6/342 138098
/proc/meminfo: memFree=53287148/131524600 swapFree=131049848/131071996
[pid=135493] ppid=135490 vsize=19108176 memory=4791572 CPUtime=3600.09 cores=4,6
/proc/135493/stat : 135493 (java) S 135490 135493 133285 0 -1 1077936128 1258635 0 0 0 356024 3985 0 0 20 0 20 0 13452648 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
/proc/135493/statm: 4777044 1197893 5900 1 0 1210487 0
[pid=135493/tid=135495] ppid=135490 vsize=19108176 memory=15884 CPUtime=3320.2 cores=4,6
/proc/135493/task/135495/stat : 135495 (java) S 135490 135493 133285 0 -1 1077936192 765920 0 0 0 328328 3692 0 0 20 0 20 0 13452649 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 11504 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135504] ppid=135490 vsize=19108176 memory=4791572 CPUtime=0 cores=4,6
/proc/135493/task/135504/stat : 135504 (Finalizer) S 135490 135493 133285 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13452651 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135511] ppid=135490 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/135493/task/135511/stat : 135511 (Common-Cleaner) S 135490 135493 133285 0 -1 1077936192 2332 0 0 0 0 0 0 0 20 0 20 0 13452652 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
[pid=135493/tid=135512] ppid=135490 vsize=19108176 memory=5432 CPUtime=0 cores=4,6
/proc/135493/task/135512/stat : 135512 (Timer-0) S 135490 135493 133285 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13452668 19566772224 1197893 134679101440 94623442391040 94623442394736 140722080308416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94623442402552 94623442403344 94623465799680 140722080310187 140722080310369 140722080310369 140722080317384 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4791572 KiB

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

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

# cumulated CPU time of all completed processes:  user=3560.51 s, system=39.9164 s

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

[startup+3540 s]*
/proc/loadavg: 4.49 4.43 4.42 7/324 138101
/proc/meminfo: memFree=57782472/131524600 swapFree=131049848/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): 3540.07
CPU time (s): 3600.43
CPU user time (s): 3560.51
CPU system time (s): 39.9164
CPU usage (%): 101.705
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6159780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.51
system time used= 39.9164
maximum resident set size= 6159780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1261891
page faults= 0
swaps= 0
block input operations= 8
block output operations= 74533104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140364
involuntary context switches= 22686


# summary of solver processes directly reported to runsolver:
#   pid: 135493
#   total CPU time (s): 3600.43
#   total CPU user time (s): 3560.51
#   total CPU system time (s): 39.9164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.10362 second user time and 17.0556 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-23 23:14:53
IDJOB=4440286
IDBENCH=147540
IDSOLVER=3079
FILE ID=nodeC028/4440286-1721769293
RUNJOBID= nodeC028-1721765707-133296
SLURM_JOB_ID= 7770675
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.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-4440286-1721769293/watcher-4440286-1721769293 -o /tmp/evaluation-result-4440286-1721769293/solver-4440286-1721769293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721765707-133296 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440286-1721769293 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440286-1721769293.opb

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

MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc
RANDOM SEED=2007171220

nodeC028.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		: 3666.549
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.46
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		: 3681.123
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.51
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		: 3603.741
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.46
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		: 3600.103
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.51
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		: 3640.881
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.46
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		: 3683.754
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.51
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		: 3647.024
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.46
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		: 3600.054
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        83652792 kB
MemAvailable:   118889940 kB
Buffers:          177336 kB
Cached:         35777252 kB
SwapCached:           44 kB
Active:          1291920 kB
Inactive:       45726896 kB
Active(anon):       3748 kB
Inactive(anon): 11106556 kB
Active(file):    1288172 kB
Inactive(file): 34620340 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            598176 kB
Writeback:             0 kB
AnonPages:      11063260 kB
Mapped:           127856 kB
Shmem:             45712 kB
KReclaimable:     336916 kB
Slab:             468284 kB
SReclaimable:     336916 kB
SUnreclaim:       131368 kB
KernelStack:        5168 kB
PageTables:        31424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   16372988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21632 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9904128 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:      330452 kB
DirectMap2M:    26705920 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC028 at 2024-07-24 00:13:53