Trace number 4445294

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.37 3609.25

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
MD5SUMb3a7e12d93ab079a38c8d0bc0b1ef8cc
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark20800.4
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables52
Total number of constraints2
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 constraints2
Minimum length of a constraint52
Maximum length of a constraint52
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 5842800
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 78219574
Number of bits of the biggest sum of numbers27
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4445294-1721320853.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.14/0.13	c ... done. Wall clock time 0.007s.
0.14/0.13	c declared #vars     52
0.14/0.13	c #constraints  2
0.14/0.13	c constraints type 
0.14/0.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.14/0.13	c 2 constraints processed.
0.53/0.35	c cleaning 2500 clauses out of 5000 with flag 10000/5000
0.91/0.55	c cleaning 4250 clauses out of 8500 with flag 22000/11000
1.28/0.73	c cleaning 5625 clauses out of 11250 with flag 36000/18000
1.53/0.87	c cleaning 6813 clauses out of 13626 with flag 52002/26001
1.76/1.02	c cleaning 7904 clauses out of 15812 with flag 70000/35000
1.92/1.17	c cleaning 8951 clauses out of 17908 with flag 90000/45000
2.24/1.35	c cleaning 9976 clauses out of 19957 with flag 112000/56000
2.44/1.59	c cleaning 10989 clauses out of 21981 with flag 136000/68000
2.64/1.79	c cleaning 11993 clauses out of 23992 with flag 162000/81000
2.95/2.03	c cleaning 12999 clauses out of 25999 with flag 190000/95000
3.24/2.31	c cleaning 13995 clauses out of 28001 with flag 220002/110001
3.44/2.56	c cleaning 15003 clauses out of 30007 with flag 252004/126002
3.80/2.80	c cleaning 16000 clauses out of 32002 with flag 286000/143000
4.11/3.18	c cleaning 16999 clauses out of 34002 with flag 322000/161000
4.65/3.55	c cleaning 18002 clauses out of 36005 with flag 360005/180002
5.05/3.95	c cleaning 18997 clauses out of 38001 with flag 400001/200000
5.45/4.33	c cleaning 20002 clauses out of 40004 with flag 442001/221000
5.86/4.76	c cleaning 20999 clauses out of 42002 with flag 486002/243000
6.27/5.19	c cleaning 22001 clauses out of 44005 with flag 532006/266002
6.76/5.68	c cleaning 22998 clauses out of 46002 with flag 580002/290000
7.36/6.26	c cleaning 24001 clauses out of 48005 with flag 630004/315001
8.06/6.92	c cleaning 24999 clauses out of 50003 with flag 682002/341000
8.67/7.50	c cleaning 26001 clauses out of 52004 with flag 736002/368000
9.68/8.37	c cleaning 26999 clauses out of 54005 with flag 792329/396002
10.50/9.01	c cleaning 28002 clauses out of 56004 with flag 850498/425000
11.19/9.71	c cleaning 28998 clauses out of 58004 with flag 911116/455002
11.79/10.33	c cleaning 29999 clauses out of 60004 with flag 973112/486000
12.60/11.17	c cleaning 31003 clauses out of 62006 with flag 1037114/518001
13.69/12.27	c cleaning 32001 clauses out of 64002 with flag 1103112/551000
14.59/13.17	c cleaning 33001 clauses out of 66003 with flag 1171116/585002
15.98/14.57	c cleaning 34001 clauses out of 68001 with flag 1241114/620001
17.08/15.65	c cleaning 34996 clauses out of 69999 with flag 1313112/656000
18.48/17.00	c cleaning 36000 clauses out of 72003 with flag 1387112/693000
19.62/18.19	c cleaning 36996 clauses out of 74003 with flag 1463112/731000
20.81/19.37	c cleaning 37998 clauses out of 76007 with flag 1541112/770000
21.81/20.36	c cleaning 39001 clauses out of 78011 with flag 1621116/810002
23.61/22.14	c cleaning 40004 clauses out of 80008 with flag 1703112/851000
25.02/23.56	c cleaning 40999 clauses out of 82004 with flag 1787112/893000
26.62/25.13	c cleaning 42004 clauses out of 84007 with flag 1873116/936002
28.01/26.58	c cleaning 42998 clauses out of 86001 with flag 1961112/980000
29.61/28.15	c cleaning 44000 clauses out of 88003 with flag 2051112/1025000
31.05/29.50	c cleaning 44999 clauses out of 90005 with flag 2143116/1071002
32.65/31.17	c cleaning 45996 clauses out of 92004 with flag 2237112/1118000
35.04/33.55	c cleaning 46997 clauses out of 94008 with flag 2333112/1166000
37.23/35.77	c cleaning 48006 clauses out of 96011 with flag 2431112/1215000
39.37/37.82	c cleaning 48999 clauses out of 98005 with flag 2531113/1265000
41.16/39.66	c cleaning 49997 clauses out of 100007 with flag 2633115/1316001
42.86/41.34	c cleaning 51005 clauses out of 102009 with flag 2737113/1368000
45.39/43.83	c cleaning 52003 clauses out of 104006 with flag 2843117/1421002
47.28/45.76	c cleaning 53000 clauses out of 106001 with flag 2951113/1475000
49.37/47.86	c cleaning 54001 clauses out of 108001 with flag 3061301/1530000
52.17/50.63	c cleaning 54999 clauses out of 110000 with flag 3173363/1586000
54.70/53.16	c cleaning 55998 clauses out of 112001 with flag 3287572/1643000
58.18/56.63	c cleaning 57004 clauses out of 114007 with flag 3403664/1701004
60.68/59.19	c cleaning 58000 clauses out of 115999 with flag 3521656/1760000
63.01/61.45	c cleaning 58987 clauses out of 117999 with flag 3641834/1820000
65.41/63.83	c cleaning 60006 clauses out of 120013 with flag 3763836/1881001
68.30/66.70	c cleaning 61005 clauses out of 122009 with flag 3887840/1943003
70.74/69.14	c cleaning 62002 clauses out of 124003 with flag 4013860/2006002
73.33/71.74	c cleaning 63000 clauses out of 126002 with flag 4141962/2070003
75.94/74.31	c cleaning 63997 clauses out of 128001 with flag 4271986/2135002
78.93/77.35	c cleaning 64992 clauses out of 130002 with flag 4404046/2201000
82.13/80.56	c cleaning 66006 clauses out of 132012 with flag 4538203/2268002
85.55/83.94	c cleaning 67004 clauses out of 134007 with flag 4674228/2336003
89.04/87.48	c cleaning 67998 clauses out of 136000 with flag 4812354/2405000
93.03/91.47	c cleaning 68999 clauses out of 138004 with flag 4952380/2475002
95.78/94.19	c cleaning 69997 clauses out of 140003 with flag 5094378/2546000
98.57/97.00	c cleaning 70994 clauses out of 142007 with flag 5238380/2618001
101.57/99.97	c cleaning 72004 clauses out of 144013 with flag 5384380/2691001
104.56/102.95	c cleaning 73005 clauses out of 146010 with flag 5532382/2765002
107.85/106.28	c cleaning 74001 clauses out of 148003 with flag 5682378/2840000
112.32/110.68	c cleaning 75002 clauses out of 150003 with flag 5834380/2916001
116.56/114.83	c cleaning 75997 clauses out of 152000 with flag 5990128/2993001
120.32/118.55	c cleaning 77002 clauses out of 154004 with flag 6146581/3071002
124.41/122.69	c cleaning 77994 clauses out of 156000 with flag 6305094/3150000
129.04/127.25	c cleaning 78999 clauses out of 158006 with flag 6465400/3230000
134.32/132.59	c cleaning 79994 clauses out of 160007 with flag 6627788/3311000
139.21/137.43	c cleaning 81004 clauses out of 162013 with flag 6791953/3393000
143.70/141.90	c cleaning 82002 clauses out of 164010 with flag 6958026/3476001
147.54/145.74	c cleaning 83001 clauses out of 166007 with flag 7126583/3560000
151.94/150.11	c cleaning 84000 clauses out of 168007 with flag 7297221/3645001
157.23/155.40	c cleaning 85001 clauses out of 170007 with flag 7469765/3731001
162.41/160.63	c cleaning 85998 clauses out of 172007 with flag 7646902/3818002
165.84/164.07	c cleaning 86996 clauses out of 174007 with flag 7823272/3906000
170.12/168.39	c cleaning 88003 clauses out of 176011 with flag 8001602/3995000
174.91/173.10	c cleaning 89004 clauses out of 178009 with flag 8181994/4085001
179.29/177.56	c cleaning 90003 clauses out of 180006 with flag 8364063/4176002
183.78/182.03	c cleaning 91001 clauses out of 182004 with flag 8548822/4268003
189.66/187.92	c cleaning 92000 clauses out of 184001 with flag 8735722/4361001
194.09/192.34	c cleaning 93000 clauses out of 186001 with flag 8924016/4455001
199.58/197.81	c cleaning 93997 clauses out of 188000 with flag 9114728/4550000
206.16/204.44	c cleaning 94999 clauses out of 190004 with flag 9308633/4646001
212.94/211.25	c cleaning 95998 clauses out of 192005 with flag 9503542/4743001
216.74/215.06	c cleaning 97001 clauses out of 194008 with flag 9699654/4841002
220.52/218.83	c cleaning 97997 clauses out of 196006 with flag 9897861/4940001
226.31/224.62	c cleaning 99002 clauses out of 198008 with flag 10099186/5040000
231.99/230.30	c cleaning 99999 clauses out of 200006 with flag 10303027/5141000
237.68/236.10	c cleaning 101003 clauses out of 202009 with flag 10508629/5243002
242.86/241.27	c cleaning 102002 clauses out of 204006 with flag 10715962/5346002
249.25/247.64	c cleaning 102998 clauses out of 206002 with flag 10926273/5450000
257.03/255.46	c cleaning 103995 clauses out of 208004 with flag 11137636/5555000
263.33/261.73	c cleaning 105001 clauses out of 210010 with flag 11351865/5661001
270.91/269.33	c cleaning 106003 clauses out of 212010 with flag 11567573/5768002
277.40/275.82	c cleaning 106999 clauses out of 214005 with flag 11785502/5876001
283.48/281.91	c cleaning 108001 clauses out of 216006 with flag 12004332/5985001
288.87/287.37	c cleaning 109002 clauses out of 218004 with flag 12226590/6095000
297.22/295.02	c cleaning 109999 clauses out of 220003 with flag 12449850/6206001
303.96/301.83	c cleaning 110995 clauses out of 222002 with flag 12676214/6318000
310.11/308.01	c cleaning 112002 clauses out of 224008 with flag 12903162/6431001
316.85/314.86	c cleaning 113000 clauses out of 226006 with flag 13133474/6545001
323.11/321.10	c cleaning 113998 clauses out of 228005 with flag 13364957/6660001
331.82/329.82	c cleaning 114999 clauses out of 230008 with flag 13599173/6776002
339.60/337.65	c cleaning 116001 clauses out of 232007 with flag 13834523/6893000
346.68/344.76	c cleaning 116998 clauses out of 234005 with flag 14072203/7011000
354.85/352.91	c cleaning 118000 clauses out of 236008 with flag 14311727/7130001
361.54/359.65	c cleaning 119003 clauses out of 238007 with flag 14552006/7250000
370.02/368.00	c cleaning 119999 clauses out of 240004 with flag 14794363/7371000
377.69/375.71	c cleaning 121003 clauses out of 242005 with flag 15038890/7493000
383.77/381.82	c cleaning 121993 clauses out of 244002 with flag 15285651/7616000
392.26/390.09	c cleaning 122998 clauses out of 246009 with flag 15534934/7740000
402.14/399.99	c cleaning 124004 clauses out of 248012 with flag 15787968/7865001
409.33/407.14	c cleaning 124997 clauses out of 250007 with flag 16041141/7991000
417.38/415.13	c cleaning 125996 clauses out of 252010 with flag 16296194/8118000
428.35/426.14	c cleaning 127005 clauses out of 254015 with flag 16553304/8246001
436.43/434.21	c cleaning 128001 clauses out of 256009 with flag 16812101/8375000
446.50/444.31	c cleaning 129004 clauses out of 258012 with flag 17075208/8505004
453.08/450.92	c cleaning 129997 clauses out of 260005 with flag 17337909/8636001
462.03/459.83	c cleaning 131001 clauses out of 262007 with flag 17605103/8768000
470.50/468.32	c cleaning 132003 clauses out of 264007 with flag 17871694/8901001
479.97/477.84	c cleaning 132997 clauses out of 266003 with flag 18140192/9035000
487.35/485.22	c cleaning 134001 clauses out of 268007 with flag 18412677/9170001
494.83/492.70	c cleaning 135002 clauses out of 270007 with flag 18685772/9306002
502.77/500.66	c cleaning 136000 clauses out of 272005 with flag 18962212/9443002
513.85/511.71	c cleaning 136997 clauses out of 274003 with flag 19241643/9581000
522.02/519.95	c cleaning 137999 clauses out of 276007 with flag 19521744/9720001
531.99/530.00	c cleaning 138996 clauses out of 278007 with flag 19807656/9860000
540.76/538.70	c cleaning 139998 clauses out of 280011 with flag 20092109/10001000
550.43/548.49	c cleaning 141004 clauses out of 282013 with flag 20381014/10143000
561.60/559.60	c cleaning 141997 clauses out of 284009 with flag 20672299/10286000
571.17/569.20	c cleaning 142996 clauses out of 286012 with flag 20963757/10430000
582.27/580.34	c cleaning 144006 clauses out of 288016 with flag 21256199/10575000
592.05/590.11	c cleaning 145001 clauses out of 290012 with flag 21551580/10721002
602.03/600.15	c cleaning 146000 clauses out of 292010 with flag 21848695/10868001
613.90/612.02	c cleaning 147005 clauses out of 294009 with flag 22147182/11016000
625.46/623.62	c cleaning 147993 clauses out of 296004 with flag 22448750/11165000
636.59/634.70	c cleaning 149005 clauses out of 298014 with flag 22751860/11315003
645.57/643.75	c cleaning 149997 clauses out of 300006 with flag 23055456/11466000
655.04/653.23	c cleaning 151001 clauses out of 302010 with flag 23361502/11618001
664.12/662.39	c cleaning 152004 clauses out of 304010 with flag 23669050/11771002
678.49/676.73	c cleaning 153000 clauses out of 306004 with flag 23979478/11925000
687.77/686.05	c cleaning 153999 clauses out of 308004 with flag 24292722/12080000
698.38/696.64	c cleaning 155001 clauses out of 310008 with flag 24609457/12236003
716.75/715.08	c cleaning 156000 clauses out of 312006 with flag 24926859/12393002
729.01/727.36	c cleaning 156997 clauses out of 314003 with flag 25244169/12551000
740.98/739.34	c cleaning 157995 clauses out of 316006 with flag 25565619/12710000
753.75/752.19	c cleaning 159003 clauses out of 318013 with flag 25890903/12870002
766.51/764.97	c cleaning 160000 clauses out of 320009 with flag 26217095/13031001
780.27/778.73	c cleaning 160996 clauses out of 322008 with flag 26544418/13193000
792.77/791.22	c cleaning 162004 clauses out of 324013 with flag 26873138/13356001
808.38/806.97	c cleaning 162998 clauses out of 326008 with flag 27202697/13520000
822.64/821.27	c cleaning 164001 clauses out of 328012 with flag 27535670/13685002
838.39/837.03	c cleaning 165003 clauses out of 330010 with flag 27872994/13851001
850.08/848.76	c cleaning 166004 clauses out of 332009 with flag 28210483/14018003
863.24/861.94	c cleaning 166994 clauses out of 334004 with flag 28550882/14186002
873.61/872.39	c cleaning 167995 clauses out of 336008 with flag 28892680/14355000
886.44/884.81	c cleaning 169007 clauses out of 338013 with flag 29236089/14525000
900.52/899.07	c cleaning 170000 clauses out of 340008 with flag 29581727/14696002
915.51/914.14	c cleaning 171001 clauses out of 342008 with flag 29931061/14868002
930.28/929.01	c cleaning 171999 clauses out of 344005 with flag 30282767/15041000
946.22/945.00	c cleaning 173000 clauses out of 346007 with flag 30638183/15215001
959.08/957.99	c cleaning 173999 clauses out of 348006 with flag 30991989/15390000
980.02/978.86	c cleaning 175004 clauses out of 350007 with flag 31356530/15566000
993.88/992.78	c cleaning 176001 clauses out of 352003 with flag 31713271/15743000
1006.05/1004.97	c cleaning 176996 clauses out of 354002 with flag 32072301/15921000
1018.12/1017.06	c cleaning 178003 clauses out of 356006 with flag 32433503/16100000
1034.28/1033.23	c cleaning 178992 clauses out of 358003 with flag 32798662/16280000
1049.24/1048.20	c cleaning 179997 clauses out of 360011 with flag 33168948/16461000
1063.50/1062.54	c cleaning 181003 clauses out of 362014 with flag 33537285/16643000
1079.65/1078.73	c cleaning 182005 clauses out of 364011 with flag 33907532/16826000
1093.07/1092.14	c cleaning 182991 clauses out of 366007 with flag 34279538/17010001
1108.05/1107.24	c cleaning 184003 clauses out of 368015 with flag 34653908/17195000
1125.19/1124.59	c cleaning 185003 clauses out of 370013 with flag 35032373/17381001
1147.61/1147.14	c cleaning 186000 clauses out of 372009 with flag 35415553/17568000
1162.97/1162.67	c cleaning 186997 clauses out of 374009 with flag 35798944/17756000
1178.63/1178.48	c cleaning 188001 clauses out of 376012 with flag 36183333/17945000
1198.96/1198.97	c cleaning 189000 clauses out of 378012 with flag 36571242/18135001
1218.08/1218.22	c cleaning 190001 clauses out of 380012 with flag 36959094/18326001
1242.93/1243.10	c cleaning 191000 clauses out of 382010 with flag 37346876/18518000
1258.68/1258.86	c cleaning 192003 clauses out of 384010 with flag 37736201/18711000
1282.01/1282.20	c cleaning 193001 clauses out of 386007 with flag 38131133/18905000
1299.86/1300.19	c cleaning 194001 clauses out of 388006 with flag 38527497/19100000
1320.69/1321.09	c cleaning 194993 clauses out of 390005 with flag 38923275/19296000
1339.34/1339.75	c cleaning 195997 clauses out of 392011 with flag 39322826/19493000
1354.69/1355.11	c cleaning 197006 clauses out of 394015 with flag 39726093/19691001
1372.64/1373.15	c cleaning 198000 clauses out of 396010 with flag 40131963/19890002
1387.96/1388.36	c cleaning 199003 clauses out of 398010 with flag 40536792/20090002
1405.31/1405.70	c cleaning 199998 clauses out of 400006 with flag 40943919/20291001
1425.17/1425.62	c cleaning 200996 clauses out of 402007 with flag 41353977/20493000
1452.09/1452.67	c cleaning 202004 clauses out of 404012 with flag 41768142/20696001
1474.72/1475.36	c cleaning 202993 clauses out of 406008 with flag 42183538/20900001
1496.76/1497.48	c cleaning 204005 clauses out of 408018 with flag 42599665/21105004
1514.25/1514.87	c cleaning 205002 clauses out of 410009 with flag 43019446/21311000
1533.39/1534.09	c cleaning 206003 clauses out of 412008 with flag 43439124/21518001
1553.84/1554.52	c cleaning 206995 clauses out of 414004 with flag 43863109/21726000
1580.76/1581.53	c cleaning 208003 clauses out of 416010 with flag 44288746/21935001
1599.10/1599.67	c cleaning 208998 clauses out of 418006 with flag 44715179/22145000
1621.33/1622.06	c cleaning 210003 clauses out of 420008 with flag 45145834/22356000
1638.58/1639.44	c cleaning 211001 clauses out of 422005 with flag 45580824/22568000
1667.64/1668.72	c cleaning 211997 clauses out of 424004 with flag 46015185/22781000
1689.37/1690.63	c cleaning 213003 clauses out of 426007 with flag 46449599/22995000
1713.96/1715.45	c cleaning 214001 clauses out of 428007 with flag 46885369/23210003
1758.61/1760.14	c cleaning 214997 clauses out of 430003 with flag 47335309/23426000
1777.96/1779.56	c cleaning 216000 clauses out of 432006 with flag 47776300/23643000
1794.91/1796.50	c cleaning 217001 clauses out of 434007 with flag 48219808/23861001
1828.74/1830.40	c cleaning 218000 clauses out of 436007 with flag 48666494/24080002
1853.92/1855.61	c cleaning 218993 clauses out of 438006 with flag 49116761/24300001
1874.57/1876.37	c cleaning 219998 clauses out of 440012 with flag 49569517/24521000
1900.66/1902.49	c cleaning 221000 clauses out of 442014 with flag 50021522/24743000
1919.79/1921.53	c cleaning 222005 clauses out of 444014 with flag 50471744/24966000
1943.92/1945.70	c cleaning 223001 clauses out of 446009 with flag 50931436/25190000
1962.08/1963.99	c cleaning 223997 clauses out of 448008 with flag 51392328/25415000
1989.61/1991.50	c cleaning 225000 clauses out of 450012 with flag 51852416/25641001
2018.64/2020.61	c cleaning 226003 clauses out of 452014 with flag 52317904/25868003
2046.36/2048.48	c cleaning 226997 clauses out of 454011 with flag 52784828/26096003
2070.76/2072.89	c cleaning 228003 clauses out of 456011 with flag 53253473/26325000
2096.19/2098.33	c cleaning 229000 clauses out of 458008 with flag 53724860/26555000
2119.44/2121.62	c cleaning 229997 clauses out of 460008 with flag 54192412/26786000
2147.36/2149.51	c cleaning 231002 clauses out of 462013 with flag 54663980/27018002
2176.89/2179.17	c cleaning 231998 clauses out of 464010 with flag 55140338/27251001
2201.12/2203.49	c cleaning 233002 clauses out of 466011 with flag 55617960/27485000
2228.25/2230.69	c cleaning 234002 clauses out of 468009 with flag 56095095/27720000
2253.31/2255.73	c cleaning 234998 clauses out of 470007 with flag 56578337/27956000
2284.81/2287.37	c cleaning 236002 clauses out of 472009 with flag 57062594/28193000
2314.64/2317.09	c cleaning 236997 clauses out of 474009 with flag 57547481/28431002
2341.46/2343.94	c cleaning 238003 clauses out of 476010 with flag 58035644/28670000
2368.99/2371.51	c cleaning 239001 clauses out of 478008 with flag 58524677/28910001
2395.22/2397.82	c cleaning 239998 clauses out of 480007 with flag 59014022/29151001
2416.55/2419.23	c cleaning 240994 clauses out of 482008 with flag 59505125/29393000
2434.59/2437.39	c cleaning 242005 clauses out of 484016 with flag 59995657/29636002
2465.90/2468.79	c cleaning 242999 clauses out of 486010 with flag 60491962/29880001
2492.03/2494.97	c cleaning 244001 clauses out of 488010 with flag 60989291/30125000
2526.25/2529.17	c cleaning 245004 clauses out of 490009 with flag 61490120/30371000
2555.76/2558.77	c cleaning 245996 clauses out of 492006 with flag 61996476/30618001
2583.78/2586.82	c cleaning 247001 clauses out of 494010 with flag 62503092/30866001
2611.60/2614.74	c cleaning 248002 clauses out of 496009 with flag 63015275/31115001
2640.40/2643.61	c cleaning 248998 clauses out of 498008 with flag 63538007/31365002
2669.46/2672.65	c cleaning 250003 clauses out of 500010 with flag 64058715/31616002
2703.77/2707.00	c cleaning 251004 clauses out of 502007 with flag 64573882/31868002
2752.74/2756.19	c cleaning 251993 clauses out of 504003 with flag 65095612/32121002
2797.53/2801.08	c cleaning 253001 clauses out of 506009 with flag 65618199/32375001
2842.31/2845.94	c cleaning 253995 clauses out of 508010 with flag 66140922/32630003
2874.83/2877.95	c cleaning 255005 clauses out of 510013 with flag 66661422/32886001
2898.53/2901.81	c cleaning 256000 clauses out of 512007 with flag 67180587/33143000
2942.88/2946.33	c cleaning 257001 clauses out of 514008 with flag 67704810/33401001
2970.25/2973.96	c cleaning 257999 clauses out of 516007 with flag 68232627/33660001
3004.16/3008.17	c cleaning 258993 clauses out of 518007 with flag 68760224/33920000
3028.61/3032.77	c cleaning 260004 clauses out of 520017 with flag 69294615/34181003
3058.05/3062.40	c cleaning 260995 clauses out of 522011 with flag 69828747/34443001
3086.71/3091.38	c cleaning 262008 clauses out of 524017 with flag 70364143/34706002
3119.44/3124.35	c cleaning 263000 clauses out of 526008 with flag 70906776/34970001
3147.51/3152.62	c cleaning 264001 clauses out of 528007 with flag 71442479/35235000
3187.08/3192.51	c cleaning 264999 clauses out of 530006 with flag 71982450/35501000
3214.09/3219.79	c cleaning 265998 clauses out of 532007 with flag 72526574/35768000
3253.97/3259.90	c cleaning 267000 clauses out of 534009 with flag 73079126/36036000
3290.86/3297.17	c cleaning 267999 clauses out of 536009 with flag 73630976/36305000
3335.38/3342.04	c cleaning 269004 clauses out of 538011 with flag 74197632/36575001
3395.43/3402.66	c cleaning 269998 clauses out of 540005 with flag 74753343/36846000
3431.01/3438.53	c cleaning 270996 clauses out of 542008 with flag 75313195/37118001
3467.20/3475.09	c cleaning 272001 clauses out of 544011 with flag 75867395/37391000
3502.98/3511.13	c cleaning 273005 clauses out of 546010 with flag 76423545/37665000
3543.31/3551.89	c cleaning 273993 clauses out of 548006 with flag 76986829/37940001
3582.45/3591.38	c cleaning 275002 clauses out of 550012 with flag 77550821/38216000
3600.09/3609.14	c starts		: 61666
3600.09/3609.14	c conflicts		: 38493000
3600.09/3609.14	c decisions		: 40229699
3600.09/3609.14	c propagations		: 197302484
3600.09/3609.14	c inspects		: 28332344211
3600.09/3609.14	c shortcuts		: 0
3600.09/3609.14	c learnt literals	: 8
3600.09/3609.14	c learnt binary clauses	: 6
3600.09/3609.14	c learnt ternary clauses	: 11
3600.09/3609.14	c learnt constraints	: 38492992
3600.09/3609.14	c ignored constraints	: 0
3600.09/3609.14	c root simplifications	: 0
3600.09/3609.14	c removed literals (reason simplification)	: 0
3600.09/3609.14	c reason swapping (by a shorter reason)	: 0
3600.09/3609.14	c Calls to reduceDB	: 273
3600.09/3609.14	c Number of update (reduction) of LBD	: 138747
3600.09/3609.14	c Imported unit clauses	: 0
3600.09/3609.14	c No decision after first conflict	: false
3600.09/3609.14	c number of reductions to clauses (during analyze)	: 0
3600.09/3609.14	c number of learned constraints concerned by reduction	: 0
3600.09/3609.14	c number of learning phase by resolution	: 0
3600.09/3609.14	c number of learning phase by cutting planes	: 0
3600.09/3609.14	c number of rounding to 1 operations	: 0
3600.09/3609.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3609.14	c number of reductions of the coefficients by power 2 	: 0
3600.09/3609.14	c number of right shift for reduction by power 2 	: 0
3600.09/3609.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3609.14	c number of ending skipping 	: 0
3600.09/3609.14	c number of internal skipping 	: 0
3600.09/3609.14	c number of derivation steps 	: 0
3600.09/3609.14	c number of skipped derivation steps 	: 0
3600.09/3609.14	c number of remaining unassigned 	: 0
3600.09/3609.14	c number of remaining assigned 	: 0
3600.09/3609.14	c number of falsified literals weakened from reason	: 0
3600.09/3609.14	c number of falsified literals weakened from conflict	: 0
3600.09/3609.14	c time for arithmetic operations	: 0
3600.09/3609.14	c minimum degree of deleted constraints	: null
3600.09/3609.14	c maximum degree of deleted constraints	: null
3600.09/3609.15	c number of deleted constraints	: 0
3600.09/3609.15	c speed (assignments/second)	: 54669.40499765726
3600.09/3609.15	c non guided choices	: 43
3600.28/3609.23	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 552004
3600.28/3609.23	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 6
3600.28/3609.24	s UNKNOWN
3600.28/3609.24	c Total wall clock time (in seconds): 3609.116

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (59267 MiB free)
  memory of node 1: 64510 MiB (57791 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445294-1721320853/watcher-4445294-1721320853 -o /tmp/evaluation-result-4445294-1721320853/solver-4445294-1721320853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937014 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4445294-1721320853.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.101768 s]*
