Trace number 4497109

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 VeriPB 2025-06-06SAT (TO)52176 3600.27 3675.55

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
MD5SUMcc2b167b604094044d9d141ee486a126
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 benchmark47342
Best CPU time to get the best result obtained on this benchmark0.036919
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1152
Total number of constraints1774
Number of constraints which are clauses1774
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 constraint1
Maximum length of a constraint39
Number of terms in the objective function 661
Biggest coefficient in the objective function 2133
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1049330
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2133
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1049330
Number of bits of the biggest sum of numbers21
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.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.13	c See www.sat4j.org for details.
0.11/0.13	c version PB25.v20250606
0.11/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.14	c java.vm.version	22.0.1+8-16
0.11/0.14	c java.vm.vendor	Oracle Corporation
0.11/0.14	c sun.arch.data.model	64
0.11/0.14	c java.version		22.0.1
0.11/0.14	c os.name		Linux
0.11/0.14	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.14	c os.arch		amd64
0.11/0.15	c Free memory 		2104792832
0.11/0.15	c Max memory 		16282288128
0.11/0.15	c Total memory 		2113929216
0.11/0.15	c Number of processors 	2
0.11/0.19	c Pseudo Boolean Optimization by upper bound
0.11/0.19	c --- Begin Solver configuration ---
0.11/0.19	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.19	c Learn all clauses as in MiniSAT
0.11/0.19	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.19	c Expensive reason simplification
0.11/0.19	c Glucose 2.1 dynamic restart strategy
0.11/0.19	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.11/0.19	c timeout=2147483s
0.11/0.19	c DB Simplification allowed=false
0.11/0.19	c Listener: none
0.11/0.19	c --- End Solver configuration ---
0.11/0.20	c solving HOME/instance-4497109-1751394313.opb
0.11/0.20	c reading problem ... 
0.11/0.20	c using VERIPB proof format
0.11/0.20	c  objective function found
0.50/0.35	c ... done. Wall clock time 0.143s.
0.50/0.35	c declared #vars     1152
0.50/0.35	c #constraints  1774
0.50/0.35	c constraints type 
0.50/0.35	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1263
0.50/0.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 506
0.50/0.35	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.50/0.35	c 1774 constraints processed.
0.50/0.38	c objective function length is 661 literals
0.66/0.46	c SATISFIABLE
0.66/0.46	c OPTIMIZING...
0.66/0.46	c Got one! Elapsed wall clock time (in seconds):0.262
0.66/0.46	o 54696
1.77/1.04	c Got one! Elapsed wall clock time (in seconds):0.848
1.77/1.04	o 53648
1.77/1.05	c Got one! Elapsed wall clock time (in seconds):0.857
1.77/1.05	o 53452
2.15/1.20	c Got one! Elapsed wall clock time (in seconds):1.003
2.15/1.20	o 52290
2.15/1.26	c Got one! Elapsed wall clock time (in seconds):1.06
2.15/1.26	o 52284
2.15/1.26	c Got one! Elapsed wall clock time (in seconds):1.063
2.15/1.26	o 52176
3.14/1.70	c cleaning 3164 clauses out of 6329 with flag 7738/6329
4.33/2.37	c cleaning 4579 clauses out of 9164 with flag 24987/12328
5.52/3.07	c cleaning 5789 clauses out of 11585 with flag 44436/19328
6.48/3.82	c cleaning 6894 clauses out of 13797 with flag 66671/27329
7.56/4.69	c cleaning 7933 clauses out of 15902 with flag 92705/36328
8.58/5.60	c cleaning 8983 clauses out of 17970 with flag 121129/46329
10.39/7.41	c cleaning 9983 clauses out of 19986 with flag 153698/57328
11.71/8.72	c cleaning 10982 clauses out of 22003 with flag 189659/69328
12.91/10.01	c cleaning 12003 clauses out of 24021 with flag 229650/82328
14.32/11.37	c cleaning 13004 clauses out of 26021 with flag 267237/96331
15.82/12.83	c cleaning 14005 clauses out of 28016 with flag 306964/111330
17.46/14.40	c cleaning 15001 clauses out of 30010 with flag 353518/127329
19.02/16.01	c cleaning 16002 clauses out of 32009 with flag 401263/144329
20.79/17.69	c cleaning 16997 clauses out of 34006 with flag 453548/162328
22.87/19.46	c cleaning 18005 clauses out of 36012 with flag 512112/181331
24.86/21.44	c cleaning 18991 clauses out of 38004 with flag 570679/201328
26.96/23.51	c cleaning 20006 clauses out of 40013 with flag 631768/222328
29.05/25.68	c cleaning 21004 clauses out of 42007 with flag 695949/244328
31.38/27.90	c cleaning 21994 clauses out of 44004 with flag 762018/267329
34.22/30.31	c cleaning 22995 clauses out of 46010 with flag 847679/291329
36.86/33.05	c cleaning 24005 clauses out of 48016 with flag 937586/316330
39.64/35.82	c cleaning 25002 clauses out of 50009 with flag 1032215/342328
42.44/38.63	c cleaning 25967 clauses out of 52007 with flag 1133355/369328
45.34/41.56	c cleaning 27010 clauses out of 54040 with flag 1225841/397328
48.56/44.73	c cleaning 28011 clauses out of 56030 with flag 1322605/426328
51.86/47.97	c cleaning 29008 clauses out of 58019 with flag 1420585/456328
54.97/51.09	c cleaning 30002 clauses out of 60011 with flag 1528590/487328
58.45/54.56	c cleaning 31005 clauses out of 62009 with flag 1644988/519328
61.82/57.82	c cleaning 32003 clauses out of 64005 with flag 1769624/552329
65.13/61.20	c cleaning 32996 clauses out of 66001 with flag 1920064/586328
68.66/64.83	c cleaning 33999 clauses out of 68005 with flag 2067739/621328
72.15/68.39	c cleaning 34980 clauses out of 70006 with flag 2221376/657328
76.13/72.33	c cleaning 36007 clauses out of 72028 with flag 2369037/694330
80.63/76.81	c cleaning 37010 clauses out of 74019 with flag 2511540/732328
84.93/81.15	c cleaning 37994 clauses out of 76009 with flag 2659876/771328
89.10/85.33	c cleaning 38995 clauses out of 78015 with flag 2813638/811328
93.10/89.35	c cleaning 39993 clauses out of 80020 with flag 2981536/852328
97.63/94.00	c cleaning 40998 clauses out of 82027 with flag 3127799/894328
102.32/98.67	c cleaning 42004 clauses out of 84029 with flag 3297382/937328
107.21/103.58	c cleaning 43010 clauses out of 86025 with flag 3457653/981328
112.20/108.54	c cleaning 44008 clauses out of 88017 with flag 3628684/1026330
117.08/113.41	c cleaning 44985 clauses out of 90007 with flag 3794708/1072328
121.77/118.17	c cleaning 46002 clauses out of 92023 with flag 3969568/1119329
126.84/123.20	c cleaning 46989 clauses out of 94020 with flag 4140958/1167328
132.91/135.68	c cleaning 48013 clauses out of 96031 with flag 4326227/1216328
138.78/141.53	c cleaning 48997 clauses out of 98021 with flag 4506833/1266331
143.97/146.70	c cleaning 50000 clauses out of 100023 with flag 4695679/1317330
149.86/152.64	c cleaning 51004 clauses out of 102021 with flag 4881503/1369328
155.84/158.63	c cleaning 51999 clauses out of 104017 with flag 5056639/1422328
161.80/164.77	c cleaning 53003 clauses out of 106019 with flag 5252647/1476329
167.20/170.11	c cleaning 54008 clauses out of 108017 with flag 5457692/1531330
172.67/175.60	c cleaning 54995 clauses out of 110008 with flag 5666820/1587329
178.46/181.49	c cleaning 55999 clauses out of 112013 with flag 5883793/1644329
184.06/187.10	c cleaning 56992 clauses out of 114014 with flag 6106238/1702329
190.00/193.16	c cleaning 58010 clauses out of 116021 with flag 6333817/1761328
196.94/200.17	c cleaning 58997 clauses out of 118011 with flag 6562691/1821328
204.29/207.54	c cleaning 59994 clauses out of 120014 with flag 6788195/1882328
211.63/214.92	c cleaning 60986 clauses out of 122020 with flag 7031649/1944328
218.18/221.50	c cleaning 62004 clauses out of 124034 with flag 7274851/2007328
225.69/229.39	c cleaning 63006 clauses out of 126030 with flag 7518277/2071328
232.49/236.12	c cleaning 64005 clauses out of 128024 with flag 7755510/2136328
239.06/242.76	c cleaning 64996 clauses out of 130019 with flag 8002878/2202328
245.98/249.63	c cleaning 66004 clauses out of 132023 with flag 8241273/2269328
253.43/257.32	c cleaning 67000 clauses out of 134019 with flag 8478523/2337328
260.71/264.64	c cleaning 68008 clauses out of 136019 with flag 8706847/2406328
269.49/273.45	c cleaning 68987 clauses out of 138011 with flag 8946281/2476328
279.56/283.55	c cleaning 70000 clauses out of 140024 with flag 9194101/2547328
287.35/291.56	c cleaning 70986 clauses out of 142025 with flag 9449822/2619329
296.08/300.39	c cleaning 71996 clauses out of 144038 with flag 9707421/2692328
304.95/309.28	c cleaning 73012 clauses out of 146044 with flag 9975763/2766330
312.63/317.11	c cleaning 74004 clauses out of 148030 with flag 10235232/2841328
320.55/325.00	c cleaning 75008 clauses out of 150027 with flag 10513075/2917329
328.86/333.25	c cleaning 75992 clauses out of 152019 with flag 10795960/2994329
337.34/341.76	c cleaning 77005 clauses out of 154026 with flag 11077413/3072328
346.18/350.75	c cleaning 77999 clauses out of 156024 with flag 11367990/3151331
354.26/358.89	c cleaning 79004 clauses out of 158022 with flag 11647156/3231328
363.69/368.21	c cleaning 80003 clauses out of 160019 with flag 11927832/3312329
372.59/377.36	c cleaning 80994 clauses out of 162017 with flag 12225591/3394330
382.77/387.56	c cleaning 81998 clauses out of 164022 with flag 12532186/3477329
391.26/396.02	c cleaning 83004 clauses out of 166023 with flag 12833175/3561328
399.94/404.75	c cleaning 84000 clauses out of 168019 with flag 13146399/3646328
410.01/415.14	c cleaning 84996 clauses out of 170019 with flag 13466866/3732328
419.30/424.45	c cleaning 85989 clauses out of 172023 with flag 13786924/3819328
428.33/433.43	c cleaning 87011 clauses out of 174034 with flag 14103810/3907328
437.66/442.92	c cleaning 88006 clauses out of 176023 with flag 14423208/3996328
446.67/451.93	c cleaning 89004 clauses out of 178017 with flag 14733351/4086328
456.24/461.59	c cleaning 89983 clauses out of 180013 with flag 15044402/4177328
466.45/471.94	c cleaning 91003 clauses out of 182030 with flag 15371663/4269328
477.22/482.74	c cleaning 92007 clauses out of 184027 with flag 15693313/4362328
489.15/494.71	c cleaning 93006 clauses out of 186021 with flag 16031794/4456329
499.61/505.38	c cleaning 94003 clauses out of 188014 with flag 16360072/4551328
510.79/516.55	c cleaning 94993 clauses out of 190011 with flag 16692819/4647328
521.98/527.77	c cleaning 95986 clauses out of 192018 with flag 17033615/4744328
533.30/539.38	c cleaning 97009 clauses out of 194032 with flag 17385331/4842328
545.77/551.86	c cleaning 97983 clauses out of 196023 with flag 17739560/4941328
557.11/563.37	c cleaning 99005 clauses out of 198040 with flag 18106917/5041328
570.61/576.88	c cleaning 100003 clauses out of 200036 with flag 18468794/5142329
582.26/588.58	c cleaning 101004 clauses out of 202032 with flag 18831901/5244328
593.86/600.35	c cleaning 102007 clauses out of 204028 with flag 19212538/5347328
606.78/613.37	c cleaning 103003 clauses out of 206021 with flag 19583447/5451328
618.97/625.61	c cleaning 103999 clauses out of 208018 with flag 19965935/5556328
631.82/638.44	c cleaning 105010 clauses out of 210020 with flag 20332853/5662329
643.92/650.59	c cleaning 106001 clauses out of 212009 with flag 20700026/5769328
656.99/663.76	c cleaning 107001 clauses out of 214008 with flag 21080142/5877328
670.23/676.94	c cleaning 108002 clauses out of 216007 with flag 21449258/5986328
684.43/691.30	c cleaning 108986 clauses out of 218005 with flag 21822879/6096328
697.15/703.93	c cleaning 109996 clauses out of 220019 with flag 22220259/6207328
710.97/717.82	c cleaning 111009 clauses out of 222024 with flag 22610032/6319329
725.48/732.38	c cleaning 111994 clauses out of 224014 with flag 23000915/6432328
738.30/745.27	c cleaning 113011 clauses out of 226022 with flag 23393971/6546330
752.51/759.48	c cleaning 113999 clauses out of 228011 with flag 23795687/6661330
765.89/772.88	c cleaning 114996 clauses out of 230010 with flag 24189142/6777328
781.37/788.47	c cleaning 115988 clauses out of 232014 with flag 24586918/6894328
797.04/804.14	c cleaning 117014 clauses out of 234027 with flag 24988892/7012329
810.74/818.00	c cleaning 118004 clauses out of 236012 with flag 25403598/7131328
826.95/834.15	c cleaning 119003 clauses out of 238008 with flag 25812692/7251328
842.56/849.87	c cleaning 119978 clauses out of 240005 with flag 26257345/7372328
859.41/866.66	c cleaning 121008 clauses out of 242029 with flag 26693055/7494330
876.70/884.28	c cleaning 122011 clauses out of 244021 with flag 27061296/7617330
893.59/901.23	c cleaning 122998 clauses out of 246008 with flag 27428897/7741328
908.52/916.18	c cleaning 123974 clauses out of 248010 with flag 27877300/7866328
922.85/930.59	c cleaning 124995 clauses out of 250036 with flag 28317622/7992328
937.97/945.58	c cleaning 126002 clauses out of 252041 with flag 28744292/8119328
952.91/960.77	c cleaning 127018 clauses out of 254039 with flag 29174154/8247328
968.79/976.65	c cleaning 127999 clauses out of 256021 with flag 29606884/8376328
984.38/992.31	c cleaning 129010 clauses out of 258022 with flag 30039604/8506328
1001.17/1009.01	c cleaning 129986 clauses out of 260012 with flag 30497247/8637328
1016.18/1024.14	c cleaning 131004 clauses out of 262028 with flag 30947565/8769330
1030.97/1039.00	c cleaning 132003 clauses out of 264023 with flag 31441614/8902329
1048.87/1057.04	c cleaning 133002 clauses out of 266019 with flag 31920977/9036328
1067.62/1075.79	c cleaning 133989 clauses out of 268017 with flag 32404642/9171328
1082.94/1091.17	c cleaning 135011 clauses out of 270029 with flag 32885351/9307329
1100.50/1108.69	c cleaning 135996 clauses out of 272017 with flag 33342261/9444328
1117.94/1128.58	c cleaning 137004 clauses out of 274021 with flag 33809585/9582328
1132.43/1143.04	c cleaning 138001 clauses out of 276017 with flag 34310659/9721328
1149.58/1160.42	c cleaning 138994 clauses out of 278016 with flag 34831179/9861328
1166.64/1177.85	c cleaning 140007 clauses out of 280022 with flag 35347067/10002328
1183.35/1194.57	c cleaning 141001 clauses out of 282015 with flag 35837621/10144328
1201.26/1212.71	c cleaning 142007 clauses out of 284015 with flag 36345132/10287329
1218.68/1230.19	c cleaning 142996 clauses out of 286007 with flag 36851220/10431328
1236.76/1250.30	c cleaning 144001 clauses out of 288013 with flag 37345508/10576330
1255.33/1268.94	c cleaning 144981 clauses out of 290010 with flag 37878084/10722328
1272.91/1286.78	c cleaning 146014 clauses out of 292030 with flag 38395628/10869329
1293.52/1307.31	c cleaning 146975 clauses out of 294016 with flag 38930735/11017329
1310.98/1324.81	c cleaning 148010 clauses out of 296041 with flag 39482525/11166329
1329.52/1343.74	c cleaning 149014 clauses out of 298033 with flag 40031988/11316331
1348.47/1362.77	c cleaning 150006 clauses out of 300017 with flag 40518448/11467329
1367.86/1382.41	c cleaning 150998 clauses out of 302010 with flag 41042810/11619328
1388.70/1403.49	c cleaning 152000 clauses out of 304013 with flag 41573697/11772329
1410.06/1425.00	c cleaning 152999 clauses out of 306013 with flag 42065312/11926329
1429.83/1444.63	c cleaning 153987 clauses out of 308013 with flag 42595202/12081328
1448.75/1463.64	c cleaning 155004 clauses out of 310026 with flag 43140626/12237328
1469.86/1484.79	c cleaning 155996 clauses out of 312023 with flag 43711179/12394329
1490.79/1505.87	c cleaning 157006 clauses out of 314026 with flag 44287406/12552328
1508.81/1524.07	c cleaning 158006 clauses out of 316021 with flag 44866799/12711329
1529.67/1544.85	c cleaning 158972 clauses out of 318014 with flag 45429420/12871328
1549.90/1565.27	c cleaning 160022 clauses out of 320043 with flag 46000289/13032329
1569.84/1585.33	c cleaning 161010 clauses out of 322024 with flag 46557459/13194332
1588.43/1603.91	c cleaning 161994 clauses out of 324010 with flag 47120621/13357328
1608.48/1624.20	c cleaning 162985 clauses out of 326016 with flag 47683803/13521328
1628.60/1644.45	c cleaning 164009 clauses out of 328032 with flag 48262852/13686329
1648.05/1663.95	c cleaning 165008 clauses out of 330023 with flag 48859819/13852329
1669.35/1685.47	c cleaning 165997 clauses out of 332014 with flag 49433044/14019328
1690.44/1706.87	c cleaning 167003 clauses out of 334018 with flag 50011231/14187329
1713.24/1729.68	c cleaning 167987 clauses out of 336014 with flag 50602406/14356328
1735.05/1751.66	c cleaning 168998 clauses out of 338027 with flag 51175326/14526328
1755.46/1772.14	c cleaning 170006 clauses out of 340029 with flag 51767898/14697328
1779.41/1800.19	c cleaning 170978 clauses out of 342023 with flag 52353746/14869328
1801.24/1822.06	c cleaning 172003 clauses out of 344045 with flag 52944528/15042328
1824.59/1845.57	c cleaning 173010 clauses out of 346042 with flag 53550039/15216328
1849.23/1870.34	c cleaning 173992 clauses out of 348032 with flag 54151135/15391328
1872.02/1893.25	c cleaning 175010 clauses out of 350040 with flag 54757159/15567328
1893.45/1914.70	c cleaning 176006 clauses out of 352031 with flag 55376637/15744329
1916.43/1937.73	c cleaning 177006 clauses out of 354024 with flag 56011136/15922328
1938.65/1960.07	c cleaning 177998 clauses out of 356019 with flag 56635410/16101329
1962.52/1984.01	c cleaning 179000 clauses out of 358020 with flag 57271449/16281328
1984.79/2006.27	c cleaning 179982 clauses out of 360020 with flag 57906328/16462328
2010.72/2060.23	c cleaning 181018 clauses out of 362038 with flag 58542358/16644328
2035.45/2086.87	c cleaning 181998 clauses out of 364020 with flag 59176705/16827328
2059.64/2110.93	c cleaning 183003 clauses out of 366022 with flag 59845144/17011328
2083.32/2134.69	c cleaning 183997 clauses out of 368020 with flag 60509999/17196329
2106.99/2158.59	c cleaning 184984 clauses out of 370022 with flag 61159388/17382328
2131.40/2183.11	c cleaning 186014 clauses out of 372038 with flag 61827073/17569328
2157.70/2209.46	c cleaning 186993 clauses out of 374024 with flag 62507680/17757328
2185.86/2237.77	c cleaning 188005 clauses out of 376032 with flag 63173043/17946329
2213.77/2265.72	c cleaning 189008 clauses out of 378032 with flag 63840973/18136334
2240.78/2292.85	c cleaning 190005 clauses out of 380019 with flag 64499180/18327329
2265.45/2317.49	c cleaning 190999 clauses out of 382014 with flag 65152119/18519329
2292.03/2344.03	c cleaning 192005 clauses out of 384016 with flag 65809997/18712330
2318.19/2370.38	c cleaning 192994 clauses out of 386010 with flag 66468780/18906329
2343.19/2398.79	c cleaning 193985 clauses out of 388016 with flag 67147523/19101329
2370.83/2431.12	c cleaning 195010 clauses out of 390030 with flag 67857928/19297328
2398.74/2459.17	c cleaning 196002 clauses out of 392021 with flag 68551284/19494329
2423.47/2484.04	c cleaning 196994 clauses out of 394018 with flag 69224486/19692328
2447.03/2507.50	c cleaning 197999 clauses out of 396024 with flag 69939897/19891328
2471.77/2532.41	c cleaning 199000 clauses out of 398025 with flag 70635964/20091328
2499.56/2567.44	c cleaning 200004 clauses out of 400025 with flag 71333869/20292328
2524.22/2592.27	c cleaning 201001 clauses out of 402022 with flag 72035614/20494329
2551.32/2619.55	c cleaning 201995 clauses out of 404021 with flag 72740224/20697329
2577.99/2646.52	c cleaning 202999 clauses out of 406025 with flag 73458843/20901328
2603.82/2672.53	c cleaning 203997 clauses out of 408026 with flag 74227383/21106328
2629.48/2698.18	c cleaning 204995 clauses out of 410029 with flag 74985914/21312328
2655.96/2725.21	c cleaning 205999 clauses out of 412034 with flag 75749552/21519328
2684.79/2754.29	c cleaning 207016 clauses out of 414035 with flag 76509563/21727328
2717.27/2786.81	c cleaning 207996 clauses out of 416021 with flag 77261181/21936330
2745.90/2825.63	c cleaning 208995 clauses out of 418023 with flag 78009092/22146328
2775.22/2856.18	c cleaning 210010 clauses out of 420029 with flag 78752603/22357329
2804.21/2885.21	c cleaning 210994 clauses out of 422018 with flag 79505646/22569328
2832.47/2914.23	c cleaning 212008 clauses out of 424024 with flag 80268939/22782328
2860.05/2941.80	c cleaning 212986 clauses out of 426016 with flag 80997872/22996328
2886.02/2967.23	c cleaning 214010 clauses out of 428037 with flag 81742732/23211335
2915.02/2996.25	c cleaning 215001 clauses out of 430020 with flag 82478078/23427328
2944.82/3026.12	c cleaning 216009 clauses out of 432021 with flag 83226340/23644330
2977.31/3058.52	c cleaning 217005 clauses out of 434012 with flag 83986973/23862330
3008.35/3088.72	c cleaning 217997 clauses out of 436007 with flag 84715983/24081330
3043.87/3124.88	c cleaning 218984 clauses out of 438008 with flag 85467127/24301328
3080.63/3161.11	c cleaning 220001 clauses out of 440024 with flag 86239560/24522328
3111.89/3191.73	c cleaning 221005 clauses out of 442027 with flag 87011770/24744332
3147.04/3226.29	c cleaning 221996 clauses out of 444018 with flag 87780454/24967328
3178.77/3257.17	c cleaning 222994 clauses out of 446022 with flag 88554567/25191328
3210.68/3288.14	c cleaning 223994 clauses out of 448028 with flag 89357107/25416328
3242.42/3319.23	c cleaning 225013 clauses out of 450034 with flag 90149879/25642328
3277.55/3353.42	c cleaning 225976 clauses out of 452021 with flag 90942573/25869328
3308.21/3383.75	c cleaning 227008 clauses out of 454045 with flag 91749961/26097328
3339.37/3415.27	c cleaning 228011 clauses out of 456038 with flag 92569912/26326329
3368.87/3445.09	c cleaning 228999 clauses out of 458026 with flag 93377846/26556328
3401.93/3477.54	c cleaning 229991 clauses out of 460027 with flag 94194402/26787328
3430.58/3506.19	c cleaning 231013 clauses out of 462036 with flag 95027709/27019328
3465.29/3540.89	c cleaning 232007 clauses out of 464023 with flag 95850660/27252328
3496.62/3572.26	c cleaning 232998 clauses out of 466016 with flag 96675680/27486328
3528.52/3604.35	c cleaning 233993 clauses out of 468018 with flag 97494196/27721328
3560.69/3636.57	c cleaning 235009 clauses out of 470025 with flag 98328366/27957328
3591.81/3667.29	c cleaning 235992 clauses out of 472016 with flag 99138540/28194328
3600.03/3675.42	c starts		: 6769
3600.03/3675.43	c conflicts		: 28279173
3600.03/3675.43	c decisions		: 154980937
3600.03/3675.43	c propagations		: 10038049421
3600.03/3675.43	c inspects		: 17208478142
3600.03/3675.43	c shortcuts		: 0
3600.03/3675.43	c learnt literals	: 0
3600.03/3675.43	c learnt binary clauses	: 0
3600.03/3675.43	c learnt ternary clauses	: 0
3600.03/3675.43	c learnt constraints	: 28279173
3600.03/3675.43	c ignored constraints	: 0
3600.03/3675.43	c root simplifications	: 0
3600.03/3675.43	c removed literals (reason simplification)	: 103386920
3600.03/3675.43	c reason swapping (by a shorter reason)	: 0
3600.03/3675.43	c Calls to reduceDB	: 233
3600.03/3675.43	c Number of update (reduction) of LBD	: 14733029
3600.03/3675.44	c Imported unit clauses	: 0
3600.03/3675.44	c No decision after first conflict	: false
3600.03/3675.44	c number of reductions to clauses (during analyze)	: 0
3600.03/3675.44	c number of learned constraints concerned by reduction	: 0
3600.03/3675.44	c number of learning phase by resolution	: 0
3600.03/3675.44	c number of learning phase by cutting planes	: 0
3600.03/3675.44	c number of rounding to 1 operations	: 0
3600.03/3675.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3675.44	c number of reductions of the coefficients by power 2 	: 0
3600.03/3675.44	c number of right shift for reduction by power 2 	: 0
3600.03/3675.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3675.44	c number of ending skipping 	: 0
3600.03/3675.44	c number of internal skipping 	: 0
3600.03/3675.44	c number of derivation steps 	: 0
3600.03/3675.44	c number of skipped derivation steps 	: 0
3600.03/3675.44	c number of remaining unassigned 	: 0
3600.03/3675.44	c number of remaining assigned 	: 0
3600.03/3675.44	c number of falsified literals weakened from reason	: 0
3600.03/3675.44	c number of falsified literals weakened from conflict	: 0
3600.03/3675.44	c time for arithmetic operations	: 0
3600.03/3675.44	c minimum degree of deleted constraints	: null
3600.03/3675.44	c maximum degree of deleted constraints	: null
3600.03/3675.44	c number of deleted constraints	: 0
3600.03/3675.44	c speed (assignments/second)	: 2731433.8435993795
3600.03/3675.44	c non guided choices	: 0
3600.23/3675.50	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 320869
3600.23/3675.50	s SATISFIABLE
3600.23/3675.50	c Found 6 solution(s)
3600.23/3675.51	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 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 x1149 x1150 x1151 -x1152 
3600.23/3675.51	c objective function=52176
3600.23/3675.51	c Total wall clock time (in seconds): 3675.312

