Trace number 4500095

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 VeriPB 2025-06-06? (TO) 3600.19 3680.03

General information on the benchmark

NamePB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6045_4.std.opb
MD5SUM2e74a757ac714177de3997bf1c5ad9e4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark108
Best CPU time to get the best result obtained on this benchmark2431.64
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36722
Total number of constraints129326
Number of constraints which are clauses128126
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4500095-1751472482.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  objective function found
1.27/0.78	c ... done. Wall clock time 0.631s.
1.27/0.78	c declared #vars     36722
1.27/0.78	c #constraints  129326
1.27/0.78	c constraints type 
1.27/0.78	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 104480
1.27/0.78	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1200
1.27/0.78	c org.sat4j.specs.Constr$1 => 4863
1.27/0.78	c org.sat4j.pb.constraints.pb.UnitClausePB => 2071
1.27/0.78	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16712
1.27/0.78	c 129326 constraints processed.
1.27/0.79	c objective function length is 300 literals
2.25/1.23	c SATISFIABLE
2.25/1.23	c OPTIMIZING...
2.25/1.23	c Got one! Elapsed wall clock time (in seconds):1.094
2.25/1.23	o 126
2.85/1.57	c Got one! Elapsed wall clock time (in seconds):1.427
2.85/1.57	o 125
3.25/1.78	c Got one! Elapsed wall clock time (in seconds):1.638
3.25/1.78	o 124
3.85/2.00	c Got one! Elapsed wall clock time (in seconds):1.864
3.85/2.00	o 123
4.43/2.36	c Got one! Elapsed wall clock time (in seconds):2.217
4.43/2.36	o 122
4.63/2.41	c Got one! Elapsed wall clock time (in seconds):2.269
4.63/2.41	o 121
5.23/2.78	c cleaning 3854 clauses out of 7717 with flag 12730/7720
5.61/2.96	c Got one! Elapsed wall clock time (in seconds):2.822
5.61/2.96	o 120
6.74/3.59	c Got one! Elapsed wall clock time (in seconds):3.452
6.74/3.59	o 119
7.07/3.75	c cleaning 5135 clauses out of 10283 with flag 5141/14140
8.07/4.37	c Got one! Elapsed wall clock time (in seconds):4.228
8.07/4.37	o 118
8.40/4.53	c cleaning 5306 clauses out of 10635 with flag 7416/19627
9.25/5.09	c Got one! Elapsed wall clock time (in seconds):4.948
9.25/5.09	o 117
9.64/5.39	c cleaning 5574 clauses out of 11175 with flag 11454/25474
10.06/5.74	c Got one! Elapsed wall clock time (in seconds):5.599
10.06/5.74	o 116
10.80/6.20	c cleaning 5646 clauses out of 11313 with flag 18521/31186
11.60/7.00	c cleaning 5816 clauses out of 11669 with flag 56608/37188
11.89/7.38	c Got one! Elapsed wall clock time (in seconds):7.242
11.89/7.38	o 115
12.43/7.85	c cleaning 5873 clauses out of 11770 with flag 21807/43105
13.28/8.66	c cleaning 5924 clauses out of 11894 with flag 60862/49103
14.19/9.56	c cleaning 6486 clauses out of 12971 with flag 108309/56104
15.29/10.62	c cleaning 7229 clauses out of 14484 with flag 159653/64103
16.58/11.91	c cleaning 8117 clauses out of 16255 with flag 223197/73103
17.98/13.32	c cleaning 9060 clauses out of 18138 with flag 288541/83103
19.58/14.98	c cleaning 10028 clauses out of 20079 with flag 367546/94104
21.41/16.78	c cleaning 11015 clauses out of 22050 with flag 455673/106103
23.40/18.80	c cleaning 12009 clauses out of 24035 with flag 545436/119104
25.63/20.95	c cleaning 13006 clauses out of 26028 with flag 648319/133106
27.55/22.87	c Got one! Elapsed wall clock time (in seconds):22.734
27.55/22.87	o 114
28.45/23.76	c cleaning 15166 clauses out of 30360 with flag 37679/150444
29.47/24.76	c cleaning 10583 clauses out of 21193 with flag 84958/156443
30.57/25.80	c cleaning 8787 clauses out of 17611 with flag 128756/163444
31.77/27.01	c cleaning 8398 clauses out of 16825 with flag 171954/171445
33.07/28.38	c cleaning 8702 clauses out of 17427 with flag 219975/180445
34.67/29.90	c cleaning 9352 clauses out of 18723 with flag 274178/190443
36.32/31.67	c cleaning 10178 clauses out of 20370 with flag 342760/201443
37.22/32.50	c Got one! Elapsed wall clock time (in seconds):32.366
37.22/32.50	o 113
38.02/33.30	c cleaning 10412 clauses out of 20833 with flag 29193/212085
38.91/34.24	c cleaning 8194 clauses out of 16421 with flag 62951/218085
40.00/35.31	c cleaning 6988 clauses out of 15229 with flag 93891/225087
41.11/36.49	c cleaning 7864 clauses out of 16240 with flag 128975/233086
42.41/37.76	c cleaning 8667 clauses out of 17375 with flag 172384/242085
44.00/39.33	c cleaning 9354 clauses out of 18710 with flag 219507/252088
45.71/41.07	c cleaning 10159 clauses out of 20353 with flag 274232/263085
47.60/42.96	c cleaning 11097 clauses out of 22195 with flag 340615/275086
49.73/45.04	c cleaning 12037 clauses out of 24097 with flag 411473/288085
51.91/47.27	c cleaning 13010 clauses out of 26061 with flag 490215/302086
54.51/49.85	c cleaning 14013 clauses out of 28050 with flag 579121/317085
57.20/52.56	c cleaning 15014 clauses out of 30035 with flag 668117/333085
60.10/55.43	c cleaning 16002 clauses out of 32021 with flag 767049/350085
63.22/58.54	c cleaning 17003 clauses out of 34020 with flag 882759/368086
66.42/61.86	c cleaning 17989 clauses out of 36016 with flag 998319/387085
69.82/65.23	c cleaning 19014 clauses out of 38027 with flag 1124436/407085
73.41/68.81	c cleaning 19990 clauses out of 40013 with flag 1252342/428085
77.00/72.46	c cleaning 21008 clauses out of 42023 with flag 1392065/450085
81.19/76.69	c cleaning 22003 clauses out of 44015 with flag 1539700/473085
85.70/81.13	c cleaning 23000 clauses out of 46016 with flag 1686901/497089
90.08/85.53	c cleaning 24004 clauses out of 48012 with flag 1845143/522085
94.17/89.60	c Got one! Elapsed wall clock time (in seconds):89.459
94.17/89.60	o 112
95.18/90.67	c cleaning 25914 clauses out of 51852 with flag 36609/549929
96.17/91.69	c cleaning 14849 clauses out of 31935 with flag 75186/555926
97.31/92.87	c cleaning 6941 clauses out of 24086 with flag 103904/562926
98.71/94.22	c cleaning 7886 clauses out of 25145 with flag 137598/570926
100.21/95.76	c cleaning 8899 clauses out of 26260 with flag 181524/579927
101.90/97.42	c cleaning 9900 clauses out of 27360 with flag 222619/589926
103.81/99.34	c cleaning 10878 clauses out of 28460 with flag 267531/600926
105.90/101.41	c cleaning 11835 clauses out of 29582 with flag 319452/612926
108.00/103.59	c cleaning 12870 clauses out of 30749 with flag 372629/625928
110.30/105.89	c cleaning 13855 clauses out of 31879 with flag 439851/639928
112.89/108.49	c cleaning 14823 clauses out of 33022 with flag 503411/654927
115.68/111.29	c cleaning 15798 clauses out of 34198 with flag 571930/670926
118.68/114.23	c cleaning 16762 clauses out of 35401 with flag 641283/687927
121.77/117.34	c cleaning 17798 clauses out of 36637 with flag 723597/705926
125.17/120.73	c cleaning 18807 clauses out of 37839 with flag 805215/724926
128.71/124.39	c cleaning 19502 clauses out of 39033 with flag 898610/744927
132.30/128.00	c cleaning 20264 clauses out of 40531 with flag 995410/765927
136.30/131.97	c cleaning 21112 clauses out of 42267 with flag 1096776/787927
140.49/136.14	c cleaning 22056 clauses out of 44154 with flag 1215863/810926
144.99/140.69	c cleaning 23027 clauses out of 46098 with flag 1336090/834926
149.78/145.40	c cleaning 24021 clauses out of 48072 with flag 1474288/859927
154.67/150.34	c cleaning 25008 clauses out of 50050 with flag 1613779/885926
159.90/155.62	c cleaning 26010 clauses out of 52043 with flag 1768374/912927
165.08/160.81	c cleaning 27000 clauses out of 54032 with flag 1931823/940926
170.68/166.47	c cleaning 27999 clauses out of 56032 with flag 2097944/969926
176.87/172.62	c cleaning 29011 clauses out of 58033 with flag 2281207/999926
182.95/178.77	c cleaning 30009 clauses out of 60022 with flag 2460603/1030926
189.61/185.48	c cleaning 30993 clauses out of 62013 with flag 2660628/1062926
196.59/192.48	c cleaning 31994 clauses out of 64020 with flag 2867073/1095926
203.57/199.46	c cleaning 33011 clauses out of 66027 with flag 3058661/1129927
210.96/206.87	c cleaning 34001 clauses out of 68016 with flag 3270100/1164929
218.76/214.63	c cleaning 34995 clauses out of 70014 with flag 3483640/1200928
226.96/222.70	c cleaning 36007 clauses out of 72017 with flag 3699646/1237926
235.15/230.94	c cleaning 37005 clauses out of 74010 with flag 3926401/1275926
243.44/239.27	c cleaning 37987 clauses out of 76005 with flag 4157716/1314926
252.22/251.34	c cleaning 38990 clauses out of 78018 with flag 4401301/1354926
261.41/260.50	c cleaning 40012 clauses out of 80028 with flag 4652293/1395926
271.08/270.25	c cleaning 40995 clauses out of 82016 with flag 4903400/1437926
276.67/275.83	c Got one! Elapsed wall clock time (in seconds):275.691
276.67/275.83	o 111
277.88/277.10	c cleaning 35681 clauses out of 71390 with flag 32384/1468295
279.07/278.26	c cleaning 7968 clauses out of 41709 with flag 59024/1474295
280.55/279.95	c cleaning 6948 clauses out of 40742 with flag 83157/1481296
282.26/281.66	c cleaning 7954 clauses out of 41792 with flag 114878/1489294
284.05/283.43	c cleaning 8954 clauses out of 42842 with flag 148982/1498298
286.04/285.48	c cleaning 9938 clauses out of 43884 with flag 198025/1508294
288.44/287.85	c cleaning 10939 clauses out of 44947 with flag 243520/1519295
290.93/290.38	c cleaning 11913 clauses out of 46007 with flag 291206/1531294
293.64/293.09	c cleaning 12934 clauses out of 47094 with flag 344429/1544295
296.52/295.97	c cleaning 13910 clauses out of 48159 with flag 401740/1558294
299.82/299.21	c cleaning 14883 clauses out of 49250 with flag 462159/1573295
303.20/302.62	c cleaning 15882 clauses out of 50368 with flag 530253/1589296
306.80/306.28	c cleaning 16869 clauses out of 51486 with flag 598285/1606296
310.69/310.46	c cleaning 17853 clauses out of 52615 with flag 669647/1624294
314.78/314.51	c cleaning 18874 clauses out of 53762 with flag 761565/1643294
319.07/318.81	c cleaning 19846 clauses out of 54891 with flag 842272/1663297
323.86/323.61	c cleaning 20893 clauses out of 56042 with flag 941723/1684294
328.57/328.33	c cleaning 21792 clauses out of 57149 with flag 1041481/1706294
333.66/333.40	c cleaning 22785 clauses out of 58357 with flag 1138425/1729294
339.04/338.80	c cleaning 23823 clauses out of 59573 with flag 1236621/1753295
344.46/344.41	c cleaning 24811 clauses out of 60750 with flag 1348972/1778295
349.85/349.83	c cleaning 25815 clauses out of 61940 with flag 1460585/1804296
355.94/355.96	c cleaning 26680 clauses out of 63123 with flag 1575138/1831294
362.33/362.33	c cleaning 27795 clauses out of 64444 with flag 1694100/1859295
368.91/368.92	c cleaning 28776 clauses out of 65648 with flag 1823709/1888294
375.68/375.85	c cleaning 29772 clauses out of 66872 with flag 1946661/1918294
382.65/382.86	c cleaning 30727 clauses out of 68100 with flag 2090595/1949294
390.24/390.40	c cleaning 31774 clauses out of 69372 with flag 2228254/1981294
398.01/398.28	c cleaning 32691 clauses out of 70598 with flag 2375463/2014294
405.97/409.89	c cleaning 33696 clauses out of 71907 with flag 2530041/2048294
414.56/418.41	c cleaning 34746 clauses out of 73211 with flag 2685124/2083294
423.03/426.99	c cleaning 35713 clauses out of 74465 with flag 2832531/2119294
431.92/435.87	c cleaning 36705 clauses out of 75752 with flag 2984290/2156294
441.33/450.53	c cleaning 37700 clauses out of 77049 with flag 3149504/2194296
451.01/460.20	c cleaning 38646 clauses out of 78347 with flag 3318771/2233294
460.81/470.07	c cleaning 39679 clauses out of 79700 with flag 3496138/2273294
470.53/479.90	c cleaning 40495 clauses out of 81021 with flag 3693457/2314295
480.63/490.03	c cleaning 41243 clauses out of 82525 with flag 3893550/2356294
491.29/500.74	c cleaning 42117 clauses out of 84282 with flag 4092472/2399294
502.40/511.96	c cleaning 43074 clauses out of 86165 with flag 4305670/2443294
513.97/523.54	c cleaning 44043 clauses out of 88095 with flag 4526315/2488298
526.07/535.71	c cleaning 45023 clauses out of 90051 with flag 4767314/2534297
537.86/547.51	c cleaning 46002 clauses out of 92027 with flag 5003080/2581296
550.53/560.24	c cleaning 46999 clauses out of 94024 with flag 5255687/2629295
563.75/573.57	c cleaning 48002 clauses out of 96023 with flag 5506930/2678294
577.62/587.46	c cleaning 49010 clauses out of 98023 with flag 5795305/2728296
591.73/601.65	c cleaning 49995 clauses out of 100011 with flag 6099937/2779294
605.71/615.64	c cleaning 50992 clauses out of 102016 with flag 6389982/2831294
620.94/634.27	c cleaning 52004 clauses out of 104024 with flag 6679529/2884294
635.61/648.94	c cleaning 53006 clauses out of 106022 with flag 6964640/2938296
651.52/665.04	c cleaning 53997 clauses out of 108014 with flag 7265579/2993294
667.33/680.84	c cleaning 54997 clauses out of 110017 with flag 7575627/3049294
683.44/697.20	c cleaning 56004 clauses out of 112022 with flag 7914585/3106296
700.35/714.08	c cleaning 56999 clauses out of 114017 with flag 8243698/3164295
717.59/731.46	c cleaning 58003 clauses out of 116018 with flag 8566842/3223295
735.49/749.31	c cleaning 58993 clauses out of 118015 with flag 8894791/3283295
754.27/768.21	c cleaning 60001 clauses out of 120021 with flag 9250659/3344294
772.84/787.11	c cleaning 61003 clauses out of 122021 with flag 9599746/3406295
792.13/806.48	c cleaning 62008 clauses out of 124018 with flag 9960888/3469295
811.47/825.95	c cleaning 62996 clauses out of 126011 with flag 10319033/3533297
831.27/845.90	c cleaning 63996 clauses out of 128014 with flag 10689193/3598296
852.16/866.81	c cleaning 64998 clauses out of 130016 with flag 11065127/3664294
873.65/888.44	c cleaning 65996 clauses out of 132017 with flag 11448627/3731294
895.54/910.43	c cleaning 67000 clauses out of 134024 with flag 11839689/3799297
916.70/931.69	c cleaning 68003 clauses out of 136023 with flag 12217813/3868296
939.50/954.53	c cleaning 69000 clauses out of 138018 with flag 12620305/3938294
962.56/979.68	c cleaning 69990 clauses out of 140019 with flag 13033411/4009295
985.96/1003.04	c cleaning 71008 clauses out of 142031 with flag 13426096/4081297
1008.42/1028.07	c cleaning 71993 clauses out of 144020 with flag 13826229/4154294
1033.50/1053.17	c cleaning 72999 clauses out of 146027 with flag 14255697/4228294
1058.40/1078.15	c cleaning 73998 clauses out of 148029 with flag 14671337/4303295
1084.24/1104.09	c cleaning 75001 clauses out of 150030 with flag 15118834/4379294
1110.67/1130.58	c cleaning 76002 clauses out of 152028 with flag 15545515/4456294
1137.57/1157.40	c cleaning 77006 clauses out of 154026 with flag 15983217/4534294
1163.85/1183.87	c cleaning 78005 clauses out of 156021 with flag 16407612/4613295
1192.51/1216.68	c cleaning 78986 clauses out of 158016 with flag 16860657/4693295
1220.18/1244.43	c cleaning 79997 clauses out of 160029 with flag 17307884/4774294
1250.59/1274.90	c cleaning 81014 clauses out of 162033 with flag 17780623/4856295
1280.01/1304.44	c cleaning 81992 clauses out of 164021 with flag 18251581/4939297
1307.84/1332.38	c cleaning 82999 clauses out of 166026 with flag 18703456/5023294
1338.69/1363.39	c cleaning 84000 clauses out of 168029 with flag 19176145/5108296
1369.96/1402.08	c cleaning 85008 clauses out of 170028 with flag 19649957/5194295
1400.69/1437.27	c cleaning 85990 clauses out of 172019 with flag 20130836/5281294
1433.06/1469.69	c cleaning 87002 clauses out of 174030 with flag 20603223/5369295
1465.21/1501.85	c cleaning 88010 clauses out of 176029 with flag 21096470/5458297
1499.84/1536.55	c cleaning 88988 clauses out of 178016 with flag 21587479/5548294
1535.46/1572.20	c cleaning 90007 clauses out of 180028 with flag 22082069/5639294
1569.30/1606.11	c cleaning 91000 clauses out of 182023 with flag 22583600/5731296
1604.73/1648.42	c cleaning 92002 clauses out of 184022 with flag 23095832/5824295
1640.96/1684.78	c cleaning 93000 clauses out of 186019 with flag 23597493/5918294
1678.08/1721.93	c cleaning 93997 clauses out of 188023 with flag 24141341/6013298
1715.00/1758.97	c cleaning 95000 clauses out of 190023 with flag 24652610/6109296
1754.80/1798.82	c cleaning 95998 clauses out of 192022 with flag 25162103/6206295
1794.18/1838.39	c cleaning 96999 clauses out of 194024 with flag 25681337/6304295
1834.06/1879.09	c cleaning 98009 clauses out of 196029 with flag 26201865/6403299
1875.24/1922.34	c cleaning 99004 clauses out of 198014 with flag 26734053/6503294
1916.69/1963.88	c cleaning 100003 clauses out of 200011 with flag 27264839/6604295
1958.83/2006.08	c cleaning 100995 clauses out of 202008 with flag 27803017/6706295
2001.94/2049.21	c cleaning 101999 clauses out of 204012 with flag 28351513/6809294
2044.64/2092.05	c cleaning 102988 clauses out of 206012 with flag 28899180/6913294
2089.23/2136.73	c cleaning 104006 clauses out of 208024 with flag 29451769/7018295
2107.29/2154.85	c Got one! Elapsed wall clock time (in seconds):2154.706
2107.29/2154.85	o 110
2109.60/2157.11	c cleaning 60655 clauses out of 155889 with flag 26440/7070166
2111.78/2159.33	c cleaning 5998 clauses out of 101234 with flag 48335/7076166
2114.28/2161.81	c cleaning 6956 clauses out of 102237 with flag 73948/7083167
2117.07/2164.61	c cleaning 7964 clauses out of 103280 with flag 99244/7091166
2120.26/2167.80	c cleaning 8967 clauses out of 104316 with flag 129726/7100166
2123.86/2171.42	c cleaning 9978 clauses out of 105350 with flag 168575/7110167
2127.75/2175.36	c cleaning 10964 clauses out of 106370 with flag 203073/7121166
2132.24/2179.80	c cleaning 11955 clauses out of 107406 with flag 243977/7133166
2136.63/2184.21	c cleaning 12954 clauses out of 108452 with flag 289657/7146167
2141.52/2189.12	c cleaning 13968 clauses out of 109497 with flag 343589/7160166
2146.81/2194.47	c cleaning 14968 clauses out of 110532 with flag 393369/7175169
2151.70/2199.32	c cleaning 15954 clauses out of 111563 with flag 451285/7191168
2158.19/2205.81	c cleaning 16933 clauses out of 112607 with flag 510050/7208166
2164.87/2212.58	c cleaning 17956 clauses out of 113674 with flag 575856/7226166
2171.66/2219.39	c cleaning 18930 clauses out of 114718 with flag 643489/7245166
2178.54/2226.28	c cleaning 19924 clauses out of 115790 with flag 711512/7265168
2186.33/2234.07	c cleaning 20913 clauses out of 116864 with flag 786913/7286166
2193.81/2241.58	c cleaning 21931 clauses out of 117951 with flag 866462/7308166
2201.89/2249.69	c cleaning 22935 clauses out of 119021 with flag 953645/7331167
2210.66/2258.44	c cleaning 23912 clauses out of 120085 with flag 1036031/7355166
2219.90/2269.53	c cleaning 24897 clauses out of 121173 with flag 1132545/7380166
2229.41/2279.05	c cleaning 25923 clauses out of 122277 with flag 1229545/7406167
2239.48/2289.16	c cleaning 26901 clauses out of 123354 with flag 1326247/7433167
2250.15/2299.80	c cleaning 27902 clauses out of 124453 with flag 1424796/7461167
2260.75/2312.33	c cleaning 28882 clauses out of 125550 with flag 1533707/7490166
2272.02/2323.62	c cleaning 29898 clauses out of 126668 with flag 1643037/7520166
2283.56/2335.23	c cleaning 30858 clauses out of 127770 with flag 1768400/7551166
2295.17/2346.83	c cleaning 31887 clauses out of 128912 with flag 1887668/7583166
2307.64/2359.36	c cleaning 32890 clauses out of 130025 with flag 2009201/7616166
2320.28/2372.07	c cleaning 33878 clauses out of 131135 with flag 2134825/7650166
2333.16/2384.91	c cleaning 34847 clauses out of 132257 with flag 2269576/7685166
2346.21/2398.05	c cleaning 35885 clauses out of 133410 with flag 2406502/7721166
2360.60/2412.44	c cleaning 36847 clauses out of 134525 with flag 2544903/7758166
2374.85/2426.70	c cleaning 37879 clauses out of 135680 with flag 2685652/7796168
2389.33/2441.27	c cleaning 38817 clauses out of 136803 with flag 2835066/7835170
2404.58/2456.50	c cleaning 39871 clauses out of 137982 with flag 2989749/7875166
2419.85/2471.87	c cleaning 40814 clauses out of 139111 with flag 3146263/7916166
2435.64/2496.83	c cleaning 41845 clauses out of 140298 with flag 3304341/7958167
2451.30/2512.51	c cleaning 42886 clauses out of 141453 with flag 3462697/8001167
2467.76/2529.09	c cleaning 43832 clauses out of 142567 with flag 3629796/8045167
2485.11/2546.42	c cleaning 44806 clauses out of 143734 with flag 3799155/8090166
2502.36/2563.71	c cleaning 45777 clauses out of 144930 with flag 3990028/8136168
2520.51/2581.94	c cleaning 46786 clauses out of 146152 with flag 4181232/8183167
2538.87/2600.36	c cleaning 47790 clauses out of 147367 with flag 4373738/8231168
2557.32/2618.84	c cleaning 48806 clauses out of 148575 with flag 4556309/8280166
2576.27/2637.82	c cleaning 49792 clauses out of 149771 with flag 4761024/8330168
2597.00/2663.86	c cleaning 50782 clauses out of 150977 with flag 4959708/8381166
2617.37/2684.24	c cleaning 51776 clauses out of 152195 with flag 5159935/8433166
2638.62/2708.63	c cleaning 52764 clauses out of 153422 with flag 5369276/8486169
2658.97/2729.07	c cleaning 53794 clauses out of 154655 with flag 5577910/8540167
2680.75/2750.80	c cleaning 54833 clauses out of 155861 with flag 5793019/8595167
2702.65/2772.84	c cleaning 55759 clauses out of 157027 with flag 6019954/8651166
2725.08/2795.31	c cleaning 56808 clauses out of 158268 with flag 6255306/8708166
2747.85/2818.16	c cleaning 57780 clauses out of 159460 with flag 6501495/8766166
2770.46/2840.85	c cleaning 58725 clauses out of 160680 with flag 6746676/8825166
2793.60/2864.07	c cleaning 59752 clauses out of 161955 with flag 6994146/8885166
2817.34/2887.85	c cleaning 60757 clauses out of 163203 with flag 7241975/8946166
2842.56/2913.12	c cleaning 61747 clauses out of 164446 with flag 7506895/9008166
2866.62/2937.22	c cleaning 62690 clauses out of 165699 with flag 7775313/9071166
2891.76/2962.47	c cleaning 63754 clauses out of 167010 with flag 8032838/9135167
2917.38/2988.18	c cleaning 64756 clauses out of 168256 with flag 8304457/9200167
2944.51/3015.32	c cleaning 65754 clauses out of 169499 with flag 8581010/9266166
2972.35/3043.28	c cleaning 66790 clauses out of 170749 with flag 8856114/9333170
2999.77/3070.79	c cleaning 67709 clauses out of 171958 with flag 9139181/9401169
3027.81/3103.06	c cleaning 68719 clauses out of 173246 with flag 9410005/9470166
3055.75/3131.06	c cleaning 69723 clauses out of 174527 with flag 9696168/9540166
3083.66/3159.28	c cleaning 70781 clauses out of 175805 with flag 9996122/9611167
3113.30/3188.98	c cleaning 71672 clauses out of 177023 with flag 10295850/9683166
3142.09/3217.84	c cleaning 72738 clauses out of 178351 with flag 10602508/9756166
3172.08/3247.95	c cleaning 73733 clauses out of 179615 with flag 10918454/9830169
3203.04/3280.70	c cleaning 74666 clauses out of 180879 with flag 11233242/9905166
3236.62/3314.42	c cleaning 75672 clauses out of 182213 with flag 11557377/9981167
3269.00/3346.98	c cleaning 76627 clauses out of 183541 with flag 11887972/10058167
3301.54/3379.54	c cleaning 77642 clauses out of 184914 with flag 12213119/10136167
3334.37/3412.48	c cleaning 78688 clauses out of 186271 with flag 12560537/10215166
3368.55/3447.06	c cleaning 79654 clauses out of 187586 with flag 12902194/10295169
3402.56/3481.16	c cleaning 80616 clauses out of 188929 with flag 13241486/10376166
3435.75/3514.46	c cleaning 81739 clauses out of 190316 with flag 13587646/10458169
3473.18/3551.90	c cleaning 82641 clauses out of 191574 with flag 13932693/10541166
3508.58/3588.38	c cleaning 83638 clauses out of 192935 with flag 14279034/10625168
3545.22/3625.03	c cleaning 84628 clauses out of 194297 with flag 14649458/10710168
3583.83/3663.75	c cleaning 85706 clauses out of 195666 with flag 15022595/10796166
3600.00/3679.92	c starts		: 44924
3600.00/3679.94	c conflicts		: 10835899
3600.00/3679.94	c decisions		: 15844987
3600.00/3679.94	c propagations		: 4028004825
3600.00/3679.94	c inspects		: 40716370354
3600.00/3679.94	c shortcuts		: 0
3600.00/3679.94	c learnt literals	: 33
3600.00/3679.94	c learnt binary clauses	: 166
3600.00/3679.94	c learnt ternary clauses	: 2719
3600.00/3679.94	c learnt constraints	: 10835866
3600.00/3679.94	c ignored constraints	: 0
3600.00/3679.94	c root simplifications	: 0
3600.00/3679.94	c removed literals (reason simplification)	: 204242879
3600.00/3679.94	c reason swapping (by a shorter reason)	: 0
3600.00/3679.94	c Calls to reduceDB	: 265
3600.00/3679.94	c Number of update (reduction) of LBD	: 4100169
3600.00/3679.94	c Imported unit clauses	: 0
3600.00/3679.94	c No decision after first conflict	: false
3600.00/3679.94	c number of reductions to clauses (during analyze)	: 0
3600.00/3679.94	c number of learned constraints concerned by reduction	: 0
3600.00/3679.94	c number of learning phase by resolution	: 0
3600.00/3679.94	c number of learning phase by cutting planes	: 0
3600.00/3679.94	c number of rounding to 1 operations	: 0
3600.00/3679.94	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3679.94	c number of reductions of the coefficients by power 2 	: 0
3600.00/3679.94	c number of right shift for reduction by power 2 	: 0
3600.00/3679.94	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3679.94	c number of ending skipping 	: 0
3600.00/3679.94	c number of internal skipping 	: 0
3600.00/3679.94	c number of derivation steps 	: 0
3600.00/3679.94	c number of skipped derivation steps 	: 0
3600.00/3679.94	c number of remaining unassigned 	: 0
3600.00/3679.94	c number of remaining assigned 	: 0
3600.00/3679.94	c number of falsified literals weakened from reason	: 0
3600.00/3679.94	c number of falsified literals weakened from conflict	: 0
3600.00/3679.94	c time for arithmetic operations	: 0
3600.00/3679.94	c minimum degree of deleted constraints	: null
3600.00/3679.94	c maximum degree of deleted constraints	: null
3600.00/3679.94	c number of deleted constraints	: 0
3600.00/3679.94	c speed (assignments/second)	: 1094830.4183644266
3600.00/3679.94	c non guided choices	: 1854
3600.00/3679.98	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.00/3680.00		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1984)
3600.00/3680.00		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2130)
3600.00/3680.00		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2121)
3600.00/3680.00		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:181)
3600.00/3680.00		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.00/3680.00		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.00/3680.00		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: 63665 MiB (61757 MiB free)
  memory of node 1: 64507 MiB (59969 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4500095-1751472482/watcher-4500095-1751472482 -o /tmp/evaluation-result-4500095-1751472482/solver-4500095-1751472482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751472476-70406 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4500095-1751472482 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4500095-1751472482.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=70586, runsolver pid=70583
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 1.34 1.26 2.20 6/339 70604
/proc/meminfo: memFree=124626420/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=18930384 memory=55584 CPUtime=0.12 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 6535 0 0 0 10 2 0 0 20 0 18 0 62925941 19384713216 13896 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4732596 13896 5332 1 0 547586 0
[pid=70586/tid=70588] ppid=70583 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 5040 0 0 0 6 1 0 0 20 0 18 0 62925943 19384713216 13896 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=18930384 memory=224227754321 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62925945 19384713216 13896 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=18930384 memory=59585004335488 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62925945 19384713216 13896 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55584 KiB

[startup+0.205794 s]*
/proc/loadavg: 1.34 1.26 2.20 7/339 70604
/proc/meminfo: memFree=124600712/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=18930384 memory=68396 CPUtime=0.3 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 7084 0 0 0 28 2 0 0 20 0 18 0 62925941 19384713216 17099 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4732596 17099 5428 1 0 547957 0
[pid=70586/tid=70588] ppid=70583 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 5269 0 0 0 15 2 0 0 20 0 18 0 62925943 19384713216 17099 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=18930384 memory=16195 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62925945 19384713216 17099 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62925945 19384713216 17099 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68396 KiB

[startup+0.305765 s]*
/proc/loadavg: 1.34 1.26 2.20 7/339 70604
/proc/meminfo: memFree=124584392/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=18930384 memory=105160 CPUtime=0.5 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 8536 0 0 0 47 3 0 0 20 0 18 0 62925941 19384713216 26290 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4732596 26290 5428 1 0 548944 0
[pid=70586/tid=70588] ppid=70583 vsize=18930384 memory=-6000919494131018856 CPUtime=0.26 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 5317 0 0 0 24 2 0 0 20 0 18 0 62925943 19384713216 26290 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62925945 19384713216 26290 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62925945 19384713216 26290 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 105160 KiB

[startup+0.700232 s]
/proc/loadavg: 1.34 1.26 2.20 6/340 70605
/proc/meminfo: memFree=124495796/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=18996948 memory=173632 CPUtime=1.27 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 11329 0 0 0 121 6 0 0 20 0 19 0 62925941 19452874752 43408 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4749237 43408 5460 1 0 550756 0
[pid=70586/tid=70588] ppid=70583 vsize=18996948 memory=18560 CPUtime=0.6 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 5356 0 0 0 57 3 0 0 20 0 19 0 62925943 19452874752 43408 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62925945 19452874752 43408 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62925945 19452874752 43408 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 173632 KiB

[startup+1.50022 s]
/proc/loadavg: 1.34 1.26 2.20 6/341 70606
/proc/meminfo: memFree=124427176/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=199844 CPUtime=2.85 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 17021 0 0 0 277 8 0 0 20 0 20 0 62925941 19521036288 49961 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 49961 5524 1 0 555095 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=3328 CPUtime=1.28 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 5492 0 0 0 125 3 0 0 20 0 20 0 62925943 19521036288 49961 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 49961 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 49961 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70606] ppid=70583 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/70586/task/70606/stat : 70606 (Timer-0) S 70583 70586 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62926024 19521036288 49961 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199844 KiB

