Trace number 4424825

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.43 3554.95

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM5a26684c778fa1de5039a887c1250f16
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.230265
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5500
Total number of constraints210
Number of soft constraints145
Number of constraints which are clauses110
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 7273
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7272
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.11	c See www.sat4j.org for details.
0.12/0.12	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.14	c Free memory 		2113181440
0.12/0.14	c Max memory 		16282288128
0.12/0.14	c Total memory 		2122317824
0.12/0.14	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.18	c Pseudo Boolean Optimization by upper bound
0.12/0.18	c --- Begin Solver configuration ---
0.12/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.18	c Learn all clauses as in MiniSAT
0.12/0.18	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.18	c No reason simplification
0.12/0.18	c Glucose 2.1 dynamic restart strategy
0.12/0.18	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.18	c timeout=2147483s
0.12/0.18	c DB Simplification allowed=false
0.12/0.18	c Listener: none
0.12/0.18	c --- End Solver configuration ---
0.12/0.18	c solving HOME/instance-4424825-1720880986.wbo
0.12/0.18	c reading problem ... 
0.49/0.34	c ... done. Wall clock time 0.154s.
0.49/0.34	c declared #vars     5500
0.49/0.34	c internal #vars     5645
0.49/0.34	c #constraints  211
0.49/0.34	c constraints type 
0.49/0.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30
0.49/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.49/0.34	c org.sat4j.specs.Constr$1 => 1
0.49/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 110
0.49/0.34	c 211 constraints processed.
0.49/0.35	c objective function length is 145 literals
2.50/1.42	c cleaning 2498 clauses out of 5000 with flag 35860/5000
3.38/2.22	c cleaning 4246 clauses out of 8503 with flag 83516/11001
4.89/3.51	c cleaning 5620 clauses out of 11256 with flag 139659/18000
7.24/5.51	c cleaning 6811 clauses out of 13636 with flag 205936/26000
9.54/7.80	c cleaning 7908 clauses out of 15825 with flag 287079/35000
12.35/10.52	c cleaning 8952 clauses out of 17918 with flag 374049/45001
14.06/12.03	c SATISFIABLE
14.06/12.03	c OPTIMIZING...
14.06/12.05	c Got one! Elapsed wall clock time (in seconds):11.855
14.06/12.05	o 523
16.08/13.81	c cleaning 9704 clauses out of 19420 with flag 38868/55455
17.96/15.69	c cleaning 7851 clauses out of 15716 with flag 95730/61455
19.93/17.55	c cleaning 7430 clauses out of 14869 with flag 150307/68459
22.37/19.88	c cleaning 7712 clauses out of 15438 with flag 214037/76458
24.18/21.59	c Got one! Elapsed wall clock time (in seconds):21.407
24.18/21.59	o 422
25.78/23.04	c cleaning 9688 clauses out of 19398 with flag 41465/88130
27.34/24.50	c cleaning 7849 clauses out of 15713 with flag 86203/94133
28.95/26.13	c cleaning 7426 clauses out of 14866 with flag 144724/101135
31.02/28.12	c cleaning 7709 clauses out of 15436 with flag 211847/109131
33.20/30.40	c cleaning 8350 clauses out of 16726 with flag 293069/118130
36.24/33.23	c cleaning 9179 clauses out of 18378 with flag 365756/128132
36.40/33.36	c Got one! Elapsed wall clock time (in seconds):33.172
36.40/33.36	o 389
36.40/33.37	c Got one! Elapsed wall clock time (in seconds):33.196
36.40/33.37	o 140
37.82/34.78	c cleaning 7515 clauses out of 15052 with flag 38161/133985
39.29/36.18	c cleaning 6759 clauses out of 13536 with flag 82747/139984
40.98/37.87	c cleaning 6883 clauses out of 13779 with flag 131042/146986
43.56/40.34	c cleaning 7435 clauses out of 14896 with flag 193662/154986
46.06/42.89	c cleaning 8224 clauses out of 16459 with flag 263858/163984
47.14/43.87	c Got one! Elapsed wall clock time (in seconds):43.696
47.14/43.87	o 114
47.46/44.14	c cleaning 6678 clauses out of 13367 with flag 7398/169116
48.94/45.64	c cleaning 6335 clauses out of 12686 with flag 59792/175113
50.81/47.40	c cleaning 6668 clauses out of 13352 with flag 127019/182114
52.43/49.07	c Got one! Elapsed wall clock time (in seconds):48.896
52.43/49.07	o 98
52.54/49.12	c Got one! Elapsed wall clock time (in seconds):48.938
52.54/49.12	o 69
55.43/51.50	c cleaning 9535 clauses out of 19104 with flag 38229/194534
57.13/53.25	c cleaning 7772 clauses out of 15569 with flag 86980/200534
58.72/54.85	c cleaning 7389 clauses out of 14799 with flag 137553/207536
61.11/57.12	c cleaning 7696 clauses out of 15410 with flag 207366/215536
63.30/59.29	c Got one! Elapsed wall clock time (in seconds):59.115
63.30/59.29	o 67
65.84/61.65	c cleaning 9921 clauses out of 19867 with flag 41030/227689
68.03/63.89	c cleaning 7954 clauses out of 15942 with flag 96722/233685
70.11/65.81	c cleaning 7476 clauses out of 14987 with flag 170933/240684
72.11/67.83	c cleaning 7725 clauses out of 15512 with flag 252210/248685
74.74/70.41	c cleaning 8377 clauses out of 16786 with flag 340107/257684
77.73/73.49	c cleaning 9187 clauses out of 18409 with flag 431082/267684
80.82/76.41	c Got one! Elapsed wall clock time (in seconds):76.228
80.82/76.41	o 52
82.62/78.02	c cleaning 11568 clauses out of 23149 with flag 46714/281611
84.43/79.72	c cleaning 8779 clauses out of 17581 with flag 102137/287611
86.03/81.35	c cleaning 7888 clauses out of 15802 with flag 171206/294611
87.74/83.03	c cleaning 7940 clauses out of 15914 with flag 235040/302611
89.57/84.80	c cleaning 8478 clauses out of 16975 with flag 302234/311612
91.96/87.21	c cleaning 9241 clauses out of 18496 with flag 386017/321611
94.98/90.11	c cleaning 10117 clauses out of 20256 with flag 469992/332612
97.66/92.87	c cleaning 11059 clauses out of 22138 with flag 572056/344611
101.52/96.51	c cleaning 12025 clauses out of 24081 with flag 671749/357613
105.52/100.59	c Got one! Elapsed wall clock time (in seconds):100.41
105.52/100.59	o 42
108.36/102.98	c cleaning 15338 clauses out of 30683 with flag 56202/376240
110.56/105.19	c cleaning 10663 clauses out of 21345 with flag 115918/382240
112.24/106.82	c cleaning 8834 clauses out of 17682 with flag 163406/389240
112.74/107.30	c Got one! Elapsed wall clock time (in seconds):107.118
112.74/107.30	o 40
113.61/108.12	c cleaning 7178 clauses out of 14367 with flag 31745/394759
114.80/109.34	c cleaning 6585 clauses out of 13187 with flag 85770/400757
116.00/110.51	c cleaning 6795 clauses out of 13606 with flag 148763/407761
116.20/110.71	c Got one! Elapsed wall clock time (in seconds):110.534
116.20/110.72	o 36
117.13/111.62	c cleaning 6379 clauses out of 12784 with flag 45332/413734
118.23/112.77	c cleaning 6185 clauses out of 12401 with flag 107067/419730
119.64/114.19	c cleaning 6594 clauses out of 13216 with flag 182586/426730
121.42/115.95	c cleaning 7297 clauses out of 14622 with flag 268692/434730
124.00/118.47	c cleaning 8147 clauses out of 16325 with flag 355504/443730
126.40/120.80	c cleaning 9081 clauses out of 18180 with flag 446573/453732
129.49/123.94	c cleaning 10040 clauses out of 20099 with flag 534935/464732
133.19/127.67	c cleaning 11018 clauses out of 22057 with flag 637399/476730
137.99/132.41	c cleaning 12013 clauses out of 24041 with flag 750046/489732
143.37/137.82	c cleaning 13007 clauses out of 26027 with flag 877614/503731
150.58/145.02	c cleaning 14001 clauses out of 28019 with flag 1040506/518730
158.15/152.67	c cleaning 14999 clauses out of 30020 with flag 1204754/534732
165.84/160.34	c cleaning 16004 clauses out of 32026 with flag 1363033/551737
167.43/161.90	c Got one! Elapsed wall clock time (in seconds):161.725
167.43/161.90	o 27
169.33/163.86	c cleaning 13179 clauses out of 26379 with flag 45856/562094
171.24/165.74	c cleaning 9592 clauses out of 19202 with flag 107090/568096
172.54/167.07	c cleaning 8288 clauses out of 16609 with flag 174461/575095
174.43/168.90	c cleaning 8147 clauses out of 16321 with flag 248416/583095
176.72/171.25	c cleaning 8574 clauses out of 17174 with flag 338759/592095
179.53/174.04	c cleaning 9285 clauses out of 18600 with flag 439991/602095
182.81/177.35	c cleaning 10142 clauses out of 20314 with flag 538507/613094
186.01/180.58	c cleaning 11068 clauses out of 22176 with flag 648444/625098
190.01/184.51	c cleaning 12040 clauses out of 24106 with flag 783033/638096
195.70/190.24	c cleaning 13020 clauses out of 26065 with flag 920395/652095
203.78/197.58	c cleaning 14008 clauses out of 28044 with flag 1077769/667094
210.82/204.43	c cleaning 15008 clauses out of 30037 with flag 1219845/683095
216.00/209.64	c cleaning 16001 clauses out of 32031 with flag 1429464/700097
224.18/217.55	c cleaning 17004 clauses out of 34028 with flag 1651009/718095
236.65/229.93	c cleaning 18002 clauses out of 36023 with flag 1880929/737094
237.24/230.56	c Got one! Elapsed wall clock time (in seconds):230.38
237.24/230.56	o 26
238.93/232.23	c cleaning 11857 clauses out of 23741 with flag 42298/742814
241.76/234.74	c cleaning 8933 clauses out of 17886 with flag 109672/748816
243.65/236.69	c cleaning 7967 clauses out of 15952 with flag 188002/755815
245.54/238.51	c cleaning 7982 clauses out of 15984 with flag 265387/763814
247.65/240.67	c cleaning 8485 clauses out of 17002 with flag 356992/772814
249.75/242.78	c cleaning 9244 clauses out of 18516 with flag 477581/782813
253.05/246.07	c cleaning 10125 clauses out of 20272 with flag 623208/793813
256.02/249.01	c cleaning 11063 clauses out of 22148 with flag 774770/805814
256.78/249.79	c Got one! Elapsed wall clock time (in seconds):249.615
256.78/249.79	o 25
256.89/249.84	c Got one! Elapsed wall clock time (in seconds):249.658
256.89/249.84	o 21
257.07/249.97	c cleaning 8534 clauses out of 17116 with flag 12202/811845
257.77/250.61	c cleaning 7266 clauses out of 14584 with flag 55127/817847
258.56/251.46	c cleaning 7132 clauses out of 14316 with flag 111423/824845
260.38/253.26	c cleaning 7564 clauses out of 15184 with flag 178130/832845
262.18/255.10	c cleaning 8285 clauses out of 16620 with flag 257100/841845
264.23/256.97	c cleaning 9138 clauses out of 18336 with flag 339949/851846
266.44/259.19	c cleaning 10070 clauses out of 20198 with flag 437045/862846
269.37/262.01	c cleaning 11042 clauses out of 22131 with flag 558014/874849
273.17/265.76	c cleaning 12017 clauses out of 24085 with flag 674071/887845
278.22/270.61	c cleaning 13011 clauses out of 26068 with flag 804475/901845
283.58/275.81	c cleaning 14009 clauses out of 28058 with flag 944200/916846
289.14/281.22	c cleaning 14996 clauses out of 30048 with flag 1090986/932845
296.29/288.21	c cleaning 15991 clauses out of 32055 with flag 1236278/949848
303.62/295.48	c cleaning 17003 clauses out of 34063 with flag 1402365/967847
312.17/303.85	c cleaning 17999 clauses out of 36059 with flag 1574624/986846
321.69/313.28	c cleaning 19005 clauses out of 38060 with flag 1750941/1006846
330.56/321.71	c cleaning 20002 clauses out of 40054 with flag 1948446/1027845
338.37/329.40	c cleaning 20999 clauses out of 42054 with flag 2164769/1049847
348.05/338.85	c cleaning 22002 clauses out of 44053 with flag 2401110/1072845
358.09/348.78	c cleaning 23003 clauses out of 46055 with flag 2643119/1096849
372.41/362.75	c cleaning 23998 clauses out of 48049 with flag 2896490/1121846
386.92/377.14	c cleaning 25001 clauses out of 50051 with flag 3157756/1147846
390.57/380.69	c Got one! Elapsed wall clock time (in seconds):380.512
390.57/380.69	o 18
391.46/381.58	c cleaning 19770 clauses out of 39554 with flag 61544/1162350
392.45/382.60	c cleaning 12886 clauses out of 25785 with flag 138051/1168351
393.44/383.51	c cleaning 9943 clauses out of 19899 with flag 221191/1175351
394.66/384.74	c cleaning 8972 clauses out of 17956 with flag 308241/1183351
396.05/386.15	c cleaning 8985 clauses out of 17983 with flag 399114/1192350
397.83/387.91	c cleaning 9490 clauses out of 18998 with flag 497840/1202350
399.62/389.71	c cleaning 10250 clauses out of 20509 with flag 608335/1213351
402.80/392.90	c cleaning 11124 clauses out of 22259 with flag 726174/1225351
405.52/395.66	c Got one! Elapsed wall clock time (in seconds):395.478
405.52/395.66	o 17
407.26/397.34	c cleaning 13664 clauses out of 27345 with flag 45543/1241561
408.46/398.51	c cleaning 9831 clauses out of 19681 with flag 106570/1247561
409.62/399.63	c cleaning 8417 clauses out of 16851 with flag 168740/1254562
410.82/400.86	c cleaning 8206 clauses out of 16433 with flag 242177/1262561
411.13/401.14	c Got one! Elapsed wall clock time (in seconds):400.962
411.13/401.14	o 13
411.47/401.43	c cleaning 6619 clauses out of 13258 with flag 16170/1267592
411.97/401.95	c Got one! Elapsed wall clock time (in seconds):401.771
411.97/401.95	o 12
411.97/401.98	c Got one! Elapsed wall clock time (in seconds):401.8
411.97/401.98	o 5
412.30/402.17	c cleaning 6066 clauses out of 12160 with flag 7083/1273113
413.09/403.00	c cleaning 6037 clauses out of 12096 with flag 51071/1279115
413.99/403.86	c cleaning 6515 clauses out of 13057 with flag 104372/1286113
415.35/405.13	c cleaning 7261 clauses out of 14542 with flag 160940/1294113
415.83/405.65	c Got one! Elapsed wall clock time (in seconds):405.47
415.83/405.65	o 4
415.94/405.70	c cleaning 6428 clauses out of 12868 with flag 5660/1299700
416.54/406.34	c cleaning 6203 clauses out of 12439 with flag 46084/1305699
417.72/407.44	c cleaning 6600 clauses out of 13237 with flag 102425/1312700
418.92/408.68	c cleaning 7300 clauses out of 14638 with flag 170425/1320701
420.43/410.18	c cleaning 8147 clauses out of 16336 with flag 243785/1329699
422.77/412.38	c cleaning 9084 clauses out of 18192 with flag 341108/1339702
425.49/415.10	c cleaning 10030 clauses out of 20105 with flag 458146/1350699
429.35/418.74	c cleaning 11024 clauses out of 22076 with flag 589734/1362700
433.74/422.94	c cleaning 12016 clauses out of 24056 with flag 723845/1375704
438.85/428.10	c cleaning 13001 clauses out of 26035 with flag 879230/1389699
444.80/433.81	c cleaning 14007 clauses out of 28037 with flag 1036162/1404702
452.48/441.33	c cleaning 15002 clauses out of 30027 with flag 1213240/1420699
459.38/448.09	c cleaning 16002 clauses out of 32026 with flag 1388534/1437700
466.76/455.41	c cleaning 16999 clauses out of 34024 with flag 1575211/1455700
475.81/464.40	c cleaning 18004 clauses out of 36025 with flag 1777079/1474700
486.57/474.90	c cleaning 19002 clauses out of 38021 with flag 2004284/1494700
498.64/486.86	c cleaning 19994 clauses out of 40019 with flag 2238722/1515700
511.31/499.38	c cleaning 20988 clauses out of 42024 with flag 2475969/1537699
526.17/514.05	c cleaning 22000 clauses out of 44036 with flag 2710704/1560699
539.84/527.19	c cleaning 23004 clauses out of 46036 with flag 2914247/1584699
556.10/543.29	c cleaning 24003 clauses out of 48034 with flag 3168525/1609701
572.70/559.42	c cleaning 25005 clauses out of 50031 with flag 3420878/1635701
589.90/576.40	c cleaning 26000 clauses out of 52024 with flag 3676253/1662699
609.71/596.09	c cleaning 27000 clauses out of 54028 with flag 3946549/1690703
625.95/612.16	c cleaning 28001 clauses out of 56025 with flag 4219453/1719700
649.22/635.21	c cleaning 29001 clauses out of 58023 with flag 4501293/1749699
668.88/654.59	c cleaning 29999 clauses out of 60022 with flag 4782163/1780699
694.43/679.99	c cleaning 30999 clauses out of 62025 with flag 5076015/1812701
720.69/706.11	c cleaning 32004 clauses out of 64029 with flag 5388564/1845704
756.36/741.37	c cleaning 32997 clauses out of 66020 with flag 5730045/1879699
785.61/770.48	c cleaning 34000 clauses out of 68023 with flag 6071383/1914699
818.98/803.47	c cleaning 35002 clauses out of 70028 with flag 6428785/1950704
854.33/838.48	c cleaning 35991 clauses out of 72021 with flag 6793978/1987699
891.59/875.53	c cleaning 36999 clauses out of 74031 with flag 7125536/2025700
934.68/917.63	c cleaning 38005 clauses out of 76033 with flag 7507763/2064701
973.61/956.46	c cleaning 39000 clauses out of 78026 with flag 7897905/2104699
1012.47/995.14	c cleaning 40000 clauses out of 80026 with flag 8294988/2145699
1057.54/1039.73	c cleaning 40999 clauses out of 82026 with flag 8692723/2187699
1104.67/1086.74	c cleaning 41996 clauses out of 84027 with flag 9074560/2230699
1152.87/1134.41	c cleaning 43006 clauses out of 86031 with flag 9533005/2274699
1204.13/1185.59	c cleaning 43997 clauses out of 88025 with flag 9960850/2319699
1256.27/1237.32	c cleaning 44998 clauses out of 90029 with flag 10441424/2365700
1307.41/1288.37	c cleaning 46000 clauses out of 92030 with flag 10935568/2412699
1321.01/1301.88	c Got one! Elapsed wall clock time (in seconds):1301.704
1321.01/1301.88	o 3
1321.81/1302.54	c cleaning 36338 clauses out of 72713 with flag 32030/2439382
1322.22/1302.98	c cleaning 21179 clauses out of 42377 with flag 67495/2445384
1323.28/1303.89	c cleaning 14084 clauses out of 28196 with flag 112574/2452382
1324.76/1305.09	c cleaning 11040 clauses out of 22112 with flag 177307/2460382
1326.05/1306.37	c cleaning 10016 clauses out of 20073 with flag 246384/2469383
1327.54/1307.88	c cleaning 10008 clauses out of 20057 with flag 318405/2479383
1330.31/1310.44	c cleaning 10510 clauses out of 21048 with flag 401127/2490382
1333.31/1313.45	c cleaning 11254 clauses out of 22538 with flag 500594/2502382
1336.11/1316.23	c cleaning 12124 clauses out of 24284 with flag 596301/2515382
1340.65/1320.59	c cleaning 13067 clauses out of 26160 with flag 702099/2529382
1344.16/1324.08	c cleaning 14030 clauses out of 28093 with flag 814818/2544382
1349.16/1329.04	c cleaning 15015 clauses out of 30063 with flag 944828/2560382
1354.68/1334.39	c cleaning 16010 clauses out of 32051 with flag 1084673/2577385
1360.17/1339.84	c cleaning 17001 clauses out of 34038 with flag 1231000/2595382
1365.19/1344.67	c cleaning 17992 clauses out of 36037 with flag 1370332/2614382
1371.49/1350.94	c cleaning 18994 clauses out of 38045 with flag 1526913/2634382
1377.93/1357.29	c cleaning 20003 clauses out of 40051 with flag 1702710/2655382
1386.07/1365.17	c cleaning 21001 clauses out of 42048 with flag 1883235/2677382
1395.48/1374.62	c cleaning 22004 clauses out of 44051 with flag 2065458/2700386
1404.90/1383.89	c cleaning 22998 clauses out of 46044 with flag 2264210/2724383
1414.11/1392.81	c cleaning 24004 clauses out of 48049 with flag 2482404/2749386
1423.00/1401.58	c cleaning 24997 clauses out of 50042 with flag 2729018/2775383
1429.25/1407.88	c cleaning 26001 clauses out of 52045 with flag 2959188/2802383
1440.72/1418.27	c cleaning 27006 clauses out of 54043 with flag 3132841/2830382
1449.20/1426.79	c cleaning 28000 clauses out of 56038 with flag 3319801/2859383
1456.38/1433.67	c cleaning 29004 clauses out of 58040 with flag 3552430/2889385
1473.78/1450.76	c cleaning 30000 clauses out of 60035 with flag 3814814/2920384
1496.31/1472.96	c cleaning 31002 clauses out of 62033 with flag 4104174/2952382
1506.75/1483.07	c cleaning 31995 clauses out of 64032 with flag 4369192/2985383
1519.62/1496.02	c cleaning 32996 clauses out of 66036 with flag 4577915/3019382
1541.84/1518.07	c cleaning 33999 clauses out of 68041 with flag 4787542/3054383
1557.16/1533.04	c cleaning 34981 clauses out of 70041 with flag 5012642/3090382
1573.42/1549.38	c cleaning 35999 clauses out of 72060 with flag 5291950/3127382
1590.58/1566.21	c cleaning 37005 clauses out of 74064 with flag 5583263/3165385
1610.90/1586.29	c cleaning 38001 clauses out of 76058 with flag 5878282/3204384
1632.52/1607.57	c cleaning 39000 clauses out of 78056 with flag 6214077/3244383
1648.31/1623.00	c cleaning 40011 clauses out of 80055 with flag 6535585/3285382
1667.00/1641.56	c cleaning 41005 clauses out of 82046 with flag 6881516/3327384
1688.46/1662.86	c cleaning 42007 clauses out of 84039 with flag 7247902/3370382
1715.16/1689.47	c cleaning 43004 clauses out of 86033 with flag 7620106/3414383
1730.77/1704.89	c cleaning 43981 clauses out of 88029 with flag 7963066/3459383
1760.57/1734.57	c cleaning 44996 clauses out of 90047 with flag 8286997/3505382
1793.84/1767.37	c cleaning 45993 clauses out of 92052 with flag 8662647/3552383
1807.58/1780.85	c cleaning 47002 clauses out of 94058 with flag 9036465/3600382
1820.94/1793.97	c cleaning 48006 clauses out of 96056 with flag 9406537/3649382
1831.69/1804.48	c cleaning 48978 clauses out of 98050 with flag 9739747/3699382
1867.49/1839.12	c cleaning 49989 clauses out of 100073 with flag 10165710/3750383
1897.23/1868.57	c cleaning 50994 clauses out of 102083 with flag 10642227/3802382
1935.00/1905.97	c cleaning 51999 clauses out of 104090 with flag 11107536/3855383
1980.66/1951.25	c cleaning 52996 clauses out of 106090 with flag 11582227/3909382
2007.83/1978.03	c cleaning 54030 clauses out of 108096 with flag 12063289/3964384
2045.52/2015.41	c cleaning 55015 clauses out of 110065 with flag 12451535/4020383
2093.05/2062.64	c cleaning 56002 clauses out of 112049 with flag 12891015/4077382
2139.28/2108.09	c cleaning 57008 clauses out of 114049 with flag 13353685/4135384
2179.79/2148.14	c cleaning 57998 clauses out of 116039 with flag 13781739/4194382
2217.51/2185.53	c cleaning 59003 clauses out of 118042 with flag 14219225/4254383
2267.21/2234.95	c cleaning 60000 clauses out of 120038 with flag 14651752/4315382
2296.25/2263.67	c cleaning 60974 clauses out of 122039 with flag 15119353/4377383
2316.81/2283.83	c cleaning 62024 clauses out of 124067 with flag 15574703/4440385
2369.72/2336.42	c cleaning 63002 clauses out of 126041 with flag 16026327/4504383
2423.14/2389.19	c cleaning 64003 clauses out of 128038 with flag 16481581/4569382
2470.40/2436.10	c cleaning 65006 clauses out of 130035 with flag 16915608/4635382
2507.23/2472.52	c cleaning 65979 clauses out of 132029 with flag 17368734/4702382
2534.54/2499.47	c cleaning 67010 clauses out of 134050 with flag 17880324/4770382
2581.69/2544.73	c cleaning 68008 clauses out of 136040 with flag 18441996/4839382
2613.94/2576.54	c cleaning 68978 clauses out of 138033 with flag 19068157/4909383
2676.59/2638.72	c cleaning 69991 clauses out of 140054 with flag 19668653/4980382
2738.30/2700.08	c cleaning 70994 clauses out of 142065 with flag 20299080/5052384
2792.25/2753.57	c cleaning 71996 clauses out of 144071 with flag 20994511/5125384
2850.41/2811.29	c cleaning 73001 clauses out of 146074 with flag 21652696/5199383
2911.35/2871.73	c cleaning 73999 clauses out of 148072 with flag 22285271/5274382
2975.77/2935.72	c cleaning 74997 clauses out of 150075 with flag 22940237/5350384
3026.16/2985.84	c cleaning 75999 clauses out of 152076 with flag 23628431/5427382
3100.46/3059.97	c cleaning 77003 clauses out of 154080 with flag 24344605/5505385
3124.45/3083.44	c cleaning 78021 clauses out of 156074 with flag 24958478/5584382
3204.26/3162.33	c cleaning 79012 clauses out of 158053 with flag 25480211/5664382
3263.65/3221.27	c cleaning 80006 clauses out of 160041 with flag 26073162/5745382
3331.39/3288.52	c cleaning 80997 clauses out of 162036 with flag 26647823/5827383
3377.95/3334.64	c cleaning 81989 clauses out of 164038 with flag 27284742/5910382
3469.90/3426.19	c cleaning 82990 clauses out of 166049 with flag 27965945/5994382
3494.69/3450.43	c cleaning 84018 clauses out of 168059 with flag 28583431/6079382
3595.23/3549.97	c cleaning 85008 clauses out of 170041 with flag 29209850/6165382
3600.02/3554.75	c starts		: 508
3600.02/3554.76	c conflicts		: 6184436
3600.02/3554.76	c decisions		: 8171264
3600.02/3554.76	c propagations		: 101778055
3600.02/3554.76	c inspects		: 19677216309
3600.02/3554.76	c shortcuts		: 0
3600.02/3554.76	c learnt literals	: 0
3600.02/3554.76	c learnt binary clauses	: 0
3600.02/3554.76	c learnt ternary clauses	: 0
3600.02/3554.76	c learnt constraints	: 6184436
3600.02/3554.76	c ignored constraints	: 0
3600.02/3554.76	c root simplifications	: 0
3600.02/3554.76	c removed literals (reason simplification)	: 0
3600.02/3554.76	c reason swapping (by a shorter reason)	: 0
3600.02/3554.76	c Calls to reduceDB	: 249
3600.02/3554.76	c Number of update (reduction) of LBD	: 3030522
3600.02/3554.76	c Imported unit clauses	: 0
3600.02/3554.76	c No decision after first conflict	: false
3600.02/3554.76	c number of reductions to clauses (during analyze)	: 0
3600.02/3554.76	c number of learned constraints concerned by reduction	: 0
3600.02/3554.76	c number of learning phase by resolution	: 0
3600.02/3554.76	c number of learning phase by cutting planes	: 0
3600.02/3554.76	c number of rounding to 1 operations	: 0
3600.02/3554.76	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3554.76	c number of reductions of the coefficients by power 2 	: 0
3600.02/3554.76	c number of right shift for reduction by power 2 	: 0
3600.02/3554.76	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3554.76	c number of ending skipping 	: 0
3600.02/3554.76	c number of internal skipping 	: 0
3600.02/3554.76	c number of derivation steps 	: 0
3600.02/3554.76	c number of skipped derivation steps 	: 0
3600.02/3554.76	c number of remaining unassigned 	: 0
3600.02/3554.77	c number of remaining assigned 	: 0
3600.02/3554.77	c number of falsified literals weakened from reason	: 0
3600.02/3554.77	c number of falsified literals weakened from conflict	: 0
3600.02/3554.77	c time for arithmetic operations	: 0
3600.02/3554.78	c minimum degree of deleted constraints	: null
3600.02/3554.78	c maximum degree of deleted constraints	: null
3600.02/3554.78	c number of deleted constraints	: 0
3600.02/3554.78	c speed (assignments/second)	: 28634.271359498358
3600.02/3554.78	c non guided choices	: 422291
3600.23/3554.88	c timeout
3600.23/3554.88	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.23/3554.88		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.23/3554.88		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.23/3554.88		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.23/3554.88		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.23/3554.88		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.23/3554.88		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.23/3554.88		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424825-1720880986/watcher-4424825-1720880986 -o /tmp/evaluation-result-4424825-1720880986/solver-4424825-1720880986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720879372-701330 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424825-1720880986.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=704427, runsolver pid=704424

