Trace number 4543407

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.31 3593.72

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset-hubgraph-opb/normalized-domset-hubgraph_068.opb
MD5SUMfa4a44a126a0a168be7bf7730f3b2c61
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.040696
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables272
Total number of constraints273
Number of constraints which are clauses272
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint272
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 296
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.19	c version PB25.v20250606
0.11/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.23	c java.vm.version	22.0.1+8-16
0.11/0.23	c java.vm.vendor	Oracle Corporation
0.11/0.23	c sun.arch.data.model	64
0.11/0.23	c java.version		22.0.1
0.11/0.23	c os.name		Linux
0.11/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.23	c os.arch		amd64
0.28/0.24	c Free memory 		2104792832
0.28/0.24	c Max memory 		16282288128
0.28/0.24	c Total memory 		2113929216
0.28/0.24	c Number of processors 	2
0.45/0.35	c Pseudo Boolean Optimization by upper bound
0.45/0.35	c --- Begin Solver configuration ---
0.45/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.45/0.35	c Learn all clauses as in MiniSAT
0.45/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.35	c Expensive reason simplification
0.45/0.35	c Glucose 2.1 dynamic restart strategy
0.45/0.35	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.45/0.35	c timeout=2147483s
0.45/0.35	c DB Simplification allowed=false
0.45/0.35	c Listener: none
0.45/0.35	c --- End Solver configuration ---
0.45/0.35	c solving HOME/instance-4543407-1753227199.opb
0.45/0.35	c reading problem ... 
0.45/0.35	c  no objective function found
0.61/0.48	c ... done. Wall clock time 0.119s.
0.61/0.48	c declared #vars     272
0.61/0.48	c #constraints  273
0.61/0.48	c constraints type 
0.61/0.48	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.61/0.48	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 272
0.61/0.49	c 273 constraints processed.
1.74/1.05	c cleaning 2498 clauses out of 5000 with flag 11780/5000
2.32/1.39	c cleaning 4250 clauses out of 8502 with flag 26090/11000
2.71/1.59	c cleaning 5624 clauses out of 11252 with flag 42747/18000
3.10/1.78	c cleaning 6815 clauses out of 13629 with flag 62207/26001
3.41/1.94	c cleaning 7907 clauses out of 15813 with flag 83957/35000
3.76/2.14	c cleaning 8952 clauses out of 17906 with flag 109242/45000
3.99/2.36	c cleaning 9973 clauses out of 19955 with flag 136190/56001
4.29/2.62	c cleaning 10989 clauses out of 21982 with flag 167207/68001
4.49/2.89	c cleaning 11996 clauses out of 23992 with flag 199599/81000
5.10/3.47	c cleaning 12994 clauses out of 25996 with flag 232310/95000
5.81/4.13	c cleaning 14001 clauses out of 28002 with flag 267716/110000
6.30/4.68	c cleaning 14999 clauses out of 30001 with flag 312338/126000
6.87/5.12	c cleaning 15998 clauses out of 32002 with flag 357279/143000
7.31/5.54	c cleaning 17001 clauses out of 34007 with flag 402808/161003
7.72/5.92	c cleaning 18000 clauses out of 36003 with flag 449910/180000
8.11/6.36	c cleaning 18997 clauses out of 38006 with flag 500100/200003
8.62/6.82	c cleaning 20001 clauses out of 40006 with flag 551506/221000
9.11/7.39	c cleaning 21004 clauses out of 42007 with flag 606082/243002
9.71/7.90	c cleaning 21999 clauses out of 44002 with flag 661522/266001
10.23/8.43	c cleaning 23000 clauses out of 46002 with flag 719510/290000
10.73/9.00	c cleaning 24001 clauses out of 48003 with flag 779688/315001
11.39/9.58	c cleaning 25000 clauses out of 50002 with flag 842983/341001
12.09/10.20	c cleaning 26000 clauses out of 52002 with flag 910270/368001
12.59/10.76	c cleaning 26997 clauses out of 54001 with flag 977968/396000
13.28/11.41	c cleaning 27992 clauses out of 56005 with flag 1050763/425001
13.90/12.09	c cleaning 29003 clauses out of 58013 with flag 1128842/455001
14.58/12.79	c cleaning 30002 clauses out of 60010 with flag 1210884/486001
15.38/13.59	c cleaning 30997 clauses out of 62007 with flag 1290337/518000
16.29/14.47	c cleaning 32001 clauses out of 64010 with flag 1375078/551000
17.09/15.21	c cleaning 33001 clauses out of 66009 with flag 1459130/585000
17.90/16.03	c cleaning 34000 clauses out of 68009 with flag 1546652/620001
18.68/16.84	c cleaning 34999 clauses out of 70008 with flag 1638069/656000
19.59/17.71	c cleaning 35998 clauses out of 72009 with flag 1727450/693000
20.38/18.54	c cleaning 37003 clauses out of 74012 with flag 1826506/731001
21.18/19.38	c cleaning 38000 clauses out of 76009 with flag 1920685/770001
22.18/20.33	c cleaning 38996 clauses out of 78008 with flag 2020404/810000
23.19/21.40	c cleaning 39999 clauses out of 80012 with flag 2123300/851000
24.29/22.44	c cleaning 41004 clauses out of 82013 with flag 2229582/893000
25.39/23.54	c cleaning 42004 clauses out of 84011 with flag 2337119/936002
26.59/24.72	c cleaning 42993 clauses out of 86005 with flag 2446223/980000
27.58/25.71	c cleaning 44001 clauses out of 88012 with flag 2559904/1025000
28.58/26.80	c cleaning 45001 clauses out of 90011 with flag 2671652/1071000
31.07/29.29	c cleaning 46003 clauses out of 92011 with flag 2787811/1118001
32.56/30.73	c cleaning 46999 clauses out of 94007 with flag 2902511/1166000
33.76/31.96	c cleaning 47997 clauses out of 96008 with flag 3019319/1215000
35.17/33.31	c cleaning 49004 clauses out of 98012 with flag 3139727/1265001
36.46/34.66	c cleaning 50003 clauses out of 100009 with flag 3262203/1316002
37.90/36.07	c cleaning 51003 clauses out of 102005 with flag 3386527/1368001
39.38/37.51	c cleaning 51997 clauses out of 104003 with flag 3514956/1421002
40.58/38.78	c cleaning 53000 clauses out of 106004 with flag 3646876/1475000
42.08/40.23	c cleaning 53999 clauses out of 108006 with flag 3783242/1530002
43.47/41.66	c cleaning 54999 clauses out of 110005 with flag 3921632/1586000
45.38/43.58	c cleaning 56002 clauses out of 112008 with flag 4070736/1643002
47.08/45.21	c cleaning 56998 clauses out of 114006 with flag 4218688/1701002
48.89/47.08	c cleaning 58002 clauses out of 116006 with flag 4360837/1760000
50.68/48.85	c cleaning 59001 clauses out of 118005 with flag 4512664/1820001
52.57/50.76	c cleaning 59999 clauses out of 120003 with flag 4673511/1881000
55.37/53.57	c cleaning 60999 clauses out of 122004 with flag 4849642/1943000
57.27/55.40	c cleaning 61996 clauses out of 124005 with flag 5015911/2006000
58.98/57.18	c cleaning 62996 clauses out of 126009 with flag 5188760/2070000
60.87/59.04	c cleaning 63992 clauses out of 128016 with flag 5375229/2135003
62.97/61.20	c cleaning 65005 clauses out of 130021 with flag 5574145/2201000
64.87/63.08	c cleaning 66006 clauses out of 132018 with flag 5763906/2268002
66.86/65.03	c cleaning 66994 clauses out of 134010 with flag 5947243/2336000
69.14/67.30	c cleaning 68005 clauses out of 136017 with flag 6141867/2405001
71.96/70.14	c cleaning 69000 clauses out of 138011 with flag 6339491/2475000
74.14/72.30	c cleaning 70002 clauses out of 140012 with flag 6515604/2546001
76.53/74.79	c cleaning 70997 clauses out of 142010 with flag 6715422/2618001
80.32/78.53	c cleaning 72006 clauses out of 144012 with flag 6921555/2691000
83.22/81.45	c cleaning 72995 clauses out of 146006 with flag 7143389/2765000
86.01/84.21	c cleaning 73996 clauses out of 148012 with flag 7356149/2840001
89.82/88.01	c cleaning 75005 clauses out of 150016 with flag 7574939/2916001
92.50/90.75	c cleaning 76002 clauses out of 152010 with flag 7786831/2993000
95.10/93.31	c cleaning 77000 clauses out of 154009 with flag 8008574/3071001
97.69/95.93	c cleaning 78000 clauses out of 156009 with flag 8216084/3150001
101.68/99.97	c cleaning 78993 clauses out of 158008 with flag 8428775/3230000
104.28/102.51	c cleaning 79998 clauses out of 160015 with flag 8654747/3311000
106.97/105.21	c cleaning 81006 clauses out of 162017 with flag 8881743/3393000
110.06/108.40	c cleaning 82004 clauses out of 164013 with flag 9117224/3476002
113.06/111.39	c cleaning 83000 clauses out of 166008 with flag 9353764/3560001
115.87/114.19	c cleaning 84005 clauses out of 168009 with flag 9581299/3645002
118.95/117.25	c cleaning 84993 clauses out of 170002 with flag 9815587/3731000
121.76/120.04	c cleaning 85999 clauses out of 172009 with flag 10064648/3818000
124.64/122.93	c cleaning 87003 clauses out of 174011 with flag 10295921/3906001
128.63/126.93	c cleaning 88000 clauses out of 176008 with flag 10554270/3995001
131.93/130.22	c cleaning 89002 clauses out of 178011 with flag 10806906/4085004
135.52/133.86	c cleaning 89995 clauses out of 180005 with flag 11058334/4176000
138.72/137.09	c cleaning 91004 clauses out of 182010 with flag 11298994/4268000
142.10/140.48	c cleaning 91997 clauses out of 184008 with flag 11565305/4361002
145.72/144.07	c cleaning 92998 clauses out of 186009 with flag 11836980/4455000
149.21/147.54	c cleaning 93994 clauses out of 188011 with flag 12106112/4550000
152.30/150.69	c cleaning 94999 clauses out of 190017 with flag 12370432/4646000
157.58/155.97	c cleaning 96000 clauses out of 192018 with flag 12641827/4743000
161.38/159.73	c cleaning 97003 clauses out of 194018 with flag 12923224/4841000
165.07/163.45	c cleaning 98007 clauses out of 196015 with flag 13190503/4940000
169.27/167.60	c cleaning 98997 clauses out of 198011 with flag 13474604/5040003
173.26/171.65	c cleaning 100004 clauses out of 200011 with flag 13761977/5141000
177.15/175.50	c cleaning 101001 clauses out of 202007 with flag 14052771/5243000
180.82/179.16	c cleaning 101999 clauses out of 204010 with flag 14341279/5346004
184.90/183.24	c cleaning 102998 clauses out of 206007 with flag 14636184/5450000
189.19/187.52	c cleaning 104000 clauses out of 208009 with flag 14943982/5555000
195.08/193.47	c cleaning 104996 clauses out of 210009 with flag 15261151/5661000
198.68/197.06	c cleaning 106000 clauses out of 212013 with flag 15548230/5768000
202.68/201.09	c cleaning 107000 clauses out of 214015 with flag 15849403/5876002
207.00/205.32	c cleaning 108003 clauses out of 216013 with flag 16150378/5985000
211.29/209.61	c cleaning 109001 clauses out of 218011 with flag 16455272/6095001
215.58/213.96	c cleaning 110000 clauses out of 220009 with flag 16765111/6206000
221.21/219.52	c cleaning 111000 clauses out of 222009 with flag 17056214/6318000
225.30/223.69	c cleaning 112002 clauses out of 224009 with flag 17356106/6431000
230.59/228.98	c cleaning 112997 clauses out of 226007 with flag 17678180/6545000
235.09/233.45	c cleaning 113998 clauses out of 228012 with flag 17995266/6660002
239.48/237.84	c cleaning 115005 clauses out of 230013 with flag 18327856/6776001
243.97/242.29	c cleaning 116000 clauses out of 232008 with flag 18662471/6893001
248.26/246.59	c cleaning 117002 clauses out of 234008 with flag 18994921/7011001
253.45/251.71	c cleaning 118001 clauses out of 236005 with flag 19345653/7130000
257.83/256.09	c cleaning 118998 clauses out of 238005 with flag 19685983/7250001
263.31/261.52	c cleaning 119999 clauses out of 240009 with flag 20027770/7371003
267.91/266.12	c cleaning 120996 clauses out of 242007 with flag 20370364/7493000
272.60/270.84	c cleaning 121995 clauses out of 244012 with flag 20717901/7616001
278.72/276.98	c cleaning 123001 clauses out of 246016 with flag 21060820/7740000
283.42/281.69	c cleaning 124006 clauses out of 248015 with flag 21371897/7865000
288.51/286.72	c cleaning 124995 clauses out of 250010 with flag 21713658/7991001
293.00/291.25	c cleaning 126010 clauses out of 252020 with flag 22049734/8118006
299.39/296.83	c cleaning 126994 clauses out of 254004 with flag 22384454/8246000
303.98/301.47	c cleaning 127999 clauses out of 256010 with flag 22699824/8375000
308.98/306.48	c cleaning 128998 clauses out of 258011 with flag 23026145/8505000
314.97/312.47	c cleaning 129996 clauses out of 260013 with flag 23370804/8636000
320.16/317.66	c cleaning 131008 clauses out of 262021 with flag 23708191/8768004
325.90/323.33	c cleaning 131998 clauses out of 264009 with flag 24046387/8901000
331.30/328.75	c cleaning 133001 clauses out of 266011 with flag 24420599/9035000
337.09/334.57	c cleaning 134003 clauses out of 268011 with flag 24788173/9170001
342.78/340.23	c cleaning 134999 clauses out of 270007 with flag 25176681/9306000
350.01/347.47	c cleaning 136000 clauses out of 272008 with flag 25554564/9443000
355.49/352.99	c cleaning 136999 clauses out of 274008 with flag 25940242/9581000
361.19/358.63	c cleaning 137997 clauses out of 276009 with flag 26312366/9720000
367.88/365.33	c cleaning 139001 clauses out of 278012 with flag 26704088/9860000
374.48/371.91	c cleaning 139998 clauses out of 280011 with flag 27093047/10001000
380.78/378.23	c cleaning 141003 clauses out of 282013 with flag 27478955/10143000
387.67/385.17	c cleaning 141977 clauses out of 284010 with flag 27868272/10286000
393.16/390.66	c cleaning 143013 clauses out of 286033 with flag 28260392/10430000
399.09/396.52	c cleaning 144005 clauses out of 288020 with flag 28625307/10575000
405.18/402.62	c cleaning 145008 clauses out of 290015 with flag 29020454/10721000
411.97/409.42	c cleaning 145999 clauses out of 292007 with flag 29443706/10868000
417.81/415.26	c cleaning 146995 clauses out of 294010 with flag 29841026/11016002
423.00/420.49	c cleaning 148000 clauses out of 296013 with flag 30240987/11165000
429.49/426.90	c cleaning 149007 clauses out of 298014 with flag 30653362/11315001
435.78/433.28	c cleaning 150003 clauses out of 300006 with flag 31057441/11466000
442.99/440.41	c cleaning 150993 clauses out of 302003 with flag 31463428/11618000
450.08/447.54	c cleaning 152000 clauses out of 304010 with flag 31879851/11771000
457.86/455.34	c cleaning 153001 clauses out of 306012 with flag 32323913/11925002
464.44/461.91	c cleaning 153998 clauses out of 308009 with flag 32743592/12080000
470.90/468.38	c cleaning 155000 clauses out of 310011 with flag 33186303/12236000
477.49/474.93	c cleaning 156003 clauses out of 312012 with flag 33637031/12393001
483.48/480.93	c cleaning 156991 clauses out of 314008 with flag 34028300/12551000
489.77/487.25	c cleaning 158001 clauses out of 316017 with flag 34407722/12710000
495.57/493.02	c cleaning 158998 clauses out of 318017 with flag 34817020/12870001
503.44/501.00	c cleaning 160008 clauses out of 320018 with flag 35277563/13031000
512.03/509.41	c cleaning 160995 clauses out of 322010 with flag 35743103/13193000
520.11/517.53	c cleaning 162004 clauses out of 324016 with flag 36197122/13356001
527.01/524.49	c cleaning 163003 clauses out of 326011 with flag 36654825/13520000
533.70/531.14	c cleaning 163997 clauses out of 328008 with flag 37114352/13685000
540.78/538.23	c cleaning 165006 clauses out of 330011 with flag 37560968/13851000
547.36/544.80	c cleaning 166003 clauses out of 332005 with flag 38004951/14018000
555.06/552.49	c cleaning 167000 clauses out of 334004 with flag 38451429/14186002
562.05/559.41	c cleaning 167998 clauses out of 336002 with flag 38888528/14355000
570.33/567.73	c cleaning 168996 clauses out of 338004 with flag 39304830/14525000
579.02/576.41	c cleaning 169999 clauses out of 340009 with flag 39735918/14696001
585.62/583.10	c cleaning 171000 clauses out of 342009 with flag 40149299/14868000
592.73/590.03	c cleaning 172002 clauses out of 344010 with flag 40575697/15041001
601.29/598.69	c cleaning 172998 clauses out of 346007 with flag 41035347/15215000
608.70/606.05	c cleaning 174002 clauses out of 348009 with flag 41492585/15390000
617.97/615.33	c cleaning 174996 clauses out of 350008 with flag 41936864/15566001
624.77/622.15	c cleaning 175990 clauses out of 352011 with flag 42358379/15743000
633.76/631.19	c cleaning 177008 clauses out of 354022 with flag 42818761/15921001
642.14/639.44	c cleaning 177995 clauses out of 356013 with flag 43277537/16100000
651.23/648.59	c cleaning 179000 clauses out of 358018 with flag 43742788/16280000
660.62/657.99	c cleaning 180001 clauses out of 360018 with flag 44218761/16461000
668.60/665.94	c cleaning 181008 clauses out of 362018 with flag 44650635/16643001
678.09/675.47	c cleaning 181998 clauses out of 364009 with flag 45105886/16826000
687.79/685.19	c cleaning 183002 clauses out of 366011 with flag 45554288/17010000
697.62/694.27	c cleaning 183992 clauses out of 368009 with flag 46013921/17195000
707.11/703.73	c cleaning 185005 clauses out of 370018 with flag 46466939/17381001
715.30/711.97	c cleaning 185999 clauses out of 372012 with flag 46907188/17568000
724.68/721.37	c cleaning 186998 clauses out of 374013 with flag 47349818/17756000
733.07/729.76	c cleaning 188002 clauses out of 376016 with flag 47796196/17945001
741.55/738.22	c cleaning 188996 clauses out of 378014 with flag 48250341/18135001
750.49/747.05	c cleaning 190002 clauses out of 380020 with flag 48696157/18326003
757.96/754.53	c cleaning 191003 clauses out of 382015 with flag 49150889/18518000
767.83/764.43	c cleaning 192007 clauses out of 384013 with flag 49622877/18711001
778.07/774.67	c cleaning 193000 clauses out of 386005 with flag 50096240/18905000
788.64/785.23	c cleaning 193996 clauses out of 388006 with flag 50568356/19100001
800.44/797.02	c cleaning 194999 clauses out of 390009 with flag 51056519/19296000
811.82/808.41	c cleaning 196001 clauses out of 392012 with flag 51540214/19493002
822.33/818.86	c cleaning 197000 clauses out of 394010 with flag 52033829/19691001
832.40/828.94	c cleaning 197999 clauses out of 396009 with flag 52564593/19890000
841.50/838.06	c cleaning 199003 clauses out of 398012 with flag 53131529/20090002
852.97/849.55	c cleaning 199999 clauses out of 400007 with flag 53679997/20291000
865.14/861.61	c cleaning 200997 clauses out of 402008 with flag 54224731/20493000
875.65/872.11	c cleaning 202004 clauses out of 404013 with flag 54782392/20696002
887.52/884.02	c cleaning 202998 clauses out of 406007 with flag 55330879/20900000
897.52/893.97	c cleaning 204004 clauses out of 408012 with flag 55899018/21105003
906.62/903.02	c cleaning 204991 clauses out of 410006 with flag 56468872/21311001
917.88/914.39	c cleaning 206003 clauses out of 412015 with flag 57073179/21518001
928.46/924.91	c cleaning 207004 clauses out of 414012 with flag 57676010/21726001
942.18/938.65	c cleaning 208002 clauses out of 416009 with flag 58272153/21935002
949.67/946.18	c cleaning 208992 clauses out of 418005 with flag 58788174/22145000
959.45/955.90	c cleaning 210003 clauses out of 420013 with flag 59332948/22356000
969.13/965.69	c cleaning 211000 clauses out of 422012 with flag 59933983/22568002
981.52/978.02	c cleaning 212001 clauses out of 424010 with flag 60560045/22781000
992.99/989.58	c cleaning 213000 clauses out of 426010 with flag 61134846/22995001
1004.97/1001.50	c cleaning 214000 clauses out of 428011 with flag 61711950/23210002
1016.66/1013.20	c cleaning 214998 clauses out of 430009 with flag 62331088/23426000
1029.18/1025.62	c cleaning 216002 clauses out of 432011 with flag 62948175/23643000
1042.86/1039.36	c cleaning 217000 clauses out of 434010 with flag 63579664/23861001
1052.84/1049.37	c cleaning 217998 clauses out of 436009 with flag 64192300/24080000
1064.12/1060.68	c cleaning 219005 clauses out of 438012 with flag 64769566/24300001
1078.89/1075.49	c cleaning 219997 clauses out of 440006 with flag 65406966/24521000
1093.36/1089.86	c cleaning 221003 clauses out of 442010 with flag 66052564/24743001
1105.94/1102.44	c cleaning 221999 clauses out of 444006 with flag 66674427/24966000
1117.52/1114.01	c cleaning 222995 clauses out of 446007 with flag 67306088/25190000
1130.19/1126.72	c cleaning 224003 clauses out of 448013 with flag 67932360/25415001
1144.59/1140.41	c cleaning 224995 clauses out of 450009 with flag 68575243/25641000
1158.85/1154.71	c cleaning 226003 clauses out of 452015 with flag 69206163/25868001
1170.04/1165.98	c cleaning 226998 clauses out of 454012 with flag 69813481/26096001
1181.31/1177.28	c cleaning 227998 clauses out of 456013 with flag 70429652/26325000
1192.11/1188.01	c cleaning 228999 clauses out of 458016 with flag 71045673/26555001
1203.77/1199.73	c cleaning 230001 clauses out of 460017 with flag 71669487/26786001
1218.34/1214.38	c cleaning 231000 clauses out of 462015 with flag 72317280/27018000
1231.80/1227.71	c cleaning 232001 clauses out of 464015 with flag 72954264/27251000
1244.38/1240.39	c cleaning 232999 clauses out of 466014 with flag 73596494/27485000
1258.35/1254.33	c cleaning 234003 clauses out of 468017 with flag 74230523/27720002
1270.62/1266.64	c cleaning 235005 clauses out of 470013 with flag 74860611/27956001
1282.61/1278.56	c cleaning 235998 clauses out of 472007 with flag 75446658/28193000
1296.99/1293.00	c cleaning 236997 clauses out of 474009 with flag 76100365/28431000
1315.66/1311.65	c cleaning 237999 clauses out of 476012 with flag 76786899/28670000
1325.75/1321.72	c cleaning 238997 clauses out of 478013 with flag 77364397/28910000
1339.73/1335.77	c cleaning 239998 clauses out of 480016 with flag 77934224/29151000
1352.31/1348.31	c cleaning 241003 clauses out of 482018 with flag 78526630/29393000
1370.40/1366.35	c cleaning 242004 clauses out of 484016 with flag 79140217/29636001
1381.99/1377.93	c cleaning 243000 clauses out of 486012 with flag 79721139/29880001
1394.65/1390.61	c cleaning 244004 clauses out of 488012 with flag 80348299/30125001
1407.93/1403.90	c cleaning 244997 clauses out of 490007 with flag 80992571/30371000
1418.91/1414.90	c cleaning 245989 clauses out of 492010 with flag 81617193/30618000
1430.97/1426.84	c cleaning 247005 clauses out of 494022 with flag 82220195/30866001
1442.45/1438.39	c cleaning 248006 clauses out of 496020 with flag 82873453/31115004
1455.33/1451.22	c cleaning 248998 clauses out of 498010 with flag 83497206/31365000
1469.91/1465.88	c cleaning 249996 clauses out of 500012 with flag 84148461/31616000
1486.35/1482.18	c cleaning 251004 clauses out of 502016 with flag 84866421/31868000
1498.92/1494.74	c cleaning 252000 clauses out of 504012 with flag 85499873/32121000
1509.81/1505.63	c cleaning 252996 clauses out of 506013 with flag 86130076/32375001
1521.99/1517.86	c cleaning 254006 clauses out of 508016 with flag 86768307/32630000
1539.38/1535.15	c cleaning 254992 clauses out of 510010 with flag 87395417/32886000
1552.65/1548.45	c cleaning 256004 clauses out of 512019 with flag 88044290/33143001
1567.02/1562.86	c cleaning 257004 clauses out of 514014 with flag 88695777/33401000
1584.90/1580.73	c cleaning 257975 clauses out of 516011 with flag 89334421/33660001
1600.68/1596.54	c cleaning 259017 clauses out of 518036 with flag 89985478/33920001
1618.22/1613.99	c cleaning 260010 clauses out of 520022 with flag 90700336/34181004
1635.78/1631.51	c cleaning 261000 clauses out of 522008 with flag 91458165/34443000
1653.44/1649.28	c cleaning 261994 clauses out of 524009 with flag 92209979/34706001
1670.29/1666.06	c cleaning 263003 clauses out of 526014 with flag 92916399/34970000
1687.06/1682.84	c cleaning 263998 clauses out of 528011 with flag 93647302/35235000
1700.94/1696.74	c cleaning 265000 clauses out of 530014 with flag 94293677/35501001
1719.49/1715.32	c cleaning 266007 clauses out of 532013 with flag 94974793/35768000
1735.80/1731.51	c cleaning 266997 clauses out of 534006 with flag 95691894/36036000
1750.48/1746.21	c cleaning 268002 clauses out of 536009 with flag 96430820/36305000
1767.14/1763.00	c cleaning 268995 clauses out of 538007 with flag 97173230/36575000
1785.11/1780.98	c cleaning 270001 clauses out of 540012 with flag 97919238/36846000
1801.16/1797.00	c cleaning 271002 clauses out of 542013 with flag 98644088/37118002
1820.03/1815.89	c cleaning 271998 clauses out of 544010 with flag 99402442/37391001
1836.32/1832.18	c cleaning 272994 clauses out of 546012 with flag 100157275/37665001
1851.38/1847.27	c cleaning 274006 clauses out of 548017 with flag 100906725/37940000
1869.57/1865.31	c cleaning 275005 clauses out of 550011 with flag 101601584/38216000
1885.75/1881.59	c cleaning 275998 clauses out of 552006 with flag 102363042/38493000
1897.13/1892.98	c cleaning 277000 clauses out of 554008 with flag 103047564/38771000
1911.61/1907.44	c cleaning 277995 clauses out of 556008 with flag 103729894/39050000
1928.94/1924.63	c cleaning 279001 clauses out of 558013 with flag 104499164/39330000
1944.62/1940.38	c cleaning 279999 clauses out of 560013 with flag 105278664/39611001
1966.59/1962.31	c cleaning 280998 clauses out of 562015 with flag 106058378/39893002
1984.75/1980.51	c cleaning 282006 clauses out of 564015 with flag 106850824/40176000
2005.75/2000.40	c cleaning 282999 clauses out of 566009 with flag 107606889/40460000
2023.83/2018.50	c cleaning 283997 clauses out of 568010 with flag 108416237/40745000
2042.20/2036.95	c cleaning 285001 clauses out of 570013 with flag 109198406/41031000
2065.46/2060.12	c cleaning 285999 clauses out of 572013 with flag 109982119/41318001
2085.81/2080.58	c cleaning 286998 clauses out of 574014 with flag 110806109/41606001
2104.17/2098.95	c cleaning 288002 clauses out of 576015 with flag 111626454/41895000
2121.63/2116.49	c cleaning 289005 clauses out of 578013 with flag 112436510/42185000
2138.05/2132.71	c cleaning 289999 clauses out of 580014 with flag 113251985/42476006
2160.42/2155.11	c cleaning 291001 clauses out of 582010 with flag 114060348/42768001
2173.89/2168.60	c cleaning 292000 clauses out of 584009 with flag 114837970/43061001
2193.06/2187.88	c cleaning 292999 clauses out of 586008 with flag 115628026/43355000
2211.44/2206.12	c cleaning 294002 clauses out of 588009 with flag 116433978/43650000
2228.51/2223.20	c cleaning 294995 clauses out of 590008 with flag 117211944/43946001
2248.87/2243.63	c cleaning 296000 clauses out of 592013 with flag 117957136/44243001
2265.45/2260.28	c cleaning 297004 clauses out of 594013 with flag 118688885/44541001
2283.72/2278.50	c cleaning 297999 clauses out of 596009 with flag 119399846/44840001
2302.16/2296.93	c cleaning 298998 clauses out of 598010 with flag 120126599/45140001
2321.34/2316.18	c cleaning 300004 clauses out of 600011 with flag 120866248/45441000
2339.92/2334.65	c cleaning 301001 clauses out of 602007 with flag 121641691/45743000
2360.59/2355.39	c cleaning 301991 clauses out of 604006 with flag 122481229/46046000
2383.46/2378.29	c cleaning 303000 clauses out of 606015 with flag 123298258/46350000
2403.31/2398.04	c cleaning 303971 clauses out of 608015 with flag 124135301/46655000
2420.39/2415.15	c cleaning 305016 clauses out of 610044 with flag 124954904/46961000
2440.14/2434.97	c cleaning 306013 clauses out of 612028 with flag 125843021/47268000
2463.19/2457.99	c cleaning 307003 clauses out of 614015 with flag 126731509/47576000
2482.96/2477.74	c cleaning 308006 clauses out of 616015 with flag 127597694/47885003
2498.25/2493.05	c cleaning 309000 clauses out of 618010 with flag 128443218/48195004
2515.65/2510.38	c cleaning 310003 clauses out of 620009 with flag 129311041/48506003
2535.72/2530.41	c cleaning 310997 clauses out of 622004 with flag 130160780/48818001
2554.40/2549.16	c cleaning 311993 clauses out of 624006 with flag 131022597/49131000
2568.78/2563.43	c cleaning 313001 clauses out of 626014 with flag 131828486/49445001
2583.56/2578.23	c cleaning 314002 clauses out of 628013 with flag 132596459/49760001
2598.35/2593.09	c cleaning 315000 clauses out of 630010 with flag 133373826/50076000
2615.43/2610.13	c cleaning 316000 clauses out of 632010 with flag 134183474/50393000
2631.33/2625.94	c cleaning 317004 clauses out of 634011 with flag 134944867/50711001
2656.29/2650.96	c cleaning 317995 clauses out of 636007 with flag 135724667/51030001
2679.16/2673.88	c cleaning 319003 clauses out of 638011 with flag 136614707/51350000
2701.83/2696.55	c cleaning 320000 clauses out of 640008 with flag 137463905/51671000
2716.42/2711.03	c cleaning 321003 clauses out of 642009 with flag 138255998/51993001
2736.88/2731.52	c cleaning 321995 clauses out of 644005 with flag 139019494/52316000
2753.86/2748.53	c cleaning 323000 clauses out of 646011 with flag 139770772/52640001
2772.34/2767.06	c cleaning 324000 clauses out of 648012 with flag 140531319/52965002
2790.84/2785.46	c cleaning 324999 clauses out of 650011 with flag 141326218/53291001
2815.60/2810.20	c cleaning 326000 clauses out of 652012 with flag 142124399/53618001
2833.78/2828.47	c cleaning 327000 clauses out of 654012 with flag 142995057/53946001
2859.35/2852.79	c cleaning 327991 clauses out of 656012 with flag 143891397/54275001
2880.02/2873.47	c cleaning 329005 clauses out of 658020 with flag 144726311/54605000
2897.55/2890.93	c cleaning 330000 clauses out of 660016 with flag 145587537/54936001
2918.41/2911.84	c cleaning 330998 clauses out of 662018 with flag 146450066/55268003
2936.69/2930.18	c cleaning 332008 clauses out of 664018 with flag 147333257/55601001
2963.48/2956.97	c cleaning 333002 clauses out of 666011 with flag 148171577/55935002
2984.24/2977.75	c cleaning 333995 clauses out of 668008 with flag 149061837/56270001
3013.23/3006.70	c cleaning 334999 clauses out of 670012 with flag 149993625/56606000
3044.37/3037.82	c cleaning 336002 clauses out of 672015 with flag 150950100/56943002
3073.73/3067.17	c cleaning 336996 clauses out of 674011 with flag 151812209/57281000
3098.98/3092.32	c cleaning 337996 clauses out of 676015 with flag 152718171/57620000
3118.95/3112.37	c cleaning 339002 clauses out of 678020 with flag 153655595/57960001
3145.39/3138.82	c cleaning 340001 clauses out of 680018 with flag 154607992/58301001
3169.62/3163.09	c cleaning 341002 clauses out of 682018 with flag 155538760/58643002
3192.16/3185.63	c cleaning 342001 clauses out of 684014 with flag 156509503/58986000
3210.68/3204.04	c cleaning 343003 clauses out of 686014 with flag 157476222/59330001
3232.55/3225.92	c cleaning 343998 clauses out of 688010 with flag 158443376/59675000
3253.81/3247.25	c cleaning 344999 clauses out of 690015 with flag 159389539/60021003
3277.78/3271.16	c cleaning 346001 clauses out of 692013 with flag 160358197/60368000
3295.76/3289.13	c cleaning 346997 clauses out of 694012 with flag 161325698/60716000
3315.11/3308.56	c cleaning 347997 clauses out of 696015 with flag 162282563/61065000
3339.23/3332.64	c cleaning 348993 clauses out of 698018 with flag 163205318/61415000
3365.17/3358.66	c cleaning 350009 clauses out of 700026 with flag 164158750/61766001
3394.63/3388.17	c cleaning 351004 clauses out of 702017 with flag 165169664/62118001
3415.17/3408.79	c cleaning 351997 clauses out of 704014 with flag 166154181/62471002
3442.17/3435.69	c cleaning 353001 clauses out of 706015 with flag 167167079/62825000
3463.03/3456.59	c cleaning 354000 clauses out of 708016 with flag 168173553/63180002
3480.00/3473.52	c cleaning 355001 clauses out of 710016 with flag 169073161/63536002
3500.48/3493.95	c cleaning 355997 clauses out of 712013 with flag 169944097/63893000
3518.85/3512.40	c cleaning 356999 clauses out of 714017 with flag 170834144/64251001
3544.09/3537.67	c cleaning 358004 clauses out of 716018 with flag 171721890/64610001
3563.26/3556.82	c cleaning 358995 clauses out of 718013 with flag 172619704/64970000
3593.93/3587.44	c cleaning 360003 clauses out of 720018 with flag 173623891/65331000
3600.03/3593.52	c starts		: 185821
3600.03/3593.53	c conflicts		: 65520251
3600.03/3593.53	c decisions		: 181896524
3600.03/3593.53	c propagations		: 2767421124
3600.03/3593.53	c inspects		: 28258532898
3600.03/3593.53	c shortcuts		: 0
3600.03/3593.53	c learnt literals	: 0
3600.03/3593.53	c learnt binary clauses	: 0
3600.03/3593.53	c learnt ternary clauses	: 0
3600.03/3593.53	c learnt constraints	: 65520251
3600.03/3593.53	c ignored constraints	: 0
3600.03/3593.53	c root simplifications	: 0
3600.03/3593.53	c removed literals (reason simplification)	: 129501159
3600.03/3593.53	c reason swapping (by a shorter reason)	: 0
3600.03/3593.53	c Calls to reduceDB	: 357
3600.03/3593.54	c Number of update (reduction) of LBD	: 13205213
3600.03/3593.54	c Imported unit clauses	: 0
3600.03/3593.54	c No decision after first conflict	: false
3600.03/3593.54	c timeout
3600.03/3593.54	c number of reductions to clauses (during analyze)	: 0
3600.03/3593.54	c number of learned constraints concerned by reduction	: 0
3600.03/3593.54	c number of learning phase by resolution	: 0
3600.03/3593.54	c number of learning phase by cutting planes	: 0
3600.03/3593.54	c number of rounding to 1 operations	: 0
3600.03/3593.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3593.54	c number of reductions of the coefficients by power 2 	: 0
3600.03/3593.54	c number of right shift for reduction by power 2 	: 0
3600.03/3593.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3593.54	c number of ending skipping 	: 0
3600.03/3593.54	c number of internal skipping 	: 0
3600.03/3593.54	c number of derivation steps 	: 0
3600.03/3593.54	c number of skipped derivation steps 	: 0
3600.03/3593.54	c number of remaining unassigned 	: 0
3600.03/3593.54	c number of remaining assigned 	: 0
3600.03/3593.54	c number of falsified literals weakened from reason	: 0
3600.03/3593.54	c number of falsified literals weakened from conflict	: 0
3600.03/3593.55	c time for arithmetic operations	: 0
3600.03/3593.55	c minimum degree of deleted constraints	: null
3600.03/3593.55	c maximum degree of deleted constraints	: null
3600.03/3593.55	c number of deleted constraints	: 0
3600.03/3593.55	c speed (assignments/second)	: 770214.1754618773
3600.03/3593.55	c non guided choices	: 227
3600.18/3593.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 549266
3600.18/3593.69	s UNKNOWN
3600.18/3593.69	c Total wall clock time (in seconds): 3593.338

