Trace number 4509156

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)1183 3600.34 3595.25

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-40.lin.opb
MD5SUM38f4f8acf083ab1c186c19b7f9dc1b90
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1183
Best CPU time to get the best result obtained on this benchmark94.7223
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2460
Total number of constraints4720
Number of constraints which are clauses2340
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints2340
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 2340
Biggest coefficient in the objective function 39
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 31980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 31980
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.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.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4509156-1751515944.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  objective function found
0.30/0.25	c ... done. Wall clock time 0.105s.
0.30/0.25	c declared #vars     2460
0.30/0.25	c #constraints  4760
0.30/0.25	c constraints type 
0.30/0.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 40
0.30/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2340
0.30/0.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2380
0.30/0.25	c 4760 constraints processed.
0.30/0.27	c objective function length is 2340 literals
0.49/0.33	c SATISFIABLE
0.49/0.33	c OPTIMIZING...
0.49/0.33	c Got one! Elapsed wall clock time (in seconds):0.191
0.49/0.33	o 2908
0.49/0.38	c Got one! Elapsed wall clock time (in seconds):0.242
0.49/0.38	o 1183
1.64/0.92	c cleaning 2577 clauses out of 5168 with flag 11421/5168
2.12/1.31	c cleaning 4290 clauses out of 8591 with flag 24611/11168
2.61/1.78	c cleaning 5646 clauses out of 11301 with flag 40360/18168
3.40/2.35	c cleaning 6821 clauses out of 13656 with flag 58376/26169
4.00/2.94	c cleaning 7913 clauses out of 15835 with flag 77962/35169
4.71/3.61	c cleaning 8957 clauses out of 17923 with flag 99674/45170
5.45/4.36	c cleaning 9975 clauses out of 19964 with flag 123547/56168
6.36/5.22	c cleaning 10990 clauses out of 21993 with flag 150439/68172
7.17/6.10	c cleaning 11989 clauses out of 23999 with flag 179102/81168
8.17/7.04	c cleaning 13001 clauses out of 26012 with flag 210137/95170
9.18/8.01	c cleaning 13999 clauses out of 28010 with flag 243827/110169
10.24/9.07	c cleaning 15000 clauses out of 30012 with flag 279501/126170
11.43/10.18	c cleaning 16001 clauses out of 32010 with flag 317076/143168
12.64/11.35	c cleaning 16999 clauses out of 34009 with flag 356392/161168
13.84/12.56	c cleaning 18006 clauses out of 36011 with flag 397647/180169
15.14/13.87	c cleaning 18993 clauses out of 38004 with flag 441268/200168
16.46/15.19	c cleaning 20004 clauses out of 40012 with flag 488320/221169
17.95/16.62	c cleaning 21001 clauses out of 42007 with flag 536140/243168
19.46/18.12	c cleaning 22001 clauses out of 44006 with flag 586501/266168
21.05/19.72	c cleaning 23001 clauses out of 46005 with flag 639814/290168
22.76/21.40	c cleaning 23997 clauses out of 48004 with flag 694565/315168
24.36/23.04	c cleaning 24999 clauses out of 50007 with flag 751211/341168
26.05/24.75	c cleaning 26001 clauses out of 52009 with flag 809249/368169
27.88/26.56	c cleaning 26996 clauses out of 54007 with flag 869834/396168
29.58/28.28	c cleaning 28004 clauses out of 56013 with flag 932519/425170
31.48/30.13	c cleaning 29000 clauses out of 58007 with flag 996939/455168
33.50/32.10	c cleaning 30000 clauses out of 60007 with flag 1063532/486168
35.29/33.96	c cleaning 31001 clauses out of 62007 with flag 1133184/518168
37.29/35.96	c cleaning 31998 clauses out of 64006 with flag 1202681/551168
39.38/38.06	c cleaning 32997 clauses out of 66008 with flag 1274669/585168
41.77/40.46	c cleaning 34004 clauses out of 68013 with flag 1348112/620170
44.07/42.71	c cleaning 35004 clauses out of 70007 with flag 1424425/656168
46.17/44.85	c cleaning 36001 clauses out of 72004 with flag 1504191/693169
48.59/47.23	c cleaning 37001 clauses out of 74002 with flag 1585473/731168
51.09/49.78	c cleaning 37995 clauses out of 76001 with flag 1667649/770168
53.92/52.56	c cleaning 38994 clauses out of 78006 with flag 1753269/810168
56.72/55.39	c cleaning 40003 clauses out of 80013 with flag 1840770/851169
59.42/58.02	c cleaning 41003 clauses out of 82009 with flag 1930546/893168
62.13/60.72	c cleaning 42004 clauses out of 84007 with flag 2022455/936169
64.92/63.59	c cleaning 42998 clauses out of 86003 with flag 2116451/980169
67.84/66.43	c cleaning 43997 clauses out of 88004 with flag 2212085/1025168
70.73/69.39	c cleaning 45004 clauses out of 90008 with flag 2309065/1071169
73.63/72.26	c cleaning 46000 clauses out of 92003 with flag 2407647/1118168
76.76/75.32	c cleaning 46996 clauses out of 94004 with flag 2510370/1166169
79.86/78.49	c cleaning 47998 clauses out of 96007 with flag 2616049/1215168
83.05/81.66	c cleaning 49001 clauses out of 98009 with flag 2721762/1265168
86.24/84.84	c cleaning 50005 clauses out of 100009 with flag 2828683/1316169
89.57/88.15	c cleaning 50997 clauses out of 102003 with flag 2939892/1368168
92.86/91.49	c cleaning 52004 clauses out of 104007 with flag 3053069/1421169
96.25/94.87	c cleaning 52998 clauses out of 106002 with flag 3168094/1475168
99.78/98.38	c cleaning 53994 clauses out of 108004 with flag 3286777/1530168
103.39/101.89	c cleaning 55000 clauses out of 110010 with flag 3405886/1586168
107.18/105.67	c cleaning 56000 clauses out of 112011 with flag 3526115/1643169
110.58/109.01	c cleaning 57005 clauses out of 114010 with flag 3647747/1701168
114.21/112.67	c cleaning 58001 clauses out of 116005 with flag 3775620/1760168
117.80/116.28	c cleaning 58997 clauses out of 118005 with flag 3906241/1820169
121.70/120.17	c cleaning 59998 clauses out of 120008 with flag 4039094/1881169
125.59/124.09	c cleaning 60998 clauses out of 122009 with flag 4170293/1943168
130.23/128.62	c cleaning 62006 clauses out of 124014 with flag 4306863/2006171
134.53/132.93	c cleaning 62998 clauses out of 126006 with flag 4444734/2070169
138.72/137.19	c cleaning 63999 clauses out of 128008 with flag 4581342/2135169
143.11/141.59	c cleaning 65000 clauses out of 130008 with flag 4720334/2201168
147.49/145.99	c cleaning 66000 clauses out of 132008 with flag 4862859/2268168
151.95/150.39	c cleaning 67002 clauses out of 134009 with flag 5007043/2336169
156.24/154.60	c cleaning 67999 clauses out of 136007 with flag 5151088/2405169
160.74/159.16	c cleaning 69000 clauses out of 138007 with flag 5298684/2475168
165.22/163.64	c cleaning 70001 clauses out of 140008 with flag 5450869/2546169
169.99/168.37	c cleaning 70999 clauses out of 142007 with flag 5602866/2618169
175.36/173.71	c cleaning 72002 clauses out of 144007 with flag 5759169/2691168
179.76/178.18	c cleaning 72994 clauses out of 146005 with flag 5915198/2765168
184.74/183.16	c cleaning 74003 clauses out of 148011 with flag 6073015/2840168
190.22/188.62	c cleaning 74995 clauses out of 150008 with flag 6234886/2916168
195.99/194.40	c cleaning 76003 clauses out of 152013 with flag 6398732/2993168
201.18/199.50	c cleaning 76998 clauses out of 154011 with flag 6562939/3071169
206.17/204.58	c cleaning 78003 clauses out of 156012 with flag 6729106/3150168
211.15/209.54	c cleaning 79002 clauses out of 158010 with flag 6896530/3230169
216.34/214.70	c cleaning 79999 clauses out of 160009 with flag 7069607/3311170
222.29/220.66	c cleaning 81000 clauses out of 162008 with flag 7244782/3393168
227.57/225.93	c cleaning 81997 clauses out of 164008 with flag 7421742/3476168
232.97/231.34	c cleaning 83003 clauses out of 166011 with flag 7598672/3560168
238.86/237.27	c cleaning 84002 clauses out of 168009 with flag 7779473/3645169
244.94/243.30	c cleaning 85000 clauses out of 170007 with flag 7964374/3731169
250.52/248.97	c cleaning 85994 clauses out of 172006 with flag 8145404/3818168
256.21/254.53	c cleaning 86999 clauses out of 174012 with flag 8329727/3906168
261.70/260.06	c cleaning 88006 clauses out of 176014 with flag 8514413/3995169
267.69/266.07	c cleaning 88998 clauses out of 178008 with flag 8702068/4085169
273.57/271.99	c cleaning 90003 clauses out of 180009 with flag 8891952/4176168
279.26/277.63	c cleaning 90996 clauses out of 182007 with flag 9082464/4268169
285.75/284.15	c cleaning 92001 clauses out of 184010 with flag 9278874/4361168
292.19/290.29	c cleaning 93001 clauses out of 186009 with flag 9479144/4455168
298.27/296.33	c cleaning 94000 clauses out of 188008 with flag 9675348/4550168
304.07/302.12	c cleaning 95001 clauses out of 190009 with flag 9873368/4646169
310.15/308.21	c cleaning 96002 clauses out of 192008 with flag 10073724/4743169
316.23/314.33	c cleaning 97003 clauses out of 194005 with flag 10277653/4841168
322.11/320.12	c cleaning 97997 clauses out of 196002 with flag 10481505/4940168
328.19/326.25	c cleaning 99004 clauses out of 198007 with flag 10687720/5040170
335.07/333.12	c cleaning 99999 clauses out of 200001 with flag 10895332/5141168
341.84/339.92	c cleaning 100996 clauses out of 202002 with flag 11105275/5243168
348.03/346.12	c cleaning 102002 clauses out of 204006 with flag 11316234/5346168
354.31/352.45	c cleaning 103000 clauses out of 206004 with flag 11529642/5450168
360.91/358.93	c cleaning 103995 clauses out of 208004 with flag 11745086/5555168
367.10/365.19	c cleaning 105002 clauses out of 210009 with flag 11960961/5661168
373.88/371.98	c cleaning 105998 clauses out of 212007 with flag 12180883/5768168
380.86/378.90	c cleaning 106998 clauses out of 214009 with flag 12405020/5876168
387.45/385.58	c cleaning 108002 clauses out of 216012 with flag 12631501/5985169
394.63/392.74	c cleaning 109000 clauses out of 218009 with flag 12865718/6095168
402.11/400.13	c cleaning 109994 clauses out of 220010 with flag 13098447/6206169
409.29/407.30	c cleaning 111007 clauses out of 222016 with flag 13330422/6318169
416.37/414.46	c cleaning 111996 clauses out of 224008 with flag 13565071/6431168
423.56/421.61	c cleaning 113001 clauses out of 226012 with flag 13804262/6545168
431.04/429.14	c cleaning 114000 clauses out of 228013 with flag 14046043/6660170
438.62/436.64	c cleaning 114994 clauses out of 230011 with flag 14288965/6776168
445.30/443.36	c cleaning 116004 clauses out of 232017 with flag 14530871/6893168
452.49/450.55	c cleaning 117004 clauses out of 234015 with flag 14775802/7011170
459.57/457.61	c cleaning 118003 clauses out of 236009 with flag 15024058/7130168
466.86/465.00	c cleaning 118997 clauses out of 238007 with flag 15277493/7250169
474.33/472.35	c cleaning 120002 clauses out of 240009 with flag 15533652/7371168
481.71/479.71	c cleaning 121002 clauses out of 242008 with flag 15787643/7493169
489.40/487.47	c cleaning 122000 clauses out of 244005 with flag 16049172/7616168
497.48/495.51	c cleaning 123002 clauses out of 246005 with flag 16302122/7740168
505.36/503.42	c cleaning 123998 clauses out of 248005 with flag 16560496/7865170
513.14/511.29	c cleaning 124996 clauses out of 250005 with flag 16824145/7991168
521.84/519.89	c cleaning 125996 clauses out of 252009 with flag 17096971/8118168
531.52/529.58	c cleaning 126999 clauses out of 254013 with flag 17376333/8246168
540.69/538.70	c cleaning 127997 clauses out of 256014 with flag 17650525/8375168
548.78/546.82	c cleaning 129007 clauses out of 258017 with flag 17924587/8505168
556.86/554.96	c cleaning 130001 clauses out of 260010 with flag 18191209/8636168
564.85/562.87	c cleaning 131005 clauses out of 262010 with flag 18459474/8768169
573.04/571.01	c cleaning 132002 clauses out of 264005 with flag 18729534/8901169
581.02/579.00	c cleaning 132996 clauses out of 266003 with flag 19003418/9035169
589.30/587.31	c cleaning 134003 clauses out of 268008 with flag 19278201/9170170
597.78/595.80	c cleaning 135002 clauses out of 270003 with flag 19554828/9306168
606.46/604.50	c cleaning 135989 clauses out of 272001 with flag 19833801/9443168
616.19/613.89	c cleaning 137002 clauses out of 274013 with flag 20120029/9581169
625.17/622.82	c cleaning 137997 clauses out of 276011 with flag 20405217/9720169
634.54/632.20	c cleaning 139000 clauses out of 278013 with flag 20693686/9860168
643.72/641.45	c cleaning 139998 clauses out of 280013 with flag 20983907/10001168
652.70/650.50	c cleaning 141002 clauses out of 282016 with flag 21273617/10143169
661.55/659.29	c cleaning 141999 clauses out of 284013 with flag 21566303/10286168
671.44/669.15	c cleaning 143002 clauses out of 286014 with flag 21860662/10430168
680.61/678.36	c cleaning 144003 clauses out of 288013 with flag 22156625/10575169
689.49/687.24	c cleaning 144996 clauses out of 290009 with flag 22454239/10721168
699.07/696.86	c cleaning 145999 clauses out of 292014 with flag 22754200/10868169
708.75/706.56	c cleaning 147001 clauses out of 294014 with flag 23058126/11016168
717.92/715.67	c cleaning 148000 clauses out of 296013 with flag 23362133/11165168
727.20/724.93	c cleaning 149000 clauses out of 298013 with flag 23672432/11315168
737.48/735.29	c cleaning 149998 clauses out of 300014 with flag 23990198/11466169
747.46/745.28	c cleaning 151005 clauses out of 302015 with flag 24307827/11618168
757.24/755.01	c cleaning 152000 clauses out of 304010 with flag 24626890/11771168
767.01/764.81	c cleaning 152999 clauses out of 306010 with flag 24942848/11925168
776.82/774.58	c cleaning 154004 clauses out of 308012 with flag 25260211/12080169
786.70/784.43	c cleaning 155001 clauses out of 310008 with flag 25580404/12236169
796.67/794.40	c cleaning 155999 clauses out of 312006 with flag 25902015/12393168
806.56/804.36	c cleaning 157004 clauses out of 314007 with flag 26226981/12551168
816.54/814.31	c cleaning 158000 clauses out of 316004 with flag 26553547/12710169
826.81/824.66	c cleaning 158999 clauses out of 318004 with flag 26881739/12870169
837.09/834.91	c cleaning 159996 clauses out of 320005 with flag 27212399/13031169
848.06/845.96	c cleaning 160996 clauses out of 322008 with flag 27544294/13193168
858.56/856.38	c cleaning 162007 clauses out of 324013 with flag 27881919/13356169
869.14/866.94	c cleaning 163002 clauses out of 326005 with flag 28218762/13520168
880.21/878.02	c cleaning 163999 clauses out of 328003 with flag 28558473/13685168
891.09/888.98	c cleaning 164998 clauses out of 330007 with flag 28898824/13851171
901.97/899.88	c cleaning 166002 clauses out of 332007 with flag 29241248/14018169
914.24/912.13	c cleaning 166994 clauses out of 334004 with flag 29587633/14186168
926.43/924.22	c cleaning 168001 clauses out of 336011 with flag 29935262/14355169
937.21/935.03	c cleaning 168998 clauses out of 338010 with flag 30284694/14525169
948.48/946.36	c cleaning 170001 clauses out of 340011 with flag 30634059/14696168
959.27/957.18	c cleaning 170999 clauses out of 342011 with flag 30984629/14868169
971.43/969.32	c cleaning 172004 clauses out of 344012 with flag 31339889/15041169
984.80/982.79	c cleaning 172998 clauses out of 346008 with flag 31698327/15215169
995.62/993.45	c cleaning 174002 clauses out of 348009 with flag 32055231/15390168
1006.71/1004.55	c cleaning 174998 clauses out of 350007 with flag 32413494/15566168
1018.48/1016.30	c cleaning 175999 clauses out of 352009 with flag 32775525/15743168
1030.35/1028.24	c cleaning 177002 clauses out of 354012 with flag 33139125/15921170
1042.90/1040.11	c cleaning 178001 clauses out of 356008 with flag 33504402/16100168
1056.47/1053.78	c cleaning 179003 clauses out of 358008 with flag 33871275/16280169
1068.14/1065.43	c cleaning 180001 clauses out of 360004 with flag 34241595/16461168
1079.72/1077.01	c cleaning 180998 clauses out of 362003 with flag 34613047/16643168
1091.18/1088.43	c cleaning 181999 clauses out of 364005 with flag 34985880/16826168
1102.46/1099.77	c cleaning 182999 clauses out of 366007 with flag 35358490/17010169
1114.53/1111.81	c cleaning 184002 clauses out of 368008 with flag 35733925/17195169
1126.30/1123.66	c cleaning 185003 clauses out of 370006 with flag 36110738/17381169
1138.97/1136.32	c cleaning 185996 clauses out of 372003 with flag 36488822/17568169
1152.37/1149.62	c cleaning 187000 clauses out of 374007 with flag 36869846/17756169
1164.84/1162.11	c cleaning 188003 clauses out of 376007 with flag 37276381/17945169
1179.01/1176.38	c cleaning 189001 clauses out of 378004 with flag 37674563/18135169
1191.89/1189.23	c cleaning 190002 clauses out of 380003 with flag 38066753/18326169
1204.06/1201.46	c cleaning 190996 clauses out of 382000 with flag 38455236/18518168
1217.34/1214.67	c cleaning 191996 clauses out of 384006 with flag 38850094/18711170
1230.51/1227.87	c cleaning 192992 clauses out of 386009 with flag 39250860/18905169
1243.97/1241.38	c cleaning 193998 clauses out of 388018 with flag 39654201/19100170
1256.14/1253.53	c cleaning 195007 clauses out of 390019 with flag 40059840/19296169
1269.51/1266.90	c cleaning 196002 clauses out of 392011 with flag 40463570/19493168
1282.28/1279.68	c cleaning 197003 clauses out of 394009 with flag 40870119/19691168
1294.65/1292.05	c cleaning 197997 clauses out of 396006 with flag 41275236/19890168
1308.12/1305.58	c cleaning 198997 clauses out of 398009 with flag 41688627/20090168
1320.29/1317.70	c cleaning 200003 clauses out of 400012 with flag 42100554/20291168
1333.06/1330.55	c cleaning 200998 clauses out of 402010 with flag 42513772/20493169
1346.42/1343.71	c cleaning 201999 clauses out of 404012 with flag 42930978/20696169
1361.09/1358.49	c cleaning 203003 clauses out of 406012 with flag 43355602/20900168
1374.76/1372.19	c cleaning 204001 clauses out of 408009 with flag 43782587/21105168
1388.23/1385.62	c cleaning 205003 clauses out of 410009 with flag 44207767/21311169
1402.02/1398.88	c cleaning 205996 clauses out of 412006 with flag 44633618/21518169
1416.19/1413.04	c cleaning 207001 clauses out of 414014 with flag 45062252/21726173
1431.46/1428.30	c cleaning 207998 clauses out of 416010 with flag 45487312/21935170
1445.61/1442.43	c cleaning 209001 clauses out of 418011 with flag 45913202/22145169
1459.87/1456.77	c cleaning 209997 clauses out of 420010 with flag 46346122/22356169
1474.64/1471.53	c cleaning 210998 clauses out of 422013 with flag 46776528/22568169
1489.10/1486.07	c cleaning 212003 clauses out of 424015 with flag 47208889/22781169
1503.77/1500.65	c cleaning 213004 clauses out of 426011 with flag 47643869/22995168
1517.44/1514.30	c cleaning 213996 clauses out of 428008 with flag 48083939/23210169
1532.40/1529.33	c cleaning 215000 clauses out of 430011 with flag 48529034/23426168
1548.36/1545.38	c cleaning 216005 clauses out of 432011 with flag 48977569/23643168
1565.37/1562.20	c cleaning 216998 clauses out of 434006 with flag 49427619/23861168
1579.34/1576.26	c cleaning 218000 clauses out of 436009 with flag 49879951/24080169
1594.12/1591.07	c cleaning 218994 clauses out of 438008 with flag 50334474/24300168
1610.37/1607.39	c cleaning 220002 clauses out of 440014 with flag 50793468/24521168
1625.44/1622.45	c cleaning 221000 clauses out of 442012 with flag 51248235/24743168
1640.13/1637.04	c cleaning 221999 clauses out of 444012 with flag 51703509/24966168
1655.59/1652.50	c cleaning 222999 clauses out of 446013 with flag 52162594/25190168
1671.35/1668.33	c cleaning 224004 clauses out of 448016 with flag 52627453/25415170
1686.22/1683.21	c cleaning 224998 clauses out of 450011 with flag 53092347/25641169
1702.91/1699.82	c cleaning 226004 clauses out of 452014 with flag 53559677/25868170
1718.08/1715.07	c cleaning 227001 clauses out of 454009 with flag 54028349/26096169
1732.84/1729.80	c cleaning 228003 clauses out of 456007 with flag 54498870/26325168
1748.31/1745.33	c cleaning 228997 clauses out of 458004 with flag 54975650/26555168
1764.25/1761.29	c cleaning 229997 clauses out of 460008 with flag 55451612/26786169
1779.61/1776.68	c cleaning 230998 clauses out of 462011 with flag 55925587/27018169
1797.57/1794.69	c cleaning 232002 clauses out of 464012 with flag 56404380/27251168
1814.42/1810.85	c cleaning 232999 clauses out of 466011 with flag 56883912/27485169
1829.88/1826.38	c cleaning 234000 clauses out of 468011 with flag 57364084/27720168
1845.45/1841.93	c cleaning 235000 clauses out of 470012 with flag 57847304/27956169
1863.30/1859.76	c cleaning 235997 clauses out of 472012 with flag 58337578/28193169
1881.75/1878.21	c cleaning 237000 clauses out of 474015 with flag 58836734/28431169
1896.41/1892.98	c cleaning 238001 clauses out of 476014 with flag 59327233/28670168
1915.87/1912.43	c cleaning 238997 clauses out of 478017 with flag 59864562/28910172
1937.71/1934.22	c cleaning 240001 clauses out of 480016 with flag 60429919/29151168
1955.77/1952.31	c cleaning 241004 clauses out of 482015 with flag 60941555/29393168
1971.83/1968.42	c cleaning 242002 clauses out of 484011 with flag 61443112/29636168
1987.20/1983.85	c cleaning 242999 clauses out of 486009 with flag 61942509/29880168
2005.30/2001.83	c cleaning 244003 clauses out of 488012 with flag 62446673/30125170
2022.76/2019.35	c cleaning 244997 clauses out of 490008 with flag 62957654/30371169
2040.72/2037.32	c cleaning 246002 clauses out of 492012 with flag 63472658/30618170
2058.69/2055.35	c cleaning 246997 clauses out of 494008 with flag 63994844/30866168
2081.36/2077.99	c cleaning 248005 clauses out of 496012 with flag 64521713/31115169
2097.62/2094.30	c cleaning 248997 clauses out of 498007 with flag 65034731/31365169
2114.99/2111.63	c cleaning 249995 clauses out of 500009 with flag 65545978/31616168
2132.15/2128.85	c cleaning 251001 clauses out of 502014 with flag 66064672/31868168
2150.55/2147.18	c cleaning 252000 clauses out of 504013 with flag 66603560/32121168
2167.60/2164.25	c cleaning 253002 clauses out of 506013 with flag 67127994/32375168
2185.27/2181.95	c cleaning 254002 clauses out of 508011 with flag 67644489/32630168
2201.74/2198.37	c cleaning 254999 clauses out of 510010 with flag 68164739/32886169
2218.80/2215.45	c cleaning 255999 clauses out of 512010 with flag 68686273/33143168
2238.16/2234.85	c cleaning 256999 clauses out of 514012 with flag 69212237/33401169
2260.04/2256.16	c cleaning 257998 clauses out of 516012 with flag 69744797/33660168
2278.30/2274.49	c cleaning 259000 clauses out of 518015 with flag 70280211/33920169
2295.96/2292.16	c cleaning 260001 clauses out of 520015 with flag 70814445/34181169
2314.00/2310.11	c cleaning 261001 clauses out of 522014 with flag 71349604/34443169
2331.76/2327.96	c cleaning 262003 clauses out of 524013 with flag 71888094/34706169
2351.11/2347.35	c cleaning 262997 clauses out of 526009 with flag 72427486/34970168
2370.68/2366.80	c cleaning 264002 clauses out of 528012 with flag 72969379/35235168
2388.94/2385.11	c cleaning 265003 clauses out of 530010 with flag 73512948/35501168
2406.91/2403.17	c cleaning 265998 clauses out of 532008 with flag 74057178/35768169
2426.28/2422.40	c cleaning 267003 clauses out of 534011 with flag 74603701/36036170
2444.94/2441.16	c cleaning 267996 clauses out of 536007 with flag 75152559/36305169
2463.50/2459.72	c cleaning 268997 clauses out of 538010 with flag 75705148/36575168
2481.47/2477.72	c cleaning 270002 clauses out of 540013 with flag 76259795/36846168
2504.90/2501.13	c cleaning 271002 clauses out of 542013 with flag 76818846/37118170
2523.65/2519.95	c cleaning 272004 clauses out of 544010 with flag 77375840/37391169
2544.31/2540.60	c cleaning 272999 clauses out of 546006 with flag 77934213/37665169
2563.17/2559.57	c cleaning 274001 clauses out of 548006 with flag 78493181/37940168
2581.84/2578.14	c cleaning 274998 clauses out of 550006 with flag 79057475/38216169
2603.99/2600.37	c cleaning 276000 clauses out of 552008 with flag 79630681/38493169
2622.24/2618.67	c cleaning 276999 clauses out of 554008 with flag 80199703/38771169
2640.74/2637.00	c cleaning 277996 clauses out of 556008 with flag 80765937/39050168
2659.79/2656.12	c cleaning 278999 clauses out of 558012 with flag 81334043/39330168
2679.24/2675.68	c cleaning 280000 clauses out of 560013 with flag 81912199/39611168
2699.19/2694.80	c cleaning 281002 clauses out of 562013 with flag 82486597/39893168
2717.85/2713.55	c cleaning 282004 clauses out of 564012 with flag 83067413/40176169
2736.81/2732.57	c cleaning 282999 clauses out of 566007 with flag 83654173/40460168
2755.71/2751.46	c cleaning 283998 clauses out of 568008 with flag 84236539/40745168
2776.17/2771.96	c cleaning 284997 clauses out of 570011 with flag 84821380/41031169
2795.23/2791.06	c cleaning 286000 clauses out of 572013 with flag 85405500/41318168
2814.79/2810.56	c cleaning 287004 clauses out of 574013 with flag 85994256/41606168
2834.25/2830.07	c cleaning 287998 clauses out of 576009 with flag 86587209/41895168
2854.81/2850.63	c cleaning 289002 clauses out of 578012 with flag 87175682/42185169
2874.89/2870.65	c cleaning 289995 clauses out of 580010 with flag 87770634/42476169
2894.95/2890.75	c cleaning 291001 clauses out of 582014 with flag 88363003/42768168
2914.31/2910.11	c cleaning 292000 clauses out of 584014 with flag 88962233/43061169
2934.06/2929.91	c cleaning 293003 clauses out of 586013 with flag 89564191/43355168
2953.61/2949.40	c cleaning 293997 clauses out of 588010 with flag 90165152/43650168
2973.07/2968.93	c cleaning 295006 clauses out of 590013 with flag 90764956/43946168
2995.42/2991.32	c cleaning 295997 clauses out of 592007 with flag 91372544/44243168
3017.50/3013.32	c cleaning 296999 clauses out of 594011 with flag 91982054/44541169
3039.74/3035.67	c cleaning 297999 clauses out of 596011 with flag 92592539/44840168
3061.09/3057.04	c cleaning 298999 clauses out of 598013 with flag 93215729/45140169
3082.86/3078.71	c cleaning 300005 clauses out of 600013 with flag 93834304/45441168
3103.02/3098.96	c cleaning 301000 clauses out of 602009 with flag 94460215/45743169
3127.07/3123.03	c cleaning 302002 clauses out of 604010 with flag 95085407/46046170
3149.60/3145.07	c cleaning 302995 clauses out of 606006 with flag 95711588/46350168
3170.45/3165.90	c cleaning 304003 clauses out of 608011 with flag 96328848/46655168
3192.13/3187.57	c cleaning 304998 clauses out of 610008 with flag 96947913/46961168
3212.88/3208.30	c cleaning 305999 clauses out of 612012 with flag 97575902/47268170
3234.63/3230.13	c cleaning 307002 clauses out of 614012 with flag 98201612/47576169
3256.44/3251.94	c cleaning 307999 clauses out of 616009 with flag 98828105/47885168
3279.60/3275.12	c cleaning 309004 clauses out of 618011 with flag 99459923/48195169
3303.24/3298.88	c cleaning 309999 clauses out of 620006 with flag 100092006/48506168
3326.38/3321.98	c cleaning 311001 clauses out of 622008 with flag 100725942/48818169
3347.83/3343.49	c cleaning 311996 clauses out of 624006 with flag 101365813/49131168
3368.29/3363.92	c cleaning 312997 clauses out of 626010 with flag 102002261/49445168
3391.06/3386.61	c cleaning 314001 clauses out of 628013 with flag 102640393/49760168
3411.90/3407.57	c cleaning 315001 clauses out of 630013 with flag 103285583/50076169
3433.45/3429.15	c cleaning 315987 clauses out of 632011 with flag 103939586/50393168
3454.82/3450.47	c cleaning 317009 clauses out of 634024 with flag 104593210/50711168
3476.56/3472.29	c cleaning 318002 clauses out of 636015 with flag 105240790/51030168
3501.40/3497.16	c cleaning 319001 clauses out of 638013 with flag 105887044/51350168
3522.97/3518.62	c cleaning 320003 clauses out of 640012 with flag 106535217/51671168
3544.53/3540.26	c cleaning 321005 clauses out of 642010 with flag 107186090/51993169
3567.57/3563.31	c cleaning 321995 clauses out of 644004 with flag 107843311/52316168
3591.47/3586.53	c cleaning 323001 clauses out of 646010 with flag 108503401/52640169
3600.05/3595.12	c starts		: 15794
3600.05/3595.13	c conflicts		: 52789130
3600.05/3595.13	c decisions		: 61356676
3600.05/3595.13	c propagations		: 5950291899
3600.05/3595.13	c inspects		: 20141513635
3600.05/3595.13	c shortcuts		: 0
3600.05/3595.13	c learnt literals	: 0
3600.05/3595.13	c learnt binary clauses	: 0
3600.05/3595.13	c learnt ternary clauses	: 0
3600.05/3595.13	c learnt constraints	: 52789130
3600.05/3595.13	c ignored constraints	: 0
3600.05/3595.13	c root simplifications	: 0
3600.05/3595.13	c removed literals (reason simplification)	: 1107202851
3600.05/3595.13	c reason swapping (by a shorter reason)	: 0
3600.05/3595.13	c Calls to reduceDB	: 320
3600.05/3595.13	c Number of update (reduction) of LBD	: 1096348
3600.05/3595.13	c Imported unit clauses	: 0
3600.05/3595.13	c No decision after first conflict	: false
3600.05/3595.13	c number of reductions to clauses (during analyze)	: 0
3600.05/3595.13	c number of learned constraints concerned by reduction	: 0
3600.05/3595.13	c number of learning phase by resolution	: 0
3600.05/3595.13	c number of learning phase by cutting planes	: 0
3600.05/3595.13	c number of rounding to 1 operations	: 0
3600.05/3595.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3595.13	c number of reductions of the coefficients by power 2 	: 0
3600.05/3595.13	c number of right shift for reduction by power 2 	: 0
3600.05/3595.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3595.14	c number of ending skipping 	: 0
3600.05/3595.14	c number of internal skipping 	: 0
3600.05/3595.14	c number of derivation steps 	: 0
3600.05/3595.14	c number of skipped derivation steps 	: 0
3600.05/3595.14	c number of remaining unassigned 	: 0
3600.05/3595.14	c number of remaining assigned 	: 0
3600.05/3595.14	c number of falsified literals weakened from reason	: 0
3600.05/3595.14	c number of falsified literals weakened from conflict	: 0
3600.05/3595.14	c time for arithmetic operations	: 0
3600.05/3595.14	c minimum degree of deleted constraints	: null
3600.05/3595.14	c maximum degree of deleted constraints	: null
3600.05/3595.14	c number of deleted constraints	: 0
3600.05/3595.15	c speed (assignments/second)	: 1655218.466714216
3600.05/3595.15	c non guided choices	: 59
3600.25/3595.22	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 471970
3600.25/3595.22	s SATISFIABLE
3600.25/3595.22	c Found 2 solution(s)
3600.25/3595.24	v -x1 -x2 x3 -x4 -x5 x6 -x7 -x8 x9 -x10 -x11 x12 -x13 -x14 x15 -x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 -x25 -x26 x27 -x28 -x29 x30 -x31 -x32 x33 -x34 -x35 x36 -x37 -x38 x39 -x40 -x41 x42 x43 -x44 -x45 x46 -x47 -x48 x49 -x50 -x51 x52 -x53 -x54 x55 -x56 -x57 x58 -x59 -x60 x61 -x62 -x63 x64 -x65 -x66 x67 -x68 -x69 x70 -x71 -x72 x73 -x74 -x75 x76 -x77 -x78 x79 -x80 -x81 -x82 x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 x92 -x93 -x94 x95 -x96 -x97 x98 -x99 -x100 x101 -x102 -x103 x104 -x105 -x106 x107 -x108 -x109 x110 -x111 -x112 x113 -x114 -x115 x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 x745 x746 x747 x748 x749 x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 x845 x846 x847 x848 x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 x942 x943 x944 x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 x1036 x1037 x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 x1127 x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 x1634 x1635 x1636 x1637 x1638 x1639 x1640 x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 x1703 x1704 x1705 x1706 x1707 x1708 x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 x1769 x1770 x1771 x1772 x1773 x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 x1832 x1833 x1834 x1835 x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 x1892 x1893 x1894 x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 x1948 x1949 x1950 x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 x2003 x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 x2053 x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 x2240 x2241 x2242 x2243 x2244 x2245 x2246 x2247 x2248 x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 x2275 x2276 x2277 x2278 x2279 x2280 x2281 x2282 x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 x2306 x2307 x2308 x2309 x2310 x2311 x2312 x2313 x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 x2336 x2337 x2338 x2339 x2340 x2341 x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 x2362 x2363 x2364 x2365 x2366 x2367 x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 x2385 x2386 x2387 x2388 x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 x2405 x2406 x2407 x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 x2422 x2423 x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 x2436 x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 x2454 x2455 -x2456 -x2457 -x2458 x2459 -x2460 
3600.25/3595.24	c objective function=1183
3600.25/3595.24	c Total wall clock time (in seconds): 3595.097

