Trace number 4459743

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)-105 3600.83 3294.16

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb
MD5SUMfc228e1220654f2d8d37c5d03b9b5ad1
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-151
Best CPU time to get the best result obtained on this benchmark71326.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1000
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 constraints1000
Minimum length of a constraint25
Maximum length of a constraint47
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31622
Sum of products size (including duplicates)63244
Number of different products15811
Sum of products size31622

Quality of the solution as a function of time


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

Solver Data 

0.11/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.18	c See www.sat4j.org for details.
0.11/0.20	c version CUSTOM.v20240707
0.27/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.24	c java.vm.version	22.0.1+8-16
0.27/0.24	c java.vm.vendor	Oracle Corporation
0.27/0.24	c sun.arch.data.model	64
0.27/0.24	c java.version		22.0.1
0.27/0.24	c os.name		Linux
0.27/0.24	c os.version		4.18.0-301.1.el8.x86_64
0.27/0.24	c os.arch		amd64
0.27/0.25	c Free memory 		2113181440
0.27/0.25	c Max memory 		16282288128
0.27/0.25	c Total memory 		2122317824
0.27/0.25	c Number of processors 	2
0.43/0.34	--- Begin Solver configuration ---
0.43/0.34	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.43/0.34	Learn all clauses as in MiniSAT
0.43/0.34	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.34	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.34	No reason simplification
0.43/0.34	Glucose 2.1 dynamic restart strategy
0.43/0.34	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.43/0.34	timeout=2147483s
0.43/0.34	DB Simplification allowed=false
0.43/0.34	Listener: none
0.43/0.34	--- End Solver configuration ---
0.43/0.35	c Pseudo Boolean Optimization by upper bound
0.43/0.35	c --- Begin Solver configuration ---
0.43/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.43/0.35	c Learn all clauses as in MiniSAT
0.43/0.35	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.35	c No reason simplification
0.43/0.35	c Glucose 2.1 dynamic restart strategy
0.43/0.35	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.43/0.35	c timeout=2147483s
0.43/0.35	c DB Simplification allowed=false
0.43/0.35	c Listener: none
0.43/0.35	c --- End Solver configuration ---
0.43/0.35	c solving HOME/instance-4459743-1721939465.opb
0.43/0.35	c reading problem ... 
0.43/0.35	c  objective function found
1.32/0.83	c ... done. Wall clock time 0.469s.
1.32/0.83	c declared #vars     1000
1.32/0.83	c internal #vars     16811
1.32/0.83	c #constraints  33622
1.32/0.83	c constraints type 
1.32/0.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15811
1.32/0.83	c org.sat4j.specs.Constr$1 => 1054
1.32/0.83	c org.sat4j.pb.constraints.pb.UnitClausesPB => 896
1.32/0.83	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15811
1.32/0.83	c org.sat4j.pb.constraints.pb.UnitClausePB => 50
1.32/0.83	c 33622 constraints processed.
1.32/0.85	c objective function length is 1000 literals
1.55/0.95	c SATISFIABLE
1.55/0.95	c OPTIMIZING...
1.55/0.96	c Got one! Elapsed wall clock time (in seconds):0.598
1.55/0.96	o -100
1.73/1.09	c Got one! Elapsed wall clock time (in seconds):0.745
1.73/1.09	o -101
1.94/1.12	c Got one! Elapsed wall clock time (in seconds):0.774
1.94/1.12	o -102
2.11/1.27	c Got one! Elapsed wall clock time (in seconds):0.921
2.11/1.27	o -103
3.53/2.04	c cleaning 2663 clauses out of 5325 with flag 10354/5325
4.37/2.66	c cleaning 4331 clauses out of 8661 with flag 22699/11324
5.23/3.35	c cleaning 5666 clauses out of 11331 with flag 37128/18325
6.72/4.58	c cleaning 6832 clauses out of 13664 with flag 53634/26324
8.27/5.87	c cleaning 7909 clauses out of 15832 with flag 72229/35324
9.55/6.95	c cleaning 8960 clauses out of 17924 with flag 93041/45325
11.55/8.79	c cleaning 9978 clauses out of 19964 with flag 115719/56325
13.32/10.31	c cleaning 10993 clauses out of 21986 with flag 140451/68325
15.11/11.84	c cleaning 11993 clauses out of 23992 with flag 167263/81324
17.29/13.63	c cleaning 12997 clauses out of 25999 with flag 196085/95324
19.87/15.89	c cleaning 14002 clauses out of 28003 with flag 226957/110325
22.54/18.16	c cleaning 14998 clauses out of 30000 with flag 259919/126324
24.56/20.04	c cleaning 16001 clauses out of 32002 with flag 294981/143324
27.13/22.22	c cleaning 17000 clauses out of 34002 with flag 332056/161325
29.97/24.79	c cleaning 17995 clauses out of 36002 with flag 371068/180325
32.80/27.16	c cleaning 18998 clauses out of 38006 with flag 412205/200324
36.19/30.34	c cleaning 20004 clauses out of 40008 with flag 455412/221324
39.06/32.97	c cleaning 21002 clauses out of 42005 with flag 500801/243325
42.95/36.42	c cleaning 21998 clauses out of 44003 with flag 548293/266325
46.14/39.28	c cleaning 23000 clauses out of 46005 with flag 597865/290325
49.47/42.30	c cleaning 24003 clauses out of 48006 with flag 649496/315326
52.94/45.31	c cleaning 24998 clauses out of 50001 with flag 703193/341324
56.97/48.82	c cleaning 26002 clauses out of 52003 with flag 758846/368324
60.46/52.12	c cleaning 27001 clauses out of 54001 with flag 816493/396324
67.71/57.13	c cleaning 27997 clauses out of 56001 with flag 876069/425325
73.06/61.56	c cleaning 29002 clauses out of 58004 with flag 937836/455325
77.70/65.75	c cleaning 29997 clauses out of 60002 with flag 1001696/486325
82.17/69.88	c cleaning 30999 clauses out of 62005 with flag 1067622/518325
86.48/73.93	c cleaning 32001 clauses out of 64006 with flag 1135575/551325
92.27/78.86	c cleaning 33000 clauses out of 66004 with flag 1205666/585324
97.61/83.63	c cleaning 33999 clauses out of 68005 with flag 1277630/620325
102.30/88.04	c cleaning 35001 clauses out of 70005 with flag 1351714/656324
108.01/93.02	c cleaning 36000 clauses out of 72005 with flag 1428215/693325
113.54/98.14	c cleaning 37002 clauses out of 74005 with flag 1506611/731325
119.78/103.89	c cleaning 37997 clauses out of 76002 with flag 1587132/770324
128.05/111.21	c cleaning 38999 clauses out of 78005 with flag 1669419/810324
138.59/118.81	c cleaning 39999 clauses out of 80006 with flag 1753645/851324
146.17/125.37	c cleaning 41001 clauses out of 82007 with flag 1839917/893324
154.22/132.83	c cleaning 42001 clauses out of 84006 with flag 1928578/936324
163.82/141.13	c cleaning 42999 clauses out of 86007 with flag 2019139/980326
172.54/149.28	c cleaning 44001 clauses out of 88006 with flag 2111733/1025324
181.54/157.10	c cleaning 45000 clauses out of 90005 with flag 2206906/1071324
191.20/166.19	c cleaning 45998 clauses out of 92005 with flag 2303454/1118324
202.95/174.39	c cleaning 47002 clauses out of 94007 with flag 2402453/1166324
211.82/182.75	c cleaning 47998 clauses out of 96006 with flag 2503801/1215325
223.43/193.56	c cleaning 49000 clauses out of 98007 with flag 2606667/1265324
232.85/202.45	c cleaning 50000 clauses out of 100008 with flag 2711644/1316325
243.55/211.72	c cleaning 50996 clauses out of 102008 with flag 2818259/1368325
253.05/220.14	c cleaning 52005 clauses out of 104011 with flag 2927238/1421324
261.64/228.24	c cleaning 52998 clauses out of 106006 with flag 3038355/1475324
273.93/239.77	c cleaning 54000 clauses out of 108009 with flag 3151296/1530325
286.86/251.41	c cleaning 54999 clauses out of 110009 with flag 3266358/1586325
299.24/263.39	c cleaning 56001 clauses out of 112009 with flag 3383839/1643324
318.17/281.38	c cleaning 57000 clauses out of 114008 with flag 3502943/1701324
334.42/296.51	c cleaning 58002 clauses out of 116008 with flag 3624486/1760324
348.51/309.59	c cleaning 58997 clauses out of 118006 with flag 3748002/1820324
365.36/322.26	c cleaning 60002 clauses out of 120010 with flag 3873449/1881325
378.62/334.51	c cleaning 60997 clauses out of 122007 with flag 4001430/1943324
396.69/351.87	c cleaning 62002 clauses out of 124012 with flag 4131171/2006326
413.95/367.62	c cleaning 63002 clauses out of 126008 with flag 4262646/2070324
430.61/383.09	c cleaning 64001 clauses out of 128006 with flag 4396678/2135324
449.57/400.67	c cleaning 64999 clauses out of 130006 with flag 4532522/2201325
466.75/416.68	c cleaning 65996 clauses out of 132006 with flag 4670751/2268324
483.32/431.95	c cleaning 67000 clauses out of 134011 with flag 4811115/2336325
497.43/445.41	c cleaning 68003 clauses out of 136011 with flag 4953088/2405325
514.25/461.53	c cleaning 69002 clauses out of 138008 with flag 5097531/2475325
534.47/480.67	c cleaning 70003 clauses out of 140005 with flag 5243298/2546324
553.63/495.51	c cleaning 70999 clauses out of 142003 with flag 5392064/2618325
570.25/511.31	c cleaning 72000 clauses out of 144005 with flag 5542887/2691326
585.51/525.08	c cleaning 72999 clauses out of 146004 with flag 5696184/2765325
600.36/538.48	c cleaning 73999 clauses out of 148004 with flag 5851717/2840324
617.75/554.30	c cleaning 75000 clauses out of 150005 with flag 6008213/2916324
633.25/568.65	c cleaning 75999 clauses out of 152006 with flag 6166975/2993325
650.48/584.73	c cleaning 76998 clauses out of 154006 with flag 6327248/3071324
673.05/606.38	c cleaning 78000 clauses out of 156008 with flag 6489626/3150324
694.14/625.51	c cleaning 78998 clauses out of 158008 with flag 6654040/3230324
718.87/645.46	c cleaning 80004 clauses out of 160011 with flag 6821117/3311325
740.18/665.64	c cleaning 81001 clauses out of 162006 with flag 6990107/3393324
758.25/682.45	c cleaning 82002 clauses out of 164005 with flag 7161539/3476324
782.40/704.87	c cleaning 82998 clauses out of 166004 with flag 7334646/3560325
801.44/722.43	c cleaning 84001 clauses out of 168005 with flag 7509763/3645324
821.54/741.45	c cleaning 84999 clauses out of 170005 with flag 7687200/3731325
844.31/762.38	c cleaning 85999 clauses out of 172007 with flag 7866340/3818326
871.41/788.28	c cleaning 86999 clauses out of 174006 with flag 8046903/3906324
905.18/815.91	c cleaning 87999 clauses out of 176007 with flag 8229851/3995324
933.02/842.52	c cleaning 89000 clauses out of 178009 with flag 8414345/4085325
959.03/866.70	c cleaning 90002 clauses out of 180009 with flag 8600405/4176325
981.00/887.12	c cleaning 90997 clauses out of 182006 with flag 8789895/4268324
1009.55/913.92	c cleaning 92006 clauses out of 184011 with flag 8981210/4361326
1036.30/939.63	c cleaning 92999 clauses out of 186004 with flag 9174156/4455325
1059.57/961.40	c cleaning 94001 clauses out of 188005 with flag 9370236/4550325
1090.29/985.75	c cleaning 94998 clauses out of 190003 with flag 9568064/4646324
1120.19/1014.22	c cleaning 96000 clauses out of 192006 with flag 9767253/4743325
1145.53/1037.78	c cleaning 97001 clauses out of 194005 with flag 9968849/4841324
1174.90/1065.07	c cleaning 97997 clauses out of 196005 with flag 10172922/4940325
1197.95/1086.03	c cleaning 99003 clauses out of 198007 with flag 10379384/5040324
1220.23/1106.86	c cleaning 99997 clauses out of 200004 with flag 10588547/5141324
1255.40/1136.57	c cleaning 100997 clauses out of 202007 with flag 10797932/5243324
1286.33/1165.74	c cleaning 101998 clauses out of 204010 with flag 11009396/5346324
1292.87/1171.80	c Got one! Elapsed wall clock time (in seconds):1171.446
1292.87/1171.80	o -104
1292.87/1171.84	c Got one! Elapsed wall clock time (in seconds):1171.496
1292.87/1171.84	o -105
1298.09/1177.01	c cleaning 69887 clauses out of 139786 with flag 10790/5384098
1299.70/1178.68	c cleaning 37945 clauses out of 75897 with flag 23197/5390096
1300.89/1179.87	c cleaning 22469 clauses out of 44952 with flag 37954/5397096
1303.19/1181.58	c cleaning 15239 clauses out of 30484 with flag 54824/5405097
1303.99/1182.34	c cleaning 12119 clauses out of 24245 with flag 73286/5414097
1305.58/1184.01	c cleaning 11055 clauses out of 22125 with flag 94322/5424096
1306.58/1184.94	c cleaning 11031 clauses out of 22071 with flag 116959/5435097
1307.77/1186.09	c cleaning 11519 clauses out of 23040 with flag 141571/5447097
1308.96/1187.24	c cleaning 12257 clauses out of 24520 with flag 168307/5460096
1310.25/1188.54	c cleaning 13128 clauses out of 26263 with flag 197014/5474096
1311.87/1190.08	c cleaning 14061 clauses out of 28135 with flag 227813/5489096
1313.37/1191.54	c cleaning 15036 clauses out of 30074 with flag 260800/5505096
1315.65/1193.55	c cleaning 16015 clauses out of 32038 with flag 296445/5522096
1317.45/1195.34	c cleaning 17009 clauses out of 34023 with flag 333393/5540096
1319.91/1197.52	c cleaning 18006 clauses out of 36016 with flag 373116/5559098
1322.01/1199.62	c cleaning 19005 clauses out of 38010 with flag 415310/5579098
1324.73/1202.13	c cleaning 19999 clauses out of 40003 with flag 458440/5600096
1328.12/1205.02	c cleaning 20996 clauses out of 42005 with flag 503523/5622097
1330.70/1207.61	c cleaning 22004 clauses out of 44009 with flag 550734/5645097
1334.35/1210.92	c cleaning 23002 clauses out of 46004 with flag 601006/5669096
1337.24/1213.89	c cleaning 23998 clauses out of 48002 with flag 652250/5694096
1340.61/1217.17	c cleaning 25002 clauses out of 50006 with flag 705845/5720098
1344.54/1220.73	c cleaning 25997 clauses out of 52003 with flag 761273/5747097
1348.91/1224.67	c cleaning 26999 clauses out of 54006 with flag 818913/5775097
1352.70/1228.40	c cleaning 27998 clauses out of 56006 with flag 878517/5804096
1357.21/1232.87	c cleaning 29002 clauses out of 58008 with flag 940002/5834096
1362.06/1237.49	c cleaning 30004 clauses out of 60007 with flag 1003711/5865097
1367.19/1242.23	c cleaning 30995 clauses out of 62002 with flag 1069553/5897096
1372.27/1246.94	c cleaning 32001 clauses out of 64007 with flag 1137817/5930096
1378.08/1252.31	c cleaning 33002 clauses out of 66006 with flag 1208440/5964096
1385.56/1259.39	c cleaning 33998 clauses out of 68005 with flag 1281365/5999097
1395.85/1269.13	c cleaning 35001 clauses out of 70008 with flag 1357892/6035098
1402.48/1275.32	c cleaning 36000 clauses out of 72006 with flag 1434081/6072097
1409.53/1281.97	c cleaning 37000 clauses out of 74006 with flag 1511722/6110097
1417.90/1289.97	c cleaning 37999 clauses out of 76006 with flag 1592453/6149097
1429.12/1300.88	c cleaning 39002 clauses out of 78006 with flag 1675745/6189096
1440.34/1311.82	c cleaning 40001 clauses out of 80007 with flag 1761515/6230099
1449.51/1320.88	c cleaning 40997 clauses out of 82003 with flag 1849111/6272096
1460.77/1331.25	c cleaning 41997 clauses out of 84006 with flag 1939085/6315096
1473.28/1340.81	c cleaning 43002 clauses out of 86009 with flag 2029941/6359096
1485.21/1352.02	c cleaning 44001 clauses out of 88008 with flag 2124641/6404097
1499.37/1365.84	c cleaning 45002 clauses out of 90006 with flag 2222549/6450096
1514.46/1380.00	c cleaning 45999 clauses out of 92004 with flag 2321866/6497096
1524.44/1389.21	c cleaning 47003 clauses out of 94005 with flag 2420490/6545096
1533.91/1398.29	c cleaning 47999 clauses out of 96003 with flag 2521560/6594097
1543.67/1406.95	c cleaning 49001 clauses out of 98003 with flag 2625003/6644096
1553.80/1416.43	c cleaning 49995 clauses out of 100002 with flag 2731326/6695096
1561.99/1424.40	c cleaning 51001 clauses out of 102008 with flag 2838262/6747097
1573.98/1435.51	c cleaning 51996 clauses out of 104006 with flag 2947274/6800096
1584.82/1445.97	c cleaning 53003 clauses out of 106010 with flag 3057829/6854096
1593.83/1454.03	c cleaning 54002 clauses out of 108008 with flag 3170356/6909097
1604.45/1464.21	c cleaning 54996 clauses out of 110006 with flag 3286082/6965097
1619.33/1478.24	c cleaning 56003 clauses out of 112010 with flag 3404435/7022097
1630.20/1487.99	c cleaning 56996 clauses out of 114006 with flag 3524218/7080096
1641.15/1498.38	c cleaning 58004 clauses out of 116012 with flag 3645424/7139098
1652.26/1508.59	c cleaning 59000 clauses out of 118007 with flag 3768522/7199097
1668.98/1520.84	c cleaning 60000 clauses out of 120007 with flag 3893532/7260097
1681.65/1532.21	c cleaning 60999 clauses out of 122006 with flag 4020920/7322096
1692.72/1542.33	c cleaning 62002 clauses out of 124008 with flag 4150474/7385097
1704.76/1552.97	c cleaning 63001 clauses out of 126006 with flag 4282070/7449097
1717.98/1564.82	c cleaning 63999 clauses out of 128006 with flag 4415602/7514098
1730.83/1577.02	c cleaning 64998 clauses out of 130005 with flag 4551041/7580096
1742.79/1588.10	c cleaning 65997 clauses out of 132008 with flag 4688921/7647097
1755.73/1600.07	c cleaning 67003 clauses out of 134010 with flag 4828706/7715096
1767.55/1610.82	c cleaning 68002 clauses out of 136007 with flag 4970672/7784096
1781.93/1624.11	c cleaning 68999 clauses out of 138005 with flag 5114505/7854096
1795.59/1636.76	c cleaning 69999 clauses out of 140006 with flag 5259988/7925096
1813.93/1650.47	c cleaning 71001 clauses out of 142007 with flag 5408222/7997096
1827.78/1663.18	c cleaning 72000 clauses out of 144006 with flag 5558289/8070096
1844.00/1678.28	c cleaning 72998 clauses out of 146006 with flag 5710425/8144096
1861.64/1694.70	c cleaning 74000 clauses out of 148009 with flag 5864211/8219097
1880.15/1712.02	c cleaning 75000 clauses out of 150008 with flag 6020406/8295096
1896.60/1727.58	c cleaning 75999 clauses out of 152009 with flag 6178401/8372097
1915.22/1744.92	c cleaning 77001 clauses out of 154010 with flag 6338456/8450097
1938.56/1766.54	c cleaning 78005 clauses out of 156010 with flag 6500477/8529098
1963.05/1789.73	c cleaning 78996 clauses out of 158003 with flag 6664653/8609096
1989.38/1810.93	c cleaning 80000 clauses out of 160008 with flag 6830799/8690097
2006.38/1826.71	c cleaning 81003 clauses out of 162008 with flag 7000130/8772097
2029.52/1848.15	c cleaning 81998 clauses out of 164004 with flag 7170697/8855096
2051.32/1868.36	c cleaning 82999 clauses out of 166006 with flag 7343362/8939096
2071.26/1886.90	c cleaning 83997 clauses out of 168007 with flag 7517901/9024096
2092.43/1906.21	c cleaning 85004 clauses out of 170011 with flag 7694528/9110097
2112.98/1925.44	c cleaning 86000 clauses out of 172007 with flag 7873245/9197097
2141.05/1952.53	c cleaning 87002 clauses out of 174007 with flag 8053408/9285097
2171.55/1976.81	c cleaning 88000 clauses out of 176004 with flag 8235729/9374096
2200.09/2004.35	c cleaning 89000 clauses out of 178004 with flag 8420783/9464096
2233.22/2035.92	c cleaning 89996 clauses out of 180004 with flag 8607163/9555096
2267.52/2068.81	c cleaning 91003 clauses out of 182009 with flag 8795635/9647097
2301.20/2100.97	c cleaning 92000 clauses out of 184006 with flag 8986202/9740097
2328.39/2126.25	c cleaning 93001 clauses out of 186005 with flag 9179220/9834096
2361.01/2151.98	c cleaning 93998 clauses out of 188004 with flag 9374290/9929096
2396.39/2185.52	c cleaning 95000 clauses out of 190006 with flag 9571584/10025096
2426.19/2214.09	c cleaning 96004 clauses out of 192007 with flag 9770907/10122097
2461.22/2247.15	c cleaning 97000 clauses out of 194003 with flag 9972127/10220097
2492.26/2276.40	c cleaning 97997 clauses out of 196002 with flag 10175876/10319096
2535.15/2317.50	c cleaning 99002 clauses out of 198006 with flag 10380648/10419097
2576.59/2352.12	c cleaning 100001 clauses out of 200003 with flag 10587427/10520096
2608.75/2382.82	c cleaning 100999 clauses out of 202002 with flag 10796475/10622096
2642.69/2415.18	c cleaning 102000 clauses out of 204003 with flag 11007337/10725096
2673.68/2444.25	c cleaning 103000 clauses out of 206003 with flag 11220197/10829096
2707.20/2475.98	c cleaning 103998 clauses out of 208003 with flag 11435095/10934096
2743.60/2510.48	c cleaning 105003 clauses out of 210007 with flag 11651951/11040098
2784.61/2545.16	c cleaning 105996 clauses out of 212002 with flag 11871423/11147096
2821.91/2580.33	c cleaning 107001 clauses out of 214006 with flag 12092824/11255096
2858.51/2614.82	c cleaning 108001 clauses out of 216005 with flag 12315941/11364096
2897.90/2652.06	c cleaning 108999 clauses out of 218005 with flag 12541237/11474097
2937.83/2690.09	c cleaning 109999 clauses out of 220005 with flag 12768569/11585096
2984.42/2729.98	c cleaning 111002 clauses out of 222007 with flag 12997819/11697097
3023.53/2767.12	c cleaning 111995 clauses out of 224005 with flag 13229481/11810097
3061.93/2803.56	c cleaning 112999 clauses out of 226009 with flag 13463283/11924096
3110.67/2850.59	c cleaning 114003 clauses out of 228011 with flag 13699358/12039097
3160.54/2898.77	c cleaning 114999 clauses out of 230007 with flag 13936946/12155096
3208.28/2937.48	c cleaning 115999 clauses out of 232009 with flag 14176724/12272097
3248.09/2975.26	c cleaning 117002 clauses out of 234009 with flag 14418384/12390096
3283.08/3008.13	c cleaning 117999 clauses out of 236009 with flag 14662585/12509098
3320.99/3043.14	c cleaning 119000 clauses out of 238009 with flag 14909644/12629097
3368.14/3080.70	c cleaning 119998 clauses out of 240008 with flag 15157992/12750096
3410.52/3121.17	c cleaning 121002 clauses out of 242010 with flag 15407972/12872096
3449.49/3157.55	c cleaning 122001 clauses out of 244009 with flag 15660303/12995097
3482.85/3188.47	c cleaning 122999 clauses out of 246008 with flag 15914872/13119097
3527.56/3224.42	c cleaning 124001 clauses out of 248008 with flag 16171393/13244096
3578.80/3273.64	c cleaning 125001 clauses out of 250007 with flag 16429968/13370096
3600.02/3293.75	c starts		: 7
3600.02/3293.78	c conflicts		: 13455764
3600.02/3293.78	c decisions		: 15256426
3600.02/3293.78	c propagations		: 97958687
3600.02/3293.78	c inspects		: 13694077371
3600.02/3293.78	c shortcuts		: 0
3600.02/3293.78	c learnt literals	: 0
3600.02/3293.78	c learnt binary clauses	: 0
3600.02/3293.78	c learnt ternary clauses	: 0
3600.02/3293.78	c learnt constraints	: 13455764
3600.02/3293.78	c ignored constraints	: 0
3600.02/3293.78	c root simplifications	: 0
3600.02/3293.78	c removed literals (reason simplification)	: 0
3600.02/3293.78	c reason swapping (by a shorter reason)	: 0
3600.02/3293.78	c Calls to reduceDB	: 221
3600.02/3293.78	c Number of update (reduction) of LBD	: 59539
3600.02/3293.78	c Imported unit clauses	: 0
3600.02/3293.78	c No decision after first conflict	: false
3600.22/3293.82	c number of reductions to clauses (during analyze)	: 0
3600.22/3293.82	c number of learned constraints concerned by reduction	: 0
3600.22/3293.82	c number of learning phase by resolution	: 0
3600.22/3293.82	c number of learning phase by cutting planes	: 0
3600.22/3293.82	c number of rounding to 1 operations	: 0
3600.22/3293.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.22/3293.82	c number of reductions of the coefficients by power 2 	: 0
3600.22/3293.82	c number of right shift for reduction by power 2 	: 0
3600.22/3293.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.22/3293.82	c number of ending skipping 	: 0
3600.22/3293.82	c number of internal skipping 	: 0
3600.22/3293.82	c number of derivation steps 	: 0
3600.22/3293.82	c number of skipped derivation steps 	: 0
3600.22/3293.82	c number of remaining unassigned 	: 0
3600.22/3293.82	c number of remaining assigned 	: 0
3600.22/3293.82	c number of falsified literals weakened from reason	: 0
3600.22/3293.82	c number of falsified literals weakened from conflict	: 0
3600.22/3293.83	c time for arithmetic operations	: 0
3600.22/3293.84	c minimum degree of deleted constraints	: null
3600.22/3293.84	c maximum degree of deleted constraints	: null
3600.22/3293.84	c number of deleted constraints	: 0
3600.22/3293.84	c speed (assignments/second)	: 29748.129632643937
3600.22/3293.84	c non guided choices	: 0
3600.60/3294.01	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 210674
3600.60/3294.01	s SATISFIABLE
3600.60/3294.02	c Found 6 solution(s)
3600.60/3294.04	v x1 x2 -x3 x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 x130 -x131 x132 x133 x134 x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 -x259 x260 x261 x262 -x263 x264 -x265 x266 x267 -x268 -x269 -x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 x513 x514 -x515 -x516 -x517 x518 x519 x520 x521 -x522 x523 x524 -x525 x526 -x527 x528 x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 x541 -x542 -x543 -x544 -x545 -x546 x547 x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 x561 -x562 x563 -x564 -x565 x566 -x567 -x568 -x569 x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 
3600.60/3294.06	c objective function=-105
3600.60/3294.07	c Total wall clock time (in seconds): 3293.711

