Trace number 4432231

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 Default 2024-07-07SAT (TO)228 3600.32 3560.86

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUMbed0fcfa7fe1ab50726d34a7d1903e12
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 benchmark182
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables478
Total number of constraints478
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 constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
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 478
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 478
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4432231-1721085938.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.17	c ... done. Wall clock time 0.04s.
0.13/0.17	c declared #vars     478
0.13/0.17	c #constraints  478
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 478
0.13/0.17	c 478 constraints processed.
0.13/0.18	c objective function length is 478 literals
0.13/0.19	c SATISFIABLE
0.13/0.19	c OPTIMIZING...
0.13/0.19	c Got one! Elapsed wall clock time (in seconds):0.063
0.13/0.19	o 233
0.13/0.20	c Got one! Elapsed wall clock time (in seconds):0.074
0.13/0.20	o 232
0.33/0.27	c Got one! Elapsed wall clock time (in seconds):0.142
0.33/0.27	o 231
1.29/0.78	c cleaning 2578 clauses out of 5168 with flag 10474/5168
1.89/1.04	c cleaning 4290 clauses out of 8589 with flag 22942/11167
2.11/1.28	c cleaning 5643 clauses out of 11300 with flag 37571/18168
2.24/1.34	c Got one! Elapsed wall clock time (in seconds):1.217
2.24/1.34	o 230
2.53/1.55	c cleaning 5777 clauses out of 11563 with flag 8495/24074
2.80/1.74	c cleaning 5888 clauses out of 11786 with flag 20972/30074
3.08/1.97	c cleaning 6440 clauses out of 12898 with flag 35545/37074
3.40/2.26	c cleaning 7223 clauses out of 14458 with flag 52261/45074
3.85/2.64	c cleaning 8109 clauses out of 16236 with flag 71089/54075
4.25/3.02	c cleaning 9058 clauses out of 18126 with flag 91924/64074
4.68/3.49	c cleaning 10030 clauses out of 20069 with flag 114807/75075
5.18/3.95	c cleaning 11012 clauses out of 22039 with flag 139943/87075
5.72/4.49	c cleaning 12003 clauses out of 24027 with flag 167246/100075
6.32/5.05	c cleaning 13004 clauses out of 26023 with flag 196519/114074
7.07/5.76	c cleaning 14003 clauses out of 28019 with flag 228028/129074
7.81/6.45	c cleaning 15001 clauses out of 30016 with flag 261768/145074
8.57/7.16	c cleaning 16000 clauses out of 32015 with flag 297319/162074
9.45/7.95	c cleaning 16998 clauses out of 34015 with flag 335003/180074
10.35/8.83	c cleaning 18001 clauses out of 36017 with flag 374612/199074
11.38/9.83	c cleaning 18997 clauses out of 38016 with flag 416360/219074
12.38/10.83	c cleaning 20002 clauses out of 40020 with flag 460245/240075
13.46/11.80	c cleaning 21001 clauses out of 42017 with flag 506181/262074
14.46/12.86	c cleaning 21997 clauses out of 44016 with flag 554152/285074
15.64/13.96	c cleaning 22997 clauses out of 46020 with flag 603903/309075
17.02/15.24	c cleaning 24006 clauses out of 48023 with flag 656226/334075
18.32/16.52	c cleaning 24997 clauses out of 50016 with flag 710519/360074
19.71/17.88	c cleaning 26001 clauses out of 52020 with flag 766798/387075
21.30/19.37	c cleaning 26996 clauses out of 54018 with flag 825225/415074
22.69/20.74	c cleaning 28002 clauses out of 56022 with flag 885895/444074
24.23/22.22	c cleaning 28999 clauses out of 58020 with flag 949097/474074
25.72/23.76	c cleaning 30001 clauses out of 60021 with flag 1014209/505074
27.49/25.44	c cleaning 31001 clauses out of 62020 with flag 1081025/537074
29.26/27.14	c cleaning 31999 clauses out of 64019 with flag 1150151/570074
30.95/28.82	c cleaning 33000 clauses out of 66021 with flag 1220334/604075
33.02/30.88	c cleaning 33999 clauses out of 68020 with flag 1293667/639074
35.09/32.87	c cleaning 35002 clauses out of 70021 with flag 1368957/675074
36.95/34.68	c cleaning 36003 clauses out of 72019 with flag 1446559/712074
38.83/36.58	c cleaning 36999 clauses out of 74017 with flag 1525340/750075
41.01/38.60	c cleaning 38001 clauses out of 76018 with flag 1606700/789075
42.89/40.57	c cleaning 38998 clauses out of 78017 with flag 1690158/829075
45.10/42.65	c cleaning 39993 clauses out of 80018 with flag 1775553/870074
47.28/44.84	c cleaning 41004 clauses out of 82026 with flag 1863537/912075
49.66/47.12	c cleaning 41999 clauses out of 84022 with flag 1953326/955075
52.24/49.71	c cleaning 43000 clauses out of 86022 with flag 2045778/999074
53.59/50.51	c Got one! Elapsed wall clock time (in seconds):50.386
53.59/50.51	o 229
54.10/51.08	c cleaning 31762 clauses out of 63537 with flag 10554/1019589
54.50/51.43	c cleaning 18879 clauses out of 37775 with flag 23131/1025589
54.80/51.70	c cleaning 12940 clauses out of 25896 with flag 37748/1032589
55.06/51.98	c cleaning 10468 clauses out of 20957 with flag 54366/1040590
55.41/52.27	c cleaning 9737 clauses out of 19488 with flag 72994/1049589
55.81/52.60	c cleaning 9870 clauses out of 19751 with flag 93814/1059589
56.25/53.03	c cleaning 10431 clauses out of 20882 with flag 117048/1070590
56.64/53.44	c cleaning 11215 clauses out of 22451 with flag 142045/1082590
57.14/53.93	c cleaning 12111 clauses out of 24236 with flag 169243/1095590
57.63/54.45	c cleaning 13051 clauses out of 26125 with flag 198554/1109590
58.23/55.04	c cleaning 14025 clauses out of 28074 with flag 230249/1124590
58.83/55.69	c cleaning 15016 clauses out of 30049 with flag 263849/1140590
59.66/56.41	c cleaning 16006 clauses out of 32032 with flag 299178/1157589
60.35/57.14	c cleaning 17004 clauses out of 34027 with flag 336807/1175590
61.15/57.93	c cleaning 18003 clauses out of 36023 with flag 376504/1194590
61.94/58.79	c cleaning 18996 clauses out of 38019 with flag 418346/1214589
62.93/59.71	c cleaning 20003 clauses out of 40024 with flag 462314/1235590
63.96/60.77	c cleaning 21000 clauses out of 42021 with flag 508607/1257590
65.06/61.83	c cleaning 21998 clauses out of 44021 with flag 556547/1280590
65.96/62.78	c cleaning 23002 clauses out of 46022 with flag 606398/1304589
67.06/63.80	c cleaning 23996 clauses out of 48020 with flag 658492/1329589
68.25/65.01	c cleaning 25001 clauses out of 50024 with flag 712542/1355589
69.55/66.30	c cleaning 26001 clauses out of 52023 with flag 768920/1382589
70.85/67.62	c cleaning 27000 clauses out of 54023 with flag 827217/1410590
72.15/68.93	c cleaning 28002 clauses out of 56023 with flag 887520/1439590
73.44/70.22	c cleaning 28996 clauses out of 58021 with flag 950084/1469590
74.94/71.73	c cleaning 29999 clauses out of 60024 with flag 1015247/1500589
76.53/73.38	c cleaning 31000 clauses out of 62026 with flag 1082180/1532590
78.24/75.04	c cleaning 31999 clauses out of 64026 with flag 1151395/1565590
80.03/76.80	c cleaning 33000 clauses out of 66027 with flag 1222223/1599590
82.52/79.31	c cleaning 34003 clauses out of 68026 with flag 1297104/1634589
85.11/81.90	c cleaning 35001 clauses out of 70024 with flag 1372327/1670590
87.52/84.39	c cleaning 36004 clauses out of 72022 with flag 1449845/1707589
90.66/87.27	c cleaning 37000 clauses out of 74018 with flag 1529516/1745589
93.16/89.78	c cleaning 38000 clauses out of 76019 with flag 1611492/1784590
96.36/92.72	c cleaning 39002 clauses out of 78018 with flag 1695485/1824589
98.76/95.16	c cleaning 39999 clauses out of 80018 with flag 1781382/1865591
101.83/98.13	c cleaning 41001 clauses out of 82017 with flag 1869144/1907589
104.73/101.08	c cleaning 42002 clauses out of 84017 with flag 1958923/1950590
108.17/104.31	c cleaning 43001 clauses out of 86014 with flag 2050597/1994589
110.87/107.01	c cleaning 43999 clauses out of 88014 with flag 2144189/2039590
113.86/109.91	c cleaning 44996 clauses out of 90014 with flag 2239878/2085589
117.15/113.22	c cleaning 46003 clauses out of 92020 with flag 2338401/2132591
120.36/116.36	c cleaning 47000 clauses out of 94016 with flag 2438825/2180590
124.05/120.05	c cleaning 47996 clauses out of 96015 with flag 2541312/2229589
127.64/123.61	c cleaning 49000 clauses out of 98019 with flag 2646064/2279589
131.39/127.30	c cleaning 50000 clauses out of 100019 with flag 2752962/2330589
135.49/131.48	c cleaning 50998 clauses out of 102019 with flag 2861166/2382589
139.28/135.26	c cleaning 51995 clauses out of 104021 with flag 2971565/2435589
142.77/138.75	c cleaning 52999 clauses out of 106027 with flag 3084070/2489590
146.27/142.25	c cleaning 54002 clauses out of 108028 with flag 3198411/2544590
150.31/145.91	c cleaning 55008 clauses out of 110026 with flag 3315363/2600590
155.23/150.09	c cleaning 56001 clauses out of 112018 with flag 3433793/2657590
159.49/154.38	c cleaning 57001 clauses out of 114017 with flag 3553985/2715590
163.86/158.71	c cleaning 57998 clauses out of 116016 with flag 3676519/2774590
167.94/162.76	c cleaning 58997 clauses out of 118018 with flag 3801170/2834590
172.11/166.92	c cleaning 59999 clauses out of 120020 with flag 3928388/2895589
176.17/171.05	c cleaning 61003 clauses out of 122021 with flag 4057988/2957589
181.07/175.87	c cleaning 61999 clauses out of 124019 with flag 4189554/3020590
185.93/180.70	c cleaning 63000 clauses out of 126019 with flag 4323437/3084589
190.74/185.38	c cleaning 64000 clauses out of 128020 with flag 4458656/3149590
195.03/189.67	c cleaning 64999 clauses out of 130019 with flag 4596206/3215589
199.59/194.10	c cleaning 65998 clauses out of 132020 with flag 4735512/3282589
204.87/199.41	c cleaning 66998 clauses out of 134022 with flag 4877770/3350589
209.96/204.54	c cleaning 67999 clauses out of 136025 with flag 5021969/3419590
215.83/210.37	c cleaning 68998 clauses out of 138026 with flag 5167788/3489590
222.47/216.83	c cleaning 70004 clauses out of 140027 with flag 5315506/3560589
227.92/222.36	c cleaning 71004 clauses out of 142023 with flag 5465376/3632589
234.04/228.47	c cleaning 72000 clauses out of 144019 with flag 5616888/3705589
239.98/234.49	c cleaning 72998 clauses out of 146020 with flag 5770631/3779590
247.14/241.59	c cleaning 74004 clauses out of 148021 with flag 5926967/3854589
255.62/250.06	c cleaning 74998 clauses out of 150017 with flag 6085716/3930589
263.10/257.37	c cleaning 76001 clauses out of 152020 with flag 6246837/4007590
270.45/264.70	c cleaning 77001 clauses out of 154019 with flag 6410141/4085590
278.45/272.01	c cleaning 77998 clauses out of 156018 with flag 6575775/4164590
289.69/283.16	c cleaning 79002 clauses out of 158020 with flag 6758539/4244590
297.53/291.05	c cleaning 80002 clauses out of 160018 with flag 6927055/4325590
307.16/300.67	c cleaning 80999 clauses out of 162015 with flag 7097931/4407589
316.39/309.64	c cleaning 82001 clauses out of 164016 with flag 7270891/4490589
324.55/317.67	c cleaning 82996 clauses out of 166015 with flag 7445600/4574589
332.41/325.36	c cleaning 84000 clauses out of 168019 with flag 7621914/4659589
340.86/333.66	c cleaning 85005 clauses out of 170019 with flag 7799995/4745589
348.91/341.58	c cleaning 85997 clauses out of 172014 with flag 7981857/4832589
356.65/349.13	c cleaning 87000 clauses out of 174017 with flag 8165360/4920589
365.55/357.91	c cleaning 87997 clauses out of 176017 with flag 8349893/5009589
375.07/367.30	c cleaning 89001 clauses out of 178021 with flag 8537637/5099590
384.10/376.23	c cleaning 89998 clauses out of 180020 with flag 8727360/5190590
392.60/383.74	c cleaning 90998 clauses out of 182022 with flag 8919459/5282590
400.77/391.89	c cleaning 92001 clauses out of 184023 with flag 9113563/5375589
410.44/401.31	c cleaning 93000 clauses out of 186023 with flag 9309360/5469590
421.29/412.07	c cleaning 93998 clauses out of 188022 with flag 9506253/5564589
430.61/421.29	c cleaning 95001 clauses out of 190025 with flag 9705749/5660590
440.63/431.13	c cleaning 95996 clauses out of 192024 with flag 9906822/5757590
451.49/442.00	c cleaning 97004 clauses out of 194028 with flag 10111077/5855590
462.25/452.63	c cleaning 98005 clauses out of 196023 with flag 10318106/5954589
472.99/463.23	c cleaning 98998 clauses out of 198018 with flag 10527020/6054589
483.39/473.33	c cleaning 99996 clauses out of 200021 with flag 10737999/6155590
493.24/483.03	c cleaning 101002 clauses out of 202024 with flag 10951167/6257589
503.00/492.78	c cleaning 102000 clauses out of 204022 with flag 11166051/6360589
512.42/502.03	c cleaning 102997 clauses out of 206022 with flag 11383183/6464589
522.77/512.39	c cleaning 104001 clauses out of 208026 with flag 11602262/6569590
531.58/521.04	c cleaning 105002 clauses out of 210024 with flag 11823110/6675589
541.96/531.30	c cleaning 106000 clauses out of 212023 with flag 12045085/6782590
552.64/541.00	c cleaning 107004 clauses out of 214023 with flag 12269255/6890590
562.31/550.50	c cleaning 107999 clauses out of 216018 with flag 12495471/6999589
572.25/560.31	c cleaning 109000 clauses out of 218020 with flag 12723194/7109590
584.02/571.95	c cleaning 110001 clauses out of 220019 with flag 12952683/7220589
596.89/584.60	c cleaning 111003 clauses out of 222020 with flag 13183863/7332591
608.90/596.57	c cleaning 112001 clauses out of 224016 with flag 13418535/7445590
619.73/607.12	c cleaning 112998 clauses out of 226015 with flag 13655516/7559590
630.34/617.46	c cleaning 113998 clauses out of 228016 with flag 13894281/7674589
640.76/627.77	c cleaning 114998 clauses out of 230018 with flag 14135555/7790589
652.09/639.04	c cleaning 116000 clauses out of 232020 with flag 14378078/7907589
664.74/651.51	c cleaning 117001 clauses out of 234020 with flag 14624096/8025589
675.66/662.37	c cleaning 118000 clauses out of 236020 with flag 14871394/8144590
687.14/673.77	c cleaning 119001 clauses out of 238020 with flag 15120993/8264590
699.68/686.24	c cleaning 119997 clauses out of 240019 with flag 15373008/8385590
710.22/696.70	c cleaning 120996 clauses out of 242021 with flag 15626491/8507589
722.44/708.84	c cleaning 122004 clauses out of 244025 with flag 15881723/8630589
735.35/721.51	c cleaning 122999 clauses out of 246022 with flag 16139150/8754590
749.12/735.24	c cleaning 123999 clauses out of 248023 with flag 16398740/8879590
760.86/746.98	c cleaning 125000 clauses out of 250024 with flag 16661306/9005590
762.34/748.46	c Got one! Elapsed wall clock time (in seconds):748.336
762.34/748.46	o 228
764.93/751.02	c cleaning 81376 clauses out of 162770 with flag 11170/9043336
766.06/752.17	c cleaning 43689 clauses out of 87394 with flag 23635/9049336
766.56/752.66	c cleaning 25343 clauses out of 50704 with flag 38173/9056335
766.86/752.99	c cleaning 16675 clauses out of 33363 with flag 54770/9064337
767.25/753.33	c cleaning 12829 clauses out of 25686 with flag 73495/9073335
767.65/753.71	c cleaning 11418 clauses out of 22859 with flag 94255/9083337
768.04/754.11	c cleaning 11212 clauses out of 22439 with flag 117310/9094335
768.44/754.55	c cleaning 11605 clauses out of 23227 with flag 142255/9106335
768.94/755.08	c cleaning 12302 clauses out of 24623 with flag 169309/9119336
769.53/755.62	c cleaning 13151 clauses out of 26320 with flag 198572/9133335
770.03/756.18	c cleaning 14076 clauses out of 28169 with flag 229866/9148335
770.72/756.83	c cleaning 15037 clauses out of 30094 with flag 263314/9164336
771.41/757.54	c cleaning 16017 clauses out of 32057 with flag 298687/9181336
772.25/758.32	c cleaning 17010 clauses out of 34039 with flag 336194/9199335
773.04/759.17	c cleaning 18002 clauses out of 36029 with flag 375987/9218335
773.93/760.03	c cleaning 19002 clauses out of 38028 with flag 417817/9238336
774.82/760.95	c cleaning 20002 clauses out of 40025 with flag 461560/9259335
775.82/761.98	c cleaning 20998 clauses out of 42023 with flag 507399/9281335
776.81/762.94	c cleaning 22001 clauses out of 44025 with flag 555424/9304335
777.89/764.10	c cleaning 23003 clauses out of 46027 with flag 605489/9328338
779.18/765.35	c cleaning 23996 clauses out of 48022 with flag 657884/9353336
780.53/766.62	c cleaning 24998 clauses out of 50025 with flag 712342/9379335
781.72/767.85	c cleaning 26005 clauses out of 52028 with flag 768842/9406336
783.10/769.25	c cleaning 26996 clauses out of 54022 with flag 827527/9434335
784.49/770.65	c cleaning 28001 clauses out of 56026 with flag 888298/9463335
785.88/772.08	c cleaning 28998 clauses out of 58025 with flag 951031/9493335
787.46/773.63	c cleaning 30003 clauses out of 60027 with flag 1015772/9524335
789.16/775.34	c cleaning 31001 clauses out of 62024 with flag 1082452/9556335
791.05/777.19	c cleaning 31999 clauses out of 64024 with flag 1151472/9589336
793.05/779.14	c cleaning 32998 clauses out of 66025 with flag 1222530/9623336
795.05/781.12	c cleaning 34001 clauses out of 68026 with flag 1295698/9658335
797.15/783.25	c cleaning 35000 clauses out of 70026 with flag 1371018/9694336
799.24/785.37	c cleaning 36001 clauses out of 72025 with flag 1448605/9731335
801.44/787.52	c cleaning 36999 clauses out of 74025 with flag 1527912/9769336
803.94/789.92	c cleaning 37999 clauses out of 76026 with flag 1609542/9808336
806.24/792.22	c cleaning 39000 clauses out of 78026 with flag 1693182/9848335
808.64/794.69	c cleaning 40000 clauses out of 80027 with flag 1778888/9889336
811.04/797.07	c cleaning 40997 clauses out of 82026 with flag 1866550/9931335
813.43/799.48	c cleaning 42003 clauses out of 84029 with flag 1956408/9974335
816.27/802.19	c cleaning 42998 clauses out of 86026 with flag 2048287/10018335
818.96/804.84	c cleaning 44001 clauses out of 88028 with flag 2142100/10063335
821.86/807.74	c cleaning 45002 clauses out of 90028 with flag 2237524/10109336
824.75/810.60	c cleaning 46002 clauses out of 92026 with flag 2335252/10156336
827.65/813.58	c cleaning 47002 clauses out of 94023 with flag 2435733/10204335
831.32/816.84	c cleaning 48001 clauses out of 96022 with flag 2537877/10253336
834.31/819.80	c cleaning 48998 clauses out of 98020 with flag 2642405/10303335
837.31/822.86	c cleaning 49999 clauses out of 100022 with flag 2748983/10354335
840.30/825.83	c cleaning 51000 clauses out of 102024 with flag 2856786/10406336
843.70/829.28	c cleaning 52000 clauses out of 104024 with flag 2967053/10459336
847.01/832.58	c cleaning 52997 clauses out of 106023 with flag 3079929/10513335
850.31/835.84	c cleaning 53999 clauses out of 108026 with flag 3194640/10568335
853.51/839.08	c cleaning 55003 clauses out of 110027 with flag 3310674/10624335
857.40/842.93	c cleaning 56002 clauses out of 112026 with flag 3429371/10681337
860.89/846.45	c cleaning 56998 clauses out of 114023 with flag 3550404/10739336
864.49/850.09	c cleaning 58000 clauses out of 116024 with flag 3673447/10798335
868.77/854.36	c cleaning 58997 clauses out of 118025 with flag 3799241/10858336
872.57/858.11	c cleaning 60000 clauses out of 120028 with flag 3926940/10919336
877.06/862.60	c cleaning 61000 clauses out of 122027 with flag 4056715/10981335
881.44/866.81	c cleaning 61995 clauses out of 124027 with flag 4188100/11044335
885.44/870.86	c cleaning 63005 clauses out of 126033 with flag 4321631/11108336
889.64/875.05	c cleaning 64001 clauses out of 128027 with flag 4456915/11173335
894.23/879.52	c cleaning 65002 clauses out of 130026 with flag 4594453/11239335
898.29/883.70	c cleaning 65999 clauses out of 132026 with flag 4733951/11306337
903.35/888.78	c cleaning 66996 clauses out of 134025 with flag 4874504/11374335
908.42/893.87	c cleaning 68005 clauses out of 136029 with flag 5017516/11443335
913.37/898.82	c cleaning 68999 clauses out of 138024 with flag 5163256/11513335
918.99/904.34	c cleaning 70000 clauses out of 140025 with flag 5311235/11584335
924.97/910.32	c cleaning 71001 clauses out of 142025 with flag 5461958/11656335
930.92/916.05	c cleaning 72003 clauses out of 144025 with flag 5613913/11729336
936.41/921.59	c cleaning 73005 clauses out of 146023 with flag 5767995/11803337
941.59/926.79	c cleaning 73997 clauses out of 148016 with flag 5924118/11878335
948.00/933.16	c cleaning 74997 clauses out of 150019 with flag 6081946/11954335
953.69/938.89	c cleaning 76000 clauses out of 152022 with flag 6242079/12031335
960.00/945.00	c cleaning 77001 clauses out of 154022 with flag 6404472/12109335
966.99/952.05	c cleaning 77999 clauses out of 156021 with flag 6568499/12188335
973.13/958.07	c cleaning 79001 clauses out of 158022 with flag 6735538/12268335
978.91/963.81	c cleaning 79997 clauses out of 160021 with flag 6904570/12349335
985.26/970.08	c cleaning 81001 clauses out of 162025 with flag 7075144/12431336
992.85/977.66	c cleaning 82003 clauses out of 164024 with flag 7247403/12514336
999.08/983.76	c cleaning 82995 clauses out of 166020 with flag 7422784/12598335
1006.47/991.19	c cleaning 84003 clauses out of 168025 with flag 7599677/12683335
1013.74/998.22	c cleaning 85001 clauses out of 170023 with flag 7779264/12769336
1020.33/1004.81	c cleaning 86003 clauses out of 172022 with flag 7960539/12856336
1026.45/1010.79	c cleaning 86996 clauses out of 174019 with flag 8144602/12944336
1033.80/1017.96	c cleaning 87997 clauses out of 176022 with flag 8330033/13033335
1040.89/1025.05	c cleaning 89000 clauses out of 178025 with flag 8516866/13123335
1048.70/1032.90	c cleaning 90003 clauses out of 180025 with flag 8705917/13214335
1057.93/1041.98	c cleaning 91003 clauses out of 182022 with flag 8896727/13306335
1066.32/1050.34	c cleaning 92001 clauses out of 184019 with flag 9090463/13399335
1074.77/1058.78	c cleaning 92999 clauses out of 186019 with flag 9285999/13493336
1083.55/1067.50	c cleaning 94000 clauses out of 188020 with flag 9483166/13588336
1091.55/1075.59	c cleaning 95000 clauses out of 190020 with flag 9683190/13684336
1100.72/1084.73	c cleaning 95997 clauses out of 192019 with flag 9884877/13781335
1108.49/1092.47	c cleaning 97000 clauses out of 194022 with flag 10089116/13879335
1117.28/1101.23	c cleaning 97996 clauses out of 196023 with flag 10295481/13978336
1124.96/1108.96	c cleaning 99003 clauses out of 198026 with flag 10504099/14078335
1134.14/1118.11	c cleaning 100001 clauses out of 200023 with flag 10715079/14179335
1144.31/1128.35	c cleaning 101000 clauses out of 202024 with flag 10927534/14281337
1154.59/1138.54	c cleaning 102000 clauses out of 204022 with flag 11142465/14384335
1165.05/1149.05	c cleaning 102997 clauses out of 206022 with flag 11359425/14488335
1176.14/1160.17	c cleaning 104002 clauses out of 208026 with flag 11578784/14593336
1187.21/1171.24	c cleaning 104998 clauses out of 210023 with flag 11799571/14699335
1198.99/1182.92	c cleaning 106008 clauses out of 212025 with flag 12025613/14806335
1211.97/1195.96	c cleaning 106997 clauses out of 214017 with flag 12251076/14914335
1222.75/1206.75	c cleaning 107999 clauses out of 216021 with flag 12478863/15023336
1235.42/1219.44	c cleaning 109001 clauses out of 218021 with flag 12708245/15133335
1246.10/1230.16	c cleaning 109997 clauses out of 220020 with flag 12940841/15244335
1258.51/1241.92	c cleaning 111005 clauses out of 222025 with flag 13174998/15356337
1270.21/1252.55	c cleaning 112000 clauses out of 224018 with flag 13410366/15469335
1280.16/1262.44	c cleaning 112999 clauses out of 226019 with flag 13647371/15583336
1291.33/1273.56	c cleaning 113999 clauses out of 228019 with flag 13886537/15698335
1301.29/1283.47	c cleaning 115000 clauses out of 230020 with flag 14128204/15814335
1312.09/1294.19	c cleaning 115997 clauses out of 232020 with flag 14371972/15931335
1324.34/1306.21	c cleaning 117006 clauses out of 234024 with flag 14617295/16049336
1336.37/1318.13	c cleaning 118000 clauses out of 236018 with flag 14865246/16168336
1348.27/1329.93	c cleaning 118998 clauses out of 238017 with flag 15114586/16288335
1361.02/1342.54	c cleaning 119998 clauses out of 240019 with flag 15365433/16409335
1374.90/1356.21	c cleaning 121004 clauses out of 242022 with flag 15618730/16531336
1386.61/1367.73	c cleaning 121999 clauses out of 244018 with flag 15874244/16654336
1399.45/1380.55	c cleaning 122997 clauses out of 246019 with flag 16132162/16778336
1411.19/1392.25	c cleaning 123999 clauses out of 248021 with flag 16391905/16903335
1422.97/1404.00	c cleaning 124995 clauses out of 250022 with flag 16653356/17029335
1435.80/1416.53	c cleaning 126004 clauses out of 252027 with flag 16917411/17156335
1447.88/1428.57	c cleaning 127007 clauses out of 254024 with flag 17185633/17284336
1460.87/1441.53	c cleaning 127997 clauses out of 256016 with flag 17454729/17413335
1475.32/1455.71	c cleaning 128999 clauses out of 258019 with flag 17726815/17543335
1488.28/1468.61	c cleaning 130000 clauses out of 260020 with flag 17998925/17674335
1501.45/1481.77	c cleaning 131003 clauses out of 262021 with flag 18273132/17806336
1517.85/1498.07	c cleaning 131998 clauses out of 264018 with flag 18549053/17939336
1534.01/1514.10	c cleaning 133001 clauses out of 266019 with flag 18827794/18073335
1548.40/1528.33	c cleaning 133994 clauses out of 268018 with flag 19108617/18208335
1564.85/1544.83	c cleaning 134999 clauses out of 270024 with flag 19391775/18344335
1579.29/1559.17	c cleaning 136000 clauses out of 272025 with flag 19677867/18481335
1596.57/1574.92	c cleaning 137005 clauses out of 274025 with flag 19965707/18619335
1612.83/1591.04	c cleaning 138000 clauses out of 276021 with flag 20255449/18758336
1630.17/1608.08	c cleaning 138997 clauses out of 278021 with flag 20546345/18898336
1645.04/1622.54	c cleaning 140002 clauses out of 280023 with flag 20840009/19039335
1660.93/1638.24	c cleaning 141003 clauses out of 282022 with flag 21136098/19181336
1678.42/1655.46	c cleaning 141998 clauses out of 284018 with flag 21433620/19324335
1694.93/1671.80	c cleaning 142995 clauses out of 286021 with flag 21733658/19468336
1710.10/1686.79	c cleaning 144000 clauses out of 288025 with flag 22035842/19613335
1727.11/1703.68	c cleaning 145003 clauses out of 290026 with flag 22340616/19759336
1746.20/1722.46	c cleaning 145997 clauses out of 292023 with flag 22646564/19906336
1764.80/1740.92	c cleaning 146999 clauses out of 294025 with flag 22954700/20054335
1782.02/1757.85	c cleaning 148003 clauses out of 296026 with flag 23264934/20203335
1800.06/1775.67	c cleaning 149002 clauses out of 298024 with flag 23578014/20353336
1819.39/1794.86	c cleaning 149999 clauses out of 300022 with flag 23893121/20504336
1836.25/1811.41	c cleaning 151002 clauses out of 302023 with flag 24209992/20656336
1853.00/1827.82	c cleaning 151999 clauses out of 304021 with flag 24530355/20809336
1872.74/1846.06	c cleaning 153005 clauses out of 306021 with flag 24851873/20963335
1891.45/1864.66	c cleaning 153997 clauses out of 308018 with flag 25175586/21118337
1912.04/1884.94	c cleaning 155001 clauses out of 310020 with flag 25501797/21274336
1929.75/1902.56	c cleaning 155999 clauses out of 312018 with flag 25829201/21431335
1949.30/1922.11	c cleaning 157003 clauses out of 314019 with flag 26158755/21589335
1969.04/1941.43	c cleaning 157996 clauses out of 316017 with flag 26490092/21748336
1986.33/1958.50	c cleaning 158997 clauses out of 318020 with flag 26824264/21908335
2006.39/1978.42	c cleaning 159999 clauses out of 320024 with flag 27159833/22069336
2024.70/1996.46	c cleaning 161000 clauses out of 322025 with flag 27497905/22231336
2046.61/2018.21	c cleaning 162002 clauses out of 324025 with flag 27837918/22394336
2067.00/2038.52	c cleaning 162998 clauses out of 326023 with flag 28180419/22558336
2088.27/2059.53	c cleaning 163998 clauses out of 328025 with flag 28525208/22723336
2110.83/2081.95	c cleaning 164999 clauses out of 330027 with flag 28872030/22889336
2133.36/2104.19	c cleaning 166007 clauses out of 332029 with flag 29218627/23056337
2154.67/2125.28	c cleaning 166999 clauses out of 334020 with flag 29568341/23224335
2177.08/2147.57	c cleaning 167997 clauses out of 336021 with flag 29919386/23393335
2195.47/2165.55	c cleaning 169006 clauses out of 338024 with flag 30272788/23563335
2219.27/2189.35	c cleaning 169997 clauses out of 340018 with flag 30627288/23734335
2240.58/2210.41	c cleaning 170997 clauses out of 342021 with flag 30983887/23906335
2263.75/2233.54	c cleaning 172004 clauses out of 344024 with flag 31344052/24079335
2286.82/2256.20	c cleaning 173001 clauses out of 346021 with flag 31706142/24253336
2310.70/2279.96	c cleaning 174003 clauses out of 348021 with flag 32069397/24428337
2332.61/2300.58	c cleaning 174997 clauses out of 350016 with flag 32436037/24604335
2357.67/2325.80	c cleaning 176000 clauses out of 352020 with flag 32805494/24781336
2381.02/2348.85	c cleaning 176999 clauses out of 354020 with flag 33175109/24959336
2401.64/2369.19	c cleaning 178001 clauses out of 356020 with flag 33547932/25138335
2427.69/2394.92	c cleaning 178998 clauses out of 358020 with flag 33923351/25318336
2449.70/2416.70	c cleaning 179998 clauses out of 360021 with flag 34299748/25499335
2473.56/2440.45	c cleaning 181000 clauses out of 362024 with flag 34678912/25681336
2498.96/2465.76	c cleaning 182002 clauses out of 364023 with flag 35060435/25864335
2524.09/2490.93	c cleaning 183000 clauses out of 366022 with flag 35442918/26048336
2549.14/2515.82	c cleaning 183995 clauses out of 368021 with flag 35828526/26233335
2572.36/2538.88	c cleaning 185002 clauses out of 370026 with flag 36215065/26419335
2598.67/2564.90	c cleaning 185997 clauses out of 372024 with flag 36605351/26606335
2622.22/2588.38	c cleaning 187002 clauses out of 374028 with flag 36997302/26794336
2645.57/2611.75	c cleaning 188006 clauses out of 376025 with flag 37390344/26983335
2672.60/2638.58	c cleaning 188997 clauses out of 378020 with flag 37786237/27173336
2698.55/2664.35	c cleaning 189996 clauses out of 380023 with flag 38183327/27364336
2725.07/2690.89	c cleaning 191004 clauses out of 382027 with flag 38582984/27556336
2750.10/2715.74	c cleaning 191999 clauses out of 384024 with flag 38984962/27749337
2776.59/2741.68	c cleaning 193001 clauses out of 386023 with flag 39387502/27943335
2804.38/2769.13	c cleaning 194000 clauses out of 388023 with flag 39792389/28138336
2829.58/2794.19	c cleaning 195002 clauses out of 390022 with flag 40199863/28334335
2858.25/2822.87	c cleaning 195999 clauses out of 392020 with flag 40610254/28531335
2886.49/2850.62	c cleaning 196997 clauses out of 394021 with flag 41021987/28729335
2916.43/2880.31	c cleaning 198000 clauses out of 396024 with flag 41435942/28928335
2944.94/2908.81	c cleaning 199000 clauses out of 398025 with flag 41852910/29128336
2972.03/2935.70	c cleaning 200000 clauses out of 400025 with flag 42271020/29329336
3002.32/2965.68	c cleaning 200998 clauses out of 402024 with flag 42690901/29531335
3033.15/2996.35	c cleaning 202004 clauses out of 404027 with flag 43113150/29734336
3062.79/3024.24	c cleaning 202997 clauses out of 406022 with flag 43537918/29938335
3099.63/3060.90	c cleaning 204004 clauses out of 408026 with flag 43970434/30143336
3128.79/3089.80	c cleaning 205003 clauses out of 410023 with flag 44401652/30349337
3157.59/3118.46	c cleaning 205998 clauses out of 412018 with flag 44834017/30556335
3186.05/3146.88	c cleaning 207002 clauses out of 414021 with flag 45270458/30764336
3217.68/3178.41	c cleaning 208000 clauses out of 416019 with flag 45709263/30973336
3241.70/3202.46	c cleaning 209002 clauses out of 418019 with flag 46149522/31183336
3272.90/3233.67	c cleaning 209999 clauses out of 420017 with flag 46593280/31394336
3300.52/3261.24	c cleaning 210997 clauses out of 422018 with flag 47039920/31606336
3333.82/3294.74	c cleaning 212000 clauses out of 424020 with flag 47485853/31819335
3361.51/3322.45	c cleaning 212997 clauses out of 426021 with flag 47932926/32033336
3399.30/3360.39	c cleaning 214003 clauses out of 428024 with flag 48383647/32248336
3430.12/3390.94	c cleaning 214998 clauses out of 430020 with flag 48836459/32464335
3457.76/3418.58	c cleaning 215995 clauses out of 432023 with flag 49292710/32681336
3485.65/3446.48	c cleaning 217001 clauses out of 434027 with flag 49751699/32899335
3517.23/3478.04	c cleaning 218005 clauses out of 436026 with flag 50208069/33118335
3542.99/3503.77	c cleaning 219000 clauses out of 438022 with flag 50666256/33338336
3574.36/3535.05	c cleaning 219995 clauses out of 440021 with flag 51126758/33559335
3600.04/3560.72	c starts		: 7
3600.04/3560.72	c conflicts		: 33781335
3600.04/3560.72	c decisions		: 46521116
3600.04/3560.72	c propagations		: 638856646
3600.04/3560.72	c inspects		: 25251145317
3600.04/3560.72	c shortcuts		: 0
3600.04/3560.72	c learnt literals	: 0
3600.04/3560.72	c learnt binary clauses	: 0
3600.04/3560.72	c learnt ternary clauses	: 0
3600.04/3560.72	c learnt constraints	: 33781335
3600.04/3560.72	c ignored constraints	: 0
3600.04/3560.72	c root simplifications	: 0
3600.04/3560.72	c removed literals (reason simplification)	: 0
3600.04/3560.72	c reason swapping (by a shorter reason)	: 0
3600.04/3560.72	c Calls to reduceDB	: 383
3600.04/3560.72	c Number of update (reduction) of LBD	: 574603
3600.04/3560.72	c Imported unit clauses	: 0
3600.04/3560.72	c No decision after first conflict	: false
3600.04/3560.72	c number of reductions to clauses (during analyze)	: 0
3600.04/3560.72	c number of learned constraints concerned by reduction	: 0
3600.04/3560.72	c number of learning phase by resolution	: 0
3600.04/3560.72	c number of learning phase by cutting planes	: 0
3600.04/3560.72	c number of rounding to 1 operations	: 0
3600.04/3560.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3560.72	c number of reductions of the coefficients by power 2 	: 0
3600.04/3560.72	c number of right shift for reduction by power 2 	: 0
3600.04/3560.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3560.72	c number of ending skipping 	: 0
3600.04/3560.72	c number of internal skipping 	: 0
3600.04/3560.72	c number of derivation steps 	: 0
3600.04/3560.72	c number of skipped derivation steps 	: 0
3600.04/3560.72	c number of remaining unassigned 	: 0
3600.04/3560.72	c number of remaining assigned 	: 0
3600.04/3560.72	c number of falsified literals weakened from reason	: 0
3600.04/3560.72	c number of falsified literals weakened from conflict	: 0
3600.04/3560.72	c time for arithmetic operations	: 0
3600.04/3560.72	c minimum degree of deleted constraints	: null
3600.04/3560.72	c maximum degree of deleted constraints	: null
3600.04/3560.73	c number of deleted constraints	: 0
3600.04/3560.73	c speed (assignments/second)	: 179426.6456399231
3600.04/3560.73	c non guided choices	: 0
3600.26/3560.81	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 442026
3600.26/3560.81	s SATISFIABLE
3600.26/3560.81	c Found 6 solution(s)
3600.26/3560.81	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 -x477 -x478 
3600.26/3560.81	c objective function=228
3600.26/3560.81	c Total wall clock time (in seconds): 3560.682

