Trace number 4509868

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.21 3600.61

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUMfdfc61e25e9264eb2f8645fd8f162aaa
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 variables273
Total number of constraints728
Number of constraints which are clauses728
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.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4509868-1751194204.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.18	c ... done. Wall clock time 0.044s.
0.12/0.18	c declared #vars     273
0.12/0.18	c #constraints  728
0.12/0.18	c constraints type 
0.12/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 728
0.12/0.18	c 728 constraints processed.
0.70/0.42	c cleaning 2496 clauses out of 5001 with flag 19702/5001
0.89/0.58	c cleaning 4250 clauses out of 8505 with flag 44651/11001
1.27/0.75	c cleaning 5619 clauses out of 11255 with flag 69415/18001
1.47/0.86	c cleaning 6814 clauses out of 13636 with flag 101857/26001
1.66/0.97	c cleaning 7907 clauses out of 15821 with flag 138234/35000
1.84/1.09	c cleaning 8947 clauses out of 17916 with flag 177778/45002
2.19/1.25	c cleaning 9979 clauses out of 19968 with flag 226201/56001
2.44/1.41	c cleaning 10989 clauses out of 21988 with flag 277765/68000
2.54/1.60	c cleaning 11996 clauses out of 23999 with flag 338451/81000
2.74/1.79	c cleaning 12998 clauses out of 26005 with flag 403347/95002
3.06/2.04	c cleaning 13999 clauses out of 28005 with flag 472533/110000
3.35/2.30	c cleaning 14993 clauses out of 30007 with flag 548236/126001
3.58/2.58	c cleaning 15997 clauses out of 32014 with flag 627152/143001
4.00/2.90	c cleaning 16998 clauses out of 34016 with flag 713003/161000
4.29/3.24	c cleaning 18002 clauses out of 36018 with flag 809661/180000
4.69/3.60	c cleaning 19000 clauses out of 38016 with flag 909447/200000
4.99/3.99	c cleaning 19998 clauses out of 40017 with flag 1017090/221001
5.49/4.42	c cleaning 21002 clauses out of 42018 with flag 1127313/243000
5.99/4.90	c cleaning 21998 clauses out of 44016 with flag 1242910/266000
6.38/5.34	c cleaning 23001 clauses out of 46018 with flag 1366394/290000
6.88/5.82	c cleaning 24006 clauses out of 48017 with flag 1496375/315000
7.38/6.32	c cleaning 25001 clauses out of 50011 with flag 1629127/341000
7.88/6.86	c cleaning 26000 clauses out of 52011 with flag 1763159/368001
8.48/7.43	c cleaning 27001 clauses out of 54011 with flag 1891358/396001
9.08/8.02	c cleaning 27996 clauses out of 56010 with flag 2039253/425001
9.67/8.61	c cleaning 28997 clauses out of 58013 with flag 2190656/455000
10.29/9.28	c cleaning 30001 clauses out of 60016 with flag 2344276/486000
10.99/9.92	c cleaning 31002 clauses out of 62016 with flag 2496273/518001
11.59/10.52	c cleaning 31999 clauses out of 64013 with flag 2656516/551000
12.29/11.23	c cleaning 33000 clauses out of 66014 with flag 2830561/585000
13.28/12.27	c cleaning 33998 clauses out of 68014 with flag 3005372/620000
14.19/13.17	c cleaning 35001 clauses out of 70017 with flag 3188633/656001
14.98/13.96	c cleaning 35998 clauses out of 72016 with flag 3370310/693001
15.80/14.74	c cleaning 37004 clauses out of 74017 with flag 3575545/731000
16.60/15.53	c cleaning 37997 clauses out of 76013 with flag 3775573/770000
17.50/16.40	c cleaning 38997 clauses out of 78016 with flag 3966898/810000
18.70/17.60	c cleaning 40000 clauses out of 80019 with flag 4168480/851000
20.10/19.03	c cleaning 40998 clauses out of 82019 with flag 4373108/893000
21.10/20.01	c cleaning 42005 clauses out of 84021 with flag 4599905/936000
22.03/20.98	c cleaning 43003 clauses out of 86017 with flag 4835492/980001
23.13/22.05	c cleaning 44000 clauses out of 88013 with flag 5074462/1025000
24.52/23.46	c cleaning 44998 clauses out of 90013 with flag 5309027/1071000
25.62/24.53	c cleaning 45999 clauses out of 92015 with flag 5554608/1118000
26.81/25.72	c cleaning 47004 clauses out of 94017 with flag 5802250/1166001
28.35/27.23	c cleaning 48000 clauses out of 96012 with flag 6082767/1215000
29.45/28.34	c cleaning 49000 clauses out of 98012 with flag 6341929/1265000
30.65/29.52	c cleaning 49998 clauses out of 100013 with flag 6605081/1316001
31.84/30.79	c cleaning 51006 clauses out of 102016 with flag 6878850/1368002
33.34/32.24	c cleaning 51996 clauses out of 104009 with flag 7138760/1421001
34.98/33.89	c cleaning 53002 clauses out of 106013 with flag 7420335/1475001
37.28/36.17	c cleaning 53998 clauses out of 108010 with flag 7715453/1530000
38.67/37.53	c cleaning 54998 clauses out of 110012 with flag 8008931/1586000
39.96/38.83	c cleaning 56001 clauses out of 112015 with flag 8291520/1643001
41.36/40.29	c cleaning 57003 clauses out of 114014 with flag 8593846/1701001
42.99/41.87	c cleaning 58000 clauses out of 116011 with flag 8889574/1760001
44.59/43.48	c cleaning 58995 clauses out of 118011 with flag 9181227/1820001
46.29/45.17	c cleaning 60004 clauses out of 120015 with flag 9486657/1881000
48.08/46.96	c cleaning 60994 clauses out of 122011 with flag 9827458/1943000
50.23/49.01	c cleaning 62005 clauses out of 124017 with flag 10172855/2006000
51.81/50.62	c cleaning 62997 clauses out of 126012 with flag 10484999/2070000
53.81/52.67	c cleaning 63997 clauses out of 128015 with flag 10779073/2135000
56.05/54.80	c cleaning 65002 clauses out of 130018 with flag 11099303/2201000
58.35/57.16	c cleaning 65995 clauses out of 132016 with flag 11468552/2268000
61.03/59.85	c cleaning 67001 clauses out of 134021 with flag 11828582/2336000
63.13/61.94	c cleaning 68002 clauses out of 136020 with flag 12198071/2405000
65.16/64.00	c cleaning 69002 clauses out of 138018 with flag 12565465/2475000
67.45/66.22	c cleaning 69997 clauses out of 140016 with flag 12925918/2546000
69.26/68.06	c cleaning 71000 clauses out of 142020 with flag 13294625/2618001
71.39/70.18	c cleaning 72002 clauses out of 144019 with flag 13677795/2691000
73.58/72.34	c cleaning 73002 clauses out of 146018 with flag 14045809/2765001
75.57/74.30	c cleaning 73999 clauses out of 148015 with flag 14414299/2840000
77.67/76.43	c cleaning 75002 clauses out of 150016 with flag 14782377/2916000
79.70/78.48	c cleaning 75998 clauses out of 152015 with flag 15174106/2993001
82.09/80.87	c cleaning 76998 clauses out of 154016 with flag 15545142/3071000
84.59/83.39	c cleaning 78002 clauses out of 156019 with flag 15943873/3150001
87.42/86.14	c cleaning 79000 clauses out of 158016 with flag 16337851/3230000
89.91/88.67	c cleaning 80005 clauses out of 160017 with flag 16750537/3311001
93.10/91.85	c cleaning 81000 clauses out of 162011 with flag 17185292/3393000
95.40/94.13	c cleaning 81999 clauses out of 164011 with flag 17608566/3476000
98.04/96.76	c cleaning 82999 clauses out of 166012 with flag 17999845/3560000
100.83/99.53	c cleaning 83998 clauses out of 168013 with flag 18436262/3645000
103.22/101.96	c cleaning 84999 clauses out of 170015 with flag 18871244/3731000
106.02/104.75	c cleaning 86001 clauses out of 172017 with flag 19312420/3818001
108.51/107.28	c cleaning 86998 clauses out of 174016 with flag 19753501/3906001
111.80/110.53	c cleaning 88002 clauses out of 176018 with flag 20192485/3995001
114.76/113.42	c cleaning 89003 clauses out of 178016 with flag 20661531/4085001
117.66/116.31	c cleaning 90000 clauses out of 180013 with flag 21116953/4176001
120.95/119.65	c cleaning 90994 clauses out of 182013 with flag 21491574/4268001
123.94/122.62	c cleaning 92001 clauses out of 184019 with flag 21924551/4361001
126.83/125.52	c cleaning 93003 clauses out of 186018 with flag 22360294/4455001
129.97/128.64	c cleaning 93999 clauses out of 188014 with flag 22824250/4550000
133.27/131.99	c cleaning 94998 clauses out of 190015 with flag 23326661/4646000
136.26/134.92	c cleaning 96002 clauses out of 192017 with flag 23817028/4743000
139.26/137.91	c cleaning 96997 clauses out of 194016 with flag 24293100/4841001
143.36/142.07	c cleaning 97999 clauses out of 196019 with flag 24756235/4940001
146.95/145.66	c cleaning 99005 clauses out of 198019 with flag 25261281/5040000
150.80/149.46	c cleaning 100004 clauses out of 200014 with flag 25860302/5141000
154.40/153.08	c cleaning 100998 clauses out of 202011 with flag 26352621/5243001
158.08/156.73	c cleaning 101995 clauses out of 204012 with flag 26872273/5346000
161.68/160.35	c cleaning 103002 clauses out of 206017 with flag 27397274/5450000
165.67/164.33	c cleaning 104000 clauses out of 208016 with flag 27896665/5555001
169.36/168.06	c cleaning 105003 clauses out of 210015 with flag 28427262/5661000
173.93/172.56	c cleaning 105998 clauses out of 212013 with flag 28978578/5768001
179.72/178.34	c cleaning 107000 clauses out of 214014 with flag 29557275/5876000
186.01/184.64	c cleaning 107997 clauses out of 216015 with flag 30176454/5985001
190.80/189.46	c cleaning 109002 clauses out of 218017 with flag 30760360/6095000
194.50/193.18	c cleaning 109995 clauses out of 220016 with flag 31304696/6206001
199.58/198.24	c cleaning 111003 clauses out of 222022 with flag 31836521/6318002
203.46/202.01	c cleaning 112000 clauses out of 224017 with flag 32428829/6431000
207.45/206.07	c cleaning 112998 clauses out of 226018 with flag 33019603/6545001
212.93/211.52	c cleaning 114001 clauses out of 228020 with flag 33607676/6660001
216.82/215.44	c cleaning 114998 clauses out of 230019 with flag 34160532/6776001
221.53/220.14	c cleaning 116001 clauses out of 232020 with flag 34787512/6893000
225.31/223.90	c cleaning 116998 clauses out of 234019 with flag 35424553/7011000
229.74/228.37	c cleaning 118003 clauses out of 236021 with flag 36035305/7130000
233.73/232.31	c cleaning 119002 clauses out of 238018 with flag 36626291/7250000
237.82/236.47	c cleaning 120003 clauses out of 240017 with flag 37183077/7371001
242.71/241.39	c cleaning 120993 clauses out of 242013 with flag 37774977/7493000
247.50/246.14	c cleaning 122001 clauses out of 244021 with flag 38405422/7616001
253.28/251.90	c cleaning 123002 clauses out of 246020 with flag 39108987/7740001
259.13/257.40	c cleaning 124003 clauses out of 248017 with flag 39755088/7865000
263.82/262.15	c cleaning 125000 clauses out of 250015 with flag 40389203/7991001
270.90/269.24	c cleaning 126000 clauses out of 252015 with flag 40962540/8118001
275.99/274.37	c cleaning 127003 clauses out of 254015 with flag 41573925/8246001
282.69/281.03	c cleaning 127998 clauses out of 256011 with flag 42255677/8375000
290.37/288.75	c cleaning 129000 clauses out of 258014 with flag 42904940/8505001
296.46/294.85	c cleaning 129998 clauses out of 260014 with flag 43532976/8636001
303.74/302.12	c cleaning 130997 clauses out of 262015 with flag 44232626/8768000
310.03/308.47	c cleaning 132004 clauses out of 264019 with flag 44939678/8901001
314.92/313.35	c cleaning 133000 clauses out of 266014 with flag 45617933/9035000
319.81/318.28	c cleaning 133999 clauses out of 268015 with flag 46295853/9170001
327.70/326.13	c cleaning 134998 clauses out of 270015 with flag 47014466/9306000
335.18/333.66	c cleaning 136000 clauses out of 272017 with flag 47731633/9443000
341.44/339.73	c cleaning 136999 clauses out of 274018 with flag 48422031/9581001
349.63/347.98	c cleaning 138004 clauses out of 276019 with flag 49120675/9720001
355.72/354.05	c cleaning 139000 clauses out of 278014 with flag 49819542/9860000
362.21/360.56	c cleaning 140001 clauses out of 280014 with flag 50470864/10001000
368.59/366.94	c cleaning 140997 clauses out of 282013 with flag 51166306/10143000
375.18/373.54	c cleaning 142002 clauses out of 284016 with flag 51799692/10286000
380.58/378.99	c cleaning 143000 clauses out of 286014 with flag 52493765/10430000
387.04/385.37	c cleaning 143998 clauses out of 288015 with flag 53179472/10575001
393.33/391.66	c cleaning 144999 clauses out of 290016 with flag 53842863/10721000
403.01/401.36	c cleaning 146002 clauses out of 292018 with flag 54534255/10868001
410.59/408.97	c cleaning 147002 clauses out of 294016 with flag 55219548/11016001
419.08/417.40	c cleaning 148001 clauses out of 296013 with flag 55890256/11165000
424.47/422.88	c cleaning 149001 clauses out of 298012 with flag 56601318/11315000
430.85/429.10	c cleaning 149995 clauses out of 300011 with flag 57333745/11466000
436.93/435.28	c cleaning 150997 clauses out of 302016 with flag 58066060/11618000
443.52/441.88	c cleaning 152004 clauses out of 304019 with flag 58688062/11771000
449.00/447.32	c cleaning 152998 clauses out of 306015 with flag 59353731/11925000
454.81/453.18	c cleaning 153997 clauses out of 308018 with flag 60027565/12080001
461.89/460.21	c cleaning 155002 clauses out of 310021 with flag 60745594/12236001
468.03/466.31	c cleaning 155997 clauses out of 312018 with flag 61510336/12393000
475.51/473.89	c cleaning 157003 clauses out of 314022 with flag 62293901/12551001
482.50/480.80	c cleaning 158001 clauses out of 316018 with flag 63077936/12710000
491.19/489.59	c cleaning 159000 clauses out of 318017 with flag 63849440/12870000
498.17/496.57	c cleaning 160001 clauses out of 320018 with flag 64603509/13031001
504.96/503.35	c cleaning 160999 clauses out of 322017 with flag 65345263/13193001
511.85/510.27	c cleaning 162000 clauses out of 324017 with flag 66081888/13356000
518.21/516.57	c cleaning 163001 clauses out of 326018 with flag 66848897/13520001
526.20/524.55	c cleaning 164002 clauses out of 328017 with flag 67609792/13685001
532.48/530.81	c cleaning 165001 clauses out of 330015 with flag 68360671/13851001
540.78/539.14	c cleaning 166000 clauses out of 332013 with flag 69094108/14018000
548.56/546.99	c cleaning 166999 clauses out of 334015 with flag 69874699/14186002
556.24/554.63	c cleaning 167998 clauses out of 336014 with flag 70715469/14355000
564.83/563.23	c cleaning 169002 clauses out of 338016 with flag 71493930/14525000
571.81/570.21	c cleaning 169998 clauses out of 340014 with flag 72289971/14696000
580.46/578.85	c cleaning 170998 clauses out of 342016 with flag 72992568/14868000
587.76/586.14	c cleaning 172002 clauses out of 344019 with flag 73801058/15041001
595.54/593.96	c cleaning 172999 clauses out of 346017 with flag 74615533/15215001
605.21/603.63	c cleaning 174000 clauses out of 348017 with flag 75455065/15390000
613.20/611.66	c cleaning 175002 clauses out of 350017 with flag 76339454/15566000
622.18/620.62	c cleaning 176005 clauses out of 352016 with flag 77200745/15743001
630.96/629.44	c cleaning 176998 clauses out of 354011 with flag 78076298/15921001
639.56/638.03	c cleaning 178003 clauses out of 356014 with flag 78938733/16100002
647.23/645.75	c cleaning 178996 clauses out of 358010 with flag 79810510/16280001
655.62/654.17	c cleaning 179996 clauses out of 360014 with flag 80695847/16461001
663.85/662.31	c cleaning 180999 clauses out of 362018 with flag 81580421/16643001
676.53/675.01	c cleaning 182003 clauses out of 364019 with flag 82496550/16826001
684.51/683.01	c cleaning 183002 clauses out of 366016 with flag 83389555/17010001
693.28/691.82	c cleaning 183996 clauses out of 368013 with flag 84309058/17195000
702.57/701.12	c cleaning 185002 clauses out of 370017 with flag 85254924/17381000
711.64/710.20	c cleaning 186002 clauses out of 372016 with flag 86213738/17568001
719.92/718.58	c cleaning 186997 clauses out of 374014 with flag 87121389/17756001
732.79/731.42	c cleaning 187995 clauses out of 376016 with flag 87895879/17945000
742.76/741.35	c cleaning 189004 clauses out of 378021 with flag 88750486/18135000
751.55/750.14	c cleaning 190006 clauses out of 380017 with flag 89544309/18326000
759.83/758.43	c cleaning 190999 clauses out of 382011 with flag 90395005/18518000
769.42/768.01	c cleaning 191997 clauses out of 384012 with flag 91317465/18711000
778.00/776.64	c cleaning 192998 clauses out of 386015 with flag 92189253/18905000
787.58/786.20	c cleaning 194001 clauses out of 388017 with flag 93088757/19100000
800.26/798.97	c cleaning 195001 clauses out of 390016 with flag 93982535/19296000
811.80/810.44	c cleaning 195998 clauses out of 392015 with flag 94961533/19493000
820.18/818.88	c cleaning 196998 clauses out of 394017 with flag 95874585/19691000
829.57/828.24	c cleaning 198000 clauses out of 396020 with flag 96841609/19890001
841.75/840.47	c cleaning 199000 clauses out of 398020 with flag 97799589/20090001
851.43/850.10	c cleaning 199999 clauses out of 400020 with flag 98765510/20291001
860.81/859.50	c cleaning 201003 clauses out of 402021 with flag 99688336/20493001
870.59/869.36	c cleaning 202004 clauses out of 404019 with flag 100606867/20696002
881.67/880.40	c cleaning 202998 clauses out of 406014 with flag 101695899/20900001
893.02/891.30	c cleaning 204004 clauses out of 408016 with flag 102691485/21105001
901.50/899.85	c cleaning 204998 clauses out of 410012 with flag 103570084/21311001
911.98/910.37	c cleaning 205999 clauses out of 412013 with flag 104570470/21518000
924.26/922.68	c cleaning 206997 clauses out of 414015 with flag 105587064/21726001
939.13/937.52	c cleaning 207998 clauses out of 416018 with flag 106638176/21935001
948.92/947.31	c cleaning 208998 clauses out of 418019 with flag 107540273/22145000
967.58/966.01	c cleaning 210002 clauses out of 420021 with flag 108394505/22356000
977.45/975.88	c cleaning 211000 clauses out of 422020 with flag 109382182/22568001
989.12/987.59	c cleaning 212003 clauses out of 424020 with flag 110376080/22781001
999.30/997.74	c cleaning 212997 clauses out of 426016 with flag 111398001/22995000
1017.56/1016.07	c cleaning 214000 clauses out of 428019 with flag 112439006/23210000
1031.13/1029.63	c cleaning 215004 clauses out of 430021 with flag 113446569/23426002
1042.10/1040.67	c cleaning 215995 clauses out of 432015 with flag 114467283/23643000
1055.27/1053.88	c cleaning 217002 clauses out of 434021 with flag 115538617/23861001
1067.35/1065.94	c cleaning 218002 clauses out of 436020 with flag 116545581/24080002
1079.53/1078.05	c cleaning 219005 clauses out of 438017 with flag 117593641/24300001
1094.60/1093.13	c cleaning 220001 clauses out of 440011 with flag 118678898/24521000
1109.67/1108.24	c cleaning 220993 clauses out of 442011 with flag 119808522/24743001
1130.43/1129.01	c cleaning 222000 clauses out of 444018 with flag 120988995/24966001
1151.50/1150.18	c cleaning 222996 clauses out of 446018 with flag 122198543/25190001
1172.85/1171.55	c cleaning 223994 clauses out of 448021 with flag 123380263/25415000
1191.91/1190.68	c cleaning 224997 clauses out of 450028 with flag 124579462/25641001
1211.18/1209.91	c cleaning 226000 clauses out of 452030 with flag 125792312/25868000
1235.69/1234.35	c cleaning 227003 clauses out of 454030 with flag 126990772/26096000
1258.74/1257.47	c cleaning 227999 clauses out of 456027 with flag 128171967/26325000
1280.91/1279.64	c cleaning 228998 clauses out of 458029 with flag 129383319/26555001
1303.17/1301.96	c cleaning 230000 clauses out of 460031 with flag 130605833/26786001
1316.25/1315.08	c cleaning 231006 clauses out of 462030 with flag 131801632/27018000
1334.61/1333.45	c cleaning 232001 clauses out of 464025 with flag 132978108/27251001
1349.79/1348.67	c cleaning 233001 clauses out of 466023 with flag 134152601/27485000
1364.66/1363.51	c cleaning 234000 clauses out of 468022 with flag 135323754/27720000
1381.64/1380.50	c cleaning 235001 clauses out of 470022 with flag 136538410/27956000
1399.69/1398.43	c cleaning 236004 clauses out of 472022 with flag 137748487/28193001
1416.77/1415.51	c cleaning 236998 clauses out of 474018 with flag 138947058/28431001
1433.54/1432.39	c cleaning 237999 clauses out of 476019 with flag 140151257/28670000
1451.61/1450.43	c cleaning 238997 clauses out of 478021 with flag 141362575/28910001
1471.96/1470.89	c cleaning 239997 clauses out of 480024 with flag 142576220/29151001
1487.78/1486.55	c cleaning 240998 clauses out of 482026 with flag 143795531/29393000
1505.14/1503.97	c cleaning 242001 clauses out of 484028 with flag 145020699/29636000
1521.01/1519.88	c cleaning 243000 clauses out of 486028 with flag 146251163/29880001
1537.37/1536.23	c cleaning 244004 clauses out of 488028 with flag 147482738/30125001
1551.24/1550.11	c cleaning 245006 clauses out of 490023 with flag 148715034/30371000
1568.94/1567.28	c cleaning 246003 clauses out of 492018 with flag 149780233/30618001
1589.69/1588.01	c cleaning 246995 clauses out of 494014 with flag 150782296/30866000
1603.86/1602.28	c cleaning 248002 clauses out of 496020 with flag 151932696/31115001
1618.53/1616.96	c cleaning 249001 clauses out of 498017 with flag 153102438/31365000
1633.29/1631.65	c cleaning 249996 clauses out of 500016 with flag 154314580/31616000
1647.56/1645.91	c cleaning 251006 clauses out of 502020 with flag 155451675/31868000
1662.33/1660.73	c cleaning 252001 clauses out of 504014 with flag 156642244/32121000
1677.89/1676.37	c cleaning 253000 clauses out of 506014 with flag 157833997/32375001
1691.86/1690.36	c cleaning 253997 clauses out of 508014 with flag 159007064/32630001
1706.03/1704.59	c cleaning 255000 clauses out of 510016 with flag 160265180/32886000
1722.78/1721.38	c cleaning 256000 clauses out of 512016 with flag 161455277/33143000
1737.94/1736.40	c cleaning 256998 clauses out of 514016 with flag 162695731/33401000
1753.41/1752.00	c cleaning 258003 clauses out of 516018 with flag 163877658/33660000
1768.58/1767.19	c cleaning 258998 clauses out of 518016 with flag 165064022/33920001
1784.15/1782.75	c cleaning 260003 clauses out of 520018 with flag 166310099/34181001
1801.12/1799.71	c cleaning 261001 clauses out of 522014 with flag 167499388/34443000
1819.49/1818.14	c cleaning 262001 clauses out of 524013 with flag 168759645/34706000
1837.25/1835.90	c cleaning 263002 clauses out of 526013 with flag 170003507/34970001
1852.82/1851.54	c cleaning 263996 clauses out of 528012 with flag 171195405/35235002
1870.10/1868.79	c cleaning 264998 clauses out of 530014 with flag 172363062/35501000
1885.66/1884.33	c cleaning 265998 clauses out of 532017 with flag 173558520/35768001
1900.64/1899.36	c cleaning 267002 clauses out of 534019 with flag 174846260/36036001
1916.80/1915.52	c cleaning 268003 clauses out of 536017 with flag 176078857/36305001
1934.38/1933.16	c cleaning 269002 clauses out of 538013 with flag 177312021/36575000
1949.74/1948.56	c cleaning 270002 clauses out of 540011 with flag 178631787/36846000
1967.61/1966.43	c cleaning 270997 clauses out of 542009 with flag 179891357/37118000
1987.86/1986.72	c cleaning 272002 clauses out of 544014 with flag 181142595/37391002
2005.52/2004.31	c cleaning 273001 clauses out of 546010 with flag 182396002/37665000
2021.89/2020.72	c cleaning 273996 clauses out of 548010 with flag 183740704/37940001
2047.94/2046.86	c cleaning 274998 clauses out of 550014 with flag 185156354/38216001
2077.29/2076.21	c cleaning 275995 clauses out of 552016 with flag 186577706/38493001
2096.65/2095.65	c cleaning 277004 clauses out of 554021 with flag 187829027/38771001
2113.42/2112.43	c cleaning 277999 clauses out of 556017 with flag 189062589/39050001
2132.09/2131.14	c cleaning 279002 clauses out of 558017 with flag 190332271/39330000
2151.85/2150.95	c cleaning 280001 clauses out of 560015 with flag 191563574/39611000
2171.51/2170.63	c cleaning 280998 clauses out of 562014 with flag 192835946/39893000
2188.79/2187.95	c cleaning 281997 clauses out of 564016 with flag 194079700/40176000
2206.77/2205.84	c cleaning 283010 clauses out of 566020 with flag 195370183/40460001
2226.54/2225.64	c cleaning 283999 clauses out of 568009 with flag 196659824/40745000
2246.50/2245.61	c cleaning 285000 clauses out of 570011 with flag 197981574/41031001
2266.77/2265.93	c cleaning 285996 clauses out of 572010 with flag 199287985/41318000
2286.52/2285.76	c cleaning 287006 clauses out of 574015 with flag 200622077/41606001
2304.88/2304.16	c cleaning 287999 clauses out of 576009 with flag 202044139/41895001
2325.84/2325.15	c cleaning 288999 clauses out of 578010 with flag 203436706/42185001
2347.28/2346.68	c cleaning 289996 clauses out of 580010 with flag 204722739/42476000
2366.26/2365.50	c cleaning 290998 clauses out of 582014 with flag 206030451/42768000
2386.52/2385.83	c cleaning 292002 clauses out of 584017 with flag 207396137/43061001
2405.29/2404.62	c cleaning 293004 clauses out of 586015 with flag 208781155/43355001
2430.93/2430.30	c cleaning 293998 clauses out of 588011 with flag 210225103/43650001
2449.41/2448.84	c cleaning 294996 clauses out of 590012 with flag 211538097/43946000
2468.76/2468.28	c cleaning 296001 clauses out of 592016 with flag 212874764/44243000
2490.13/2489.66	c cleaning 297001 clauses out of 594015 with flag 214239243/44541000
2511.69/2511.22	c cleaning 298000 clauses out of 596014 with flag 215644222/44840000
2532.47/2531.50	c cleaning 299001 clauses out of 598015 with flag 216994209/45140001
2555.12/2554.26	c cleaning 300001 clauses out of 600014 with flag 218342884/45441001
2573.90/2573.03	c cleaning 300996 clauses out of 602012 with flag 219817862/45743000
2595.85/2595.09	c cleaning 302000 clauses out of 604016 with flag 221308977/46046000
2617.11/2616.39	c cleaning 303000 clauses out of 606017 with flag 222731105/46350001
2638.27/2637.56	c cleaning 304003 clauses out of 608016 with flag 224116348/46655000
2659.84/2659.18	c cleaning 304997 clauses out of 610014 with flag 225479942/46961001
2683.89/2683.27	c cleaning 306001 clauses out of 612017 with flag 226889325/47268001
2701.99/2701.34	c cleaning 306997 clauses out of 614016 with flag 228323281/47576001
2724.05/2723.48	c cleaning 308003 clauses out of 616019 with flag 229763381/47885001
2746.91/2746.38	c cleaning 309002 clauses out of 618015 with flag 231198973/48195000
2769.87/2769.31	c cleaning 309994 clauses out of 620013 with flag 232636855/48506000
2791.43/2790.93	c cleaning 311000 clauses out of 622019 with flag 234174686/48818000
2815.38/2814.95	c cleaning 312003 clauses out of 624020 with flag 235593798/49131001
2838.24/2837.85	c cleaning 313004 clauses out of 626016 with flag 236984434/49445000
2861.70/2861.31	c cleaning 314000 clauses out of 628012 with flag 238369915/49760000
2884.16/2883.85	c cleaning 314999 clauses out of 630012 with flag 239782972/50076000
2909.49/2909.13	c cleaning 315999 clauses out of 632014 with flag 241212412/50393001
2930.74/2930.40	c cleaning 316998 clauses out of 634014 with flag 242727482/50711000
2953.70/2953.48	c cleaning 317994 clauses out of 636016 with flag 244225542/51030000
2975.56/2975.30	c cleaning 319008 clauses out of 638023 with flag 245717221/51350001
2996.82/2996.63	c cleaning 320002 clauses out of 640016 with flag 247181572/51671002
3021.48/3021.35	c cleaning 320999 clauses out of 642013 with flag 248643636/51993001
3044.93/3044.83	c cleaning 322001 clauses out of 644013 with flag 250127205/52316000
3071.58/3071.52	c cleaning 323000 clauses out of 646012 with flag 251496080/52640000
3095.64/3095.63	c cleaning 323998 clauses out of 648012 with flag 252990109/52965000
3116.40/3116.48	c cleaning 325002 clauses out of 650015 with flag 254405268/53291001
3142.65/3142.70	c cleaning 326003 clauses out of 652012 with flag 255915936/53618000
3167.43/3167.46	c cleaning 326994 clauses out of 654009 with flag 257424840/53946000
3199.48/3199.59	c cleaning 328000 clauses out of 656015 with flag 258814074/54275000
3226.13/3226.29	c cleaning 328994 clauses out of 658016 with flag 260224651/54605001
3254.99/3255.15	c cleaning 329997 clauses out of 660021 with flag 261668511/54936000
3277.34/3277.51	c cleaning 331002 clauses out of 662024 with flag 263231524/55268000
3303.59/3303.83	c cleaning 332004 clauses out of 664023 with flag 264739114/55601001
3331.75/3332.03	c cleaning 332997 clauses out of 666018 with flag 266305703/55935000
3359.69/3360.07	c cleaning 334004 clauses out of 668022 with flag 267857734/56270001
3385.55/3385.96	c cleaning 335003 clauses out of 670018 with flag 269342014/56606001
3410.80/3411.20	c cleaning 335998 clauses out of 672014 with flag 270781240/56943000
3439.63/3439.85	c cleaning 337005 clauses out of 674018 with flag 272200769/57281002
3466.29/3466.57	c cleaning 338000 clauses out of 676012 with flag 273762092/57620001
3492.13/3492.42	c cleaning 338998 clauses out of 678011 with flag 275313485/57960000
3516.40/3516.76	c cleaning 339998 clauses out of 680013 with flag 276844475/58301000
3541.94/3542.30	c cleaning 341000 clauses out of 682016 with flag 278401474/58643001
3567.10/3567.52	c cleaning 341998 clauses out of 684015 with flag 279965657/58986000
3593.36/3593.88	c cleaning 343001 clauses out of 686018 with flag 281553994/59330001
3600.05/3600.51	c timeout
3600.05/3600.52	c starts		: 65009
3600.05/3600.52	c conflicts		: 59522464
3600.05/3600.52	c decisions		: 78159302
3600.05/3600.52	c propagations		: 380987425
3600.05/3600.52	c inspects		: 33042749089
3600.05/3600.52	c shortcuts		: 0
3600.05/3600.52	c learnt literals	: 0
3600.05/3600.52	c learnt binary clauses	: 0
3600.05/3600.52	c learnt ternary clauses	: 8
3600.05/3600.52	c learnt constraints	: 59522464
3600.05/3600.52	c ignored constraints	: 0
3600.05/3600.52	c root simplifications	: 0
3600.05/3600.52	c removed literals (reason simplification)	: 42060933
3600.05/3600.52	c reason swapping (by a shorter reason)	: 0
3600.05/3600.52	c Calls to reduceDB	: 340
3600.05/3600.52	c Number of update (reduction) of LBD	: 5772273
3600.05/3600.52	c Imported unit clauses	: 0
3600.05/3600.52	c No decision after first conflict	: false
3600.05/3600.52	c number of reductions to clauses (during analyze)	: 0
3600.05/3600.52	c number of learned constraints concerned by reduction	: 0
3600.05/3600.52	c number of learning phase by resolution	: 0
3600.05/3600.52	c number of learning phase by cutting planes	: 0
3600.05/3600.52	c number of rounding to 1 operations	: 0
3600.05/3600.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3600.52	c number of reductions of the coefficients by power 2 	: 0
3600.05/3600.52	c number of right shift for reduction by power 2 	: 0
3600.05/3600.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3600.52	c number of ending skipping 	: 0
3600.05/3600.52	c number of internal skipping 	: 0
3600.05/3600.52	c number of derivation steps 	: 0
3600.05/3600.52	c number of skipped derivation steps 	: 0
3600.05/3600.52	c number of remaining unassigned 	: 0
3600.05/3600.52	c number of remaining assigned 	: 0
3600.05/3600.52	c number of falsified literals weakened from reason	: 0
3600.05/3600.52	c number of falsified literals weakened from conflict	: 0
3600.05/3600.52	c time for arithmetic operations	: 0
3600.05/3600.53	c minimum degree of deleted constraints	: null
3600.05/3600.53	c maximum degree of deleted constraints	: null
3600.05/3600.53	c number of deleted constraints	: 0
3600.05/3600.53	c speed (assignments/second)	: 105819.84618119399
3600.05/3600.54	c non guided choices	: 92074
3600.05/3600.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 535480
3600.19/3600.60	s UNKNOWN
3600.19/3600.60	c Total wall clock time (in seconds): 3600.467

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509868-1751194204/watcher-4509868-1751194204 -o /tmp/evaluation-result-4509868-1751194204/solver-4509868-1751194204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27853 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4509868-1751194204.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100058 s]*
/proc/loadavg: 4.13 4.14 4.04 6/339 28389
/proc/meminfo: memFree=118655476/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=18930384 memory=55624 CPUtime=0.12 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 6542 0 0 0 10 2 0 0 20 0 18 0 35098269 19384713216 13906 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4732596 13906 5368 1 0 547603 0
[pid=28371/tid=28373] ppid=28368 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 5050 0 0 0 6 1 0 0 20 0 18 0 35098270 19384713216 13906 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=18930384 memory=237112656212 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35098272 19384713216 13906 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=18930384 memory=58485492706614 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35098273 19384713216 13906 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55624 KiB

