Trace number 4490986

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)196 3600.72 3538.45

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
MD5SUM0fa37067d8fd8d743bdd08ab1a39bb11
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark165
Best CPU time to get the best result obtained on this benchmark0.053286
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1073
Total number of constraints832
Number of constraints which are clauses832
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint19
Number of terms in the objective function 1073
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 1073
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1073
Number of bits of the biggest sum of numbers11
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.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.19	c version PB25.v20250606
0.11/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.22	c java.vm.version	22.0.1+8-16
0.27/0.22	c java.vm.vendor	Oracle Corporation
0.27/0.22	c sun.arch.data.model	64
0.27/0.22	c java.version		22.0.1
0.27/0.22	c os.name		Linux
0.27/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.22	c os.arch		amd64
0.27/0.23	c Free memory 		2104792832
0.27/0.23	c Max memory 		16282288128
0.27/0.23	c Total memory 		2113929216
0.27/0.24	c Number of processors 	2
0.43/0.34	c Pseudo Boolean Optimization by upper bound
0.43/0.34	c --- Begin Solver configuration ---
0.43/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.34	c Learn all clauses as in MiniSAT
0.43/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.34	c Expensive reason simplification
0.43/0.34	c Glucose 2.1 dynamic restart strategy
0.43/0.34	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.43/0.34	c timeout=2147483s
0.43/0.34	c DB Simplification allowed=false
0.43/0.34	c Listener: none
0.43/0.34	c --- End Solver configuration ---
0.43/0.34	c solving HOME/instance-4490986-1751367668.opb
0.43/0.34	c reading problem ... 
0.43/0.35	c  objective function found
0.60/0.50	c ... done. Wall clock time 0.156s.
0.60/0.51	c declared #vars     1073
0.60/0.51	c #constraints  832
0.60/0.51	c constraints type 
0.60/0.51	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 73
0.60/0.51	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 759
0.60/0.51	c 832 constraints processed.
0.79/0.55	c objective function length is 1073 literals
0.79/0.59	c SATISFIABLE
0.79/0.59	c OPTIMIZING...
0.79/0.59	c Got one! Elapsed wall clock time (in seconds):0.243
0.79/0.59	o 199
0.79/0.60	c Got one! Elapsed wall clock time (in seconds):0.257
0.79/0.60	o 198
0.96/0.61	c Got one! Elapsed wall clock time (in seconds):0.27
0.96/0.61	o 197
0.96/0.66	c Got one! Elapsed wall clock time (in seconds):0.317
0.96/0.66	o 196
2.71/1.53	c cleaning 2544 clauses out of 5101 with flag 10548/5101
3.16/1.81	c cleaning 4270 clauses out of 8556 with flag 22888/11100
3.59/2.13	c cleaning 5637 clauses out of 11287 with flag 37206/18101
3.90/2.46	c cleaning 6819 clauses out of 13649 with flag 53763/26100
4.64/3.12	c cleaning 7907 clauses out of 15830 with flag 73326/35100
5.40/3.63	c cleaning 8954 clauses out of 17923 with flag 95065/45100
6.01/4.09	c cleaning 9975 clauses out of 19970 with flag 118940/56101
6.68/4.63	c cleaning 10982 clauses out of 21994 with flag 145140/68100
7.19/5.15	c cleaning 11999 clauses out of 24013 with flag 173629/81101
7.83/5.79	c cleaning 12999 clauses out of 26014 with flag 204054/95101
8.53/6.42	c cleaning 13995 clauses out of 28015 with flag 236804/110101
9.44/7.22	c cleaning 15001 clauses out of 30019 with flag 270591/126100
10.29/8.01	c cleaning 16003 clauses out of 32018 with flag 306190/143100
11.18/8.87	c cleaning 16997 clauses out of 34015 with flag 345860/161100
12.44/10.01	c cleaning 17998 clauses out of 36018 with flag 387824/180100
13.32/10.91	c cleaning 18999 clauses out of 38020 with flag 431566/200100
14.68/12.27	c cleaning 20002 clauses out of 40021 with flag 477814/221100
16.07/13.68	c cleaning 21002 clauses out of 42019 with flag 526449/243100
17.46/14.95	c cleaning 21999 clauses out of 44017 with flag 577645/266100
18.65/16.16	c cleaning 22996 clauses out of 46019 with flag 630557/290101
20.14/17.51	c cleaning 24002 clauses out of 48022 with flag 686108/315100
21.92/19.26	c cleaning 24997 clauses out of 50021 with flag 743410/341101
23.82/21.05	c cleaning 25999 clauses out of 52024 with flag 802734/368101
25.30/22.52	c cleaning 27004 clauses out of 54026 with flag 864410/396102
27.02/24.16	c cleaning 28000 clauses out of 56020 with flag 928348/425100
28.61/25.73	c cleaning 29000 clauses out of 58020 with flag 994654/455100
30.99/28.09	c cleaning 30001 clauses out of 60020 with flag 1062433/486100
32.57/29.69	c cleaning 31000 clauses out of 62020 with flag 1131250/518101
35.27/32.24	c cleaning 32002 clauses out of 64020 with flag 1203762/551101
37.17/34.13	c cleaning 32999 clauses out of 66019 with flag 1278417/585102
40.35/37.29	c cleaning 33997 clauses out of 68018 with flag 1357281/620100
42.85/39.61	c cleaning 35004 clauses out of 70022 with flag 1438811/656101
44.84/41.60	c cleaning 35998 clauses out of 72017 with flag 1523354/693100
46.82/43.54	c cleaning 36999 clauses out of 74019 with flag 1612486/731100
48.95/45.50	c cleaning 38001 clauses out of 76021 with flag 1702090/770101
50.85/47.47	c cleaning 38999 clauses out of 78020 with flag 1794493/810101
54.05/50.52	c cleaning 39996 clauses out of 80020 with flag 1888843/851100
56.35/52.76	c cleaning 41006 clauses out of 82025 with flag 1982356/893101
58.44/54.88	c cleaning 41999 clauses out of 84019 with flag 2078902/936101
61.53/57.82	c cleaning 42998 clauses out of 86019 with flag 2180248/980100
64.02/60.39	c cleaning 43996 clauses out of 88021 with flag 2285807/1025100
66.52/62.77	c cleaning 44992 clauses out of 90026 with flag 2393093/1071101
69.83/65.96	c cleaning 46004 clauses out of 92034 with flag 2501574/1118101
73.22/69.38	c cleaning 47007 clauses out of 94029 with flag 2614292/1166100
76.01/72.05	c cleaning 47996 clauses out of 96023 with flag 2727134/1215101
79.74/75.67	c cleaning 48995 clauses out of 98026 with flag 2841991/1265100
83.01/78.98	c cleaning 49997 clauses out of 100032 with flag 2959240/1316101
86.60/82.32	c cleaning 51009 clauses out of 102035 with flag 3080951/1368101
89.89/85.59	c cleaning 51994 clauses out of 104025 with flag 3203208/1421100
94.89/89.30	c cleaning 53008 clauses out of 106031 with flag 3328165/1475100
98.08/92.58	c cleaning 54005 clauses out of 108023 with flag 3455300/1530100
102.98/97.47	c cleaning 54995 clauses out of 110018 with flag 3586404/1586100
107.75/102.07	c cleaning 55997 clauses out of 112024 with flag 3719505/1643101
111.91/106.15	c cleaning 57005 clauses out of 114026 with flag 3854749/1701100
116.01/110.15	c cleaning 57999 clauses out of 116021 with flag 3990636/1760100
119.93/113.93	c cleaning 58998 clauses out of 118023 with flag 4130581/1820101
123.43/117.45	c cleaning 60001 clauses out of 120024 with flag 4272903/1881100
127.85/121.81	c cleaning 61004 clauses out of 122023 with flag 4416678/1943100
132.64/126.46	c cleaning 62004 clauses out of 124019 with flag 4561798/2006100
136.03/129.89	c cleaning 63002 clauses out of 126016 with flag 4706488/2070101
141.19/134.81	c cleaning 64000 clauses out of 128013 with flag 4854068/2135100
146.28/139.90	c cleaning 64993 clauses out of 130013 with flag 5008664/2201100
151.32/144.89	c cleaning 66003 clauses out of 132020 with flag 5163049/2268100
155.39/148.83	c cleaning 67001 clauses out of 134018 with flag 5319753/2336101
160.26/153.69	c cleaning 67995 clauses out of 136017 with flag 5478359/2405101
164.55/157.89	c cleaning 69001 clauses out of 138021 with flag 5640635/2475100
170.29/163.42	c cleaning 70001 clauses out of 140021 with flag 5805474/2546101
174.91/167.98	c cleaning 70993 clauses out of 142020 with flag 5973001/2618101
180.99/173.31	c cleaning 71995 clauses out of 144027 with flag 6142032/2691101
186.60/178.81	c cleaning 73003 clauses out of 146031 with flag 6313412/2765100
191.06/183.37	c cleaning 73999 clauses out of 148029 with flag 6488505/2840101
195.73/188.00	c cleaning 74999 clauses out of 150029 with flag 6662596/2916100
200.88/193.22	c cleaning 76005 clauses out of 152030 with flag 6840728/2993100
206.37/198.74	c cleaning 77003 clauses out of 154027 with flag 7019976/3071102
212.01/204.16	c cleaning 78001 clauses out of 156023 with flag 7206000/3150101
218.29/210.29	c cleaning 78996 clauses out of 158021 with flag 7392257/3230100
225.01/216.83	c cleaning 80002 clauses out of 160028 with flag 7581575/3311103
231.04/222.63	c cleaning 81004 clauses out of 162024 with flag 7767362/3393101
236.79/228.23	c cleaning 82000 clauses out of 164020 with flag 7950557/3476101
243.71/235.10	c cleaning 82999 clauses out of 166019 with flag 8132822/3560100
250.55/241.72	c cleaning 84005 clauses out of 168021 with flag 8316136/3645101
258.19/249.37	c cleaning 84994 clauses out of 170016 with flag 8505775/3731101
264.13/255.27	c cleaning 86000 clauses out of 172023 with flag 8697820/3818102
270.61/261.68	c cleaning 86999 clauses out of 174022 with flag 8894097/3906101
278.62/268.61	c cleaning 87995 clauses out of 176023 with flag 9087859/3995101
287.20/277.04	c cleaning 89000 clauses out of 178027 with flag 9284114/4085100
295.75/285.42	c cleaning 89995 clauses out of 180028 with flag 9483343/4176101
304.38/293.97	c cleaning 91007 clauses out of 182033 with flag 9693131/4268101
310.83/300.27	c cleaning 92002 clauses out of 184025 with flag 9907785/4361100
319.75/308.95	c cleaning 92995 clauses out of 186024 with flag 10124616/4455101
327.51/316.53	c cleaning 94002 clauses out of 188028 with flag 10343513/4550100
336.60/325.60	c cleaning 94998 clauses out of 190026 with flag 10563221/4646100
343.28/332.13	c cleaning 96001 clauses out of 192029 with flag 10786105/4743101
351.34/340.02	c cleaning 97001 clauses out of 194028 with flag 11011063/4841101
359.46/348.18	c cleaning 98002 clauses out of 196026 with flag 11239489/4940100
368.31/356.92	c cleaning 98999 clauses out of 198024 with flag 11466929/5040100
375.65/364.00	c cleaning 100003 clauses out of 200026 with flag 11698339/5141101
384.49/372.62	c cleaning 101002 clauses out of 202022 with flag 11931853/5243100
393.74/381.79	c cleaning 102001 clauses out of 204021 with flag 12167617/5346101
401.32/389.04	c cleaning 102995 clauses out of 206020 with flag 12406505/5450101
409.29/396.97	c cleaning 103997 clauses out of 208024 with flag 12645850/5555100
419.96/407.30	c cleaning 105002 clauses out of 210027 with flag 12888355/5661100
428.12/415.45	c cleaning 106000 clauses out of 212026 with flag 13134416/5768101
438.31/424.20	c cleaning 107000 clauses out of 214026 with flag 13383265/5876101
447.65/433.49	c cleaning 108002 clauses out of 216025 with flag 13634269/5985100
457.54/443.27	c cleaning 109001 clauses out of 218024 with flag 13886139/6095101
468.06/453.57	c cleaning 110001 clauses out of 220022 with flag 14140279/6206100
477.72/463.13	c cleaning 110999 clauses out of 222022 with flag 14396897/6318101
488.76/473.91	c cleaning 112002 clauses out of 224022 with flag 14656347/6431100
498.58/483.61	c cleaning 112999 clauses out of 226020 with flag 14917952/6545100
508.73/493.52	c cleaning 113996 clauses out of 228022 with flag 15181583/6660101
520.64/505.37	c cleaning 115005 clauses out of 230025 with flag 15448750/6776100
530.92/515.31	c cleaning 115998 clauses out of 232020 with flag 15717491/6893100
541.97/526.27	c cleaning 117002 clauses out of 234022 with flag 15989286/7011100
554.66/538.69	c cleaning 117999 clauses out of 236020 with flag 16261568/7130100
564.51/548.34	c cleaning 119003 clauses out of 238022 with flag 16536503/7250101
576.63/560.23	c cleaning 119995 clauses out of 240019 with flag 16814373/7371101
587.77/571.25	c cleaning 121002 clauses out of 242023 with flag 17093558/7493100
600.62/583.81	c cleaning 121997 clauses out of 244022 with flag 17375405/7616101
611.48/594.65	c cleaning 123000 clauses out of 246024 with flag 17659748/7740100
623.06/604.69	c cleaning 124001 clauses out of 248025 with flag 17946901/7865101
633.03/614.49	c cleaning 124993 clauses out of 250024 with flag 18235540/7991101
645.92/627.10	c cleaning 126004 clauses out of 252031 with flag 18527209/8118101
656.40/637.32	c cleaning 126997 clauses out of 254027 with flag 18822298/8246101
668.80/649.68	c cleaning 128000 clauses out of 256030 with flag 19119573/8375101
679.88/660.39	c cleaning 128998 clauses out of 258029 with flag 19418826/8505100
691.71/672.03	c cleaning 130004 clauses out of 260033 with flag 19719171/8636102
703.17/683.24	c cleaning 130997 clauses out of 262027 with flag 20021991/8768100
716.59/696.58	c cleaning 132004 clauses out of 264030 with flag 20326922/8901100
727.54/707.28	c cleaning 132999 clauses out of 266027 with flag 20636305/9035101
740.51/720.08	c cleaning 134004 clauses out of 268028 with flag 20948083/9170101
754.98/734.24	c cleaning 135001 clauses out of 270023 with flag 21259929/9306100
765.91/745.11	c cleaning 135997 clauses out of 272022 with flag 21572995/9443100
782.28/761.22	c cleaning 136999 clauses out of 274026 with flag 21891480/9581101
796.71/775.57	c cleaning 138006 clauses out of 276027 with flag 22211657/9720101
808.86/787.43	c cleaning 138994 clauses out of 278021 with flag 22532181/9860101
822.83/801.04	c cleaning 139996 clauses out of 280027 with flag 22856666/10001101
836.63/814.74	c cleaning 141001 clauses out of 282031 with flag 23181997/10143101
850.07/826.63	c cleaning 141998 clauses out of 284030 with flag 23508185/10286101
866.80/843.08	c cleaning 143008 clauses out of 286032 with flag 23840151/10430101
879.53/855.55	c cleaning 144002 clauses out of 288023 with flag 24173030/10575100
893.81/869.66	c cleaning 144996 clauses out of 290022 with flag 24509330/10721101
908.53/884.26	c cleaning 146002 clauses out of 292025 with flag 24848873/10868100
922.04/897.65	c cleaning 146996 clauses out of 294023 with flag 25191130/11016100
937.61/912.83	c cleaning 147999 clauses out of 296028 with flag 25534802/11165101
953.47/928.44	c cleaning 148999 clauses out of 298028 with flag 25882857/11315100
967.02/941.79	c cleaning 149994 clauses out of 300029 with flag 26234810/11466100
983.21/957.82	c cleaning 151003 clauses out of 302036 with flag 26587805/11618101
999.67/973.97	c cleaning 152004 clauses out of 304032 with flag 26942023/11771100
1014.64/988.65	c cleaning 152997 clauses out of 306028 with flag 27296721/11925100
1028.12/1001.96	c cleaning 154004 clauses out of 308032 with flag 27654244/12080101
1044.13/1017.82	c cleaning 155000 clauses out of 310027 with flag 28013835/12236100
1059.44/1032.69	c cleaning 156005 clauses out of 312027 with flag 28379639/12393100
1074.85/1047.85	c cleaning 156995 clauses out of 314022 with flag 28745511/12551100
1090.94/1063.84	c cleaning 158000 clauses out of 316027 with flag 29115109/12710100
1108.24/1080.77	c cleaning 159003 clauses out of 318028 with flag 29485231/12870101
1123.42/1095.66	c cleaning 159995 clauses out of 320024 with flag 29861460/13031100
1139.31/1111.36	c cleaning 161003 clauses out of 322030 with flag 30235378/13193101
1156.64/1128.22	c cleaning 162000 clauses out of 324026 with flag 30610554/13356100
1171.71/1143.09	c cleaning 162997 clauses out of 326027 with flag 30991242/13520101
1185.97/1157.16	c cleaning 164001 clauses out of 328030 with flag 31369647/13685101
1205.24/1176.02	c cleaning 165001 clauses out of 330029 with flag 31752315/13851101
1224.23/1192.87	c cleaning 165998 clauses out of 332027 with flag 32137590/14018100
1242.03/1210.48	c cleaning 167002 clauses out of 334030 with flag 32524878/14186101
1259.56/1227.82	c cleaning 168002 clauses out of 336027 with flag 32915003/14355100
1276.22/1244.40	c cleaning 168996 clauses out of 338026 with flag 33306429/14525101
1296.41/1264.58	c cleaning 170001 clauses out of 340029 with flag 33701560/14696100
1313.72/1281.67	c cleaning 170994 clauses out of 342028 with flag 34101030/14868100
1332.94/1300.46	c cleaning 172003 clauses out of 344035 with flag 34498261/15041101
1353.31/1320.44	c cleaning 173002 clauses out of 346032 with flag 34898878/15215101
1371.48/1338.37	c cleaning 173997 clauses out of 348030 with flag 35303352/15390101
1389.17/1355.83	c cleaning 174999 clauses out of 350032 with flag 35708888/15566100
1407.98/1374.49	c cleaning 176000 clauses out of 352033 with flag 36118767/15743100
1428.29/1394.68	c cleaning 177002 clauses out of 354033 with flag 36528345/15921100
1447.67/1413.90	c cleaning 177995 clauses out of 356032 with flag 36942414/16100101
1468.85/1434.71	c cleaning 179002 clauses out of 358037 with flag 37357392/16280101
1488.57/1454.17	c cleaning 180001 clauses out of 360034 with flag 37775581/16461100
1508.01/1473.31	c cleaning 181006 clauses out of 362033 with flag 38195479/16643100
1530.01/1495.12	c cleaning 181996 clauses out of 364027 with flag 38617145/16826100
1550.01/1515.07	c cleaning 183000 clauses out of 366032 with flag 39042580/17010101
1570.22/1534.89	c cleaning 184001 clauses out of 368031 with flag 39467531/17195100
1592.71/1557.03	c cleaning 185003 clauses out of 370031 with flag 39895382/17381101
1614.06/1578.25	c cleaning 185996 clauses out of 372028 with flag 40328878/17568101
1638.19/1602.28	c cleaning 187001 clauses out of 374032 with flag 40762550/17756101
1660.52/1624.33	c cleaning 187996 clauses out of 376031 with flag 41198294/17945101
1681.96/1645.13	c cleaning 189005 clauses out of 378035 with flag 41637379/18135101
1703.65/1666.52	c cleaning 189994 clauses out of 380030 with flag 42077500/18326101
1727.85/1690.65	c cleaning 191007 clauses out of 382036 with flag 42524147/18518101
1753.43/1716.19	c cleaning 192002 clauses out of 384028 with flag 42973025/18711100
1775.34/1737.35	c cleaning 192993 clauses out of 386026 with flag 43422898/18905100
1798.35/1760.01	c cleaning 194006 clauses out of 388033 with flag 43875585/19100100
1825.61/1785.08	c cleaning 195001 clauses out of 390028 with flag 44330863/19296101
1848.17/1807.22	c cleaning 196001 clauses out of 392027 with flag 44789225/19493101
1872.38/1831.26	c cleaning 196992 clauses out of 394026 with flag 45249681/19691101
1897.11/1855.44	c cleaning 198004 clauses out of 396033 with flag 45712251/19890100
1919.42/1877.49	c cleaning 199003 clauses out of 398029 with flag 46176226/20090100
1941.58/1899.27	c cleaning 200001 clauses out of 400027 with flag 46643702/20291101
1967.17/1924.55	c cleaning 201000 clauses out of 402025 with flag 47112707/20493100
1990.64/1947.65	c cleaning 202000 clauses out of 404026 with flag 47584075/20696101
2014.29/1970.99	c cleaning 202999 clauses out of 406025 with flag 48057405/20900100
2036.41/1992.69	c cleaning 204002 clauses out of 408026 with flag 48534772/21105100
2057.31/2013.16	c cleaning 205001 clauses out of 410025 with flag 49012356/21311101
2080.78/2036.22	c cleaning 205994 clauses out of 412023 with flag 49494230/21518100
2104.96/2060.07	c cleaning 207002 clauses out of 414029 with flag 49978538/21726100
2132.24/2086.90	c cleaning 208001 clauses out of 416028 with flag 50464541/21935101
2155.62/2109.99	c cleaning 208997 clauses out of 418026 with flag 50953146/22145100
2180.49/2134.48	c cleaning 210001 clauses out of 420029 with flag 51446166/22356100
2209.56/2163.13	c cleaning 210997 clauses out of 422029 with flag 51939011/22568101
2233.42/2186.68	c cleaning 212001 clauses out of 424032 with flag 52434660/22781101
2257.25/2210.20	c cleaning 213000 clauses out of 426031 with flag 52934541/22995101
2281.16/2233.70	c cleaning 214002 clauses out of 428030 with flag 53434205/23210100
2309.17/2261.42	c cleaning 214998 clauses out of 430028 with flag 53936185/23426100
2332.66/2284.62	c cleaning 216004 clauses out of 432030 with flag 54442042/23643100
2359.47/2311.20	c cleaning 217000 clauses out of 434028 with flag 54949274/23861102
2384.03/2335.58	c cleaning 218002 clauses out of 436027 with flag 55458921/24080101
2413.08/2364.33	c cleaning 218998 clauses out of 438024 with flag 55971050/24300100
2437.39/2388.46	c cleaning 220001 clauses out of 440027 with flag 56486111/24521101
2462.28/2413.16	c cleaning 220997 clauses out of 442026 with flag 57001558/24743101
2488.36/2439.11	c cleaning 221996 clauses out of 444028 with flag 57521590/24966100
2519.13/2469.87	c cleaning 223000 clauses out of 446033 with flag 58042100/25190101
2545.76/2496.47	c cleaning 224001 clauses out of 448033 with flag 58566328/25415101
2571.39/2522.05	c cleaning 225000 clauses out of 450032 with flag 59092040/25641101
2598.57/2549.20	c cleaning 225997 clauses out of 452031 with flag 59619696/25868100
2630.09/2580.77	c cleaning 227001 clauses out of 454035 with flag 60149070/26096101
2657.57/2607.78	c cleaning 228003 clauses out of 456033 with flag 60681631/26325100
2684.36/2634.44	c cleaning 229008 clauses out of 458030 with flag 61216317/26555100
2712.49/2662.58	c cleaning 229993 clauses out of 460022 with flag 61755315/26786100
2741.35/2691.48	c cleaning 230998 clauses out of 462029 with flag 62295018/27018100
2773.69/2723.16	c cleaning 231997 clauses out of 464032 with flag 62836487/27251101
2800.65/2749.66	c cleaning 233003 clauses out of 466035 with flag 63380867/27485101
2830.33/2776.43	c cleaning 234000 clauses out of 468032 with flag 63927004/27720101
2860.91/2806.70	c cleaning 235000 clauses out of 470031 with flag 64477203/27956100
2893.30/2838.90	c cleaning 236000 clauses out of 472031 with flag 65027182/28193100
2923.19/2868.67	c cleaning 237004 clauses out of 474032 with flag 65580527/28431101
2950.26/2895.57	c cleaning 238002 clauses out of 476027 with flag 66136624/28670100
2979.28/2923.92	c cleaning 238998 clauses out of 478026 with flag 66692878/28910101
3008.55/2952.72	c cleaning 240001 clauses out of 480028 with flag 67251998/29151101
3036.56/2980.37	c cleaning 241003 clauses out of 482026 with flag 67814885/29393100
3062.33/3005.76	c cleaning 242003 clauses out of 484023 with flag 68374612/29636100
3089.51/3032.79	c cleaning 242999 clauses out of 486020 with flag 68934653/29880100
3118.61/3061.67	c cleaning 243995 clauses out of 488022 with flag 69503224/30125101
3148.26/3091.20	c cleaning 244999 clauses out of 490026 with flag 70075790/30371100
3177.76/3120.28	c cleaning 245996 clauses out of 492028 with flag 70648185/30618101
3208.78/3150.89	c cleaning 246999 clauses out of 494031 with flag 71223713/30866100
3238.81/3180.51	c cleaning 248003 clauses out of 496032 with flag 71802351/31115100
3269.47/3210.94	c cleaning 248998 clauses out of 498030 with flag 72384557/31365101
3300.12/3241.46	c cleaning 249999 clauses out of 500031 with flag 72967610/31616100
3331.63/3272.34	c cleaning 250997 clauses out of 502033 with flag 73552830/31868101
3363.68/3303.93	c cleaning 252004 clauses out of 504036 with flag 74140312/32121101
3395.72/3335.68	c cleaning 253002 clauses out of 506031 with flag 74730389/32375100
3428.81/3368.53	c cleaning 254004 clauses out of 508029 with flag 75322558/32630100
3463.51/3403.14	c cleaning 254998 clauses out of 510027 with flag 75916670/32886102
3496.68/3435.52	c cleaning 255998 clauses out of 512027 with flag 76513281/33143100
3530.68/3469.19	c cleaning 256993 clauses out of 514029 with flag 77113293/33401100
3565.68/3504.00	c cleaning 258005 clauses out of 516036 with flag 77709960/33660100
3600.09/3538.15	c starts		: 5
3600.09/3538.17	c conflicts		: 33920100
3600.09/3538.17	c decisions		: 46416053
3600.09/3538.17	c propagations		: 1083569537
3600.09/3538.17	c inspects		: 13234592948
3600.09/3538.17	c shortcuts		: 0
3600.09/3538.17	c learnt literals	: 0
3600.09/3538.17	c learnt binary clauses	: 0
3600.09/3538.17	c learnt ternary clauses	: 0
3600.09/3538.17	c learnt constraints	: 33920100
3600.09/3538.18	c ignored constraints	: 0
3600.09/3538.18	c root simplifications	: 0
3600.09/3538.18	c removed literals (reason simplification)	: 1632577
3600.09/3538.18	c reason swapping (by a shorter reason)	: 0
3600.09/3538.18	c Calls to reduceDB	: 256
3600.09/3538.18	c Number of update (reduction) of LBD	: 2904605
3600.09/3538.18	c Imported unit clauses	: 0
3600.09/3538.18	c No decision after first conflict	: false
3600.09/3538.18	c number of reductions to clauses (during analyze)	: 0
3600.09/3538.19	c number of learned constraints concerned by reduction	: 0
3600.09/3538.19	c number of learning phase by resolution	: 0
3600.09/3538.19	c number of learning phase by cutting planes	: 0
3600.09/3538.19	c number of rounding to 1 operations	: 0
3600.09/3538.19	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3538.19	c number of reductions of the coefficients by power 2 	: 0
3600.09/3538.19	c number of right shift for reduction by power 2 	: 0
3600.09/3538.19	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3538.19	c number of ending skipping 	: 0
3600.09/3538.19	c number of internal skipping 	: 0
3600.09/3538.19	c number of derivation steps 	: 0
3600.09/3538.19	c number of skipped derivation steps 	: 0
3600.09/3538.19	c number of remaining unassigned 	: 0
3600.09/3538.19	c number of remaining assigned 	: 0
3600.09/3538.19	c number of falsified literals weakened from reason	: 0
3600.09/3538.19	c number of falsified literals weakened from conflict	: 0
3600.09/3538.19	c time for arithmetic operations	: 0
3600.27/3538.21	c minimum degree of deleted constraints	: null
3600.27/3538.21	c maximum degree of deleted constraints	: null
3600.27/3538.21	c number of deleted constraints	: 0
3600.27/3538.21	c speed (assignments/second)	: 306297.2011574945
3600.27/3538.21	c non guided choices	: 0
3600.45/3538.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 518031
3600.45/3538.38	s SATISFIABLE
3600.45/3538.38	c Found 4 solution(s)
3600.66/3538.40	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 x37 x38 -x39 x40 -x41 x42 -x43 -x44 x45 -x46 -x47 -x48 x49 -x50 x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 x108 -x109 x110 -x111 x112 -x113 -x114 x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 -x216 x217 -x218 x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 x311 -x312 -x313 x314 x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 x329 -x330 -x331 x332 -x333 x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 x356 -x357 x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 x370 x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 x390 x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 x447 -x448 x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 x511 -x512 -x513 -x514 x515 x516 x517 -x518 x519 x520 x521 x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 x555 x556 -x557 -x558 -x559 -x560 x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 x578 -x579 x580 -x581 x582 -x583 x584 x585 x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 x625 x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 x691 -x692 -x693 x694 x695 -x696 x697 -x698 x699 -x700 -x701 -x702 -x703 x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 x791 -x792 x793 x794 -x795 -x796 x797 -x798 x799 -x800 -x801 x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 x869 -x870 -x871 -x872 -x873 -x874 x875 x876 -x877 -x878 x879 x880 -x881 -x882 x883 x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 
3600.66/3538.40	c objective function=196
3600.66/3538.40	c Total wall clock time (in seconds): 3538.06