Verifier Data 

OK	-105

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459743-1721939465/watcher-4459743-1721939465 -o /tmp/evaluation-result-4459743-1721939465/solver-4459743-1721939465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721939462-298710 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459743-1721939465.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=299024, runsolver pid=299021

[startup+0.100097 s]*
/proc/loadavg: 0.12 0.09 0.18 8/313 299042
/proc/meminfo: memFree=127736408/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=18993908 memory=56080 CPUtime=0.11 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 6392 0 0 0 8 3 0 0 20 0 18 0 29935944 19449761792 14020 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4748477 14020 5766 1 0 550744 0
[pid=299024/tid=299026] ppid=299021 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 5369 0 0 0 5 3 0 0 20 0 18 0 29935945 19449761792 14020 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=18993908 memory=232851243367 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935951 19449761792 14020 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=18993908 memory=3618136736603318475 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29935952 19449761792 14020 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 56080 KiB

[startup+0.216593 s]*
/proc/loadavg: 0.12 0.09 0.18 10/313 299042
/proc/meminfo: memFree=127726144/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=18993908 memory=59712 CPUtime=0.27 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 7115 0 0 0 23 4 0 0 20 0 18 0 29935944 19449761792 14928 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4748477 14928 5967 1 0 551322 0
[pid=299024/tid=299026] ppid=299021 vsize=18993908 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 5702 0 0 0 14 3 0 0 20 0 18 0 29935945 19449761792 14928 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=18993908 memory=1967857 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935951 19449761792 14928 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29935952 19449761792 14928 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 59712 KiB