[startup+0.10007 s]*
/proc/loadavg: 4.15 4.17 3.83 6/318 704445
/proc/meminfo: memFree=112314272/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=18975048 memory=56108 CPUtime=0.12 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 6605 0 0 0 9 3 0 0 20 0 18 0 140257839 19430449152 14027 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4743762 14027 5578 1 0 550925 0
[pid=704427/tid=704429] ppid=704424 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 5553 0 0 0 5 2 0 0 20 0 18 0 140257839 19430449152 14027 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140257844 19430449152 14027 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=18975048 memory=15823283178223670 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140257845 19430449152 14027 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56108 KiB

[startup+0.214429 s]*
/proc/loadavg: 4.15 4.17 3.83 5/318 704445
/proc/meminfo: memFree=112302608/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=18975048 memory=66264 CPUtime=0.3 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 7421 0 0 0 27 3 0 0 20 0 18 0 140257839 19430449152 16566 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4743762 16566 5759 1 0 551556 0
[pid=704427/tid=704429] ppid=704424 vsize=18975048 memory=4782652875487838339 CPUtime=0.16 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 1077936192 5958 0 0 0 14 2 0 0 20 0 18 0 140257839 19430449152 16566 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=18975048 memory=1645 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140257844 19430449152 16566 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140257845 19430449152 16566 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66264 KiB

