Trace number 4459791

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)-24 3600.62 3600.98

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.12/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.13	c version CUSTOM.v20240707
0.12/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.14	c java.vm.version	22.0.1+8-16
0.12/0.14	c java.vm.vendor	Oracle Corporation
0.12/0.14	c sun.arch.data.model	64
0.12/0.14	c java.version		22.0.1
0.12/0.14	c os.name		Linux
0.12/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.14	c os.arch		amd64
0.12/0.15	c Free memory 		2113181440
0.12/0.15	c Max memory 		16282288128
0.12/0.15	c Total memory 		2122317824
0.12/0.15	c Number of processors 	2
0.12/0.18	--- Begin Solver configuration ---
0.12/0.18	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.18	Learn all clauses as in MiniSAT
0.12/0.18	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.18	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.18	No reason simplification
0.12/0.18	Glucose 2.1 dynamic restart strategy
0.12/0.18	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.18	timeout=2147483s
0.12/0.18	DB Simplification allowed=false
0.12/0.18	Listener: none
0.12/0.18	--- End Solver configuration ---
0.12/0.20	c Pseudo Boolean Optimization by upper bound
0.12/0.20	c --- Begin Solver configuration ---
0.12/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.20	c Learn all clauses as in MiniSAT
0.12/0.20	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.20	c No reason simplification
0.12/0.20	c Glucose 2.1 dynamic restart strategy
0.12/0.20	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.20	c timeout=2147483s
0.12/0.20	c DB Simplification allowed=false
0.12/0.20	c Listener: none
0.12/0.20	c --- End Solver configuration ---
0.12/0.20	c solving HOME/instance-4459791-1721939496.opb
0.12/0.20	c reading problem ... 
0.12/0.20	c  objective function found
0.32/0.27	c ... done. Wall clock time 0.076s.
0.32/0.27	c declared #vars     100
0.32/0.27	c internal #vars     726
0.32/0.27	c #constraints  1452
0.32/0.27	c constraints type 
0.32/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 626
0.32/0.27	c org.sat4j.specs.Constr$1 => 112
0.32/0.27	c org.sat4j.pb.constraints.pb.UnitClausesPB => 75
0.32/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 626
0.32/0.27	c org.sat4j.pb.constraints.pb.UnitClausePB => 13
0.32/0.27	c 1452 constraints processed.
0.32/0.28	c objective function length is 100 literals
0.32/0.28	c SATISFIABLE
0.32/0.28	c OPTIMIZING...
0.32/0.28	c Got one! Elapsed wall clock time (in seconds):0.097
0.32/0.28	o -18
0.32/0.30	c Got one! Elapsed wall clock time (in seconds):0.104
0.32/0.30	o -19
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.145
0.52/0.33	o -20
1.23/0.71	c cleaning 2598 clauses out of 5196 with flag 10734/5196
2.41/1.34	c cleaning 4300 clauses out of 8599 with flag 23094/11197
2.80/1.52	c Got one! Elapsed wall clock time (in seconds):1.334
2.80/1.53	o -21
2.80/1.59	c Got one! Elapsed wall clock time (in seconds):1.398
2.80/1.59	o -22
3.18/1.78	c cleaning 5407 clauses out of 10813 with flag 6219/17711
3.61/2.08	c cleaning 5703 clauses out of 11405 with flag 18430/23710
4.02/2.42	c cleaning 6350 clauses out of 12704 with flag 32779/30712
4.42/2.80	c cleaning 7174 clauses out of 14353 with flag 49245/38711
4.91/3.36	c cleaning 8084 clauses out of 16178 with flag 67969/47710
5.53/3.89	c cleaning 9046 clauses out of 18094 with flag 88539/57710
6.33/4.68	c cleaning 10021 clauses out of 20050 with flag 110998/68712
7.12/5.48	c cleaning 11015 clauses out of 22029 with flag 135570/80712
8.74/7.04	c cleaning 12004 clauses out of 24012 with flag 165239/93710
10.35/8.47	c cleaning 13002 clauses out of 26011 with flag 197829/107713
11.84/10.01	c cleaning 13996 clauses out of 28006 with flag 232721/122710
13.81/11.83	c cleaning 15000 clauses out of 30010 with flag 270727/138710
15.87/13.84	c cleaning 16005 clauses out of 32010 with flag 310426/155710
17.46/15.40	c cleaning 16999 clauses out of 34005 with flag 347227/173710
19.36/17.37	c cleaning 18003 clauses out of 36006 with flag 386322/192710
21.46/19.41	c cleaning 18999 clauses out of 38003 with flag 427021/212710
23.55/21.56	c cleaning 20002 clauses out of 40004 with flag 469864/233710
25.84/23.88	c cleaning 21002 clauses out of 42003 with flag 514747/255711
28.46/26.45	c cleaning 21999 clauses out of 44000 with flag 561706/278710
31.66/29.69	c cleaning 23001 clauses out of 46001 with flag 610591/302710
35.46/33.40	c cleaning 23998 clauses out of 48000 with flag 661503/327710
38.57/36.59	c cleaning 25001 clauses out of 50002 with flag 714568/353710
42.96/40.90	c cleaning 25999 clauses out of 52006 with flag 772225/380715
49.65/47.60	c cleaning 26996 clauses out of 54002 with flag 837877/408710
57.53/55.57	c cleaning 28003 clauses out of 56007 with flag 910449/437711
63.56/61.52	c cleaning 28996 clauses out of 58003 with flag 973446/467710
68.95/66.93	c cleaning 30002 clauses out of 60007 with flag 1038622/498710
75.35/73.40	c cleaning 31003 clauses out of 62005 with flag 1106207/530710
80.94/78.90	c cleaning 32000 clauses out of 64002 with flag 1175625/563710
90.28/88.22	c cleaning 32995 clauses out of 66002 with flag 1255887/597710
102.26/100.28	c cleaning 34000 clauses out of 68007 with flag 1344853/632710
116.25/114.28	c cleaning 34999 clauses out of 70008 with flag 1436008/668711
128.18/126.15	c cleaning 36003 clauses out of 72009 with flag 1524556/705711
137.17/135.19	c cleaning 37003 clauses out of 74006 with flag 1605289/743711
146.81/144.79	c cleaning 37998 clauses out of 76002 with flag 1686235/782710
158.34/156.20	c cleaning 39001 clauses out of 78004 with flag 1768530/822710
167.92/165.88	c cleaning 39999 clauses out of 80004 with flag 1853133/863711
179.23/177.19	c cleaning 40998 clauses out of 82004 with flag 1938780/905710
191.51/189.42	c cleaning 42004 clauses out of 84008 with flag 2027458/948712
201.90/199.80	c cleaning 42999 clauses out of 86003 with flag 2118077/992711
212.18/210.12	c cleaning 44000 clauses out of 88004 with flag 2210622/1037711
225.20/223.12	c cleaning 45002 clauses out of 90005 with flag 2304742/1083712
237.66/235.67	c cleaning 46000 clauses out of 92001 with flag 2401340/1130710
250.64/248.67	c cleaning 46999 clauses out of 94002 with flag 2499293/1178711
266.72/264.75	c cleaning 47996 clauses out of 96003 with flag 2599330/1227711
282.79/280.87	c cleaning 49002 clauses out of 98006 with flag 2701474/1277710
295.20/293.27	c cleaning 49996 clauses out of 100005 with flag 2805667/1328711
306.58/304.67	c cleaning 50999 clauses out of 102008 with flag 2911903/1380710
320.49/318.58	c cleaning 52001 clauses out of 104010 with flag 3020084/1433711
337.08/335.13	c cleaning 53004 clauses out of 106008 with flag 3130437/1487710
357.56/355.63	c cleaning 53995 clauses out of 108004 with flag 3252368/1542710
384.92/383.07	c cleaning 55002 clauses out of 110009 with flag 3384092/1598710
427.34/425.59	c cleaning 56001 clauses out of 112010 with flag 3537731/1655713
457.90/456.37	c cleaning 56998 clauses out of 114006 with flag 3686162/1713710
506.64/505.48	c cleaning 57999 clauses out of 116008 with flag 3846476/1772710
548.40/547.21	c cleaning 59001 clauses out of 118010 with flag 4003584/1832711
592.74/591.65	c cleaning 60000 clauses out of 120008 with flag 4163107/1893710
622.72/621.62	c cleaning 61000 clauses out of 122008 with flag 4301700/1955710
650.66/649.17	c cleaning 62003 clauses out of 124011 with flag 4430717/2018713
678.40/677.01	c cleaning 63002 clauses out of 126005 with flag 4563452/2082710
702.38/700.91	c cleaning 64000 clauses out of 128003 with flag 4696687/2147710
724.76/723.36	c cleaning 64997 clauses out of 130003 with flag 4832636/2213710
727.25/725.88	c Got one! Elapsed wall clock time (in seconds):725.697
727.25/725.88	o -23
730.28/728.87	c cleaning 44122 clauses out of 88244 with flag 10336/2236948
731.28/729.82	c cleaning 25062 clauses out of 50123 with flag 22740/2242949
731.88/730.43	c cleaning 16030 clauses out of 32064 with flag 37154/2249952
732.49/731.08	c cleaning 12014 clauses out of 24031 with flag 54058/2257949
733.28/731.87	c cleaning 10505 clauses out of 21016 with flag 72564/2266948
733.98/732.53	c cleaning 10251 clauses out of 20511 with flag 94043/2276948
734.68/733.26	c cleaning 10624 clauses out of 21260 with flag 116569/2287948
735.38/733.92	c cleaning 11316 clauses out of 22636 with flag 141175/2299948
736.18/734.76	c cleaning 12159 clauses out of 24320 with flag 168251/2312948
737.28/735.90	c cleaning 13081 clauses out of 26161 with flag 198930/2326948
738.39/736.98	c cleaning 14033 clauses out of 28080 with flag 230060/2341948
739.69/738.20	c cleaning 15024 clauses out of 30048 with flag 263146/2357949
741.30/739.88	c cleaning 16012 clauses out of 32023 with flag 298132/2374948
743.09/741.68	c cleaning 17004 clauses out of 34011 with flag 335428/2392948
744.60/743.14	c cleaning 18001 clauses out of 36009 with flag 375038/2411950
746.50/745.09	c cleaning 19002 clauses out of 38009 with flag 416625/2431951
748.29/746.88	c cleaning 20002 clauses out of 40005 with flag 459982/2452949
750.38/748.96	c cleaning 20998 clauses out of 42004 with flag 506235/2474950
753.27/751.82	c cleaning 22003 clauses out of 44005 with flag 554303/2497949
756.68/755.25	c cleaning 23000 clauses out of 46002 with flag 604141/2521949
760.17/758.73	c cleaning 23997 clauses out of 48001 with flag 656019/2546948
763.86/762.48	c cleaning 25000 clauses out of 50005 with flag 710398/2572949
767.16/765.72	c cleaning 25997 clauses out of 52004 with flag 766309/2599948
770.57/769.13	c cleaning 27003 clauses out of 54007 with flag 824380/2627948
774.35/772.95	c cleaning 28000 clauses out of 56006 with flag 884289/2656950
778.75/777.39	c cleaning 29000 clauses out of 58004 with flag 946513/2686948
784.45/783.06	c cleaning 29999 clauses out of 60004 with flag 1010226/2717948
790.54/789.15	c cleaning 31003 clauses out of 62005 with flag 1076100/2749948
797.43/796.02	c cleaning 31998 clauses out of 64002 with flag 1144002/2782948
804.11/802.79	c cleaning 33002 clauses out of 66004 with flag 1214000/2816948
810.51/809.19	c cleaning 33999 clauses out of 68003 with flag 1287073/2851949
813.10/811.76	c Got one! Elapsed wall clock time (in seconds):811.574
813.10/811.76	o -24
815.40/814.06	c cleaning 29257 clauses out of 58513 with flag 10999/2876458
816.50/815.15	c cleaning 17624 clauses out of 35256 with flag 24048/2882458
817.29/815.90	c cleaning 12312 clauses out of 24632 with flag 39305/2889458
818.02/816.55	c cleaning 10162 clauses out of 20323 with flag 57235/2897461
818.65/817.06	c cleaning 9575 clauses out of 19161 with flag 75830/2906461
819.24/817.61	c cleaning 9789 clauses out of 19583 with flag 96970/2916458
819.84/818.22	c cleaning 10393 clauses out of 20795 with flag 120434/2927459
820.65/819.02	c cleaning 11195 clauses out of 22402 with flag 148229/2939459
821.64/820.03	c cleaning 12102 clauses out of 24207 with flag 179381/2952459
823.03/821.44	c cleaning 13045 clauses out of 26104 with flag 213545/2966458
825.02/823.42	c cleaning 14026 clauses out of 28060 with flag 253625/2981459
826.82/825.22	c cleaning 15014 clauses out of 30034 with flag 292063/2997459
829.31/827.71	c cleaning 16005 clauses out of 32019 with flag 333643/3014458
832.01/830.43	c cleaning 17005 clauses out of 34014 with flag 377955/3032458
835.01/833.45	c cleaning 18002 clauses out of 36009 with flag 424563/3051458
838.10/836.51	c cleaning 18997 clauses out of 38008 with flag 472705/3071459
842.39/840.81	c cleaning 20004 clauses out of 40012 with flag 527308/3092460
845.70/844.12	c cleaning 21000 clauses out of 42006 with flag 585261/3114458
849.59/848.05	c cleaning 22002 clauses out of 44007 with flag 642317/3137459
853.07/851.53	c cleaning 23000 clauses out of 46004 with flag 702778/3161458
856.68/855.17	c cleaning 23999 clauses out of 48006 with flag 763899/3186460
861.96/860.48	c cleaning 24998 clauses out of 50005 with flag 830053/3212458
868.15/866.60	c cleaning 26001 clauses out of 52007 with flag 900488/3239458
872.73/871.25	c cleaning 26999 clauses out of 54007 with flag 967732/3267459
878.42/877.01	c cleaning 28001 clauses out of 56007 with flag 1037798/3296458
885.01/883.59	c cleaning 29003 clauses out of 58006 with flag 1112789/3326458
890.90/889.46	c cleaning 29997 clauses out of 60004 with flag 1186725/3357459
898.29/896.85	c cleaning 31001 clauses out of 62006 with flag 1263839/3389458
907.36/905.99	c cleaning 31999 clauses out of 64006 with flag 1344797/3422459
916.56/915.19	c cleaning 33001 clauses out of 66008 with flag 1426091/3456460
926.33/924.91	c cleaning 34003 clauses out of 68005 with flag 1509811/3491458
935.31/933.94	c cleaning 35000 clauses out of 70002 with flag 1594945/3527458
949.08/947.79	c cleaning 35994 clauses out of 72002 with flag 1690418/3564458
960.38/959.01	c cleaning 37003 clauses out of 74009 with flag 1784964/3602459
972.73/971.42	c cleaning 37998 clauses out of 76006 with flag 1879959/3641459
985.72/984.43	c cleaning 39003 clauses out of 78011 with flag 1979240/3681462
998.19/996.96	c cleaning 39993 clauses out of 80004 with flag 2082411/3722458
1012.57/1011.33	c cleaning 41003 clauses out of 82011 with flag 2186597/3764458
1024.75/1023.53	c cleaning 42001 clauses out of 84009 with flag 2285338/3807459
1038.82/1037.61	c cleaning 43002 clauses out of 86009 with flag 2380540/3851460
1052.40/1051.21	c cleaning 44003 clauses out of 88006 with flag 2473645/3896459
1066.57/1065.48	c cleaning 45003 clauses out of 90005 with flag 2568431/3942461
1080.95/1079.89	c cleaning 45999 clauses out of 91999 with flag 2665111/3989458
1095.82/1094.71	c cleaning 46998 clauses out of 94000 with flag 2763580/4037458
1112.79/1111.74	c cleaning 48001 clauses out of 96002 with flag 2865083/4086458
1132.84/1131.84	c cleaning 49001 clauses out of 98001 with flag 2972370/4136458
1149.72/1148.75	c cleaning 50000 clauses out of 100000 with flag 3077412/4187458
1169.78/1168.89	c cleaning 50997 clauses out of 102000 with flag 3185548/4239458
1184.45/1183.50	c cleaning 52002 clauses out of 104005 with flag 3294477/4292460
1200.12/1199.23	c cleaning 52996 clauses out of 106002 with flag 3405004/4346459
1214.59/1213.72	c cleaning 54002 clauses out of 108005 with flag 3518146/4401458
1234.75/1233.93	c cleaning 55003 clauses out of 110006 with flag 3635594/4457461
1260.00/1259.20	c cleaning 56000 clauses out of 112002 with flag 3759373/4514460
1283.26/1282.56	c cleaning 56999 clauses out of 114000 with flag 3881585/4572458
1302.52/1301.81	c cleaning 57997 clauses out of 116002 with flag 4004049/4631459
1319.30/1318.62	c cleaning 58997 clauses out of 118005 with flag 4131339/4691459
1336.57/1335.96	c cleaning 60003 clauses out of 120007 with flag 4258618/4752458
1355.75/1355.14	c cleaning 60997 clauses out of 122005 with flag 4387672/4814459
1378.48/1377.70	c cleaning 61997 clauses out of 124007 with flag 4520731/4877458
1410.82/1409.72	c cleaning 62998 clauses out of 126009 with flag 4674294/4941458
1452.08/1451.03	c cleaning 63998 clauses out of 128012 with flag 4844071/5006459
1483.42/1482.47	c cleaning 65008 clauses out of 130016 with flag 4987137/5072461
1510.73/1509.68	c cleaning 66003 clauses out of 132008 with flag 5126483/5139461
1540.87/1539.85	c cleaning 67000 clauses out of 134002 with flag 5267773/5207458
1565.05/1564.09	c cleaning 67999 clauses out of 136005 with flag 5412038/5276461
1588.46/1587.40	c cleaning 68996 clauses out of 138005 with flag 5556640/5346460
1625.61/1624.61	c cleaning 70000 clauses out of 140008 with flag 5706872/5417459
1688.82/1687.91	c cleaning 70995 clauses out of 142007 with flag 5888361/5489458
1761.31/1760.49	c cleaning 72007 clauses out of 144013 with flag 6085257/5562459
1821.63/1820.87	c cleaning 73001 clauses out of 146005 with flag 6278631/5636458
1885.23/1884.55	c cleaning 73997 clauses out of 148004 with flag 6477560/5711458
1956.90/1955.71	c cleaning 75003 clauses out of 150008 with flag 6679875/5787459
2030.49/2029.47	c cleaning 75995 clauses out of 152004 with flag 6868696/5864458
2103.29/2102.33	c cleaning 77006 clauses out of 154012 with flag 7075194/5942461
2164.92/2164.08	c cleaning 77999 clauses out of 156003 with flag 7280826/6021458
2248.98/2248.19	c cleaning 78998 clauses out of 158006 with flag 7492968/6101460
2322.66/2321.90	c cleaning 80001 clauses out of 160006 with flag 7691231/6182458
2386.18/2385.51	c cleaning 81003 clauses out of 162005 with flag 7892451/6264458
2439.65/2439.10	c cleaning 81999 clauses out of 164004 with flag 8065673/6347460
2479.26/2478.79	c cleaning 83000 clauses out of 166005 with flag 8239735/6431460
2531.81/2531.32	c cleaning 83999 clauses out of 168003 with flag 8417713/6516458
2566.97/2566.54	c cleaning 85002 clauses out of 170005 with flag 8596039/6602459
2620.69/2620.37	c cleaning 85990 clauses out of 172002 with flag 8779739/6689458
2655.62/2655.25	c cleaning 87002 clauses out of 174012 with flag 8959914/6777458
2689.57/2689.20	c cleaning 88003 clauses out of 176010 with flag 9141741/6866458
2732.87/2732.50	c cleaning 89004 clauses out of 178009 with flag 9325513/6956460
2788.17/2787.95	c cleaning 90000 clauses out of 180004 with flag 9511644/7047459
2875.24/2875.19	c cleaning 90995 clauses out of 182002 with flag 9735381/7139458
2936.85/2936.82	c cleaning 92003 clauses out of 184008 with flag 9935495/7232459
3001.14/3001.24	c cleaning 93001 clauses out of 186007 with flag 10147029/7326461
3069.69/3069.89	c cleaning 93999 clauses out of 188003 with flag 10354003/7421458
3129.21/3129.42	c cleaning 94999 clauses out of 190004 with flag 10567337/7517458
3230.45/3230.51	c cleaning 95993 clauses out of 192004 with flag 10808922/7614458
3367.33/3367.64	c cleaning 96999 clauses out of 194012 with flag 11064110/7712459
3495.37/3495.82	c cleaning 98001 clauses out of 196012 with flag 11334900/7811458
3600.09/3600.72	c starts		: 50975
3600.09/3600.75	c conflicts		: 7898946
3600.09/3600.76	c decisions		: 10859799
3600.09/3600.77	c propagations		: 46407151
3600.09/3600.77	c inspects		: 29542138242
3600.09/3600.77	c shortcuts		: 0
3600.09/3600.77	c learnt literals	: 3
3600.09/3600.77	c learnt binary clauses	: 0
3600.09/3600.77	c learnt ternary clauses	: 0
3600.09/3600.77	c learnt constraints	: 7898943
3600.09/3600.77	c ignored constraints	: 0
3600.09/3600.77	c root simplifications	: 0
3600.09/3600.77	c removed literals (reason simplification)	: 0
3600.09/3600.77	c reason swapping (by a shorter reason)	: 0
3600.09/3600.77	c Calls to reduceDB	: 190
3600.09/3600.77	c Number of update (reduction) of LBD	: 239542
3600.09/3600.77	c Imported unit clauses	: 0
3600.09/3600.77	c No decision after first conflict	: false
3600.09/3600.77	c number of reductions to clauses (during analyze)	: 0
3600.09/3600.77	c number of learned constraints concerned by reduction	: 0
3600.09/3600.77	c number of learning phase by resolution	: 0
3600.09/3600.77	c number of learning phase by cutting planes	: 0
3600.09/3600.77	c number of rounding to 1 operations	: 0
3600.09/3600.77	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3600.77	c number of reductions of the coefficients by power 2 	: 0
3600.09/3600.79	c number of right shift for reduction by power 2 	: 0
3600.09/3600.79	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3600.79	c number of ending skipping 	: 0
3600.09/3600.79	c number of internal skipping 	: 0
3600.09/3600.79	c number of derivation steps 	: 0
3600.09/3600.79	c number of skipped derivation steps 	: 0
3600.09/3600.79	c number of remaining unassigned 	: 0
3600.09/3600.79	c number of remaining assigned 	: 0
3600.09/3600.79	c number of falsified literals weakened from reason	: 0
3600.09/3600.79	c number of falsified literals weakened from conflict	: 0
3600.09/3600.79	c time for arithmetic operations	: 0
3600.28/3600.80	c minimum degree of deleted constraints	: null
3600.28/3600.81	c maximum degree of deleted constraints	: null
3600.28/3600.81	c number of deleted constraints	: 0
3600.28/3600.81	c speed (assignments/second)	: 12888.992052827838
3600.28/3600.82	c non guided choices	: 0
3600.48/3600.95	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 185499
3600.48/3600.95	s SATISFIABLE
3600.48/3600.95	c Found 7 solution(s)
3600.48/3600.96	v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 x61 -x62 -x63 x64 x65 -x66 -x67 x68 -x69 -x70 x71 x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 x88 -x89 -x90 -x91 x92 x93 -x94 x95 x96 -x97 x98 x99 x100 
3600.48/3600.96	c objective function=-24
3600.48/3600.96	c Total wall clock time (in seconds): 3600.77