/proc/loadavg: 4.33 4.21 4.12 6/332 940802
/proc/meminfo: memFree=119826580/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=18975048 memory=63344 CPUtime=0.14 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 7230 0 0 0 12 2 0 0 20 0 18 0 184245915 19430449152 15836 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4743762 15836 5703 1 0 549337 0
[pid=940784/tid=940786] ppid=940781 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) S 940781 940784 937004 0 -1 1077936192 5746 0 0 0 7 1 0 0 20 0 18 0 184245916 19430449152 15836 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184245918 19430449152 15836 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 184245919 19430449152 15836 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63344 KiB

[startup+0.208466 s]*
/proc/loadavg: 4.33 4.21 4.12 6/333 940803
/proc/meminfo: memFree=119820388/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19041612 memory=69304 CPUtime=0.33 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 8828 0 0 0 31 2 0 0 20 0 19 0 184245915 19498610688 17326 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4760403 17326 5817 1 0 550428 0
[pid=940784/tid=940786] ppid=940781 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 5932 0 0 0 17 1 0 0 20 0 19 0 184245916 19498610688 17326 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19041612 memory=14994 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184245918 19498610688 17326 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19041612 memory=15537410087847364 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 184245919 19498610688 17326 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184245929 19498610688 17326 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69304 KiB