[startup+0.317873 s]*
/proc/loadavg: 4.15 4.17 3.83 8/318 704445
/proc/meminfo: memFree=112286232/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=18975048 memory=81040 CPUtime=0.49 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 8959 0 0 0 45 4 0 0 20 0 18 0 140257839 19430449152 20260 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4743762 20260 5828 1 0 552628 0
[pid=704427/tid=704429] ppid=704424 vsize=18975048 memory=-8888810888259609276 CPUtime=0.25 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 6004 0 0 0 22 3 0 0 20 0 18 0 140257839 19430449152 20260 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140257844 19430449152 20260 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140257845 19430449152 20260 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 81040 KiB

[startup+0.703873 s]
/proc/loadavg: 4.15 4.17 3.83 7/319 704446
/proc/meminfo: memFree=112278400/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19041612 memory=90792 CPUtime=1.21 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 9348 0 0 0 117 4 0 0 20 0 19 0 140257839 19498610688 22698 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4760403 22698 5896 1 0 553060 0
[pid=704427/tid=704429] ppid=704424 vsize=19041612 memory=5424 CPUtime=0.6 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 6119 0 0 0 57 3 0 0 20 0 19 0 140257839 19498610688 22698 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19041612 memory=11948 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140257844 19498610688 22698 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19041612 memory=164 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140257845 19498610688 22698 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140257874 19498610688 22698 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90792 KiB