[startup+3.10561 s]
/proc/loadavg: 1.63 1.32 2.21 7/341 70606
/proc/meminfo: memFree=124029828/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=205876 CPUtime=5.98 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 24810 0 0 0 589 9 0 0 20 0 20 0 62925941 19521036288 51469 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 51469 5556 1 0 555221 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=14824 CPUtime=2.83 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 6314 0 0 0 279 4 0 0 20 0 20 0 62925943 19521036288 51469 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 51469 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 51469 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70606] ppid=70583 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/70586/task/70606/stat : 70606 (Timer-0) S 70583 70586 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62926024 19521036288 51469 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205876 KiB

[startup+6.3002 s]
/proc/loadavg: 1.63 1.32 2.21 4/319 70636
/proc/meminfo: memFree=124249784/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=219492 CPUtime=10.9 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 28517 0 0 0 1079 11 0 0 20 0 20 0 62925941 19521036288 54873 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 54873 5556 1 0 555634 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=0 CPUtime=5.95 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 6900 0 0 0 590 5 0 0 20 0 20 0 62925943 19521036288 54873 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 54873 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 54873 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70606] ppid=70583 vsize=19063512 memory=199972 CPUtime=0 cores=1,3
/proc/70586/task/70606/stat : 70606 (Timer-0) S 70583 70586 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62926024 19521036288 54873 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 10.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 219492 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 1.41 2.23 5/319 70636
/proc/meminfo: memFree=122965872/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=420348 CPUtime=17.39 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 33239 0 0 0 1722 17 0 0 20 0 20 0 62925941 19521036288 105087 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 105087 5556 1 0 555650 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=199972 CPUtime=12.32 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 8188 0 0 0 1222 10 0 0 20 0 20 0 62925943 19521036288 105087 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=358908 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 105087 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 105087 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70606] ppid=70583 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/70586/task/70606/stat : 70606 (Timer-0) S 70583 70586 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62926024 19521036288 105087 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 17.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 420348 KiB

