Trace number 4432229

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)220 3600.31 3566.76

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
MD5SUM8940813d27fb075f4739eb458e093f9a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark176
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables467
Total number of constraints466
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 constraints466
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 467
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 467
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 467
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4432229-1721086341.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.042s.
0.13/0.17	c declared #vars     467
0.13/0.17	c #constraints  466
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 466
0.13/0.17	c 466 constraints processed.
0.13/0.18	c objective function length is 467 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.062
0.13/0.19	o 223
0.34/0.26	c Got one! Elapsed wall clock time (in seconds):0.121
0.34/0.26	o 222
0.91/0.51	c Got one! Elapsed wall clock time (in seconds):0.386
0.91/0.51	o 221
1.30/0.78	c cleaning 2913 clauses out of 5837 with flag 6323/5837
1.67/0.99	c cleaning 4453 clauses out of 8922 with flag 18844/11835
2.01/1.24	c cleaning 5730 clauses out of 11470 with flag 33441/18836
2.50/1.62	c cleaning 6865 clauses out of 13739 with flag 50051/26835
2.91/2.00	c cleaning 7930 clauses out of 15874 with flag 68697/35835
3.20/2.35	c cleaning 8963 clauses out of 17944 with flag 89446/45835
3.79/2.86	c cleaning 9981 clauses out of 19981 with flag 112256/56835
4.28/3.38	c cleaning 10994 clauses out of 22000 with flag 137174/68835
4.94/3.99	c cleaning 11993 clauses out of 24006 with flag 164108/81835
5.54/4.59	c cleaning 13000 clauses out of 26014 with flag 193147/95836
6.28/5.29	c cleaning 13998 clauses out of 28014 with flag 224366/110836
7.26/6.12	c cleaning 14997 clauses out of 30015 with flag 257593/126835
7.97/6.86	c cleaning 15999 clauses out of 32018 with flag 292855/143835
9.02/7.85	c cleaning 17001 clauses out of 34019 with flag 330089/161835
9.92/8.73	c cleaning 18002 clauses out of 36018 with flag 369376/180835
10.96/9.79	c cleaning 18998 clauses out of 38016 with flag 410707/200835
12.23/10.96	c cleaning 20004 clauses out of 40020 with flag 454088/221837
13.24/11.96	c cleaning 20997 clauses out of 42014 with flag 499616/243835
14.48/13.14	c cleaning 21998 clauses out of 44017 with flag 547397/266835
15.58/14.24	c cleaning 22996 clauses out of 46019 with flag 597250/290835
17.04/15.62	c cleaning 24002 clauses out of 48024 with flag 648905/315836
18.83/17.37	c cleaning 25005 clauses out of 50021 with flag 704183/341835
20.53/19.05	c cleaning 26000 clauses out of 52016 with flag 760290/368835
22.40/20.81	c cleaning 26996 clauses out of 54016 with flag 818442/396835
24.37/22.76	c cleaning 28002 clauses out of 56021 with flag 878500/425836
26.47/24.82	c cleaning 29003 clauses out of 58018 with flag 940985/455835
28.46/26.89	c cleaning 30000 clauses out of 60015 with flag 1005342/486835
31.04/29.34	c cleaning 31002 clauses out of 62016 with flag 1073360/518836
33.50/31.74	c cleaning 31998 clauses out of 64014 with flag 1141731/551836
36.09/34.28	c cleaning 32998 clauses out of 66015 with flag 1212051/585835
38.88/36.92	c cleaning 33999 clauses out of 68018 with flag 1284889/620836
41.18/39.29	c cleaning 34999 clauses out of 70018 with flag 1359777/656835
43.83/41.85	c cleaning 36002 clauses out of 72020 with flag 1437143/693836
46.32/44.36	c cleaning 37001 clauses out of 74018 with flag 1515714/731836
48.91/46.98	c cleaning 37996 clauses out of 76016 with flag 1596495/770835
51.63/49.62	c cleaning 39003 clauses out of 78021 with flag 1679110/810836
54.02/52.09	c cleaning 40002 clauses out of 80017 with flag 1763912/851835
56.84/54.73	c cleaning 41001 clauses out of 82017 with flag 1850809/893837
59.73/57.62	c cleaning 42000 clauses out of 84014 with flag 1939819/936835
62.93/60.70	c cleaning 42998 clauses out of 86016 with flag 2030996/980837
65.80/63.62	c cleaning 43997 clauses out of 88016 with flag 2124129/1025835
69.21/66.91	c cleaning 45002 clauses out of 90020 with flag 2219472/1071836
73.00/70.11	c cleaning 45998 clauses out of 92017 with flag 2317285/1118835
76.46/73.57	c cleaning 47004 clauses out of 94021 with flag 2417264/1166837
79.85/76.93	c cleaning 48000 clauses out of 96016 with flag 2518834/1215836
83.25/80.36	c cleaning 48997 clauses out of 98015 with flag 2622637/1265835
86.82/83.94	c cleaning 50000 clauses out of 100018 with flag 2728889/1316835
90.39/87.40	c cleaning 50998 clauses out of 102018 with flag 2837672/1368835
93.59/90.57	c cleaning 52002 clauses out of 104021 with flag 2948108/1421836
97.34/94.20	c cleaning 52995 clauses out of 106018 with flag 3060635/1475835
101.53/98.40	c cleaning 54004 clauses out of 108023 with flag 3179805/1530835
105.53/102.43	c cleaning 55001 clauses out of 110020 with flag 3296518/1586836
109.70/106.55	c cleaning 56000 clauses out of 112018 with flag 3415506/1643835
113.79/110.62	c cleaning 57000 clauses out of 114018 with flag 3536139/1701835
117.58/114.42	c cleaning 58001 clauses out of 116019 with flag 3658614/1760836
122.32/119.03	c cleaning 58999 clauses out of 118018 with flag 3783719/1820836
126.98/123.79	c cleaning 60000 clauses out of 120018 with flag 3911156/1881835
131.74/128.60	c cleaning 61001 clauses out of 122019 with flag 4040199/1943836
136.56/133.26	c cleaning 61994 clauses out of 124017 with flag 4171318/2006835
141.55/138.21	c cleaning 62999 clauses out of 126023 with flag 4304792/2070835
146.54/143.15	c cleaning 64003 clauses out of 128024 with flag 4440071/2135835
152.24/148.71	c cleaning 65003 clauses out of 130022 with flag 4577225/2201836
158.80/154.54	c cleaning 65997 clauses out of 132018 with flag 4716274/2268835
164.10/159.85	c cleaning 66999 clauses out of 134021 with flag 4857186/2336835
169.97/165.65	c cleaning 68000 clauses out of 136023 with flag 5000311/2405836
175.46/171.10	c cleaning 69001 clauses out of 138023 with flag 5146086/2475836
180.87/176.58	c cleaning 70001 clauses out of 140021 with flag 5294125/2546835
186.86/182.52	c cleaning 70999 clauses out of 142020 with flag 5443024/2618835
192.67/188.06	c cleaning 71998 clauses out of 144021 with flag 5594943/2691835
198.44/193.88	c cleaning 73000 clauses out of 146024 with flag 5748132/2765836
204.92/200.24	c cleaning 73999 clauses out of 148023 with flag 5903448/2840835
211.37/206.54	c cleaning 75004 clauses out of 150025 with flag 6060758/2916836
217.31/212.53	c cleaning 75998 clauses out of 152020 with flag 6221279/2993835
223.23/218.42	c cleaning 76999 clauses out of 154022 with flag 6384966/3071835
229.58/224.82	c cleaning 78003 clauses out of 156023 with flag 6548977/3150835
236.40/231.64	c cleaning 79002 clauses out of 158020 with flag 6715623/3230835
243.57/238.52	c cleaning 79997 clauses out of 160019 with flag 6884032/3311836
252.43/246.47	c cleaning 81003 clauses out of 162022 with flag 7054270/3393836
259.75/253.67	c cleaning 81999 clauses out of 164019 with flag 7226129/3476836
266.57/260.34	c cleaning 83000 clauses out of 166019 with flag 7400335/3560835
273.83/267.57	c cleaning 83998 clauses out of 168020 with flag 7576540/3645836
281.39/275.08	c cleaning 85003 clauses out of 170022 with flag 7754822/3731836
289.57/283.13	c cleaning 86003 clauses out of 172019 with flag 7934897/3818836
297.63/291.10	c cleaning 86998 clauses out of 174015 with flag 8118213/3906835
305.59/299.00	c cleaning 87995 clauses out of 176017 with flag 8302823/3995835
314.18/307.31	c cleaning 89002 clauses out of 178022 with flag 8490429/4085835
322.24/315.32	c cleaning 89999 clauses out of 180021 with flag 8679725/4176836
330.83/323.85	c cleaning 91004 clauses out of 182022 with flag 8870210/4268836
339.55/332.41	c cleaning 92001 clauses out of 184017 with flag 9063845/4361835
348.25/341.01	c cleaning 92996 clauses out of 186016 with flag 9259708/4455835
357.33/349.18	c cleaning 93998 clauses out of 188021 with flag 9457109/4550836
365.67/357.44	c cleaning 94995 clauses out of 190022 with flag 9656509/4646835
374.95/366.71	c cleaning 96000 clauses out of 192028 with flag 9858194/4743836
384.86/376.32	c cleaning 97001 clauses out of 194027 with flag 10062193/4841835
394.03/385.45	c cleaning 98002 clauses out of 196026 with flag 10268688/4940835
403.35/394.64	c cleaning 99003 clauses out of 198024 with flag 10477749/5040835
413.52/404.51	c cleaning 100001 clauses out of 200022 with flag 10688433/5141836
422.46/413.36	c cleaning 101001 clauses out of 202021 with flag 10901420/5243836
431.25/422.00	c cleaning 101999 clauses out of 204019 with flag 11116697/5346835
440.62/431.36	c cleaning 102999 clauses out of 206021 with flag 11334558/5450836
449.27/439.91	c cleaning 103996 clauses out of 208021 with flag 11553185/5555835
458.19/448.71	c cleaning 105000 clauses out of 210026 with flag 11774927/5661836
468.37/458.85	c cleaning 106001 clauses out of 212026 with flag 11998465/5768836
478.41/468.84	c cleaning 107000 clauses out of 214025 with flag 12223113/5876836
481.26/471.51	c Got one! Elapsed wall clock time (in seconds):471.387
481.26/471.51	o 220
486.15/476.47	c cleaning 80589 clauses out of 161202 with flag 11391/5931013
487.05/477.33	c cleaning 43296 clauses out of 86614 with flag 23848/5937014
487.45/477.77	c cleaning 25146 clauses out of 50317 with flag 38483/5944013
487.83/478.07	c cleaning 16579 clauses out of 33171 with flag 55148/5952013
488.17/478.38	c cleaning 12789 clauses out of 25594 with flag 73954/5961015
488.56/478.71	c cleaning 11394 clauses out of 22805 with flag 94751/5971015
488.87/479.08	c cleaning 11197 clauses out of 22410 with flag 117574/5982014
489.26/479.48	c cleaning 11598 clauses out of 23213 with flag 142552/5994014
489.76/479.91	c cleaning 12296 clauses out of 24614 with flag 169580/6007013
490.16/480.38	c cleaning 13149 clauses out of 26319 with flag 198699/6021014
490.77/480.95	c cleaning 14074 clauses out of 28169 with flag 229815/6036013
491.36/481.55	c cleaning 15040 clauses out of 30095 with flag 263040/6052013
491.97/482.17	c cleaning 16019 clauses out of 32056 with flag 298299/6069014
492.76/482.93	c cleaning 17012 clauses out of 34037 with flag 335548/6087014
493.46/483.69	c cleaning 18002 clauses out of 36025 with flag 375022/6106014
494.26/484.47	c cleaning 19002 clauses out of 38022 with flag 416585/6126013
495.15/485.37	c cleaning 20002 clauses out of 40021 with flag 460236/6147014
496.15/486.34	c cleaning 21003 clauses out of 42019 with flag 505782/6169014
497.20/487.38	c cleaning 21995 clauses out of 44015 with flag 553366/6192013
498.30/488.46	c cleaning 22997 clauses out of 46021 with flag 602979/6216014
499.59/489.74	c cleaning 23996 clauses out of 48023 with flag 654671/6241013
500.89/491.09	c cleaning 25003 clauses out of 50028 with flag 708490/6267014
502.28/492.46	c cleaning 26002 clauses out of 52024 with flag 764208/6294013
503.89/494.07	c cleaning 26997 clauses out of 54022 with flag 822115/6322013
505.58/495.75	c cleaning 28000 clauses out of 56026 with flag 882024/6351014
507.22/497.30	c cleaning 28999 clauses out of 58026 with flag 943952/6381014
508.92/499.08	c cleaning 30004 clauses out of 60027 with flag 1007999/6412014
510.71/500.82	c cleaning 31000 clauses out of 62022 with flag 1074106/6444013
512.61/502.73	c cleaning 32000 clauses out of 64023 with flag 1142387/6477014
514.70/504.82	c cleaning 32998 clauses out of 66022 with flag 1212648/6511013
516.91/507.08	c cleaning 33996 clauses out of 68024 with flag 1284960/6546013
519.66/509.79	c cleaning 35007 clauses out of 70029 with flag 1359737/6582014
522.46/512.52	c cleaning 36003 clauses out of 72021 with flag 1436315/6619013
525.15/515.27	c cleaning 36996 clauses out of 74018 with flag 1514889/6657013
528.14/518.27	c cleaning 37998 clauses out of 76022 with flag 1595686/6696013
531.04/521.18	c cleaning 39003 clauses out of 78024 with flag 1678166/6736013
535.17/524.70	c cleaning 40000 clauses out of 80021 with flag 1762787/6777013
538.57/528.12	c cleaning 40999 clauses out of 82022 with flag 1849456/6819014
541.75/531.37	c cleaning 41999 clauses out of 84023 with flag 1938299/6862014
545.34/535.00	c cleaning 43001 clauses out of 86023 with flag 2029293/6906013
549.26/538.77	c cleaning 44002 clauses out of 88022 with flag 2121979/6951013
552.65/542.17	c cleaning 44999 clauses out of 90020 with flag 2216702/6997013
556.55/546.03	c cleaning 45999 clauses out of 92022 with flag 2313853/7044014
560.64/550.17	c cleaning 47000 clauses out of 94023 with flag 2413017/7092014
564.22/553.73	c cleaning 47999 clauses out of 96022 with flag 2514469/7141013
568.30/557.82	c cleaning 49002 clauses out of 98024 with flag 2618733/7191014
572.20/561.68	c cleaning 50002 clauses out of 100021 with flag 2724566/7242013
576.06/565.51	c cleaning 50994 clauses out of 102020 with flag 2832212/7294014
579.53/569.07	c cleaning 52002 clauses out of 104025 with flag 2942233/7347013
583.49/573.08	c cleaning 52999 clauses out of 106023 with flag 3054214/7401013
588.00/577.47	c cleaning 54002 clauses out of 108024 with flag 3167922/7456013
591.99/581.49	c cleaning 55001 clauses out of 110022 with flag 3283839/7512013
596.08/585.55	c cleaning 56000 clauses out of 112022 with flag 3401756/7569014
600.47/589.91	c cleaning 57000 clauses out of 114021 with flag 3521960/7627013
604.85/594.22	c cleaning 58000 clauses out of 116021 with flag 3644079/7686013
609.02/598.41	c cleaning 58998 clauses out of 118021 with flag 3768893/7746013
613.38/602.84	c cleaning 59999 clauses out of 120024 with flag 3895484/7807014
617.83/607.31	c cleaning 60998 clauses out of 122024 with flag 4024513/7869013
623.34/612.79	c cleaning 61999 clauses out of 124026 with flag 4155285/7932013
629.32/618.74	c cleaning 63004 clauses out of 126028 with flag 4289585/7996014
635.20/624.66	c cleaning 64001 clauses out of 128024 with flag 4424821/8061014
640.59/630.04	c cleaning 65004 clauses out of 130023 with flag 4562072/8127014
647.09/636.49	c cleaning 65999 clauses out of 132019 with flag 4701633/8194014
653.54/642.94	c cleaning 67000 clauses out of 134020 with flag 4843260/8262014
659.68/649.13	c cleaning 67998 clauses out of 136019 with flag 4986191/8331013
666.34/655.73	c cleaning 68998 clauses out of 138022 with flag 5130932/8401014
672.58/662.05	c cleaning 69998 clauses out of 140023 with flag 5278249/8472013
678.72/668.27	c cleaning 70999 clauses out of 142025 with flag 5428025/8544013
685.74/675.12	c cleaning 71998 clauses out of 144026 with flag 5579625/8617013
692.42/681.83	c cleaning 73003 clauses out of 146028 with flag 5733008/8691013
700.20/689.69	c cleaning 74000 clauses out of 148026 with flag 5888945/8766014
707.41/696.70	c cleaning 75003 clauses out of 150025 with flag 6046992/8842013
714.79/704.16	c cleaning 76003 clauses out of 152023 with flag 6207410/8919014
721.77/711.17	c cleaning 76999 clauses out of 154019 with flag 6369922/8997013
729.78/718.90	c cleaning 78003 clauses out of 156021 with flag 6533733/9076014
736.06/725.24	c cleaning 79004 clauses out of 158017 with flag 6699794/9156013
743.05/732.21	c cleaning 79996 clauses out of 160014 with flag 6868735/9237014
749.83/738.95	c cleaning 80997 clauses out of 162017 with flag 7040033/9319013
756.17/745.34	c cleaning 82003 clauses out of 164021 with flag 7212937/9402014
762.77/751.88	c cleaning 82999 clauses out of 166018 with flag 7388658/9486014
769.75/758.80	c cleaning 84000 clauses out of 168018 with flag 7566721/9571013
776.69/765.66	c cleaning 84995 clauses out of 170019 with flag 7747067/9657014
784.26/773.23	c cleaning 86001 clauses out of 172023 with flag 7929315/9744013
791.34/780.30	c cleaning 87001 clauses out of 174023 with flag 8113811/9832014
799.12/788.10	c cleaning 88001 clauses out of 176022 with flag 8300697/9921014
806.49/795.46	c cleaning 88997 clauses out of 178020 with flag 8489011/10011013
815.00/803.87	c cleaning 89997 clauses out of 180024 with flag 8679567/10102014
823.47/812.38	c cleaning 91004 clauses out of 182027 with flag 8870941/10194014
831.97/820.73	c cleaning 92000 clauses out of 184024 with flag 9063574/10287015
839.41/828.20	c cleaning 93002 clauses out of 186023 with flag 9258205/10381014
848.24/836.92	c cleaning 93999 clauses out of 188020 with flag 9455549/10476013
856.91/845.63	c cleaning 95002 clauses out of 190021 with flag 9654801/10572013
866.92/855.47	c cleaning 96001 clauses out of 192019 with flag 9856774/10669013
876.25/864.69	c cleaning 96998 clauses out of 194018 with flag 10061678/10767013
886.16/874.66	c cleaning 98004 clauses out of 196020 with flag 10268443/10866013
897.68/886.28	c cleaning 98999 clauses out of 198016 with flag 10476855/10966013
908.28/896.83	c cleaning 99995 clauses out of 200017 with flag 10686756/11067013
917.28/905.77	c cleaning 101003 clauses out of 202023 with flag 10899501/11169014
928.58/916.96	c cleaning 102001 clauses out of 204019 with flag 11114337/11272013
940.25/928.52	c cleaning 103002 clauses out of 206021 with flag 11329945/11376016
950.42/938.64	c cleaning 103999 clauses out of 208017 with flag 11548329/11481014
963.63/950.92	c cleaning 104998 clauses out of 210017 with flag 11770336/11587013
974.54/961.79	c cleaning 106001 clauses out of 212019 with flag 11992964/11694013
986.51/973.68	c cleaning 106998 clauses out of 214019 with flag 12217262/11802014
998.42/985.55	c cleaning 108000 clauses out of 216020 with flag 12443379/11911013
1010.50/997.52	c cleaning 109004 clauses out of 218020 with flag 12670739/12021013
1022.99/1009.91	c cleaning 109998 clauses out of 220016 with flag 12900131/12132013
1036.83/1023.70	c cleaning 111000 clauses out of 222019 with flag 13133332/12244014
1049.83/1036.52	c cleaning 112001 clauses out of 224019 with flag 13367813/12357014
1061.83/1048.48	c cleaning 112999 clauses out of 226018 with flag 13604455/12471014
1074.48/1060.90	c cleaning 113998 clauses out of 228018 with flag 13844176/12586013
1085.96/1072.26	c cleaning 115002 clauses out of 230021 with flag 14085199/12702014
1098.67/1084.81	c cleaning 115997 clauses out of 232018 with flag 14327554/12819013
1112.09/1098.11	c cleaning 117002 clauses out of 234021 with flag 14572636/12937013
1126.58/1112.47	c cleaning 117997 clauses out of 236019 with flag 14819028/13056013
1139.51/1125.27	c cleaning 118997 clauses out of 238023 with flag 15067331/13176014
1154.81/1140.45	c cleaning 120001 clauses out of 240027 with flag 15317683/13297015
1170.55/1156.06	c cleaning 120999 clauses out of 242024 with flag 15569747/13419013
1186.54/1171.90	c cleaning 122002 clauses out of 244025 with flag 15823804/13542013
1202.69/1187.99	c cleaning 123005 clauses out of 246023 with flag 16080894/13666013
1219.18/1203.32	c cleaning 124000 clauses out of 248019 with flag 16341481/13791014
1235.40/1219.51	c cleaning 124999 clauses out of 250018 with flag 16603529/13917013
1250.32/1234.22	c cleaning 126002 clauses out of 252020 with flag 16867647/14044014
1263.94/1247.86	c cleaning 127002 clauses out of 254019 with flag 17134279/14172015
1280.90/1264.81	c cleaning 127994 clauses out of 256016 with flag 17402559/14301014
1299.40/1283.29	c cleaning 128997 clauses out of 258022 with flag 17671372/14431014
1315.61/1299.25	c cleaning 130005 clauses out of 260025 with flag 17943294/14562014
1332.29/1315.78	c cleaning 130997 clauses out of 262020 with flag 18217203/14694014
1345.78/1329.18	c cleaning 132001 clauses out of 264022 with flag 18492940/14827013
1362.18/1345.66	c cleaning 132998 clauses out of 266021 with flag 18770821/14961013
1382.39/1366.00	c cleaning 133999 clauses out of 268024 with flag 19050402/15096014
1399.67/1383.24	c cleaning 135004 clauses out of 270024 with flag 19333073/15232013
1415.68/1399.14	c cleaning 135999 clauses out of 272020 with flag 19617496/15369013
1433.15/1416.42	c cleaning 136998 clauses out of 274021 with flag 19903188/15507013
1448.80/1432.01	c cleaning 138001 clauses out of 276024 with flag 20191324/15646014
1464.58/1447.65	c cleaning 138998 clauses out of 278023 with flag 20482531/15786014
1482.94/1465.99	c cleaning 140003 clauses out of 280025 with flag 20775711/15927014
1497.89/1480.98	c cleaning 140995 clauses out of 282022 with flag 21071636/16069014
1515.77/1498.94	c cleaning 142000 clauses out of 284026 with flag 21368032/16212013
1534.90/1518.19	c cleaning 143004 clauses out of 286027 with flag 21664945/16356014
1552.24/1535.49	c cleaning 143998 clauses out of 288023 with flag 21965509/16501014
1570.59/1553.65	c cleaning 145001 clauses out of 290024 with flag 22269165/16647013
1590.44/1573.46	c cleaning 146001 clauses out of 292023 with flag 22574011/16794013
1607.11/1590.17	c cleaning 147001 clauses out of 294023 with flag 22882168/16942014
1624.94/1607.93	c cleaning 147996 clauses out of 296021 with flag 23190837/17091013
1640.87/1623.72	c cleaning 149000 clauses out of 298025 with flag 23501704/17241013
1659.67/1642.53	c cleaning 150003 clauses out of 300025 with flag 23815199/17392013
1679.74/1660.53	c cleaning 151000 clauses out of 302023 with flag 24130702/17544014
1700.52/1681.24	c cleaning 151999 clauses out of 304022 with flag 24446891/17697013
1718.96/1699.63	c cleaning 152997 clauses out of 306024 with flag 24765437/17851014
1739.15/1719.67	c cleaning 154001 clauses out of 308027 with flag 25086750/18006014
1758.82/1739.18	c cleaning 155005 clauses out of 310025 with flag 25409825/18162013
1777.66/1757.69	c cleaning 156000 clauses out of 312021 with flag 25735175/18319014
1796.81/1776.67	c cleaning 157003 clauses out of 314020 with flag 26061634/18477013
1818.88/1798.78	c cleaning 157999 clauses out of 316017 with flag 26390370/18636013
1840.78/1820.41	c cleaning 158996 clauses out of 318018 with flag 26721446/18796013
1860.96/1840.64	c cleaning 159998 clauses out of 320022 with flag 27054903/18957013
1882.08/1861.68	c cleaning 161002 clauses out of 322024 with flag 27390495/19119013
1899.03/1878.50	c cleaning 161999 clauses out of 324022 with flag 27728594/19282013
1917.94/1897.22	c cleaning 162999 clauses out of 326023 with flag 28068159/19446013
1939.80/1918.91	c cleaning 163999 clauses out of 328024 with flag 28409153/19611013
1960.75/1939.55	c cleaning 165002 clauses out of 330026 with flag 28751619/19777014
1981.21/1959.97	c cleaning 166000 clauses out of 332023 with flag 29098374/19944013
2001.56/1980.09	c cleaning 167000 clauses out of 334023 with flag 29447902/20112013
2020.79/1999.17	c cleaning 168000 clauses out of 336025 with flag 29797811/20281015
2039.16/2016.28	c cleaning 169000 clauses out of 338023 with flag 30148998/20451013
2057.75/2034.53	c cleaning 169999 clauses out of 340023 with flag 30504200/20622013
2077.75/2054.32	c cleaning 171000 clauses out of 342024 with flag 30861842/20794013
2100.61/2077.14	c cleaning 172001 clauses out of 344025 with flag 31221577/20967014
2122.33/2098.85	c cleaning 173003 clauses out of 346023 with flag 31583938/21141013
2143.57/2119.88	c cleaning 173996 clauses out of 348021 with flag 31948072/21316014
2165.95/2142.11	c cleaning 175003 clauses out of 350025 with flag 32314489/21492014
2190.49/2166.77	c cleaning 176003 clauses out of 352021 with flag 32682043/21669013
2211.96/2187.86	c cleaning 176999 clauses out of 354018 with flag 33052228/21847013
2235.67/2211.50	c cleaning 177995 clauses out of 356019 with flag 33424058/22026013
2259.64/2235.43	c cleaning 179001 clauses out of 358024 with flag 33798716/22206013
2290.89/2266.25	c cleaning 179994 clauses out of 360023 with flag 34173256/22387013
2316.39/2291.69	c cleaning 181001 clauses out of 362029 with flag 34550710/22569013
2342.70/2318.06	c cleaning 182000 clauses out of 364028 with flag 34931492/22752013
2372.48/2347.67	c cleaning 183002 clauses out of 366028 with flag 35314388/22936013
2400.44/2375.42	c cleaning 184002 clauses out of 368027 with flag 35700336/23121014
2430.90/2405.81	c cleaning 184999 clauses out of 370024 with flag 36086183/23307013
2460.40/2435.10	c cleaning 186000 clauses out of 372026 with flag 36473924/23494014
2490.78/2465.28	c cleaning 187000 clauses out of 374026 with flag 36863559/23682014
2520.02/2494.09	c cleaning 188001 clauses out of 376025 with flag 37255980/23871013
2552.09/2526.01	c cleaning 189004 clauses out of 378025 with flag 37649691/24061014
2580.72/2554.72	c cleaning 190000 clauses out of 380020 with flag 38045266/24252013
2611.64/2585.53	c cleaning 190997 clauses out of 382021 with flag 38442129/24444014
2643.72/2615.94	c cleaning 191998 clauses out of 384024 with flag 38841891/24637014
2673.50/2645.61	c cleaning 193001 clauses out of 386026 with flag 39243074/24831014
2708.21/2680.38	c cleaning 193996 clauses out of 388024 with flag 39644510/25026013
2740.81/2712.78	c cleaning 195004 clauses out of 390029 with flag 40050659/25222014
2771.58/2743.30	c cleaning 195996 clauses out of 392024 with flag 40459094/25419013
2803.03/2774.71	c cleaning 197003 clauses out of 394028 with flag 40870764/25617013
2832.96/2804.54	c cleaning 197997 clauses out of 396025 with flag 41286156/25816013
2864.85/2836.37	c cleaning 199002 clauses out of 398029 with flag 41702565/26016014
2894.88/2866.31	c cleaning 200001 clauses out of 400027 with flag 42120303/26217014
2928.70/2899.86	c cleaning 200995 clauses out of 402026 with flag 42539341/26419014
2959.43/2930.30	c cleaning 202001 clauses out of 404030 with flag 42960986/26622013
2991.60/2962.35	c cleaning 203002 clauses out of 406030 with flag 43383796/26826014
3027.99/2998.85	c cleaning 204003 clauses out of 408027 with flag 43807114/27031013
3062.18/3033.02	c cleaning 204998 clauses out of 410024 with flag 44234458/27237013
3092.78/3063.47	c cleaning 206002 clauses out of 412026 with flag 44664165/27444013
3126.41/3096.92	c cleaning 206996 clauses out of 414024 with flag 45095922/27652013
3160.79/3131.22	c cleaning 207999 clauses out of 416028 with flag 45529731/27861013
3192.35/3162.78	c cleaning 209005 clauses out of 418030 with flag 45965208/28071014
3228.63/3198.65	c cleaning 210001 clauses out of 420025 with flag 46403121/28282014
3269.71/3239.66	c cleaning 210998 clauses out of 422024 with flag 46842103/28494014
3313.86/3283.77	c cleaning 212000 clauses out of 424025 with flag 47283016/28707013
3349.02/3318.77	c cleaning 213003 clauses out of 426026 with flag 47726526/28921014
3384.88/3354.29	c cleaning 214004 clauses out of 428023 with flag 48173018/29136014
3421.73/3390.83	c cleaning 214995 clauses out of 430018 with flag 48620561/29352013
3454.64/3423.66	c cleaning 216003 clauses out of 432023 with flag 49070765/29569013
3485.32/3454.20	c cleaning 217002 clauses out of 434020 with flag 49524295/29787013
3520.81/3489.40	c cleaning 217999 clauses out of 436018 with flag 49978861/30006013
3561.44/3529.91	c cleaning 218999 clauses out of 438020 with flag 50434210/30226014
3600.03/3566.62	c starts		: 5
3600.03/3566.63	c conflicts		: 30447013
3600.03/3566.63	c decisions		: 37620320
3600.03/3566.63	c propagations		: 346796713
3600.03/3566.63	c inspects		: 25390295833
3600.03/3566.63	c shortcuts		: 0
3600.03/3566.63	c learnt literals	: 0
3600.03/3566.63	c learnt binary clauses	: 0
3600.03/3566.63	c learnt ternary clauses	: 0
3600.03/3566.63	c learnt constraints	: 30447013
3600.03/3566.63	c ignored constraints	: 0
3600.03/3566.63	c root simplifications	: 0
3600.03/3566.63	c removed literals (reason simplification)	: 0
3600.03/3566.63	c reason swapping (by a shorter reason)	: 0
3600.03/3566.63	c Calls to reduceDB	: 321
3600.03/3566.63	c Number of update (reduction) of LBD	: 520659
3600.03/3566.63	c Imported unit clauses	: 0
3600.03/3566.63	c No decision after first conflict	: false
3600.03/3566.63	c number of reductions to clauses (during analyze)	: 0
3600.03/3566.63	c number of learned constraints concerned by reduction	: 0
3600.03/3566.63	c number of learning phase by resolution	: 0
3600.03/3566.63	c number of learning phase by cutting planes	: 0
3600.03/3566.63	c number of rounding to 1 operations	: 0
3600.03/3566.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3566.63	c number of reductions of the coefficients by power 2 	: 0
3600.03/3566.63	c number of right shift for reduction by power 2 	: 0
3600.03/3566.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3566.63	c number of ending skipping 	: 0
3600.03/3566.63	c number of internal skipping 	: 0
3600.03/3566.63	c number of derivation steps 	: 0
3600.03/3566.63	c number of skipped derivation steps 	: 0
3600.03/3566.63	c number of remaining unassigned 	: 0
3600.03/3566.63	c number of remaining assigned 	: 0
3600.03/3566.63	c number of falsified literals weakened from reason	: 0
3600.03/3566.63	c number of falsified literals weakened from conflict	: 0
3600.03/3566.63	c time for arithmetic operations	: 0
3600.03/3566.63	c minimum degree of deleted constraints	: null
3600.03/3566.63	c maximum degree of deleted constraints	: null
3600.03/3566.63	c number of deleted constraints	: 0
3600.03/3566.64	c speed (assignments/second)	: 97239.01199965455
3600.03/3566.64	c non guided choices	: 0
3600.23/3566.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 440020
3600.23/3566.71	s SATISFIABLE
3600.23/3566.71	c Found 4 solution(s)
3600.23/3566.71	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 
3600.23/3566.71	c objective function=220
3600.23/3566.71	c Total wall clock time (in seconds): 3566.585

