Trace number 4489330

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 2025-06-06SAT (TO)225 3600.34 3551.17

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
MD5SUMf4fbd70ee8b80515313bebcddc52f82a
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 benchmark181
Best CPU time to get the best result obtained on this benchmark3600.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables476
Total number of constraints476
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 constraints476
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 476
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 476
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 476
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.10/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.11	c java.vm.version	22.0.1+8-16
0.10/0.11	c java.vm.vendor	Oracle Corporation
0.10/0.11	c sun.arch.data.model	64
0.10/0.11	c java.version		22.0.1
0.10/0.11	c os.name		Linux
0.10/0.11	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.11	c os.arch		amd64
0.10/0.11	c Free memory 		2104792832
0.10/0.11	c Max memory 		16282288128
0.10/0.11	c Total memory 		2113929216
0.10/0.12	c Number of processors 	2
0.10/0.16	c Pseudo Boolean Optimization by upper bound
0.10/0.16	c --- Begin Solver configuration ---
0.10/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.16	c Learn all clauses as in MiniSAT
0.10/0.16	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.16	c Expensive reason simplification
0.10/0.16	c Glucose 2.1 dynamic restart strategy
0.10/0.16	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.10/0.16	c timeout=2147483s
0.10/0.16	c DB Simplification allowed=false
0.10/0.16	c Listener: none
0.10/0.16	c --- End Solver configuration ---
0.10/0.16	c solving HOME/instance-4489330-1751341089.opb
0.10/0.16	c reading problem ... 
0.10/0.17	c  objective function found
0.27/0.22	c ... done. Wall clock time 0.057s.
0.27/0.22	c declared #vars     476
0.27/0.22	c #constraints  476
0.27/0.22	c constraints type 
0.27/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 476
0.27/0.22	c 476 constraints processed.
0.27/0.24	c objective function length is 476 literals
0.27/0.24	c SATISFIABLE
0.27/0.25	c OPTIMIZING...
0.27/0.25	c Got one! Elapsed wall clock time (in seconds):0.081
0.27/0.25	o 230
0.47/0.31	c Got one! Elapsed wall clock time (in seconds):0.15
0.47/0.31	o 229
1.43/0.85	c cleaning 2632 clauses out of 5274 with flag 10178/5274
1.94/1.17	c cleaning 4316 clauses out of 8642 with flag 22333/11274
2.11/1.23	c Got one! Elapsed wall clock time (in seconds):1.064
2.11/1.23	o 228
2.22/1.39	c cleaning 5045 clauses out of 10101 with flag 8164/17049
2.53/1.63	c cleaning 5520 clauses out of 11056 with flag 20237/23049
2.73/1.84	c Got one! Elapsed wall clock time (in seconds):1.675
2.73/1.84	o 227
2.73/1.89	c cleaning 5695 clauses out of 11409 with flag 2076/28922
3.25/2.20	c cleaning 5852 clauses out of 11715 with flag 14995/34923
3.45/2.48	c cleaning 6424 clauses out of 12863 with flag 29431/41923
4.11/2.91	c cleaning 7211 clauses out of 14438 with flag 46436/49922
4.51/3.30	c cleaning 8105 clauses out of 16228 with flag 65175/58923
4.91/3.74	c cleaning 9053 clauses out of 18122 with flag 85881/68922
5.44/4.28	c cleaning 10030 clauses out of 20069 with flag 108457/79922
6.05/4.82	c cleaning 11015 clauses out of 22040 with flag 133413/91923
6.68/5.44	c cleaning 12003 clauses out of 24024 with flag 160340/104922
6.68/5.45	c Got one! Elapsed wall clock time (in seconds):5.29
6.68/5.45	o 226
6.89/5.68	c cleaning 8743 clauses out of 17507 with flag 10711/110408
7.22/5.97	c cleaning 7374 clauses out of 14764 with flag 23275/116408
7.57/6.27	c cleaning 7185 clauses out of 14391 with flag 37706/123409
7.98/6.60	c cleaning 7595 clauses out of 15206 with flag 54216/131409
8.29/6.97	c cleaning 8296 clauses out of 16610 with flag 73042/140408
8.81/7.42	c cleaning 9148 clauses out of 18315 with flag 93821/150409
9.21/7.88	c cleaning 10076 clauses out of 20166 with flag 116449/161408
9.71/8.37	c cleaning 11036 clauses out of 22091 with flag 141335/173409
10.36/8.96	c cleaning 12017 clauses out of 24054 with flag 167710/186408
10.96/9.56	c cleaning 13011 clauses out of 26037 with flag 196148/200408
11.83/10.31	c cleaning 14006 clauses out of 28027 with flag 226772/215409
12.53/11.07	c cleaning 15001 clauses out of 30020 with flag 259931/231408
13.47/11.94	c cleaning 16002 clauses out of 32019 with flag 294872/248408
14.26/12.79	c cleaning 17005 clauses out of 34017 with flag 332068/266408
15.34/13.75	c cleaning 17998 clauses out of 36013 with flag 371388/285409
16.35/14.71	c cleaning 19000 clauses out of 38015 with flag 412898/305409
17.39/15.73	c cleaning 19996 clauses out of 40014 with flag 456036/326408
18.57/16.88	c cleaning 21001 clauses out of 42018 with flag 501203/348408
19.77/18.06	c cleaning 21999 clauses out of 44017 with flag 549217/371408
21.14/19.36	c cleaning 22999 clauses out of 46019 with flag 599008/395409
22.52/20.68	c cleaning 24000 clauses out of 48020 with flag 650597/420409
23.91/22.10	c cleaning 25005 clauses out of 50019 with flag 704345/446408
25.61/23.60	c cleaning 26002 clauses out of 52015 with flag 760472/473409
26.91/24.96	c cleaning 27002 clauses out of 54013 with flag 818492/501409
28.44/26.41	c cleaning 27998 clauses out of 56010 with flag 878635/530408
30.19/28.13	c cleaning 29001 clauses out of 58012 with flag 940918/560408
32.19/30.03	c cleaning 30001 clauses out of 60011 with flag 1005532/591408
34.38/32.20	c cleaning 30998 clauses out of 62010 with flag 1072639/623408
36.76/34.52	c cleaning 31994 clauses out of 64012 with flag 1141435/656408
39.03/36.79	c cleaning 33004 clauses out of 66019 with flag 1212836/690409
41.33/39.05	c cleaning 33998 clauses out of 68014 with flag 1285695/725408
43.62/41.32	c cleaning 35002 clauses out of 70016 with flag 1360632/761408
46.23/43.81	c cleaning 35998 clauses out of 72014 with flag 1437661/798408
48.22/45.86	c cleaning 37002 clauses out of 74017 with flag 1516755/836409
50.52/48.12	c cleaning 38002 clauses out of 76015 with flag 1598050/875409
53.14/50.62	c cleaning 38994 clauses out of 78013 with flag 1681019/915409
55.74/53.28	c cleaning 40002 clauses out of 80018 with flag 1766458/956408
58.41/55.85	c cleaning 40999 clauses out of 82017 with flag 1854048/998409
61.00/58.48	c cleaning 41998 clauses out of 84017 with flag 1943023/1041408
64.82/62.15	c cleaning 43000 clauses out of 86019 with flag 2034561/1085408
67.71/65.05	c cleaning 44001 clauses out of 88020 with flag 2128449/1130409
71.60/68.90	c cleaning 44993 clauses out of 90018 with flag 2226720/1176408
76.01/72.80	c cleaning 46005 clauses out of 92026 with flag 2325607/1223409
79.82/76.57	c cleaning 47003 clauses out of 94021 with flag 2426248/1271409
83.91/80.65	c cleaning 48000 clauses out of 96018 with flag 2530530/1320409
88.24/84.81	c cleaning 49003 clauses out of 98017 with flag 2634141/1370408
91.83/88.43	c cleaning 50002 clauses out of 100015 with flag 2740697/1421409
96.40/92.80	c cleaning 50997 clauses out of 102012 with flag 2848846/1473408
99.97/96.37	c cleaning 51995 clauses out of 104015 with flag 2959352/1526408
103.37/99.66	c cleaning 52999 clauses out of 106020 with flag 3071954/1580408
106.57/102.85	c cleaning 54001 clauses out of 108021 with flag 3185369/1635408
110.09/106.34	c cleaning 55000 clauses out of 110020 with flag 3302119/1691408
113.79/110.10	c cleaning 55997 clauses out of 112020 with flag 3420393/1748408
118.04/114.18	c cleaning 57003 clauses out of 114023 with flag 3542099/1806408
121.93/118.07	c cleaning 58002 clauses out of 116022 with flag 3666219/1865410
126.03/122.17	c cleaning 58997 clauses out of 118019 with flag 3791221/1925409
129.71/125.89	c cleaning 60001 clauses out of 120022 with flag 3918294/1986409
134.01/130.17	c cleaning 61002 clauses out of 122020 with flag 4048095/2048408
138.49/134.69	c cleaning 61994 clauses out of 124018 with flag 4179596/2111408
142.88/138.88	c cleaning 62997 clauses out of 126025 with flag 4312312/2175409
147.67/143.67	c cleaning 64001 clauses out of 128028 with flag 4447524/2240409
153.06/149.04	c cleaning 65002 clauses out of 130026 with flag 4586258/2306408
158.11/153.94	c cleaning 66002 clauses out of 132025 with flag 4725936/2373409
162.11/157.99	c cleaning 67000 clauses out of 134023 with flag 4866505/2441409
166.54/162.30	c cleaning 68001 clauses out of 136023 with flag 5009187/2510409
171.03/166.72	c cleaning 69001 clauses out of 138022 with flag 5155096/2580409
176.36/171.49	c cleaning 70000 clauses out of 140020 with flag 5302951/2651408
180.85/175.95	c cleaning 71000 clauses out of 142021 with flag 5452510/2723409
186.14/181.00	c cleaning 71999 clauses out of 144020 with flag 5603844/2796408
190.83/185.67	c cleaning 73000 clauses out of 146022 with flag 5758543/2870409
195.71/190.37	c cleaning 74002 clauses out of 148022 with flag 5912731/2945409
200.87/195.35	c cleaning 74998 clauses out of 150020 with flag 6069515/3021409
206.26/200.73	c cleaning 76003 clauses out of 152022 with flag 6230867/3098409
211.78/206.12	c cleaning 76997 clauses out of 154018 with flag 6393404/3176408
217.03/211.28	c cleaning 77998 clauses out of 156021 with flag 6557491/3255408
222.23/216.48	c cleaning 78997 clauses out of 158023 with flag 6723020/3335408
229.90/223.92	c cleaning 80000 clauses out of 160026 with flag 6911443/3416408
239.88/233.92	c cleaning 81007 clauses out of 162026 with flag 7126427/3498408
246.27/240.28	c Got one! Elapsed wall clock time (in seconds):240.118
246.27/240.28	o 225
247.08/241.08	c cleaning 73746 clauses out of 147505 with flag 10381/3564894
247.87/241.85	c cleaning 39870 clauses out of 79758 with flag 22819/3570893
248.27/242.28	c cleaning 23436 clauses out of 46888 with flag 37309/3577893
248.67/242.64	c cleaning 15722 clauses out of 31453 with flag 53916/3585894
248.97/242.99	c cleaning 12358 clauses out of 24730 with flag 72551/3594893
249.37/243.38	c cleaning 11180 clauses out of 22372 with flag 93281/3604893
249.87/243.83	c cleaning 11090 clauses out of 22193 with flag 116106/3615894
250.37/244.31	c cleaning 11542 clauses out of 23103 with flag 141013/3627894
250.86/244.86	c cleaning 12273 clauses out of 24562 with flag 167961/3640895
251.46/245.46	c cleaning 13134 clauses out of 26288 with flag 197080/3654894
252.17/246.10	c cleaning 14065 clauses out of 28153 with flag 227961/3669893
253.07/246.90	c cleaning 15031 clauses out of 30088 with flag 260970/3685893
253.77/247.68	c cleaning 16019 clauses out of 32058 with flag 296132/3702894
254.67/248.55	c cleaning 17008 clauses out of 34038 with flag 333437/3720893
255.57/249.40	c cleaning 18006 clauses out of 36030 with flag 373094/3739893
256.47/250.36	c cleaning 19004 clauses out of 38025 with flag 414985/3759894
257.57/251.46	c cleaning 19997 clauses out of 40020 with flag 458712/3780893
258.66/252.59	c cleaning 21002 clauses out of 42024 with flag 504749/3802894
259.86/253.73	c cleaning 22000 clauses out of 44021 with flag 553060/3825893
261.06/254.92	c cleaning 23003 clauses out of 46021 with flag 603304/3849893
262.43/256.22	c cleaning 23999 clauses out of 48018 with flag 655745/3874893
263.72/257.54	c cleaning 24998 clauses out of 50019 with flag 710039/3900893
265.12/258.97	c cleaning 26002 clauses out of 52021 with flag 766147/3927893
266.72/260.53	c cleaning 26997 clauses out of 54019 with flag 824854/3955893
268.32/262.19	c cleaning 28001 clauses out of 56023 with flag 885255/3984894
270.22/264.02	c cleaning 29001 clauses out of 58021 with flag 948005/4014893
272.74/266.25	c cleaning 30001 clauses out of 60020 with flag 1012607/4045893
274.84/268.39	c cleaning 31001 clauses out of 62020 with flag 1079524/4077894
277.13/270.61	c cleaning 32001 clauses out of 64019 with flag 1148479/4110894
279.33/272.80	c cleaning 33002 clauses out of 66018 with flag 1219678/4144894
281.73/275.24	c cleaning 34002 clauses out of 68015 with flag 1293522/4179893
284.42/278.00	c cleaning 34998 clauses out of 70013 with flag 1368883/4215893
287.27/280.72	c cleaning 36001 clauses out of 72015 with flag 1445910/4252893
289.77/283.24	c cleaning 36996 clauses out of 74014 with flag 1525506/4290893
292.26/285.75	c cleaning 37997 clauses out of 76018 with flag 1606783/4329893
294.76/288.23	c cleaning 38999 clauses out of 78021 with flag 1690291/4369893
297.05/290.54	c cleaning 40000 clauses out of 80022 with flag 1776082/4410893
299.45/292.96	c cleaning 41001 clauses out of 82022 with flag 1864291/4452893
302.00/295.45	c cleaning 41999 clauses out of 84021 with flag 1954630/4495893
304.70/298.12	c cleaning 43004 clauses out of 86023 with flag 2046603/4539894
307.49/300.91	c cleaning 43995 clauses out of 88018 with flag 2141015/4584893
310.78/304.28	c cleaning 44998 clauses out of 90024 with flag 2237333/4630894
314.07/307.56	c cleaning 46003 clauses out of 92025 with flag 2335677/4677893
317.37/310.80	c cleaning 47002 clauses out of 94022 with flag 2435903/4725893
320.63/314.03	c cleaning 47998 clauses out of 96020 with flag 2538412/4774893
323.72/317.12	c cleaning 49001 clauses out of 98023 with flag 2643178/4824894
326.91/320.30	c cleaning 50004 clauses out of 100021 with flag 2750284/4875893
330.10/323.59	c cleaning 50997 clauses out of 102017 with flag 2859705/4927893
333.40/326.83	c cleaning 51997 clauses out of 104020 with flag 2970655/4980893
337.04/330.38	c cleaning 53000 clauses out of 106023 with flag 3084444/5034893
340.74/334.03	c cleaning 54000 clauses out of 108023 with flag 3200176/5089893
344.52/337.83	c cleaning 55006 clauses out of 110025 with flag 3318712/5145895
348.82/342.15	c cleaning 56001 clauses out of 112018 with flag 3438333/5202894
353.01/346.36	c cleaning 57000 clauses out of 114017 with flag 3560533/5260894
358.59/351.86	c cleaning 58002 clauses out of 116016 with flag 3684133/5319893
363.78/357.03	c cleaning 59000 clauses out of 118014 with flag 3809664/5379893
368.46/361.75	c cleaning 59999 clauses out of 120014 with flag 3937357/5440893
373.55/366.89	c cleaning 60996 clauses out of 122015 with flag 4066802/5502893
379.04/372.32	c cleaning 61997 clauses out of 124019 with flag 4198625/5565893
384.68/377.74	c cleaning 63001 clauses out of 126023 with flag 4332648/5629894
391.08/384.11	c cleaning 64004 clauses out of 128021 with flag 4471915/5694893
398.06/391.15	c cleaning 64999 clauses out of 130018 with flag 4610231/5760894
404.93/397.88	c cleaning 66001 clauses out of 132019 with flag 4750292/5827894
411.51/404.46	c cleaning 66996 clauses out of 134017 with flag 4892766/5895893
417.70/410.64	c cleaning 67999 clauses out of 136022 with flag 5037988/5964894
423.39/416.18	c cleaning 68999 clauses out of 138022 with flag 5184518/6034893
429.07/421.83	c cleaning 70001 clauses out of 140023 with flag 5334203/6105893
435.86/428.69	c cleaning 71000 clauses out of 142022 with flag 5484616/6177893
442.94/435.62	c cleaning 72000 clauses out of 144023 with flag 5637355/6250894
449.53/442.24	c cleaning 73001 clauses out of 146022 with flag 5791379/6324893
455.72/448.40	c cleaning 73997 clauses out of 148022 with flag 5948414/6399894
462.34/454.95	c cleaning 75007 clauses out of 150026 with flag 6107382/6475895
469.23/461.85	c cleaning 75998 clauses out of 152018 with flag 6268873/6552894
476.22/468.87	c cleaning 76998 clauses out of 154019 with flag 6432316/6630893
483.07/475.62	c cleaning 78000 clauses out of 156021 with flag 6598241/6709893
490.06/482.65	c cleaning 79003 clauses out of 158021 with flag 6766634/6789893
496.24/488.88	c cleaning 79998 clauses out of 160018 with flag 6938265/6870893
504.17/496.64	c cleaning 80999 clauses out of 162020 with flag 7111193/6952893
511.46/503.93	c cleaning 82001 clauses out of 164021 with flag 7285375/7035893
518.94/511.44	c cleaning 82999 clauses out of 166021 with flag 7460805/7119894
526.81/519.11	c cleaning 84002 clauses out of 168022 with flag 7638946/7204894
534.19/526.59	c cleaning 85000 clauses out of 170021 with flag 7819104/7290895
541.79/534.17	c cleaning 86000 clauses out of 172020 with flag 8001828/7377894
551.36/543.66	c cleaning 87000 clauses out of 174019 with flag 8186270/7465893
561.64/553.93	c cleaning 87998 clauses out of 176019 with flag 8371990/7554893
570.13/562.43	c cleaning 89000 clauses out of 178021 with flag 8559588/7644893
578.33/570.50	c cleaning 89998 clauses out of 180022 with flag 8749101/7735894
586.71/578.95	c cleaning 91004 clauses out of 182023 with flag 8941609/7827893
595.28/587.23	c cleaning 92000 clauses out of 184019 with flag 9136699/7920893
603.46/595.49	c cleaning 93002 clauses out of 186019 with flag 9334063/8014893
612.57/604.55	c cleaning 93998 clauses out of 188018 with flag 9531934/8109894
621.35/613.34	c cleaning 95000 clauses out of 190019 with flag 9732560/8205893
631.24/622.96	c cleaning 95995 clauses out of 192020 with flag 9934789/8302894
641.54/632.11	c cleaning 97007 clauses out of 194025 with flag 10140331/8400894
651.21/641.85	c cleaning 97999 clauses out of 196018 with flag 10349341/8499894
661.13/651.65	c cleaning 99003 clauses out of 198018 with flag 10560311/8599893
670.90/661.01	c cleaning 100000 clauses out of 200015 with flag 10773654/8700893
679.91/669.91	c cleaning 101000 clauses out of 202016 with flag 10990419/8802894
688.73/678.65	c cleaning 101999 clauses out of 204015 with flag 11208949/8905893
698.36/688.11	c cleaning 102994 clauses out of 206017 with flag 11429605/9009894
707.76/697.36	c cleaning 104000 clauses out of 208022 with flag 11652041/9114893
717.23/706.71	c cleaning 105001 clauses out of 210022 with flag 11876873/9220893
726.52/715.90	c cleaning 106001 clauses out of 212021 with flag 12105684/9327893
736.25/725.63	c cleaning 107001 clauses out of 214021 with flag 12334429/9435894
745.67/734.92	c cleaning 108000 clauses out of 216019 with flag 12565955/9544893
756.62/745.71	c cleaning 108999 clauses out of 218021 with flag 12798592/9654895
769.25/758.14	c cleaning 109996 clauses out of 220020 with flag 13041346/9765893
781.97/769.63	c cleaning 111007 clauses out of 222025 with flag 13279477/9877894
793.35/780.88	c cleaning 111999 clauses out of 224018 with flag 13520183/9990894
803.87/791.25	c cleaning 112995 clauses out of 226018 with flag 13762277/10104893
817.33/804.67	c cleaning 114003 clauses out of 228023 with flag 14002581/10219893
830.39/817.69	c cleaning 115000 clauses out of 230022 with flag 14243289/10335895
846.86/834.05	c cleaning 116004 clauses out of 232021 with flag 14486738/10452894
860.29/847.41	c cleaning 116999 clauses out of 234018 with flag 14732819/10570895
874.25/861.30	c cleaning 117997 clauses out of 236017 with flag 14981011/10689893
887.43/874.41	c cleaning 119002 clauses out of 238021 with flag 15234675/10809894
898.18/885.10	c cleaning 119997 clauses out of 240019 with flag 15490813/10930894
911.25/897.97	c cleaning 121001 clauses out of 242022 with flag 15749769/11052894
925.69/912.24	c cleaning 122001 clauses out of 244022 with flag 16010144/11175895
939.81/926.25	c cleaning 122998 clauses out of 246020 with flag 16270740/11299894
953.97/940.26	c cleaning 124001 clauses out of 248021 with flag 16535092/11424893
967.88/954.07	c cleaning 124999 clauses out of 250021 with flag 16801044/11550894
981.20/967.11	c cleaning 126000 clauses out of 252022 with flag 17068685/11677894
993.20/979.05	c cleaning 127001 clauses out of 254021 with flag 17338311/11805893
1006.29/992.09	c cleaning 127996 clauses out of 256020 with flag 17611471/11934893
1021.16/1005.70	c cleaning 129004 clauses out of 258025 with flag 17885834/12064894
1032.64/1017.02	c cleaning 130000 clauses out of 260021 with flag 18165663/12195894
1045.60/1029.97	c cleaning 130998 clauses out of 262020 with flag 18443194/12327893
1059.33/1043.63	c cleaning 132000 clauses out of 264022 with flag 18720644/12460893
1071.93/1056.27	c cleaning 133000 clauses out of 266023 with flag 19003010/12594894
1085.10/1069.38	c cleaning 134001 clauses out of 268022 with flag 19289602/12729893
1099.66/1083.86	c cleaning 134997 clauses out of 270021 with flag 19578958/12865893
1114.79/1098.84	c cleaning 136002 clauses out of 272025 with flag 19866818/13002894
1131.55/1115.31	c cleaning 136999 clauses out of 274022 with flag 20157561/13140893
1148.81/1132.47	c cleaning 138002 clauses out of 276023 with flag 20449650/13279893
1165.13/1148.69	c cleaning 139002 clauses out of 278023 with flag 20741926/13419895
1182.25/1165.68	c cleaning 139993 clauses out of 280020 with flag 21035881/13560894
1199.31/1182.68	c cleaning 141004 clauses out of 282026 with flag 21332631/13702893
1219.66/1202.53	c cleaning 142000 clauses out of 284022 with flag 21632812/13845893
1241.12/1223.82	c cleaning 143001 clauses out of 286023 with flag 21932680/13989894
1255.74/1238.10	c cleaning 144001 clauses out of 288022 with flag 22236834/14134894
1274.94/1255.87	c cleaning 145000 clauses out of 290020 with flag 22544022/14280893
1293.99/1274.79	c cleaning 146002 clauses out of 292021 with flag 22853490/14427894
1310.09/1290.52	c cleaning 146996 clauses out of 294018 with flag 23165214/14575893
1326.76/1306.93	c cleaning 147997 clauses out of 296022 with flag 23482186/14724893
1342.17/1322.02	c cleaning 149000 clauses out of 298026 with flag 23798854/14874894
1363.28/1343.07	c cleaning 150002 clauses out of 300026 with flag 24119209/15025894
1379.28/1358.78	c cleaning 151004 clauses out of 302023 with flag 24445296/15177893
1395.66/1374.86	c cleaning 152000 clauses out of 304020 with flag 24770429/15330894
1409.57/1388.64	c cleaning 153002 clauses out of 306020 with flag 25097591/15484894
1424.64/1403.43	c cleaning 154000 clauses out of 308017 with flag 25428691/15639893
1439.06/1417.74	c cleaning 154999 clauses out of 310018 with flag 25758981/15795894
1456.05/1434.43	c cleaning 156000 clauses out of 312018 with flag 26092046/15952893
1476.48/1453.48	c cleaning 156998 clauses out of 314018 with flag 26422845/16110893
1496.69/1473.30	c cleaning 158003 clauses out of 316021 with flag 26757172/16269894
1514.14/1490.69	c cleaning 159000 clauses out of 318017 with flag 27095176/16429893
1533.34/1509.57	c cleaning 160004 clauses out of 320017 with flag 27435996/16590893
1555.14/1531.24	c cleaning 160997 clauses out of 322014 with flag 27774337/16752894
1574.41/1550.27	c cleaning 161999 clauses out of 324016 with flag 28113206/16915893
1595.22/1570.78	c cleaning 162997 clauses out of 326017 with flag 28458201/17079893
1616.76/1592.14	c cleaning 163998 clauses out of 328020 with flag 28807228/17244893
1640.25/1615.34	c cleaning 164999 clauses out of 330023 with flag 29162148/17410894
1666.36/1641.19	c cleaning 166003 clauses out of 332023 with flag 29519165/17577893
1687.19/1661.84	c cleaning 167000 clauses out of 334020 with flag 29876964/17745893
1712.73/1687.11	c cleaning 167997 clauses out of 336020 with flag 30235514/17914893
1734.66/1708.72	c cleaning 169001 clauses out of 338023 with flag 30597254/18084893
1759.87/1733.82	c cleaning 170001 clauses out of 340022 with flag 30961073/18255893
1783.96/1757.60	c cleaning 170997 clauses out of 342021 with flag 31328805/18427893
1811.45/1784.80	c cleaning 171996 clauses out of 344024 with flag 31695886/18600893
1836.00/1807.14	c cleaning 173005 clauses out of 346029 with flag 32065229/18774894
1857.92/1828.80	c cleaning 173998 clauses out of 348024 with flag 32438401/18949894
1880.67/1851.45	c cleaning 175004 clauses out of 350026 with flag 32814306/19125894
1902.79/1873.11	c cleaning 176002 clauses out of 352021 with flag 33187829/19302893
1927.51/1897.68	c cleaning 176999 clauses out of 354019 with flag 33563241/19480893
1948.53/1918.53	c cleaning 178003 clauses out of 356021 with flag 33941190/19659894
1970.60/1940.21	c cleaning 178994 clauses out of 358017 with flag 34320158/19839893
1992.12/1961.51	c cleaning 180001 clauses out of 360023 with flag 34698880/20020893
2018.90/1988.26	c cleaning 180996 clauses out of 362022 with flag 35078563/20202893
2046.71/2015.77	c cleaning 182004 clauses out of 364027 with flag 35459463/20385894
2074.45/2043.33	c cleaning 182997 clauses out of 366022 with flag 35843042/20569893
2105.40/2073.97	c cleaning 184003 clauses out of 368026 with flag 36230160/20754894
2133.11/2101.46	c cleaning 184995 clauses out of 370022 with flag 36623331/20940893
2164.25/2132.10	c cleaning 186001 clauses out of 372027 with flag 37018371/21127893
2187.79/2155.42	c cleaning 187003 clauses out of 374026 with flag 37416347/21315893
2210.14/2177.65	c cleaning 187993 clauses out of 376024 with flag 37815218/21504894
2236.65/2203.88	c cleaning 189008 clauses out of 378031 with flag 38218072/21694894
2258.86/2225.89	c cleaning 189999 clauses out of 380022 with flag 38621073/21885893
2284.05/2250.65	c cleaning 191007 clauses out of 382024 with flag 39026117/22077894
2311.06/2277.44	c cleaning 192002 clauses out of 384016 with flag 39427589/22270893
2339.80/2303.64	c cleaning 193001 clauses out of 386015 with flag 39832241/22464894
2364.49/2328.05	c cleaning 193992 clauses out of 388013 with flag 40237339/22659893
2386.06/2349.39	c cleaning 194999 clauses out of 390022 with flag 40649316/22855894
2419.16/2382.25	c cleaning 196000 clauses out of 392023 with flag 41066734/23052894
2446.75/2409.57	c cleaning 197002 clauses out of 394022 with flag 41484929/23250893
2474.53/2436.90	c cleaning 198004 clauses out of 396021 with flag 41905729/23449894
2505.11/2467.42	c cleaning 198999 clauses out of 398016 with flag 42331304/23649893
2529.27/2490.91	c cleaning 199994 clauses out of 400019 with flag 42757342/23850895
2557.54/2518.82	c cleaning 201000 clauses out of 402023 with flag 43183519/24052893
2581.80/2542.80	c cleaning 202002 clauses out of 404024 with flag 43610467/24255894
2616.78/2577.66	c cleaning 202998 clauses out of 406023 with flag 44035830/24459895
2649.13/2609.84	c cleaning 204003 clauses out of 408024 with flag 44461231/24664894
2680.11/2640.74	c cleaning 204999 clauses out of 410021 with flag 44892603/24870894
2710.43/2670.68	c cleaning 205997 clauses out of 412022 with flag 45329301/25077894
2740.83/2700.73	c cleaning 207003 clauses out of 414026 with flag 45768300/25285895
2766.95/2726.63	c cleaning 207996 clauses out of 416022 with flag 46212226/25494894
2799.00/2758.54	c cleaning 208999 clauses out of 418026 with flag 46658505/25704894
2825.08/2784.58	c cleaning 210005 clauses out of 420026 with flag 47101709/25915893
2855.70/2814.77	c cleaning 211001 clauses out of 422022 with flag 47545154/26127894
2885.64/2844.36	c cleaning 212000 clauses out of 424021 with flag 47991551/26340894
2918.76/2877.22	c cleaning 212999 clauses out of 426020 with flag 48437912/26554893
2947.08/2905.43	c cleaning 214000 clauses out of 428021 with flag 48887520/26769893
2973.48/2931.32	c cleaning 215005 clauses out of 430022 with flag 49342647/26985894
3001.15/2958.67	c cleaning 215992 clauses out of 432017 with flag 49809712/27202894
3036.41/2993.61	c cleaning 216999 clauses out of 434024 with flag 50274560/27420893
3068.97/3026.10	c cleaning 217998 clauses out of 436025 with flag 50735977/27639893
3103.63/3058.68	c cleaning 219000 clauses out of 438027 with flag 51203931/27859893
3132.01/3086.53	c cleaning 220006 clauses out of 440028 with flag 51673888/28080894
3168.36/3122.56	c cleaning 220998 clauses out of 442021 with flag 52142580/28302893
3197.66/3151.53	c cleaning 221996 clauses out of 444023 with flag 52618168/28525893
3224.51/3178.18	c cleaning 223001 clauses out of 446027 with flag 53093833/28749893
3254.08/3207.57	c cleaning 224000 clauses out of 448026 with flag 53566796/28974893
3282.58/3235.96	c cleaning 225003 clauses out of 450028 with flag 54038655/29200895
3310.04/3263.39	c cleaning 226000 clauses out of 452024 with flag 54515254/29427894
3345.50/3298.33	c cleaning 226997 clauses out of 454023 with flag 54992327/29655893
3383.03/3335.58	c cleaning 228002 clauses out of 456026 with flag 55468841/29884893
3419.17/3371.49	c cleaning 228998 clauses out of 458024 with flag 55948338/30114893
3456.35/3408.42	c cleaning 229996 clauses out of 460026 with flag 56430824/30345893
3490.74/3442.78	c cleaning 231002 clauses out of 462031 with flag 56922376/30577894
3523.22/3474.76	c cleaning 232003 clauses out of 464029 with flag 57414909/30810894
3555.66/3506.82	c cleaning 232999 clauses out of 466027 with flag 57907485/31044895
3594.49/3545.45	c cleaning 234007 clauses out of 468027 with flag 58404339/31279894
3600.09/3551.01	c starts		: 3185
3600.09/3551.02	c conflicts		: 31368726
3600.09/3551.02	c decisions		: 43827883
3600.09/3551.02	c propagations		: 610989345
3600.09/3551.02	c inspects		: 23533911845
3600.09/3551.02	c shortcuts		: 0
3600.09/3551.02	c learnt literals	: 0
3600.09/3551.02	c learnt binary clauses	: 0
3600.09/3551.02	c learnt ternary clauses	: 0
3600.09/3551.02	c learnt constraints	: 31368726
3600.09/3551.02	c ignored constraints	: 0
3600.09/3551.02	c root simplifications	: 0
3600.09/3551.02	c removed literals (reason simplification)	: 688508
3600.09/3551.02	c reason swapping (by a shorter reason)	: 0
3600.09/3551.02	c Calls to reduceDB	: 322
3600.09/3551.02	c Number of update (reduction) of LBD	: 896262
3600.09/3551.02	c Imported unit clauses	: 0
3600.09/3551.02	c No decision after first conflict	: false
3600.09/3551.02	c number of reductions to clauses (during analyze)	: 0
3600.09/3551.02	c number of learned constraints concerned by reduction	: 0
3600.09/3551.02	c number of learning phase by resolution	: 0
3600.09/3551.02	c number of learning phase by cutting planes	: 0
3600.09/3551.03	c number of rounding to 1 operations	: 0
3600.09/3551.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3551.03	c number of reductions of the coefficients by power 2 	: 0
3600.09/3551.03	c number of right shift for reduction by power 2 	: 0
3600.09/3551.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3551.03	c number of ending skipping 	: 0
3600.09/3551.03	c number of internal skipping 	: 0
3600.09/3551.03	c number of derivation steps 	: 0
3600.09/3551.03	c number of skipped derivation steps 	: 0
3600.09/3551.03	c number of remaining unassigned 	: 0
3600.09/3551.03	c number of remaining assigned 	: 0
3600.09/3551.03	c number of falsified literals weakened from reason	: 0
3600.09/3551.03	c number of falsified literals weakened from conflict	: 0
3600.09/3551.03	c time for arithmetic operations	: 0
3600.09/3551.03	c minimum degree of deleted constraints	: null
3600.09/3551.03	c maximum degree of deleted constraints	: null
3600.09/3551.03	c number of deleted constraints	: 0
3600.09/3551.03	c speed (assignments/second)	: 172071.43116642526
3600.09/3551.03	c non guided choices	: 0
3600.09/3551.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 322852
3600.09/3551.09	s SATISFIABLE
3600.09/3551.09	c Found 6 solution(s)
3600.09/3551.10	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 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 
3600.29/3551.11	c objective function=225
3600.29/3551.11	c Total wall clock time (in seconds): 3550.941