[startup+25.5002 s]
/proc/loadavg: 2.54 1.54 2.27 5/342 71010
/proc/meminfo: memFree=123100392/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=877188 CPUtime=30.27 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 38328 0 0 0 2999 28 0 0 20 0 20 0 62925941 19521036288 219297 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 219297 5556 1 0 555666 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=14824 CPUtime=25.06 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 9958 0 0 0 2485 21 0 0 20 0 20 0 62925943 19521036288 219297 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=-6000919494131018856 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 219297 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 219297 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70606] ppid=70583 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/70586/task/70606/stat : 70606 (Timer-0) S 70583 70586 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62926024 19521036288 219297 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 30.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 877188 KiB

[startup+51.1057 s]
/proc/loadavg: 3.15 1.77 2.32 5/344 71079
/proc/meminfo: memFree=118022356/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=1333972 CPUtime=55.81 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 42915 0 0 0 5538 43 0 0 20 0 20 0 62925941 19521036288 333493 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 333493 5556 1 0 555666 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=227684 CPUtime=50.53 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 11904 0 0 0 5019 34 0 0 20 0 20 0 62925943 19521036288 333493 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=1333972 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 333493 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=1333972 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 333493 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0

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

/proc/meminfo: memFree=93664408/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=1916056 CPUtime=3264.42 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 94947 0 0 0 325838 604 0 0 20 0 20 0 62925941 19521036288 479014 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 479014 5556 1 0 555698 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=7686721470264483783 CPUtime=3250.45 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 36733 0 0 0 324531 514 0 0 20 0 20 0 62925943 19521036288 479014 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=1916056 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 479014 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=1916056 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 1753 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 479014 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70606] ppid=70583 vsize=19063512 memory=1916056 CPUtime=0 cores=1,3
/proc/70586/task/70606/stat : 70606 (Timer-0) S 70583 70586 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62926024 19521036288 479014 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 3264.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1916056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.16 4.11 5/341 71265
/proc/meminfo: memFree=93378980/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=1926320 CPUtime=3324.3 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 95225 0 0 0 331815 615 0 0 20 0 20 0 62925941 19521036288 481580 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 481580 5556 1 0 555698 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=1916056 CPUtime=3310.16 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 36951 0 0 0 330493 523 0 0 20 0 20 0 62925943 19521036288 481580 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=1916056 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 481580 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 1753 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 481580 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70606] ppid=70583 vsize=19063512 memory=1922224 CPUtime=0 cores=1,3
/proc/70586/task/70606/stat : 70606 (Timer-0) S 70583 70586 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62926024 19521036288 481580 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 3324.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1926320 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/343 71271
/proc/meminfo: memFree=93099964/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=1928376 CPUtime=3383.81 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 96386 0 0 0 337753 628 0 0 20 0 20 0 62925941 19521036288 482094 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 482094 5556 1 0 555698 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=1916056 CPUtime=3369.58 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 37914 0 0 0 336424 534 0 0 20 0 20 0 62925943 19521036288 482094 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 482094 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 1754 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 482094 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70606] ppid=70583 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/70586/task/70606/stat : 70606 (Timer-0) S 70583 70586 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62926024 19521036288 482094 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 3383.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1928376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/345 71275
/proc/meminfo: memFree=92830648/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=1936572 CPUtime=3443.63 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 97813 0 0 0 343722 641 0 0 20 0 20 0 62925941 19521036288 484143 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 484143 5556 1 0 555698 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=1926320 CPUtime=3429.22 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 38635 0 0 0 342376 546 0 0 20 0 20 0 62925943 19521036288 484143 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=1926320 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 484143 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=1916056 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 1813 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 484143 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70606] ppid=70583 vsize=19063512 memory=1936572 CPUtime=0 cores=1,3
/proc/70586/task/70606/stat : 70606 (Timer-0) S 70583 70586 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62926024 19521036288 484143 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 3443.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1936572 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/345 71277
/proc/meminfo: memFree=92426064/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=1942716 CPUtime=3502.59 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 99094 0 0 0 349608 651 0 0 20 0 20 0 62925941 19521036288 485679 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 485679 5556 1 0 555698 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=1932476 CPUtime=3487.98 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 39041 0 0 0 348244 554 0 0 20 0 20 0 62925943 19521036288 485679 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=18560 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 485679 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=1940668 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 1904 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 485679 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70606] ppid=70583 vsize=19063512 memory=4480 CPUtime=0 cores=1,3
/proc/70586/task/70606/stat : 70606 (Timer-0) S 70583 70586 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62926024 19521036288 485679 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 3502.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1942716 KiB

