Trace number 4509796

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.35 3600.06

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM2ca6c56c39551016f0346c5d85471318
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables276
Total number of constraints736
Number of constraints which are clauses736
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.12	c Pseudo Boolean Optimization by upper bound
0.12/0.12	c --- Begin Solver configuration ---
0.12/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.12	c Learn all clauses as in MiniSAT
0.12/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	c Expensive reason simplification
0.12/0.12	c Glucose 2.1 dynamic restart strategy
0.12/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.12	c timeout=2147483s
0.12/0.12	c DB Simplification allowed=false
0.12/0.12	c Listener: none
0.12/0.12	c --- End Solver configuration ---
0.12/0.12	c solving HOME/instance-4509796-1751194023.opb
0.12/0.12	c reading problem ... 
0.12/0.13	c  no objective function found
0.12/0.17	c ... done. Wall clock time 0.042s.
0.12/0.17	c declared #vars     276
0.12/0.17	c #constraints  736
0.12/0.17	c constraints type 
0.12/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 736
0.12/0.17	c 736 constraints processed.
0.72/0.41	c cleaning 2497 clauses out of 5000 with flag 21202/5000
0.91/0.58	c cleaning 4246 clauses out of 8503 with flag 48393/11000
1.29/0.77	c cleaning 5624 clauses out of 11257 with flag 85371/18000
1.48/0.89	c cleaning 6812 clauses out of 13633 with flag 127102/26000
1.81/1.02	c cleaning 7904 clauses out of 15821 with flag 173046/35000
2.00/1.17	c cleaning 8956 clauses out of 17917 with flag 226211/45000
2.31/1.35	c cleaning 9976 clauses out of 19962 with flag 286400/56001
2.52/1.53	c cleaning 10988 clauses out of 21986 with flag 349790/68001
2.71/1.74	c cleaning 11993 clauses out of 23998 with flag 415758/81001
2.92/1.98	c cleaning 12996 clauses out of 26004 with flag 486144/95000
3.22/2.23	c cleaning 13998 clauses out of 28009 with flag 560893/110001
3.52/2.54	c cleaning 15001 clauses out of 30010 with flag 645516/126000
3.84/2.80	c cleaning 16001 clauses out of 32009 with flag 729579/143000
4.16/3.17	c cleaning 16995 clauses out of 34009 with flag 815912/161001
4.47/3.49	c cleaning 18002 clauses out of 36013 with flag 927969/180000
4.86/3.84	c cleaning 18997 clauses out of 38012 with flag 1035748/200001
5.36/4.31	c cleaning 20001 clauses out of 40014 with flag 1151902/221000
5.86/4.80	c cleaning 20999 clauses out of 42014 with flag 1275825/243001
6.36/5.37	c cleaning 22000 clauses out of 44014 with flag 1409860/266000
6.95/5.93	c cleaning 23002 clauses out of 46015 with flag 1541712/290001
7.45/6.46	c cleaning 24000 clauses out of 48012 with flag 1663319/315000
7.95/6.97	c cleaning 25002 clauses out of 50012 with flag 1783953/341000
8.55/7.53	c cleaning 25995 clauses out of 52011 with flag 1927622/368001
9.05/8.02	c cleaning 27003 clauses out of 54015 with flag 2064624/396000
9.55/8.56	c cleaning 27998 clauses out of 56012 with flag 2205410/425000
10.45/9.44	c cleaning 29005 clauses out of 58016 with flag 2334059/455002
11.17/10.18	c cleaning 29994 clauses out of 60010 with flag 2485154/486001
12.16/11.11	c cleaning 30999 clauses out of 62016 with flag 2659333/518001
13.16/12.12	c cleaning 31999 clauses out of 64016 with flag 2840409/551000
13.95/12.99	c cleaning 33005 clauses out of 66018 with flag 3014584/585001
14.85/13.90	c cleaning 34003 clauses out of 68013 with flag 3193489/620001
15.85/14.84	c cleaning 35000 clauses out of 70010 with flag 3373169/656001
16.95/15.93	c cleaning 35998 clauses out of 72009 with flag 3549683/693000
17.87/16.88	c cleaning 37000 clauses out of 74011 with flag 3743814/731000
18.87/17.88	c cleaning 37998 clauses out of 76011 with flag 3941676/770000
19.97/18.91	c cleaning 39001 clauses out of 78013 with flag 4139425/810000
20.96/19.99	c cleaning 40001 clauses out of 80013 with flag 4351004/851001
22.07/21.07	c cleaning 41001 clauses out of 82011 with flag 4575745/893000
23.09/22.04	c cleaning 41999 clauses out of 84011 with flag 4792944/936001
24.09/23.03	c cleaning 42999 clauses out of 86011 with flag 4998227/980000
24.98/24.00	c cleaning 44004 clauses out of 88013 with flag 5231093/1025001
25.98/24.96	c cleaning 45000 clauses out of 90009 with flag 5476053/1071001
27.18/26.16	c cleaning 45999 clauses out of 92009 with flag 5709110/1118001
28.47/27.43	c cleaning 46999 clauses out of 94009 with flag 5952586/1166000
30.21/29.14	c cleaning 47996 clauses out of 96011 with flag 6208425/1215001
31.60/30.56	c cleaning 48995 clauses out of 98014 with flag 6461981/1265000
32.90/31.83	c cleaning 50003 clauses out of 100019 with flag 6734231/1316000
35.20/34.20	c cleaning 50997 clauses out of 102016 with flag 7021956/1368000
36.65/35.55	c cleaning 52001 clauses out of 104020 with flag 7298330/1421001
37.95/36.88	c cleaning 53003 clauses out of 106018 with flag 7573404/1475000
39.25/38.17	c cleaning 54001 clauses out of 108015 with flag 7847084/1530000
40.64/39.53	c cleaning 55002 clauses out of 110014 with flag 8114753/1586000
42.17/41.09	c cleaning 56001 clauses out of 112013 with flag 8400020/1643001
43.96/42.88	c cleaning 56999 clauses out of 114012 with flag 8688145/1701001
45.95/44.81	c cleaning 57999 clauses out of 116012 with flag 8987842/1760000
47.45/46.37	c cleaning 59000 clauses out of 118014 with flag 9296961/1820001
49.28/48.10	c cleaning 59999 clauses out of 120014 with flag 9599220/1881001
51.08/49.93	c cleaning 60999 clauses out of 122014 with flag 9911126/1943000
52.87/51.72	c cleaning 62002 clauses out of 124015 with flag 10215284/2006000
55.28/54.13	c cleaning 62996 clauses out of 126013 with flag 10539606/2070000
57.10/55.91	c cleaning 64007 clauses out of 128017 with flag 10858990/2135000
58.80/57.63	c cleaning 64997 clauses out of 130011 with flag 11175813/2201001
60.60/59.42	c cleaning 65999 clauses out of 132014 with flag 11515928/2268001
62.49/61.34	c cleaning 67002 clauses out of 134015 with flag 11857438/2336001
64.81/63.63	c cleaning 68000 clauses out of 136012 with flag 12199712/2405000
67.60/66.44	c cleaning 68999 clauses out of 138012 with flag 12542776/2475000
69.90/68.70	c cleaning 70000 clauses out of 140014 with flag 12918008/2546001
72.02/70.83	c cleaning 70999 clauses out of 142014 with flag 13276940/2618001
73.92/72.76	c cleaning 72003 clauses out of 144015 with flag 13632175/2691001
76.22/75.10	c cleaning 73000 clauses out of 146011 with flag 13996125/2765000
79.44/78.29	c cleaning 73997 clauses out of 148012 with flag 14381079/2840001
81.73/80.51	c cleaning 75002 clauses out of 150014 with flag 14749631/2916000
83.73/82.57	c cleaning 76000 clauses out of 152012 with flag 15106693/2993000
86.46/85.22	c cleaning 76998 clauses out of 154013 with flag 15496275/3071001
89.26/88.06	c cleaning 78002 clauses out of 156015 with flag 15907382/3150001
91.45/90.25	c cleaning 78999 clauses out of 158012 with flag 16279065/3230000
93.79/92.58	c cleaning 80000 clauses out of 160013 with flag 16663958/3311000
96.38/95.20	c cleaning 81000 clauses out of 162013 with flag 17068294/3393000
98.97/97.76	c cleaning 81998 clauses out of 164014 with flag 17466710/3476001
102.37/101.15	c cleaning 82999 clauses out of 166015 with flag 17893766/3560000
105.96/104.78	c cleaning 84001 clauses out of 168017 with flag 18285969/3645001
109.49/108.20	c cleaning 84996 clauses out of 170016 with flag 18708930/3731001
112.08/110.87	c cleaning 86006 clauses out of 172019 with flag 19121392/3818000
115.08/113.85	c cleaning 87000 clauses out of 174013 with flag 19566596/3906000
118.57/117.37	c cleaning 87998 clauses out of 176013 with flag 19986676/3995000
121.46/120.22	c cleaning 89003 clauses out of 178015 with flag 20412304/4085000
124.60/123.35	c cleaning 90000 clauses out of 180014 with flag 20862646/4176002
127.59/126.39	c cleaning 91001 clauses out of 182012 with flag 21311229/4268000
131.58/130.31	c cleaning 91995 clauses out of 184012 with flag 21776210/4361001
134.98/133.74	c cleaning 93004 clauses out of 186017 with flag 22234406/4455001
138.27/137.03	c cleaning 93999 clauses out of 188013 with flag 22699278/4550001
142.31/141.04	c cleaning 95005 clauses out of 190013 with flag 23157082/4646000
146.30/145.03	c cleaning 95999 clauses out of 192009 with flag 23637147/4743001
150.39/149.14	c cleaning 96998 clauses out of 194010 with flag 24108399/4841001
153.99/152.75	c cleaning 98000 clauses out of 196011 with flag 24581204/4940000
157.78/156.54	c cleaning 98997 clauses out of 198011 with flag 25035064/5040000
163.55/162.29	c cleaning 100000 clauses out of 200015 with flag 25497179/5141001
166.84/165.56	c cleaning 101000 clauses out of 202015 with flag 25978636/5243001
170.74/169.44	c cleaning 101999 clauses out of 204014 with flag 26487366/5346000
174.03/172.77	c cleaning 103002 clauses out of 206015 with flag 26980785/5450000
177.92/176.61	c cleaning 103997 clauses out of 208013 with flag 27530202/5555000
181.68/180.34	c cleaning 104999 clauses out of 210016 with flag 28061349/5661000
185.17/183.88	c cleaning 105997 clauses out of 212018 with flag 28601429/5768001
189.26/187.93	c cleaning 107001 clauses out of 214020 with flag 29121788/5876000
195.06/193.70	c cleaning 107999 clauses out of 216020 with flag 29657379/5985001
199.55/198.27	c cleaning 109005 clauses out of 218020 with flag 30206743/6095000
204.84/203.55	c cleaning 110000 clauses out of 220015 with flag 30739025/6206000
208.99/207.69	c cleaning 111001 clauses out of 222016 with flag 31290698/6318001
213.28/211.93	c cleaning 112001 clauses out of 224015 with flag 31850562/6431001
217.67/216.36	c cleaning 113003 clauses out of 226014 with flag 32377747/6545001
221.27/219.95	c cleaning 113995 clauses out of 228010 with flag 32942967/6660000
225.25/223.95	c cleaning 114998 clauses out of 230015 with flag 33508999/6776000
230.54/229.29	c cleaning 115999 clauses out of 232018 with flag 34087785/6893001
235.83/234.55	c cleaning 116997 clauses out of 234018 with flag 34685353/7011000
240.33/239.08	c cleaning 118001 clauses out of 236022 with flag 35250782/7130001
244.81/243.55	c cleaning 119005 clauses out of 238020 with flag 35853301/7250000
252.49/251.29	c cleaning 120004 clauses out of 240015 with flag 36509394/7371000
258.28/257.05	c cleaning 120990 clauses out of 242012 with flag 37120082/7493001
264.57/263.34	c cleaning 122006 clauses out of 244021 with flag 37715534/7616000
269.06/267.84	c cleaning 123002 clauses out of 246016 with flag 38308184/7740001
274.85/273.69	c cleaning 123999 clauses out of 248013 with flag 38932985/7865000
280.24/279.01	c cleaning 125002 clauses out of 250014 with flag 39538051/7991000
285.92/284.76	c cleaning 126003 clauses out of 252013 with flag 40165221/8118001
291.21/290.09	c cleaning 126998 clauses out of 254009 with flag 40798545/8246000
296.50/295.39	c cleaning 127999 clauses out of 256011 with flag 41420494/8375000
302.20/301.00	c cleaning 129000 clauses out of 258013 with flag 42044796/8505001
307.78/306.64	c cleaning 130000 clauses out of 260013 with flag 42663210/8636001
313.27/312.10	c cleaning 130996 clauses out of 262012 with flag 43282738/8768000
319.14/317.88	c cleaning 131997 clauses out of 264018 with flag 43935060/8901002
324.33/323.07	c cleaning 133003 clauses out of 266020 with flag 44576969/9035001
330.71/329.49	c cleaning 134002 clauses out of 268016 with flag 45228462/9170000
336.59/335.34	c cleaning 134997 clauses out of 270014 with flag 45899809/9306000
345.28/344.02	c cleaning 136001 clauses out of 272017 with flag 46621154/9443000
352.77/351.54	c cleaning 136998 clauses out of 274016 with flag 47270249/9581000
359.15/357.99	c cleaning 138003 clauses out of 276019 with flag 47904272/9720001
365.89/364.19	c cleaning 139001 clauses out of 278018 with flag 48576191/9860003
372.17/370.46	c cleaning 139997 clauses out of 280015 with flag 49275868/10001001
378.46/376.71	c cleaning 141001 clauses out of 282017 with flag 49941715/10143000
384.24/382.50	c cleaning 142001 clauses out of 284016 with flag 50623216/10286000
395.63/393.99	c cleaning 143002 clauses out of 286017 with flag 51319902/10430002
403.61/402.00	c cleaning 143996 clauses out of 288014 with flag 52013060/10575001
409.46/407.77	c cleaning 145002 clauses out of 290017 with flag 52697213/10721000
415.75/414.05	c cleaning 146000 clauses out of 292016 with flag 53392013/10868001
422.13/420.45	c cleaning 147000 clauses out of 294015 with flag 54127807/11016000
428.82/427.13	c cleaning 147999 clauses out of 296015 with flag 54843129/11165000
435.00/433.30	c cleaning 149000 clauses out of 298017 with flag 55551701/11315001
442.50/440.82	c cleaning 150001 clauses out of 300016 with flag 56219200/11466000
449.58/448.00	c cleaning 150996 clauses out of 302015 with flag 56929020/11618000
457.26/455.66	c cleaning 152004 clauses out of 304019 with flag 57632583/11771000
466.33/464.60	c cleaning 153002 clauses out of 306016 with flag 58358430/11925001
476.52/474.84	c cleaning 154001 clauses out of 308013 with flag 59214582/12080000
484.80/483.14	c cleaning 155000 clauses out of 310012 with flag 59971757/12236000
491.79/490.16	c cleaning 155999 clauses out of 312012 with flag 60720460/12393000
499.77/498.16	c cleaning 157001 clauses out of 314014 with flag 61580086/12551001
505.85/504.26	c cleaning 157996 clauses out of 316013 with flag 62386282/12710001
513.03/511.47	c cleaning 158995 clauses out of 318016 with flag 63168193/12870000
520.01/518.38	c cleaning 159999 clauses out of 320022 with flag 63901989/13031001
527.40/525.78	c cleaning 161004 clauses out of 322022 with flag 64666192/13193000
536.98/535.39	c cleaning 162002 clauses out of 324018 with flag 65374385/13356000
545.56/543.97	c cleaning 162996 clauses out of 326016 with flag 66121964/13520000
555.64/554.06	c cleaning 164003 clauses out of 328020 with flag 66903202/13685000
562.82/561.27	c cleaning 165002 clauses out of 330017 with flag 67715040/13851000
571.71/570.13	c cleaning 166000 clauses out of 332015 with flag 68507402/14018000
578.69/577.08	c cleaning 166997 clauses out of 334016 with flag 69347564/14186001
586.37/584.76	c cleaning 168000 clauses out of 336018 with flag 70167208/14355000
593.16/591.59	c cleaning 168998 clauses out of 338019 with flag 70938616/14525001
601.05/599.42	c cleaning 170006 clauses out of 340020 with flag 71778758/14696000
608.43/606.84	c cleaning 171002 clauses out of 342015 with flag 72621339/14868001
620.40/618.83	c cleaning 171994 clauses out of 344013 with flag 73442822/15041001
629.69/628.19	c cleaning 173008 clauses out of 346019 with flag 74260435/15215001
638.95/637.33	c cleaning 173997 clauses out of 348010 with flag 75095708/15390000
647.13/645.52	c cleaning 175002 clauses out of 350013 with flag 75926568/15566000
656.11/654.55	c cleaning 176000 clauses out of 352012 with flag 76768045/15743001
665.29/663.78	c cleaning 176998 clauses out of 354011 with flag 77649458/15921000
673.17/671.61	c cleaning 178000 clauses out of 356013 with flag 78503676/16100000
682.66/681.12	c cleaning 179001 clauses out of 358014 with flag 79310984/16280001
692.24/690.76	c cleaning 179998 clauses out of 360013 with flag 80162853/16461001
702.81/701.31	c cleaning 181001 clauses out of 362015 with flag 81049006/16643001
712.00/710.51	c cleaning 181994 clauses out of 364013 with flag 81876608/16826000
721.09/719.50	c cleaning 183002 clauses out of 366019 with flag 82767035/17010000
729.68/728.11	c cleaning 184003 clauses out of 368018 with flag 83660538/17195001
747.23/745.75	c cleaning 185002 clauses out of 370015 with flag 84538739/17381001
756.11/754.62	c cleaning 186002 clauses out of 372013 with flag 85441503/17568001
765.60/764.17	c cleaning 186999 clauses out of 374010 with flag 86317457/17756000
775.17/773.73	c cleaning 188001 clauses out of 376011 with flag 87211793/17945000
784.45/783.10	c cleaning 188998 clauses out of 378010 with flag 88119295/18135000
796.32/794.90	c cleaning 189997 clauses out of 380012 with flag 89054624/18326000
808.49/807.11	c cleaning 191001 clauses out of 382015 with flag 89952995/18518000
819.21/817.74	c cleaning 191997 clauses out of 384014 with flag 90856832/18711000
828.00/826.59	c cleaning 192999 clauses out of 386018 with flag 91735727/18905001
837.78/836.39	c cleaning 193999 clauses out of 388019 with flag 92668135/19100001
848.05/846.64	c cleaning 195006 clauses out of 390019 with flag 93545093/19296000
860.93/859.55	c cleaning 195998 clauses out of 392014 with flag 94522050/19493001
872.21/870.89	c cleaning 197000 clauses out of 394015 with flag 95485568/19691000
881.01/879.16	c cleaning 197998 clauses out of 396016 with flag 96413716/19890001
890.69/888.86	c cleaning 199000 clauses out of 398018 with flag 97395606/20090001
901.06/899.26	c cleaning 200003 clauses out of 400018 with flag 98347496/20291001
913.34/911.50	c cleaning 200998 clauses out of 402014 with flag 99262751/20493000
923.32/921.51	c cleaning 202003 clauses out of 404017 with flag 100226033/20696001
937.49/935.72	c cleaning 202996 clauses out of 406014 with flag 101241772/20900001
947.63/945.81	c cleaning 203999 clauses out of 408017 with flag 102239944/21105000
958.20/956.47	c cleaning 205002 clauses out of 410018 with flag 103261224/21311000
967.48/965.70	c cleaning 206001 clauses out of 412016 with flag 104252295/21518000
978.37/976.60	c cleaning 207001 clauses out of 414015 with flag 105229095/21726000
989.34/987.66	c cleaning 208002 clauses out of 416015 with flag 106267435/21935001
998.33/996.64	c cleaning 208998 clauses out of 418013 with flag 107246599/22145001
1009.40/1007.73	c cleaning 209998 clauses out of 420015 with flag 108278543/22356001
1022.07/1020.47	c cleaning 211001 clauses out of 422016 with flag 109336895/22568000
1033.85/1032.23	c cleaning 212000 clauses out of 424015 with flag 110342736/22781000
1045.23/1043.67	c cleaning 212996 clauses out of 426016 with flag 111323574/22995001
1055.17/1053.53	c cleaning 214003 clauses out of 428019 with flag 112325558/23210000
1066.14/1064.53	c cleaning 215000 clauses out of 430016 with flag 113460694/23426000
1077.82/1076.26	c cleaning 216002 clauses out of 432016 with flag 114499247/23643000
1088.40/1086.85	c cleaning 217000 clauses out of 434015 with flag 115506164/23861001
1102.86/1101.36	c cleaning 218000 clauses out of 436016 with flag 116581547/24080002
1113.65/1112.12	c cleaning 218997 clauses out of 438014 with flag 117647620/24300000
1125.72/1124.29	c cleaning 219998 clauses out of 440017 with flag 118793519/24521000
1145.88/1144.43	c cleaning 221001 clauses out of 442019 with flag 119843639/24743000
1159.35/1157.92	c cleaning 222003 clauses out of 444019 with flag 120866221/24966001
1170.63/1169.20	c cleaning 223003 clauses out of 446016 with flag 121971810/25190001
1182.30/1180.95	c cleaning 224001 clauses out of 448013 with flag 123082519/25415001
1193.65/1192.15	c cleaning 224997 clauses out of 450012 with flag 124147160/25641001
1206.31/1204.81	c cleaning 226001 clauses out of 452014 with flag 125236272/25868000
1219.39/1217.99	c cleaning 227000 clauses out of 454013 with flag 126300048/26096000
1233.96/1232.51	c cleaning 227997 clauses out of 456014 with flag 127397886/26325001
1246.13/1244.74	c cleaning 229003 clauses out of 458017 with flag 128451868/26555001
1258.81/1257.48	c cleaning 229996 clauses out of 460013 with flag 129587074/26786000
1271.78/1270.45	c cleaning 231001 clauses out of 462018 with flag 130627985/27018001
1285.45/1284.18	c cleaning 232004 clauses out of 464016 with flag 131674908/27251000
1298.63/1297.36	c cleaning 233002 clauses out of 466012 with flag 132785643/27485000
1310.50/1309.25	c cleaning 233999 clauses out of 468011 with flag 133936156/27720001
1326.13/1324.76	c cleaning 235001 clauses out of 470012 with flag 135102547/27956001
1340.40/1339.05	c cleaning 235998 clauses out of 472011 with flag 136268435/28193001
1355.38/1354.02	c cleaning 237000 clauses out of 474013 with flag 137388059/28431001
1368.64/1367.39	c cleaning 237997 clauses out of 476013 with flag 138499789/28670001
1379.92/1378.64	c cleaning 238999 clauses out of 478016 with flag 139676014/28910001
1393.40/1392.12	c cleaning 240003 clauses out of 480017 with flag 140833139/29151001
1408.75/1407.41	c cleaning 241000 clauses out of 482013 with flag 141951161/29393000
1428.60/1427.36	c cleaning 242001 clauses out of 484013 with flag 143106966/29636000
1441.68/1440.47	c cleaning 243000 clauses out of 486012 with flag 144268265/29880000
1454.95/1453.78	c cleaning 243998 clauses out of 488012 with flag 145416678/30125000
1468.82/1467.69	c cleaning 244999 clauses out of 490014 with flag 146570630/30371000
1488.78/1487.66	c cleaning 246001 clauses out of 492016 with flag 147768730/30618001
1504.64/1503.54	c cleaning 246999 clauses out of 494014 with flag 148958441/30866000
1520.74/1519.50	c cleaning 248001 clauses out of 496016 with flag 150132854/31115001
1533.51/1532.32	c cleaning 248999 clauses out of 498014 with flag 151278119/31365000
1549.18/1548.08	c cleaning 249996 clauses out of 500015 with flag 152375979/31616000
1573.23/1572.15	c cleaning 251004 clauses out of 502020 with flag 153375114/31868001
1589.20/1588.18	c cleaning 252000 clauses out of 504016 with flag 154562581/32121001
1603.46/1602.47	c cleaning 253001 clauses out of 506016 with flag 155764186/32375001
1620.23/1619.22	c cleaning 254002 clauses out of 508015 with flag 157009479/32630001
1634.72/1633.62	c cleaning 255001 clauses out of 510012 with flag 158204129/32886000
1651.38/1650.30	c cleaning 256003 clauses out of 512012 with flag 159431026/33143001
1665.56/1664.58	c cleaning 256998 clauses out of 514009 with flag 160631364/33401001
1680.13/1679.16	c cleaning 257994 clauses out of 516010 with flag 161831350/33660000
1694.89/1693.92	c cleaning 259003 clauses out of 518016 with flag 163027118/33920000
1712.06/1711.17	c cleaning 259999 clauses out of 520013 with flag 164271636/34181000
1727.84/1726.55	c cleaning 260996 clauses out of 522015 with flag 165421669/34443001
1752.18/1751.00	c cleaning 262002 clauses out of 524019 with flag 166646874/34706001
1771.94/1770.77	c cleaning 263002 clauses out of 526016 with flag 167923133/34970000
1794.89/1793.79	c cleaning 263998 clauses out of 528014 with flag 169227173/35235000
1811.15/1810.01	c cleaning 265000 clauses out of 530017 with flag 170519113/35501001
1833.60/1832.56	c cleaning 266002 clauses out of 532016 with flag 171831175/35768000
1851.68/1850.50	c cleaning 266999 clauses out of 534014 with flag 173122810/36036000
1873.52/1872.43	c cleaning 268000 clauses out of 536016 with flag 174416904/36305001
1890.39/1889.38	c cleaning 268998 clauses out of 538016 with flag 175745634/36575001
1915.03/1914.01	c cleaning 269997 clauses out of 540017 with flag 177164654/36846000
1928.90/1927.90	c cleaning 271003 clauses out of 542020 with flag 178508373/37118000
1945.85/1944.95	c cleaning 272000 clauses out of 544017 with flag 179830455/37391000
1962.92/1962.07	c cleaning 272994 clauses out of 546018 with flag 181216597/37665001
1980.58/1979.77	c cleaning 274003 clauses out of 548024 with flag 182466037/37940001
2004.21/2003.38	c cleaning 275001 clauses out of 550022 with flag 183763481/38216002
2032.65/2031.84	c cleaning 275997 clauses out of 552019 with flag 185065218/38493000
2090.23/2089.55	c cleaning 277006 clauses out of 554024 with flag 186340916/38771002
2114.08/2113.42	c cleaning 278002 clauses out of 556016 with flag 187617255/39050000
2130.54/2129.98	c cleaning 278998 clauses out of 558014 with flag 188907066/39330000
2149.61/2149.06	c cleaning 279998 clauses out of 560016 with flag 190210763/39611000
2166.07/2165.50	c cleaning 281001 clauses out of 562018 with flag 191513045/39893000
2185.84/2185.39	c cleaning 282002 clauses out of 564018 with flag 192884119/40176001
2207.00/2206.57	c cleaning 283002 clauses out of 566017 with flag 194198868/40460002
2223.81/2223.30	c cleaning 283999 clauses out of 568013 with flag 195507559/40745000
2241.18/2240.67	c cleaning 285002 clauses out of 570014 with flag 196854981/41031000
2261.84/2261.37	c cleaning 285998 clauses out of 572012 with flag 198200209/41318000
2279.39/2278.91	c cleaning 286998 clauses out of 574014 with flag 199581275/41606000
2299.35/2298.94	c cleaning 288000 clauses out of 576017 with flag 200835481/41895001
2323.49/2323.11	c cleaning 289000 clauses out of 578017 with flag 202259134/42185001
2341.45/2341.14	c cleaning 290000 clauses out of 580017 with flag 203685489/42476001
2373.18/2372.91	c cleaning 290997 clauses out of 582017 with flag 205241009/42768001
2392.18/2391.88	c cleaning 292002 clauses out of 584020 with flag 206711078/43061001
2413.72/2413.44	c cleaning 293001 clauses out of 586018 with flag 208138486/43355001
2436.57/2436.32	c cleaning 293995 clauses out of 588017 with flag 209600068/43650001
2454.43/2454.24	c cleaning 295005 clauses out of 590021 with flag 211002138/43946000
2477.48/2477.35	c cleaning 296000 clauses out of 592018 with flag 212399600/44243002
2504.12/2504.02	c cleaning 296997 clauses out of 594016 with flag 213736695/44541000
2534.20/2533.33	c cleaning 298000 clauses out of 596019 with flag 215128498/44840000
2558.85/2558.09	c cleaning 298997 clauses out of 598019 with flag 216617789/45140000
2584.80/2584.09	c cleaning 300002 clauses out of 600023 with flag 218177244/45441001
2607.35/2606.67	c cleaning 301000 clauses out of 602020 with flag 219741145/45743000
2632.91/2632.27	c cleaning 302003 clauses out of 604021 with flag 221285581/46046001
2657.35/2656.55	c cleaning 303001 clauses out of 606018 with flag 222852202/46350001
2684.80/2684.06	c cleaning 303997 clauses out of 608016 with flag 224419385/46655000
2715.13/2714.46	c cleaning 305003 clauses out of 610019 with flag 225999904/46961000
2740.59/2739.99	c cleaning 305999 clauses out of 612016 with flag 227576015/47268000
2768.74/2768.02	c cleaning 306995 clauses out of 614017 with flag 229158233/47576000
2794.28/2793.69	c cleaning 308002 clauses out of 616023 with flag 230764720/47885001
2821.64/2821.10	c cleaning 308996 clauses out of 618020 with flag 232368804/48195000
2848.98/2848.42	c cleaning 310001 clauses out of 620024 with flag 233980418/48506000
2876.32/2875.78	c cleaning 310997 clauses out of 622023 with flag 235577725/48818000
2905.46/2904.95	c cleaning 312000 clauses out of 624026 with flag 237196071/49131000
2932.51/2932.02	c cleaning 313001 clauses out of 626026 with flag 238832399/49445000
2960.35/2959.91	c cleaning 314002 clauses out of 628026 with flag 240470889/49760001
2989.33/2988.41	c cleaning 314998 clauses out of 630024 with flag 242123310/50076001
3016.18/3015.39	c cleaning 316002 clauses out of 632026 with flag 243792360/50393001
3045.52/3044.74	c cleaning 317003 clauses out of 634024 with flag 245428299/50711001
3076.16/3075.41	c cleaning 317998 clauses out of 636020 with flag 247107835/51030000
3097.55/3096.71	c cleaning 319007 clauses out of 638023 with flag 248677443/51350001
3127.09/3126.38	c cleaning 320000 clauses out of 640015 with flag 250203175/51671000
3149.84/3149.17	c cleaning 321005 clauses out of 642016 with flag 251729409/51993001
3177.98/3177.38	c cleaning 322000 clauses out of 644011 with flag 253191524/52316001
3202.04/3201.48	c cleaning 323002 clauses out of 646011 with flag 254759865/52640001
3226.81/3226.17	c cleaning 323994 clauses out of 648008 with flag 256272585/52965000
3254.66/3254.00	c cleaning 325004 clauses out of 650015 with flag 257751638/53291001
3278.21/3277.66	c cleaning 325995 clauses out of 652010 with flag 259256238/53618000
3302.35/3301.89	c cleaning 326998 clauses out of 654016 with flag 260792711/53946001
3325.21/3324.70	c cleaning 328000 clauses out of 656017 with flag 262312124/54275000
3352.96/3352.59	c cleaning 329000 clauses out of 658018 with flag 263972459/54605001
3375.40/3374.93	c cleaning 330003 clauses out of 660017 with flag 265489818/54936000
3397.95/3397.56	c cleaning 331001 clauses out of 662015 with flag 267044798/55268001
3419.11/3418.78	c cleaning 331998 clauses out of 664013 with flag 268664142/55601000
3442.76/3442.44	c cleaning 332998 clauses out of 666016 with flag 270227997/55935001
3469.01/3468.72	c cleaning 334002 clauses out of 668017 with flag 271981878/56270000
3493.00/3492.68	c cleaning 335001 clauses out of 670015 with flag 273627845/56606000
3516.45/3516.19	c cleaning 335999 clauses out of 672014 with flag 275269000/56943000
3539.00/3538.79	c cleaning 336995 clauses out of 674016 with flag 276796030/57281001
3570.72/3570.57	c cleaning 338005 clauses out of 676021 with flag 278330910/57620001
3600.05/3599.92	c starts		: 38580
3600.05/3599.93	c conflicts		: 57960000
3600.05/3599.93	c decisions		: 73641565
3600.05/3599.93	c propagations		: 485367102
3600.05/3599.93	c inspects		: 34971619430
3600.05/3599.93	c shortcuts		: 0
3600.05/3599.93	c learnt literals	: 0
3600.05/3599.93	c learnt binary clauses	: 0
3600.05/3599.93	c learnt ternary clauses	: 0
3600.05/3599.93	c learnt constraints	: 57960000
3600.05/3599.93	c ignored constraints	: 0
3600.05/3599.93	c root simplifications	: 0
3600.05/3599.93	c removed literals (reason simplification)	: 49237838
3600.05/3599.93	c reason swapping (by a shorter reason)	: 0
3600.05/3599.93	c Calls to reduceDB	: 336
3600.05/3599.93	c Number of update (reduction) of LBD	: 6506710
3600.05/3599.93	c Imported unit clauses	: 0
3600.05/3599.94	c No decision after first conflict	: false
3600.05/3599.94	c number of reductions to clauses (during analyze)	: 0
3600.05/3599.94	c number of learned constraints concerned by reduction	: 0
3600.05/3599.94	c number of learning phase by resolution	: 0
3600.05/3599.94	c number of learning phase by cutting planes	: 0
3600.05/3599.94	c number of rounding to 1 operations	: 0
3600.05/3599.94	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3599.94	c number of reductions of the coefficients by power 2 	: 0
3600.05/3599.94	c number of right shift for reduction by power 2 	: 0
3600.05/3599.94	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3599.94	c number of ending skipping 	: 0
3600.05/3599.94	c number of internal skipping 	: 0
3600.05/3599.94	c number of derivation steps 	: 0
3600.05/3599.94	c number of skipped derivation steps 	: 0
3600.05/3599.94	c number of remaining unassigned 	: 0
3600.05/3599.94	c number of remaining assigned 	: 0
3600.05/3599.94	c number of falsified literals weakened from reason	: 0
3600.05/3599.94	c number of falsified literals weakened from conflict	: 0
3600.05/3599.94	c time for arithmetic operations	: 0
3600.05/3599.95	c minimum degree of deleted constraints	: null
3600.05/3599.96	c maximum degree of deleted constraints	: null
3600.05/3599.96	c number of deleted constraints	: 0
3600.05/3599.96	c speed (assignments/second)	: 134832.32239276645
3600.05/3599.96	c non guided choices	: 86862
3600.26/3600.04	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 678015
3600.26/3600.04	s UNKNOWN
3600.26/3600.04	c Total wall clock time (in seconds): 3599.918

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: 63708 MiB (62182 MiB free)
  memory of node 1: 64465 MiB (60554 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509796-1751194023/watcher-4509796-1751194023 -o /tmp/evaluation-result-4509796-1751194023/solver-4509796-1751194023 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24632 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4509796-1751194023.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 3.74 2.38 2.73 5/342 25231
/proc/meminfo: memFree=125653936/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=18930384 memory=57824 CPUtime=0.12 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 6601 0 0 0 11 1 0 0 20 0 18 0 35076872 19384713216 14456 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4732596 14456 5337 1 0 547641 0
[pid=25213/tid=25215] ppid=25210 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 5089 0 0 0 7 1 0 0 20 0 18 0 35076873 19384713216 14456 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=18930384 memory=237112656212 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35076875 19384713216 14456 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=18930384 memory=57385981078853 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35076875 19384713216 14456 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57824 KiB

[startup+0.205679 s]*
/proc/loadavg: 3.74 2.38 2.73 7/343 25232
/proc/meminfo: memFree=125651920/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=18996948 memory=63288 CPUtime=0.33 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 7579 0 0 0 31 2 0 0 20 0 19 0 35076872 19452874752 15822 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4749237 15822 5433 1 0 548508 0
[pid=25213/tid=25215] ppid=25210 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 5291 0 0 0 16 1 0 0 20 0 19 0 35076873 19452874752 15822 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=18996948 memory=13929 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35076875 19452874752 15822 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=18996948 memory=56286469424100 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35076875 19452874752 15822 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35076889 19452874752 15822 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63288 KiB

[startup+0.305666 s]*
/proc/loadavg: 3.74 2.38 2.73 6/343 25232
/proc/meminfo: memFree=125647384/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=18996948 memory=70464 CPUtime=0.53 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 9867 0 0 0 50 3 0 0 20 0 19 0 35076872 19452874752 17616 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4749237 17616 5433 1 0 549716 0
[pid=25213/tid=25215] ppid=25210 vsize=18996948 memory=-6000919507133556589 CPUtime=0.26 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 5304 0 0 0 25 1 0 0 20 0 19 0 35076873 19452874752 17616 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35076875 19452874752 17616 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35076875 19452874752 17616 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35076889 19452874752 17616 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70464 KiB

[startup+0.70026 s]
/proc/loadavg: 3.74 2.38 2.73 6/343 25232
/proc/meminfo: memFree=125634720/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=18996948 memory=87876 CPUtime=1.29 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 13340 0 0 0 126 3 0 0 20 0 19 0 35076872 19452874752 21969 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4749237 21969 5433 1 0 552436 0
[pid=25213/tid=25215] ppid=25210 vsize=18996948 memory=17152 CPUtime=0.63 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 5345 0 0 0 61 2 0 0 20 0 19 0 35076873 19452874752 21969 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35076875 19452874752 21969 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35076875 19452874752 21969 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35076889 19452874752 21969 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87876 KiB

[startup+1.50024 s]
/proc/loadavg: 3.74 2.38 2.73 5/343 25232
/proc/meminfo: memFree=125625520/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=18996948 memory=106600 CPUtime=2.52 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 17148 0 0 0 248 4 0 0 20 0 19 0 35076872 19452874752 26650 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4749237 26650 5433 1 0 552439 0
[pid=25213/tid=25215] ppid=25210 vsize=18996948 memory=0 CPUtime=1.43 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 5642 0 0 0 141 2 0 0 20 0 19 0 35076873 19452874752 26650 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35076875 19452874752 26650 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35076875 19452874752 26650 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35076889 19452874752 26650 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106600 KiB

[startup+3.10549 s]
/proc/loadavg: 3.76 2.40 2.74 5/343 25232
/proc/meminfo: memFree=125580664/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=18996948 memory=141544 CPUtime=4.16 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 18066 0 0 0 412 4 0 0 20 0 19 0 35076872 19452874752 35386 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4749237 35386 5433 1 0 552441 0
[pid=25213/tid=25215] ppid=25210 vsize=18996948 memory=10752 CPUtime=3.02 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 5948 0 0 0 300 2 0 0 20 0 19 0 35076873 19452874752 35386 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=18996948 memory=-6000919507133556589 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35076875 19452874752 35386 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35076875 19452874752 35386 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35076889 19452874752 35386 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 141544 KiB

[startup+6.30022 s]
/proc/loadavg: 3.76 2.40 2.74 5/344 25233
/proc/meminfo: memFree=125453688/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=19063512 memory=174656 CPUtime=7.35 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 19097 0 0 0 730 5 0 0 20 0 20 0 35076872 19521036288 43664 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4765878 43664 5497 1 0 552731 0
[pid=25213/tid=25215] ppid=25210 vsize=19063512 memory=0 CPUtime=6.19 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 5976 0 0 0 616 3 0 0 20 0 20 0 35076873 19521036288 43664 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 43664 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 43664 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=19063512 memory=108648 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35076889 19521036288 43664 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 7.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174656 KiB

[startup+12.7002 s]
/proc/loadavg: 3.87 2.47 2.76 5/344 25233
/proc/meminfo: memFree=125367420/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=19063512 memory=182928 CPUtime=13.75 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 21407 0 0 0 1369 6 0 0 20 0 20 0 35076872 19521036288 45732 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4765878 45732 5497 1 0 552731 0
[pid=25213/tid=25215] ppid=25210 vsize=19063512 memory=108648 CPUtime=12.56 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 6888 0 0 0 1253 3 0 0 20 0 20 0 35076873 19521036288 45732 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=19063512 memory=182928 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 45732 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 45732 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35076889 19521036288 45732 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 13.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182928 KiB

[startup+25.5002 s]
/proc/loadavg: 3.89 2.52 2.77 5/345 25235
/proc/meminfo: memFree=125182596/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=19063512 memory=240700 CPUtime=26.58 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 23254 0 0 0 2651 7 0 0 20 0 20 0 35076872 19521036288 60175 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4765878 60175 5529 1 0 552747 0
[pid=25213/tid=25215] ppid=25210 vsize=19063512 memory=182928 CPUtime=25.27 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 7503 0 0 0 2524 3 0 0 20 0 20 0 35076873 19521036288 60175 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 60175 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=19063512 memory=-6000919507133556589 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 60175 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35076889 19521036288 60175 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 26.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 240700 KiB

[startup+51.1056 s]
/proc/loadavg: 3.93 2.64 2.81 5/345 25235
/proc/meminfo: memFree=124687684/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=19063512 memory=423168 CPUtime=52.28 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 24318 0 0 0 5217 11 0 0 20 0 20 0 35076872 19521036288 105792 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4765878 105792 5529 1 0 552747 0
[pid=25213/tid=25215] ppid=25210 vsize=19063512 memory=14720 CPUtime=50.66 cores=0,2

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

/proc/meminfo: memFree=117028164/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=19063512 memory=2217448 CPUtime=3282.9 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 105405 0 0 0 328147 143 0 0 20 0 20 0 35076872 19521036288 554362 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4765878 554362 5529 1 0 567961 0
[pid=25213/tid=25215] ppid=25210 vsize=19063512 memory=2217448 CPUtime=3269.61 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 50092 0 0 0 326935 26 0 0 20 0 20 0 35076873 19521036288 554362 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=19063512 memory=2217448 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554362 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 1289 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554362 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35076889 19521036288 554362 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 3282.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2217448 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.22 4.13 5/340 25405
/proc/meminfo: memFree=117028068/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=19063512 memory=2217704 CPUtime=3342.78 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 106505 0 0 0 334133 145 0 0 20 0 20 0 35076872 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4765878 554426 5529 1 0 567966 0
[pid=25213/tid=25215] ppid=25210 vsize=19063512 memory=2217448 CPUtime=3329.46 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 50908 0 0 0 332920 26 0 0 20 0 20 0 35076873 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=19063512 memory=2217448 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=19063512 memory=2217576 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 1309 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=19063512 memory=2217448 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35076889 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 3342.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2217704 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.20 4.12 5/339 25407
/proc/meminfo: memFree=117027996/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=19063512 memory=2217704 CPUtime=3402.74 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 107482 0 0 0 340128 146 0 0 20 0 20 0 35076872 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4765878 554426 5529 1 0 567966 0
[pid=25213/tid=25215] ppid=25210 vsize=19063512 memory=2217704 CPUtime=3389.22 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 50980 0 0 0 338896 26 0 0 20 0 20 0 35076873 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=19063512 memory=2217704 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 1321 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=19063512 memory=2217704 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35076889 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 3402.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2217704 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.19 4.12 5/339 25478
/proc/meminfo: memFree=121959840/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=19063512 memory=2217704 CPUtime=3462.62 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 107667 0 0 0 346114 148 0 0 20 0 20 0 35076872 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4765878 554426 5529 1 0 567966 0
[pid=25213/tid=25215] ppid=25210 vsize=19063512 memory=2217704 CPUtime=3449.07 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 51140 0 0 0 344881 26 0 0 20 0 20 0 35076873 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=19063512 memory=2217704 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=19063512 memory=2217704 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 1321 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35076889 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 3462.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2217704 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/319 25524
/proc/meminfo: memFree=123787844/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=19063512 memory=2217704 CPUtime=3522.64 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 108575 0 0 0 352115 149 0 0 20 0 20 0 35076872 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4765878 554426 5529 1 0 567966 0
[pid=25213/tid=25215] ppid=25210 vsize=19063512 memory=2217704 CPUtime=3508.78 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 51776 0 0 0 350852 26 0 0 20 0 20 0 35076873 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=19063512 memory=2217704 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=19063512 memory=2600 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 1321 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=19063512 memory=17152 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35076889 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 3522.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2217704 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/341 25621
/proc/meminfo: memFree=124045996/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=19063512 memory=2217704 CPUtime=3582.5 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 109525 0 0 0 358100 150 0 0 20 0 20 0 35076872 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4765878 554426 5529 1 0 567966 0
[pid=25213/tid=25215] ppid=25210 vsize=19063512 memory=2217704 CPUtime=3568.63 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 52540 0 0 0 356836 27 0 0 20 0 20 0 35076873 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 1338 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35076889 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 3582.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2217704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.9 s]
/proc/loadavg: 4.16 4.18 4.13 5/341 25622
/proc/meminfo: memFree=123786120/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=19063512 memory=2217704 CPUtime=3600.05 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 109573 0 0 0 359855 150 0 0 20 0 20 0 35076872 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4765878 554426 5529 1 0 567966 0
[pid=25213/tid=25215] ppid=25210 vsize=19063512 memory=2217704 CPUtime=3586.18 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 52579 0 0 0 358591 27 0 0 20 0 20 0 35076873 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=19063512 memory=2217704 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 1338 0 0 0 0 0 0 0 20 0 20 0 35076875 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25232] ppid=25210 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/25213/task/25232/stat : 25232 (Timer-0) S 25210 25213 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35076889 19521036288 554426 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2217704 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.84 s, system=1.51806 s

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