[startup+0.309176 s]*
/proc/loadavg: 4.33 4.21 4.12 6/333 940803
/proc/meminfo: memFree=119816856/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19041612 memory=75116 CPUtime=0.53 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 9547 0 0 0 51 2 0 0 20 0 19 0 184245915 19498610688 18779 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4760403 18779 5817 1 0 550776 0
[pid=940784/tid=940786] ppid=940781 vsize=19041612 memory=-9103291539090875068 CPUtime=0.28 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 5941 0 0 0 27 1 0 0 20 0 19 0 184245916 19498610688 18779 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184245918 19498610688 18779 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 184245919 19498610688 18779 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184245929 19498610688 18779 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75116 KiB

[startup+0.700461 s]
/proc/loadavg: 4.33 4.21 4.12 6/333 940803
/proc/meminfo: memFree=119802400/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19041612 memory=93564 CPUtime=1.28 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 13863 0 0 0 125 3 0 0 20 0 19 0 184245915 19498610688 23391 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4760403 23391 5849 1 0 553791 0
[pid=940784/tid=940786] ppid=940781 vsize=19041612 memory=43712 CPUtime=0.66 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 5985 0 0 0 65 1 0 0 20 0 19 0 184245916 19498610688 23391 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19041612 memory=13012 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184245918 19498610688 23391 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19041612 memory=2312 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 184245919 19498610688 23391 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19041612 memory=26268 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184245929 19498610688 23391 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 93564 KiB