Verifier Data 

OK	220

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 (56876 MiB free)
  memory of node 1: 64510 MiB (45238 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432229-1721086341/watcher-4432229-1721086341 -o /tmp/evaluation-result-4432229-1721086341/solver-4432229-1721086341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822111 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432229-1721086341.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=824151, runsolver pid=824148

[startup+0.102254 s]*
/proc/loadavg: 5.52 5.56 5.46 8/334 824169
/proc/meminfo: memFree=104523748/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=18975048 memory=62628 CPUtime=0.13 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 7207 0 0 0 12 1 0 0 20 0 18 0 160794335 19430449152 15657 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4743762 15657 5540 1 0 549334 0
[pid=824151/tid=824153] ppid=824148 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 1078198336 5735 0 0 0 7 1 0 0 20 0 18 0 160794335 19430449152 15657 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 160794338 19430449152 15657 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=18975048 memory=14690799019387218 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 160794338 19430449152 15657 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62628 KiB

[startup+0.211308 s]*
/proc/loadavg: 5.52 5.56 5.46 8/335 824170
/proc/meminfo: memFree=104517212/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19041612 memory=70144 CPUtime=0.34 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 8024 0 0 0 32 2 0 0 20 0 19 0 160794335 19498610688 17536 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4760403 17536 5853 1 0 549980 0
[pid=824151/tid=824153] ppid=824148 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 6018 0 0 0 17 1 0 0 20 0 19 0 160794335 19498610688 17536 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19041612 memory=16967 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160794338 19498610688 17536 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19041612 memory=16097074391287456 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 160794338 19498610688 17536 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160794354 19498610688 17536 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70144 KiB

[startup+0.306307 s]*
/proc/loadavg: 5.52 5.56 5.46 8/335 824170
/proc/meminfo: memFree=104509900/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19041612 memory=76948 CPUtime=0.52 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 9260 0 0 0 50 2 0 0 20 0 19 0 160794335 19498610688 19237 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4760403 19237 5853 1 0 550635 0
[pid=824151/tid=824153] ppid=824148 vsize=19041612 memory=-8600020860655739580 CPUtime=0.26 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 6037 0 0 0 25 1 0 0 20 0 19 0 160794335 19498610688 19237 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160794338 19498610688 19237 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 160794338 19498610688 19237 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160794354 19498610688 19237 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76948 KiB

[startup+0.710308 s]
/proc/loadavg: 5.52 5.56 5.46 7/335 824170
/proc/meminfo: memFree=104496568/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19041612 memory=103668 CPUtime=1.3 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 13330 0 0 0 127 3 0 0 20 0 19 0 160794335 19498610688 25917 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4760403 25917 5885 1 0 553165 0
[pid=824151/tid=824153] ppid=824148 vsize=19041612 memory=41652 CPUtime=0.65 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 6061 0 0 0 63 2 0 0 20 0 19 0 160794335 19498610688 25917 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19041612 memory=12740 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160794338 19498610688 25917 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19041612 memory=2248 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 160794338 19498610688 25917 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19041612 memory=1904 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160794354 19498610688 25917 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 103668 KiB

[startup+1.50377 s]
/proc/loadavg: 5.52 5.56 5.46 6/335 824170
/proc/meminfo: memFree=104458876/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=214396 CPUtime=2.4 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 17645 0 0 0 235 5 0 0 20 0 20 0 160794335 19566772224 53599 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 53599 5901 1 0 553746 0
[pid=824151/tid=824153] ppid=824148 vsize=19108176 memory=12740 CPUtime=1.37 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) S 824148 824151 822101 0 -1 1077936192 6497 0 0 0 134 3 0 0 20 0 20 0 160794335 19566772224 53599 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 53599 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19108176 memory=2248 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 53599 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19108176 memory=1904 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160794354 19566772224 53599 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 214396 KiB