Verifier Data 

OK	196

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: 63794 MiB (59055 MiB free)
  memory of node 1: 64507 MiB (58342 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490986-1751367668/watcher-4490986-1751367668 -o /tmp/evaluation-result-4490986-1751367668/solver-4490986-1751367668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51821 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4490986-1751367668.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=52832, runsolver pid=52829

[startup+0.100071 s]*
/proc/loadavg: 4.18 4.11 4.10 7/323 52850
/proc/meminfo: memFree=120195292/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=18930384 memory=48252 CPUtime=0.11 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 5769 0 0 0 8 3 0 0 20 0 18 0 52446542 19384713216 12063 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4732596 12063 5313 1 0 546996 0
[pid=52832/tid=52834] ppid=52829 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) D 52829 52832 51810 0 -1 4194368 4622 0 0 0 4 2 0 0 20 0 18 0 52446544 19384713216 12063 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52446549 19384713216 12063 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=18930384 memory=59593594258114 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52446549 19384713216 12063 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48252 KiB

[startup+0.213499 s]*
/proc/loadavg: 4.18 4.11 4.10 7/323 52850
/proc/meminfo: memFree=120188172/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=18930384 memory=53256 CPUtime=0.27 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 6452 0 0 0 23 4 0 0 20 0 18 0 52446542 19384713216 13314 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4732596 13314 5377 1 0 547536 0
[pid=52832/tid=52834] ppid=52829 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 4979 0 0 0 13 3 0 0 20 0 18 0 52446544 19384713216 13314 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=18930384 memory=16142 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52446549 19384713216 13314 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52446549 19384713216 13314 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53256 KiB