Verifier Data 

OK	225

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489330-1751341089/watcher-4489330-1751341089 -o /tmp/evaluation-result-4489330-1751341089/solver-4489330-1751341089 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751337595-49173 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4489330-1751341089.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100061 s]*
/proc/loadavg: 4.51 4.28 4.21 6/338 49546
/proc/meminfo: memFree=85487224/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=18930384 memory=51784 CPUtime=0.1 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 6117 0 0 0 8 2 0 0 20 0 18 0 49786711 19384713216 12946 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4732596 12946 5338 1 0 547229 0
[pid=49528/tid=49530] ppid=49525 vsize=18930384 memory=4026531960 CPUtime=0.05 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 4938 0 0 0 4 1 0 0 20 0 18 0 49786714 19384713216 12946 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49786716 19384713216 12946 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=18930384 memory=60684515966010 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49786716 19384713216 12946 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51784 KiB

[startup+0.205923 s]*
/proc/loadavg: 4.51 4.28 4.21 7/338 49546
/proc/meminfo: memFree=85471976/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=18930384 memory=61740 CPUtime=0.27 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 6954 0 0 0 25 2 0 0 20 0 18 0 49786711 19384713216 15435 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4732596 15435 5434 1 0 547886 0
[pid=49528/tid=49530] ppid=49525 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 5245 0 0 0 14 2 0 0 20 0 18 0 49786714 19384713216 15435 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=18930384 memory=16880 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49786716 19384713216 15435 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49786716 19384713216 15435 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61740 KiB