Verifier Data 

OK	-24

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

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

[startup+0.100202 s]*
/proc/loadavg: 2.54 0.74 0.43 5/317 251540
/proc/meminfo: memFree=96958148/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=18975048 memory=59668 CPUtime=0.12 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 6462 0 0 0 10 2 0 0 20 0 18 0 29938634 19430449152 14917 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4743762 14917 5525 1 0 550925 0
[pid=251522/tid=251524] ppid=251519 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 5405 0 0 0 7 1 0 0 20 0 18 0 29938634 19430449152 14917 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29938637 19430449152 14917 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=18975048 memory=3834596516937596960 CPUtime=0 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29938638 19430449152 14917 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59668 KiB

[startup+0.217149 s]*
/proc/loadavg: 2.54 0.74 0.43 7/317 251540
/proc/meminfo: memFree=96936216/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=18975048 memory=71880 CPUtime=0.32 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 7269 0 0 0 30 2 0 0 20 0 18 0 29938634 19430449152 17970 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4743762 17970 5721 1 0 551608 0
[pid=251522/tid=251524] ppid=251519 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 5831 0 0 0 18 1 0 0 20 0 18 0 29938634 19430449152 17970 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=18975048 memory=1122407 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29938637 19430449152 17970 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=18975048 memory=14131147651172177 CPUtime=0 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29938638 19430449152 17970 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71880 KiB