[startup+3642.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/345 71278
/proc/meminfo: memFree=92191708/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=1944768 CPUtime=3562.45 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 99143 0 0 0 355583 662 0 0 20 0 20 0 62925941 19521036288 486192 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 486192 5556 1 0 555698 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=10752 CPUtime=3547.72 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 39054 0 0 0 354209 563 0 0 20 0 20 0 62925943 19521036288 486192 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=1944768 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 486192 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=1944768 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 1909 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 486192 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70606] ppid=70583 vsize=19063512 memory=1944768 CPUtime=0 cores=1,3
/proc/70586/task/70606/stat : 70606 (Timer-0) S 70583 70586 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62926024 19521036288 486192 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 3562.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1944768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3679.9 s]
/proc/loadavg: 4.31 4.18 4.12 5/345 71346
/proc/meminfo: memFree=95866620/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19063512 memory=1946816 CPUtime=3600 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 99377 0 0 0 359333 667 0 0 20 0 20 0 62925941 19521036288 486704 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4765878 486704 5556 1 0 555698 0
[pid=70586/tid=70588] ppid=70583 vsize=19063512 memory=10752 CPUtime=3585.16 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) R 70583 70586 70394 0 -1 4194368 39268 0 0 0 357949 567 0 0 20 0 20 0 62925943 19521036288 486704 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19063512 memory=1944768 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 486704 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19063512 memory=1946816 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 1909 0 0 0 0 0 0 0 20 0 20 0 62925945 19521036288 486704 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70606] ppid=70583 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/70586/task/70606/stat : 70606 (Timer-0) S 70583 70586 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62926024 19521036288 486704 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1946816 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.51 s, system=6.68505 s

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