[startup+0.314289 s]*
/proc/loadavg: 4.18 4.11 4.10 8/323 52850
/proc/meminfo: memFree=120179980/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=18930384 memory=58524 CPUtime=0.43 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 6735 0 0 0 39 4 0 0 20 0 18 0 52446542 19384713216 14631 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4732596 14631 5377 1 0 547735 0
[pid=52832/tid=52834] ppid=52829 vsize=18930384 memory=-6000919468461681258 CPUtime=0.25 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 5164 0 0 0 22 3 0 0 20 0 18 0 52446544 19384713216 14631 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52446549 19384713216 14631 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 52446549 19384713216 14631 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58524 KiB

[startup+0.700261 s]
/proc/loadavg: 4.18 4.11 4.10 6/323 52850
/proc/meminfo: memFree=120159660/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=18996948 memory=68620 CPUtime=1.12 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 8464 0 0 0 107 5 0 0 20 0 19 0 52446542 19452874752 17155 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4749237 17155 5505 1 0 548608 0
[pid=52832/tid=52834] ppid=52829 vsize=18996948 memory=17920 CPUtime=0.54 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 5395 0 0 0 51 3 0 0 20 0 19 0 52446544 19452874752 17155 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52446549 19452874752 17155 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52446549 19452874752 17155 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68620 KiB