[startup+0.316702 s]*
/proc/loadavg: 2.54 0.74 0.43 8/318 251541
/proc/meminfo: memFree=96922892/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19041612 memory=74840 CPUtime=0.52 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 7490 0 0 0 49 3 0 0 20 0 19 0 29938634 19498610688 18710 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4760403 18710 5758 1 0 552001 0
[pid=251522/tid=251524] ppid=251519 vsize=19041612 memory=-8528803306336395964 CPUtime=0.29 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 5967 0 0 0 28 1 0 0 20 0 19 0 29938634 19498610688 18710 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29938637 19498610688 18710 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29938638 19498610688 18710 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29938662 19498610688 18710 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74840 KiB

[startup+0.709156 s]
/proc/loadavg: 2.54 0.74 0.43 7/318 251541
/proc/meminfo: memFree=96895320/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19041612 memory=86500 CPUtime=1.23 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 11709 0 0 0 119 4 0 0 20 0 19 0 29938634 19498610688 21625 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4760403 21625 5845 1 0 553958 0
[pid=251522/tid=251524] ppid=251519 vsize=19041612 memory=12108 CPUtime=0.67 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 1077936192 6097 0 0 0 65 2 0 0 20 0 19 0 29938634 19498610688 21625 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19041612 memory=12108 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29938637 19498610688 21625 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29938638 19498610688 21625 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19041612 memory=25560 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29938662 19498610688 21625 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86500 KiB