Verifier Data 

OK	1183

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (48104 MiB free)
  memory of node 1: 64465 MiB (45319 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509156-1751515944/watcher-4509156-1751515944 -o /tmp/evaluation-result-4509156-1751515944/solver-4509156-1751515944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751508541-71612 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4509156-1751515944.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100061 s]*
/proc/loadavg: 4.28 4.38 4.37 5/339 73312
/proc/meminfo: memFree=95654212/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=18930384 memory=57216 CPUtime=0.12 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 6463 0 0 0 11 1 0 0 20 0 18 0 67272308 19384713216 14304 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4732596 14304 5335 1 0 547604 0
[pid=73294/tid=73296] ppid=73291 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 5052 0 0 0 6 1 0 0 20 0 18 0 67272309 19384713216 14304 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67272311 19384713216 14304 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=18930384 memory=58485492679666 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67272311 19384713216 14304 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57216 KiB

[startup+0.205802 s]*
/proc/loadavg: 4.28 4.38 4.37 5/339 73312
/proc/meminfo: memFree=95643752/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=18930384 memory=67416 CPUtime=0.3 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 6847 0 0 0 29 1 0 0 20 0 18 0 67272308 19384713216 16854 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4732596 16854 5431 1 0 547926 0
[pid=73294/tid=73296] ppid=73291 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) S 73291 73294 71602 0 -1 4194368 5297 0 0 0 15 1 0 0 20 0 18 0 67272309 19384713216 16854 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=18930384 memory=16099 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67272311 19384713216 16854 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67272311 19384713216 16854 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 67416 KiB