Verifier Data 

OK	52176

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497109-1751394313/watcher-4497109-1751394313 -o /tmp/evaluation-result-4497109-1751394313/solver-4497109-1751394313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751386581-53120 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4497109-1751394313 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4497109-1751394313.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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=54580, runsolver pid=54577
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 4.25 4.17 4.17 5/331 54598
/proc/meminfo: memFree=123413888/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=18930384 memory=48640 CPUtime=0.11 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 5832 0 0 0 8 3 0 0 20 0 18 0 55110165 19384713216 12160 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4732596 12160 5339 1 0 547010 0
[pid=54580/tid=54582] ppid=54577 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 4710 0 0 0 5 2 0 0 20 0 18 0 55110167 19384713216 12160 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55110172 19384713216 12160 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=18930384 memory=61792617516369 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55110172 19384713216 12160 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48640 KiB

[startup+0.213833 s]*
/proc/loadavg: 4.25 4.17 4.17 7/331 54598
/proc/meminfo: memFree=123404992/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=18930384 memory=61224 CPUtime=0.33 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 6826 0 0 0 29 4 0 0 20 0 18 0 55110165 19384713216 15306 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4732596 15306 5435 1 0 547876 0
[pid=54580/tid=54582] ppid=54577 vsize=18930384 memory=4026663196 CPUtime=0.2 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 5290 0 0 0 17 3 0 0 20 0 18 0 55110167 19384713216 15306 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=18930384 memory=1593 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55110172 19384713216 15306 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=18930384 memory=60693105869820 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55110172 19384713216 15306 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61224 KiB