Verifier Data 

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543407-1753227199/watcher-4543407-1753227199 -o /tmp/evaluation-result-4543407-1753227199/solver-4543407-1753227199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753227196-200365 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4543407-1753227199.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=200588, runsolver pid=200581

[startup+0.100072 s]*
/proc/loadavg: 1.21 2.61 4.55 10/322 200623
/proc/meminfo: memFree=128792740/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=18930384 memory=48000 CPUtime=0.11 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 5709 0 0 0 8 3 0 0 20 0 18 0 238399601 19384713216 12000 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4732596 12000 5305 1 0 546932 0
[pid=200588/tid=200594] ppid=200581 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 4611 0 0 0 4 2 0 0 20 0 18 0 238399603 19384713216 12032 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238399608 19384713216 12032 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=18930384 memory=57394571004297 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238399609 19384713216 12032 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48000 KiB

[startup+0.21411 s]*
/proc/loadavg: 1.21 2.61 4.55 9/322 200623
/proc/meminfo: memFree=128784788/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=18930384 memory=53212 CPUtime=0.28 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 6453 0 0 0 24 4 0 0 20 0 18 0 238399601 19384713216 13303 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4732596 13303 5337 1 0 547533 0
[pid=200588/tid=200594] ppid=200581 vsize=18930384 memory=4027056412 CPUtime=0.17 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 4981 0 0 0 14 3 0 0 20 0 18 0 238399603 19384713216 13303 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=18930384 memory=1707 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238399608 19384713216 13303 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=18930384 memory=56295059358712 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238399609 19384713216 13303 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53212 KiB

