Trace number 4459879

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-07SAT (TO)11 3600.19 3610.98

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_100_10_5.opb
MD5SUM2bd1635b55c594c1b059c8ee34f0ff3b
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark2.1171
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1252
Sum of products size (including duplicates)2504
Number of different products1252
Sum of products size2504

Quality of the solution as a function of time


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

Solver Data 

0.07/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.07/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.11	c See www.sat4j.org for details.
0.07/0.12	c version CUSTOM.v20240707
0.07/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.07/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.07/0.13	c java.vm.version	22.0.1+8-16
0.07/0.13	c java.vm.vendor	Oracle Corporation
0.07/0.13	c sun.arch.data.model	64
0.07/0.13	c java.version		22.0.1
0.07/0.13	c os.name		Linux
0.07/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.07/0.13	c os.arch		amd64
0.07/0.13	c Free memory 		2104792832
0.07/0.13	c Max memory 		16282288128
0.07/0.13	c Total memory 		2113929216
0.07/0.13	c Number of processors 	2
0.07/0.17	--- Begin Solver configuration ---
0.07/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.07/0.17	Learn all clauses as in MiniSAT
0.07/0.17	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.17	No reason simplification
0.07/0.17	Glucose 2.1 dynamic restart strategy
0.07/0.17	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.17	timeout=2147483s
0.07/0.17	DB Simplification allowed=false
0.07/0.17	Listener: none
0.07/0.17	--- End Solver configuration ---
0.07/0.17	c Pseudo Boolean Optimization by upper bound
0.07/0.17	c --- Begin Solver configuration ---
0.07/0.17	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.07/0.17	c Learn all clauses as in MiniSAT
0.07/0.17	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.17	c No reason simplification
0.07/0.17	c Glucose 2.1 dynamic restart strategy
0.07/0.17	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.17	c timeout=2147483s
0.07/0.17	c DB Simplification allowed=false
0.07/0.17	c Listener: none
0.07/0.17	c --- End Solver configuration ---
0.07/0.17	c solving HOME/instance-4459879-1721943061.opb
0.07/0.17	c reading problem ... 
0.07/0.17	c  objective function found
0.24/0.23	c ... done. Wall clock time 0.058s.
0.24/0.23	c declared #vars     100
0.24/0.23	c internal #vars     1352
0.24/0.23	c #constraints  2604
0.24/0.23	c constraints type 
0.24/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1252
0.24/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1352
0.24/0.23	c 2604 constraints processed.
0.24/0.24	c objective function length is 100 literals
0.24/0.25	c SATISFIABLE
0.24/0.25	c OPTIMIZING...
0.24/0.25	c Got one! Elapsed wall clock time (in seconds):0.08
0.24/0.25	o 18
0.24/0.26	c Got one! Elapsed wall clock time (in seconds):0.087
0.24/0.26	o 17
0.24/0.26	c Got one! Elapsed wall clock time (in seconds):0.091
0.24/0.26	o 16
0.24/0.27	c Got one! Elapsed wall clock time (in seconds):0.096
0.24/0.27	o 15
0.24/0.27	c Got one! Elapsed wall clock time (in seconds):0.099
0.24/0.27	o 14
1.55/0.91	c cleaning 2503 clauses out of 5009 with flag 12710/5009
2.40/1.67	c cleaning 4253 clauses out of 8507 with flag 28444/11010
2.40/1.69	c Got one! Elapsed wall clock time (in seconds):1.51
2.40/1.69	o 13
3.01/2.26	c cleaning 4650 clauses out of 9305 with flag 14334/16061
3.74/2.96	c cleaning 5321 clauses out of 10655 with flag 30700/22061
4.64/3.81	c cleaning 6168 clauses out of 12342 with flag 49581/29069
5.62/4.75	c cleaning 7081 clauses out of 14166 with flag 71440/37061
6.71/5.82	c cleaning 8038 clauses out of 16085 with flag 95908/46061
7.92/7.03	c cleaning 9016 clauses out of 18050 with flag 123278/56064
9.21/8.33	c cleaning 10016 clauses out of 20031 with flag 153422/67061
10.61/9.74	c cleaning 11005 clauses out of 22015 with flag 185710/79061
12.02/11.15	c cleaning 12000 clauses out of 24010 with flag 219822/92061
13.61/12.76	c cleaning 13001 clauses out of 26011 with flag 258704/106062
15.41/14.57	c cleaning 13996 clauses out of 28010 with flag 298861/121062
17.23/16.37	c cleaning 15000 clauses out of 30013 with flag 342342/137061
19.35/18.47	c cleaning 16005 clauses out of 32013 with flag 388352/154061
21.65/20.76	c cleaning 17002 clauses out of 34010 with flag 438790/172063
24.05/23.18	c cleaning 17992 clauses out of 36007 with flag 492315/191062
26.64/25.71	c cleaning 18999 clauses out of 38016 with flag 547228/211063
29.14/28.29	c cleaning 19995 clauses out of 40015 with flag 605554/232061
31.83/30.95	c cleaning 21007 clauses out of 42020 with flag 666887/254061
34.54/33.66	c cleaning 22007 clauses out of 44014 with flag 729735/277062
37.33/36.41	c cleaning 23004 clauses out of 46007 with flag 799093/301062
40.13/39.28	c cleaning 23999 clauses out of 48004 with flag 868825/326063
43.22/42.31	c cleaning 24999 clauses out of 50005 with flag 945699/352063
46.31/45.45	c cleaning 25989 clauses out of 52004 with flag 1027074/379061
49.41/48.57	c cleaning 27004 clauses out of 54016 with flag 1108794/407062
52.80/51.98	c cleaning 28003 clauses out of 56011 with flag 1194957/436061
56.29/55.40	c cleaning 28999 clauses out of 58010 with flag 1284781/466063
59.78/58.95	c cleaning 30005 clauses out of 60011 with flag 1375730/497063
63.28/62.48	c cleaning 30993 clauses out of 62005 with flag 1469209/529062
67.08/66.21	c cleaning 32006 clauses out of 64012 with flag 1565656/562062
71.07/70.20	c cleaning 32999 clauses out of 66005 with flag 1660616/596061
75.36/74.55	c cleaning 33999 clauses out of 68007 with flag 1758979/631062
80.05/79.23	c cleaning 34986 clauses out of 70007 with flag 1864546/667061
84.65/83.83	c cleaning 36000 clauses out of 72022 with flag 1975660/704062
89.49/88.62	c cleaning 37001 clauses out of 74021 with flag 2091930/742061
94.47/93.69	c cleaning 38000 clauses out of 76020 with flag 2206360/781061
99.98/99.17	c cleaning 39003 clauses out of 78020 with flag 2334460/821061
105.57/104.70	c cleaning 40007 clauses out of 80022 with flag 2449853/862066
111.65/110.82	c cleaning 41001 clauses out of 82010 with flag 2570634/904061
117.54/116.74	c cleaning 42001 clauses out of 84009 with flag 2693282/947061
123.83/123.01	c cleaning 42994 clauses out of 86008 with flag 2818213/991061
130.02/129.28	c cleaning 43996 clauses out of 88014 with flag 2943994/1036061
136.40/135.68	c cleaning 45002 clauses out of 90020 with flag 3075355/1082063
142.93/142.17	c cleaning 46001 clauses out of 92016 with flag 3209348/1129061
149.51/148.72	c cleaning 46988 clauses out of 94015 with flag 3347935/1177061
156.20/155.44	c cleaning 48002 clauses out of 96029 with flag 3490027/1226063
162.79/162.10	c cleaning 49006 clauses out of 98026 with flag 3634217/1276062
169.97/169.23	c cleaning 50003 clauses out of 100019 with flag 3778014/1327061
177.98/177.27	c cleaning 51005 clauses out of 102016 with flag 3923969/1379061
186.06/185.39	c cleaning 52001 clauses out of 104012 with flag 4075132/1432062
193.75/193.06	c cleaning 53004 clauses out of 106011 with flag 4227932/1486062
201.63/200.94	c cleaning 54000 clauses out of 108007 with flag 4389792/1541062
209.41/208.72	c cleaning 55000 clauses out of 110006 with flag 4555047/1597061
217.30/216.67	c cleaning 55989 clauses out of 112006 with flag 4727174/1654061
225.40/224.76	c cleaning 57005 clauses out of 114020 with flag 4899096/1712064
233.47/232.83	c cleaning 57992 clauses out of 116012 with flag 5076113/1771061
241.35/240.72	c cleaning 59006 clauses out of 118021 with flag 5253195/1831062
250.33/249.73	c cleaning 59994 clauses out of 120014 with flag 5425506/1892061
260.15/259.58	c cleaning 61010 clauses out of 122024 with flag 5603055/1954065
269.92/269.34	c cleaning 61999 clauses out of 124011 with flag 5780789/2017062
279.51/278.97	c cleaning 63004 clauses out of 126011 with flag 5963523/2081061
288.98/288.45	c cleaning 63996 clauses out of 128007 with flag 6149278/2146061
298.76/298.21	c cleaning 65002 clauses out of 130016 with flag 6342935/2212066
308.45/307.91	c cleaning 66002 clauses out of 132009 with flag 6545034/2279061
317.53/317.01	c cleaning 67003 clauses out of 134007 with flag 6750761/2347061
329.31/328.85	c cleaning 67993 clauses out of 136006 with flag 6953468/2416063
340.99/340.54	c cleaning 69007 clauses out of 138017 with flag 7156328/2486067
353.60/353.11	c cleaning 69999 clauses out of 140004 with flag 7368398/2557061
365.07/364.66	c cleaning 70992 clauses out of 142006 with flag 7586035/2629062
376.66/376.26	c cleaning 72006 clauses out of 144016 with flag 7809682/2702064
389.05/388.62	c cleaning 73000 clauses out of 146007 with flag 8030705/2776061
401.43/401.15	c cleaning 74004 clauses out of 148010 with flag 8247670/2851064
413.52/413.39	c cleaning 74997 clauses out of 150006 with flag 8487001/2927064
424.52/424.44	c cleaning 75997 clauses out of 152008 with flag 8732032/3004063
437.28/437.27	c cleaning 76995 clauses out of 154009 with flag 8967816/3082061
449.46/449.44	c cleaning 78002 clauses out of 156018 with flag 9197694/3161065
461.54/461.56	c cleaning 78999 clauses out of 158012 with flag 9434014/3241061
474.26/474.27	c cleaning 79999 clauses out of 160013 with flag 9685697/3322061
486.76/486.84	c cleaning 81002 clauses out of 162014 with flag 9930866/3404061
499.74/499.99	c cleaning 82005 clauses out of 164019 with flag 10187127/3487068
513.01/513.37	c cleaning 82991 clauses out of 166007 with flag 10440536/3571061
526.83/527.27	c cleaning 84006 clauses out of 168018 with flag 10702928/3656063
541.50/542.01	c cleaning 84993 clauses out of 170011 with flag 10972965/3742062
555.38/556.08	c cleaning 86006 clauses out of 172020 with flag 11246474/3829064
569.78/570.53	c cleaning 87005 clauses out of 174011 with flag 11520596/3917061
583.45/584.36	c cleaning 87997 clauses out of 176006 with flag 11804683/4006061
596.62/597.69	c cleaning 89001 clauses out of 178009 with flag 12083876/4096061
609.60/610.78	c cleaning 89998 clauses out of 180009 with flag 12369012/4187062
624.46/625.71	c cleaning 91006 clauses out of 182013 with flag 12662299/4279064
639.36/640.76	c cleaning 92002 clauses out of 184007 with flag 12955715/4372064
654.32/655.86	c cleaning 92992 clauses out of 186003 with flag 13260025/4466062
669.28/670.91	c cleaning 94002 clauses out of 188016 with flag 13560104/4561067
684.63/686.42	c cleaning 94997 clauses out of 190011 with flag 13853446/4657064
699.84/701.70	c cleaning 96003 clauses out of 192011 with flag 14181299/4754061
715.01/716.91	c cleaning 96994 clauses out of 194008 with flag 14502199/4852061
730.08/732.06	c cleaning 98003 clauses out of 196015 with flag 14835123/4951062
744.24/746.22	c cleaning 99001 clauses out of 198012 with flag 15176389/5051062
759.11/761.17	c cleaning 100005 clauses out of 200017 with flag 15525656/5152068
775.86/777.93	c cleaning 100997 clauses out of 202006 with flag 15870425/5254062
792.51/794.54	c cleaning 101992 clauses out of 204008 with flag 16209326/5357061
807.37/809.47	c cleaning 103009 clauses out of 206018 with flag 16579972/5461063
823.14/825.21	c cleaning 103998 clauses out of 208008 with flag 16954980/5566062
838.41/840.58	c cleaning 105001 clauses out of 210009 with flag 17345202/5672061
853.67/855.85	c cleaning 106005 clauses out of 212011 with flag 17748563/5779064
872.50/874.62	c cleaning 107001 clauses out of 214007 with flag 18149746/5887065
891.46/893.69	c cleaning 107986 clauses out of 216002 with flag 18503382/5996061
911.72/913.90	c cleaning 108999 clauses out of 218018 with flag 18854074/6106063
932.08/934.39	c cleaning 110005 clauses out of 220017 with flag 19211334/6217061
951.65/953.96	c cleaning 110995 clauses out of 222012 with flag 19582382/6329061
971.37/973.65	c cleaning 112002 clauses out of 224018 with flag 19955764/6442062
990.73/993.02	c cleaning 113008 clauses out of 226017 with flag 20328510/6556063
1011.09/1013.41	c cleaning 113998 clauses out of 228008 with flag 20733468/6671062
1030.25/1032.62	c cleaning 114995 clauses out of 230010 with flag 21131975/6787062
1048.51/1050.90	c cleaning 116004 clauses out of 232014 with flag 21545252/6904061
1068.68/1071.15	c cleaning 116995 clauses out of 234010 with flag 21972762/7022061
1089.44/1091.98	c cleaning 118002 clauses out of 236015 with flag 22361335/7141061
1110.84/1113.37	c cleaning 118996 clauses out of 238013 with flag 22760544/7261061
1131.00/1133.52	c cleaning 120005 clauses out of 240017 with flag 23156365/7382061
1151.56/1154.13	c cleaning 121001 clauses out of 242014 with flag 23556633/7504063
1173.60/1176.26	c cleaning 121999 clauses out of 244012 with flag 23954724/7627062
1195.66/1198.35	c cleaning 123000 clauses out of 246013 with flag 24367004/7751062
1216.71/1219.48	c cleaning 124002 clauses out of 248012 with flag 24790803/7876061
1238.41/1240.89	c cleaning 124999 clauses out of 250011 with flag 25204525/8002062
1261.17/1263.66	c cleaning 126002 clauses out of 252011 with flag 25643142/8129061
1283.03/1285.53	c cleaning 126996 clauses out of 254009 with flag 26075453/8257061
1304.08/1306.69	c cleaning 128007 clauses out of 256016 with flag 26510413/8386064
1327.45/1330.08	c cleaning 129001 clauses out of 258006 with flag 26963206/8516061
1349.30/1351.98	c cleaning 129995 clauses out of 260010 with flag 27441046/8647066
1370.05/1372.71	c cleaning 131001 clauses out of 262011 with flag 27901339/8779062
1391.07/1393.71	c cleaning 131999 clauses out of 264013 with flag 28376839/8912065
1418.22/1420.99	c cleaning 133001 clauses out of 266011 with flag 28835535/9046062
1446.38/1449.19	c cleaning 133993 clauses out of 268009 with flag 29295934/9181061
1470.72/1473.57	c cleaning 135001 clauses out of 270016 with flag 29785354/9317061
1480.80/1483.61	c Got one! Elapsed wall clock time (in seconds):1483.442
1480.80/1483.61	o 12
1483.20/1486.01	c cleaning 105571 clauses out of 211148 with flag 14870/9393194
1484.49/1487.36	c cleaning 55784 clauses out of 111577 with flag 31635/9399194
1485.59/1488.47	c cleaning 31392 clauses out of 62793 with flag 51483/9406194
1486.59/1489.49	c cleaning 19697 clauses out of 39401 with flag 73534/9414194
1487.74/1490.55	c cleaning 14346 clauses out of 28707 with flag 99494/9423197
1488.84/1491.66	c cleaning 12176 clauses out of 24360 with flag 129877/9433196
1490.14/1492.92	c cleaning 11580 clauses out of 23182 with flag 163207/9444194
1491.44/1494.23	c cleaning 11789 clauses out of 23602 with flag 199384/9456194
1492.83/1495.60	c cleaning 12401 clauses out of 24813 with flag 239996/9469194
1494.34/1497.15	c cleaning 13203 clauses out of 26413 with flag 282557/9483195
1496.03/1498.83	c cleaning 14101 clauses out of 28209 with flag 327008/9498194
1497.72/1500.59	c cleaning 15048 clauses out of 30109 with flag 376628/9514195
1499.62/1502.48	c cleaning 16032 clauses out of 32063 with flag 428894/9531197
1501.62/1504.44	c cleaning 17012 clauses out of 34028 with flag 484346/9549194
1503.71/1506.52	c cleaning 18007 clauses out of 36019 with flag 544253/9568197
1505.80/1508.64	c cleaning 18995 clauses out of 38010 with flag 607132/9588195
1508.10/1510.94	c cleaning 20002 clauses out of 40014 with flag 671801/9609194
1510.49/1513.36	c cleaning 21002 clauses out of 42013 with flag 738796/9631195
1512.99/1515.87	c cleaning 21986 clauses out of 44012 with flag 811366/9654196
1515.58/1518.44	c cleaning 23012 clauses out of 46026 with flag 887596/9678196
1518.28/1521.18	c cleaning 24003 clauses out of 48014 with flag 967212/9703196
1520.97/1523.88	c cleaning 24993 clauses out of 50009 with flag 1051095/9729194
1523.86/1526.75	c cleaning 25991 clauses out of 52016 with flag 1136275/9756194
1526.66/1529.59	c cleaning 26995 clauses out of 54025 with flag 1222489/9784194
1529.76/1532.66	c cleaning 28007 clauses out of 56030 with flag 1310107/9813194
1533.35/1536.22	c cleaning 29004 clauses out of 58028 with flag 1399474/9843199
1537.15/1540.08	c cleaning 29996 clauses out of 60019 with flag 1489354/9874194
1541.24/1544.18	c cleaning 31013 clauses out of 62029 with flag 1583892/9906200
1545.33/1548.22	c cleaning 31999 clauses out of 64011 with flag 1683044/9939195
1549.31/1552.26	c cleaning 33001 clauses out of 66011 with flag 1783290/9973194
1553.50/1556.40	c cleaning 33994 clauses out of 68012 with flag 1886829/10008196
1557.75/1560.69	c cleaning 34995 clauses out of 70016 with flag 1993414/10044194
1562.14/1565.08	c cleaning 36012 clauses out of 72025 with flag 2104842/10081198
1566.72/1569.65	c cleaning 36997 clauses out of 74009 with flag 2218995/10119194
1571.31/1574.20	c cleaning 38004 clauses out of 76012 with flag 2334515/10158194
1575.90/1578.86	c cleaning 38998 clauses out of 78008 with flag 2452432/10198194
1580.49/1583.47	c cleaning 40000 clauses out of 80010 with flag 2573558/10239194
1585.79/1588.76	c cleaning 41002 clauses out of 82013 with flag 2698256/10281197
1591.27/1594.25	c cleaning 41989 clauses out of 84008 with flag 2824739/10324194
1596.76/1599.79	c cleaning 43001 clauses out of 86019 with flag 2952467/10368194
1602.44/1605.49	c cleaning 44001 clauses out of 88018 with flag 3088236/10413194
1608.42/1611.44	c cleaning 44995 clauses out of 90017 with flag 3230582/10459194
1614.51/1617.52	c cleaning 46007 clauses out of 92023 with flag 3373395/10506195
1620.49/1623.59	c cleaning 47003 clauses out of 94016 with flag 3519980/10554195
1626.98/1630.05	c cleaning 47999 clauses out of 96012 with flag 3674799/10603194
1633.67/1636.79	c cleaning 48997 clauses out of 98015 with flag 3829723/10653196
1640.65/1643.77	c cleaning 50006 clauses out of 100022 with flag 3981867/10704200
1648.13/1651.22	c cleaning 50996 clauses out of 102010 with flag 4131364/10756194
1655.21/1658.39	c cleaning 51997 clauses out of 104018 with flag 4288061/10809198
1662.29/1665.46	c cleaning 53003 clauses out of 106017 with flag 4445262/10863194
1670.17/1673.32	c cleaning 54004 clauses out of 108014 with flag 4609783/10918194
1678.05/1681.29	c cleaning 54986 clauses out of 110010 with flag 4778978/10974194
1686.13/1689.34	c cleaning 56007 clauses out of 112025 with flag 4949630/11031195
1694.42/1697.68	c cleaning 56996 clauses out of 114018 with flag 5131006/11089195
1702.10/1705.30	c cleaning 58007 clauses out of 116021 with flag 5315552/11148194
1709.68/1712.93	c cleaning 59000 clauses out of 118017 with flag 5498685/11208197
1717.06/1720.35	c cleaning 59994 clauses out of 120014 with flag 5691688/11269194
1725.94/1729.20	c cleaning 61010 clauses out of 122020 with flag 5881237/11331194
1734.42/1737.70	c cleaning 61997 clauses out of 124010 with flag 6069299/11394194
1743.10/1746.41	c cleaning 63005 clauses out of 126014 with flag 6269207/11458195
1751.48/1754.85	c cleaning 63999 clauses out of 128009 with flag 6466918/11523195
1760.06/1763.43	c cleaning 65004 clauses out of 130010 with flag 6669378/11589195
1769.33/1772.71	c cleaning 65999 clauses out of 132006 with flag 6868510/11656195
1779.18/1782.50	c cleaning 66994 clauses out of 134006 with flag 7067902/11724194
1788.25/1791.69	c cleaning 68003 clauses out of 136012 with flag 7268338/11793194
1798.64/1802.06	c cleaning 68998 clauses out of 138010 with flag 7471513/11863195
1808.72/1812.12	c cleaning 70001 clauses out of 140014 with flag 7674149/11934197
1818.78/1822.28	c cleaning 71001 clauses out of 142014 with flag 7884293/12006198
1830.06/1833.53	c cleaning 71996 clauses out of 144011 with flag 8098164/12079196
1841.33/1844.80	c cleaning 73001 clauses out of 146013 with flag 8313481/12153194
1853.30/1856.83	c cleaning 74001 clauses out of 148012 with flag 8532539/12228194
1865.27/1868.86	c cleaning 75005 clauses out of 150012 with flag 8762131/12304195
1877.04/1880.68	c cleaning 76002 clauses out of 152006 with flag 8991270/12381194
1889.02/1892.62	c cleaning 76993 clauses out of 154004 with flag 9219542/12459194
1901.29/1904.95	c cleaning 78002 clauses out of 156015 with flag 9450801/12538198
1914.36/1918.00	c cleaning 78998 clauses out of 158009 with flag 9684132/12618194
1926.93/1930.63	c cleaning 80001 clauses out of 160013 with flag 9920332/12699196
1940.30/1944.01	c cleaning 81005 clauses out of 162014 with flag 10162531/12781198
1953.37/1957.15	c cleaning 82002 clauses out of 164006 with flag 10410210/12864195
1966.63/1970.44	c cleaning 82999 clauses out of 166003 with flag 10666506/12948194
1979.31/1983.16	c cleaning 83999 clauses out of 168006 with flag 10931527/13033196
1991.87/1995.75	c cleaning 85000 clauses out of 170005 with flag 11203760/13119194
2006.14/2010.01	c cleaning 85988 clauses out of 172005 with flag 11472610/13206194
2019.91/2023.80	c cleaning 87006 clauses out of 174021 with flag 11735763/13294198
2033.57/2037.59	c cleaning 87997 clauses out of 176011 with flag 12002383/13383194
2046.84/2050.81	c cleaning 88998 clauses out of 178014 with flag 12276730/13473194
2060.61/2064.60	c cleaning 89998 clauses out of 180016 with flag 12553876/13564194
2076.08/2080.11	c cleaning 91004 clauses out of 182018 with flag 12834188/13656194
2092.90/2096.95	c cleaning 92006 clauses out of 184014 with flag 13106250/13749194
2109.27/2113.39	c cleaning 92999 clauses out of 186008 with flag 13380138/13843194
2125.34/2129.49	c cleaning 94004 clauses out of 188011 with flag 13659837/13938196
2141.30/2145.48	c cleaning 94989 clauses out of 190009 with flag 13943010/14034198
2158.38/2162.54	c cleaning 96007 clauses out of 192018 with flag 14239753/14131196
2176.33/2180.57	c cleaning 96994 clauses out of 194009 with flag 14546368/14229194
2192.21/2196.46	c cleaning 98000 clauses out of 196015 with flag 14854685/14328194
2206.78/2211.00	c cleaning 99003 clauses out of 198015 with flag 15161658/14428194
2225.24/2229.50	c cleaning 99996 clauses out of 200012 with flag 15470226/14529194
2244.00/2248.30	c cleaning 101005 clauses out of 202018 with flag 15777518/14631196
2262.46/2266.83	c cleaning 102005 clauses out of 204013 with flag 16095686/14734196
2280.53/2284.90	c cleaning 102997 clauses out of 206007 with flag 16411914/14838195
2297.79/2302.25	c cleaning 103995 clauses out of 208009 with flag 16729478/14943194
2315.35/2319.85	c cleaning 105007 clauses out of 210019 with flag 17060675/15049199
2334.32/2338.85	c cleaning 105999 clauses out of 212007 with flag 17380428/15156194
2354.58/2359.18	c cleaning 106985 clauses out of 214009 with flag 17714886/15264195
2373.84/2378.40	c cleaning 108004 clauses out of 216023 with flag 18062261/15373194
2391.11/2395.78	c cleaning 109008 clauses out of 218022 with flag 18415149/15483197
2412.07/2416.75	c cleaning 110000 clauses out of 220011 with flag 18738348/15594194
2435.62/2440.35	c cleaning 111002 clauses out of 222011 with flag 19060079/15706194
2456.28/2461.08	c cleaning 111997 clauses out of 224009 with flag 19391453/15819194
2478.44/2483.26	c cleaning 112998 clauses out of 226015 with flag 19731492/15933197
2500.19/2505.00	c cleaning 113985 clauses out of 228014 with flag 20068867/16048194
2523.52/2528.43	c cleaning 115007 clauses out of 230030 with flag 20403576/16164195
2546.87/2551.82	c cleaning 116006 clauses out of 232027 with flag 20751765/16281199
2567.03/2572.04	c cleaning 117007 clauses out of 234018 with flag 21108474/16399196
2587.97/2593.06	c cleaning 117999 clauses out of 236009 with flag 21467281/16518194
2610.22/2615.32	c cleaning 118990 clauses out of 238010 with flag 21805196/16638194
2633.96/2639.18	c cleaning 120010 clauses out of 240022 with flag 22158109/16759196
2657.24/2662.69	c cleaning 121000 clauses out of 242012 with flag 22533691/16881196
2679.13/2684.70	c cleaning 121996 clauses out of 244010 with flag 22924455/17004194
2703.41/2709.28	c cleaning 123003 clauses out of 246014 with flag 23295050/17128194
2727.00/2733.04	c cleaning 124001 clauses out of 248011 with flag 23665940/17253194
2750.99/2757.28	c cleaning 124995 clauses out of 250014 with flag 24049235/17379198
2775.47/2781.92	c cleaning 126002 clauses out of 252015 with flag 24442110/17506194
2797.76/2804.41	c cleaning 127001 clauses out of 254019 with flag 24847951/17634200
2821.75/2828.61	c cleaning 127996 clauses out of 256016 with flag 25231468/17763198
2845.63/2852.77	c cleaning 128999 clauses out of 258016 with flag 25633726/17893194
2870.50/2877.80	c cleaning 130002 clauses out of 260019 with flag 26044210/18024196
2892.69/2900.22	c cleaning 131001 clauses out of 262018 with flag 26466593/18156197
2920.03/2927.81	c cleaning 132004 clauses out of 264014 with flag 26863288/18289194
2947.27/2955.37	c cleaning 132993 clauses out of 266010 with flag 27261921/18423194
2975.30/2983.60	c cleaning 133996 clauses out of 268017 with flag 27672274/18558194
3002.56/3011.10	c cleaning 135003 clauses out of 270021 with flag 28101305/18694194
3028.52/3037.07	c cleaning 136000 clauses out of 272018 with flag 28526467/18831194
3054.46/3063.03	c cleaning 137009 clauses out of 274021 with flag 28969985/18969197
3082.00/3090.60	c cleaning 137998 clauses out of 276010 with flag 29420637/19108195
3106.66/3115.39	c cleaning 138993 clauses out of 278012 with flag 29886894/19248195
3132.31/3141.04	c cleaning 139996 clauses out of 280020 with flag 30345479/19389196
3164.55/3173.35	c cleaning 141004 clauses out of 282023 with flag 30770232/19531195
3192.89/3201.76	c cleaning 142001 clauses out of 284018 with flag 31210512/19674194
3223.03/3231.95	c cleaning 142997 clauses out of 286017 with flag 31664774/19818194
3254.67/3263.66	c cleaning 143998 clauses out of 288021 with flag 32106547/19963195
3286.81/3295.80	c cleaning 144998 clauses out of 290022 with flag 32558566/20109194
3317.06/3326.11	c cleaning 145997 clauses out of 292024 with flag 33032935/20256194
3346.91/3356.06	c cleaning 147009 clauses out of 294027 with flag 33510461/20404194
3382.53/3391.72	c cleaning 148006 clauses out of 296020 with flag 33949010/20553196
3415.84/3425.02	c cleaning 149001 clauses out of 298012 with flag 34391802/20703194
3445.76/3455.30	c cleaning 150004 clauses out of 300015 with flag 34877533/20854198
3482.73/3492.60	c cleaning 150992 clauses out of 302007 with flag 35341292/21006194
3519.99/3530.13	c cleaning 152002 clauses out of 304016 with flag 35797885/21159195
3553.38/3563.88	c Got one! Elapsed wall clock time (in seconds):3563.708
3553.38/3563.88	o 11
3556.36/3566.82	c cleaning 150845 clauses out of 301707 with flag 14511/21308888
3558.05/3568.54	c cleaning 78423 clauses out of 156856 with flag 32381/21314882
3559.14/3569.66	c cleaning 42709 clauses out of 85433 with flag 52929/21321882
3560.13/3570.64	c cleaning 25351 clauses out of 50724 with flag 75866/21329882
3561.12/3571.61	c cleaning 17181 clauses out of 34373 with flag 101951/21338882
3562.12/3572.61	c cleaning 13590 clauses out of 27194 with flag 130535/21348884
3563.20/3573.77	c cleaning 12300 clauses out of 24606 with flag 162453/21359886
3564.49/3575.06	c cleaning 12148 clauses out of 24304 with flag 196786/21371884
3565.88/3576.42	c cleaning 12563 clauses out of 25154 with flag 233484/21384882
3567.27/3577.85	c cleaning 13288 clauses out of 26591 with flag 272395/21398882
3568.95/3579.50	c cleaning 14143 clauses out of 28303 with flag 315088/21413882
3570.63/3581.24	c cleaning 15078 clauses out of 30162 with flag 363158/21429884
3572.42/3583.08	c cleaning 16038 clauses out of 32082 with flag 413025/21446882
3574.40/3585.01	c cleaning 17017 clauses out of 34044 with flag 466094/21464882
3576.38/3587.02	c cleaning 18011 clauses out of 36027 with flag 520442/21483882
3578.46/3589.16	c cleaning 19005 clauses out of 38017 with flag 577848/21503883
3580.64/3591.31	c cleaning 19992 clauses out of 40011 with flag 640434/21524882
3582.92/3593.65	c cleaning 21012 clauses out of 42024 with flag 706759/21546887
3585.40/3596.13	c cleaning 21998 clauses out of 44007 with flag 779163/21569882
3588.07/3598.86	c cleaning 22995 clauses out of 46009 with flag 853403/21593882
3590.84/3601.62	c cleaning 24002 clauses out of 48014 with flag 926903/21618882
3593.82/3604.65	c cleaning 24997 clauses out of 50013 with flag 1005127/21644883
3596.69/3607.57	c cleaning 25996 clauses out of 52015 with flag 1086419/21671882
3599.76/3610.63	c cleaning 27006 clauses out of 54019 with flag 1177432/21699882
3600.06/3610.92	c starts		: 5760
3600.06/3610.92	c conflicts		: 21702623
3600.06/3610.92	c decisions		: 44597517
3600.06/3610.92	c propagations		: 3584452319
3600.06/3610.93	c inspects		: 43989100059
3600.06/3610.93	c shortcuts		: 0
3600.06/3610.93	c learnt literals	: 0
3600.06/3610.93	c learnt binary clauses	: 0
3600.06/3610.93	c learnt ternary clauses	: 41
3600.06/3610.93	c learnt constraints	: 21702623
3600.06/3610.93	c ignored constraints	: 0
3600.06/3610.93	c root simplifications	: 0
3600.06/3610.93	c removed literals (reason simplification)	: 0
3600.06/3610.93	c reason swapping (by a shorter reason)	: 0
3600.06/3610.93	c Calls to reduceDB	: 307
3600.06/3610.93	c Number of update (reduction) of LBD	: 5677195
3600.06/3610.93	c Imported unit clauses	: 0
3600.06/3610.93	c No decision after first conflict	: false
3600.06/3610.93	c number of reductions to clauses (during analyze)	: 0
3600.06/3610.93	c number of learned constraints concerned by reduction	: 0
3600.06/3610.93	c number of learning phase by resolution	: 0
3600.06/3610.93	c number of learning phase by cutting planes	: 0
3600.06/3610.93	c number of rounding to 1 operations	: 0
3600.06/3610.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3610.93	c number of reductions of the coefficients by power 2 	: 0
3600.06/3610.93	c number of right shift for reduction by power 2 	: 0
3600.06/3610.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3610.93	c number of ending skipping 	: 0
3600.06/3610.93	c number of internal skipping 	: 0
3600.06/3610.93	c number of derivation steps 	: 0
3600.06/3610.93	c number of skipped derivation steps 	: 0
3600.06/3610.93	c number of remaining unassigned 	: 0
3600.06/3610.93	c number of remaining assigned 	: 0
3600.06/3610.93	c number of falsified literals weakened from reason	: 0
3600.06/3610.93	c number of falsified literals weakened from conflict	: 0
3600.06/3610.93	c time for arithmetic operations	: 0
3600.06/3610.93	c minimum degree of deleted constraints	: null
3600.06/3610.93	c maximum degree of deleted constraints	: null
3600.06/3610.93	c number of deleted constraints	: 0
3600.06/3610.93	c speed (assignments/second)	: 992734.4330135603
3600.06/3610.93	c non guided choices	: 0
3600.06/3610.96	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 29754
3600.06/3610.96	s SATISFIABLE
3600.06/3610.96	c Found 8 solution(s)
3600.06/3610.96	v -x1 -x2 x3 -x4 -x5 x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
3600.06/3610.96	c objective function=11
3600.06/3610.96	c Total wall clock time (in seconds): 3610.791
3600.06/3610.96	c timeout