[startup+0.205713 s]*
/proc/loadavg: 4.13 4.14 4.04 7/340 28390
/proc/meminfo: memFree=118651748/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=18996948 memory=62012 CPUtime=0.31 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 7052 0 0 0 29 2 0 0 20 0 19 0 35098269 19452874752 15503 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4749237 15503 5432 1 0 548197 0
[pid=28371/tid=28373] ppid=28368 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 5290 0 0 0 15 1 0 0 20 0 19 0 35098270 19452874752 15503 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=18996948 memory=18949 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35098272 19452874752 15503 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=18996948 memory=57385981051877 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35098273 19452874752 15503 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35098288 19452874752 15503 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62012 KiB

[startup+0.306098 s]*
/proc/loadavg: 4.13 4.14 4.04 6/340 28390
/proc/meminfo: memFree=118649984/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=18996948 memory=70224 CPUtime=0.51 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 9476 0 0 0 48 3 0 0 20 0 19 0 35098269 19452874752 17556 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4749237 17556 5464 1 0 549681 0
[pid=28371/tid=28373] ppid=28368 vsize=18996948 memory=-6000919472689865837 CPUtime=0.26 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 5300 0 0 0 25 1 0 0 20 0 19 0 35098270 19452874752 17556 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35098272 19452874752 17556 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35098273 19452874752 17556 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35098288 19452874752 17556 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70224 KiB