[startup+0.32161 s]*
/proc/loadavg: 1.21 2.61 4.55 10/322 200623
/proc/meminfo: memFree=128780756/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=18930384 memory=58788 CPUtime=0.45 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 6746 0 0 0 40 5 0 0 20 0 18 0 238399601 19384713216 14697 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4732596 14697 5433 1 0 547754 0
[pid=200588/tid=200594] ppid=200581 vsize=18930384 memory=-9103293738181698236 CPUtime=0.26 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 5173 0 0 0 23 3 0 0 20 0 18 0 238399603 19384713216 14697 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238399608 19384713216 14697 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238399609 19384713216 14697 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58788 KiB

[startup+0.700376 s]
/proc/loadavg: 1.21 2.61 4.55 8/324 200625
/proc/meminfo: memFree=128766704/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=18996948 memory=66880 CPUtime=1.13 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 8499 0 0 0 107 6 0 0 20 0 19 0 238399601 19452874752 16720 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4749237 16720 5433 1 0 548941 0
[pid=200588/tid=200594] ppid=200581 vsize=18996948 memory=27392 CPUtime=0.56 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 5297 0 0 0 53 3 0 0 20 0 19 0 238399603 19452874752 16720 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238399608 19452874752 16720 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238399609 19452874752 16720 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200625] ppid=200581 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/200588/task/200625/stat : 200625 (Timer-0) S 200581 200588 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238399651 19452874752 16720 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66880 KiB