[startup+0.318077 s]*
/proc/loadavg: 0.12 0.09 0.18 8/313 299042
/proc/meminfo: memFree=127713628/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=18993908 memory=67040 CPUtime=0.43 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 7391 0 0 0 38 5 0 0 20 0 18 0 29935944 19449761792 16760 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4748477 16760 5976 1 0 551519 0
[pid=299024/tid=299026] ppid=299021 vsize=18993908 memory=-9104988046794400444 CPUtime=0.25 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 5865 0 0 0 22 3 0 0 20 0 18 0 29935945 19449761792 16760 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935951 19449761792 16760 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29935952 19449761792 16760 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67040 KiB

[startup+0.700578 s]
/proc/loadavg: 0.75 0.22 0.22 9/313 299042
/proc/meminfo: memFree=127688084/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=18993908 memory=102040 CPUtime=1.13 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 9482 0 0 0 107 6 0 0 20 0 18 0 29935944 19449761792 25510 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4748477 25510 6128 1 0 552329 0
[pid=299024/tid=299026] ppid=299021 vsize=18993908 memory=5640 CPUtime=0.6 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 6012 0 0 0 56 4 0 0 20 0 18 0 29935945 19449761792 25510 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=18993908 memory=12240 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29935951 19449761792 25510 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=18993908 memory=4965 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29935952 19449761792 25510 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 102040 KiB

