Trace number 4447784

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.32 3594.56

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n236-d3-i2-f.cnf.gz-plain.pb.metafix.opb
MD5SUMb320e8df0d5fbea72b736842c910ba4c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables354
Total number of constraints944
Number of constraints which are clauses944
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.11	c See www.sat4j.org for details.
0.12/0.12	c version CUSTOM.v20240707
0.12/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.13	c java.vm.version	22.0.1+8-16
0.12/0.13	c java.vm.vendor	Oracle Corporation
0.12/0.13	c sun.arch.data.model	64
0.12/0.13	c java.version		22.0.1
0.12/0.13	c os.name		Linux
0.12/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.13	c os.arch		amd64
0.12/0.14	c Free memory 		2115194816
0.12/0.14	c Max memory 		16282288128
0.12/0.14	c Total memory 		2122317824
0.12/0.14	c Number of processors 	2
0.12/0.17	--- Begin Solver configuration ---
0.12/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.17	Learn all clauses as in MiniSAT
0.12/0.17	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.17	No reason simplification
0.12/0.17	Glucose 2.1 dynamic restart strategy
0.12/0.17	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.17	timeout=2147483s
0.12/0.17	DB Simplification allowed=false
0.12/0.17	Listener: none
0.12/0.17	--- End Solver configuration ---
0.12/0.17	c Pseudo Boolean Optimization by upper bound
0.12/0.17	c --- Begin Solver configuration ---
0.12/0.17	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.17	c Learn all clauses as in MiniSAT
0.12/0.17	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.17	c No reason simplification
0.12/0.17	c Glucose 2.1 dynamic restart strategy
0.12/0.17	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.17	c timeout=2147483s
0.12/0.17	c DB Simplification allowed=false
0.12/0.17	c Listener: none
0.12/0.17	c --- End Solver configuration ---
0.12/0.17	c solving HOME/instance-4447784-1721354361.opb
0.12/0.17	c reading problem ... 
0.12/0.18	c  no objective function found
0.31/0.24	c ... done. Wall clock time 0.061s.
0.31/0.24	c declared #vars     354
0.31/0.24	c #constraints  944
0.31/0.24	c constraints type 
0.31/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 944
0.31/0.24	c 944 constraints processed.
0.89/0.57	c cleaning 2496 clauses out of 5000 with flag 20278/5000
1.26/0.73	c cleaning 4246 clauses out of 8505 with flag 43568/11001
1.67/0.91	c cleaning 5624 clauses out of 11258 with flag 71375/18000
2.07/1.14	c cleaning 6811 clauses out of 13634 with flag 106768/26000
2.45/1.31	c cleaning 7905 clauses out of 15823 with flag 146371/35000
2.65/1.45	c cleaning 8949 clauses out of 17918 with flag 178716/45000
3.05/1.63	c cleaning 9975 clauses out of 19970 with flag 203427/56001
3.40/1.81	c cleaning 10983 clauses out of 21994 with flag 242872/68000
3.59/1.99	c cleaning 11998 clauses out of 24011 with flag 296881/81000
3.82/2.18	c cleaning 12999 clauses out of 26014 with flag 352506/95001
4.01/2.38	c cleaning 14002 clauses out of 28015 with flag 411902/110001
4.21/2.58	c cleaning 15001 clauses out of 30012 with flag 482383/126000
4.60/2.80	c cleaning 16001 clauses out of 32012 with flag 560234/143001
4.85/3.05	c cleaning 16999 clauses out of 34010 with flag 655005/161000
5.04/3.29	c cleaning 18000 clauses out of 36012 with flag 740500/180001
5.34/3.55	c cleaning 18997 clauses out of 38013 with flag 836411/200002
5.64/3.84	c cleaning 20001 clauses out of 40014 with flag 937348/221000
5.93/4.14	c cleaning 21000 clauses out of 42013 with flag 1038209/243000
6.33/4.54	c cleaning 22000 clauses out of 44013 with flag 1150234/266000
6.63/4.89	c cleaning 23002 clauses out of 46014 with flag 1272335/290001
7.03/5.26	c cleaning 23997 clauses out of 48011 with flag 1387373/315000
7.42/5.70	c cleaning 25002 clauses out of 50015 with flag 1512428/341001
7.92/6.18	c cleaning 25994 clauses out of 52013 with flag 1592271/368001
8.42/6.67	c cleaning 27007 clauses out of 54020 with flag 1690390/396002
8.92/7.13	c cleaning 27996 clauses out of 56011 with flag 1827016/425000
9.41/7.60	c cleaning 29002 clauses out of 58016 with flag 1968856/455001
9.81/8.09	c cleaning 29997 clauses out of 60013 with flag 2114255/486000
10.50/8.70	c cleaning 31001 clauses out of 62018 with flag 2254230/518002
11.01/9.27	c cleaning 32000 clauses out of 64015 with flag 2395803/551000
11.61/9.87	c cleaning 32999 clauses out of 66016 with flag 2585162/585001
12.31/10.50	c cleaning 33998 clauses out of 68017 with flag 2784474/620001
12.91/11.14	c cleaning 34997 clauses out of 70019 with flag 2991411/656001
13.61/11.81	c cleaning 36003 clauses out of 72021 with flag 3198281/693000
14.30/12.52	c cleaning 37001 clauses out of 74018 with flag 3413546/731000
15.09/13.36	c cleaning 37997 clauses out of 76018 with flag 3633332/770001
15.79/14.08	c cleaning 39005 clauses out of 78020 with flag 3853515/810000
16.58/14.81	c cleaning 39996 clauses out of 80016 with flag 4077927/851001
17.37/15.61	c cleaning 41002 clauses out of 82021 with flag 4311514/893002
18.17/16.43	c cleaning 41996 clauses out of 84017 with flag 4551363/936000
19.17/17.45	c cleaning 42997 clauses out of 86021 with flag 4795310/980000
20.36/18.66	c cleaning 44008 clauses out of 88025 with flag 5039610/1025001
21.55/19.89	c cleaning 44999 clauses out of 90016 with flag 5297243/1071000
22.55/20.85	c cleaning 45996 clauses out of 92017 with flag 5556949/1118000
23.45/21.79	c cleaning 47007 clauses out of 94022 with flag 5819478/1166001
24.55/22.88	c cleaning 47998 clauses out of 96015 with flag 6100585/1215001
25.55/23.88	c cleaning 48996 clauses out of 98017 with flag 6402143/1265001
27.04/25.31	c cleaning 49998 clauses out of 100020 with flag 6718104/1316000
28.55/26.81	c cleaning 51003 clauses out of 102023 with flag 7045343/1368001
30.56/28.86	c cleaning 52002 clauses out of 104019 with flag 7373204/1421000
31.77/30.07	c cleaning 53000 clauses out of 106018 with flag 7693349/1475001
33.06/31.38	c cleaning 53998 clauses out of 108017 with flag 7947787/1530000
34.65/32.93	c cleaning 54998 clauses out of 110020 with flag 8206103/1586001
36.15/34.47	c cleaning 56005 clauses out of 112022 with flag 8472077/1643001
37.56/35.84	c cleaning 56999 clauses out of 114017 with flag 8780833/1701001
38.66/37.01	c cleaning 57999 clauses out of 116017 with flag 9107751/1760000
40.05/38.30	c cleaning 58997 clauses out of 118018 with flag 9432288/1820000
41.87/40.13	c cleaning 60004 clauses out of 120021 with flag 9763817/1881000
43.45/41.76	c cleaning 60999 clauses out of 122018 with flag 10096871/1943001
44.94/43.22	c cleaning 62002 clauses out of 124018 with flag 10435534/2006000
46.33/44.67	c cleaning 63002 clauses out of 126016 with flag 10760089/2070000
47.82/46.15	c cleaning 63999 clauses out of 128015 with flag 11101106/2135001
49.37/47.69	c cleaning 64999 clauses out of 130015 with flag 11433640/2201000
50.95/49.25	c cleaning 66002 clauses out of 132017 with flag 11790320/2268001
52.54/50.86	c cleaning 67002 clauses out of 134015 with flag 12167909/2336001
54.22/52.54	c cleaning 68001 clauses out of 136012 with flag 12529262/2405000
55.91/54.24	c cleaning 69004 clauses out of 138011 with flag 12890338/2475000
57.64/55.96	c cleaning 70000 clauses out of 140008 with flag 13270944/2546001
60.42/58.71	c cleaning 70992 clauses out of 142008 with flag 13646532/2618001
62.81/61.17	c cleaning 71995 clauses out of 144016 with flag 14033579/2691001
64.60/62.95	c cleaning 73003 clauses out of 146020 with flag 14446927/2765000
66.61/64.92	c cleaning 73999 clauses out of 148018 with flag 14859291/2840001
68.41/66.78	c cleaning 74999 clauses out of 150018 with flag 15275880/2916000
70.20/68.58	c cleaning 76006 clauses out of 152020 with flag 15686077/2993001
72.00/70.36	c cleaning 76997 clauses out of 154013 with flag 16106750/3071000
74.71/73.08	c cleaning 77997 clauses out of 156017 with flag 16550745/3150001
76.59/74.99	c cleaning 79004 clauses out of 158021 with flag 16971013/3230002
78.79/77.12	c cleaning 80001 clauses out of 160016 with flag 17397302/3311001
80.89/79.26	c cleaning 80998 clauses out of 162015 with flag 17867144/3393001
84.28/82.60	c cleaning 81996 clauses out of 164017 with flag 18367723/3476001
87.37/85.77	c cleaning 82998 clauses out of 166021 with flag 18882401/3560001
90.75/89.02	c cleaning 84007 clauses out of 168023 with flag 19402047/3645001
93.23/91.56	c cleaning 84997 clauses out of 170016 with flag 19863172/3731001
95.43/93.75	c cleaning 86001 clauses out of 172018 with flag 20340858/3818000
97.73/96.01	c cleaning 86997 clauses out of 174018 with flag 20813383/3906001
99.97/98.28	c cleaning 88004 clauses out of 176020 with flag 21287844/3995000
102.16/100.42	c cleaning 88996 clauses out of 178016 with flag 21760262/4085000
104.66/102.90	c cleaning 90003 clauses out of 180021 with flag 22248374/4176001
107.09/105.32	c cleaning 91003 clauses out of 182017 with flag 22742286/4268000
109.39/107.60	c cleaning 91998 clauses out of 184014 with flag 23235867/4361000
111.79/110.05	c cleaning 92999 clauses out of 186018 with flag 23741415/4455002
114.30/112.50	c cleaning 94003 clauses out of 188018 with flag 24231665/4550001
116.70/114.99	c cleaning 94997 clauses out of 190014 with flag 24738322/4646000
119.19/117.40	c cleaning 96000 clauses out of 192017 with flag 25259154/4743000
121.95/120.13	c cleaning 97002 clauses out of 194017 with flag 25788575/4841000
124.63/122.81	c cleaning 97998 clauses out of 196015 with flag 26314941/4940000
127.22/125.46	c cleaning 99000 clauses out of 198017 with flag 26841817/5040000
129.63/127.82	c cleaning 100002 clauses out of 200018 with flag 27390425/5141001
132.46/130.65	c cleaning 101001 clauses out of 202015 with flag 27947957/5243000
136.25/134.49	c cleaning 101996 clauses out of 204014 with flag 28529561/5346000
139.55/137.77	c cleaning 103003 clauses out of 206020 with flag 29067906/5450002
142.90/141.01	c cleaning 103999 clauses out of 208016 with flag 29621368/5555001
145.99/144.16	c cleaning 105001 clauses out of 210016 with flag 30169683/5661000
149.07/147.20	c cleaning 105998 clauses out of 212015 with flag 30742821/5768000
152.30/150.44	c cleaning 107005 clauses out of 214018 with flag 31359532/5876001
156.28/154.44	c cleaning 108001 clauses out of 216012 with flag 31965768/5985000
160.77/158.91	c cleaning 108998 clauses out of 218012 with flag 32724470/6095001
163.80/161.96	c cleaning 109998 clauses out of 220014 with flag 33400402/6206001
167.10/165.21	c cleaning 111002 clauses out of 222017 with flag 33995858/6318002
175.08/173.29	c cleaning 111996 clauses out of 224013 with flag 34537925/6431000
181.63/179.72	c cleaning 113005 clauses out of 226017 with flag 35088581/6545000
184.52/182.67	c cleaning 113997 clauses out of 228013 with flag 35695206/6660001
187.41/185.57	c cleaning 115000 clauses out of 230015 with flag 36356597/6776000
190.92/189.04	c cleaning 115998 clauses out of 232015 with flag 37010195/6893000
194.30/192.49	c cleaning 117004 clauses out of 234017 with flag 37660684/7011000
197.94/196.04	c cleaning 117998 clauses out of 236013 with flag 38293176/7130000
201.12/199.29	c cleaning 118999 clauses out of 238015 with flag 38949585/7250000
204.41/202.50	c cleaning 120000 clauses out of 240016 with flag 39601479/7371000
208.51/206.60	c cleaning 120997 clauses out of 242017 with flag 40269408/7493001
212.16/210.25	c cleaning 122000 clauses out of 244019 with flag 40942709/7616000
215.86/214.00	c cleaning 123001 clauses out of 246020 with flag 41614745/7740001
219.44/217.59	c cleaning 124001 clauses out of 248019 with flag 42305619/7865001
223.34/221.45	c cleaning 125000 clauses out of 250017 with flag 43003762/7991000
229.24/226.98	c cleaning 126002 clauses out of 252017 with flag 43680123/8118000
233.04/230.79	c cleaning 127002 clauses out of 254016 with flag 44375544/8246001
236.93/234.62	c cleaning 128000 clauses out of 256013 with flag 45080192/8375000
241.12/238.81	c cleaning 129000 clauses out of 258014 with flag 45789397/8505001
245.40/243.10	c cleaning 129997 clauses out of 260013 with flag 46604851/8636000
249.88/247.53	c cleaning 131003 clauses out of 262017 with flag 47326876/8768001
253.98/251.60	c cleaning 131999 clauses out of 264013 with flag 48059680/8901000
258.38/256.11	c cleaning 133003 clauses out of 266014 with flag 48752501/9035000
263.06/260.70	c cleaning 134000 clauses out of 268012 with flag 49430464/9170001
267.18/264.89	c cleaning 134995 clauses out of 270012 with flag 50101443/9306001
271.48/269.17	c cleaning 136002 clauses out of 272017 with flag 50863694/9443001
275.38/273.06	c cleaning 136998 clauses out of 274015 with flag 51619991/9581001
279.26/277.00	c cleaning 137997 clauses out of 276016 with flag 52372849/9720000
283.75/281.40	c cleaning 139000 clauses out of 278019 with flag 53163485/9860000
289.60/287.23	c cleaning 140001 clauses out of 280020 with flag 53898089/10001001
294.09/291.77	c cleaning 141005 clauses out of 282018 with flag 54633025/10143000
298.88/296.53	c cleaning 142005 clauses out of 284013 with flag 55385569/10286000
303.57/301.29	c cleaning 143000 clauses out of 286009 with flag 56147872/10430001
307.76/305.42	c cleaning 143996 clauses out of 288008 with flag 56920356/10575000
312.25/309.98	c cleaning 145003 clauses out of 290013 with flag 57754637/10721001
316.94/314.66	c cleaning 145995 clauses out of 292009 with flag 58566639/10868000
322.63/320.38	c cleaning 147001 clauses out of 294015 with flag 59318557/11016001
327.82/325.52	c cleaning 147997 clauses out of 296013 with flag 60057168/11165000
332.80/330.56	c cleaning 149000 clauses out of 298017 with flag 60824032/11315001
337.99/335.78	c cleaning 150002 clauses out of 300016 with flag 61602750/11466000
342.78/340.58	c cleaning 150998 clauses out of 302014 with flag 62417753/11618000
347.77/345.59	c cleaning 152003 clauses out of 304017 with flag 63234751/11771001
352.75/350.59	c cleaning 153001 clauses out of 306013 with flag 64026052/11925000
357.84/355.62	c cleaning 153998 clauses out of 308013 with flag 64834129/12080001
362.82/360.67	c cleaning 155001 clauses out of 310015 with flag 65683859/12236001
369.32/367.13	c cleaning 156000 clauses out of 312014 with flag 66487640/12393001
374.50/372.33	c cleaning 156997 clauses out of 314013 with flag 67349196/12551000
379.78/377.63	c cleaning 157997 clauses out of 316017 with flag 68214813/12710001
384.67/382.60	c cleaning 159001 clauses out of 318019 with flag 69076617/12870000
390.65/388.51	c cleaning 160003 clauses out of 320019 with flag 69965621/13031001
396.44/394.37	c cleaning 161001 clauses out of 322016 with flag 70849577/13193001
402.14/400.09	c cleaning 162000 clauses out of 324015 with flag 71752193/13356001
408.12/406.02	c cleaning 162998 clauses out of 326014 with flag 72700871/13520000
417.09/415.01	c cleaning 164003 clauses out of 328017 with flag 73738423/13685001
424.32/422.02	c cleaning 164998 clauses out of 330013 with flag 74683156/13851000
430.72/428.37	c cleaning 165998 clauses out of 332015 with flag 75603197/14018000
436.42/434.07	c cleaning 167005 clauses out of 334017 with flag 76546016/14186000
442.99/440.60	c cleaning 167997 clauses out of 336012 with flag 77416127/14355000
449.28/446.95	c cleaning 168999 clauses out of 338016 with flag 78355787/14525001
455.57/453.26	c cleaning 170003 clauses out of 340016 with flag 79286526/14696000
461.04/458.67	c cleaning 170994 clauses out of 342014 with flag 80185057/14868001
466.73/464.38	c cleaning 171999 clauses out of 344020 with flag 81133547/15041001
473.31/470.98	c cleaning 172999 clauses out of 346020 with flag 82019380/15215000
482.30/479.97	c cleaning 174001 clauses out of 348021 with flag 82877503/15390000
490.58/488.21	c cleaning 175004 clauses out of 350020 with flag 83826814/15566000
497.18/494.73	c cleaning 175999 clauses out of 352017 with flag 84790968/15743001
503.76/501.33	c cleaning 177004 clauses out of 354018 with flag 85747470/15921001
511.25/508.81	c cleaning 178000 clauses out of 356014 with flag 86655914/16100001
518.73/516.37	c cleaning 178995 clauses out of 358013 with flag 87625257/16280000
527.34/524.88	c cleaning 180001 clauses out of 360018 with flag 88658789/16461000
533.72/531.21	c cleaning 181000 clauses out of 362018 with flag 89590187/16643001
542.91/540.42	c cleaning 182002 clauses out of 364018 with flag 90598427/16826001
548.69/546.27	c cleaning 183003 clauses out of 366015 with flag 91642905/17010000
556.66/554.26	c cleaning 183999 clauses out of 368013 with flag 92610351/17195001
565.62/563.14	c cleaning 184999 clauses out of 370013 with flag 93622467/17381000
573.30/570.80	c cleaning 185998 clauses out of 372015 with flag 94631345/17568001
580.49/578.07	c cleaning 187002 clauses out of 374017 with flag 95614907/17756001
589.47/587.04	c cleaning 188002 clauses out of 376015 with flag 96574031/17945001
597.74/595.39	c cleaning 188998 clauses out of 378013 with flag 97585819/18135001
605.52/603.17	c cleaning 190001 clauses out of 380015 with flag 98575998/18326001
612.67/610.19	c cleaning 190997 clauses out of 382014 with flag 99587770/18518001
619.74/617.26	c cleaning 191998 clauses out of 384016 with flag 100591370/18711000
627.53/625.06	c cleaning 193003 clauses out of 386019 with flag 101605558/18905001
634.90/632.42	c cleaning 193998 clauses out of 388015 with flag 102595516/19100000
642.87/640.49	c cleaning 194997 clauses out of 390018 with flag 103594069/19296001
650.93/647.76	c cleaning 196001 clauses out of 392021 with flag 104712894/19493001
657.62/654.45	c cleaning 197003 clauses out of 394019 with flag 105735633/19691000
665.50/662.40	c cleaning 197999 clauses out of 396016 with flag 106828555/19890000
674.76/671.53	c cleaning 199000 clauses out of 398018 with flag 107892204/20090001
683.14/679.90	c cleaning 200004 clauses out of 400017 with flag 108994764/20291000
691.58/688.37	c cleaning 200998 clauses out of 402013 with flag 110108970/20493000
700.46/697.20	c cleaning 202000 clauses out of 404016 with flag 111176218/20696001
707.98/704.71	c cleaning 203005 clauses out of 406015 with flag 112294991/20900000
716.66/713.45	c cleaning 203998 clauses out of 408011 with flag 113338617/21105001
724.70/721.43	c cleaning 204999 clauses out of 410013 with flag 114432005/21311001
733.88/730.63	c cleaning 205998 clauses out of 412014 with flag 115488798/21518001
743.49/740.23	c cleaning 206999 clauses out of 414015 with flag 116541786/21726000
751.58/748.32	c cleaning 207999 clauses out of 416016 with flag 117640209/21935000
761.81/758.51	c cleaning 208998 clauses out of 418017 with flag 118677328/22145000
769.99/766.77	c cleaning 210001 clauses out of 420019 with flag 119734520/22356000
778.87/775.69	c cleaning 210998 clauses out of 422018 with flag 120878994/22568000
788.44/785.24	c cleaning 212001 clauses out of 424020 with flag 122085338/22781000
798.43/795.25	c cleaning 212996 clauses out of 426019 with flag 123276122/22995000
807.40/804.12	c cleaning 214001 clauses out of 428023 with flag 124448734/23210000
816.67/813.47	c cleaning 215003 clauses out of 430023 with flag 125643873/23426001
826.36/823.13	c cleaning 216001 clauses out of 432020 with flag 126864475/23643001
834.73/831.55	c cleaning 217002 clauses out of 434018 with flag 128008006/23861000
851.09/847.87	c cleaning 217999 clauses out of 436017 with flag 129449450/24080001
860.66/857.49	c cleaning 219001 clauses out of 438018 with flag 130804506/24300001
870.66/867.36	c cleaning 220000 clauses out of 440017 with flag 131966260/24521001
885.64/882.32	c cleaning 220995 clauses out of 442016 with flag 133106204/24743000
899.61/896.35	c cleaning 222004 clauses out of 444021 with flag 134225365/24966000
917.25/913.92	c cleaning 222998 clauses out of 446018 with flag 135341942/25190001
929.53/926.26	c cleaning 223997 clauses out of 448019 with flag 136467886/25415000
952.50/949.20	c cleaning 225001 clauses out of 450022 with flag 137740761/25641000
964.05/960.74	c cleaning 225999 clauses out of 452022 with flag 138946433/25868001
975.83/971.82	c cleaning 227002 clauses out of 454022 with flag 140213055/26096000
985.89/981.96	c cleaning 228000 clauses out of 456020 with flag 141374352/26325000
997.87/993.80	c cleaning 228998 clauses out of 458020 with flag 142671949/26555000
1010.24/1006.27	c cleaning 230007 clauses out of 460023 with flag 144092226/26786001
1023.34/1019.37	c cleaning 230996 clauses out of 462015 with flag 145421119/27018000
1036.72/1032.72	c cleaning 232001 clauses out of 464020 with flag 146594386/27251001
1047.73/1043.79	c cleaning 233000 clauses out of 466018 with flag 147834829/27485000
1058.45/1054.42	c cleaning 233998 clauses out of 468018 with flag 149114107/27720000
1070.76/1066.73	c cleaning 234997 clauses out of 470020 with flag 150577899/27956000
1080.71/1076.63	c cleaning 236006 clauses out of 472024 with flag 151931518/28193001
1089.78/1085.76	c cleaning 236999 clauses out of 474017 with flag 153203435/28431000
1102.47/1098.42	c cleaning 237999 clauses out of 476019 with flag 154596265/28670001
1111.55/1107.57	c cleaning 239000 clauses out of 478020 with flag 155929379/28910001
1120.44/1116.43	c cleaning 240001 clauses out of 480021 with flag 157227581/29151002
1130.51/1126.52	c cleaning 240998 clauses out of 482019 with flag 158550359/29393001
1142.99/1139.02	c cleaning 242004 clauses out of 484021 with flag 159892366/29636001
1152.49/1148.55	c cleaning 242999 clauses out of 486017 with flag 161230175/29880001
1163.46/1159.54	c cleaning 243998 clauses out of 488017 with flag 162540267/30125000
1177.74/1173.83	c cleaning 245002 clauses out of 490020 with flag 163870832/30371001
1189.71/1185.82	c cleaning 246000 clauses out of 492017 with flag 165250838/30618000
1203.74/1199.89	c cleaning 247000 clauses out of 494017 with flag 166518870/30866000
1213.42/1209.52	c cleaning 248002 clauses out of 496018 with flag 167759811/31115001
1223.95/1220.08	c cleaning 249002 clauses out of 498016 with flag 169046227/31365001
1235.21/1231.36	c cleaning 249998 clauses out of 500014 with flag 170348794/31616001
1247.15/1243.23	c cleaning 250996 clauses out of 502015 with flag 171762672/31868000
1267.41/1263.59	c cleaning 251998 clauses out of 504019 with flag 173211162/32121000
1340.65/1336.85	c cleaning 253003 clauses out of 506021 with flag 174530429/32375000
1363.61/1359.84	c cleaning 253996 clauses out of 508018 with flag 175761955/32630000
1378.18/1374.43	c cleaning 255007 clauses out of 510023 with flag 177078813/32886001
1390.22/1386.48	c cleaning 256000 clauses out of 512015 with flag 178484592/33143000
1404.80/1401.03	c cleaning 257000 clauses out of 514016 with flag 179746871/33401001
1416.76/1412.95	c cleaning 257998 clauses out of 516016 with flag 181092364/33660001
1432.93/1429.13	c cleaning 259001 clauses out of 518017 with flag 182548531/33920000
1451.28/1447.52	c cleaning 259996 clauses out of 520016 with flag 183927119/34181000
1464.04/1460.24	c cleaning 261002 clauses out of 522020 with flag 185288748/34443000
1476.01/1472.29	c cleaning 262004 clauses out of 524019 with flag 186723997/34706001
1489.68/1485.99	c cleaning 263003 clauses out of 526014 with flag 188032406/34970000
1501.14/1497.39	c cleaning 263998 clauses out of 528011 with flag 189502651/35235000
1513.01/1509.25	c cleaning 264999 clauses out of 530014 with flag 190901725/35501001
1525.79/1522.09	c cleaning 265998 clauses out of 532015 with flag 192268263/35768001
1539.39/1535.67	c cleaning 267000 clauses out of 534016 with flag 193584586/36036000
1555.77/1552.01	c cleaning 267999 clauses out of 536016 with flag 195043459/36305000
1569.33/1565.61	c cleaning 269002 clauses out of 538017 with flag 196526586/36575000
1590.21/1586.41	c cleaning 269997 clauses out of 540015 with flag 198002481/36846000
1603.27/1599.55	c cleaning 271003 clauses out of 542019 with flag 199463886/37118001
1615.64/1611.91	c cleaning 271999 clauses out of 544016 with flag 200818028/37391001
1632.34/1628.50	c cleaning 273001 clauses out of 546017 with flag 202229671/37665001
1646.00/1642.22	c cleaning 273997 clauses out of 548016 with flag 203704107/37940001
1658.79/1655.08	c cleaning 275002 clauses out of 550019 with flag 205158179/38216001
1687.42/1683.77	c cleaning 276002 clauses out of 552016 with flag 206730060/38493000
1703.53/1699.89	c cleaning 277000 clauses out of 554015 with flag 208192988/38771001
1716.09/1712.45	c cleaning 277999 clauses out of 556015 with flag 209737957/39050001
1730.09/1726.47	c cleaning 278997 clauses out of 558016 with flag 211196403/39330001
1743.72/1740.05	c cleaning 280000 clauses out of 560019 with flag 212748571/39611001
1756.49/1752.85	c cleaning 281001 clauses out of 562018 with flag 214290303/39893000
1769.85/1766.22	c cleaning 282002 clauses out of 564018 with flag 215702329/40176001
1783.08/1779.43	c cleaning 283008 clauses out of 566015 with flag 217232115/40460000
1796.25/1792.64	c cleaning 283998 clauses out of 568008 with flag 218738930/40745001
1812.59/1808.92	c cleaning 284991 clauses out of 570009 with flag 220285409/41031000
1826.25/1822.65	c cleaning 286002 clauses out of 572018 with flag 221925008/41318000
1839.93/1836.29	c cleaning 287003 clauses out of 574016 with flag 223452788/41606000
1857.70/1854.05	c cleaning 287996 clauses out of 576014 with flag 224942579/41895001
1874.25/1870.60	c cleaning 289004 clauses out of 578018 with flag 226516548/42185001
1889.19/1884.58	c cleaning 289998 clauses out of 580014 with flag 228042849/42476001
1910.97/1906.27	c cleaning 290999 clauses out of 582015 with flag 229699652/42768000
1932.32/1927.60	c cleaning 291999 clauses out of 584016 with flag 231348064/43061000
1950.93/1946.23	c cleaning 293000 clauses out of 586018 with flag 233136531/43355001
1968.99/1964.35	c cleaning 294004 clauses out of 588018 with flag 234875072/43650001
1990.12/1985.42	c cleaning 295001 clauses out of 590014 with flag 236499191/43946001
2007.28/2002.67	c cleaning 295997 clauses out of 592012 with flag 238155094/44243000
2033.58/2028.99	c cleaning 296998 clauses out of 594016 with flag 239777181/44541001
2051.54/2046.93	c cleaning 298004 clauses out of 596017 with flag 241392947/44840000
2066.96/2062.30	c cleaning 299001 clauses out of 598013 with flag 242940978/45140000
2083.32/2078.72	c cleaning 300001 clauses out of 600013 with flag 244537015/45441001
2102.86/2098.24	c cleaning 300996 clauses out of 602011 with flag 246032345/45743000
2120.52/2115.96	c cleaning 301996 clauses out of 604015 with flag 247601135/46046000
2141.96/2137.34	c cleaning 302998 clauses out of 606020 with flag 249231177/46350001
2157.74/2153.16	c cleaning 304005 clauses out of 608022 with flag 250775445/46655001
2171.48/2166.88	c cleaning 305001 clauses out of 610016 with flag 252403901/46961000
2192.44/2187.84	c cleaning 305999 clauses out of 612016 with flag 254066953/47268001
2206.41/2201.87	c cleaning 307002 clauses out of 614017 with flag 255640857/47576001
2219.70/2215.11	c cleaning 307999 clauses out of 616014 with flag 257174624/47885000
2233.77/2229.16	c cleaning 309006 clauses out of 618015 with flag 258895123/48195000
2261.41/2256.88	c cleaning 309995 clauses out of 620009 with flag 260660875/48506000
2279.78/2275.14	c cleaning 310996 clauses out of 622014 with flag 262408155/48818000
2311.29/2306.72	c cleaning 312000 clauses out of 624018 with flag 264197812/49131000
2366.19/2361.66	c cleaning 312997 clauses out of 626019 with flag 265972157/49445001
2400.51/2396.04	c cleaning 314001 clauses out of 628022 with flag 267815187/49760001
2416.39/2411.81	c cleaning 315003 clauses out of 630020 with flag 269447947/50076000
2434.56/2430.08	c cleaning 315998 clauses out of 632017 with flag 271060756/50393000
2452.21/2447.60	c cleaning 317003 clauses out of 634020 with flag 272675509/50711001
2469.69/2465.15	c cleaning 318000 clauses out of 636017 with flag 274443850/51030001
2484.18/2479.63	c cleaning 319003 clauses out of 638017 with flag 276041387/51350001
2499.84/2495.33	c cleaning 320001 clauses out of 640013 with flag 277760114/51671000
2515.90/2511.35	c cleaning 321006 clauses out of 642012 with flag 279454574/51993000
2530.96/2526.44	c cleaning 321998 clauses out of 644007 with flag 281134607/52316001
2549.32/2544.87	c cleaning 322995 clauses out of 646008 with flag 282843997/52640000
2566.09/2561.68	c cleaning 323999 clauses out of 648014 with flag 284626380/52965001
2586.94/2582.42	c cleaning 325005 clauses out of 650014 with flag 286434389/53291000
2607.20/2602.69	c cleaning 326001 clauses out of 652010 with flag 288353575/53618001
2627.57/2623.11	c cleaning 327002 clauses out of 654009 with flag 290140093/53946001
2648.51/2643.97	c cleaning 327995 clauses out of 656007 with flag 291842087/54275001
2664.08/2659.56	c cleaning 328996 clauses out of 658012 with flag 293582164/54605001
2684.44/2679.87	c cleaning 330002 clauses out of 660016 with flag 295430080/54936001
2701.40/2696.87	c cleaning 330999 clauses out of 662014 with flag 297126952/55268001
2718.50/2713.80	c cleaning 331996 clauses out of 664014 with flag 298911578/55601000
2749.74/2745.16	c cleaning 332998 clauses out of 666019 with flag 300791490/55935001
2773.73/2769.10	c cleaning 333997 clauses out of 668020 with flag 302619262/56270000
2798.37/2793.76	c cleaning 335003 clauses out of 670023 with flag 304423572/56606000
2820.92/2815.06	c cleaning 336002 clauses out of 672021 with flag 306126309/56943001
2838.81/2832.93	c cleaning 337003 clauses out of 674018 with flag 307929787/57281000
2859.77/2853.94	c cleaning 337997 clauses out of 676016 with flag 309799207/57620001
2875.64/2869.89	c cleaning 339000 clauses out of 678019 with flag 311628380/57960001
2893.47/2887.56	c cleaning 340002 clauses out of 680019 with flag 313564175/58301001
2911.03/2905.06	c cleaning 340995 clauses out of 682016 with flag 315590094/58643000
2931.04/2925.03	c cleaning 341997 clauses out of 684021 with flag 317677265/58986000
2962.53/2956.57	c cleaning 343005 clauses out of 686025 with flag 319516053/59330001
2985.96/2979.93	c cleaning 344001 clauses out of 688020 with flag 321272753/59675001
3007.21/3001.15	c cleaning 345002 clauses out of 690018 with flag 323110734/60021000
3024.22/3018.19	c cleaning 346000 clauses out of 692016 with flag 324957074/60368000
3046.46/3040.46	c cleaning 347002 clauses out of 694018 with flag 326839630/60716002
3069.92/3063.98	c cleaning 348002 clauses out of 696015 with flag 328586834/61065001
3099.78/3093.87	c cleaning 349001 clauses out of 698012 with flag 330322729/61415000
3115.24/3109.32	c cleaning 349997 clauses out of 700011 with flag 332091826/61766000
3134.44/3128.58	c cleaning 350997 clauses out of 702014 with flag 333771025/62118000
3153.59/3147.62	c cleaning 351999 clauses out of 704018 with flag 335506138/62471001
3176.25/3170.28	c cleaning 353000 clauses out of 706018 with flag 337238329/62825000
3197.03/3191.10	c cleaning 353998 clauses out of 708019 with flag 338907784/63180001
3217.73/3211.77	c cleaning 354994 clauses out of 710020 with flag 340918179/63536000
3240.49/3234.49	c cleaning 356006 clauses out of 712026 with flag 342944837/63893000
3261.46/3255.42	c cleaning 357003 clauses out of 714020 with flag 344750631/64251000
3283.31/3277.32	c cleaning 358000 clauses out of 716018 with flag 346576363/64610001
3309.25/3303.45	c cleaning 359000 clauses out of 718018 with flag 348472873/64970001
3330.84/3325.01	c cleaning 359996 clauses out of 720018 with flag 350291584/65331001
3354.67/3348.99	c cleaning 361001 clauses out of 722021 with flag 352063262/65693000
3375.94/3370.26	c cleaning 362006 clauses out of 724021 with flag 353834041/66056001
3396.75/3391.00	c cleaning 363000 clauses out of 726014 with flag 355675845/66420000
3418.82/3413.03	c cleaning 364003 clauses out of 728015 with flag 357563839/66785001
3442.12/3436.39	c cleaning 364997 clauses out of 730012 with flag 359643130/67151001
3462.29/3456.56	c cleaning 365999 clauses out of 732016 with flag 361569742/67518002
3491.17/3485.42	c cleaning 366996 clauses out of 734016 with flag 363513723/67886001
3514.92/3509.24	c cleaning 368000 clauses out of 736019 with flag 365343728/68255000
3540.96/3535.28	c cleaning 369006 clauses out of 738020 with flag 367206804/68625001
3562.91/3557.26	c cleaning 370000 clauses out of 740013 with flag 369021275/68996000
3586.73/3581.07	c cleaning 370998 clauses out of 742013 with flag 371068586/69368000
3600.08/3594.42	c timeout
3600.08/3594.42	c starts		: 98545
3600.08/3594.44	c conflicts		: 69687895
3600.08/3594.45	c decisions		: 93462431
3600.08/3594.45	c propagations		: 606557136
3600.08/3594.45	c inspects		: 38093954668
3600.08/3594.45	c shortcuts		: 0
3600.08/3594.45	c learnt literals	: 0
3600.08/3594.45	c learnt binary clauses	: 0
3600.08/3594.45	c learnt ternary clauses	: 4
3600.08/3594.45	c learnt constraints	: 69687895
3600.08/3594.45	c ignored constraints	: 0
3600.08/3594.45	c root simplifications	: 0
3600.08/3594.45	c removed literals (reason simplification)	: 0
3600.08/3594.45	c reason swapping (by a shorter reason)	: 0
3600.08/3594.45	c Calls to reduceDB	: 368
3600.08/3594.45	c Number of update (reduction) of LBD	: 8343521
3600.08/3594.45	c Imported unit clauses	: 0
3600.08/3594.45	c No decision after first conflict	: false
3600.08/3594.45	c number of reductions to clauses (during analyze)	: 0
3600.08/3594.45	c number of learned constraints concerned by reduction	: 0
3600.08/3594.45	c number of learning phase by resolution	: 0
3600.08/3594.45	c number of learning phase by cutting planes	: 0
3600.08/3594.45	c number of rounding to 1 operations	: 0
3600.08/3594.45	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3594.45	c number of reductions of the coefficients by power 2 	: 0
3600.08/3594.45	c number of right shift for reduction by power 2 	: 0
3600.08/3594.45	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3594.45	c number of ending skipping 	: 0
3600.08/3594.45	c number of internal skipping 	: 0
3600.08/3594.45	c number of derivation steps 	: 0
3600.08/3594.45	c number of skipped derivation steps 	: 0
3600.08/3594.45	c number of remaining unassigned 	: 0
3600.08/3594.45	c number of remaining assigned 	: 0
3600.08/3594.45	c number of falsified literals weakened from reason	: 0
3600.08/3594.45	c number of falsified literals weakened from conflict	: 0
3600.08/3594.45	c time for arithmetic operations	: 0
3600.08/3594.45	c minimum degree of deleted constraints	: null
3600.08/3594.45	c maximum degree of deleted constraints	: null
3600.08/3594.45	c number of deleted constraints	: 0
3600.08/3594.45	c speed (assignments/second)	: 168759.46793329608
3600.08/3594.45	c non guided choices	: 189618
3600.25/3594.52	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 690910
3600.25/3594.52	s UNKNOWN
3600.25/3594.52	c Total wall clock time (in seconds): 3594.349

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62732 MiB free)
  memory of node 1: 64510 MiB (61546 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447784-1721354361/watcher-4447784-1721354361 -o /tmp/evaluation-result-4447784-1721354361/solver-4447784-1721354361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980649 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4447784-1721354361.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=980966, runsolver pid=980963

[startup+0.101062 s]*
/proc/loadavg: 1.60 1.87 2.58 7/318 980984
/proc/meminfo: memFree=127226744/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=18975048 memory=55976 CPUtime=0.12 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 6621 0 0 0 9 3 0 0 20 0 18 0 187592486 19430449152 13994 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4743762 13994 5547 1 0 550948 0
[pid=980966/tid=980968] ppid=980963 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 1077936192 5528 0 0 0 5 2 0 0 20 0 18 0 187592486 19430449152 13994 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187592491 19430449152 13994 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187592492 19430449152 13994 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55976 KiB

[startup+0.206085 s]*
/proc/loadavg: 1.60 1.87 2.58 7/318 980984
/proc/meminfo: memFree=127216908/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=18975048 memory=66076 CPUtime=0.31 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 7414 0 0 0 28 3 0 0 20 0 18 0 187592486 19430449152 16519 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4743762 16519 5728 1 0 551619 0
[pid=980966/tid=980968] ppid=980963 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 5949 0 0 0 15 2 0 0 20 0 18 0 187592486 19430449152 16519 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=18975048 memory=5697 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187592491 19430449152 16519 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187592492 19430449152 16519 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66076 KiB

[startup+0.30554 s]*
/proc/loadavg: 1.95 1.94 2.60 7/319 980985
/proc/meminfo: memFree=127216572/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19041612 memory=66984 CPUtime=0.5 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 7557 0 0 0 47 3 0 0 20 0 19 0 187592486 19498610688 16746 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4760403 16746 5781 1 0 551952 0
[pid=980966/tid=980968] ppid=980963 vsize=19041612 memory=-8959737101878076092 CPUtime=0.26 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 5998 0 0 0 24 2 0 0 20 0 19 0 187592486 19498610688 16746 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187592491 19498610688 16746 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187592492 19498610688 16746 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187592510 19498610688 16746 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 66984 KiB

[startup+0.701085 s]
/proc/loadavg: 1.95 1.94 2.60 6/319 980985
/proc/meminfo: memFree=127206708/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19041612 memory=77148 CPUtime=1.26 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 10057 0 0 0 122 4 0 0 20 0 19 0 187592486 19498610688 19287 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4760403 19287 5797 1 0 553390 0
[pid=980966/tid=980968] ppid=980963 vsize=19041612 memory=11992 CPUtime=0.63 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 6048 0 0 0 61 2 0 0 20 0 19 0 187592486 19498610688 19287 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19041612 memory=11992 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187592491 19498610688 19287 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187592492 19498610688 19287 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19041612 memory=25208 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187592510 19498610688 19287 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77148 KiB

[startup+1.50108 s]
/proc/loadavg: 1.95 1.94 2.60 6/319 980985
/proc/meminfo: memFree=127191976/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19041612 memory=100284 CPUtime=2.85 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 15574 0 0 0 280 5 0 0 20 0 19 0 187592486 19498610688 25071 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4760403 25071 5829 1 0 554896 0
[pid=980966/tid=980968] ppid=980963 vsize=19041612 memory=11992 CPUtime=1.41 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 6410 0 0 0 138 3 0 0 20 0 19 0 187592486 19498610688 25071 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187592491 19498610688 25071 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187592492 19498610688 25071 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19041612 memory=65 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187592510 19498610688 25071 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100284 KiB

[startup+3.10609 s]
/proc/loadavg: 1.95 1.94 2.60 5/319 980987
/proc/meminfo: memFree=127122352/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19041612 memory=142288 CPUtime=4.95 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 18301 0 0 0 488 7 0 0 20 0 19 0 187592486 19498610688 35572 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4760403 35572 5829 1 0 555581 0
[pid=980966/tid=980968] ppid=980963 vsize=19041612 memory=0 CPUtime=3 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 6747 0 0 0 296 4 0 0 20 0 19 0 187592486 19498610688 35572 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187592491 19498610688 35572 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19041612 memory=107764 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187592492 19498610688 35572 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19041612 memory=11992 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187592510 19498610688 35572 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 4.95 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 142288 KiB

[startup+6.30108 s]
/proc/loadavg: 2.12 1.98 2.61 5/320 980988
/proc/meminfo: memFree=127063952/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19108176 memory=181876 CPUtime=8.12 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 19253 0 0 0 804 8 0 0 20 0 20 0 187592486 19566772224 45469 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4777044 45469 5829 1 0 555870 0
[pid=980966/tid=980968] ppid=980963 vsize=19108176 memory=11992 CPUtime=6.12 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 6779 0 0 0 608 4 0 0 20 0 20 0 187592486 19566772224 45469 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187592491 19566772224 45469 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19108176 memory=6228315996771408211 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 187592492 19566772224 45469 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19108176 memory=5512 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187592510 19566772224 45469 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 8.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181876 KiB

[startup+12.7002 s]
/proc/loadavg: 2.27 2.01 2.62 5/320 980989
/proc/meminfo: memFree=127018592/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19108176 memory=194496 CPUtime=14.5 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 21661 0 0 0 1441 9 0 0 20 0 20 0 187592486 19566772224 48624 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4777044 48624 5877 1 0 555870 0
[pid=980966/tid=980968] ppid=980963 vsize=19108176 memory=0 CPUtime=12.37 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) S 980963 980966 980639 0 -1 1077936192 7629 0 0 0 1233 4 0 0 20 0 20 0 187592486 19566772224 48624 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19108176 memory=188264 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187592491 19566772224 48624 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 187592492 19566772224 48624 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19108176 memory=16252 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187592510 19566772224 48624 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 14.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194496 KiB