Verifier Data 

OK	228

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61460 MiB free)
  memory of node 1: 64510 MiB (62354 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432231-1721085938/watcher-4432231-1721085938 -o /tmp/evaluation-result-4432231-1721085938/solver-4432231-1721085938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826327 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432231-1721085938.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100503 s]*
/proc/loadavg: 2.85 3.84 4.00 14/327 826457
/proc/meminfo: memFree=126670880/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=18975048 memory=64576 CPUtime=0.13 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 7214 0 0 0 11 2 0 0 20 0 18 0 160763541 19430449152 16144 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4743762 16144 5540 1 0 549337 0
[pid=826402/tid=826421] ppid=826396 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 1077936192 5783 0 0 0 7 1 0 0 20 0 18 0 160763541 19430449152 16144 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 160763544 19430449152 16144 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 160763544 19430449152 16144 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64576 KiB

[startup+0.208091 s]*
/proc/loadavg: 2.85 3.84 4.00 14/331 826461
/proc/meminfo: memFree=126637396/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19041612 memory=71944 CPUtime=0.33 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 8176 0 0 0 30 3 0 0 20 0 19 0 160763541 19498610688 17986 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4760403 17986 5888 1 0 550021 0
[pid=826402/tid=826421] ppid=826396 vsize=19041612 memory=664970851429515395 CPUtime=0.18 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 6053 0 0 0 16 2 0 0 20 0 19 0 160763541 19498610688 17986 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19041612 memory=17963 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160763544 19498610688 17986 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19041612 memory=14697378909259238 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160763544 19498610688 17986 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160763559 19498610688 17986 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71944 KiB