[startup+1.50058 s]
/proc/loadavg: 0.75 0.22 0.22 8/314 299043
/proc/meminfo: memFree=127607640/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19060472 memory=161648 CPUtime=2.71 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 16074 0 0 0 263 8 0 0 20 0 19 0 29935944 19517923328 40412 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4765118 40412 6166 1 0 555419 0
[pid=299024/tid=299026] ppid=299021 vsize=19060472 memory=4965 CPUtime=1.3 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 6713 0 0 0 125 5 0 0 20 0 19 0 29935945 19517923328 40412 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29935951 19517923328 40412 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19060472 memory=12240 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 29935952 19517923328 40412 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299043] ppid=299021 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/299024/task/299043/stat : 299043 (Timer-0) S 299021 299024 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29936034 19517923328 40412 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 161648 KiB

[startup+3.10557 s]
/proc/loadavg: 0.75 0.22 0.22 5/316 299045
/proc/meminfo: memFree=127165140/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19127036 memory=451796 CPUtime=5.04 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 18603 0 0 0 489 15 0 0 20 0 20 0 29935944 19586084864 112949 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4781759 112949 6198 1 0 555754 0
[pid=299024/tid=299026] ppid=299021 vsize=19127036 memory=12240 CPUtime=2.55 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 7473 0 0 0 250 5 0 0 20 0 20 0 29935945 19586084864 112949 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935951 19586084864 112949 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 29935952 19586084864 112949 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299043] ppid=299021 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/299024/task/299043/stat : 299043 (Timer-0) S 299021 299024 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936034 19586084864 112949 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 451796 KiB