[startup+1.5003 s]
/proc/loadavg: 4.15 4.17 3.83 6/319 704446
/proc/meminfo: memFree=112251500/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19041612 memory=123924 CPUtime=2.63 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 14245 0 0 0 257 6 0 0 20 0 19 0 140257839 19498610688 30981 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4760403 30981 5896 1 0 554021 0
[pid=704427/tid=704429] ppid=704424 vsize=19041612 memory=11948 CPUtime=1.38 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 7103 0 0 0 135 3 0 0 20 0 19 0 140257839 19498610688 30981 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140257844 19498610688 30981 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140257845 19498610688 30981 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19041612 memory=22639 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140257874 19498610688 30981 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 123924 KiB

[startup+3.11324 s]
/proc/loadavg: 4.22 4.18 3.84 5/320 704447
/proc/meminfo: memFree=112066128/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19108176 memory=194040 CPUtime=4.5 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 16057 0 0 0 442 8 0 0 20 0 20 0 140257839 19566772224 48510 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4777044 48510 5912 1 0 554315 0
[pid=704427/tid=704429] ppid=704424 vsize=19108176 memory=0 CPUtime=2.95 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 7472 0 0 0 290 5 0 0 20 0 20 0 140257839 19566772224 48510 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140257844 19566772224 48510 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19108176 memory=11948 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 140257845 19566772224 48510 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140257874 19566772224 48510 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 4.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194040 KiB