[startup+0.31258 s]*
/proc/loadavg: 2.85 3.84 4.00 9/331 826461
/proc/meminfo: memFree=126599188/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19041612 memory=79580 CPUtime=0.53 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 10368 0 0 0 50 3 0 0 20 0 19 0 160763541 19498610688 19895 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4760403 19895 5888 1 0 550895 0
[pid=826402/tid=826421] ppid=826396 vsize=19041612 memory=-8742726466234852028 CPUtime=0.26 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 6066 0 0 0 24 2 0 0 20 0 19 0 160763541 19498610688 19895 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19041612 memory=-9044459746194447340 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160763544 19498610688 19895 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160763544 19498610688 19895 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160763559 19498610688 19895 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79580 KiB

[startup+0.705622 s]
/proc/loadavg: 2.85 3.84 4.00 9/331 826461
/proc/meminfo: memFree=126542624/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19041612 memory=102100 CPUtime=1.29 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 13526 0 0 0 125 4 0 0 20 0 19 0 160763541 19498610688 25525 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4760403 25525 5888 1 0 552927 0
[pid=826402/tid=826421] ppid=826396 vsize=19041612 memory=40864 CPUtime=0.62 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 6110 0 0 0 60 2 0 0 20 0 19 0 160763541 19498610688 25525 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19041612 memory=12312 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160763544 19498610688 25525 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19041612 memory=2220 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160763544 19498610688 25525 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19041612 memory=5568 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160763559 19498610688 25525 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 102100 KiB