[startup+6.30041 s]
/proc/loadavg: 1.17 0.32 0.25 7/317 299113
/proc/meminfo: memFree=126632932/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19127036 memory=1068348 CPUtime=8.96 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 19674 0 0 0 867 29 0 0 20 0 20 0 29935944 19586084864 267087 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4781759 267087 6214 1 0 1153175 0
[pid=299024/tid=299026] ppid=299021 vsize=19127036 memory=0 CPUtime=5.13 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 1077936192 7685 0 0 0 503 10 0 0 20 0 20 0 29935945 19586084864 267087 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19127036 memory=918468 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935951 19586084864 267087 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19127036 memory=918468 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 29935952 19586084864 267087 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299043] ppid=299021 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/299024/task/299043/stat : 299043 (Timer-0) S 299021 299024 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936034 19586084864 267087 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1068348 KiB

[startup+12.7006 s]
/proc/loadavg: 1.48 0.40 0.28 5/318 299248
/proc/meminfo: memFree=124881404/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19127036 memory=1946792 CPUtime=16.02 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 21847 0 0 0 1554 48 0 0 20 0 20 0 29935944 19586084864 486698 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4781759 486698 6214 1 0 1907267 0
[pid=299024/tid=299026] ppid=299021 vsize=19127036 memory=12264 CPUtime=10.76 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 8105 0 0 0 1059 17 0 0 20 0 20 0 29935945 19586084864 486698 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19127036 memory=1946740 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935951 19586084864 486698 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 29935952 19586084864 486698 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299043] ppid=299021 vsize=19127036 memory=1569368 CPUtime=0 cores=1,3
/proc/299024/task/299043/stat : 299043 (Timer-0) S 299021 299024 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936034 19586084864 486698 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 16.02 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1946792 KiB