[startup+6.3004 s]
/proc/loadavg: 4.22 4.18 3.84 5/320 704449
/proc/meminfo: memFree=111986588/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19108176 memory=273344 CPUtime=8.05 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 17251 0 0 0 795 10 0 0 20 0 20 0 140257839 19566772224 68336 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4777044 68336 5928 1 0 554821 0
[pid=704427/tid=704429] ppid=704424 vsize=19108176 memory=11948 CPUtime=6.02 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 7489 0 0 0 597 5 0 0 20 0 20 0 140257839 19566772224 68336 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140257844 19566772224 68336 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19108176 memory=1940 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 140257845 19566772224 68336 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140257874 19566772224 68336 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 8.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 273344 KiB

[startup+12.7004 s]
/proc/loadavg: 4.20 4.18 3.84 5/320 704449
/proc/meminfo: memFree=111711028/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19108176 memory=421168 CPUtime=14.98 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 24869 0 0 0 1483 15 0 0 20 0 20 0 140257839 19566772224 105292 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4777044 105292 5960 1 0 554821 0
[pid=704427/tid=704429] ppid=704424 vsize=19108176 memory=419480 CPUtime=12.17 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 9446 0 0 0 1212 5 0 0 20 0 20 0 140257839 19566772224 105292 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140257844 19566772224 105292 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 140257845 19566772224 105292 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140257874 19566772224 105292 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 14.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 421168 KiB