Verifier Data 

OK	11

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: 63931 MiB (61235 MiB free)
  memory of node 1: 64510 MiB (61999 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459879-1721943061/watcher-4459879-1721943061 -o /tmp/evaluation-result-4459879-1721943061/solver-4459879-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721943061-264646 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459879-1721943061.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
Current StackSize limit: 8192 KiB

solver pid=264746, runsolver pid=264738

[startup+0.100255 s]*
/proc/loadavg: 2.93 3.08 3.06 12/330 264776
/proc/meminfo: memFree=126112640/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=18975048 memory=57488 CPUtime=0.07 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 6442 0 0 0 6 1 0 0 20 0 18 0 30834748 19430449152 14372 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4743762 14372 5565 1 0 548819 0
[pid=264746/tid=264748] ppid=264738 vsize=18975048 memory=4026561586 CPUtime=0.04 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 5399 0 0 0 3 1 0 0 20 0 18 0 30834749 19430449152 14372 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30834755 19430449152 14372 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=18975048 memory=14979961989030310 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30834755 19430449152 14372 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57488 KiB

[startup+0.206966 s]*
/proc/loadavg: 2.93 3.08 3.06 11/310 264778
/proc/meminfo: memFree=126116456/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=18975048 memory=70192 CPUtime=0.24 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 7369 0 0 0 23 1 0 0 20 0 18 0 30834748 19430449152 17548 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4743762 17548 5761 1 0 549532 0
[pid=264746/tid=264748] ppid=264738 vsize=18975048 memory=664970851429515383 CPUtime=0.14 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 5795 0 0 0 13 1 0 0 20 0 18 0 30834749 19430449152 17548 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=18975048 memory=224262807918 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30834755 19430449152 17548 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=18975048 memory=1501071 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30834755 19430449152 17548 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70192 KiB

[startup+0.310982 s]*
/proc/loadavg: 2.93 3.08 3.06 11/310 264789
/proc/meminfo: memFree=126101824/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19041612 memory=76052 CPUtime=0.44 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 8754 0 0 0 42 2 0 0 20 0 19 0 30834748 19498610688 19013 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4760403 19013 5904 1 0 550511 0
[pid=264746/tid=264748] ppid=264738 vsize=19041612 memory=-6876588628787748224 CPUtime=0.23 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 5922 0 0 0 22 1 0 0 20 0 19 0 30834749 19498610688 19013 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19041612 memory=-8672072957068812988 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 19013 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 19013 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834773 19498610688 19013 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76052 KiB

[startup+0.709965 s]
/proc/loadavg: 2.93 3.08 3.06 8/310 264789
/proc/meminfo: memFree=126065920/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19041612 memory=89744 CPUtime=1.22 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 12178 0 0 0 119 3 0 0 20 0 19 0 30834748 19498610688 22436 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4760403 22436 5920 1 0 552779 0
[pid=264746/tid=264748] ppid=264738 vsize=19041612 memory=5440 CPUtime=0.61 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 5931 0 0 0 60 1 0 0 20 0 19 0 30834749 19498610688 22436 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19041612 memory=12316 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 22436 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19041612 memory=25668 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 22436 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19041612 memory=2036 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834773 19498610688 22436 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89744 KiB

[startup+1.50096 s]
/proc/loadavg: 2.93 3.08 3.06 8/332 264844
/proc/meminfo: memFree=126005892/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19041612 memory=92380 CPUtime=2.3 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 13732 0 0 0 227 3 0 0 20 0 19 0 30834748 19498610688 23095 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4760403 23095 5920 1 0 552865 0
[pid=264746/tid=264748] ppid=264738 vsize=19041612 memory=12316 CPUtime=1.39 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 6066 0 0 0 138 1 0 0 20 0 19 0 30834749 19498610688 23095 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 23095 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19041612 memory=25668 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 23095 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19041612 memory=2036 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834773 19498610688 23095 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92380 KiB

[startup+3.10596 s]
/proc/loadavg: 2.93 3.08 3.06 5/333 264845
/proc/meminfo: memFree=125945272/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19041612 memory=96720 CPUtime=3.94 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 14897 0 0 0 391 3 0 0 20 0 19 0 30834748 19498610688 24180 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4760403 24180 5920 1 0 552889 0
[pid=264746/tid=264748] ppid=264738 vsize=19041612 memory=0 CPUtime=2.97 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 6767 0 0 0 296 1 0 0 20 0 19 0 30834749 19498610688 24180 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19041612 memory=3905193973281026037 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 24180 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19041612 memory=12316 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 24180 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19041612 memory=25668 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834773 19498610688 24180 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 3.94 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96720 KiB

[startup+6.3002 s]
/proc/loadavg: 3.01 3.09 3.07 5/333 264845
/proc/meminfo: memFree=125934180/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19041612 memory=100520 CPUtime=7.21 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 18158 0 0 0 718 3 0 0 20 0 19 0 30834748 19498610688 25130 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4760403 25130 5920 1 0 552889 0
[pid=264746/tid=264748] ppid=264738 vsize=19041612 memory=25668 CPUtime=6.15 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 7321 0 0 0 614 1 0 0 20 0 19 0 30834749 19498610688 25130 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 25130 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 25130 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19041612 memory=12316 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834773 19498610688 25130 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 7.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100520 KiB

[startup+12.7002 s]
/proc/loadavg: 3.09 3.11 3.07 5/333 264847
/proc/meminfo: memFree=125895936/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19041612 memory=119048 CPUtime=13.61 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 20075 0 0 0 1357 4 0 0 20 0 19 0 30834748 19498610688 29762 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4760403 29762 5920 1 0 552889 0
[pid=264746/tid=264748] ppid=264738 vsize=19041612 memory=116968 CPUtime=12.54 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 8365 0 0 0 1252 2 0 0 20 0 19 0 30834749 19498610688 29762 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19041612 memory=102568 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 29762 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 29762 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834773 19498610688 29762 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 13.61 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 119048 KiB

[startup+25.5003 s]
/proc/loadavg: 3.36 3.17 3.09 5/333 264849
/proc/meminfo: memFree=125816704/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19041612 memory=149812 CPUtime=26.44 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 23461 0 0 0 2639 5 0 0 20 0 19 0 30834748 19498610688 37453 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4760403 37453 5920 1 0 552889 0
[pid=264746/tid=264748] ppid=264738 vsize=19041612 memory=121096 CPUtime=25.31 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 9466 0 0 0 2528 3 0 0 20 0 19 0 30834749 19498610688 37453 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19041612 memory=198340509722 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 37453 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30834755 19498610688 37453 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19041612 memory=100520 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30834773 19498610688 37453 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 26.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 149812 KiB

[startup+51.1059 s]
/proc/loadavg: 3.70 3.27 3.13 5/335 264856
/proc/meminfo: memFree=125674388/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19108176 memory=183232 CPUtime=52.01 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 26788 0 0 0 5195 6 0 0 20 0 20 0 30834748 19566772224 45808 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4777044 45808 5968 1 0 553178 0
[pid=264746/tid=264748] ppid=264738 vsize=19108176 memory=183228 CPUtime=50.84 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 10774 0 0 0 5081 3 0 0 20 0 20 0 30834749 19566772224 45808 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0

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

/proc/meminfo: memFree=118905256/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19108176 memory=2127336 CPUtime=3273.34 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 114722 0 0 0 327206 128 0 0 20 0 20 0 30834748 19566772224 531834 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4777044 531834 6000 1 0 555560 0
[pid=264746/tid=264748] ppid=264738 vsize=19108176 memory=2127336 CPUtime=3267.48 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 54456 0 0 0 326731 17 0 0 20 0 20 0 30834749 19566772224 531834 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19108176 memory=2127336 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 531834 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19108176 memory=2127336 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 3875 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 531834 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19108176 memory=33 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834773 19566772224 531834 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2127336 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/333 266961
/proc/meminfo: memFree=118888188/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19108176 memory=2127340 CPUtime=3333.22 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 116037 0 0 0 333193 129 0 0 20 0 20 0 30834748 19566772224 531835 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4777044 531835 6000 1 0 555560 0
[pid=264746/tid=264748] ppid=264738 vsize=19108176 memory=-8600295738495967932 CPUtime=3327.34 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 55534 0 0 0 332717 17 0 0 20 0 20 0 30834749 19566772224 531835 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19108176 memory=-8600295738495967932 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 531835 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19108176 memory=-8600295738495967932 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 3961 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 531835 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19108176 memory=2127340 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834773 19566772224 531835 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 3333.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2127340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.16 4.11 5/333 266973
/proc/meminfo: memFree=118887300/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19108176 memory=2127360 CPUtime=3393.12 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 117644 0 0 0 339180 132 0 0 20 0 20 0 30834748 19566772224 531840 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4777044 531840 6000 1 0 555565 0
[pid=264746/tid=264748] ppid=264738 vsize=19108176 memory=-8600295738495967932 CPUtime=3387.2 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 56712 0 0 0 338703 17 0 0 20 0 20 0 30834749 19566772224 531840 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19108176 memory=32140 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 531840 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19108176 memory=2127352 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 4046 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 531840 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19108176 memory=2127360 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834773 19566772224 531840 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2127360 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.19 4.12 5/335 267153
/proc/meminfo: memFree=118873564/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19108176 memory=2139652 CPUtime=3452.8 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 119783 0 0 0 345146 134 0 0 20 0 20 0 30834748 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4777044 534913 6000 1 0 555565 0
[pid=264746/tid=264748] ppid=264738 vsize=19108176 memory=-8600295738495967932 CPUtime=3446.52 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 57456 0 0 0 344635 17 0 0 20 0 20 0 30834749 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19108176 memory=77052 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19108176 memory=2139652 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 4095 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19108176 memory=25668 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834773 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2139652 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/335 267163
/proc/meminfo: memFree=118873184/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19108176 memory=2139652 CPUtime=3512.26 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 120663 0 0 0 351090 136 0 0 20 0 20 0 30834748 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4777044 534913 6000 1 0 555565 0
[pid=264746/tid=264748] ppid=264738 vsize=19108176 memory=2127360 CPUtime=3505.95 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 58157 0 0 0 350578 17 0 0 20 0 20 0 30834749 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19108176 memory=2139652 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19108176 memory=2139652 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 4183 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19108176 memory=2139652 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834773 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2139652 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/336 267235
/proc/meminfo: memFree=118872128/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19108176 memory=2139652 CPUtime=3571.72 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 122425 0 0 0 357035 137 0 0 20 0 20 0 30834748 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4777044 534913 6000 1 0 555565 0
[pid=264746/tid=264748] ppid=264738 vsize=19108176 memory=2127360 CPUtime=3565.38 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 59495 0 0 0 356521 17 0 0 20 0 20 0 30834749 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19108176 memory=11384 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19108176 memory=20760 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 4259 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834773 19566772224 534913 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2139652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.00 4.12 4.09 3/284 267309
/proc/meminfo: memFree=122437516/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19108176 memory=2139660 CPUtime=3600.06 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 123334 0 0 0 359869 137 0 0 20 0 20 0 30834748 19566772224 534915 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4777044 534915 6000 1 0 555566 0
[pid=264746/tid=264748] ppid=264738 vsize=19108176 memory=2139652 CPUtime=3593.72 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 60159 0 0 0 359355 17 0 0 20 0 20 0 30834749 19566772224 534915 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19108176 memory=2139652 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 534915 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19108176 memory=2139660 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 4259 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 534915 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19108176 memory=-8600295738495967932 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834773 19566772224 534915 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2139660 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.8 s, system=1.39426 s

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

[startup+3610.9 s]
/proc/loadavg: 4.00 4.12 4.09 3/284 267309
/proc/meminfo: memFree=122437516/131524600 swapFree=131059368/131071996
[pid=264746] ppid=264738 vsize=19108176 memory=2139660 CPUtime=3600.06 cores=1,3
/proc/264746/stat : 264746 (java) S 264738 264746 262544 0 -1 1077936128 123334 0 0 0 359869 137 0 0 20 0 20 0 30834748 19566772224 534915 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
/proc/264746/statm: 4777044 534915 6000 1 0 555566 0
[pid=264746/tid=264748] ppid=264738 vsize=19108176 memory=2139652 CPUtime=3593.72 cores=1,3
/proc/264746/task/264748/stat : 264748 (java) R 264738 264746 262544 0 -1 4194368 60159 0 0 0 359355 17 0 0 20 0 20 0 30834749 19566772224 534915 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264768] ppid=264738 vsize=19108176 memory=2139652 CPUtime=0 cores=1,3
/proc/264746/task/264768/stat : 264768 (Finalizer) S 264738 264746 262544 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 534915 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264775] ppid=264738 vsize=19108176 memory=2139660 CPUtime=0 cores=1,3
/proc/264746/task/264775/stat : 264775 (Common-Cleaner) S 264738 264746 262544 0 -1 1077936192 4259 0 0 0 0 0 0 0 20 0 20 0 30834755 19566772224 534915 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
[pid=264746/tid=264786] ppid=264738 vsize=19108176 memory=-8600295738495967932 CPUtime=0 cores=1,3
/proc/264746/task/264786/stat : 264786 (Timer-0) S 264738 264746 262544 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30834773 19566772224 534915 134679101440 94762609549312 94762609553008 140725338290784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94762609560824 94762609561616 94762618884096 140725338297350 140725338297440 140725338297440 140725338304456 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2139660 KiB