[startup+0.323705 s]*
/proc/loadavg: 4.25 4.17 4.17 7/331 54598
/proc/meminfo: memFree=123400896/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=18930384 memory=63720 CPUtime=0.5 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 6961 0 0 0 46 4 0 0 20 0 18 0 55110165 19384713216 15930 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4732596 15930 5435 1 0 547932 0
[pid=54580/tid=54582] ppid=54577 vsize=18930384 memory=-6000919476967925866 CPUtime=0.27 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 5308 0 0 0 24 3 0 0 20 0 18 0 55110167 19384713216 15930 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55110172 19384713216 15930 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55110172 19384713216 15930 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63720 KiB

[startup+0.700423 s]
/proc/loadavg: 4.25 4.17 4.17 6/332 54599
/proc/meminfo: memFree=123396800/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=18996948 memory=82032 CPUtime=1.16 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 10861 0 0 0 111 5 0 0 20 0 19 0 55110165 19452874752 20508 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4749237 20508 5499 1 0 550015 0
[pid=54580/tid=54582] ppid=54577 vsize=18996948 memory=17792 CPUtime=0.54 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 5460 0 0 0 51 3 0 0 20 0 19 0 55110167 19452874752 20508 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55110172 19452874752 20508 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 55110172 19452874752 20508 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=18996948 memory=4892 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 55110207 19452874752 20508 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82032 KiB