[startup+1.50026 s]
/proc/loadavg: 4.18 4.11 4.10 6/304 52859
/proc/meminfo: memFree=121775760/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=18996948 memory=95368 CPUtime=2.71 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 17953 0 0 0 263 8 0 0 20 0 19 0 52446542 19452874752 23842 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4749237 23842 5505 1 0 551642 0
[pid=52832/tid=52834] ppid=52829 vsize=18996948 memory=3200 CPUtime=1.32 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 5668 0 0 0 129 3 0 0 20 0 19 0 52446544 19452874752 23842 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52446549 19452874752 23842 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 52446549 19452874752 23842 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=18996948 memory=14560 CPUtime=0 cores=4,6
/proc/52832/task/52851/stat : 52851 (Timer-0) S 52829 52832 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52446599 19452874752 23842 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95368 KiB

[startup+3.11273 s]
/proc/loadavg: 4.18 4.11 4.10 5/305 52921
/proc/meminfo: memFree=121583568/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19063512 memory=194672 CPUtime=4.64 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 20697 0 0 0 453 11 0 0 20 0 20 0 52446542 19521036288 48668 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4765878 48668 5505 1 0 551976 0
[pid=52832/tid=52834] ppid=52829 vsize=19063512 memory=10624 CPUtime=2.88 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 6777 0 0 0 283 5 0 0 20 0 20 0 52446544 19521036288 48668 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 48668 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 48668 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/52832/task/52851/stat : 52851 (Timer-0) S 52829 52832 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446599 19521036288 48668 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 4.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194672 KiB