[startup+3.10632 s]
/proc/loadavg: 5.52 5.56 5.46 6/336 824171
/proc/meminfo: memFree=104074360/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=259864 CPUtime=4.09 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 19467 0 0 0 403 6 0 0 20 0 20 0 160794335 19566772224 64966 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 64966 5901 1 0 553748 0
[pid=824151/tid=824153] ppid=824148 vsize=19108176 memory=0 CPUtime=2.91 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 6814 0 0 0 288 3 0 0 20 0 20 0 160794335 19566772224 64966 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19108176 memory=-8600020860655739580 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 64966 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19108176 memory=12740 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 64966 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19108176 memory=2248 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160794354 19566772224 64966 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 259864 KiB

[startup+6.30031 s]
/proc/loadavg: 5.48 5.55 5.46 7/336 824171
/proc/meminfo: memFree=103691008/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=504624 CPUtime=7.48 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 20563 0 0 0 736 12 0 0 20 0 20 0 160794335 19566772224 126156 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 126156 5901 1 0 725015 0
[pid=824151/tid=824153] ppid=824148 vsize=19108176 memory=2248 CPUtime=5.89 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 6941 0 0 0 585 4 0 0 20 0 20 0 160794335 19566772224 126156 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 126156 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19108176 memory=12740 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 126156 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160794354 19566772224 126156 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 7.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 504624 KiB