[startup+1.50119 s]
/proc/loadavg: 2.54 0.74 0.43 6/318 251541
/proc/meminfo: memFree=96862188/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19041612 memory=101720 CPUtime=2.8 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 17646 0 0 0 275 5 0 0 20 0 19 0 29938634 19498610688 25430 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4760403 25430 5861 1 0 555348 0
[pid=251522/tid=251524] ppid=251519 vsize=19041612 memory=12108 CPUtime=1.45 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 6480 0 0 0 143 2 0 0 20 0 19 0 29938634 19498610688 25430 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29938637 19498610688 25430 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29938638 19498610688 25430 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29938662 19498610688 25430 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101720 KiB

[startup+3.1062 s]
/proc/loadavg: 2.54 0.74 0.43 5/319 251542
/proc/meminfo: memFree=96501268/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19041612 memory=124608 CPUtime=4.72 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 18630 0 0 0 467 5 0 0 20 0 19 0 29938634 19498610688 31152 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4760403 31152 5861 1 0 555351 0
[pid=251522/tid=251524] ppid=251519 vsize=19041612 memory=0 CPUtime=3.03 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 6954 0 0 0 301 2 0 0 20 0 19 0 29938634 19498610688 31152 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29938637 19498610688 31152 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19041612 memory=105960 CPUtime=0 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29938638 19498610688 31152 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19041612 memory=12108 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29938662 19498610688 31152 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 124608 KiB