[startup+0.305707 s]*
/proc/loadavg: 4.28 4.38 4.37 6/340 73313
/proc/meminfo: memFree=95632284/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=18996948 memory=80360 CPUtime=0.49 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 8478 0 0 0 47 2 0 0 20 0 19 0 67272308 19452874752 20090 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4749237 20090 5463 1 0 549349 0
[pid=73294/tid=73296] ppid=73291 vsize=18996948 memory=-6000919502704372072 CPUtime=0.23 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 5408 0 0 0 22 1 0 0 20 0 19 0 67272309 19452874752 20090 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67272311 19452874752 20090 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67272311 19452874752 20090 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67272336 19452874752 20090 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80360 KiB

[startup+0.700223 s]
/proc/loadavg: 4.28 4.38 4.37 6/340 73313
/proc/meminfo: memFree=95626992/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=18996948 memory=90400 CPUtime=1.26 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 10443 0 0 0 123 3 0 0 20 0 19 0 67272308 19452874752 22600 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4749237 22600 5495 1 0 550222 0
[pid=73294/tid=73296] ppid=73291 vsize=18996948 memory=14336 CPUtime=0.6 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 5444 0 0 0 58 2 0 0 20 0 19 0 67272309 19452874752 22600 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67272311 19452874752 22600 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67272311 19452874752 22600 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=18996948 memory=4752 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67272336 19452874752 22600 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90400 KiB

