Trace number 4432166

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.3 3599.04

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-bg512142.opb
MD5SUMc14f7c55e56be8814a9acdc0ce68bb69
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24875458587
Best CPU time to get the best result obtained on this benchmark3600.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16800
Total number of constraints945
Number of constraints which are clauses11
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints934
Minimum length of a constraint1
Maximum length of a constraint183
Number of terms in the objective function 9600
Biggest coefficient in the objective function 5368709120000
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 773893279252632
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 5368709120000
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 773893279252632
Number of bits of the biggest sum of numbers50
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432166-1721066212.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.53/0.34	c ... done. Wall clock time 0.214s.
0.53/0.34	c declared #vars     16800
0.53/0.34	c #constraints  1185
0.53/0.34	c constraints type 
0.53/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
0.53/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1171
0.53/0.34	c org.sat4j.specs.Constr$1 => 4
0.53/0.34	c org.sat4j.pb.constraints.pb.UnitClausePB => 9
0.53/0.34	c 1185 constraints processed.
0.53/0.36	c objective function length is 9600 literals
2.67/1.47	c cleaning 2496 clauses out of 5000 with flag 18847/5000
4.19/2.21	c cleaning 4242 clauses out of 8506 with flag 38011/11002
4.84/2.71	c cleaning 5619 clauses out of 11262 with flag 69302/18000
5.64/3.43	c cleaning 6801 clauses out of 13644 with flag 107711/26001
6.30/3.99	c cleaning 7909 clauses out of 15817 with flag 132363/35000
7.38/4.56	c cleaning 8944 clauses out of 17910 with flag 162185/45002
7.93/5.08	c cleaning 9972 clauses out of 19967 with flag 195205/56003
8.54/5.66	c cleaning 10987 clauses out of 21992 with flag 231420/68000
9.13/6.28	c cleaning 11990 clauses out of 24005 with flag 271319/81000
9.85/6.95	c cleaning 12993 clauses out of 26016 with flag 314477/95001
10.64/7.70	c cleaning 13998 clauses out of 28024 with flag 360087/110002
11.34/8.46	c cleaning 14994 clauses out of 30025 with flag 408487/126001
12.17/9.26	c cleaning 16001 clauses out of 32030 with flag 458772/143000
13.09/10.11	c cleaning 17004 clauses out of 34029 with flag 511704/161000
13.99/11.05	c cleaning 18002 clauses out of 36026 with flag 568683/180001
14.98/12.05	c cleaning 19003 clauses out of 38023 with flag 628813/200000
16.10/13.11	c cleaning 19996 clauses out of 40020 with flag 690845/221000
17.22/14.28	c cleaning 20996 clauses out of 42024 with flag 757460/243000
18.52/15.53	c cleaning 22001 clauses out of 44031 with flag 827447/266003
19.82/16.87	c cleaning 22999 clauses out of 46027 with flag 900517/290000
21.24/18.25	c cleaning 24003 clauses out of 48029 with flag 976621/315001
22.74/19.73	c cleaning 24996 clauses out of 50025 with flag 1054162/341000
24.26/21.24	c cleaning 25995 clauses out of 52030 with flag 1138735/368001
25.84/22.80	c cleaning 27003 clauses out of 54036 with flag 1228058/396002
27.36/24.32	c cleaning 28011 clauses out of 56033 with flag 1318897/425002
28.85/25.84	c cleaning 29000 clauses out of 58021 with flag 1410287/455001
30.36/27.38	c cleaning 30005 clauses out of 60021 with flag 1504800/486001
32.19/29.11	c cleaning 30994 clauses out of 62016 with flag 1604495/518001
33.87/30.84	c cleaning 31998 clauses out of 64022 with flag 1708006/551001
35.65/32.64	c cleaning 32994 clauses out of 66023 with flag 1813524/585000
37.47/34.49	c cleaning 34002 clauses out of 68029 with flag 1921421/620000
39.35/36.36	c cleaning 34993 clauses out of 70027 with flag 2032760/656000
41.27/38.29	c cleaning 35998 clauses out of 72034 with flag 2147555/693000
43.25/40.26	c cleaning 37001 clauses out of 74036 with flag 2264257/731000
45.33/42.34	c cleaning 38003 clauses out of 76035 with flag 2387021/770000
47.71/44.74	c cleaning 39007 clauses out of 78032 with flag 2507762/810000
49.99/47.08	c cleaning 40004 clauses out of 80025 with flag 2633729/851000
52.37/49.44	c cleaning 40998 clauses out of 82024 with flag 2762744/893003
54.93/51.99	c cleaning 41996 clauses out of 84023 with flag 2893887/936000
57.31/54.37	c cleaning 42997 clauses out of 86027 with flag 3029153/980000
59.89/56.96	c cleaning 44000 clauses out of 88031 with flag 3168849/1025001
62.74/59.76	c cleaning 44998 clauses out of 90031 with flag 3308657/1071001
65.42/62.40	c cleaning 45999 clauses out of 92032 with flag 3452493/1118000
68.09/65.15	c cleaning 47004 clauses out of 94033 with flag 3601237/1166000
71.06/68.00	c cleaning 47997 clauses out of 96030 with flag 3754064/1215001
73.63/70.64	c cleaning 48998 clauses out of 98032 with flag 3908530/1265000
76.30/73.37	c cleaning 50008 clauses out of 100034 with flag 4068214/1316000
79.68/76.76	c cleaning 51004 clauses out of 102027 with flag 4231601/1368001
82.83/79.83	c cleaning 51993 clauses out of 104023 with flag 4397927/1421001
86.01/83.06	c cleaning 53001 clauses out of 106029 with flag 4567657/1475000
89.45/86.45	c cleaning 53998 clauses out of 108029 with flag 4736675/1530001
93.21/90.24	c cleaning 54997 clauses out of 110030 with flag 4904776/1586000
96.48/93.54	c cleaning 56004 clauses out of 112033 with flag 5078776/1643000
99.85/96.97	c cleaning 56996 clauses out of 114029 with flag 5259258/1701000
103.88/100.98	c cleaning 58000 clauses out of 116033 with flag 5443278/1760000
107.84/104.92	c cleaning 58992 clauses out of 118033 with flag 5630269/1820000
111.61/108.78	c cleaning 60002 clauses out of 120043 with flag 5820497/1881002
116.07/113.26	c cleaning 61005 clauses out of 122040 with flag 6015403/1943001
119.95/117.08	c cleaning 62001 clauses out of 124034 with flag 6213991/2006000
123.52/120.66	c cleaning 62996 clauses out of 126035 with flag 6413085/2070002
127.38/124.52	c cleaning 63996 clauses out of 128038 with flag 6615842/2135001
131.05/128.20	c cleaning 64998 clauses out of 130043 with flag 6824017/2201002
135.11/131.94	c cleaning 66011 clauses out of 132044 with flag 7031953/2268001
138.98/135.80	c cleaning 67002 clauses out of 134032 with flag 7245218/2336000
142.94/139.82	c cleaning 68002 clauses out of 136033 with flag 7463104/2405003
147.04/143.94	c cleaning 69002 clauses out of 138028 with flag 7683889/2475000
151.21/148.10	c cleaning 70000 clauses out of 140026 with flag 7909794/2546000
155.76/152.79	c cleaning 70993 clauses out of 142026 with flag 8138160/2618000
160.13/157.18	c cleaning 72002 clauses out of 144033 with flag 8369630/2691000
164.93/161.87	c cleaning 72998 clauses out of 146031 with flag 8603193/2765000
170.28/167.22	c cleaning 73997 clauses out of 148034 with flag 8840183/2840001
175.66/172.65	c cleaning 75005 clauses out of 150036 with flag 9079109/2916000
181.20/178.07	c cleaning 75997 clauses out of 152031 with flag 9316429/2993000
186.21/183.00	c cleaning 77002 clauses out of 154034 with flag 9557596/3071000
191.39/188.28	c cleaning 77993 clauses out of 156032 with flag 9803734/3150000
196.53/193.38	c cleaning 78997 clauses out of 158039 with flag 10052988/3230000
202.02/198.87	c cleaning 80009 clauses out of 160042 with flag 10301980/3311000
206.61/203.46	c cleaning 81003 clauses out of 162033 with flag 10559707/3393000
212.13/208.93	c cleaning 82006 clauses out of 164030 with flag 10817876/3476000
217.42/214.22	c cleaning 83003 clauses out of 166024 with flag 11078114/3560000
222.61/219.46	c cleaning 83997 clauses out of 168021 with flag 11345836/3645000
227.80/224.66	c cleaning 84998 clauses out of 170024 with flag 11615572/3731000
233.24/230.03	c cleaning 85999 clauses out of 172026 with flag 11888704/3818000
238.62/235.47	c cleaning 86999 clauses out of 174027 with flag 12167685/3906000
245.71/242.56	c cleaning 88001 clauses out of 176028 with flag 12449401/3995000
251.20/248.08	c cleaning 89001 clauses out of 178027 with flag 12735930/4085000
257.48/254.37	c cleaning 89998 clauses out of 180026 with flag 13023018/4176000
263.77/260.69	c cleaning 90998 clauses out of 182028 with flag 13313122/4268000
271.06/267.76	c cleaning 92000 clauses out of 184030 with flag 13612022/4361000
277.35/274.06	c cleaning 92998 clauses out of 186030 with flag 13911082/4455000
283.43/280.17	c cleaning 94002 clauses out of 188032 with flag 14219367/4550000
290.65/287.27	c cleaning 95000 clauses out of 190032 with flag 14527036/4646002
296.35/292.95	c cleaning 95996 clauses out of 192030 with flag 14831333/4743000
302.54/299.13	c cleaning 97002 clauses out of 194034 with flag 15136850/4841000
308.42/305.05	c cleaning 98002 clauses out of 196032 with flag 15447145/4940000
314.96/311.52	c cleaning 98998 clauses out of 198030 with flag 15755852/5040000
321.05/317.64	c cleaning 100001 clauses out of 200032 with flag 16071528/5141000
327.64/324.23	c cleaning 101000 clauses out of 202032 with flag 16393038/5243001
335.18/331.67	c cleaning 101996 clauses out of 204031 with flag 16721629/5346000
341.81/338.35	c cleaning 102995 clauses out of 206035 with flag 17055909/5450000
348.74/345.36	c cleaning 104003 clauses out of 208040 with flag 17394185/5555000
357.30/353.49	c cleaning 105002 clauses out of 210037 with flag 17735207/5661000
363.90/360.10	c cleaning 106000 clauses out of 212036 with flag 18076131/5768001
371.08/367.20	c cleaning 106999 clauses out of 214036 with flag 18420750/5876001
378.17/374.32	c cleaning 107996 clauses out of 216036 with flag 18770417/5985000
385.06/381.28	c cleaning 109000 clauses out of 218040 with flag 19121048/6095000
393.94/390.18	c cleaning 110006 clauses out of 220041 with flag 19473422/6206001
402.32/398.55	c cleaning 110998 clauses out of 222034 with flag 19829176/6318000
411.49/407.67	c cleaning 112006 clauses out of 224030 with flag 20224587/6431001
416.58/412.72	c cleaning 112986 clauses out of 226022 with flag 20525942/6545000
421.67/417.81	c cleaning 113999 clauses out of 228037 with flag 20756151/6660001
426.36/422.50	c cleaning 115001 clauses out of 230038 with flag 20988416/6776001
431.55/427.76	c cleaning 115998 clauses out of 232036 with flag 21223110/6893000
437.44/433.65	c cleaning 117001 clauses out of 234039 with flag 21460287/7011001
443.12/439.36	c cleaning 118003 clauses out of 236039 with flag 21698408/7130002
447.81/444.06	c cleaning 118999 clauses out of 238035 with flag 21938775/7250001
452.61/448.80	c cleaning 119998 clauses out of 240035 with flag 22180925/7371000
457.49/453.68	c cleaning 120998 clauses out of 242037 with flag 22425058/7493000
462.79/458.95	c cleaning 122000 clauses out of 244039 with flag 22671618/7616000
467.88/464.05	c cleaning 122999 clauses out of 246039 with flag 22920200/7740000
474.76/470.99	c cleaning 123999 clauses out of 248041 with flag 23170814/7865001
480.54/476.78	c cleaning 124993 clauses out of 250042 with flag 23423328/7991001
486.83/483.02	c cleaning 126003 clauses out of 252049 with flag 23677930/8118001
492.41/488.67	c cleaning 127004 clauses out of 254045 with flag 23934282/8246000
498.81/495.10	c cleaning 127997 clauses out of 256041 with flag 24192645/8375000
503.39/499.62	c cleaning 129004 clauses out of 258045 with flag 24452851/8505001
508.58/504.89	c cleaning 130000 clauses out of 260041 with flag 24715019/8636001
513.47/509.79	c cleaning 130998 clauses out of 262040 with flag 24979201/8768000
518.96/515.21	c cleaning 132002 clauses out of 264043 with flag 25245434/8901001
526.24/522.53	c cleaning 132999 clauses out of 266042 with flag 25513648/9035002
534.37/530.60	c cleaning 134000 clauses out of 268042 with flag 25785191/9170001
541.06/537.38	c cleaning 135006 clauses out of 270042 with flag 26058046/9306001
549.24/545.55	c cleaning 136000 clauses out of 272036 with flag 26332304/9443001
555.13/551.48	c cleaning 136996 clauses out of 274035 with flag 26608675/9581000
560.62/556.98	c cleaning 137999 clauses out of 276039 with flag 26887960/9720000
566.41/562.76	c cleaning 139001 clauses out of 278041 with flag 27168366/9860001
573.29/569.64	c cleaning 140000 clauses out of 280039 with flag 27450751/10001000
579.28/575.60	c cleaning 140998 clauses out of 282041 with flag 27734970/10143002
584.67/581.01	c cleaning 142006 clauses out of 284041 with flag 28021144/10286000
590.86/587.21	c cleaning 143000 clauses out of 286035 with flag 28309302/10430000
596.75/593.15	c cleaning 144002 clauses out of 288036 with flag 28599457/10575001
602.23/598.68	c cleaning 145000 clauses out of 290035 with flag 28891641/10721002
608.31/604.77	c cleaning 145999 clauses out of 292034 with flag 29185793/10868001
615.99/612.34	c cleaning 146998 clauses out of 294034 with flag 29481939/11016000
623.03/619.44	c cleaning 148000 clauses out of 296036 with flag 29780134/11165000
629.18/625.69	c cleaning 148994 clauses out of 298036 with flag 30080447/11315000
636.11/632.65	c cleaning 150002 clauses out of 300043 with flag 30382902/11466001
643.74/640.35	c cleaning 151005 clauses out of 302042 with flag 30687899/11618002
651.08/647.76	c cleaning 152002 clauses out of 304036 with flag 30994460/11771001
659.27/655.91	c cleaning 153000 clauses out of 306034 with flag 31303023/11925001
667.60/664.32	c cleaning 153997 clauses out of 308034 with flag 31613604/12080001
675.13/671.93	c cleaning 155003 clauses out of 310036 with flag 31926295/12236000
682.96/679.89	c cleaning 156002 clauses out of 312036 with flag 32240660/12393003
689.70/686.70	c cleaning 156996 clauses out of 314031 with flag 32556972/12551000
700.01/697.01	c cleaning 158001 clauses out of 316035 with flag 32875665/12710000
708.04/705.14	c cleaning 158998 clauses out of 318034 with flag 33195932/12870000
716.17/713.38	c cleaning 159998 clauses out of 320036 with flag 33518276/13031000
724.20/721.42	c cleaning 160992 clauses out of 322038 with flag 33842738/13193000
731.64/728.96	c cleaning 162005 clauses out of 324048 with flag 34168922/13356002
741.06/738.35	c cleaning 163005 clauses out of 326043 with flag 34497124/13520002
749.10/746.45	c cleaning 164000 clauses out of 328037 with flag 34827386/13685001
757.82/755.21	c cleaning 165002 clauses out of 330037 with flag 35159626/13851001
765.95/763.45	c cleaning 166001 clauses out of 332034 with flag 35494104/14018000
777.94/775.53	c cleaning 166998 clauses out of 334033 with flag 35830405/14186000
786.95/784.42	c cleaning 168002 clauses out of 336035 with flag 36168511/14355000
796.04/793.57	c cleaning 169002 clauses out of 338033 with flag 36508672/14525000
805.21/802.71	c cleaning 169999 clauses out of 340032 with flag 36850858/14696001
814.29/811.82	c cleaning 170996 clauses out of 342034 with flag 37195135/14868002
821.49/819.04	c cleaning 172004 clauses out of 344037 with flag 37541311/15041001
831.56/828.54	c cleaning 172999 clauses out of 346032 with flag 37889568/15215000
841.11/838.15	c cleaning 174002 clauses out of 348034 with flag 38240504/15390001
851.59/848.69	c cleaning 174998 clauses out of 350032 with flag 38593387/15566001
861.87/858.98	c cleaning 176002 clauses out of 352036 with flag 38948747/15743003
871.25/868.31	c cleaning 177001 clauses out of 354032 with flag 39305893/15921001
883.89/880.90	c cleaning 177998 clauses out of 356030 with flag 39664688/16100000
899.96/897.10	c cleaning 178998 clauses out of 358033 with flag 40025510/16280001
910.84/907.94	c cleaning 180002 clauses out of 360034 with flag 40388682/16461000
922.32/919.49	c cleaning 181003 clauses out of 362032 with flag 40753936/16643000
933.01/930.18	c cleaning 181994 clauses out of 364030 with flag 41120433/16826001
942.28/939.29	c cleaning 182999 clauses out of 366036 with flag 41488706/17010001
954.86/951.86	c cleaning 183999 clauses out of 368036 with flag 41859011/17195000
968.28/965.32	c cleaning 185000 clauses out of 370038 with flag 42231142/17381001
979.47/976.59	c cleaning 186002 clauses out of 372037 with flag 42605349/17568000
990.24/987.30	c cleaning 186999 clauses out of 374035 with flag 42981560/17756000
1002.67/999.78	c cleaning 187995 clauses out of 376036 with flag 43359852/17945000
1015.46/1012.57	c cleaning 189004 clauses out of 378041 with flag 43740078/18135000
1024.54/1021.62	c cleaning 190000 clauses out of 380037 with flag 44122241/18326000
1033.22/1030.36	c cleaning 190998 clauses out of 382038 with flag 44506538/18518001
1045.30/1042.40	c cleaning 192004 clauses out of 384040 with flag 44892818/18711001
1055.79/1052.96	c cleaning 192998 clauses out of 386036 with flag 45281080/18905001
1067.81/1064.99	c cleaning 193999 clauses out of 388037 with flag 45671761/19100000
1081.10/1078.23	c cleaning 195005 clauses out of 390038 with flag 46065281/19296000
1094.27/1091.41	c cleaning 195996 clauses out of 392033 with flag 46460839/19493000
1104.05/1101.23	c cleaning 196999 clauses out of 394038 with flag 46857457/19691001
1115.24/1112.46	c cleaning 197998 clauses out of 396038 with flag 47256347/19890000
1126.51/1123.77	c cleaning 198998 clauses out of 398041 with flag 47657342/20090001
1136.29/1133.59	c cleaning 200004 clauses out of 400043 with flag 48059907/20291001
1149.17/1146.37	c cleaning 201000 clauses out of 402039 with flag 48464505/20493001
1163.15/1160.39	c cleaning 202000 clauses out of 404040 with flag 48870797/20696002
1173.23/1170.40	c cleaning 203000 clauses out of 406039 with flag 49279077/20900001
1183.71/1180.99	c cleaning 203997 clauses out of 408038 with flag 49689488/21105000
1193.58/1190.80	c cleaning 204999 clauses out of 410041 with flag 50102046/21311000
1213.72/1210.81	c cleaning 206003 clauses out of 412042 with flag 50516513/21518000
1225.19/1222.36	c cleaning 207003 clauses out of 414039 with flag 50933298/21726000
1245.36/1242.56	c cleaning 207997 clauses out of 416036 with flag 51352445/21935000
1261.02/1258.20	c cleaning 209005 clauses out of 418040 with flag 51773569/22145001
1276.39/1272.97	c cleaning 209997 clauses out of 420034 with flag 52196909/22356000
1290.56/1287.27	c cleaning 211003 clauses out of 422037 with flag 52621735/22568000
1302.36/1299.17	c cleaning 212004 clauses out of 424035 with flag 53048471/22781001
1315.95/1312.87	c cleaning 213001 clauses out of 426030 with flag 53476861/22995000
1336.18/1333.10	c cleaning 214000 clauses out of 428030 with flag 53907665/23210001
1348.56/1345.55	c cleaning 214999 clauses out of 430029 with flag 54340176/23426000
1368.51/1365.53	c cleaning 215998 clauses out of 432030 with flag 54774576/23643000
1382.48/1379.51	c cleaning 217001 clauses out of 434032 with flag 55211277/23861000
1394.65/1391.71	c cleaning 218001 clauses out of 436031 with flag 55649510/24080000
1415.17/1412.11	c cleaning 218998 clauses out of 438030 with flag 56089944/24300000
1428.93/1425.95	c cleaning 220003 clauses out of 440032 with flag 56532512/24521000
1441.61/1438.65	c cleaning 220996 clauses out of 442030 with flag 56977034/24743001
1457.19/1454.23	c cleaning 222004 clauses out of 444035 with flag 57423494/24966002
1471.86/1468.97	c cleaning 222997 clauses out of 446029 with flag 57872147/25190000
1486.62/1483.56	c cleaning 224002 clauses out of 448032 with flag 58322482/25415000
1502.20/1499.15	c cleaning 225002 clauses out of 450030 with flag 58774958/25641000
1521.55/1518.53	c cleaning 226000 clauses out of 452029 with flag 59231752/25868001
1541.12/1538.15	c cleaning 226996 clauses out of 454028 with flag 59688251/26096000
1556.64/1553.64	c cleaning 228002 clauses out of 456032 with flag 60146760/26325000
1573.90/1570.98	c cleaning 228999 clauses out of 458031 with flag 60607298/26555001
1588.97/1586.08	c cleaning 230002 clauses out of 460031 with flag 61069847/26786000
1604.64/1601.71	c cleaning 230996 clauses out of 462030 with flag 61534573/27018001
1621.96/1619.07	c cleaning 232003 clauses out of 464033 with flag 62000983/27251000
1637.93/1635.02	c cleaning 232994 clauses out of 466031 with flag 62469453/27485001
1656.99/1654.14	c cleaning 234004 clauses out of 468037 with flag 62939966/27720001
1674.35/1670.99	c cleaning 235001 clauses out of 470032 with flag 63412496/27956000
1689.91/1686.65	c cleaning 236001 clauses out of 472031 with flag 63887192/28193000
1709.32/1706.25	c cleaning 236999 clauses out of 474031 with flag 64363892/28431001
1728.55/1725.62	c cleaning 238001 clauses out of 476032 with flag 64842550/28670001
1759.12/1756.27	c cleaning 239002 clauses out of 478030 with flag 65323197/28910000
1779.97/1777.17	c cleaning 239988 clauses out of 480028 with flag 65806251/29151000
1798.43/1795.69	c cleaning 241006 clauses out of 482041 with flag 66291528/29393001
1812.90/1810.16	c cleaning 242005 clauses out of 484034 with flag 66778121/29636000
1830.25/1827.56	c cleaning 242998 clauses out of 486031 with flag 67266604/29880002
1844.52/1841.67	c cleaning 243996 clauses out of 488032 with flag 67757272/30125001
1861.88/1859.01	c cleaning 245006 clauses out of 490035 with flag 68249825/30371000
1875.85/1873.02	c cleaning 245996 clauses out of 492030 with flag 68744149/30618001
1890.21/1887.40	c cleaning 246998 clauses out of 494034 with flag 69240664/30866001
1902.90/1900.04	c cleaning 248000 clauses out of 496036 with flag 69739133/31115001
1918.46/1915.68	c cleaning 248995 clauses out of 498036 with flag 70239809/31365001
1944.60/1941.84	c cleaning 250004 clauses out of 500040 with flag 70742581/31616000
1958.88/1956.13	c cleaning 250998 clauses out of 502036 with flag 71247089/31868000
1975.74/1972.95	c cleaning 252004 clauses out of 504040 with flag 71753692/32121002
1993.40/1990.63	c cleaning 252999 clauses out of 506034 with flag 72262087/32375000
2011.16/2008.40	c cleaning 254003 clauses out of 508036 with flag 72772658/32630001
2030.54/2027.19	c cleaning 255000 clauses out of 510032 with flag 73285302/32886000
2048.59/2045.20	c cleaning 255998 clauses out of 512032 with flag 73800022/33143000
2063.57/2060.27	c cleaning 256997 clauses out of 514034 with flag 74316544/33401000
2079.25/2075.94	c cleaning 258001 clauses out of 516037 with flag 74835118/33660000
2098.27/2094.95	c cleaning 259001 clauses out of 518036 with flag 75355808/33920000
2114.14/2110.81	c cleaning 259999 clauses out of 520035 with flag 75878306/34181000
2130.41/2127.19	c cleaning 261000 clauses out of 522037 with flag 76402930/34443001
2153.05/2149.83	c cleaning 262001 clauses out of 524037 with flag 76929946/34706001
2172.63/2169.34	c cleaning 263001 clauses out of 526035 with flag 77458716/34970000
2195.30/2192.08	c cleaning 263999 clauses out of 528034 with flag 77990121/35235000
2212.08/2208.81	c cleaning 265004 clauses out of 530036 with flag 78522706/35501001
2229.44/2226.26	c cleaning 265997 clauses out of 532031 with flag 79057706/35768000
2245.22/2242.07	c cleaning 266999 clauses out of 534035 with flag 79594416/36036001
2265.91/2262.66	c cleaning 268002 clauses out of 536035 with flag 80133248/36305000
2285.58/2282.31	c cleaning 269003 clauses out of 538009 with flag 80690227/36575000
2303.44/2300.29	c cleaning 270000 clauses out of 540007 with flag 81254131/36846001
2321.19/2317.90	c cleaning 271000 clauses out of 542006 with flag 81820617/37118000
2337.06/2333.86	c cleaning 272000 clauses out of 544007 with flag 82389767/37391001
2355.88/2352.66	c cleaning 273002 clauses out of 546007 with flag 82960969/37665001
2371.73/2368.68	c cleaning 273999 clauses out of 548004 with flag 83534316/37940000
2391.78/2387.94	c cleaning 274998 clauses out of 550006 with flag 84110004/38216001
2408.36/2404.53	c cleaning 276000 clauses out of 552008 with flag 84687951/38493001
2426.75/2422.93	c cleaning 276999 clauses out of 554007 with flag 85267942/38771000
2443.81/2440.10	c cleaning 277999 clauses out of 556009 with flag 85850168/39050001
2461.24/2457.71	c cleaning 279002 clauses out of 558010 with flag 86434447/39330001
2480.17/2476.77	c cleaning 279999 clauses out of 560008 with flag 87019071/39611001
2498.50/2495.24	c cleaning 281001 clauses out of 562008 with flag 87606363/39893000
2515.74/2512.67	c cleaning 282000 clauses out of 564008 with flag 88196194/40176001
2530.66/2527.53	c cleaning 283001 clauses out of 566007 with flag 88788375/40460000
2548.69/2545.74	c cleaning 284000 clauses out of 568007 with flag 89383292/40745001
2566.23/2563.47	c cleaning 285001 clauses out of 570006 with flag 89980408/41031000
2584.26/2581.52	c cleaning 285998 clauses out of 572006 with flag 90579202/41318001
2602.61/2600.09	c cleaning 287002 clauses out of 574007 with flag 91180655/41606000
2622.57/2620.06	c cleaning 288000 clauses out of 576006 with flag 91783933/41895001
2638.04/2635.67	c cleaning 288999 clauses out of 578005 with flag 92388586/42185000
2657.86/2655.69	c cleaning 289999 clauses out of 580006 with flag 92995173/42476000
2676.98/2674.03	c cleaning 291001 clauses out of 582007 with flag 93603881/42768000
2698.53/2695.69	c cleaning 292001 clauses out of 584007 with flag 94215202/43061001
2718.14/2715.16	c cleaning 292999 clauses out of 586005 with flag 94828847/43355000
2736.01/2733.05	c cleaning 294000 clauses out of 588007 with flag 95444413/43650001
2755.29/2752.36	c cleaning 295000 clauses out of 590007 with flag 96062468/43946001
2776.20/2773.45	c cleaning 296001 clauses out of 592007 with flag 96682664/44243001
2795.83/2793.27	c cleaning 296999 clauses out of 594005 with flag 97305018/44541000
2816.19/2813.73	c cleaning 297999 clauses out of 596006 with flag 97929297/44840000
2836.32/2834.00	c cleaning 299000 clauses out of 598007 with flag 98555694/45140000
2854.16/2852.07	c cleaning 300002 clauses out of 600008 with flag 99183706/45441001
2873.86/2871.87	c cleaning 300997 clauses out of 602006 with flag 99814086/45743001
2894.37/2892.57	c cleaning 302002 clauses out of 604009 with flag 100446458/46046001
2915.78/2914.14	c cleaning 302999 clauses out of 606006 with flag 101080742/46350000
2936.81/2935.27	c cleaning 304001 clauses out of 608008 with flag 101717513/46655001
2957.53/2956.15	c cleaning 304998 clauses out of 610006 with flag 102356323/46961000
2978.73/2977.57	c cleaning 306001 clauses out of 612009 with flag 102997308/47268001
3000.60/2998.88	c cleaning 307002 clauses out of 614007 with flag 103640223/47576000
3021.95/3020.26	c cleaning 308003 clauses out of 616005 with flag 104285245/47885000
3041.31/3039.66	c cleaning 308998 clauses out of 618002 with flag 104932689/48195000
3064.32/3062.68	c cleaning 309998 clauses out of 620004 with flag 105582265/48506000
3086.37/3084.74	c cleaning 311002 clauses out of 622007 with flag 106233513/48818001
3108.92/3107.31	c cleaning 312000 clauses out of 624005 with flag 106887213/49131001
3130.55/3128.91	c cleaning 312999 clauses out of 626004 with flag 107542552/49445000
3149.82/3148.20	c cleaning 313999 clauses out of 628005 with flag 108200272/49760000
3171.48/3169.91	c cleaning 315001 clauses out of 630007 with flag 108860229/50076001
3193.11/3191.50	c cleaning 315999 clauses out of 632006 with flag 109522273/50393001
3217.18/3215.69	c cleaning 317000 clauses out of 634007 with flag 110186726/50711001
3240.93/3239.48	c cleaning 317999 clauses out of 636007 with flag 110853332/51030001
3264.12/3262.54	c cleaning 319002 clauses out of 638007 with flag 111521796/51350000
3289.59/3288.25	c cleaning 319998 clauses out of 640005 with flag 112192370/51671000
3314.66/3313.51	c cleaning 321001 clauses out of 642007 with flag 112865798/51993000
3339.69/3338.62	c cleaning 322000 clauses out of 644007 with flag 113541084/52316001
3365.26/3364.47	c cleaning 323000 clauses out of 646007 with flag 114218674/52640001
3390.15/3389.50	c cleaning 324004 clauses out of 648007 with flag 114897991/52965001
3415.96/3414.83	c cleaning 324999 clauses out of 650003 with flag 115580068/53291001
3438.41/3437.34	c cleaning 325999 clauses out of 652004 with flag 116263237/53618001
3461.60/3460.48	c cleaning 327000 clauses out of 654005 with flag 116948364/53946001
3483.76/3482.67	c cleaning 327999 clauses out of 656005 with flag 117635588/54275001
3507.92/3506.89	c cleaning 329001 clauses out of 658006 with flag 118324202/54605001
3532.24/3531.14	c cleaning 330000 clauses out of 660004 with flag 119015562/54936000
3557.49/3556.40	c cleaning 330999 clauses out of 662004 with flag 119709328/55268000
3582.65/3581.66	c cleaning 331999 clauses out of 664006 with flag 120404850/55601001
3600.05/3598.92	c starts		: 387948
3600.05/3598.92	c conflicts		: 55935000
3600.05/3598.92	c decisions		: 83144116
3600.05/3598.92	c propagations		: 384874318
3600.05/3598.92	c inspects		: 14396741411
3600.05/3598.92	c shortcuts		: 0
3600.05/3598.92	c learnt literals	: 57
3600.05/3598.92	c learnt binary clauses	: 39
3600.05/3598.92	c learnt ternary clauses	: 25
3600.05/3598.92	c learnt constraints	: 55934943
3600.05/3598.92	c ignored constraints	: 0
3600.05/3598.92	c root simplifications	: 0
3600.05/3598.92	c removed literals (reason simplification)	: 0
3600.05/3598.92	c reason swapping (by a shorter reason)	: 0
3600.05/3598.92	c Calls to reduceDB	: 330
3600.05/3598.92	c Number of update (reduction) of LBD	: 1149433
3600.05/3598.92	c Imported unit clauses	: 0
3600.05/3598.92	c No decision after first conflict	: false
3600.05/3598.92	c number of reductions to clauses (during analyze)	: 0
3600.05/3598.92	c number of learned constraints concerned by reduction	: 0
3600.05/3598.92	c number of learning phase by resolution	: 0
3600.05/3598.92	c number of learning phase by cutting planes	: 0
3600.05/3598.92	c number of rounding to 1 operations	: 0
3600.05/3598.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3598.92	c number of reductions of the coefficients by power 2 	: 0
3600.05/3598.92	c number of right shift for reduction by power 2 	: 0
3600.05/3598.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3598.92	c number of ending skipping 	: 0
3600.05/3598.92	c number of internal skipping 	: 0
3600.05/3598.92	c number of derivation steps 	: 0
3600.05/3598.92	c number of skipped derivation steps 	: 0
3600.05/3598.92	c number of remaining unassigned 	: 0
3600.05/3598.92	c number of remaining assigned 	: 0
3600.05/3598.92	c number of falsified literals weakened from reason	: 0
3600.05/3598.92	c number of falsified literals weakened from conflict	: 0
3600.05/3598.92	c time for arithmetic operations	: 0
3600.05/3598.92	c minimum degree of deleted constraints	: null
3600.05/3598.92	c maximum degree of deleted constraints	: null
3600.05/3598.93	c number of deleted constraints	: 0
3600.05/3598.93	c speed (assignments/second)	: 106952.72979697913
3600.05/3598.93	c non guided choices	: 361302
3600.27/3599.02	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 665967
3600.27/3599.02	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 39
3600.27/3599.02	s UNKNOWN
3600.27/3599.02	c Total wall clock time (in seconds): 3598.898

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: 63968 MiB (34700 MiB free)
  memory of node 1: 64473 MiB (47140 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432166-1721066212/watcher-4432166-1721066212 -o /tmp/evaluation-result-4432166-1721066212/solver-4432166-1721066212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721059308-811017 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432166-1721066212.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=815017, runsolver pid=815014
Current StackSize limit: 8192 KiB


[startup+0.100081 s]*
/proc/loadavg: 4.52 4.52 4.44 5/331 815035
/proc/meminfo: memFree=83762876/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=18975048 memory=63324 CPUtime=0.13 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 7205 0 0 0 11 2 0 0 20 0 18 0 158790133 19430449152 15831 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4743762 15831 5722 1 0 549328 0
[pid=815017/tid=815019] ppid=815014 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 5732 0 0 0 7 2 0 0 20 0 18 0 158790133 19430449152 15831 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158790136 19430449152 15831 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=18975048 memory=14134437545800980 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158790136 19430449152 15831 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63324 KiB

[startup+0.20578 s]*
/proc/loadavg: 4.52 4.52 4.44 7/331 815035
/proc/meminfo: memFree=83748600/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=18975048 memory=77396 CPUtime=0.34 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 7594 0 0 0 31 3 0 0 20 0 18 0 158790133 19430449152 19349 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4743762 19349 5855 1 0 549575 0
[pid=815017/tid=815019] ppid=815014 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 5894 0 0 0 17 2 0 0 20 0 18 0 158790133 19430449152 19861 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=18975048 memory=15932 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158790136 19430449152 19861 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=18975048 memory=14408211646121490 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158790136 19430449152 19861 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77396 KiB

[startup+0.30574 s]*
/proc/loadavg: 4.52 4.52 4.44 7/331 815035
/proc/meminfo: memFree=83706696/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=18975048 memory=121232 CPUtime=0.53 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 9346 0 0 0 49 4 0 0 20 0 18 0 158790133 19430449152 30308 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4743762 30308 5855 1 0 550737 0
[pid=815017/tid=815019] ppid=815014 vsize=18975048 memory=-8889096756971020988 CPUtime=0.29 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 5914 0 0 0 26 3 0 0 20 0 18 0 158790133 19430449152 30308 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158790136 19430449152 30308 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158790136 19430449152 30308 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 121232 KiB

[startup+0.703191 s]
/proc/loadavg: 4.52 4.52 4.44 6/332 815036
/proc/meminfo: memFree=83675732/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19041612 memory=158484 CPUtime=1.28 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 15945 0 0 0 123 5 0 0 20 0 19 0 158790133 19498610688 39621 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4760403 39621 5893 1 0 555480 0
[pid=815017/tid=815019] ppid=815014 vsize=19041612 memory=5500 CPUtime=0.65 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 6041 0 0 0 62 3 0 0 20 0 19 0 158790133 19498610688 39621 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19041612 memory=12512 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158790136 19498610688 39621 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19041612 memory=164 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158790136 19498610688 39621 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158790171 19498610688 39621 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158484 KiB

[startup+1.50119 s]
/proc/loadavg: 4.52 4.52 4.44 6/332 815036
/proc/meminfo: memFree=83660400/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19041612 memory=176876 CPUtime=2.86 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 26109 0 0 0 280 6 0 0 20 0 19 0 158790133 19498610688 44219 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4760403 44219 5893 1 0 556855 0
[pid=815017/tid=815019] ppid=815014 vsize=19041612 memory=12512 CPUtime=1.44 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 6795 0 0 0 141 3 0 0 20 0 19 0 158790133 19498610688 44219 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158790136 19498610688 44219 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158790136 19498610688 44219 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19041612 memory=280421770372368 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158790171 19498610688 44219 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 176876 KiB

[startup+3.10619 s]
/proc/loadavg: 4.56 4.53 4.44 5/333 815037
/proc/meminfo: memFree=83621584/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19108176 memory=204532 CPUtime=5.31 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 27533 0 0 0 524 7 0 0 20 0 20 0 158790133 19566772224 51133 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4777044 51133 5941 1 0 557152 0
[pid=815017/tid=815019] ppid=815014 vsize=19108176 memory=0 CPUtime=3 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 7128 0 0 0 297 3 0 0 20 0 20 0 158790133 19566772224 51133 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19108176 memory=12512 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 51133 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 51133 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158790171 19566772224 51133 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 5.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204532 KiB

[startup+6.30121 s]
/proc/loadavg: 4.56 4.53 4.44 5/333 815039
/proc/meminfo: memFree=83585608/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19108176 memory=240284 CPUtime=9.24 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 29686 0 0 0 915 9 0 0 20 0 20 0 158790133 19566772224 60071 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4777044 60071 5941 1 0 557477 0
[pid=815017/tid=815019] ppid=815014 vsize=19108176 memory=12512 CPUtime=6.12 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 7490 0 0 0 609 3 0 0 20 0 20 0 158790133 19566772224 60071 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 60071 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19108176 memory=178936 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 60071 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158790171 19566772224 60071 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 9.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 240284 KiB

[startup+12.7012 s]
/proc/loadavg: 4.47 4.51 4.44 5/333 815039
/proc/meminfo: memFree=83521848/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19108176 memory=332760 CPUtime=15.7 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 33510 0 0 0 1558 12 0 0 20 0 20 0 158790133 19566772224 83190 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4777044 83190 5952 1 0 557477 0
[pid=815017/tid=815019] ppid=815014 vsize=19108176 memory=0 CPUtime=12.34 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 8286 0 0 0 1230 4 0 0 20 0 20 0 158790133 19566772224 83190 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19108176 memory=-8889096756971020988 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 83190 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19108176 memory=2268 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 83190 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158790171 19566772224 83190 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 15.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 332760 KiB

[startup+25.5012 s]
/proc/loadavg: 4.40 4.50 4.43 5/333 815041
/proc/meminfo: memFree=83149204/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19108176 memory=675876 CPUtime=28.55 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 36875 0 0 0 2835 20 0 0 20 0 20 0 158790133 19566772224 168969 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4777044 168969 5952 1 0 663996 0
[pid=815017/tid=815019] ppid=815014 vsize=19108176 memory=12088 CPUtime=24.85 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 9372 0 0 0 2479 6 0 0 20 0 20 0 158790133 19566772224 168969 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 168969 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19108176 memory=240284 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 168969 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19108176 memory=280421770319152 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158790171 19566772224 168969 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 28.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 675876 KiB

[startup+51.1062 s]
/proc/loadavg: 4.54 4.52 4.44 5/333 815046
/proc/meminfo: memFree=82524704/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19108176 memory=1298544 CPUtime=54.14 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 40839 0 0 0 5382 32 0 0 20 0 20 0 158790133 19566772224 324636 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4777044 324636 5952 1 0 664014 0
[pid=815017/tid=815019] ppid=815014 vsize=19108176 memory=1040480 CPUtime=49.91 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 11190 0 0 0 4980 11 0 0 20 0 20 0 158790133 19566772224 324636 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 324636 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0

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

/proc/meminfo: memFree=112961124/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19108176 memory=2637300 CPUtime=3283.74 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 191548 0 0 0 328216 158 0 0 20 0 20 0 158790133 19566772224 659325 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4777044 659325 5952 1 0 672796 0
[pid=815017/tid=815019] ppid=815014 vsize=19108176 memory=2637300 CPUtime=3258.47 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 58668 0 0 0 325821 26 0 0 20 0 20 0 158790133 19566772224 659325 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19108176 memory=2637300 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659325 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19108176 memory=2637296 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 1968 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659325 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19108176 memory=2637300 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158790171 19566772224 659325 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 3283.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2637300 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.22 4.28 5/334 816664
/proc/meminfo: memFree=112722888/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19108176 memory=2637308 CPUtime=3343.36 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 193444 0 0 0 334176 160 0 0 20 0 20 0 158790133 19566772224 659327 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4777044 659327 5952 1 0 672796 0
[pid=815017/tid=815019] ppid=815014 vsize=19108176 memory=2637308 CPUtime=3317.72 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 59452 0 0 0 331746 26 0 0 20 0 20 0 158790133 19566772224 659327 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19108176 memory=40716 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659327 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19108176 memory=2637308 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 2071 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659327 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19108176 memory=32872 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158790171 19566772224 659327 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 3343.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2637308 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.19 4.27 5/334 816675
/proc/meminfo: memFree=112720336/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19108176 memory=2639100 CPUtime=3403.48 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 196465 0 0 0 340186 162 0 0 20 0 20 0 158790133 19566772224 659775 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4777044 659775 5952 1 0 672796 0
[pid=815017/tid=815019] ppid=815014 vsize=19108176 memory=12088 CPUtime=3377.18 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 60342 0 0 0 337692 26 0 0 20 0 20 0 158790133 19566772224 659775 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19108176 memory=5500 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659775 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19108176 memory=2639000 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 2071 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659775 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158790171 19566772224 659775 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 3403.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2639100 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.20 4.27 5/334 816686
/proc/meminfo: memFree=112719384/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19108176 memory=2639100 CPUtime=3463.5 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 196683 0 0 0 346187 163 0 0 20 0 20 0 158790133 19566772224 659775 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4777044 659775 5952 1 0 672796 0
[pid=815017/tid=815019] ppid=815014 vsize=19108176 memory=12088 CPUtime=3436.89 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 60424 0 0 0 343663 26 0 0 20 0 20 0 158790133 19566772224 659775 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19108176 memory=2639100 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659775 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19108176 memory=2639100 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 2071 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659775 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19108176 memory=2639100 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158790171 19566772224 659775 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 3463.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2639100 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.23 4.27 5/334 816696
/proc/meminfo: memFree=112636532/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19108176 memory=2639104 CPUtime=3523.45 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 197254 0 0 0 352181 164 0 0 20 0 20 0 158790133 19566772224 659776 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4777044 659776 5952 1 0 672796 0
[pid=815017/tid=815019] ppid=815014 vsize=19108176 memory=2639100 CPUtime=3496.7 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 60917 0 0 0 349644 26 0 0 20 0 20 0 158790133 19566772224 659776 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19108176 memory=2638280 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659776 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19108176 memory=2639104 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 2072 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659776 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19108176 memory=12088 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158790171 19566772224 659776 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 3523.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2639104 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.23 4.27 5/332 817091
/proc/meminfo: memFree=113183144/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19108176 memory=2639108 CPUtime=3583.35 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 197846 0 0 0 358169 166 0 0 20 0 20 0 158790133 19566772224 659777 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4777044 659777 5952 1 0 672796 0
[pid=815017/tid=815019] ppid=815014 vsize=19108176 memory=2638280 CPUtime=3556.57 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 61299 0 0 0 355631 26 0 0 20 0 20 0 158790133 19566772224 659777 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19108176 memory=2639108 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659777 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19108176 memory=2639108 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 2188 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659777 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19108176 memory=2639108 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158790171 19566772224 659777 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 3583.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2639108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.9 s]
/proc/loadavg: 4.15 4.22 4.26 5/332 817095
/proc/meminfo: memFree=113182628/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19108176 memory=2639124 CPUtime=3600.05 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 198574 0 0 0 359838 167 0 0 20 0 20 0 158790133 19566772224 659781 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4777044 659781 5952 1 0 672796 0
[pid=815017/tid=815019] ppid=815014 vsize=19108176 memory=2639108 CPUtime=3573.01 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 61372 0 0 0 357275 26 0 0 20 0 20 0 158790133 19566772224 659781 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19108176 memory=2639124 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659781 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19108176 memory=2639124 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 2188 0 0 0 0 0 0 0 20 0 20 0 158790136 19566772224 659781 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815036] ppid=815014 vsize=19108176 memory=25944 CPUtime=0 cores=1,3
/proc/815017/task/815036/stat : 815036 (Timer-0) S 815014 815017 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158790171 19566772224 659781 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2639124 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.62 s, system=1.6838 s

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