[startup+25.5005 s]
/proc/loadavg: 4.37 4.22 3.86 5/320 704452
/proc/meminfo: memFree=111255140/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19108176 memory=823176 CPUtime=28.34 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 31647 0 0 0 2810 24 0 0 20 0 20 0 140257839 19566772224 205794 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4777044 205794 5960 1 0 661356 0
[pid=704427/tid=704429] ppid=704424 vsize=19108176 memory=351416 CPUtime=24.5 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 11439 0 0 0 2444 6 0 0 20 0 20 0 140257839 19566772224 205794 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19108176 memory=747368 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140257844 19566772224 205794 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19108176 memory=823176 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 140257845 19566772224 205794 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19108176 memory=11948 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140257874 19566772224 205794 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 28.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 823176 KiB

[startup+51.1217 s]
/proc/loadavg: 4.25 4.20 3.86 6/320 704511
/proc/meminfo: memFree=110615960/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19108176 memory=1449992 CPUtime=55.05 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 38071 0 0 0 5464 41 0 0 20 0 20 0 140257839 19566772224 362498 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4777044 362498 5960 1 0 788780 0
[pid=704427/tid=704429] ppid=704424 vsize=19108176 memory=1361020 CPUtime=49.26 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 12911 0 0 0 4916 10 0 0 20 0 20 0 140257839 19566772224 362498 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19108176 memory=1311868 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140257844 19566772224 362498 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19108176 memory=421168 CPUtime=0 cores=4,6

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