[startup+1.50713 s]
/proc/loadavg: 2.85 3.84 4.00 8/333 826463
/proc/meminfo: memFree=126172856/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=213480 CPUtime=2.53 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 18032 0 0 0 245 8 0 0 20 0 20 0 160763541 19566772224 53370 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4777044 53370 5904 1 0 553677 0
[pid=826402/tid=826421] ppid=826396 vsize=19108176 memory=12312 CPUtime=1.38 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 6817 0 0 0 134 4 0 0 20 0 20 0 160763541 19566772224 53370 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 53370 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 53370 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19108176 memory=5568 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160763559 19566772224 53370 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 213480 KiB

[startup+3.10613 s]
/proc/loadavg: 3.26 3.91 4.03 6/335 826465
/proc/meminfo: memFree=124972320/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=242576 CPUtime=4.35 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 20328 0 0 0 427 8 0 0 20 0 20 0 160763541 19566772224 60644 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4777044 60644 5920 1 0 553682 0
[pid=826402/tid=826421] ppid=826396 vsize=19108176 memory=0 CPUtime=2.93 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 7097 0 0 0 289 4 0 0 20 0 20 0 160763541 19566772224 60644 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19108176 memory=-8742726466234852028 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 60644 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 60644 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160763559 19566772224 60644 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 4.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 242576 KiB