[startup+0.3059 s]*
/proc/loadavg: 4.51 4.28 4.21 6/339 49547
/proc/meminfo: memFree=85471976/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=18996948 memory=66804 CPUtime=0.47 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 8280 0 0 0 44 3 0 0 20 0 19 0 49786711 19452874752 16701 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4749237 16701 5466 1 0 548821 0
[pid=49528/tid=49530] ppid=49525 vsize=18996948 memory=-6000919485641745259 CPUtime=0.25 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 5382 0 0 0 23 2 0 0 20 0 19 0 49786714 19452874752 16701 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49786716 19452874752 16701 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49786716 19452874752 16701 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49786736 19452874752 16701 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66804 KiB

[startup+0.70024 s]
/proc/loadavg: 4.51 4.28 4.21 7/339 49547
/proc/meminfo: memFree=85460004/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=18996948 memory=92724 CPUtime=1.23 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 12995 0 0 0 119 4 0 0 20 0 19 0 49786711 19452874752 23181 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4749237 23181 5466 1 0 551686 0
[pid=49528/tid=49530] ppid=49525 vsize=18996948 memory=17792 CPUtime=0.63 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 5435 0 0 0 61 2 0 0 20 0 19 0 49786714 19452874752 23181 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49786716 19452874752 23181 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49786716 19452874752 23181 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49786736 19452874752 23181 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92724 KiB