[startup+1.50027 s]
/proc/loadavg: 4.25 4.17 4.17 6/332 54599
/proc/meminfo: memFree=123347148/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=169220 CPUtime=2.74 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 18866 0 0 0 265 9 0 0 20 0 20 0 55110165 19521036288 42305 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 42305 5531 1 0 552273 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=0 CPUtime=1.28 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 6204 0 0 0 122 6 0 0 20 0 20 0 55110167 19521036288 42305 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 42305 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 42305 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=19063512 memory=4892 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55110207 19521036288 42305 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169220 KiB

[startup+3.10497 s]
/proc/loadavg: 4.25 4.17 4.17 5/333 54600
/proc/meminfo: memFree=123265676/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=173980 CPUtime=5.66 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 22619 0 0 0 555 11 0 0 20 0 20 0 55110165 19521036288 43495 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 43495 5531 1 0 553206 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=11264 CPUtime=2.82 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 7105 0 0 0 276 6 0 0 20 0 20 0 55110167 19521036288 43495 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=-6000919476967925866 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 43495 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 43495 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55110207 19521036288 43495 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173980 KiB

[startup+6.30021 s]
/proc/loadavg: 4.23 4.16 4.17 5/333 54600
/proc/meminfo: memFree=123113820/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=297644 CPUtime=9.28 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 24213 0 0 0 913 15 0 0 20 0 20 0 55110165 19521036288 74411 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 74411 5531 1 0 553206 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=0 CPUtime=5.98 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 7736 0 0 0 588 10 0 0 20 0 20 0 55110167 19521036288 74411 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 74411 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 74411 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=19063512 memory=169476 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55110207 19521036288 74411 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 9.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 297644 KiB