[startup+1.50023 s]
/proc/loadavg: 4.33 4.21 4.12 7/333 940803
/proc/meminfo: memFree=119787588/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19041612 memory=116796 CPUtime=2.44 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 17608 0 0 0 240 4 0 0 20 0 19 0 184245915 19498610688 29199 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4760403 29199 5849 1 0 553793 0
[pid=940784/tid=940786] ppid=940781 vsize=19041612 memory=13012 CPUtime=1.46 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 6277 0 0 0 145 1 0 0 20 0 19 0 184245916 19498610688 29199 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184245918 19498610688 29199 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19041612 memory=2312 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 184245919 19498610688 29199 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19041612 memory=26268 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184245929 19498610688 29199 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 116796 KiB

[startup+3.1057 s]
/proc/loadavg: 4.33 4.21 4.12 5/333 940803
/proc/meminfo: memFree=119729900/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19041612 memory=162024 CPUtime=4.11 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 18522 0 0 0 406 5 0 0 20 0 19 0 184245915 19498610688 40506 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4760403 40506 5856 1 0 553812 0
[pid=940784/tid=940786] ppid=940781 vsize=19041612 memory=0 CPUtime=3.06 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 6638 0 0 0 304 2 0 0 20 0 19 0 184245916 19498610688 40506 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19041612 memory=-9103291539090875068 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184245918 19498610688 40506 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19041612 memory=13012 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 184245919 19498610688 40506 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19041612 memory=2312 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184245929 19498610688 40506 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 4.11 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 162024 KiB