[startup+3600 s]*
/proc/loadavg: 4.16 4.18 4.13 6/342 25625
/proc/meminfo: memFree=123785616/131249992 swapFree=33010672/33010684
[pid=25213] ppid=25210 vsize=19263204 memory=2218472 CPUtime=3600.26 cores=0,2
/proc/25213/stat : 25213 (java) S 25210 25213 24622 0 -1 4194304 112087 0 0 0 359876 150 0 0 20 0 21 0 35076872 19725520896 554618 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
/proc/25213/statm: 4815801 554618 5561 1 0 568869 0
[pid=25213/tid=25215] ppid=25210 vsize=19263204 memory=6784 CPUtime=3586.29 cores=0,2
/proc/25213/task/25215/stat : 25215 (java) R 25210 25213 24622 0 -1 4194368 52579 0 0 0 358602 27 0 0 20 0 21 0 35076873 19725520896 554618 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25224] ppid=25210 vsize=19263204 memory=-6000919476934371181 CPUtime=0 cores=0,2
/proc/25213/task/25224/stat : 25224 (Finalizer) S 25210 25213 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35076875 19725520896 554618 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25231] ppid=25210 vsize=19263204 memory=5088 CPUtime=0 cores=0,2
/proc/25213/task/25231/stat : 25231 (Common-Cleaner) S 25210 25213 24622 0 -1 4194368 1338 0 0 0 0 0 0 0 20 0 21 0 35076875 19725520896 554618 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
[pid=25213/tid=25625] ppid=25210 vsize=19263204 memory=7028 CPUtime=0.04 cores=0,2
/proc/25213/task/25625/stat : 25625 (Thread-0) R 25210 25213 24622 0 -1 4194368 459 0 0 0 4 0 0 0 20 0 21 0 35436863 19725520896 554618 18446744073709551615 93903009554432 93903009558128 140723126731856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93903009565944 93903009566736 93903020015616 140723126737281 140723126737382 140723126737382 140723126742984 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2218472 KiB