[startup+1.50025 s]
/proc/loadavg: 4.28 4.38 4.37 6/340 73313
/proc/meminfo: memFree=95611932/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=18996948 memory=106312 CPUtime=2.41 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 13751 0 0 0 237 4 0 0 20 0 19 0 67272308 19452874752 26578 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4749237 26578 5495 1 0 550550 0
[pid=73294/tid=73296] ppid=73291 vsize=18996948 memory=10880 CPUtime=1.4 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 5856 0 0 0 138 2 0 0 20 0 19 0 67272309 19452874752 26578 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67272311 19452874752 26578 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67272311 19452874752 26578 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=18996948 memory=4752 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67272336 19452874752 26578 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106312 KiB

[startup+3.10554 s]
/proc/loadavg: 4.34 4.39 4.38 6/340 73313
/proc/meminfo: memFree=95581324/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=18996948 memory=132620 CPUtime=4.21 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 15361 0 0 0 417 4 0 0 20 0 19 0 67272308 19452874752 33155 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4749237 33155 5495 1 0 550958 0
[pid=73294/tid=73296] ppid=73291 vsize=18996948 memory=10880 CPUtime=2.99 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 6154 0 0 0 297 2 0 0 20 0 19 0 67272309 19452874752 33155 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=18996948 memory=-6000919502704372072 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67272311 19452874752 33155 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67272311 19452874752 33155 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67272336 19452874752 33155 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 4.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 132620 KiB