[startup+6.30022 s]
/proc/loadavg: 2.65 0.79 0.45 5/319 251542
/proc/meminfo: memFree=96194180/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19041612 memory=153420 CPUtime=8.02 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 19076 0 0 0 796 6 0 0 20 0 19 0 29938634 19498610688 38355 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4760403 38355 5874 1 0 555351 0
[pid=251522/tid=251524] ppid=251519 vsize=19041612 memory=12108 CPUtime=6.19 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 7095 0 0 0 616 3 0 0 20 0 19 0 29938634 19498610688 38355 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29938637 19498610688 38355 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19041612 memory=5938953106429006425 CPUtime=0 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29938638 19498610688 38355 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19041612 memory=5456 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29938662 19498610688 38355 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 8.02 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 153420 KiB

[startup+12.7005 s]
/proc/loadavg: 2.76 0.84 0.46 5/320 251544
/proc/meminfo: memFree=96067840/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=188880 CPUtime=14.77 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 25786 0 0 0 1469 8 0 0 20 0 20 0 29938634 19566772224 47220 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4777044 47220 5922 1 0 555640 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=0 CPUtime=12.51 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 7946 0 0 0 1248 3 0 0 20 0 20 0 29938634 19566772224 47220 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=188856 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29938637 19566772224 47220 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 29938638 19566772224 47220 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=16096 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29938662 19566772224 47220 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 14.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188880 KiB