[startup+1.50025 s]
/proc/loadavg: 1.59 2.67 4.55 7/324 200625
/proc/meminfo: memFree=128743472/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=18996948 memory=82040 CPUtime=2.71 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 16386 0 0 0 263 8 0 0 20 0 19 0 238399601 19452874752 20510 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4749237 20510 5465 1 0 551408 0
[pid=200588/tid=200594] ppid=200581 vsize=18996948 memory=0 CPUtime=1.31 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 5699 0 0 0 128 3 0 0 20 0 19 0 238399603 19452874752 20510 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238399608 19452874752 20510 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238399609 19452874752 20510 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200625] ppid=200581 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/200588/task/200625/stat : 200625 (Timer-0) S 200581 200588 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238399651 19452874752 20510 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82040 KiB

[startup+3.10548 s]
/proc/loadavg: 1.59 2.67 4.55 5/324 200625
/proc/meminfo: memFree=128506928/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=18996948 memory=106568 CPUtime=4.81 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 17588 0 0 0 472 9 0 0 20 0 19 0 238399601 19452874752 26642 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4749237 26642 5465 1 0 551426 0
[pid=200588/tid=200594] ppid=200581 vsize=18996948 memory=10752 CPUtime=2.89 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 5995 0 0 0 286 3 0 0 20 0 19 0 238399603 19452874752 26642 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=18996948 memory=-9103293738181698236 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238399608 19452874752 26642 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238399609 19452874752 26642 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200625] ppid=200581 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/200588/task/200625/stat : 200625 (Timer-0) S 200581 200588 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238399651 19452874752 26642 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 4.81 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106568 KiB