[startup+1.50025 s]
/proc/loadavg: 4.51 4.28 4.21 5/339 49547
/proc/meminfo: memFree=85417952/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=18996948 memory=152584 CPUtime=2.43 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 17132 0 0 0 238 5 0 0 20 0 19 0 49786711 19452874752 38146 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4749237 38146 5466 1 0 552093 0
[pid=49528/tid=49530] ppid=49525 vsize=18996948 memory=0 CPUtime=1.41 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 6264 0 0 0 138 3 0 0 20 0 19 0 49786714 19452874752 38146 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49786716 19452874752 38146 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49786716 19452874752 38146 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49786736 19452874752 38146 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 152584 KiB

[startup+3.10573 s]
/proc/loadavg: 4.55 4.29 4.21 5/340 49549
/proc/meminfo: memFree=85299476/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19063512 memory=235484 CPUtime=4.31 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 20382 0 0 0 423 8 0 0 20 0 20 0 49786711 19521036288 58871 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4765878 58871 5530 1 0 552385 0
[pid=49528/tid=49530] ppid=49525 vsize=19063512 memory=10752 CPUtime=2.94 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 6598 0 0 0 291 3 0 0 20 0 20 0 49786714 19521036288 58871 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19063512 memory=-6000919485641745259 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 58871 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 58871 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49786736 19521036288 58871 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 4.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 235484 KiB