[startup+6.30019 s]
/proc/loadavg: 4.30 4.20 4.12 5/334 940804
/proc/meminfo: memFree=119698560/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19108176 memory=184584 CPUtime=7.46 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 20008 0 0 0 740 6 0 0 20 0 20 0 184245915 19566772224 46146 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4777044 46146 5856 1 0 554106 0
[pid=940784/tid=940786] ppid=940781 vsize=19108176 memory=2312 CPUtime=6.24 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 6926 0 0 0 621 3 0 0 20 0 20 0 184245916 19566772224 46146 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184245918 19566772224 46146 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 184245919 19566772224 46146 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184245929 19566772224 46146 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 7.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184584 KiB

[startup+12.7003 s]
/proc/loadavg: 4.28 4.20 4.12 5/334 940805
/proc/meminfo: memFree=119650056/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19108176 memory=231056 CPUtime=14.19 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 25009 0 0 0 1412 7 0 0 20 0 20 0 184245915 19566772224 57764 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4777044 57764 5856 1 0 554267 0
[pid=940784/tid=940786] ppid=940781 vsize=19108176 memory=13012 CPUtime=12.55 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 7802 0 0 0 1252 3 0 0 20 0 20 0 184245916 19566772224 57764 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19108176 memory=193868 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184245918 19566772224 57764 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19108176 memory=43712 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 184245919 19566772224 57764 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184245929 19566772224 57764 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 14.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 231056 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.19 4.12 5/334 940807
/proc/meminfo: memFree=119546984/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19108176 memory=329576 CPUtime=27.01 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 27860 0 0 0 2692 9 0 0 20 0 20 0 184245915 19566772224 82394 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4777044 82394 5856 1 0 554267 0
[pid=940784/tid=940786] ppid=940781 vsize=19108176 memory=6943526294502006880 CPUtime=25.2 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 8945 0 0 0 2517 3 0 0 20 0 20 0 184245916 19566772224 82394 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184245918 19566772224 82394 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19108176 memory=3477 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 184245919 19566772224 82394 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184245929 19566772224 82394 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 27.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 329576 KiB