[startup+25.5005 s]
/proc/loadavg: 3.10 1.02 0.53 5/320 251546
/proc/meminfo: memFree=95037880/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=219844 CPUtime=27.56 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 28190 0 0 0 2746 10 0 0 20 0 20 0 29938634 19566772224 54961 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4777044 54961 5922 1 0 555640 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=188856 CPUtime=25.14 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 8585 0 0 0 2511 3 0 0 20 0 20 0 29938634 19566772224 54961 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=16096 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29938637 19566772224 54961 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=188880 CPUtime=0 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 29938638 19566772224 54961 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29938662 19566772224 54961 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 27.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 219844 KiB

[startup+51.1136 s]
/proc/loadavg: 3.54 1.29 0.63 5/322 251554
/proc/meminfo: memFree=93963992/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=281740 CPUtime=53.16 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 30805 0 0 0 5303 13 0 0 20 0 20 0 29938634 19566772224 70435 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4777044 70435 5953 1 0 555640 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=1972 CPUtime=50.53 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 10062 0 0 0 5050 3 0 0 20 0 20 0 29938634 19566772224 70435 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0

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

Current children cumulated memory: 2183932 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.25 4.16 5/320 253100
/proc/meminfo: memFree=82064080/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2183932 CPUtime=3342.07 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 142240 0 0 0 333965 242 0 0 20 0 20 0 29938634 19566772224 545983 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4777044 545983 5969 1 0 558288 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=868704 CPUtime=3328.02 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 55552 0 0 0 332774 28 0 0 20 0 20 0 29938634 19566772224 545983 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=2183932 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29938637 19566772224 545983 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=2183932 CPUtime=0.01 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 3978 0 0 0 0 1 0 0 20 0 20 0 29938638 19566772224 545983 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29938662 19566772224 545983 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 3342.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.27 4.17 5/322 253280
/proc/meminfo: memFree=81884312/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2183936 CPUtime=3401.96 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 142727 0 0 0 339951 245 0 0 20 0 20 0 29938634 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4777044 545984 5969 1 0 558288 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=868704 CPUtime=3387.86 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 56034 0 0 0 338758 28 0 0 20 0 20 0 29938634 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=2183932 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29938637 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=2183936 CPUtime=0.01 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 3978 0 0 0 0 1 0 0 20 0 20 0 29938638 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29938662 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 3401.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183936 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.23 4.16 5/321 253291
/proc/meminfo: memFree=81884188/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2183936 CPUtime=3461.93 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 144206 0 0 0 345944 249 0 0 20 0 20 0 29938634 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4777044 545984 5969 1 0 558288 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=868704 CPUtime=3447.66 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 56310 0 0 0 344738 28 0 0 20 0 20 0 29938634 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=2183932 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29938637 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=2183936 CPUtime=0.01 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 4065 0 0 0 0 1 0 0 20 0 20 0 29938638 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=2183936 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29938662 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 3461.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183936 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.22 4.16 5/322 253425
/proc/meminfo: memFree=92809912/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2183936 CPUtime=3521.82 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 144662 0 0 0 351931 251 0 0 20 0 20 0 29938634 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4777044 545984 5969 1 0 558288 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=868704 CPUtime=3507.51 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 56723 0 0 0 350723 28 0 0 20 0 20 0 29938634 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=2183936 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29938637 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=2183936 CPUtime=0.01 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 4099 0 0 0 0 1 0 0 20 0 20 0 29938638 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=5456 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29938662 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 3521.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183936 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.23 4.18 5/321 253503
/proc/meminfo: memFree=95700628/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2183936 CPUtime=3581.72 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 144915 0 0 0 357918 254 0 0 20 0 20 0 29938634 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4777044 545984 5969 1 0 558288 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=868704 CPUtime=3567.35 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 56962 0 0 0 356707 28 0 0 20 0 20 0 29938634 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=2183936 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29938637 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=2183936 CPUtime=0.01 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 4099 0 0 0 0 1 0 0 20 0 20 0 29938638 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=69356 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29938662 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 3581.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.7 s]
/proc/loadavg: 4.32 4.25 4.18 5/321 253575
/proc/meminfo: memFree=97080340/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2183936 CPUtime=3600.09 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 145150 0 0 0 359754 255 0 0 20 0 20 0 29938634 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4777044 545984 5969 1 0 558288 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=868704 CPUtime=3585.7 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 57114 0 0 0 358542 28 0 0 20 0 20 0 29938634 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=26572 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29938637 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=2183936 CPUtime=0.01 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 4099 0 0 0 0 1 0 0 20 0 20 0 29938638 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=11756 CPUtime=0 cores=1,3
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 251119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29938662 19566772224 545984 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183936 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.05 s, system=2.57991 s

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