[startup+3680 s]*
/proc/loadavg: 4.31 4.18 4.12 4/342 71349
/proc/meminfo: memFree=95431996/131249996 swapFree=33010684/33010684
[pid=70586] ppid=70583 vsize=19263204 memory=1947584 CPUtime=3600.17 cores=1,3
/proc/70586/stat : 70586 (java) S 70583 70586 70394 0 -1 4194304 103017 0 0 0 359350 667 0 0 20 0 17 0 62925941 19725520896 486896 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
/proc/70586/statm: 4815801 486896 5556 1 0 556665 0
[pid=70586/tid=70588] ppid=70583 vsize=19263204 memory=5272 CPUtime=3585.24 cores=1,3
/proc/70586/task/70588/stat : 70588 (java) D 70583 70586 70394 0 -1 4194368 39607 0 0 0 357957 567 0 0 20 0 17 0 62925943 19725520896 486896 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70597] ppid=70583 vsize=19263204 memory=-6000919489936845672 CPUtime=0 cores=1,3
/proc/70586/task/70597/stat : 70597 (Finalizer) S 70583 70586 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 17 0 62925945 19725520896 486896 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=70604] ppid=70583 vsize=19263204 memory=5960 CPUtime=0 cores=1,3
/proc/70586/task/70604/stat : 70604 (Common-Cleaner) S 70583 70586 70394 0 -1 4194368 1909 0 0 0 0 0 0 0 20 0 17 0 62925945 19725520896 486896 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
[pid=70586/tid=71349] ppid=70583 vsize=19263204 memory=5900 CPUtime=0.04 cores=1,3
/proc/70586/task/71349/stat : 71349 (Thread-0) S 70583 70586 70394 0 -1 4194368 397 0 0 0 4 0 0 0 20 0 17 0 63293932 19725520896 486896 18446744073709551615 94594363662336 94594363666032 140729871927440 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94594363673848 94594363674640 94594364530688 140729871935792 140729871935974 140729871935974 140729871941576 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1947584 KiB