[startup+6.30035 s]
/proc/loadavg: 1.78 2.69 4.55 5/325 200626
/proc/meminfo: memFree=128261432/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=18996948 memory=137368 CPUtime=8.11 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 20866 0 0 0 801 10 0 0 20 0 19 0 238399601 19452874752 34342 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4749237 34342 5465 1 0 551427 0
[pid=200588/tid=200594] ppid=200581 vsize=18996948 memory=0 CPUtime=6.06 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 6565 0 0 0 602 4 0 0 20 0 19 0 238399603 19452874752 34342 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238399608 19452874752 34342 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238399609 19452874752 34342 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200625] ppid=200581 vsize=18996948 memory=84224 CPUtime=0 cores=1,3
/proc/200588/task/200625/stat : 200625 (Timer-0) S 200581 200588 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238399651 19452874752 34342 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 8.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137368 KiB

[startup+12.7004 s]
/proc/loadavg: 1.96 2.71 4.55 5/327 200628
/proc/meminfo: memFree=127828444/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=19063512 memory=170520 CPUtime=14.58 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 24158 0 0 0 1447 11 0 0 20 0 20 0 238399601 19521036288 42630 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4765878 42630 5465 1 0 551716 0
[pid=200588/tid=200594] ppid=200581 vsize=19063512 memory=84224 CPUtime=12.44 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 7125 0 0 0 1239 5 0 0 20 0 20 0 238399603 19521036288 42630 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=19063512 memory=170520 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 42630 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 238399609 19521036288 42630 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200625] ppid=200581 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/200588/task/200625/stat : 200625 (Timer-0) S 200581 200588 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399651 19521036288 42630 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 14.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170520 KiB