Child status: 143

Real time (s): 3600.06
CPU time (s): 3600.35
CPU user time (s): 3598.84
CPU system time (s): 1.51806
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2218472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.84
system time used= 1.51806
maximum resident set size= 2218600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112295
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105447
involuntary context switches= 9341


# summary of solver processes directly reported to runsolver:
#   pid: 25213
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3598.84
#   total CPU system time (s): 1.51806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42343 second user time and 16.8796 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-06-29 12:47:03
IDJOB=4509796
IDBENCH=158984
IDSOLVER=3363
FILE ID=nodeC035/4509796-1751194023
RUNJOBID= nodeC035-1751193887-24632
SLURM_JOB_ID= 9587593
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509796-1751194023/watcher-4509796-1751194023 -o /tmp/evaluation-result-4509796-1751194023/solver-4509796-1751194023 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24632 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4509796-1751194023.opb

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

MD5SUM BENCH= 2ca6c56c39551016f0346c5d85471318
RANDOM SEED=1822070324

nodeC035 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	: 0xb00002a
cpu MHz		: 3599.770
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.765
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3590.042
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.829
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.763
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.737
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3491.359
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        125683268 kB
MemAvailable:   128136760 kB
Buffers:            2352 kB
Cached:          3247988 kB
SwapCached:            8 kB
Active:          1999492 kB
Inactive:        2963788 kB
Active(anon):    1724964 kB
Inactive(anon):     6036 kB
Active(file):     274528 kB
Inactive(file):  2957752 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1128 kB
Writeback:             8 kB
AnonPages:       1716024 kB
Mapped:           122688 kB
Shmem:             18056 kB
KReclaimable:     120904 kB
Slab:             207504 kB
SReclaimable:     120904 kB
SUnreclaim:        86600 kB
KernelStack:        5196 kB
PageTables:         7056 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7043772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1538048 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC035 at 2025-06-29 13:47:04