Child status: 143

Real time (s): 3680.03
CPU time (s): 3600.19
CPU user time (s): 3593.51
CPU system time (s): 6.68505
CPU usage (%): 97.8304
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1947584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.51
system time used= 6.68505
maximum resident set size= 1947712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103046
page faults= 0
swaps= 0
block input operations= 8
block output operations= 8081712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114707
involuntary context switches= 11201


# summary of solver processes directly reported to runsolver:
#   pid: 70586
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3593.51
#   total CPU system time (s): 6.68505

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.5237 second user time and 18.1387 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-02 18:08:02
IDJOB=4500095
IDBENCH=149403
IDSOLVER=3364
FILE ID=nodeC017/4500095-1751472482
RUNJOBID= nodeC017-1751472476-70406
SLURM_JOB_ID= 9598499
Free space on /tmp= 432504 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j60opt/normalized-j6045_4.std.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4500095-1751472482/watcher-4500095-1751472482 -o /tmp/evaluation-result-4500095-1751472482/solver-4500095-1751472482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751472476-70406 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4500095-1751472482 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4500095-1751472482.opb

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

MD5SUM BENCH= 2e74a757ac714177de3997bf1c5ad9e4
RANDOM SEED=2145809125

nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.061
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3595.981
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.088
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.057
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.065
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.264
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3604.403
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.908
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124657576 kB
MemAvailable:   128363760 kB
Buffers:            2380 kB
Cached:          4475152 kB
SwapCached:            0 kB
Active:          1736600 kB
Inactive:        4156772 kB
Active(anon):    1433996 kB
Inactive(anon):       12 kB
Active(file):     302604 kB
Inactive(file):  4156760 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             69748 kB
Writeback:             0 kB
AnonPages:       1419000 kB
Mapped:           124076 kB
Shmem:             18080 kB
KReclaimable:     171720 kB
Slab:             263392 kB
SReclaimable:     171720 kB
SUnreclaim:        91672 kB
KernelStack:        5216 kB
PageTables:         6436 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   10022712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1204224 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432196 MiB
End job on nodeC017 at 2025-07-02 19:09:22