[startup+6.30022 s]
/proc/loadavg: 4.34 4.39 4.38 6/341 73315
/proc/meminfo: memFree=95532172/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=19063512 memory=173424 CPUtime=7.47 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 20023 0 0 0 741 6 0 0 20 0 20 0 67272308 19521036288 43356 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4765878 43356 5527 1 0 551247 0
[pid=73294/tid=73296] ppid=73291 vsize=19063512 memory=0 CPUtime=6.16 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 6770 0 0 0 613 3 0 0 20 0 20 0 67272309 19521036288 43356 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 43356 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 43356 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=19063512 memory=106312 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67272336 19521036288 43356 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173424 KiB

[startup+12.7002 s]
/proc/loadavg: 4.36 4.39 4.38 5/341 73315
/proc/meminfo: memFree=95519900/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=19063512 memory=181744 CPUtime=14.04 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 24912 0 0 0 1397 7 0 0 20 0 20 0 67272308 19521036288 45436 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4765878 45436 5527 1 0 551247 0
[pid=73294/tid=73296] ppid=73291 vsize=19063512 memory=106312 CPUtime=12.53 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 7358 0 0 0 1250 3 0 0 20 0 20 0 67272309 19521036288 45436 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 45436 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=19063512 memory=181744 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 45436 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67272336 19521036288 45436 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 14.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181744 KiB