[startup+12.7004 s]
/proc/loadavg: 4.21 4.16 4.17 5/333 54600
/proc/meminfo: memFree=122683896/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=774832 CPUtime=15.72 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 28184 0 0 0 1545 27 0 0 20 0 20 0 55110165 19521036288 193708 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 193708 5531 1 0 553206 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=169476 CPUtime=12.34 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 9015 0 0 0 1213 21 0 0 20 0 20 0 55110167 19521036288 193708 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=629424 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 193708 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 193708 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55110207 19521036288 193708 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 15.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 774832 KiB

[startup+25.5005 s]
/proc/loadavg: 4.16 4.15 4.16 5/333 54600
/proc/meminfo: memFree=122210852/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=1020968 CPUtime=28.95 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 32797 0 0 0 2859 36 0 0 20 0 20 0 55110165 19521036288 255242 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 255242 5563 1 0 553206 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=-6000919476967925866 CPUtime=25.02 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 10094 0 0 0 2474 28 0 0 20 0 20 0 55110167 19521036288 255242 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=1020968 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 255242 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 255242 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55110207 19521036288 255242 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 28.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1020968 KiB

[startup+51.1133 s]
/proc/loadavg: 4.18 4.16 4.17 5/333 54601
/proc/meminfo: memFree=121680284/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=1324688 CPUtime=55.07 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 38587 0 0 0 5455 52 0 0 20 0 20 0 55110165 19521036288 331172 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 331172 5563 1 0 553206 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=1324688 CPUtime=50.36 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 10830 0 0 0 4995 41 0 0 20 0 20 0 55110167 19521036288 331172 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=14720 CPUtime=0 cores=4,6

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