[startup+6.30112 s]
/proc/loadavg: 3.26 3.91 4.03 7/335 826467
/proc/meminfo: memFree=123086596/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=533396 CPUtime=7.71 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 21389 0 0 0 757 14 0 0 20 0 20 0 160763541 19566772224 133349 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4777044 133349 5920 1 0 733305 0
[pid=826402/tid=826421] ppid=826396 vsize=19108176 memory=12312 CPUtime=5.89 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 7249 0 0 0 584 5 0 0 20 0 20 0 160763541 19566772224 133349 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 133349 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 133349 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19108176 memory=213508 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160763559 19566772224 133349 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 7.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 533396 KiB

[startup+12.7003 s]
/proc/loadavg: 3.46 3.93 4.03 7/335 826467
/proc/meminfo: memFree=119287280/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=1033192 CPUtime=14.36 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 25427 0 0 0 1412 24 0 0 20 0 20 0 160763541 19566772224 258298 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4777044 258298 5932 1 0 944284 0
[pid=826402/tid=826421] ppid=826396 vsize=19108176 memory=213508 CPUtime=11.99 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 8066 0 0 0 1190 9 0 0 20 0 20 0 160763541 19566772224 258298 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19108176 memory=945104 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 258298 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19108176 memory=793692 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 258298 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160763559 19566772224 258298 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 14.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1033192 KiB