[startup+6.30024 s]
/proc/loadavg: 4.55 4.29 4.21 5/340 49549
/proc/meminfo: memFree=85147200/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19063512 memory=410824 CPUtime=7.69 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 21123 0 0 0 757 12 0 0 20 0 20 0 49786711 19521036288 102706 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4765878 102706 5530 1 0 671445 0
[pid=49528/tid=49530] ppid=49525 vsize=19063512 memory=0 CPUtime=5.99 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 6720 0 0 0 595 4 0 0 20 0 20 0 49786714 19521036288 102706 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 102706 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 102706 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=19063512 memory=162824 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49786736 19521036288 102706 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 7.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 410824 KiB

[startup+12.7002 s]
/proc/loadavg: 4.67 4.32 4.22 5/340 49616
/proc/meminfo: memFree=99198148/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19063512 memory=840200 CPUtime=14.26 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 23648 0 0 0 1406 20 0 0 20 0 20 0 49786711 19521036288 210050 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4765878 210050 5530 1 0 800957 0
[pid=49528/tid=49530] ppid=49525 vsize=19063512 memory=162824 CPUtime=12.16 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 7520 0 0 0 1209 7 0 0 20 0 20 0 49786714 19521036288 210050 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 210050 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 210050 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=19063512 memory=-6000919485641745259 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49786736 19521036288 210050 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 14.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 840200 KiB