[startup+6.30037 s]
/proc/loadavg: 4.17 4.11 4.09 6/325 52984
/proc/meminfo: memFree=121250468/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19063512 memory=289728 CPUtime=8.43 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 21182 0 0 0 830 13 0 0 20 0 20 0 52446542 19521036288 72432 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4765878 72432 5505 1 0 551982 0
[pid=52832/tid=52834] ppid=52829 vsize=19063512 memory=0 CPUtime=5.93 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 6877 0 0 0 588 5 0 0 20 0 20 0 52446544 19521036288 72432 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 72432 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 72432 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=19063512 memory=99896 CPUtime=0 cores=4,6
/proc/52832/task/52851/stat : 52851 (Timer-0) S 52829 52832 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446599 19521036288 72432 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 8.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 289728 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.13 4.10 6/326 52985
/proc/meminfo: memFree=120271948/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19063512 memory=662916 CPUtime=15.18 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 25081 0 0 0 1497 21 0 0 20 0 20 0 52446542 19521036288 165729 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4765878 165729 5537 1 0 742056 0
[pid=52832/tid=52834] ppid=52829 vsize=19063512 memory=10624 CPUtime=11.86 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 7524 0 0 0 1178 8 0 0 20 0 20 0 52446544 19521036288 165729 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19063512 memory=99896 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 165729 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19063512 memory=576732 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 165729 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=19063512 memory=500956 CPUtime=0 cores=4,6
/proc/52832/task/52851/stat : 52851 (Timer-0) S 52829 52832 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446599 19521036288 165729 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 15.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 662916 KiB