[startup+12.7003 s]
/proc/loadavg: 5.36 5.52 5.45 5/313 824193
/proc/meminfo: memFree=119431516/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=909572 CPUtime=14.08 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 22985 0 0 0 1389 19 0 0 20 0 20 0 160794335 19566772224 227393 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 227393 5907 1 0 867061 0
[pid=824151/tid=824153] ppid=824148 vsize=19108176 memory=12740 CPUtime=11.99 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 7598 0 0 0 1194 5 0 0 20 0 20 0 160794335 19566772224 227393 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19108176 memory=721984 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 227393 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19108176 memory=41652 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 227393 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19108176 memory=12740 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160794354 19566772224 227393 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 14.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 909572 KiB

[startup+25.5003 s]
/proc/loadavg: 5.13 5.47 5.43 5/336 824242
/proc/meminfo: memFree=117637640/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=1444540 CPUtime=27.17 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 25123 0 0 0 2688 29 0 0 20 0 20 0 160794335 19566772224 361135 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 361135 5907 1 0 867071 0
[pid=824151/tid=824153] ppid=824148 vsize=19108176 memory=1426024 CPUtime=24.38 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 8353 0 0 0 2431 7 0 0 20 0 20 0 160794335 19566772224 361135 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19108176 memory=1426024 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 361135 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19108176 memory=5448 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 361135 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160794354 19566772224 361135 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 27.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1444540 KiB