[startup+25.5002 s]
/proc/loadavg: 4.39 4.40 4.38 5/341 73315
/proc/meminfo: memFree=95471072/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=19063512 memory=262000 CPUtime=26.88 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 26455 0 0 0 2679 9 0 0 20 0 20 0 67272308 19521036288 65500 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4765878 65500 5527 1 0 551247 0
[pid=73294/tid=73296] ppid=73291 vsize=19063512 memory=10880 CPUtime=25.23 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 7860 0 0 0 2520 3 0 0 20 0 20 0 67272309 19521036288 65500 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=19063512 memory=181744 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 65500 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 65500 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67272336 19521036288 65500 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 26.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 262000 KiB

[startup+51.1054 s]
/proc/loadavg: 4.25 4.37 4.37 5/340 73315
/proc/meminfo: memFree=95220972/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=19063512 memory=368772 CPUtime=52.5 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 27651 0 0 0 5238 12 0 0 20 0 20 0 67272308 19521036288 92193 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4765878 92193 5527 1 0 551247 0
[pid=73294/tid=73296] ppid=73291 vsize=19063512 memory=368772 CPUtime=50.63 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 7932 0 0 0 5060 3 0 0 20 0 20 0 67272309 19521036288 92193 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=19063512 memory=333864 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/340 73549
/proc/meminfo: memFree=90679436/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=19063512 memory=2168388 CPUtime=3286.77 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 127069 0 0 0 328539 138 0 0 20 0 20 0 67272308 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4765878 542097 5527 1 0 555325 0
[pid=73294/tid=73296] ppid=73291 vsize=19063512 memory=2168388 CPUtime=3266.66 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 59624 0 0 0 326632 34 0 0 20 0 20 0 67272309 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=19063512 memory=-6000919502704372072 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 1351 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=19063512 memory=2168388 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67272336 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 3286.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168388 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/340 73552
/proc/meminfo: memFree=90679596/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=19063512 memory=2168388 CPUtime=3346.73 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 128503 0 0 0 334533 140 0 0 20 0 20 0 67272308 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4765878 542097 5527 1 0 555325 0
[pid=73294/tid=73296] ppid=73291 vsize=19063512 memory=0 CPUtime=3326.4 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 60600 0 0 0 332605 35 0 0 20 0 20 0 67272309 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=19063512 memory=-6000919502704372072 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 1489 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=19063512 memory=2168388 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67272336 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 3346.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168388 KiB