[startup+0.700218 s]
/proc/loadavg: 4.13 4.14 4.04 6/340 28390
/proc/meminfo: memFree=118635492/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=18996948 memory=83104 CPUtime=1.27 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 11822 0 0 0 123 4 0 0 20 0 19 0 35098269 19452874752 20776 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4749237 20776 5464 1 0 551242 0
[pid=28371/tid=28373] ppid=28368 vsize=18996948 memory=17536 CPUtime=0.64 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 5343 0 0 0 63 1 0 0 20 0 19 0 35098270 19452874752 20776 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35098272 19452874752 20776 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35098273 19452874752 20776 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=18996948 memory=4756 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35098288 19452874752 20776 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83104 KiB

[startup+1.50022 s]
/proc/loadavg: 4.13 4.14 4.04 8/340 28390
/proc/meminfo: memFree=118626292/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=18996948 memory=101812 CPUtime=2.54 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 15541 0 0 0 250 4 0 0 20 0 19 0 35098269 19452874752 25453 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4749237 25453 5464 1 0 551244 0
[pid=28371/tid=28373] ppid=28368 vsize=18996948 memory=0 CPUtime=1.45 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 5638 0 0 0 143 2 0 0 20 0 19 0 35098270 19452874752 25453 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35098272 19452874752 25453 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35098273 19452874752 25453 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=18996948 memory=4756 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35098288 19452874752 25453 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101812 KiB