[startup+25.5004 s]
/proc/loadavg: 2.28 2.76 4.54 5/327 200628
/proc/meminfo: memFree=127046736/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=19063512 memory=189280 CPUtime=27.39 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 26102 0 0 0 2726 13 0 0 20 0 20 0 238399601 19521036288 47320 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4765878 47320 5497 1 0 551716 0
[pid=200588/tid=200594] ppid=200581 vsize=19063512 memory=170520 CPUtime=25.09 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 7648 0 0 0 2504 5 0 0 20 0 20 0 238399603 19521036288 47320 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=19063512 memory=189280 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 47320 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=19063512 memory=189280 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 238399609 19521036288 47320 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200625] ppid=200581 vsize=19063512 memory=27392 CPUtime=0 cores=1,3
/proc/200588/task/200625/stat : 200625 (Timer-0) S 200581 200588 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399651 19521036288 47320 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 27.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189280 KiB

[startup+51.1135 s]
/proc/loadavg: 3.14 2.92 4.54 5/327 200629
/proc/meminfo: memFree=125611672/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=19063512 memory=293916 CPUtime=52.98 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 26355 0 0 0 5281 17 0 0 20 0 20 0 238399601 19521036288 73479 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4765878 73479 5497 1 0 551716 0
[pid=200588/tid=200594] ppid=200581 vsize=19063512 memory=293916 CPUtime=50.26 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 7683 0 0 0 5021 5 0 0 20 0 20 0 238399603 19521036288 73479 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=19063512 memory=-9103293738181698236 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 73479 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0

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