[startup+51.1057 s]
/proc/loadavg: 4.27 4.21 4.12 5/334 940812
/proc/meminfo: memFree=119328276/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19108176 memory=543156 CPUtime=52.7 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 32228 0 0 0 5256 14 0 0 20 0 20 0 184245915 19566772224 135789 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4777044 135789 5856 1 0 554267 0

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/332 942665
/proc/meminfo: memFree=116745748/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19108176 memory=2218600 CPUtime=3276.17 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 196891 0 0 0 327491 126 0 0 20 0 20 0 184245915 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4777044 554650 5887 1 0 570113 0
[pid=940784/tid=940786] ppid=940781 vsize=19108176 memory=2218600 CPUtime=3263.53 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 73267 0 0 0 326323 30 0 0 20 0 20 0 184245916 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19108176 memory=2218600 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184245918 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19108176 memory=2636 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 4148 0 0 0 0 0 0 0 20 0 20 0 184245919 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19108176 memory=2218600 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184245929 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 3276.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2218600 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/332 942744
/proc/meminfo: memFree=118426524/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19108176 memory=2218600 CPUtime=3335.67 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 198134 0 0 0 333441 126 0 0 20 0 20 0 184245915 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4777044 554650 5887 1 0 570113 0
[pid=940784/tid=940786] ppid=940781 vsize=19108176 memory=32440 CPUtime=3323.02 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 74280 0 0 0 332272 30 0 0 20 0 20 0 184245916 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19108176 memory=2218600 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184245918 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19108176 memory=2218600 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 4241 0 0 0 0 0 0 0 20 0 20 0 184245919 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19108176 memory=2218600 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184245929 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 3335.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2218600 KiB