[startup+25.5005 s]
/proc/loadavg: 2.53 2.08 2.63 5/321 980992
/proc/meminfo: memFree=126752348/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19108176 memory=282796 CPUtime=27.25 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 24480 0 0 0 2712 13 0 0 20 0 20 0 187592486 19566772224 70699 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4777044 70699 5877 1 0 555870 0
[pid=980966/tid=980968] ppid=980963 vsize=19108176 memory=188264 CPUtime=24.78 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 8700 0 0 0 2473 5 0 0 20 0 20 0 187592486 19566772224 70699 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19108176 memory=16252 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187592491 19566772224 70699 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19108176 memory=4357 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 187592492 19566772224 70699 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19108176 memory=241820 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187592510 19566772224 70699 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 27.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 282796 KiB

[startup+51.1061 s]
/proc/loadavg: 3.16 2.28 2.68 5/321 980995
/proc/meminfo: memFree=126140444/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19108176 memory=609580 CPUtime=52.84 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 29214 0 0 0 5262 22 0 0 20 0 20 0 187592486 19566772224 152395 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4777044 152395 5877 1 0 662388 0
[pid=980966/tid=980968] ppid=980963 vsize=19108176 memory=11600 CPUtime=49.71 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 10266 0 0 0 4964 7 0 0 20 0 20 0 187592486 19566772224 152395 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0

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