[startup+25.5002 s]
/proc/loadavg: 4.59 4.32 4.23 6/340 49750
/proc/meminfo: memFree=126519900/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19063512 memory=1673248 CPUtime=27.54 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 26975 0 0 0 2717 37 0 0 20 0 20 0 49786711 19521036288 418312 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4765878 418312 5562 1 0 932567 0
[pid=49528/tid=49530] ppid=49525 vsize=19063512 memory=4380 CPUtime=24.42 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 8172 0 0 0 2432 10 0 0 20 0 20 0 49786714 19521036288 418312 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 418312 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 418312 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49786736 19521036288 418312 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 27.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1673248 KiB

[startup+51.1057 s]
/proc/loadavg: 4.45 4.31 4.22 5/340 49750
/proc/meminfo: memFree=123254768/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19063512 memory=2802984 CPUtime=53.64 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 28476 0 0 0 5305 59 0 0 20 0 20 0 49786711 19521036288 700746 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4765878 700746 5562 1 0 1059992 0
[pid=49528/tid=49530] ppid=49525 vsize=19063512 memory=842248 CPUtime=49.34 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 8829 0 0 0 4916 18 0 0 20 0 20 0 49786714 19521036288 700746 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19063512 memory=2419980 CPUtime=0 cores=1,3

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