[startup+3402.3 s]
/proc/loadavg: 3.72 4.05 4.13 3/290 73621
/proc/meminfo: memFree=96658884/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=19063512 memory=2168388 CPUtime=3406.72 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 129340 0 0 0 340529 143 0 0 20 0 20 0 67272308 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4765878 542097 5527 1 0 555325 0
[pid=73294/tid=73296] ppid=73291 vsize=19063512 memory=0 CPUtime=3386.08 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 60790 0 0 0 338571 37 0 0 20 0 20 0 67272309 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=19063512 memory=2168388 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=19063512 memory=2168388 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 1491 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=19063512 memory=2168388 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67272336 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 3406.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168388 KiB

[startup+3462.3 s]
/proc/loadavg: 2.67 3.69 4.00 3/290 73623
/proc/meminfo: memFree=96658948/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=19063512 memory=2168388 CPUtime=3466.69 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 129729 0 0 0 346525 144 0 0 20 0 20 0 67272308 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4765878 542097 5527 1 0 555325 0
[pid=73294/tid=73296] ppid=73291 vsize=19063512 memory=0 CPUtime=3445.78 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 61097 0 0 0 344541 37 0 0 20 0 20 0 67272309 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=19063512 memory=2168388 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=19063512 memory=2168388 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 1491 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67272336 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 3466.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168388 KiB