[startup+3282.3 s]
/proc/loadavg: 4.21 4.25 4.18 5/320 983801
/proc/meminfo: memFree=120360152/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19108176 memory=3032796 CPUtime=3288.27 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 188805 0 0 0 328619 208 0 0 20 0 20 0 187592486 19566772224 758199 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4777044 758199 5877 1 0 771123 0
[pid=980966/tid=980968] ppid=980963 vsize=19108176 memory=3032796 CPUtime=3255.75 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 78299 0 0 0 325537 38 0 0 20 0 20 0 187592486 19566772224 758199 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187592491 19566772224 758199 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19108176 memory=3032796 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 2482 0 0 0 0 0 0 0 20 0 20 0 187592492 19566772224 758199 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19108176 memory=3032796 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187592510 19566772224 758199 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 3288.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3032796 KiB

[startup+3342.3 s]
/proc/loadavg: 4.31 4.26 4.19 5/319 983944
/proc/meminfo: memFree=121406584/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19108176 memory=3032808 CPUtime=3348.09 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 189403 0 0 0 334599 210 0 0 20 0 20 0 187592486 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4777044 758202 5877 1 0 771139 0
[pid=980966/tid=980968] ppid=980963 vsize=19108176 memory=3032796 CPUtime=3315.46 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 78606 0 0 0 331508 38 0 0 20 0 20 0 187592486 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19108176 memory=129 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187592491 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 2482 0 0 0 0 0 0 0 20 0 20 0 187592492 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187592510 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 3348.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3032808 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.25 4.18 5/317 984338
/proc/meminfo: memFree=121191028/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19108176 memory=3032808 CPUtime=3408.12 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 189526 0 0 0 340599 213 0 0 20 0 20 0 187592486 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4777044 758202 5877 1 0 771139 0
[pid=980966/tid=980968] ppid=980963 vsize=19108176 memory=3032796 CPUtime=3375.1 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 78659 0 0 0 337472 38 0 0 20 0 20 0 187592486 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19108176 memory=3032796 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187592491 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19108176 memory=32180 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 2482 0 0 0 0 0 0 0 20 0 20 0 187592492 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19108176 memory=3032808 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187592510 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 3408.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3032808 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.23 4.18 5/317 984348
/proc/meminfo: memFree=120968904/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19108176 memory=3032808 CPUtime=3468.07 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 190483 0 0 0 346592 215 0 0 20 0 20 0 187592486 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4777044 758202 5877 1 0 771139 0
[pid=980966/tid=980968] ppid=980963 vsize=19108176 memory=3032796 CPUtime=3434.83 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 79415 0 0 0 343445 38 0 0 20 0 20 0 187592486 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19108176 memory=3032796 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187592491 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19108176 memory=2312 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 2486 0 0 0 0 0 0 0 20 0 20 0 187592492 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19108176 memory=3032808 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187592510 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 3468.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3032808 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.22 4.18 5/317 984358
/proc/meminfo: memFree=120732288/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19108176 memory=3032808 CPUtime=3528.08 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 191761 0 0 0 352591 217 0 0 20 0 20 0 187592486 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4777044 758202 5877 1 0 771139 0
[pid=980966/tid=980968] ppid=980963 vsize=19108176 memory=3032808 CPUtime=3494.36 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 79603 0 0 0 349398 38 0 0 20 0 20 0 187592486 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19108176 memory=25208 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187592491 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19108176 memory=1944 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 2534 0 0 0 0 0 0 0 20 0 20 0 187592492 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19108176 memory=3032808 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187592510 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 3528.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3032808 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.19 4.17 6/321 984543
/proc/meminfo: memFree=120610208/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19108176 memory=3032808 CPUtime=3588.02 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 192078 0 0 0 358583 219 0 0 20 0 20 0 187592486 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4777044 758202 5877 1 0 771139 0
[pid=980966/tid=980968] ppid=980963 vsize=19108176 memory=3032808 CPUtime=3554.08 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 79872 0 0 0 355370 38 0 0 20 0 20 0 187592486 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187592491 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19108176 memory=43996 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 2534 0 0 0 0 0 0 0 20 0 20 0 187592492 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19108176 memory=3032808 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187592510 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 3588.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3032808 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.4 s]
/proc/loadavg: 4.01 4.17 4.17 4/298 984627
/proc/meminfo: memFree=123960844/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19108176 memory=3032808 CPUtime=3600.08 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 192128 0 0 0 359789 219 0 0 20 0 20 0 187592486 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4777044 758202 5877 1 0 771139 0
[pid=980966/tid=980968] ppid=980963 vsize=19108176 memory=7955157282041129059 CPUtime=3566.15 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) R 980963 980966 980639 0 -1 4194368 79922 0 0 0 356576 39 0 0 20 0 20 0 187592486 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19108176 memory=3032808 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187592491 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19108176 memory=5512 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 2534 0 0 0 0 0 0 0 20 0 20 0 187592492 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980985] ppid=980963 vsize=19108176 memory=-8959737101878076092 CPUtime=0 cores=0,2
/proc/980966/task/980985/stat : 980985 (Timer-0) S 980963 980966 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187592510 19566772224 758202 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3032808 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.1 s, system=2.22176 s

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