[startup+3342.3 s]
/proc/loadavg: 1.36 2.94 3.71 2/255 54882
/proc/meminfo: memFree=120886716/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=937692 CPUtime=3266.43 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 117325 0 0 0 325676 967 0 0 20 0 20 0 55110165 19521036288 234423 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 234423 5595 1 0 246656 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=3200 CPUtime=3211.51 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 44954 0 0 0 320383 768 0 0 20 0 20 0 55110167 19521036288 234423 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=937692 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 234423 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19063512 memory=937692 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 1396 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 234423 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55110207 19521036288 234423 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 3266.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 937692 KiB

[startup+3402.3 s]
/proc/loadavg: 1.21 2.62 3.55 2/255 54884
/proc/meminfo: memFree=120630788/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=1043500 CPUtime=3326.46 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 117564 0 0 0 331659 987 0 0 20 0 20 0 55110165 19521036288 260875 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 260875 5595 1 0 273800 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=937692 CPUtime=3270.26 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 45038 0 0 0 326242 784 0 0 20 0 20 0 55110167 19521036288 260875 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=1043500 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 260875 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 1396 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 260875 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55110207 19521036288 260875 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 3326.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1043500 KiB

[startup+3462.3 s]
/proc/loadavg: 1.19 2.35 3.40 2/254 54890
/proc/meminfo: memFree=120295212/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=1240492 CPUtime=3386.15 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 118230 0 0 0 337607 1008 0 0 20 0 20 0 55110165 19521036288 310123 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 310123 5595 1 0 323912 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=937692 CPUtime=3328.98 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 45476 0 0 0 332096 802 0 0 20 0 20 0 55110167 19521036288 310123 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 310123 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 1397 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 310123 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=19063512 memory=1240492 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55110207 19521036288 310123 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 3386.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1240492 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 2.12 3.25 2/254 54892
/proc/meminfo: memFree=119894188/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=1484148 CPUtime=3446.76 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 120885 0 0 0 343646 1030 0 0 20 0 20 0 55110165 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 371037 5595 1 0 384464 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=1484148 CPUtime=3388.15 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 46296 0 0 0 337995 820 0 0 20 0 20 0 55110167 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=1484148 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 1452 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=19063512 memory=1484148 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55110207 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 3446.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1484148 KiB