/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 53679 0 0 0 316612 64 0 0 20 0 20 0 140257839 19566772224 2358126 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19108176 memory=9432504 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140257844 19566772224 2358126 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19108176 memory=9432504 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 1008 0 0 0 0 0 0 0 20 0 20 0 140257845 19566772224 2358126 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140257874 19566772224 2358126 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 3264.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9432504 KiB

[startup+3282.3 s]
/proc/loadavg: 3.20 3.75 4.00 5/295 706171
/proc/meminfo: memFree=118090152/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19108176 memory=9432608 CPUtime=3325.2 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 225400 0 0 0 332154 366 0 0 20 0 20 0 140257839 19566772224 2358152 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4777044 2358152 5976 1 0 3015550 0
[pid=704427/tid=704429] ppid=704424 vsize=19108176 memory=9432504 CPUtime=3226.05 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 53854 0 0 0 322541 64 0 0 20 0 20 0 140257839 19566772224 2358152 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19108176 memory=9432504 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140257844 19566772224 2358152 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19108176 memory=9432504 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 1061 0 0 0 0 0 0 0 20 0 20 0 140257845 19566772224 2358152 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19108176 memory=9432504 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140257874 19566772224 2358152 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 3325.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9432608 KiB

[startup+3342.3 s]
/proc/loadavg: 3.11 3.62 3.94 4/295 706566
/proc/meminfo: memFree=118047872/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19108176 memory=9432608 CPUtime=3385.65 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 226618 0 0 0 338196 369 0 0 20 0 20 0 140257839 19566772224 2358152 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4777044 2358152 5976 1 0 3015550 0
[pid=704427/tid=704429] ppid=704424 vsize=19108176 memory=9432608 CPUtime=3285.37 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 54603 0 0 0 328473 64 0 0 20 0 20 0 140257839 19566772224 2358152 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19108176 memory=35464 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140257844 19566772224 2358152 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 1061 0 0 0 0 0 0 0 20 0 20 0 140257845 19566772224 2358152 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19108176 memory=279452719239344 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140257874 19566772224 2358152 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 3385.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9432608 KiB

[startup+3402.3 s]
/proc/loadavg: 3.14 3.54 3.89 4/295 706576
/proc/meminfo: memFree=117719940/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19108176 memory=9743904 CPUtime=3446.12 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 226906 0 0 0 344236 376 0 0 20 0 20 0 140257839 19566772224 2435976 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4777044 2435976 5976 1 0 3015550 0
[pid=704427/tid=704429] ppid=704424 vsize=19108176 memory=9743904 CPUtime=3344.65 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 54617 0 0 0 334401 64 0 0 20 0 20 0 140257839 19566772224 2435976 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19108176 memory=35464 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140257844 19566772224 2435976 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19108176 memory=9743904 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 1062 0 0 0 0 0 0 0 20 0 20 0 140257845 19566772224 2435976 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19108176 memory=9743904 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140257874 19566772224 2435976 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 3446.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9743904 KiB