[startup+3594.5 s]
/proc/loadavg: 4.01 4.17 4.17 4/298 984627
/proc/meminfo: memFree=123960844/131655788 swapFree=131071996/131071996
[pid=980966] ppid=980963 vsize=19307868 memory=3033512 CPUtime=3600.25 cores=0,2
/proc/980966/stat : 980966 (java) S 980963 980966 980639 0 -1 1077936128 194809 0 0 0 359805 220 0 0 20 0 21 0 187592486 19771256832 758378 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
/proc/980966/statm: 4826967 758378 5876 1 0 772062 0
[pid=980966/tid=980968] ppid=980963 vsize=19307868 memory=1840 CPUtime=3566.17 cores=0,2
/proc/980966/task/980968/stat : 980968 (java) S 980963 980966 980639 0 -1 1077936192 80181 0 0 0 356578 39 0 0 20 0 21 0 187592486 19771256832 758378 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980977] ppid=980963 vsize=19307868 memory=3032808 CPUtime=0 cores=0,2
/proc/980966/task/980977/stat : 980977 (Finalizer) S 980963 980966 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 187592491 19771256832 758378 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
[pid=980966/tid=980984] ppid=980963 vsize=19307868 memory=1840 CPUtime=0 cores=0,2
/proc/980966/task/980984/stat : 980984 (Common-Cleaner) S 980963 980966 980639 0 -1 1077936192 2534 0 0 0 0 0 0 0 20 0 21 0 187592492 19771256832 758378 134679101440 94887810813952 94887810817648 140731421602192 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94887810825464 94887810826256 94887812321280 140731421611014 140731421611104 140731421611104 140731421618120 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3033512 KiB