[startup+3582.3 s]
/proc/loadavg: 1.15 1.94 3.12 2/253 54895
/proc/meminfo: memFree=119762876/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=1484148 CPUtime=3506.65 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 122227 0 0 0 349618 1047 0 0 20 0 20 0 55110165 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 371037 5595 1 0 384464 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=1484148 CPUtime=3447.22 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 47274 0 0 0 343889 833 0 0 20 0 20 0 55110167 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=-6000919476967925866 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19063512 memory=1484148 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 1452 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55110207 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 3506.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1484148 KiB

[startup+3642.3 s]
/proc/loadavg: 1.05 1.77 2.98 2/254 54898
/proc/meminfo: memFree=119627976/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=1484148 CPUtime=3566.48 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 122733 0 0 0 355587 1061 0 0 20 0 20 0 55110165 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 371037 5595 1 0 384464 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=1484148 CPUtime=3506.25 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 47324 0 0 0 349781 844 0 0 20 0 20 0 55110167 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19063512 memory=1484148 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 1500 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=19063512 memory=1484148 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55110207 19521036288 371037 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 3566.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1484148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3675.4 s]
/proc/loadavg: 1.09 1.70 2.91 2/254 54900
/proc/meminfo: memFree=119542836/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19063512 memory=1487852 CPUtime=3600.03 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 126913 0 0 0 358933 1070 0 0 20 0 20 0 55110165 19521036288 371963 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4765878 371963 5595 1 0 384464 0
[pid=54580/tid=54582] ppid=54577 vsize=19063512 memory=5632 CPUtime=3538.8 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 49657 0 0 0 353028 852 0 0 20 0 20 0 55110167 19521036288 371963 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19063512 memory=-6000919476967925866 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 371963 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 1500 0 0 0 0 0 0 0 20 0 20 0 55110172 19521036288 371963 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54599] ppid=54577 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/54580/task/54599/stat : 54599 (Timer-0) S 54577 54580 53106 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55110207 19521036288 371963 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1487852 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.54 s, system=10.7262 s

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