Child status: 143

Real time (s): 3610.98
CPU time (s): 3600.19
CPU user time (s): 3598.8
CPU system time (s): 1.39426
CPU usage (%): 99.7013
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2139660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.8
system time used= 1.39426
maximum resident set size= 2141324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102550
involuntary context switches= 11940


# summary of solver processes directly reported to runsolver:
#   pid: 264746
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3598.8
#   total CPU system time (s): 1.39426

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.18596 second user time and 17.9194 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-25 23:31:01
IDJOB=4459879
IDBENCH=148625
IDSOLVER=3058
FILE ID=nodeC021/4459879-1721943061
RUNJOBID= nodeC021-1721943061-264646
SLURM_JOB_ID= 8247242
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459879-1721943061/watcher-4459879-1721943061 -o /tmp/evaluation-result-4459879-1721943061/solver-4459879-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721943061-264646 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459879-1721943061.opb

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

MD5SUM BENCH= 2bd1635b55c594c1b059c8ee34f0ff3b
RANDOM SEED=17340828

nodeC021.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		: 3595.796
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	: 7000.35
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		: 3573.962
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	: 7007.41
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		: 3554.211
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	: 7000.35
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		: 3593.125
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	: 7007.41
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		: 3617.922
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	: 7000.35
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		: 3606.555
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	: 7007.41
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		: 3584.853
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	: 7000.35
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		: 3658.930
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	: 7007.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126213336 kB
MemAvailable:   129645260 kB
Buffers:          340012 kB
Cached:          3899280 kB
SwapCached:          448 kB
Active:          2718276 kB
Inactive:        1945608 kB
Active(anon):       1684 kB
Inactive(anon):   476400 kB
Active(file):    2716592 kB
Inactive(file):  1469208 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059368 kB
Dirty:              3812 kB
Writeback:            32 kB
AnonPages:        423992 kB
Mapped:           125424 kB
Shmem:             53464 kB
KReclaimable:     172212 kB
Slab:             292708 kB
SReclaimable:     172212 kB
SUnreclaim:       120496 kB
KernelStack:        4360 kB
PageTables:        10412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5328824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      324308 kB
DirectMap2M:    40343552 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC021 at 2024-07-26 00:31:12