[startup+3462.3 s]
/proc/loadavg: 3.09 3.45 3.84 4/295 706586
/proc/meminfo: memFree=117155268/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19108176 memory=10298936 CPUtime=3507.16 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 228110 0 0 0 350324 392 0 0 20 0 20 0 140257839 19566772224 2574734 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4777044 2574734 5976 1 0 3015557 0
[pid=704427/tid=704429] ppid=704424 vsize=19108176 memory=35464 CPUtime=3403.35 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 55311 0 0 0 340271 64 0 0 20 0 20 0 140257839 19566772224 2574734 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140257844 19566772224 2574734 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 1062 0 0 0 0 0 0 0 20 0 20 0 140257845 19566772224 2574734 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19108176 memory=10298936 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140257874 19566772224 2574734 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 3507.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10298936 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.40 3.80 4/295 706764
/proc/meminfo: memFree=116797536/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19108176 memory=10298936 CPUtime=3567.08 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 228142 0 0 0 356312 396 0 0 20 0 20 0 140257839 19566772224 2574734 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4777044 2574734 5976 1 0 3015557 0
[pid=704427/tid=704429] ppid=704424 vsize=19108176 memory=11648 CPUtime=3463.22 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 55338 0 0 0 346258 64 0 0 20 0 20 0 140257839 19566772224 2574734 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19108176 memory=35464 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140257844 19566772224 2574734 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19108176 memory=10298936 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 1062 0 0 0 0 0 0 0 20 0 20 0 140257845 19566772224 2574734 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140257874 19566772224 2574734 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 3567.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10298936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3554.7 s]
/proc/loadavg: 3.15 3.37 3.77 4/294 706771
/proc/meminfo: memFree=116282720/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19108176 memory=10806844 CPUtime=3600.02 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 229358 0 0 0 359595 407 0 0 20 0 20 0 140257839 19566772224 2701711 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4777044 2701711 5976 1 0 3015557 0
[pid=704427/tid=704429] ppid=704424 vsize=19108176 memory=35464 CPUtime=3494.88 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 56274 0 0 0 349424 64 0 0 20 0 20 0 140257839 19566772224 2701711 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140257844 19566772224 2701711 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19108176 memory=5424 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 1062 0 0 0 0 0 0 0 20 0 20 0 140257845 19566772224 2701711 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704446] ppid=704424 vsize=19108176 memory=10806844 CPUtime=0 cores=4,6
/proc/704427/task/704446/stat : 704446 (Timer-0) S 704424 704427 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140257874 19566772224 2701711 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10806844 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.3 s, system=4.13399 s

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

[startup+3554.81 s]
/proc/loadavg: 3.15 3.37 3.77 4/294 706771
/proc/meminfo: memFree=116282720/131655788 swapFree=131071996/131071996
[pid=704427] ppid=704424 vsize=19307868 memory=10807576 CPUtime=3600.23 cores=4,6
/proc/704427/stat : 704427 (java) S 704424 704427 696886 0 -1 1077936128 232195 0 0 0 359615 408 0 0 20 0 21 0 140257839 19771256832 2701894 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
/proc/704427/statm: 4826967 2701894 5975 1 0 3016481 0
[pid=704427/tid=704429] ppid=704424 vsize=19307868 memory=2720 CPUtime=3494.96 cores=4,6
/proc/704427/task/704429/stat : 704429 (java) R 704424 704427 696886 0 -1 4194368 56477 0 0 0 349432 64 0 0 20 0 21 0 140257839 19771256832 2701894 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704438] ppid=704424 vsize=19307868 memory=5032 CPUtime=0 cores=4,6
/proc/704427/task/704438/stat : 704438 (Finalizer) S 704424 704427 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140257844 19771256832 2701894 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
[pid=704427/tid=704445] ppid=704424 vsize=19307868 memory=10806844 CPUtime=0 cores=4,6
/proc/704427/task/704445/stat : 704445 (Common-Cleaner) S 704424 704427 696886 0 -1 1077936192 1062 0 0 0 0 0 0 0 20 0 21 0 140257845 19771256832 2701894 134679101440 94590374518784 94590374522480 140736941790512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94590374530296 94590374531088 94590376542208 140736941798381 140736941798471 140736941798471 140736941805512 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10807576 KiB

[startup+3554.93 s]*
/proc/loadavg: 3.15 3.37 3.77 4/275 706774
/proc/meminfo: memFree=126822888/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3554.95
CPU time (s): 3600.43
CPU user time (s): 3596.3
CPU system time (s): 4.13399
CPU usage (%): 101.279
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10807576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.3
system time used= 4.13399
maximum resident set size= 10808300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232416
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113000
involuntary context switches= 8187


# summary of solver processes directly reported to runsolver:
#   pid: 704427
#   total CPU time (s): 3600.43
#   total CPU user time (s): 3596.3
#   total CPU system time (s): 4.13399

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7468 second user time and 36.8702 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-13 16:29:57
IDJOB=4424825
IDBENCH=143470
IDSOLVER=3037
FILE ID=nodeC010/4424825-1720880986
RUNJOBID= nodeC010-1720879372-701330
SLURM_JOB_ID= 7483758
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424825-1720880986/watcher-4424825-1720880986 -o /tmp/evaluation-result-4424825-1720880986/solver-4424825-1720880986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720879372-701330 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424825-1720880986.wbo

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

MD5SUM BENCH= 5a26684c778fa1de5039a887c1250f16
RANDOM SEED=546292104

nodeC010.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		: 3620.866
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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		: 3554.732
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.314
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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.242
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		: 3491.770
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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		: 3608.234
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.178
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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.239
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:        112351912 kB
MemAvailable:   112255348 kB
Buffers:          321724 kB
Cached:           430168 kB
SwapCached:            0 kB
Active:           477296 kB
Inactive:       18291896 kB
Active(anon):       1448 kB
Inactive(anon): 18053228 kB
Active(file):     475848 kB
Inactive(file):   238668 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               932 kB
Writeback:             0 kB
AnonPages:      18016996 kB
Mapped:           122352 kB
Shmem:             37704 kB
KReclaimable:      57900 kB
Slab:             148080 kB
SReclaimable:      57900 kB
SUnreclaim:        90180 kB
KernelStack:        4820 kB
PageTables:        45116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   24194196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45792 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17659904 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:      162632 kB
DirectMap2M:     9179136 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC010 at 2024-07-13 17:29:12