[startup+25.5011 s]
/proc/loadavg: 3.54 3.93 4.03 7/335 826470
/proc/meminfo: memFree=112261712/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=1863912 CPUtime=27.59 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 26568 0 0 0 2718 41 0 0 20 0 20 0 160763541 19566772224 465978 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4777044 465978 5932 1 0 1071718 0
[pid=826402/tid=826421] ppid=826396 vsize=19108176 memory=945104 CPUtime=24.19 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 8478 0 0 0 2407 12 0 0 20 0 20 0 160763541 19566772224 465978 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19108176 memory=1765584 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 465978 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19108176 memory=1863912 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 465978 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19108176 memory=7976406965554101975 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160763559 19566772224 465978 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 27.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1863912 KiB

[startup+51.1049 s]
/proc/loadavg: 3.96 4.00 4.05 7/334 826473
/proc/meminfo: memFree=102457648/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=2932848 CPUtime=54.2 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 43970 0 0 0 5355 65 0 0 20 0 20 0 160763541 19566772224 733212 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0

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

[startup+3222.3 s]
/proc/loadavg: 4.29 4.46 4.64 7/330 827988
/proc/meminfo: memFree=90768308/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=13515580 CPUtime=3261.62 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 275570 0 0 0 325768 394 0 0 20 0 20 0 160763541 19566772224 3378895 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4777044 3378895 5948 1 0 4086998 0
[pid=826402/tid=826421] ppid=826396 vsize=19108176 memory=13515576 CPUtime=3166.02 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 83975 0 0 0 316494 108 0 0 20 0 20 0 160763541 19566772224 3378895 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19108176 memory=13515580 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3378895 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19108176 memory=13515580 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 934 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3378895 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160763559 19566772224 3378895 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 3261.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13515580 KiB