[startup+3.10559 s]
/proc/loadavg: 4.12 4.14 4.04 5/340 28390
/proc/meminfo: memFree=118572864/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=18996948 memory=136756 CPUtime=4.2 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 16324 0 0 0 415 5 0 0 20 0 19 0 35098269 19452874752 34189 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4749237 34189 5464 1 0 551246 0
[pid=28371/tid=28373] ppid=28368 vsize=18996948 memory=10752 CPUtime=3.04 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 5910 0 0 0 302 2 0 0 20 0 19 0 35098270 19452874752 34189 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=18996948 memory=-6000919472689865837 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35098272 19452874752 34189 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35098273 19452874752 34189 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35098288 19452874752 34189 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 136756 KiB

[startup+6.30022 s]
/proc/loadavg: 4.12 4.14 4.04 5/341 28391
/proc/meminfo: memFree=118528032/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=19063512 memory=170316 CPUtime=7.38 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 18031 0 0 0 732 6 0 0 20 0 20 0 35098269 19521036288 42579 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4765878 42579 5464 1 0 551535 0
[pid=28371/tid=28373] ppid=28368 vsize=19063512 memory=0 CPUtime=6.21 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 6202 0 0 0 618 3 0 0 20 0 20 0 35098270 19521036288 42579 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35098272 19521036288 42579 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 35098273 19521036288 42579 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=19063512 memory=106036 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35098288 19521036288 42579 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 7.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170316 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.04 5/341 28391
/proc/meminfo: memFree=118392864/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=19063512 memory=178548 CPUtime=13.78 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 19936 0 0 0 1371 7 0 0 20 0 20 0 35098269 19521036288 44637 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4765878 44637 5464 1 0 551535 0
[pid=28371/tid=28373] ppid=28368 vsize=19063512 memory=106036 CPUtime=12.58 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 6867 0 0 0 1255 3 0 0 20 0 20 0 35098270 19521036288 44637 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=19063512 memory=178548 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35098272 19521036288 44637 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 35098273 19521036288 44637 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35098288 19521036288 44637 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 13.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178548 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.13 4.04 5/341 28391
/proc/meminfo: memFree=118327084/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=19063512 memory=242436 CPUtime=26.61 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 21416 0 0 0 2653 8 0 0 20 0 20 0 35098269 19521036288 60609 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4765878 60609 5496 1 0 551535 0
[pid=28371/tid=28373] ppid=28368 vsize=19063512 memory=178548 CPUtime=25.28 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 7254 0 0 0 2525 3 0 0 20 0 20 0 35098270 19521036288 60609 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35098272 19521036288 60609 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=19063512 memory=-6000919472689865837 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 35098273 19521036288 60609 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35098288 19521036288 60609 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 26.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 242436 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.14 4.04 5/341 28392
/proc/meminfo: memFree=118142820/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=19063512 memory=420688 CPUtime=52.32 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 22400 0 0 0 5219 13 0 0 20 0 20 0 35098269 19521036288 105172 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4765878 105172 5496 1 0 551535 0
[pid=28371/tid=28373] ppid=28368 vsize=19063512 memory=14848 CPUtime=50.66 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/341 28764
/proc/meminfo: memFree=122382428/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=19063512 memory=2169464 CPUtime=3282.13 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 84650 0 0 0 328085 128 0 0 20 0 20 0 35098269 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4765878 542366 5496 1 0 555541 0
[pid=28371/tid=28373] ppid=28368 vsize=19063512 memory=2169464 CPUtime=3270.98 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 37179 0 0 0 327082 16 0 0 20 0 20 0 35098270 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=19063512 memory=2167928 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35098272 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=19063512 memory=2169464 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 920 0 0 0 0 0 0 0 20 0 20 0 35098273 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=19063512 memory=2169464 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35098288 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 3282.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/341 28766
/proc/meminfo: memFree=122323044/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=19063512 memory=2169464 CPUtime=3342.02 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 85250 0 0 0 334073 129 0 0 20 0 20 0 35098269 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4765878 542366 5496 1 0 555541 0
[pid=28371/tid=28373] ppid=28368 vsize=19063512 memory=2169464 CPUtime=3330.85 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 37710 0 0 0 333069 16 0 0 20 0 20 0 35098270 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35098272 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 936 0 0 0 0 0 0 0 20 0 20 0 35098273 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35098288 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 3342.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/340 28768
/proc/meminfo: memFree=122283368/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=19063512 memory=2169464 CPUtime=3401.92 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 85642 0 0 0 340062 130 0 0 20 0 20 0 35098269 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4765878 542366 5496 1 0 555548 0
[pid=28371/tid=28373] ppid=28368 vsize=19063512 memory=2169464 CPUtime=3390.72 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 37881 0 0 0 339056 16 0 0 20 0 20 0 35098270 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=19063512 memory=2169464 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35098272 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=19063512 memory=2169464 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 937 0 0 0 0 0 0 0 20 0 20 0 35098273 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=19063512 memory=2169464 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35098288 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 3401.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/340 28770
/proc/meminfo: memFree=122229764/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=19063512 memory=2169464 CPUtime=3462.08 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 86432 0 0 0 346077 131 0 0 20 0 20 0 35098269 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4765878 542366 5496 1 0 555549 0
[pid=28371/tid=28373] ppid=28368 vsize=19063512 memory=2169464 CPUtime=3450.32 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 37964 0 0 0 345016 16 0 0 20 0 20 0 35098270 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35098272 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=19063512 memory=2169464 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 938 0 0 0 0 0 0 0 20 0 20 0 35098273 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35098288 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 3462.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169464 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/340 28772
/proc/meminfo: memFree=122180464/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=19063512 memory=2169464 CPUtime=3521.98 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 87066 0 0 0 352065 133 0 0 20 0 20 0 35098269 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4765878 542366 5496 1 0 555549 0
[pid=28371/tid=28373] ppid=28368 vsize=19063512 memory=-6000919472689865837 CPUtime=3510.19 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 38551 0 0 0 351003 16 0 0 20 0 20 0 35098270 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=19063512 memory=2169464 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35098272 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 938 0 0 0 0 0 0 0 20 0 20 0 35098273 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=19063512 memory=2169464 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35098288 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 3521.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/340 28780
/proc/meminfo: memFree=122122788/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=19063512 memory=2169464 CPUtime=3581.88 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 87968 0 0 0 358053 135 0 0 20 0 20 0 35098269 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4765878 542366 5496 1 0 555549 0
[pid=28371/tid=28373] ppid=28368 vsize=19063512 memory=10752 CPUtime=3570.06 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 39391 0 0 0 356989 17 0 0 20 0 20 0 35098270 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35098272 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=19063512 memory=2169464 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 956 0 0 0 0 0 0 0 20 0 20 0 35098273 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=19063512 memory=26648 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35098288 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 3581.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169464 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.5 s]
/proc/loadavg: 4.11 4.09 4.09 5/340 28780
/proc/meminfo: memFree=122106424/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=19063512 memory=2169464 CPUtime=3600.05 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 88096 0 0 0 359870 135 0 0 20 0 20 0 35098269 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4765878 542366 5496 1 0 555549 0
[pid=28371/tid=28373] ppid=28368 vsize=19063512 memory=5632 CPUtime=3588.22 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) R 28368 28371 27841 0 -1 4194368 39510 0 0 0 358805 17 0 0 20 0 20 0 35098270 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35098272 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=19063512 memory=2167928 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 956 0 0 0 0 0 0 0 20 0 20 0 35098273 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28390] ppid=28368 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/28371/task/28390/stat : 28390 (Timer-0) S 28368 28371 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35098288 19521036288 542366 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169464 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.85 s, system=1.36251 s

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