[startup+3599.01 s]*
/proc/loadavg: 4.15 4.22 4.26 6/333 817098
/proc/meminfo: memFree=113182312/131524600 swapFree=131071996/131071996
[pid=815017] ppid=815014 vsize=19307868 memory=2639736 CPUtime=3600.27 cores=1,3
/proc/815017/stat : 815017 (java) S 815014 815017 811005 0 -1 1077936128 200551 0 0 0 359860 167 0 0 20 0 21 0 158790133 19771256832 659934 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
/proc/815017/statm: 4826967 659934 5951 1 0 673699 0
[pid=815017/tid=815019] ppid=815014 vsize=19307868 memory=-8528807682974786236 CPUtime=3573.12 cores=1,3
/proc/815017/task/815019/stat : 815019 (java) R 815014 815017 811005 0 -1 4194368 61372 0 0 0 357286 26 0 0 20 0 21 0 158790133 19771256832 659934 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815028] ppid=815014 vsize=19307868 memory=-7234319934433222272 CPUtime=0 cores=1,3
/proc/815017/task/815028/stat : 815028 (Finalizer) S 815014 815017 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 158790136 19771256832 659934 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=815035] ppid=815014 vsize=19307868 memory=42716 CPUtime=0 cores=1,3
/proc/815017/task/815035/stat : 815035 (Common-Cleaner) S 815014 815017 811005 0 -1 1077936192 2188 0 0 0 0 0 0 0 20 0 21 0 158790136 19771256832 659934 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
[pid=815017/tid=817097] ppid=815014 vsize=19307868 memory=5400 CPUtime=0.08 cores=1,3
/proc/815017/task/817097/stat : 817097 (Thread-0) R 815014 815017 811005 0 -1 4194368 432 0 0 0 8 0 0 0 20 0 21 0 159150024 19771256832 659934 134679101440 94553275695104 94553275698800 140720726812128 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94553275706616 94553275707408 94553285193728 140720726815751 140720726815841 140720726815841 140720726822856 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2639736 KiB