[startup+3522.3 s]
/proc/loadavg: 2.69 3.49 3.91 3/290 73626
/proc/meminfo: memFree=96658820/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=19063512 memory=2168388 CPUtime=3526.66 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 131948 0 0 0 352521 145 0 0 20 0 20 0 67272308 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4765878 542097 5527 1 0 555325 0
[pid=73294/tid=73296] ppid=73291 vsize=19063512 memory=2168388 CPUtime=3505.48 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 62342 0 0 0 350511 37 0 0 20 0 20 0 67272309 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=19063512 memory=2168388 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 1579 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67272336 19521036288 542097 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 3526.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168388 KiB

[startup+3582.3 s]
/proc/loadavg: 2.47 3.28 3.81 3/290 73633
/proc/meminfo: memFree=96662456/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=19063512 memory=2169028 CPUtime=3587.28 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 138839 0 0 0 358581 147 0 0 20 0 20 0 67272308 19521036288 542257 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4765878 542257 5527 1 0 555495 0
[pid=73294/tid=73296] ppid=73291 vsize=19063512 memory=2168388 CPUtime=3565.2 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 67033 0 0 0 356482 38 0 0 20 0 20 0 67272309 19521036288 542257 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542257 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=19063512 memory=2169028 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 1580 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542257 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67272336 19521036288 542257 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 3587.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.11 s]
/proc/loadavg: 2.37 3.21 3.78 3/290 73633
/proc/meminfo: memFree=96662456/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=19063512 memory=2169028 CPUtime=3600.05 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 138843 0 0 0 359858 147 0 0 20 0 20 0 67272308 19521036288 542257 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4765878 542257 5527 1 0 555495 0
[pid=73294/tid=73296] ppid=73291 vsize=19063512 memory=14156 CPUtime=3577.97 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 67033 0 0 0 357759 38 0 0 20 0 20 0 67272309 19521036288 542257 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542257 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 1580 0 0 0 0 0 0 0 20 0 20 0 67272311 19521036288 542257 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73313] ppid=73291 vsize=19063512 memory=2169028 CPUtime=0 cores=0,2
/proc/73294/task/73313/stat : 73313 (Timer-0) S 73291 73294 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67272336 19521036288 542257 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169028 KiB

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

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

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

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

[startup+3595.21 s]
/proc/loadavg: 2.37 3.21 3.78 3/290 73633
/proc/meminfo: memFree=96662456/131249996 swapFree=33004236/33010684
[pid=73294] ppid=73291 vsize=19263204 memory=2170052 CPUtime=3600.25 cores=0,2
/proc/73294/stat : 73294 (java) S 73291 73294 71602 0 -1 4194304 140237 0 0 0 359877 148 0 0 20 0 21 0 67272308 19725520896 542513 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
/proc/73294/statm: 4815801 542513 5559 1 0 556477 0
[pid=73294/tid=73296] ppid=73291 vsize=19263204 memory=14156 CPUtime=3578.07 cores=0,2
/proc/73294/task/73296/stat : 73296 (java) R 73291 73294 71602 0 -1 4194368 67129 0 0 0 357769 38 0 0 20 0 21 0 67272309 19725520896 542513 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73305] ppid=73291 vsize=19263204 memory=14336 CPUtime=0 cores=0,2
/proc/73294/task/73305/stat : 73305 (Finalizer) S 73291 73294 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67272311 19725520896 542513 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
[pid=73294/tid=73312] ppid=73291 vsize=19263204 memory=10880 CPUtime=0 cores=0,2
/proc/73294/task/73312/stat : 73312 (Common-Cleaner) S 73291 73294 71602 0 -1 4194368 1580 0 0 0 0 0 0 0 20 0 21 0 67272311 19725520896 542513 18446744073709551615 93974703554560 93974703558256 140736510228864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93974703566072 93974703566864 93974709575680 140736510232961 140736510233062 140736510233062 140736510238664 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2170052 KiB

Child status: 143

Real time (s): 3595.25
CPU time (s): 3600.34
CPU user time (s): 3598.85
CPU system time (s): 1.49129
CPU usage (%): 100.141
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2170052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.85
system time used= 1.49129
maximum resident set size= 2170180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140434
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107869
involuntary context switches= 10027


# summary of solver processes directly reported to runsolver:
#   pid: 73294
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3598.85
#   total CPU system time (s): 1.49129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29432 second user time and 16.8652 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-03 06:12:24
IDJOB=4509156
IDBENCH=158598
IDSOLVER=3363
FILE ID=nodeC023/4509156-1751515944
RUNJOBID= nodeC023-1751508541-71612
SLURM_JOB_ID= 9598606
Free space on /tmp= 431864 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509156-1751515944/watcher-4509156-1751515944 -o /tmp/evaluation-result-4509156-1751515944/solver-4509156-1751515944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751508541-71612 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4509156-1751515944.opb

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

MD5SUM BENCH= 38f4f8acf083ab1c186c19b7f9dc1b90
RANDOM SEED=924076916

nodeC023 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		: 3600.098
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.78
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.889
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.78
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		: 3603.032
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.78
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		: 3461.506
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.78
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.886
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.78
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.891
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.78
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		: 3600.983
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.78
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		: 3600.245
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        95665680 kB
MemAvailable:   111381384 kB
Buffers:              16 kB
Cached:         16460276 kB
SwapCached:          596 kB
Active:         18593116 kB
Inactive:       16255304 kB
Active(anon):   18381068 kB
Inactive(anon):    20460 kB
Active(file):     212048 kB
Inactive(file): 16234844 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33004236 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               996 kB
Writeback:             0 kB
AnonPages:      18390604 kB
Mapped:           119252 kB
Shmem:             13400 kB
KReclaimable:     216100 kB
Slab:             306876 kB
SReclaimable:     216100 kB
SUnreclaim:        90776 kB
KernelStack:        5216 kB
PageTables:        39692 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   21246432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18098176 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431864 MiB
End job on nodeC023 at 2025-07-03 07:12:20