[startup+51.1058 s]
/proc/loadavg: 4.82 5.36 5.40 5/336 824247
/proc/meminfo: memFree=114713088/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=2428824 CPUtime=53.13 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 29824 0 0 0 5263 50 0 0 20 0 20 0 160794335 19566772224 607206 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 607206 5923 1 0 996582 0

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

[startup+3222.3 s]
/proc/loadavg: 4.14 4.19 4.24 5/333 825801
/proc/meminfo: memFree=70897028/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=11539208 CPUtime=3252.55 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 289536 0 0 0 324919 336 0 0 20 0 20 0 160794335 19566772224 2884802 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 2884802 5923 1 0 3413888 0
[pid=824151/tid=824153] ppid=824148 vsize=19108176 memory=11535112 CPUtime=3163.69 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 82435 0 0 0 316271 98 0 0 20 0 20 0 160794335 19566772224 2884802 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19108176 memory=11535112 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 2884802 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19108176 memory=11535112 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 1254 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 2884802 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160794354 19566772224 2884802 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 3252.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11539208 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.22 5/333 825811
/proc/meminfo: memFree=70896144/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=11539208 CPUtime=3312.46 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 291099 0 0 0 330909 337 0 0 20 0 20 0 160794335 19566772224 2884802 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 2884802 5923 1 0 3413888 0
[pid=824151/tid=824153] ppid=824148 vsize=19108176 memory=12740 CPUtime=3223.08 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 83615 0 0 0 322210 98 0 0 20 0 20 0 160794335 19566772224 2884802 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 2884802 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19108176 memory=11539208 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 1317 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 2884802 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19108176 memory=11539208 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160794354 19566772224 2884802 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 3312.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11539208 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.20 4.23 5/335 825992
/proc/meminfo: memFree=70802500/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=11547408 CPUtime=3373.01 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 293460 0 0 0 336961 340 0 0 20 0 20 0 160794335 19566772224 2886852 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 2886852 5923 1 0 3413888 0
[pid=824151/tid=824153] ppid=824148 vsize=19108176 memory=11539216 CPUtime=3282.11 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 85482 0 0 0 328113 98 0 0 20 0 20 0 160794335 19566772224 2886852 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19108176 memory=11539216 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 2886852 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19108176 memory=11539216 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 1317 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 2886852 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160794354 19566772224 2886852 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 3373.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11547408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.19 4.22 5/335 826002
/proc/meminfo: memFree=70403952/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=11754260 CPUtime=3433.4 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 298216 0 0 0 342993 347 0 0 20 0 20 0 160794335 19566772224 2938565 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 2938565 5923 1 0 3413888 0
[pid=824151/tid=824153] ppid=824148 vsize=19108176 memory=11539216 CPUtime=3341.36 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 87215 0 0 0 334037 99 0 0 20 0 20 0 160794335 19566772224 2938565 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19108176 memory=11547408 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 2938565 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19108176 memory=41652 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 1317 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 2938565 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19108176 memory=11754260 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160794354 19566772224 2938565 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 3433.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11754260 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.18 4.22 5/335 826071
/proc/meminfo: memFree=70401024/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=11756308 CPUtime=3493.42 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 299517 0 0 0 348993 349 0 0 20 0 20 0 160794335 19566772224 2939077 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 2939077 5923 1 0 3413888 0
[pid=824151/tid=824153] ppid=824148 vsize=19108176 memory=11539216 CPUtime=3400.96 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 88349 0 0 0 339997 99 0 0 20 0 20 0 160794335 19566772224 2939077 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19108176 memory=41652 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 2939077 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 1374 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 2939077 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19108176 memory=5448 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160794354 19566772224 2939077 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 3493.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11756308 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.20 4.22 5/336 826084
/proc/meminfo: memFree=69353336/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=12710680 CPUtime=3553.85 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 301422 0 0 0 355018 367 0 0 20 0 20 0 160794335 19566772224 3177670 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 3177670 5923 1 0 3413888 0
[pid=824151/tid=824153] ppid=824148 vsize=19108176 memory=41652 CPUtime=3459.8 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 89759 0 0 0 345881 99 0 0 20 0 20 0 160794335 19566772224 3177670 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19108176 memory=5448 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 3177670 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 1374 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 3177670 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19108176 memory=12710680 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160794354 19566772224 3177670 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 3553.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12710680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3566.6 s]
/proc/loadavg: 4.38 4.26 4.24 5/336 826226
/proc/meminfo: memFree=94215884/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19108176 memory=13406348 CPUtime=3600.03 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 321382 0 0 0 359618 385 0 0 20 0 20 0 160794335 19566772224 3351587 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4777044 3351587 5923 1 0 4086816 0
[pid=824151/tid=824153] ppid=824148 vsize=19108176 memory=100 CPUtime=3503.71 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 95743 0 0 0 350262 109 0 0 20 0 20 0 160794335 19566772224 3351587 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19108176 memory=16028 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 3351587 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19108176 memory=2248 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 1375 0 0 0 0 0 0 0 20 0 20 0 160794338 19566772224 3351587 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824170] ppid=824148 vsize=19108176 memory=12740 CPUtime=0 cores=0,2
/proc/824151/task/824170/stat : 824170 (Timer-0) S 824148 824151 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160794354 19566772224 3351587 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13406348 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.42 s, system=3.89488 s

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