Child status: 143

Real time (s): 3599.04
CPU time (s): 3600.3
CPU user time (s): 3598.62
CPU system time (s): 1.6838
CPU usage (%): 100.035
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2639736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.62
system time used= 1.6838
maximum resident set size= 2640620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107834
involuntary context switches= 15830


# summary of solver processes directly reported to runsolver:
#   pid: 815017
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3598.62
#   total CPU system time (s): 1.6838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47896 second user time and 17.6062 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-15 19:57:04
IDJOB=4432166
IDBENCH=146776
IDSOLVER=3058
FILE ID=nodeC032/4432166-1721066212
RUNJOBID= nodeC032-1721059308-811017
SLURM_JOB_ID= 7505498
Free space on /tmp= 890072 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432166-1721066212/watcher-4432166-1721066212 -o /tmp/evaluation-result-4432166-1721066212/solver-4432166-1721066212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721059308-811017 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432166-1721066212.opb

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

MD5SUM BENCH= c14f7c55e56be8814a9acdc0ce68bb69
RANDOM SEED=710901745

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        83804896 kB
MemAvailable:   85044092 kB
Buffers:          371844 kB
Cached:          1696464 kB
SwapCached:            0 kB
Active:           633032 kB
Inactive:       46388236 kB
Active(anon):       1556 kB
Inactive(anon): 44989116 kB
Active(file):     631476 kB
Inactive(file):  1399120 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1812 kB
Writeback:             0 kB
AnonPages:      44952968 kB
Mapped:           123668 kB
Shmem:             37720 kB
KReclaimable:      96844 kB
Slab:             203380 kB
SReclaimable:      96844 kB
SUnreclaim:       106536 kB
KernelStack:        5056 kB
PageTables:        97904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   49686044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61952 kB
HardwareCorrupted:     0 kB
AnonHugePages:  44351488 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:      223956 kB
DirectMap2M:    20520960 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC032 at 2024-07-15 20:57:03