[startup+25.5005 s]
/proc/loadavg: 4.25 4.14 4.10 5/326 52986
/proc/meminfo: memFree=119107172/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19063512 memory=1208956 CPUtime=28.41 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 29958 0 0 0 2808 33 0 0 20 0 20 0 52446542 19521036288 302239 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4765878 302239 5537 1 0 1082548 0
[pid=52832/tid=52834] ppid=52829 vsize=19063512 memory=576732 CPUtime=24.19 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 8357 0 0 0 2407 12 0 0 20 0 20 0 52446544 19521036288 302239 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 302239 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 302239 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=19063512 memory=-6000919498459277930 CPUtime=0 cores=4,6
/proc/52832/task/52851/stat : 52851 (Timer-0) S 52829 52832 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446599 19521036288 302239 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 28.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1208956 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.12 4.10 5/326 52986
/proc/meminfo: memFree=117256728/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19063512 memory=1868576 CPUtime=54.64 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 31611 0 0 0 5417 47 0 0 20 0 20 0 52446542 19521036288 467144 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4765878 467144 5537 1 0 1082550 0
[pid=52832/tid=52834] ppid=52829 vsize=19063512 memory=1753864 CPUtime=48.71 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 8816 0 0 0 4859 12 0 0 20 0 20 0 52446544 19521036288 467144 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19063512 memory=1581760 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 467144 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 467144 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=19063512 memory=0 CPUtime=0 cores=4,6

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