[startup+3282.3 s]
/proc/loadavg: 4.58 4.49 4.64 7/330 827998
/proc/meminfo: memFree=90746372/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=13515720 CPUtime=3321.53 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 276673 0 0 0 331757 396 0 0 20 0 20 0 160763541 19566772224 3378930 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4777044 3378930 5948 1 0 4086998 0
[pid=826402/tid=826421] ppid=826396 vsize=19108176 memory=5492 CPUtime=3225.53 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 84390 0 0 0 322445 108 0 0 20 0 20 0 160763541 19566772224 3378930 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3378930 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19108176 memory=13515720 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 934 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3378930 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19108176 memory=13515720 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160763559 19566772224 3378930 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 3321.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13515720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.45 4.49 4.63 6/332 828013
/proc/meminfo: memFree=89969628/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=13745100 CPUtime=3381.45 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 280634 0 0 0 337742 403 0 0 20 0 20 0 160763541 19566772224 3436275 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4777044 3436275 5948 1 0 4086998 0
[pid=826402/tid=826421] ppid=826396 vsize=19108176 memory=40864 CPUtime=3284.7 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 85344 0 0 0 328360 110 0 0 20 0 20 0 160763541 19566772224 3436275 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19108176 memory=-8742726466234852028 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3436275 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19108176 memory=13745100 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 1022 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3436275 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160763559 19566772224 3436275 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 3381.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13745100 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.44 4.61 6/332 828024
/proc/meminfo: memFree=89612996/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=13745108 CPUtime=3441.58 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 281325 0 0 0 343754 404 0 0 20 0 20 0 160763541 19566772224 3436277 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4777044 3436277 5948 1 0 4086998 0
[pid=826402/tid=826421] ppid=826396 vsize=19108176 memory=-8742726466234852028 CPUtime=3343.88 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 85610 0 0 0 334278 110 0 0 20 0 20 0 160763541 19566772224 3436277 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19108176 memory=13745108 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3436277 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 1022 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3436277 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19108176 memory=13745108 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160763559 19566772224 3436277 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 3441.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13745108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.39 4.58 6/332 828035
/proc/meminfo: memFree=89198284/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=13745108 CPUtime=3501.55 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 281380 0 0 0 349749 406 0 0 20 0 20 0 160763541 19566772224 3436277 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4777044 3436277 5948 1 0 4086998 0
[pid=826402/tid=826421] ppid=826396 vsize=19108176 memory=-8742726466234852028 CPUtime=3403.68 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 85653 0 0 0 340258 110 0 0 20 0 20 0 160763541 19566772224 3436277 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19108176 memory=13745108 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3436277 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19108176 memory=13745108 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 1022 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3436277 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19108176 memory=13745108 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160763559 19566772224 3436277 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 3501.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13745108 KiB