[startup+3675.5 s]
/proc/loadavg: 1.09 1.70 2.91 2/254 54900
/proc/meminfo: memFree=119542836/131382112 swapFree=33010160/33010684
[pid=54580] ppid=54577 vsize=19263204 memory=1488492 CPUtime=3600.23 cores=4,6
/proc/54580/stat : 54580 (java) S 54577 54580 53106 0 -1 4194304 128600 0 0 0 358952 1071 0 0 20 0 21 0 55110165 19725520896 372123 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
/proc/54580/statm: 4815801 372123 5595 1 0 385406 0
[pid=54580/tid=54582] ppid=54577 vsize=19263204 memory=1484148 CPUtime=3538.9 cores=4,6
/proc/54580/task/54582/stat : 54582 (java) R 54577 54580 53106 0 -1 4194368 49790 0 0 0 353038 852 0 0 20 0 21 0 55110167 19725520896 372123 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54591] ppid=54577 vsize=19263204 memory=1484148 CPUtime=0 cores=4,6
/proc/54580/task/54591/stat : 54591 (Finalizer) S 54577 54580 53106 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55110172 19725520896 372123 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
[pid=54580/tid=54598] ppid=54577 vsize=19263204 memory=1487852 CPUtime=0 cores=4,6
/proc/54580/task/54598/stat : 54598 (Common-Cleaner) S 54577 54580 53106 0 -1 4194368 1500 0 0 0 0 0 0 0 20 0 21 0 55110172 19725520896 372123 18446744073709551615 94077281775616 94077281779312 140720904070352 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94077281787128 94077281787920 94077310914560 140720904075568 140720904075750 140720904075750 140720904081352 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1488492 KiB

Child status: 143

Real time (s): 3675.55
CPU time (s): 3600.27
CPU user time (s): 3589.54
CPU system time (s): 10.7262
CPU usage (%): 97.9519
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2163788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.54
system time used= 10.7262
maximum resident set size= 2163916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17585760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127110
involuntary context switches= 15253


# summary of solver processes directly reported to runsolver:
#   pid: 54580
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3589.54
#   total CPU system time (s): 10.7262

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7656 second user time and 33.6204 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-01 20:25:13
IDJOB=4497109
IDBENCH=148153
IDSOLVER=3364
FILE ID=nodeC001/4497109-1751394313
RUNJOBID= nodeC001-1751386581-53120
SLURM_JOB_ID= 9598248
Free space on /tmp= 433052 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497109-1751394313/watcher-4497109-1751394313 -o /tmp/evaluation-result-4497109-1751394313/solver-4497109-1751394313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751386581-53120 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4497109-1751394313 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4497109-1751394313.opb

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

MD5SUM BENCH= cc2b167b604094044d9d141ee486a126
RANDOM SEED=1528015953

nodeC001 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		: 3591.512
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.49
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		: 3591.512
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.49
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.375
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.49
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		: 1197.292
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.49
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		: 2992.922
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.49
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.505
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.49
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.151
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.49
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		: 1197.273
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123426296 kB
MemAvailable:   125910212 kB
Buffers:            2128 kB
Cached:          3287120 kB
SwapCached:           28 kB
Active:          4428976 kB
Inactive:        2987164 kB
Active(anon):    4134836 kB
Inactive(anon):    10380 kB
Active(file):     294140 kB
Inactive(file):  2976784 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            110396 kB
Writeback:             8 kB
AnonPages:       4130344 kB
Mapped:           122784 kB
Shmem:             17932 kB
KReclaimable:     104856 kB
Slab:             192056 kB
SReclaimable:     104856 kB
SUnreclaim:        87200 kB
KernelStack:        5104 kB
PageTables:        11692 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7058128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3926016 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC001 at 2025-07-01 21:26:29