[startup+3600.8 s]
/proc/loadavg: 4.32 4.25 4.18 5/321 253575
/proc/meminfo: memFree=97080340/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19307868 memory=2184668 CPUtime=3600.28 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 148155 0 0 0 359773 255 0 0 20 0 21 0 29938634 19771256832 546167 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4826967 546167 5968 1 0 559215 0
[pid=251522/tid=251524] ppid=251519 vsize=19307868 memory=29076 CPUtime=3585.81 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 57291 0 0 0 358553 28 0 0 20 0 21 0 29938634 19771256832 546167 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19307868 memory=2168 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29938637 19771256832 546167 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19307868 memory=3088 CPUtime=0.01 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 4099 0 0 0 0 1 0 0 20 0 21 0 29938638 19771256832 546167 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2184668 KiB

[startup+3600.9 s]
/proc/loadavg: 4.32 4.25 4.18 5/321 253575
/proc/meminfo: memFree=97080340/131655788 swapFree=131062644/131071996
[pid=251522] ppid=251519 vsize=19307868 memory=2184720 CPUtime=3600.48 cores=1,3
/proc/251522/stat : 251522 (java) S 251519 251522 251119 0 -1 1077936128 148262 0 0 0 359793 255 0 0 20 0 21 0 29938634 19771256832 546180 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
/proc/251522/statm: 4826967 546180 5968 1 0 559231 0
[pid=251522/tid=251524] ppid=251519 vsize=19307868 memory=868704 CPUtime=3585.9 cores=1,3
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 251119 0 -1 4194368 57291 0 0 0 358562 28 0 0 20 0 21 0 29938634 19771256832 546180 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251533] ppid=251519 vsize=19307868 memory=26572 CPUtime=0 cores=1,3
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 251119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29938637 19771256832 546180 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
[pid=251522/tid=251540] ppid=251519 vsize=19307868 memory=2183936 CPUtime=0.01 cores=1,3
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 251119 0 -1 1077936192 4099 0 0 0 0 1 0 0 20 0 21 0 29938638 19771256832 546180 134679101440 94829682909184 94829682912880 140732366026144 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94829682920696 94829682921488 94829705789440 140732366033926 140732366034016 140732366034016 140732366041032 0
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2184720 KiB