[startup+3566.71 s]
/proc/loadavg: 4.38 4.26 4.24 5/336 826226
/proc/meminfo: memFree=94215884/131524600 swapFree=131071996/131071996
[pid=824151] ppid=824148 vsize=19307868 memory=13415144 CPUtime=3600.23 cores=0,2
/proc/824151/stat : 824151 (java) S 824148 824151 822101 0 -1 1077936128 323198 0 0 0 359638 385 0 0 20 0 21 0 160794335 19771256832 3353786 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
/proc/824151/statm: 4826967 3353786 5922 1 0 4087719 0
[pid=824151/tid=824153] ppid=824148 vsize=19307868 memory=41652 CPUtime=3503.82 cores=0,2
/proc/824151/task/824153/stat : 824153 (java) R 824148 824151 822101 0 -1 4194368 95743 0 0 0 350273 109 0 0 20 0 21 0 160794335 19771256832 3353786 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824162] ppid=824148 vsize=19307868 memory=13326476 CPUtime=0 cores=0,2
/proc/824151/task/824162/stat : 824162 (Finalizer) S 824148 824151 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 160794338 19771256832 3353786 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
[pid=824151/tid=824169] ppid=824148 vsize=19307868 memory=11400 CPUtime=0 cores=0,2
/proc/824151/task/824169/stat : 824169 (Common-Cleaner) S 824148 824151 822101 0 -1 1077936192 1375 0 0 0 0 0 0 0 20 0 21 0 160794338 19771256832 3353786 134679101440 94857756753920 94857756757616 140726311753072 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857756765432 94857756766224 94857783943168 140726311756807 140726311756897 140726311756897 140726311763912 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 13415144 KiB