[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.16 6/340 49915
/proc/meminfo: memFree=87981824/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19063512 memory=14416708 CPUtime=3269.01 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 236693 0 0 0 326517 384 0 0 20 0 20 0 49786711 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4765878 3604177 5562 1 0 3969590 0
[pid=49528/tid=49530] ppid=49525 vsize=19063512 memory=14410564 CPUtime=3174.75 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 124238 0 0 0 317371 104 0 0 20 0 20 0 49786714 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19063512 memory=17792 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=19063512 memory=14416708 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 1043 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=19063512 memory=14416708 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49786736 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 3269.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14416708 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/340 49917
/proc/meminfo: memFree=87191536/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19063512 memory=14416708 CPUtime=3329.06 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 239415 0 0 0 332521 385 0 0 20 0 20 0 49786711 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4765878 3604177 5562 1 0 3969590 0
[pid=49528/tid=49530] ppid=49525 vsize=19063512 memory=14416708 CPUtime=3234.44 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 126282 0 0 0 323340 104 0 0 20 0 20 0 49786714 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19063512 memory=14416708 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=19063512 memory=14416708 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 1056 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=19063512 memory=14416708 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49786736 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 3329.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14416708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/340 49923
/proc/meminfo: memFree=87084264/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19063512 memory=14416708 CPUtime=3389.81 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 243165 0 0 0 338594 387 0 0 20 0 20 0 49786711 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4765878 3604177 5562 1 0 3969590 0
[pid=49528/tid=49530] ppid=49525 vsize=19063512 memory=14416708 CPUtime=3293.44 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 128983 0 0 0 329239 105 0 0 20 0 20 0 49786714 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 1112 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=19063512 memory=14416708 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49786736 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 3389.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14416708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.15 4.16 5/340 49925
/proc/meminfo: memFree=87080288/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19063512 memory=14416708 CPUtime=3450.26 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 246548 0 0 0 344637 389 0 0 20 0 20 0 49786711 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4765878 3604177 5562 1 0 3969590 0
[pid=49528/tid=49530] ppid=49525 vsize=19063512 memory=4380 CPUtime=3352.73 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 131440 0 0 0 335167 106 0 0 20 0 20 0 49786714 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 1160 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=19063512 memory=14416708 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49786736 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 3450.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14416708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/340 49927
/proc/meminfo: memFree=86965496/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19063512 memory=14416708 CPUtime=3510.38 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 250653 0 0 0 350647 391 0 0 20 0 20 0 49786711 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4765878 3604177 5562 1 0 3969590 0
[pid=49528/tid=49530] ppid=49525 vsize=19063512 memory=4380 CPUtime=3412.34 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 134455 0 0 0 341128 106 0 0 20 0 20 0 49786714 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19063512 memory=17792 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 1176 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=19063512 memory=14416708 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49786736 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 3510.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14416708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.16 4.16 5/339 49929
/proc/meminfo: memFree=86637952/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19063512 memory=14416708 CPUtime=3571.44 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 255380 0 0 0 356751 393 0 0 20 0 20 0 49786711 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4765878 3604177 5562 1 0 3969590 0
[pid=49528/tid=49530] ppid=49525 vsize=19063512 memory=-6000919485641745259 CPUtime=3471.03 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 137844 0 0 0 346996 107 0 0 20 0 20 0 49786714 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=19063512 memory=17792 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 1192 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=19063512 memory=14416708 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49786736 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 3571.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14416708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3551 s]*
/proc/loadavg: 4.12 4.14 4.15 5/339 49929
/proc/meminfo: memFree=86637968/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19063512 memory=14416708 CPUtime=3600.09 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 256935 0 0 0 359616 393 0 0 20 0 20 0 49786711 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4765878 3604177 5562 1 0 3969590 0
[pid=49528/tid=49530] ppid=49525 vsize=19063512 memory=4764 CPUtime=3499.67 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 139362 0 0 0 349860 107 0 0 20 0 20 0 49786714 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19063512 memory=2760 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=19063512 memory=19712 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 1208 0 0 0 0 0 0 0 20 0 20 0 49786716 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49547] ppid=49525 vsize=19063512 memory=4211883375659216542 CPUtime=0 cores=1,3
/proc/49528/task/49547/stat : 49547 (Timer-0) S 49525 49528 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49786736 19521036288 3604177 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14416708 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.35 s, system=3.98311 s

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