[startup+3600.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/340 28780
/proc/meminfo: memFree=122106424/131249996 swapFree=33010684/33010684
[pid=28371] ppid=28368 vsize=19263204 memory=2170360 CPUtime=3600.19 cores=1,3
/proc/28371/stat : 28371 (java) S 28368 28371 27841 0 -1 4194304 89648 0 0 0 359884 135 0 0 20 0 21 0 35098269 19725520896 542590 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
/proc/28371/statm: 4815801 542590 5528 1 0 556487 0
[pid=28371/tid=28373] ppid=28368 vsize=19263204 memory=-6000919472689865837 CPUtime=3588.24 cores=1,3
/proc/28371/task/28373/stat : 28373 (java) S 28368 28371 27841 0 -1 4194368 39687 0 0 0 358807 17 0 0 20 0 21 0 35098270 19725520896 542590 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28382] ppid=28368 vsize=19263204 memory=46336 CPUtime=0 cores=1,3
/proc/28371/task/28382/stat : 28382 (Finalizer) S 28368 28371 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35098272 19725520896 542590 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
[pid=28371/tid=28389] ppid=28368 vsize=19263204 memory=12544 CPUtime=0 cores=1,3
/proc/28371/task/28389/stat : 28389 (Common-Cleaner) S 28368 28371 27841 0 -1 4194368 956 0 0 0 0 0 0 0 20 0 21 0 35098273 19725520896 542590 18446744073709551615 94598020808704 94598020812400 140723043494816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94598020820216 94598020821008 94598051708928 140723043502465 140723043502566 140723043502566 140723043508168 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2170360 KiB