[startup+3522.3 s]
/proc/loadavg: 4.33 4.39 4.56 6/332 828047
/proc/meminfo: memFree=89197860/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=13745156 CPUtime=3561.68 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 282493 0 0 0 355760 408 0 0 20 0 20 0 160763541 19566772224 3436289 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4777044 3436289 5948 1 0 4086998 0
[pid=826402/tid=826421] ppid=826396 vsize=19108176 memory=13745108 CPUtime=3463.06 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 86400 0 0 0 346196 110 0 0 20 0 20 0 160763541 19566772224 3436289 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19108176 memory=5492 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3436289 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19108176 memory=-8742726466234852028 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 1022 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3436289 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19108176 memory=13745156 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160763559 19566772224 3436289 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 3561.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13745156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3560.7 s]
/proc/loadavg: 4.18 4.35 4.54 5/332 828121
/proc/meminfo: memFree=102336600/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19108176 memory=13745156 CPUtime=3600.04 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 286218 0 0 0 359594 410 0 0 20 0 20 0 160763541 19566772224 3436289 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4777044 3436289 5948 1 0 4086998 0
[pid=826402/tid=826421] ppid=826396 vsize=19108176 memory=19296 CPUtime=3501.34 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 87203 0 0 0 350023 111 0 0 20 0 20 0 160763541 19566772224 3436289 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19108176 memory=13745156 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3436289 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19108176 memory=13745156 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 1061 0 0 0 0 0 0 0 20 0 20 0 160763544 19566772224 3436289 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826461] ppid=826396 vsize=19108176 memory=13745156 CPUtime=0 cores=5,7
/proc/826402/task/826461/stat : 826461 (Timer-0) S 826396 826402 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160763559 19566772224 3436289 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13745156 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.18 s, system=4.14211 s

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

[startup+3560.81 s]
/proc/loadavg: 4.18 4.35 4.54 5/332 828121
/proc/meminfo: memFree=102336600/131524600 swapFree=131071996/131071996
[pid=826402] ppid=826396 vsize=19307868 memory=13745828 CPUtime=3600.26 cores=5,7
/proc/826402/stat : 826402 (java) S 826396 826402 826314 0 -1 1077936128 288663 0 0 0 359616 410 0 0 20 0 21 0 160763541 19771256832 3436457 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
/proc/826402/statm: 4826967 3436457 5947 1 0 4087885 0
[pid=826402/tid=826421] ppid=826396 vsize=19307868 memory=2220 CPUtime=3501.45 cores=5,7
/proc/826402/task/826421/stat : 826421 (java) R 826396 826402 826314 0 -1 4194368 87203 0 0 0 350034 111 0 0 20 0 21 0 160763541 19771256832 3436457 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826442] ppid=826396 vsize=19307868 memory=12316 CPUtime=0 cores=5,7
/proc/826402/task/826442/stat : 826442 (Finalizer) S 826396 826402 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 160763544 19771256832 3436457 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
[pid=826402/tid=826456] ppid=826396 vsize=19307868 memory=40864 CPUtime=0 cores=5,7
/proc/826402/task/826456/stat : 826456 (Common-Cleaner) S 826396 826402 826314 0 -1 1077936192 1061 0 0 0 0 0 0 0 20 0 21 0 160763544 19771256832 3436457 134679101440 94066588098560 94066588102256 140722227840432 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94066588110072 94066588110864 94066610544640 140722227848199 140722227848289 140722227848289 140722227855304 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 13745828 KiB

Child status: 143

Real time (s): 3560.86
CPU time (s): 3600.32
CPU user time (s): 3596.18
CPU system time (s): 4.14211
CPU usage (%): 101.108
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 13745828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.18
system time used= 4.14211
maximum resident set size= 13746700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288983
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117575
involuntary context switches= 16730


# summary of solver processes directly reported to runsolver:
#   pid: 826402
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3596.18
#   total CPU system time (s): 4.14211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28437 second user time and 17.6042 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 01:25:50
IDJOB=4432231
IDBENCH=147538
IDSOLVER=3058
FILE ID=nodeC033/4432231-1721085938
RUNJOBID= nodeC033-1721085950-826327
SLURM_JOB_ID= 7505580
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432231-1721085938/watcher-4432231-1721085938 -o /tmp/evaluation-result-4432231-1721085938/solver-4432231-1721085938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826327 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432231-1721085938.opb

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

MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=25535049

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126836776 kB
MemAvailable:   129679344 kB
Buffers:          400928 kB
Cached:          3247188 kB
SwapCached:            0 kB
Active:           649124 kB
Inactive:        3377136 kB
Active(anon):       1500 kB
Inactive(anon):   414040 kB
Active(file):     647624 kB
Inactive(file):  2963096 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3172 kB
Writeback:             0 kB
AnonPages:        377236 kB
Mapped:           110980 kB
Shmem:             37716 kB
KReclaimable:     142988 kB
Slab:             253604 kB
SReclaimable:     142988 kB
SUnreclaim:       110616 kB
KernelStack:        4048 kB
PageTables:        10568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     807164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC033 at 2024-07-16 02:25:11