[startup+25.5006 s]
/proc/loadavg: 2.02 0.55 0.33 5/318 299251
/proc/meminfo: memFree=120978232/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19127036 memory=3763296 CPUtime=30.86 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 23482 0 0 0 3000 86 0 0 20 0 20 0 29935944 19586084864 940824 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4781759 940824 6214 1 0 2343850 0
[pid=299024/tid=299026] ppid=299021 vsize=19127036 memory=1946740 CPUtime=21.59 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) S 299021 299024 298698 0 -1 1077936192 8377 0 0 0 2135 24 0 0 20 0 20 0 29935945 19586084864 940824 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19127036 memory=3099700 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935951 19586084864 940824 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19127036 memory=-9104988046794400444 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 29935952 19586084864 940824 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299043] ppid=299021 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/299024/task/299043/stat : 299043 (Timer-0) S 299021 299024 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936034 19586084864 940824 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 30.86 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3763296 KiB

[startup+51.1132 s]
/proc/loadavg: 3.19 0.97 0.48 5/318 299256
/proc/meminfo: memFree=114391668/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19127036 memory=6810992 CPUtime=59.47 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 32109 0 0 0 5795 152 0 0 20 0 20 0 29935944 19586084864 1702748 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4781759 1702748 6214 1 0 2765812 0
[pid=299024/tid=299026] ppid=299021 vsize=19127036 memory=12264 CPUtime=44.02 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 10326 0 0 0 4358 44 0 0 20 0 20 0 29935945 19586084864 1702748 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19127036 memory=5966904 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935951 19586084864 1702748 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19127036 memory=1954984 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 29935952 19586084864 1702748 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0

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