[startup+3222.3 s]
/proc/loadavg: 4.31 4.20 4.19 5/326 53335
/proc/meminfo: memFree=91437000/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19063512 memory=13923588 CPUtime=3281.05 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 243724 0 0 0 327642 463 0 0 20 0 20 0 52446542 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4765878 3480897 5537 1 0 3502628 0
[pid=52832/tid=52834] ppid=52829 vsize=19063512 memory=-6000919468461681258 CPUtime=3152.09 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 126469 0 0 0 315129 80 0 0 20 0 20 0 52446544 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19063512 memory=13923588 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 1206 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=19063512 memory=13923588 CPUtime=0 cores=4,6
/proc/52832/task/52851/stat : 52851 (Timer-0) S 52829 52832 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446599 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 3281.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13923588 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.19 4.18 5/326 53337
/proc/meminfo: memFree=91437000/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19063512 memory=13923588 CPUtime=3341.62 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 248249 0 0 0 333697 465 0 0 20 0 20 0 52446542 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4765878 3480897 5537 1 0 3502628 0
[pid=52832/tid=52834] ppid=52829 vsize=19063512 memory=13923588 CPUtime=3211.25 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 129973 0 0 0 321045 80 0 0 20 0 20 0 52446544 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19063512 memory=13923588 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 1282 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/52832/task/52851/stat : 52851 (Timer-0) S 52829 52832 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446599 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 3341.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13923588 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/326 53339
/proc/meminfo: memFree=91437016/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19063512 memory=13923588 CPUtime=3402.41 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 253010 0 0 0 339772 469 0 0 20 0 20 0 52446542 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4765878 3480897 5537 1 0 3502628 0
[pid=52832/tid=52834] ppid=52829 vsize=19063512 memory=5760 CPUtime=3270.21 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 133604 0 0 0 326940 81 0 0 20 0 20 0 52446544 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=19063512 memory=13923588 CPUtime=0 cores=4,6
/proc/52832/task/52851/stat : 52851 (Timer-0) S 52829 52832 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446599 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 3402.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13923588 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/326 53341
/proc/meminfo: memFree=91437016/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19063512 memory=13923588 CPUtime=3462.7 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 256776 0 0 0 345799 471 0 0 20 0 20 0 52446542 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4765878 3480897 5537 1 0 3502628 0
[pid=52832/tid=52834] ppid=52829 vsize=19063512 memory=13923588 CPUtime=3329.51 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 136372 0 0 0 332870 81 0 0 20 0 20 0 52446544 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 1362 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=19063512 memory=13923588 CPUtime=0 cores=4,6
/proc/52832/task/52851/stat : 52851 (Timer-0) S 52829 52832 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446599 19521036288 3480897 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 3462.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13923588 KiB