[startup+3402.3 s]
/proc/loadavg: 4.35 4.20 4.14 5/332 942755
/proc/meminfo: memFree=118197364/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19108176 memory=2218600 CPUtime=3395.14 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 199149 0 0 0 339386 128 0 0 20 0 20 0 184245915 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4777044 554650 5887 1 0 570113 0
[pid=940784/tid=940786] ppid=940781 vsize=19108176 memory=2218600 CPUtime=3382.46 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 75000 0 0 0 338216 30 0 0 20 0 20 0 184245916 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19108176 memory=2218600 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184245918 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19108176 memory=2218600 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 4371 0 0 0 0 0 0 0 20 0 20 0 184245919 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19108176 memory=2218600 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184245929 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 3395.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2218600 KiB

[startup+3462.3 s]
/proc/loadavg: 4.31 4.21 4.15 5/332 942834
/proc/meminfo: memFree=120091248/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19108176 memory=2218600 CPUtime=3454.6 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 202127 0 0 0 345330 130 0 0 20 0 20 0 184245915 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4777044 554650 5887 1 0 570113 0
[pid=940784/tid=940786] ppid=940781 vsize=19108176 memory=2218600 CPUtime=3441.81 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 76326 0 0 0 344150 31 0 0 20 0 20 0 184245916 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184245918 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19108176 memory=2218600 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 4501 0 0 0 0 0 0 0 20 0 20 0 184245919 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19108176 memory=2218600 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184245929 19566772224 554650 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 3454.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2218600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.20 4.15 5/332 942844
/proc/meminfo: memFree=119798644/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19108176 memory=2218676 CPUtime=3514.08 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 204269 0 0 0 351276 132 0 0 20 0 20 0 184245915 19566772224 554669 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4777044 554669 5887 1 0 570129 0
[pid=940784/tid=940786] ppid=940781 vsize=19108176 memory=2218600 CPUtime=3501.25 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 77328 0 0 0 350094 31 0 0 20 0 20 0 184245916 19566772224 554669 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184245918 19566772224 554669 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19108176 memory=2218600 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 4596 0 0 0 0 0 0 0 20 0 20 0 184245919 19566772224 554669 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184245929 19566772224 554669 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 3514.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2218676 KiB