/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935951 19653193728 4091951 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19192572 memory=16367804 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 795 0 0 0 0 0 0 0 20 0 20 0 29935952 19653193728 4091951 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299043] ppid=299021 vsize=19192572 memory=12264 CPUtime=0 cores=1,3
/proc/299024/task/299043/stat : 299043 (Timer-0) S 299021 299024 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936034 19653193728 4091951 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 3255.63 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 16367804 KiB

[startup+3042.3 s]
/proc/loadavg: 4.49 4.40 4.24 7/317 300511
/proc/meminfo: memFree=75415604/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19192572 memory=16367804 CPUtime=3320.18 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 676899 0 0 0 331403 615 0 0 20 0 20 0 29935944 19653193728 4091951 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4798143 4091951 6261 1 0 4110009 0
[pid=299024/tid=299026] ppid=299021 vsize=19192572 memory=16367804 CPUtime=2799.13 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 208098 0 0 0 279744 169 0 0 20 0 20 0 29935945 19653193728 4091951 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19192572 memory=72956 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935951 19653193728 4091951 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19192572 memory=12264 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 795 0 0 0 0 0 0 0 20 0 20 0 29935952 19653193728 4091951 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299043] ppid=299021 vsize=19192572 memory=16367804 CPUtime=0 cores=1,3
/proc/299024/task/299043/stat : 299043 (Timer-0) S 299021 299024 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936034 19653193728 4091951 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 3320.18 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 16367804 KiB

[startup+3102.3 s]
/proc/loadavg: 4.33 4.37 4.24 5/317 300522
/proc/meminfo: memFree=75414908/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19192572 memory=16368044 CPUtime=3390.92 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 678762 0 0 0 338469 623 0 0 20 0 20 0 29935944 19653193728 4092011 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4798143 4092011 6261 1 0 4110102 0
[pid=299024/tid=299026] ppid=299021 vsize=19192572 memory=16367804 CPUtime=2855.3 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 208797 0 0 0 285361 169 0 0 20 0 20 0 29935945 19653193728 4092011 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19192572 memory=12264 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935951 19653193728 4092011 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19192572 memory=16368044 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 796 0 0 0 0 0 0 0 20 0 20 0 29935952 19653193728 4092011 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299043] ppid=299021 vsize=19192572 memory=16368044 CPUtime=0 cores=1,3
/proc/299024/task/299043/stat : 299043 (Timer-0) S 299021 299024 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936034 19653193728 4092011 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 3390.92 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 16368044 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.33 4.23 5/317 300532
/proc/meminfo: memFree=75414428/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19192572 memory=16368060 CPUtime=3454.25 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 680225 0 0 0 344798 627 0 0 20 0 20 0 29935944 19653193728 4092015 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4798143 4092015 6261 1 0 4110102 0
[pid=299024/tid=299026] ppid=299021 vsize=19192572 memory=16367804 CPUtime=2911.27 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 209368 0 0 0 290958 169 0 0 20 0 20 0 29935945 19653193728 4092015 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19192572 memory=1896 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935951 19653193728 4092015 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19192572 memory=12264 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 798 0 0 0 0 0 0 0 20 0 20 0 29935952 19653193728 4092015 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299043] ppid=299021 vsize=19192572 memory=16368060 CPUtime=0 cores=1,3
/proc/299024/task/299043/stat : 299043 (Timer-0) S 299021 299024 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936034 19653193728 4092015 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 3454.25 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 16368060 KiB