Child status: 143

Real time (s): 3566.76
CPU time (s): 3600.31
CPU user time (s): 3596.42
CPU system time (s): 3.89488
CPU usage (%): 100.941
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 13415144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.42
system time used= 3.89487
maximum resident set size= 13416476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116574
involuntary context switches= 34006


# summary of solver processes directly reported to runsolver:
#   pid: 824151
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3596.42
#   total CPU system time (s): 3.89488

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92133 second user time and 18.427 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-16 01:32:33
IDJOB=4432229
IDBENCH=147542
IDSOLVER=3058
FILE ID=nodeC015/4432229-1721086341
RUNJOBID= nodeC015-1721083519-822111
SLURM_JOB_ID= 7505571
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_19.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-4432229-1721086341/watcher-4432229-1721086341 -o /tmp/evaluation-result-4432229-1721086341/solver-4432229-1721086341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822111 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432229-1721086341.opb

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

MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=385662887

nodeC015.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		: 3612.762
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.803
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		: 3643.994
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.819
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		: 3657.898
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.803
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		: 3611.448
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.803
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:        104565956 kB
MemAvailable:   109825228 kB
Buffers:          367368 kB
Cached:          5720920 kB
SwapCached:            0 kB
Active:          1195344 kB
Inactive:       25111936 kB
Active(anon):       1572 kB
Inactive(anon): 20255172 kB
Active(file):    1193772 kB
Inactive(file):  4856764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2172 kB
Writeback:             0 kB
AnonPages:      20217328 kB
Mapped:           124132 kB
Shmem:             37720 kB
KReclaimable:      96764 kB
Slab:             204244 kB
SReclaimable:      96764 kB
SUnreclaim:       107480 kB
KernelStack:        5068 kB
PageTables:        49032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   24903056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61984 kB
HardwareCorrupted:     0 kB
AnonHugePages:  19660800 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:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC015 at 2024-07-16 02:32:00