[startup+3462.3 s]
/proc/loadavg: 4.53 4.28 4.21 5/325 53343
/proc/meminfo: memFree=91361840/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19063512 memory=13929796 CPUtime=3523.88 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 263418 0 0 0 351913 475 0 0 20 0 20 0 52446542 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4765878 3482449 5537 1 0 3502628 0
[pid=52832/tid=52834] ppid=52829 vsize=19063512 memory=13923588 CPUtime=3387.96 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 140777 0 0 0 338714 82 0 0 20 0 20 0 52446544 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 1401 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/52832/task/52851/stat : 52851 (Timer-0) S 52829 52832 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446599 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 3523.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13929796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.00 4.19 4.18 4/300 53377
/proc/meminfo: memFree=105965272/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19063512 memory=13929796 CPUtime=3584.3 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 268122 0 0 0 357952 478 0 0 20 0 20 0 52446542 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4765878 3482449 5537 1 0 3502628 0
[pid=52832/tid=52834] ppid=52829 vsize=19063512 memory=17920 CPUtime=3447.15 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 144233 0 0 0 344633 82 0 0 20 0 20 0 52446544 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19063512 memory=13923588 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 1438 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/52832/task/52851/stat : 52851 (Timer-0) S 52829 52832 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446599 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 3584.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13929796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3538.11 s]
/proc/loadavg: 3.78 4.13 4.16 4/300 53379
/proc/meminfo: memFree=105964872/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19063512 memory=13929796 CPUtime=3600.09 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 268864 0 0 0 359530 479 0 0 20 0 20 0 52446542 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4765878 3482449 5537 1 0 3502628 0
[pid=52832/tid=52834] ppid=52829 vsize=19063512 memory=13929796 CPUtime=3462.93 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 144959 0 0 0 346211 82 0 0 20 0 20 0 52446544 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19063512 memory=280642693087024 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 1438 0 0 0 0 0 0 0 20 0 20 0 52446549 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52851] ppid=52829 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/52832/task/52851/stat : 52851 (Timer-0) S 52829 52832 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52446599 19521036288 3482449 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13929796 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.88 s, system=4.83956 s

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

[startup+3538.4 s]
/proc/loadavg: 3.78 4.13 4.16 4/300 53379
/proc/meminfo: memFree=105964872/131382112 swapFree=33010684/33010684
[pid=52832] ppid=52829 vsize=19263204 memory=13930692 CPUtime=3600.66 cores=4,6
/proc/52832/stat : 52832 (java) S 52829 52832 51810 0 -1 4194304 271299 0 0 0 359586 480 0 0 20 0 21 0 52446542 19725520896 3482673 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
/proc/52832/statm: 4815801 3482673 5569 1 0 3503547 0
[pid=52832/tid=52834] ppid=52829 vsize=19263204 memory=4764 CPUtime=3463.22 cores=4,6
/proc/52832/task/52834/stat : 52834 (java) R 52829 52832 51810 0 -1 4194368 144959 0 0 0 346240 82 0 0 20 0 21 0 52446544 19725520896 3482673 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52843] ppid=52829 vsize=19263204 memory=13929796 CPUtime=0 cores=4,6
/proc/52832/task/52843/stat : 52843 (Finalizer) S 52829 52832 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 52446549 19725520896 3482673 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
[pid=52832/tid=52850] ppid=52829 vsize=19263204 memory=1920 CPUtime=0 cores=4,6
/proc/52832/task/52850/stat : 52850 (Common-Cleaner) S 52829 52832 51810 0 -1 4194368 1438 0 0 0 0 0 0 0 20 0 21 0 52446549 19725520896 3482673 18446744073709551615 94065026129920 94065026133616 140729451034976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94065026141432 94065026142224 94065036800000 140729451043201 140729451043302 140729451043302 140729451048904 0
Current children cumulated CPU time: 3600.66 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 13930692 KiB

Child status: 143

Real time (s): 3538.45
CPU time (s): 3600.72
CPU user time (s): 3595.88
CPU system time (s): 4.83956
CPU usage (%): 101.76
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 13930692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.88
system time used= 4.83956
maximum resident set size= 13930820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117362
involuntary context switches= 12766


# summary of solver processes directly reported to runsolver:
#   pid: 52832
#   total CPU time (s): 3600.72
#   total CPU user time (s): 3595.88
#   total CPU system time (s): 4.83956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8108 second user time and 34.6896 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 13:01:08
IDJOB=4490986
IDBENCH=147641
IDSOLVER=3363
FILE ID=nodeC009/4490986-1751367668
RUNJOBID= nodeC009-1751360462-51821
SLURM_JOB_ID= 9598165
Free space on /tmp= 432652 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-addm4.r.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490986-1751367668/watcher-4490986-1751367668 -o /tmp/evaluation-result-4490986-1751367668/solver-4490986-1751367668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51821 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4490986-1751367668.opb

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

MD5SUM BENCH= 0fa37067d8fd8d743bdd08ab1a39bb11
RANDOM SEED=918762252

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3660.784
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 2394.459
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.321
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 2095.157
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.627
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 3591.692
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.235
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 1198.359
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        120217704 kB
MemAvailable:   126911076 kB
Buffers:            3280 kB
Cached:          7464976 kB
SwapCached:            0 kB
Active:          3359564 kB
Inactive:        7165360 kB
Active(anon):    3073660 kB
Inactive(anon):      968 kB
Active(file):     285904 kB
Inactive(file):  7164392 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1860 kB
Writeback:             0 kB
AnonPages:       3059828 kB
Mapped:           123216 kB
Shmem:             17960 kB
KReclaimable:     165024 kB
Slab:             249260 kB
SReclaimable:     165024 kB
SUnreclaim:        84236 kB
KernelStack:        4960 kB
PageTables:         9628 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7060252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150280 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2867200 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432652 MiB
End job on nodeC009 at 2025-07-01 14:00:06