Child status: 143

Real time (s): 3594.56
CPU time (s): 3600.32
CPU user time (s): 3598.1
CPU system time (s): 2.22176
CPU usage (%): 100.16
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3033512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.1
system time used= 2.22176
maximum resident set size= 3034420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110597
involuntary context switches= 26452


# summary of solver processes directly reported to runsolver:
#   pid: 980966
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3598.1
#   total CPU system time (s): 2.22176

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.845 second user time and 35.6403 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 03:59:33
IDJOB=4447784
IDBENCH=160323
IDSOLVER=3058
FILE ID=nodeC008/4447784-1721354361
RUNJOBID= nodeC008-1721354365-980649
SLURM_JOB_ID= 7542775
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n236-d3-i2-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447784-1721354361/watcher-4447784-1721354361 -o /tmp/evaluation-result-4447784-1721354361/solver-4447784-1721354361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980649 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4447784-1721354361.opb

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

MD5SUM BENCH= b320e8df0d5fbea72b736842c910ba4c
RANDOM SEED=1551356991

nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127262716 kB
MemAvailable:   129535536 kB
Buffers:          541240 kB
Cached:          2550156 kB
SwapCached:            0 kB
Active:          1055656 kB
Inactive:        2746048 kB
Active(anon):       1484 kB
Inactive(anon):   746204 kB
Active(file):    1054172 kB
Inactive(file):  1999844 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4328 kB
Writeback:             0 kB
AnonPages:        710096 kB
Mapped:           126316 kB
Shmem:             37704 kB
KReclaimable:     117668 kB
Slab:             222256 kB
SReclaimable:     117668 kB
SUnreclaim:       104588 kB
KernelStack:        4864 kB
PageTables:        11440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7277468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58656 kB
HardwareCorrupted:     0 kB
AnonHugePages:    471040 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-19 04:59:28