Child status: 143

Real time (s): 3600.61
CPU time (s): 3600.21
CPU user time (s): 3598.85
CPU system time (s): 1.36251
CPU usage (%): 99.9887
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2170360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.85
system time used= 1.36251
maximum resident set size= 2170488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104136
involuntary context switches= 3521


# summary of solver processes directly reported to runsolver:
#   pid: 28371
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3598.85
#   total CPU system time (s): 1.36251

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5803 second user time and 13.811 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 12:50:04
IDJOB=4509868
IDBENCH=159141
IDSOLVER=3363
FILE ID=nodeC024/4509868-1751194204
RUNJOBID= nodeC024-1751191546-27853
SLURM_JOB_ID= 9587580
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-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-4509868-1751194204/watcher-4509868-1751194204 -o /tmp/evaluation-result-4509868-1751194204/solver-4509868-1751194204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27853 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4509868-1751194204.opb

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

MD5SUM BENCH= fdfc61e25e9264eb2f8645fd8f162aaa
RANDOM SEED=214865886

nodeC024 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.671
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.36
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.670
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.36
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		: 3606.527
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.36
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		: 3598.454
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.36
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.690
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.36
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.684
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.36
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		: 3599.980
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.36
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		: 3589.858
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        118678904 kB
MemAvailable:   118359000 kB
Buffers:            3280 kB
Cached:           489832 kB
SwapCached:            0 kB
Active:         11746220 kB
Inactive:         235272 kB
Active(anon):   11506444 kB
Inactive(anon):        0 kB
Active(file):     239776 kB
Inactive(file):   235272 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               716 kB
Writeback:            16 kB
AnonPages:      11490960 kB
Mapped:           122504 kB
Shmem:             18064 kB
KReclaimable:      88176 kB
Slab:             175116 kB
SReclaimable:      88176 kB
SUnreclaim:        86940 kB
KernelStack:        5216 kB
PageTables:        26176 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   14713424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11171840 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC024 at 2025-06-29 13:50:04