Current children cumulated memory: 2185096 KiB

[startup+3342.3 s]
/proc/loadavg: 3.35 3.90 4.09 4/303 200837
/proc/meminfo: memFree=109878596/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=19063512 memory=2185096 CPUtime=3348.91 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 103121 0 0 0 334659 232 0 0 20 0 20 0 238399601 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4765878 546274 5497 1 0 559612 0
[pid=200588/tid=200594] ppid=200581 vsize=19063512 memory=2185096 CPUtime=3323.29 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 48910 0 0 0 332307 22 0 0 20 0 20 0 238399603 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=19063512 memory=27392 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=19063512 memory=2185096 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 1534 0 0 0 0 0 0 0 20 0 20 0 238399609 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200625] ppid=200581 vsize=19063512 memory=2185096 CPUtime=0 cores=1,3
/proc/200588/task/200625/stat : 200625 (Timer-0) S 200581 200588 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399651 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 3348.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2185096 KiB

[startup+3402.3 s]
/proc/loadavg: 3.31 3.78 4.03 4/302 200839
/proc/meminfo: memFree=109878828/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=19063512 memory=2185096 CPUtime=3408.78 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 103377 0 0 0 340645 233 0 0 20 0 20 0 238399601 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4765878 546274 5497 1 0 559612 0
[pid=200588/tid=200594] ppid=200581 vsize=19063512 memory=5632 CPUtime=3383.12 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 49144 0 0 0 338290 22 0 0 20 0 20 0 238399603 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=19063512 memory=14636 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=19063512 memory=2185096 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 1534 0 0 0 0 0 0 0 20 0 20 0 238399609 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200625] ppid=200581 vsize=19063512 memory=2185096 CPUtime=0 cores=1,3
/proc/200588/task/200625/stat : 200625 (Timer-0) S 200581 200588 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399651 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 3408.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2185096 KiB

[startup+3462.3 s]
/proc/loadavg: 3.30 3.68 3.98 4/301 200841
/proc/meminfo: memFree=109878816/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=19063512 memory=2185096 CPUtime=3468.82 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 104333 0 0 0 346646 236 0 0 20 0 20 0 238399601 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4765878 546274 5497 1 0 559612 0
[pid=200588/tid=200594] ppid=200581 vsize=19063512 memory=5632 CPUtime=3442.84 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 49916 0 0 0 344262 22 0 0 20 0 20 0 238399603 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=19063512 memory=2185096 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=19063512 memory=14636 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 1534 0 0 0 0 0 0 0 20 0 20 0 238399609 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200625] ppid=200581 vsize=19063512 memory=-9103293738181698236 CPUtime=0 cores=1,3
/proc/200588/task/200625/stat : 200625 (Timer-0) S 200581 200588 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399651 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 3468.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2185096 KiB