[startup+3551.11 s]
/proc/loadavg: 4.12 4.14 4.15 5/339 49929
/proc/meminfo: memFree=86637968/131249996 swapFree=33010416/33010684
[pid=49528] ppid=49525 vsize=19263204 memory=14417476 CPUtime=3600.29 cores=1,3
/proc/49528/stat : 49528 (java) S 49525 49528 49161 0 -1 4194304 259009 0 0 0 359635 394 0 0 20 0 21 0 49786711 19725520896 3604369 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
/proc/49528/statm: 4815801 3604369 5594 1 0 3970503 0
[pid=49528/tid=49530] ppid=49525 vsize=19263204 memory=14416708 CPUtime=3499.74 cores=1,3
/proc/49528/task/49530/stat : 49530 (java) R 49525 49528 49161 0 -1 4194368 139537 0 0 0 349867 107 0 0 20 0 21 0 49786714 19725520896 3604369 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49539] ppid=49525 vsize=19263204 memory=14384 CPUtime=0 cores=1,3
/proc/49528/task/49539/stat : 49539 (Finalizer) S 49525 49528 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49786716 19725520896 3604369 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
[pid=49528/tid=49546] ppid=49525 vsize=19263204 memory=14416708 CPUtime=0 cores=1,3
/proc/49528/task/49546/stat : 49546 (Common-Cleaner) S 49525 49528 49161 0 -1 4194368 1208 0 0 0 0 0 0 0 20 0 21 0 49786716 19725520896 3604369 18446744073709551615 93963776212992 93963776216688 140732275742144 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93963776224504 93963776225296 93963782815744 140732275747201 140732275747302 140732275747302 140732275752904 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 14417476 KiB

Child status: 143

Real time (s): 3551.17
CPU time (s): 3600.34
CPU user time (s): 3596.35
CPU system time (s): 3.98311
CPU usage (%): 101.385
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14417476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.35
system time used= 3.98311
maximum resident set size= 14417604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259042
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116857
involuntary context switches= 5857


# summary of solver processes directly reported to runsolver:
#   pid: 49528
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3596.35
#   total CPU system time (s): 3.98311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51846 second user time and 17.7982 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-01 05:38:09
IDJOB=4489330
IDBENCH=147545
IDSOLVER=3363
FILE ID=nodeC022/4489330-1751341089
RUNJOBID= nodeC022-1751337595-49173
SLURM_JOB_ID= 9594391
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489330-1751341089/watcher-4489330-1751341089 -o /tmp/evaluation-result-4489330-1751341089/solver-4489330-1751341089 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751337595-49173 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4489330-1751341089.opb

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

MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
RANDOM SEED=919681304

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.928
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3629.513
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3585.988
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.712
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.713
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.714
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3520.169
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.358
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        85501936 kB
MemAvailable:   85230692 kB
Buffers:            2128 kB
Cached:           532152 kB
SwapCached:           32 kB
Active:         44886340 kB
Inactive:         206340 kB
Active(anon):   44572232 kB
Inactive(anon):     4196 kB
Active(file):     314108 kB
Inactive(file):   202144 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:      44561468 kB
Mapped:           122692 kB
Shmem:             18028 kB
KReclaimable:     103088 kB
Slab:             191088 kB
SReclaimable:     103088 kB
SUnreclaim:        88000 kB
KernelStack:        5216 kB
PageTables:        90764 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   49410960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  44115968 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC022 at 2025-07-01 06:37:21