[startup+3222.3 s]
/proc/loadavg: 4.40 4.36 4.25 5/317 300543
/proc/meminfo: memFree=75413928/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19192572 memory=16368268 CPUtime=3525.48 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 681491 0 0 0 351915 633 0 0 20 0 20 0 29935944 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4798143 4092067 6261 1 0 4110102 0
[pid=299024/tid=299026] ppid=299021 vsize=19192572 memory=16367804 CPUtime=2966.25 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 209632 0 0 0 296456 169 0 0 20 0 20 0 29935945 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19192572 memory=16368060 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935951 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19192572 memory=16368060 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 798 0 0 0 0 0 0 0 20 0 20 0 29935952 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299043] ppid=299021 vsize=19192572 memory=16368060 CPUtime=0 cores=1,3
/proc/299024/task/299043/stat : 299043 (Timer-0) S 299021 299024 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936034 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 3525.48 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 16368268 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.34 4.25 5/316 300937
/proc/meminfo: memFree=75298040/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19192572 memory=16368268 CPUtime=3587.91 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 685877 0 0 0 358154 637 0 0 20 0 20 0 29935944 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4798143 4092067 6261 1 0 4110102 0
[pid=299024/tid=299026] ppid=299021 vsize=19192572 memory=72956 CPUtime=3022.75 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 210787 0 0 0 302105 170 0 0 20 0 20 0 29935945 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19192572 memory=16368268 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935951 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19192572 memory=2232 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 798 0 0 0 0 0 0 0 20 0 20 0 29935952 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299043] ppid=299021 vsize=19192572 memory=5644 CPUtime=0 cores=1,3
/proc/299024/task/299043/stat : 299043 (Timer-0) S 299021 299024 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936034 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 3587.91 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 16368268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3293.7 s]
/proc/loadavg: 4.31 4.34 4.25 5/316 300938
/proc/meminfo: memFree=75298096/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19192572 memory=16368268 CPUtime=3600.02 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 686195 0 0 0 359364 638 0 0 20 0 20 0 29935944 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4798143 4092067 6261 1 0 4110102 0
[pid=299024/tid=299026] ppid=299021 vsize=19192572 memory=72956 CPUtime=3033.22 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 210913 0 0 0 303152 170 0 0 20 0 20 0 29935945 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19192572 memory=72956 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29935951 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19192572 memory=12240 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 798 0 0 0 0 0 0 0 20 0 20 0 29935952 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299043] ppid=299021 vsize=19192572 memory=16368268 CPUtime=0 cores=1,3
/proc/299024/task/299043/stat : 299043 (Timer-0) S 299021 299024 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936034 19653193728 4092067 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 16368268 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.36 s, system=6.46864 s

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

[startup+3294 s]*
/proc/loadavg: 4.31 4.34 4.25 9/317 300941
/proc/meminfo: memFree=75297420/131655788 swapFree=131060868/131071996
[pid=299024] ppid=299021 vsize=19392264 memory=16368876 CPUtime=3600.6 cores=1,3
/proc/299024/stat : 299024 (java) S 299021 299024 298698 0 -1 1077936128 689253 0 0 0 359422 638 0 0 20 0 21 0 29935944 19857678336 4092219 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
/proc/299024/statm: 4848066 4092219 6260 1 0 4110992 0
[pid=299024/tid=299026] ppid=299021 vsize=19392264 memory=16368268 CPUtime=3033.52 cores=1,3
/proc/299024/task/299026/stat : 299026 (java) R 299021 299024 298698 0 -1 4194368 211129 0 0 0 303182 170 0 0 20 0 21 0 29935945 19857678336 4092219 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299035] ppid=299021 vsize=19392264 memory=2688 CPUtime=0 cores=1,3
/proc/299024/task/299035/stat : 299035 (Finalizer) S 299021 299024 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29935951 19857678336 4092219 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=299042] ppid=299021 vsize=19392264 memory=4996 CPUtime=0 cores=1,3
/proc/299024/task/299042/stat : 299042 (Common-Cleaner) S 299021 299024 298698 0 -1 1077936192 798 0 0 0 0 0 0 0 20 0 21 0 29935952 19857678336 4092219 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
[pid=299024/tid=300940] ppid=299021 vsize=19392264 memory=-7739010065233110135 CPUtime=0.16 cores=1,3
/proc/299024/task/300940/stat : 300940 (Thread-0) R 299021 299024 298698 0 -1 4194368 397 0 0 0 16 0 0 0 20 0 21 0 30265317 19857678336 4092219 134679101440 94651100192768 94651100196464 140722767112304 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94651100204280 94651100205072 94651108917248 140722767115274 140722767115364 140722767115364 140722767122376 0
Current children cumulated CPU time: 3600.6 s
Current children cumulated vsize: 19392264 KiB
Current children cumulated memory: 16368876 KiB

[startup+3294.11 s]*
/proc/loadavg: 4.31 4.34 4.25 9/299 300941
/proc/meminfo: memFree=79504208/131655788 swapFree=131060868/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3294.16
CPU time (s): 3600.83
CPU user time (s): 3594.36
CPU system time (s): 6.46864
CPU usage (%): 109.309
Max. virtual memory (cumulated for all children) (KiB): 19392264
Max. memory (cumulated for all children) (KiB): 16368876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.36
system time used= 6.46864
maximum resident set size= 16369756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 689665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116480
involuntary context switches= 34026


# summary of solver processes directly reported to runsolver:
#   pid: 299024
#   total CPU time (s): 3600.83
#   total CPU user time (s): 3594.36
#   total CPU system time (s): 6.46864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2834 second user time and 24.065 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 22:31:05
IDJOB=4459743
IDBENCH=148532
IDSOLVER=3058
FILE ID=nodeC005/4459743-1721939465
RUNJOBID= nodeC005-1721939462-298710
SLURM_JOB_ID= 8247259
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= fc228e1220654f2d8d37c5d03b9b5ad1
RANDOM SEED=533500584

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.573
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2593.760
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.573
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2494.009
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.112
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.573
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.111
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127780096 kB
MemAvailable:   129743728 kB
Buffers:          324424 kB
Cached:          2456136 kB
SwapCached:          320 kB
Active:          1727964 kB
Inactive:        1575108 kB
Active(anon):       1612 kB
Inactive(anon):   573852 kB
Active(file):    1726352 kB
Inactive(file):  1001256 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060868 kB
Dirty:              4312 kB
Writeback:             0 kB
AnonPages:        522460 kB
Mapped:           119364 kB
Shmem:             52956 kB
KReclaimable:     152108 kB
Slab:             259936 kB
SReclaimable:     152108 kB
SUnreclaim:       107828 kB
KernelStack:        4784 kB
PageTables:        11180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7125068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            12064 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-25 23:26:00