Child status: 143

Real time (s): 3600.98
CPU time (s): 3600.62
CPU user time (s): 3598.05
CPU system time (s): 2.57991
CPU usage (%): 99.9901
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2184720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.05
system time used= 2.57991
maximum resident set size= 2185412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106050
involuntary context switches= 3388


# summary of solver processes directly reported to runsolver:
#   pid: 251522
#   total CPU time (s): 3600.62
#   total CPU user time (s): 3598.05
#   total CPU system time (s): 2.57991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5625 second user time and 37.5504 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-25 22:31:36
IDJOB=4459791
IDBENCH=148572
IDSOLVER=3058
FILE ID=nodeC003/4459791-1721939496
RUNJOBID= nodeC003-1721939462-251131
SLURM_JOB_ID= 8247257
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_100_10_5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459791-1721939496/watcher-4459791-1721939496 -o /tmp/evaluation-result-4459791-1721939496/solver-4459791-1721939496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721939462-251131 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459791-1721939496.opb

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

MD5SUM BENCH= 8e995e228ea397e74aa66020bdc72749
RANDOM SEED=1956819754

nodeC003.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		: 3677.248
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	: 6984.09
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		: 3617.510
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		: 1197.476
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	: 6984.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.279
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		: 3671.829
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	: 6984.09
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		: 3624.479
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.481
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	: 6984.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.426
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:        97005840 kB
MemAvailable:   126767180 kB
Buffers:          336308 kB
Cached:         29968312 kB
SwapCached:          968 kB
Active:          2545904 kB
Inactive:       31095416 kB
Active(anon):       2580 kB
Inactive(anon):  3387272 kB
Active(file):    2543324 kB
Inactive(file): 27708144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062644 kB
Dirty:              4588 kB
Writeback:             0 kB
AnonPages:       3335624 kB
Mapped:           130656 kB
Shmem:             53440 kB
KReclaimable:     571616 kB
Slab:             686388 kB
SReclaimable:     571616 kB
SUnreclaim:       114772 kB
KernelStack:        4788 kB
PageTables:        16428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   11838364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3092480 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:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-25 23:31:37