[startup+3522.3 s]
/proc/loadavg: 2.54 3.40 3.86 3/275 200877
/proc/meminfo: memFree=124788332/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=19063512 memory=2185096 CPUtime=3528.82 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 106035 0 0 0 352644 238 0 0 20 0 20 0 238399601 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4765878 546274 5497 1 0 559612 0
[pid=200588/tid=200594] ppid=200581 vsize=19063512 memory=14636 CPUtime=3502.55 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 50795 0 0 0 350232 23 0 0 20 0 20 0 238399603 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=19063512 memory=129 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=19063512 memory=27392 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 1579 0 0 0 0 0 0 0 20 0 20 0 238399609 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200625] ppid=200581 vsize=19063512 memory=2185096 CPUtime=0 cores=1,3
/proc/200588/task/200625/stat : 200625 (Timer-0) S 200581 200588 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399651 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 3528.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2185096 KiB

[startup+3582.3 s]
/proc/loadavg: 2.24 3.16 3.75 3/276 200882
/proc/meminfo: memFree=124788788/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=19063512 memory=2185096 CPUtime=3588.84 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 107345 0 0 0 358643 241 0 0 20 0 20 0 238399601 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4765878 546274 5497 1 0 559628 0
[pid=200588/tid=200594] ppid=200581 vsize=19063512 memory=0 CPUtime=3562.25 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 51252 0 0 0 356202 23 0 0 20 0 20 0 238399603 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=19063512 memory=14636 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=19063512 memory=2185096 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 1663 0 0 0 0 0 0 0 20 0 20 0 238399609 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200625] ppid=200581 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/200588/task/200625/stat : 200625 (Timer-0) S 200581 200588 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399651 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 3588.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2185096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3593.5 s]
/proc/loadavg: 2.27 3.14 3.74 3/277 200883
/proc/meminfo: memFree=124788788/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=19063512 memory=2185096 CPUtime=3600.03 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 107353 0 0 0 359761 242 0 0 20 0 20 0 238399601 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4765878 546274 5497 1 0 559628 0
[pid=200588/tid=200594] ppid=200581 vsize=19063512 memory=0 CPUtime=3573.43 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) R 200581 200588 197377 0 -1 4194368 51260 0 0 0 357320 23 0 0 20 0 20 0 238399603 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=19063512 memory=2185096 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238399608 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=19063512 memory=27392 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 1663 0 0 0 0 0 0 0 20 0 20 0 238399609 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200625] ppid=200581 vsize=19063512 memory=2185096 CPUtime=0 cores=1,3
/proc/200588/task/200625/stat : 200625 (Timer-0) S 200581 200588 197377 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238399651 19521036288 546274 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2185096 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.86 s, system=2.44025 s

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

[startup+3593.61 s]
/proc/loadavg: 2.27 3.14 3.74 3/277 200883
/proc/meminfo: memFree=124788788/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=19263204 memory=2185992 CPUtime=3600.18 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 109370 0 0 0 359776 242 0 0 20 0 21 0 238399601 19725520896 546498 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4815801 546498 5529 1 0 560551 0
[pid=200588/tid=200594] ppid=200581 vsize=19263204 memory=-9103293738181698236 CPUtime=3573.45 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) S 200581 200588 197377 0 -1 4194368 51337 0 0 0 357322 23 0 0 20 0 21 0 238399603 19725520896 546498 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=19263204 memory=2185096 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238399608 19725520896 546498 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=19263204 memory=14636 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 1663 0 0 0 0 0 0 0 20 0 21 0 238399609 19725520896 546498 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2185992 KiB

[startup+3593.7 s]
/proc/loadavg: 2.27 3.14 3.74 3/277 200883
/proc/meminfo: memFree=124788788/131382112 swapFree=33010416/33010684
[pid=200588] ppid=200581 vsize=19263204 memory=2186120 CPUtime=3600.28 cores=1,3
/proc/200588/stat : 200588 (java) S 200581 200588 197377 0 -1 4194304 109548 0 0 0 359786 242 0 0 20 0 15 0 238399601 19725520896 546530 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
/proc/200588/statm: 4815801 546530 5529 1 0 560572 0
[pid=200588/tid=200594] ppid=200581 vsize=19263204 memory=0 CPUtime=3573.45 cores=1,3
/proc/200588/task/200594/stat : 200594 (java) S 200581 200588 197377 0 -1 4194368 51337 0 0 0 357322 23 0 0 20 0 15 0 238399603 19725520896 546530 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200615] ppid=200581 vsize=19263204 memory=2185096 CPUtime=0 cores=1,3
/proc/200588/task/200615/stat : 200615 (Finalizer) S 200581 200588 197377 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 238399608 19725520896 546530 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
[pid=200588/tid=200623] ppid=200581 vsize=19263204 memory=27392 CPUtime=0 cores=1,3
/proc/200588/task/200623/stat : 200623 (Common-Cleaner) S 200581 200588 197377 0 -1 4194368 1663 0 0 0 0 0 0 0 20 0 15 0 238399609 19725520896 546530 18446744073709551615 94515420913664 94515420917360 140726159751600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94515420925176 94515420925968 94515442245632 140726159759743 140726159759844 140726159759844 140726159765448 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2186120 KiB

Child status: 143

Real time (s): 3593.72
CPU time (s): 3600.31
CPU user time (s): 3597.86
CPU system time (s): 2.44025
CPU usage (%): 100.183
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2186120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.86
system time used= 2.44025
maximum resident set size= 2186248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107839
involuntary context switches= 3701


# summary of solver processes directly reported to runsolver:
#   pid: 200588
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3597.86
#   total CPU system time (s): 2.44025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5666 second user time and 37.5263 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-23 01:33:19
IDJOB=4543407
IDBENCH=173155
IDSOLVER=3363
FILE ID=nodeC012/4543407-1753227199
RUNJOBID= nodeC012-1753227196-200365
SLURM_JOB_ID= 9687805
Free space on /tmp= 432924 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/domset-hubgraph-opb/normalized-domset-hubgraph_068.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543407-1753227199/watcher-4543407-1753227199 -o /tmp/evaluation-result-4543407-1753227199/solver-4543407-1753227199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753227196-200365 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4543407-1753227199.opb

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

MD5SUM BENCH= fa4a44a126a0a168be7bf7730f3b2c61
RANDOM SEED=487616867

nodeC012 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		: 1197.173
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.39
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		: 1197.156
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.39
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.145
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.39
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.154
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.39
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		: 3491.697
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.39
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		: 3491.696
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.39
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		: 1496.444
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.39
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		: 3492.773
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128865500 kB
MemAvailable:   129651312 kB
Buffers:            2136 kB
Cached:          1551348 kB
SwapCached:           12 kB
Active:          1522600 kB
Inactive:         347776 kB
Active(anon):     338344 kB
Inactive(anon):     4688 kB
Active(file):    1184256 kB
Inactive(file):   343088 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3456 kB
Writeback:             0 kB
AnonPages:        318044 kB
Mapped:           128148 kB
Shmem:             26140 kB
KReclaimable:     195804 kB
Slab:             287908 kB
SReclaimable:     195804 kB
SUnreclaim:        92104 kB
KernelStack:        4640 kB
PageTables:         4008 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4816220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149928 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432924 MiB
End job on nodeC012 at 2025-07-23 02:33:13