[startup+3582.3 s]
/proc/loadavg: 4.45 4.25 4.17 5/332 942858
/proc/meminfo: memFree=119662240/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19108176 memory=2218676 CPUtime=3573.52 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 205305 0 0 0 357219 133 0 0 20 0 20 0 184245915 19566772224 554669 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4777044 554669 5887 1 0 570129 0
[pid=940784/tid=940786] ppid=940781 vsize=19108176 memory=2218676 CPUtime=3560.67 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 78106 0 0 0 356036 31 0 0 20 0 20 0 184245916 19566772224 554669 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184245918 19566772224 554669 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19108176 memory=43712 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 4726 0 0 0 0 0 0 0 20 0 20 0 184245919 19566772224 554669 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19108176 memory=3460 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184245929 19566772224 554669 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 3573.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2218676 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.42 4.26 4.18 5/332 942864
/proc/meminfo: memFree=119532660/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19108176 memory=2218688 CPUtime=3600.09 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 207306 0 0 0 359875 134 0 0 20 0 20 0 184245915 19566772224 554672 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4777044 554672 5887 1 0 570129 0
[pid=940784/tid=940786] ppid=940781 vsize=19108176 memory=43712 CPUtime=3587.22 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 78948 0 0 0 358691 31 0 0 20 0 20 0 184245916 19566772224 554672 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19108176 memory=2218676 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184245918 19566772224 554672 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 4809 0 0 0 0 0 0 0 20 0 20 0 184245919 19566772224 554672 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940803] ppid=940781 vsize=19108176 memory=5444 CPUtime=0 cores=0,2
/proc/940784/task/940803/stat : 940803 (Timer-0) S 940781 940784 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184245929 19566772224 554672 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2218688 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.01 s, system=1.35877 s

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

[startup+3609.21 s]
/proc/loadavg: 4.42 4.26 4.18 5/332 942864
/proc/meminfo: memFree=119532660/131524600 swapFree=131071996/131071996
[pid=940784] ppid=940781 vsize=19307868 memory=2219284 CPUtime=3600.28 cores=0,2
/proc/940784/stat : 940784 (java) S 940781 940784 937004 0 -1 1077936128 209758 0 0 0 359894 134 0 0 20 0 21 0 184245915 19771256832 554821 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
/proc/940784/statm: 4826967 554821 5886 1 0 571048 0
[pid=940784/tid=940786] ppid=940781 vsize=19307868 memory=846284 CPUtime=3587.32 cores=0,2
/proc/940784/task/940786/stat : 940786 (java) R 940781 940784 937004 0 -1 4194368 78948 0 0 0 358701 31 0 0 20 0 21 0 184245916 19771256832 554821 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940795] ppid=940781 vsize=19307868 memory=2660 CPUtime=0 cores=0,2
/proc/940784/task/940795/stat : 940795 (Finalizer) S 940781 940784 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 184245918 19771256832 554821 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
[pid=940784/tid=940802] ppid=940781 vsize=19307868 memory=4728 CPUtime=0 cores=0,2
/proc/940784/task/940802/stat : 940802 (Common-Cleaner) S 940781 940784 937004 0 -1 1077936192 4809 0 0 0 0 0 0 0 20 0 21 0 184245919 19771256832 554821 134679101440 94911401082880 94911401086576 140731127483920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94911401094392 94911401095184 94911412969472 140731127485446 140731127485536 140731127485536 140731127492552 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2219284 KiB

Child status: 143

Real time (s): 3609.25
CPU time (s): 3600.37
CPU user time (s): 3599.01
CPU system time (s): 1.35877
CPU usage (%): 99.7538
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2219284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.01
system time used= 1.35877
maximum resident set size= 2220200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210140
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104376
involuntary context switches= 31451


# summary of solver processes directly reported to runsolver:
#   pid: 940784
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3599.01
#   total CPU system time (s): 1.35877

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62462 second user time and 17.6557 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-18 18:41:05
IDJOB=4445294
IDBENCH=148106
IDSOLVER=3058
FILE ID=nodeC016/4445294-1721320853
RUNJOBID= nodeC016-1721316965-937014
SLURM_JOB_ID= 7542659
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445294-1721320853/watcher-4445294-1721320853 -o /tmp/evaluation-result-4445294-1721320853/solver-4445294-1721320853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937014 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4445294-1721320853.opb

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

MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc
RANDOM SEED=1507357668

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119869076 kB
MemAvailable:   123467372 kB
Buffers:          350820 kB
Cached:          4083396 kB
SwapCached:            0 kB
Active:           549176 kB
Inactive:       10484156 kB
Active(anon):       1544 kB
Inactive(anon):  6635304 kB
Active(file):     547632 kB
Inactive(file):  3848852 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1192 kB
Writeback:             0 kB
AnonPages:       6597628 kB
Mapped:           126548 kB
Shmem:             37720 kB
KReclaimable:      82920 kB
Slab:             192932 kB
SReclaimable:      82920 kB
SUnreclaim:       110012 kB
KernelStack:        5072 kB
PageTables:        23088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7407920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69696 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6277120 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC016 at 2024-07-18 19:41:15