Trace number 4440488

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 2024 2024-07-07? (TO) 3600.09 3634

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-ns1853823.opb
MD5SUM3c426cde4ea6abbedea70a80ee72c27e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark3600.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables213440
Total number of constraints223870
Number of constraints which are clauses212784
Number of constraints which are cardinality constraints (but not clauses)462
Number of constraints which are nor clauses,nor cardinality constraints10624
Minimum length of a constraint1
Maximum length of a constraint464
Number of terms in the objective function 920
Biggest coefficient in the objective function 6
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 3220
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 3200
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3912
Number of bits of the biggest sum of numbers12
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4440488-1721820740.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  objective function found
9.40/7.52	c ... done. Wall clock time 7.385s.
9.40/7.52	c declared #vars     213440
9.40/7.52	c #constraints  234034
9.40/7.52	c constraints type 
9.40/7.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 121968
9.40/7.52	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20790
9.40/7.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 460
9.40/7.52	c org.sat4j.pb.constraints.pb.UnitClausePB => 264
9.40/7.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 90552
9.40/7.52	c 234034 constraints processed.
9.40/7.53	c objective function length is 920 literals
14.01/10.74	c cleaning 2500 clauses out of 5002 with flag 25647/5002
16.69/13.03	c SATISFIABLE
16.69/13.03	c OPTIMIZING...
16.69/13.03	c Got one! Elapsed wall clock time (in seconds):12.91
16.69/13.03	o 1274
17.37/13.55	c cleaning 3881 clauses out of 7864 with flag 3871/10364
18.68/14.26	c Got one! Elapsed wall clock time (in seconds):14.141
18.68/14.26	o 436
22.77/17.87	c cleaning 4784 clauses out of 9585 with flag 12737/15966
47.22/41.83	c cleaning 5393 clauses out of 10804 with flag 43238/21969
53.75/48.30	c cleaning 6201 clauses out of 12409 with flag 74662/28967
57.89/52.45	c Got one! Elapsed wall clock time (in seconds):52.322
57.89/52.45	o 435
59.68/54.15	c cleaning 8439 clauses out of 17068 with flag 18959/39827
59.87/54.37	c Got one! Elapsed wall clock time (in seconds):54.246
59.87/54.37	o 434
62.08/56.42	c Got one! Elapsed wall clock time (in seconds):56.297
62.08/56.42	o 433
62.40/56.73	c cleaning 7481 clauses out of 14974 with flag 4970/46172
84.47/78.83	c cleaning 6730 clauses out of 13492 with flag 35246/52171
117.33/111.71	c cleaning 6864 clauses out of 13765 with flag 82339/59174
158.07/152.58	c cleaning 7446 clauses out of 14898 with flag 135298/67171
158.68/153.17	c Got one! Elapsed wall clock time (in seconds):153.048
158.68/153.17	o 432
167.77/162.22	c cleaning 6666 clauses out of 13368 with flag 17496/73087
195.85/193.04	c cleaning 6222 clauses out of 12701 with flag 50680/79086
233.89/231.14	c cleaning 6716 clauses out of 13483 with flag 93724/86090
253.62/250.86	c cleaning 7371 clauses out of 14763 with flag 133129/94086
262.81/260.10	c Got one! Elapsed wall clock time (in seconds):259.978
262.81/260.10	o 431
263.21/260.44	c cleaning 6283 clauses out of 12643 with flag 3587/99337
268.40/265.67	c cleaning 5992 clauses out of 12358 with flag 27039/105335
269.10/266.31	c Got one! Elapsed wall clock time (in seconds):266.185
269.10/266.31	o 430
269.70/266.96	c cleaning 5693 clauses out of 11386 with flag 7552/110355
270.87/268.02	c Got one! Elapsed wall clock time (in seconds):267.895
270.87/268.03	o 429
271.13/268.20	c cleaning 5444 clauses out of 10892 with flag 4874/115554
293.76/290.83	c cleaning 5706 clauses out of 11448 with flag 37948/121554
314.13/311.20	c cleaning 6346 clauses out of 12742 with flag 74324/128554
361.31/358.52	c cleaning 7178 clauses out of 14396 with flag 132633/136554
427.30/425.02	c cleaning 8091 clauses out of 16218 with flag 196271/145554
499.07/497.37	c cleaning 9039 clauses out of 18128 with flag 265073/155555
584.09/583.05	c cleaning 10037 clauses out of 20088 with flag 344656/166554
642.41/642.15	c cleaning 11021 clauses out of 22051 with flag 424739/178554
643.91/643.62	c Got one! Elapsed wall clock time (in seconds):643.494
643.91/643.62	o 428
645.31/645.03	c cleaning 11178 clauses out of 22386 with flag 19767/189910
645.80/645.50	c Got one! Elapsed wall clock time (in seconds):645.375
645.80/645.50	o 427
651.66/651.35	c cleaning 8382 clauses out of 16793 with flag 16891/195495
660.14/659.82	c Got one! Elapsed wall clock time (in seconds):659.7
660.14/659.82	o 426
661.04/660.70	c cleaning 7100 clauses out of 14400 with flag 8236/201484
661.54/661.22	c Got one! Elapsed wall clock time (in seconds):661.098
661.54/661.22	o 425
673.42/673.13	c cleaning 6385 clauses out of 12776 with flag 15848/206960
713.73/713.50	c cleaning 6176 clauses out of 12391 with flag 53171/212960
733.70/733.50	c cleaning 6602 clauses out of 13215 with flag 86998/219960
765.51/766.04	c cleaning 7300 clauses out of 14616 with flag 133496/227963
808.61/810.79	c cleaning 8136 clauses out of 16314 with flag 187511/236961
822.98/825.29	c cleaning 8932 clauses out of 18178 with flag 240068/246961
851.78/854.06	c cleaning 10099 clauses out of 20245 with flag 313022/257960
860.87/863.11	c Got one! Elapsed wall clock time (in seconds):862.991
860.87/863.11	o 424
862.15/864.46	c cleaning 10076 clauses out of 20182 with flag 18571/267996
863.26/865.57	c Got one! Elapsed wall clock time (in seconds):865.445
863.26/865.57	o 423
863.55/865.82	c cleaning 7886 clauses out of 15852 with flag 4746/273742
865.15/867.41	c cleaning 6753 clauses out of 13968 with flag 27280/279744
865.45/867.70	c Got one! Elapsed wall clock time (in seconds):867.574
865.45/867.70	o 422
866.76/869.01	c cleaning 6305 clauses out of 12931 with flag 17612/285460
867.85/870.13	c cleaning 6049 clauses out of 12626 with flag 39386/291460
868.05/870.35	c Got one! Elapsed wall clock time (in seconds):870.232
868.05/870.35	o 421
873.15/875.44	c cleaning 6146 clauses out of 12346 with flag 25226/297229
896.18/900.96	c cleaning 6085 clauses out of 12200 with flag 58778/303229
924.43/929.42	c cleaning 6536 clauses out of 13115 with flag 105014/310229
939.81/944.87	c cleaning 7263 clauses out of 14579 with flag 149302/318229
942.40/947.42	c Got one! Elapsed wall clock time (in seconds):947.299
942.40/947.42	o 420
945.56/950.79	c cleaning 9487 clauses out of 19191 with flag 24046/330104
947.66/952.80	c Got one! Elapsed wall clock time (in seconds):952.678
947.66/952.80	o 419
948.36/953.55	c cleaning 7347 clauses out of 14754 with flag 7022/335154
950.06/955.27	c cleaning 6530 clauses out of 13406 with flag 28982/341153
950.36/955.52	c Got one! Elapsed wall clock time (in seconds):955.398
950.36/955.52	o 418
951.56/956.75	c cleaning 5872 clauses out of 11991 with flag 17731/346268
953.35/958.53	c Got one! Elapsed wall clock time (in seconds):958.403
953.35/958.53	o 417
954.15/959.37	c cleaning 5709 clauses out of 11567 with flag 9216/351716
954.56/959.73	c Got one! Elapsed wall clock time (in seconds):959.606
954.56/959.73	o 416
978.90/984.36	c cleaning 5603 clauses out of 11343 with flag 28582/357201
1016.82/1022.30	c cleaning 5845 clauses out of 11737 with flag 63334/363198
1073.29/1079.68	c cleaning 6443 clauses out of 12892 with flag 108809/370198
1137.17/1143.62	c cleaning 7219 clauses out of 14454 with flag 159836/378203
1206.06/1212.61	c cleaning 8077 clauses out of 16230 with flag 219951/387198
1240.71/1247.36	c cleaning 9057 clauses out of 18153 with flag 284644/397198
1309.89/1316.58	c cleaning 10048 clauses out of 20096 with flag 357441/408198
1344.23/1350.93	c Got one! Elapsed wall clock time (in seconds):1350.804
1344.23/1350.93	o 415
1346.41/1353.13	c cleaning 13366 clauses out of 26908 with flag 18703/425058
1347.42/1354.17	c Got one! Elapsed wall clock time (in seconds):1354.052
1347.42/1354.17	o 414
1350.00/1356.70	c cleaning 11793 clauses out of 23874 with flag 20232/435390
1350.91/1357.67	c Got one! Elapsed wall clock time (in seconds):1357.545
1350.91/1357.67	o 413
1351.70/1358.44	c cleaning 8710 clauses out of 17516 with flag 7803/440825
1352.90/1359.63	c Got one! Elapsed wall clock time (in seconds):1359.507
1352.90/1359.63	o 412
1354.19/1360.97	c cleaning 7015 clauses out of 14097 with flag 7207/446116
1369.57/1376.38	c cleaning 6457 clauses out of 13083 with flag 33790/452117
1401.22/1408.07	c cleaning 6768 clauses out of 13625 with flag 72783/459116
1435.26/1442.19	c cleaning 7410 clauses out of 14857 with flag 125753/467116
1458.44/1465.31	c cleaning 8093 clauses out of 16448 with flag 174213/476117
1458.63/1465.51	c Got one! Elapsed wall clock time (in seconds):1465.386
1458.63/1465.51	o 411
1467.81/1474.67	c cleaning 6842 clauses out of 13782 with flag 22304/481544
1482.88/1489.74	c Got one! Elapsed wall clock time (in seconds):1489.618
1482.88/1489.74	o 410
1484.58/1491.40	c Got one! Elapsed wall clock time (in seconds):1491.281
1484.58/1491.40	o 409
1484.78/1491.69	c cleaning 9244 clauses out of 18506 with flag 4401/493110
1486.18/1493.04	c Got one! Elapsed wall clock time (in seconds):1492.915
1486.18/1493.04	o 408
1486.47/1493.39	c cleaning 7472 clauses out of 14950 with flag 3783/498798
1490.76/1497.63	c cleaning 6599 clauses out of 13478 with flag 26556/504798
1491.56/1498.47	c Got one! Elapsed wall clock time (in seconds):1498.347
1491.56/1498.47	o 407
1491.86/1498.72	c cleaning 6075 clauses out of 12163 with flag 4252/510082
1493.16/1500.06	c cleaning 5854 clauses out of 12089 with flag 25529/516083
1493.75/1500.63	c Got one! Elapsed wall clock time (in seconds):1500.511
1493.75/1500.63	o 406
1494.76/1501.68	c cleaning 5798 clauses out of 11860 with flag 13121/521708
1496.16/1503.04	c Got one! Elapsed wall clock time (in seconds):1502.916
1496.16/1503.04	o 405
1496.55/1503.45	c cleaning 5578 clauses out of 11185 with flag 4646/526831
1498.25/1505.10	c cleaning 5667 clauses out of 11606 with flag 26092/532830
1499.05/1505.95	c Got one! Elapsed wall clock time (in seconds):1505.823
1499.05/1505.95	o 404
1500.00/1507.00	c cleaning 5787 clauses out of 11681 with flag 9090/538572
1501.70/1508.63	c cleaning 5897 clauses out of 11893 with flag 29959/544571
1502.70/1509.65	c Got one! Elapsed wall clock time (in seconds):1509.525
1502.70/1509.65	o 403
1503.11/1510.06	c cleaning 5788 clauses out of 11633 with flag 3686/550208
1505.01/1511.90	c Got one! Elapsed wall clock time (in seconds):1511.778
1505.01/1511.90	o 402
1511.99/1518.91	c cleaning 7954 clauses out of 15937 with flag 28829/560300
1558.32/1565.33	c cleaning 6993 clauses out of 13986 with flag 67613/566303
1609.82/1616.97	c cleaning 6991 clauses out of 13990 with flag 114013/573300
1642.06/1649.24	c cleaning 7444 clauses out of 15000 with flag 159167/581301
1668.38/1675.60	c cleaning 8168 clauses out of 16555 with flag 203383/590300
1669.28/1676.47	c Got one! Elapsed wall clock time (in seconds):1676.346
1669.28/1676.47	o 401
1669.78/1676.92	c cleaning 6740 clauses out of 13487 with flag 3967/595400
1671.77/1678.99	c Got one! Elapsed wall clock time (in seconds):1678.871
1671.77/1678.99	o 400
1672.17/1679.30	c cleaning 6095 clauses out of 12259 with flag 4139/600912
1678.46/1685.66	c cleaning 6069 clauses out of 12164 with flag 31732/606912
1689.77/1697.04	c cleaning 6402 clauses out of 13095 with flag 58702/613912
1690.37/1697.63	c Got one! Elapsed wall clock time (in seconds):1697.504
1690.37/1697.63	o 399
1691.27/1698.56	c cleaning 5848 clauses out of 11956 with flag 11626/619175
1693.17/1700.43	c Got one! Elapsed wall clock time (in seconds):1700.305
1693.17/1700.43	o 398
1696.06/1703.32	c cleaning 8437 clauses out of 17089 with flag 19717/630156
1697.06/1704.30	c Got one! Elapsed wall clock time (in seconds):1704.182
1697.06/1704.31	o 397
1697.26/1704.52	c cleaning 7149 clauses out of 14320 with flag 11871/635824
1750.86/1758.83	c cleaning 6577 clauses out of 13171 with flag 43469/641824
1833.10/1842.80	c cleaning 6778 clauses out of 13599 with flag 80645/648829
1903.35/1913.27	c cleaning 7399 clauses out of 14818 with flag 122890/656826
1934.10/1944.08	c cleaning 8191 clauses out of 16418 with flag 176689/665825
2001.33/2011.47	c cleaning 9074 clauses out of 18226 with flag 244200/675824
2075.26/2086.03	c cleaning 10050 clauses out of 20153 with flag 319465/686825
2113.97/2124.86	c cleaning 10879 clauses out of 22104 with flag 385654/698826
2114.67/2125.53	c Got one! Elapsed wall clock time (in seconds):2125.404
2114.67/2125.53	o 396
2116.55/2127.49	c cleaning 8302 clauses out of 16790 with flag 13993/704391
2119.75/2130.68	c Got one! Elapsed wall clock time (in seconds):2130.559
2119.75/2130.68	o 395
2120.45/2131.36	c cleaning 7045 clauses out of 14158 with flag 7719/710061
2123.35/2134.28	c cleaning 6379 clauses out of 13113 with flag 29324/716061
2124.15/2135.06	c Got one! Elapsed wall clock time (in seconds):2134.942
2124.15/2135.06	o 394
2125.17/2135.95	c cleaning 6029 clauses out of 12199 with flag 10254/721526
2126.96/2137.77	c cleaning 5901 clauses out of 12170 with flag 33762/727526
2127.16/2137.90	c Got one! Elapsed wall clock time (in seconds):2137.774
2127.16/2137.90	o 393
2152.50/2163.33	c cleaning 5835 clauses out of 11707 with flag 21011/732964
2221.05/2232.09	c cleaning 5917 clauses out of 11871 with flag 49481/738963
2296.92/2308.06	c cleaning 6463 clauses out of 12956 with flag 84979/745965
2382.75/2394.02	c cleaning 7234 clauses out of 14491 with flag 133010/753963
2483.89/2495.59	c cleaning 8129 clauses out of 16257 with flag 191211/762963
2592.65/2604.50	c cleaning 9063 clauses out of 18128 with flag 262790/772963
2684.09/2696.58	c cleaning 10032 clauses out of 20065 with flag 343987/783963
2789.30/2802.57	c cleaning 11009 clauses out of 22034 with flag 434279/795964
2877.84/2891.66	c cleaning 11979 clauses out of 24024 with flag 546371/808963
2986.43/3002.78	c cleaning 13015 clauses out of 26049 with flag 672069/822967
3094.41/3110.90	c cleaning 14011 clauses out of 28032 with flag 808656/837965
3206.06/3222.73	c cleaning 14996 clauses out of 30019 with flag 985601/853963
3344.36/3373.27	c cleaning 16000 clauses out of 32025 with flag 1136430/870965
3488.20/3520.57	c cleaning 16996 clauses out of 34025 with flag 1314755/888965
3592.02/3625.97	c cleaning 17882 clauses out of 36027 with flag 1483029/907963
3592.42/3626.31	c Got one! Elapsed wall clock time (in seconds):3626.187
3592.42/3626.31	o 392
3594.12/3628.04	c cleaning 11698 clauses out of 23495 with flag 19726/913313
3600.01/3633.92	c starts		: 7978
3600.01/3633.92	c conflicts		: 914583
3600.01/3633.92	c decisions		: 116166540
3600.01/3633.92	c propagations		: 8867528699
3600.01/3633.92	c inspects		: 21038380836
3600.01/3633.92	c shortcuts		: 0
3600.01/3633.92	c learnt literals	: 0
3600.01/3633.92	c learnt binary clauses	: 21
3600.01/3633.92	c learnt ternary clauses	: 9290
3600.01/3633.92	c learnt constraints	: 914583
3600.01/3633.92	c ignored constraints	: 0
3600.01/3633.92	c root simplifications	: 0
3600.01/3633.92	c removed literals (reason simplification)	: 190127
3600.01/3633.92	c reason swapping (by a shorter reason)	: 0
3600.01/3633.92	c Calls to reduceDB	: 116
3600.01/3633.92	c Number of update (reduction) of LBD	: 449613
3600.01/3633.92	c Imported unit clauses	: 0
3600.01/3633.92	c No decision after first conflict	: false
3600.01/3633.92	c number of reductions to clauses (during analyze)	: 0
3600.01/3633.92	c number of learned constraints concerned by reduction	: 0
3600.01/3633.92	c number of learning phase by resolution	: 0
3600.01/3633.92	c number of learning phase by cutting planes	: 0
3600.01/3633.92	c number of rounding to 1 operations	: 0
3600.01/3633.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3633.92	c number of reductions of the coefficients by power 2 	: 0
3600.01/3633.92	c number of right shift for reduction by power 2 	: 0
3600.01/3633.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3633.92	c number of ending skipping 	: 0
3600.01/3633.92	c number of internal skipping 	: 0
3600.01/3633.92	c number of derivation steps 	: 0
3600.01/3633.92	c number of skipped derivation steps 	: 0
3600.01/3633.92	c number of remaining unassigned 	: 0
3600.01/3633.92	c number of remaining assigned 	: 0
3600.01/3633.92	c number of falsified literals weakened from reason	: 0
3600.01/3633.92	c number of falsified literals weakened from conflict	: 0
3600.01/3633.92	c time for arithmetic operations	: 0
3600.01/3633.92	c minimum degree of deleted constraints	: null
3600.01/3633.92	c maximum degree of deleted constraints	: null
3600.01/3633.92	c number of deleted constraints	: 0
3600.01/3633.92	c speed (assignments/second)	: 2445295.382453439
3600.01/3633.92	c non guided choices	: 108066194
3600.01/3633.93	c timeout
3600.01/3633.93	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.01/3633.93		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.01/3633.93		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.01/3633.93		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.01/3633.93		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.01/3633.93		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.01/3633.93		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.01/3633.93		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: 63968 MiB (52612 MiB free)
  memory of node 1: 64473 MiB (36353 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440488-1721820740/watcher-4440488-1721820740 -o /tmp/evaluation-result-4440488-1721820740/solver-4440488-1721820740 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721817186-182709 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440488-1721820740 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440488-1721820740.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10082 s]*
/proc/loadavg: 4.13 4.17 4.10 6/334 184833
/proc/meminfo: memFree=91055896/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=18993908 memory=65776 CPUtime=0.14 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 7300 0 0 0 12 2 0 0 20 0 18 0 18601957 19449761792 16444 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4748477 16444 5771 1 0 549389 0
[pid=184815/tid=184817] ppid=184812 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 5845 0 0 0 7 1 0 0 20 0 18 0 18601957 19449761792 16444 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=18993908 memory=232851243367 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18601960 19449761792 16444 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=18993908 memory=13855170183833064 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18601960 19449761792 16444 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 65776 KiB

[startup+0.207793 s]*
/proc/loadavg: 4.13 4.17 4.10 6/335 184834
/proc/meminfo: memFree=90956580/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19060472 memory=165024 CPUtime=0.33 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 7823 0 0 0 29 4 0 0 20 0 19 0 18601957 19517923328 41256 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4765118 41256 6059 1 0 549906 0
[pid=184815/tid=184817] ppid=184812 vsize=19060472 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 6046 0 0 0 15 3 0 0 20 0 19 0 18601957 19517923328 41256 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19060472 memory=1583096 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18601960 19517923328 41256 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19060472 memory=13573695205541613 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18601960 19517923328 41256 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 165024 KiB

[startup+0.306819 s]*
/proc/loadavg: 4.13 4.17 4.10 5/335 184834
/proc/meminfo: memFree=90775612/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19060472 memory=345180 CPUtime=0.48 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 9382 0 0 0 40 8 0 0 20 0 19 0 18601957 19517923328 86295 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4765118 86295 6075 1 0 550914 0
[pid=184815/tid=184817] ppid=184812 vsize=19060472 memory=-9033203153131840188 CPUtime=0.24 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) S 184812 184815 182698 0 -1 1077936192 6126 0 0 0 18 6 0 0 20 0 19 0 18601957 19517923328 86295 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18601960 19517923328 86295 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18601960 19517923328 86295 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 345180 KiB

[startup+0.707309 s]
/proc/loadavg: 4.13 4.17 4.10 6/335 184834
/proc/meminfo: memFree=90275700/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19060472 memory=1118472 CPUtime=1.18 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 11462 0 0 0 95 23 0 0 20 0 19 0 18601957 19517923328 279618 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4765118 279618 6124 1 0 1077783 0
[pid=184815/tid=184817] ppid=184812 vsize=19060472 memory=5612 CPUtime=0.6 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 6484 0 0 0 40 20 0 0 20 0 19 0 18601957 19517923328 279618 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19060472 memory=12368 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18601960 19517923328 279618 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19060472 memory=4965 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18601960 19517923328 279618 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 1118472 KiB

[startup+1.50031 s]
/proc/loadavg: 4.13 4.17 4.10 6/335 184834
/proc/meminfo: memFree=88848956/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19060472 memory=3421500 CPUtime=2.12 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 14310 0 0 0 144 68 0 0 20 0 19 0 18601957 19517923328 855375 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4765118 855375 6124 1 0 1606799 0
[pid=184815/tid=184817] ppid=184812 vsize=19060472 memory=4965 CPUtime=1.36 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 7590 0 0 0 73 63 0 0 20 0 19 0 18601957 19517923328 855375 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18601960 19517923328 855375 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19060472 memory=12368 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18601960 19517923328 855375 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 2.12 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 3421500 KiB

[startup+3.11633 s]
/proc/loadavg: 4.12 4.16 4.09 5/335 184834
/proc/meminfo: memFree=87144064/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19060472 memory=4118472 CPUtime=3.93 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 16445 0 0 0 310 83 0 0 20 0 19 0 18601957 19517923328 1029618 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4765118 1029618 6124 1 0 1607910 0
[pid=184815/tid=184817] ppid=184812 vsize=19060472 memory=12368 CPUtime=2.88 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 7912 0 0 0 212 76 0 0 20 0 19 0 18601957 19517923328 1029618 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18601960 19517923328 1029618 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19060472 memory=6657 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18601960 19517923328 1029618 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 3.93 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 4118472 KiB

[startup+6.30028 s]
/proc/loadavg: 4.12 4.16 4.09 5/335 184834
/proc/meminfo: memFree=87105744/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19060472 memory=4418796 CPUtime=7.21 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 17277 0 0 0 632 89 0 0 20 0 19 0 18601957 19517923328 1104699 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4765118 1104699 6140 1 0 1708169 0
[pid=184815/tid=184817] ppid=184812 vsize=19060472 memory=12368 CPUtime=5.82 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 8377 0 0 0 500 82 0 0 20 0 19 0 18601957 19517923328 1104699 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19060472 memory=-9033203153131840188 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18601960 19517923328 1104699 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19060472 memory=1584028 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18601960 19517923328 1104699 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 7.21 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 4418796 KiB

[startup+12.7003 s]
/proc/loadavg: 4.35 4.21 4.11 5/336 184836
/proc/meminfo: memFree=86651348/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19127036 memory=4547296 CPUtime=16.34 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 24644 0 0 0 1540 94 0 0 20 0 20 0 18601957 19586084864 1136824 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4781759 1136824 6177 1 0 1712186 0
[pid=184815/tid=184817] ppid=184812 vsize=19127036 memory=12368 CPUtime=12.15 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 9075 0 0 0 1130 85 0 0 20 0 20 0 18601957 19586084864 1136824 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19127036 memory=4547544 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1136824 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19127036 memory=4547296 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1136824 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184835] ppid=184812 vsize=19127036 memory=-9033203153131840188 CPUtime=0 cores=4,6
/proc/184815/task/184835/stat : 184835 (Timer-0) S 184812 184815 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18602712 19586084864 1136824 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 16.34 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4547296 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.20 4.11 5/336 184839
/proc/meminfo: memFree=86571572/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19127036 memory=4546704 CPUtime=30.77 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 29696 0 0 0 2980 97 0 0 20 0 20 0 18601957 19586084864 1136676 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4781759 1136676 6192 1 0 1712202 0
[pid=184815/tid=184817] ppid=184812 vsize=19127036 memory=4547296 CPUtime=24.92 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 9531 0 0 0 2406 86 0 0 20 0 20 0 18601957 19586084864 1136676 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19127036 memory=4553708 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1136676 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19127036 memory=4553708 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1136676 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184835] ppid=184812 vsize=19127036 memory=12368 CPUtime=0 cores=4,6
/proc/184815/task/184835/stat : 184835 (Timer-0) S 184812 184815 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18602712 19586084864 1136676 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 30.77 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4546704 KiB

[startup+51.1059 s]
/proc/loadavg: 4.32 4.21 4.11 5/337 184913
/proc/meminfo: memFree=97093948/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19127036 memory=4547364 CPUtime=56.56 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 35656 0 0 0 5556 100 0 0 20 0 20 0 18601957 19586084864 1136841 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4781759 1136841 6192 1 0 1712227 0
[pid=184815/tid=184817] ppid=184812 vsize=19127036 memory=4547356 CPUtime=50.35 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 11096 0 0 0 4947 88 0 0 20 0 20 0 18601957 19586084864 1136841 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19127036 memory=4546784 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1136841 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19127036 memory=4546716 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1136841 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184835] ppid=184812 vsize=19127036 memory=11624 CPUtime=0 cores=4,6
/proc/184815/task/184835/stat : 184835 (Timer-0) S 184812 184815 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18602712 19586084864 1136841 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 56.56 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4547364 KiB


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

/proc/meminfo: memFree=84253896/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19127036 memory=4765512 CPUtime=3254.65 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 235494 0 0 0 324999 466 0 0 20 0 20 0 18601957 19586084864 1191378 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4781759 1191378 6208 1 0 1712340 0
[pid=184815/tid=184817] ppid=184812 vsize=19127036 memory=4765512 CPUtime=3241.72 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 139419 0 0 0 323852 320 0 0 20 0 20 0 18601957 19586084864 1191378 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2750 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19127036 memory=11624 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1191378 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19127036 memory=4765512 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 5563 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1191378 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184835] ppid=184812 vsize=19127036 memory=11624 CPUtime=0 cores=4,6
/proc/184815/task/184835/stat : 184835 (Timer-0) S 184812 184815 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18602712 19586084864 1191378 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 3254.65 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4765512 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.18 4.17 6/332 186603
/proc/meminfo: memFree=83731324/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19127036 memory=4765512 CPUtime=3313.71 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 240726 0 0 0 330895 476 0 0 20 0 20 0 18601957 19586084864 1191378 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4781759 1191378 6208 1 0 1712340 0
[pid=184815/tid=184817] ppid=184812 vsize=19127036 memory=12368 CPUtime=3300.28 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 141530 0 0 0 329702 326 0 0 20 0 20 0 18601957 19586084864 1191378 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2855 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19127036 memory=4765512 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1191378 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19127036 memory=4765512 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 5641 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1191378 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184835] ppid=184812 vsize=19127036 memory=11624 CPUtime=0 cores=4,6
/proc/184815/task/184835/stat : 184835 (Timer-0) S 184812 184815 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18602712 19586084864 1191378 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 3313.71 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4765512 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/334 186784
/proc/meminfo: memFree=82956668/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19127036 memory=5007648 CPUtime=3373.29 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 245010 0 0 0 336841 488 0 0 20 0 20 0 18601957 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4781759 1251912 6208 1 0 1712340 0
[pid=184815/tid=184817] ppid=184812 vsize=19127036 memory=4765512 CPUtime=3359.4 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 143398 0 0 0 335610 330 0 0 20 0 20 0 18601957 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2905 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19127036 memory=4765512 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19127036 memory=67648 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 5701 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184835] ppid=184812 vsize=19127036 memory=4765512 CPUtime=0 cores=4,6
/proc/184815/task/184835/stat : 184835 (Timer-0) S 184812 184815 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18602712 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 3373.29 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5007648 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/333 186796
/proc/meminfo: memFree=82431056/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19127036 memory=5007648 CPUtime=3432.69 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 247165 0 0 0 342774 495 0 0 20 0 20 0 18601957 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4781759 1251912 6208 1 0 1712340 0
[pid=184815/tid=184817] ppid=184812 vsize=19127036 memory=4765512 CPUtime=3418.77 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 145322 0 0 0 341541 336 0 0 20 0 20 0 18601957 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2953 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19127036 memory=67648 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19127036 memory=5007648 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 5826 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184835] ppid=184812 vsize=19127036 memory=5007648 CPUtime=0 cores=4,6
/proc/184815/task/184835/stat : 184835 (Timer-0) S 184812 184815 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18602712 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 3432.69 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5007648 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/337 186866
/proc/meminfo: memFree=81905424/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19127036 memory=5007648 CPUtime=3490 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 251004 0 0 0 348500 500 0 0 20 0 20 0 18601957 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4781759 1251912 6208 1 0 1712340 0
[pid=184815/tid=184817] ppid=184812 vsize=19127036 memory=5612 CPUtime=3476.05 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 148524 0 0 0 347265 340 0 0 20 0 20 0 18601957 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3210 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19127036 memory=5007648 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19127036 memory=5007648 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 5928 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184835] ppid=184812 vsize=19127036 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/184815/task/184835/stat : 184835 (Timer-0) S 184812 184815 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18602712 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 3490 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5007648 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/337 186877
/proc/meminfo: memFree=81342004/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19127036 memory=5007648 CPUtime=3548.39 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 254229 0 0 0 354334 505 0 0 20 0 20 0 18601957 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4781759 1251912 6208 1 0 1712340 0
[pid=184815/tid=184817] ppid=184812 vsize=19127036 memory=5007648 CPUtime=3534.4 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 151231 0 0 0 353097 343 0 0 20 0 20 0 18601957 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3360 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19127036 memory=11624 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19127036 memory=11624 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 6054 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184835] ppid=184812 vsize=19127036 memory=279274745601664 CPUtime=0 cores=4,6
/proc/184815/task/184835/stat : 184835 (Timer-0) S 184812 184815 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18602712 19586084864 1251912 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 3548.39 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5007648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3633.9 s]
/proc/loadavg: 4.14 4.16 4.17 6/338 186888
/proc/meminfo: memFree=80931708/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19127036 memory=5007840 CPUtime=3600.01 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 259864 0 0 0 359488 513 0 0 20 0 20 0 18601957 19586084864 1251960 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4781759 1251960 6208 1 0 1712389 0
[pid=184815/tid=184817] ppid=184812 vsize=19127036 memory=5007648 CPUtime=3585.7 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 153723 0 0 0 358222 348 0 0 20 0 20 0 18601957 19586084864 1251960 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3363 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19127036 memory=5007648 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1251960 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19127036 memory=11624 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 6054 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1251960 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184835] ppid=184812 vsize=19127036 memory=2028 CPUtime=0 cores=4,6
/proc/184815/task/184835/stat : 184835 (Timer-0) S 184812 184815 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18602712 19586084864 1251960 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5007840 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.94 s, system=5.15499 s

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

[startup+3633.9 s]
/proc/loadavg: 4.14 4.16 4.17 6/338 186888
/proc/meminfo: memFree=80931708/131524600 swapFree=131061136/131071996
[pid=184815] ppid=184812 vsize=19127036 memory=5007840 CPUtime=3600.01 cores=4,6
/proc/184815/stat : 184815 (java) S 184812 184815 182698 0 -1 1077936128 259864 0 0 0 359488 513 0 0 20 0 20 0 18601957 19586084864 1251960 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
/proc/184815/statm: 4781759 1251960 6208 1 0 1712389 0
[pid=184815/tid=184817] ppid=184812 vsize=19127036 memory=5007648 CPUtime=3585.7 cores=4,6
/proc/184815/task/184817/stat : 184817 (java) R 184812 184815 182698 0 -1 4194368 153723 0 0 0 358222 348 0 0 20 0 20 0 18601957 19586084864 1251960 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3363 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184826] ppid=184812 vsize=19127036 memory=5007648 CPUtime=0 cores=4,6
/proc/184815/task/184826/stat : 184826 (Finalizer) S 184812 184815 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1251960 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184833] ppid=184812 vsize=19127036 memory=11624 CPUtime=0 cores=4,6
/proc/184815/task/184833/stat : 184833 (Common-Cleaner) S 184812 184815 182698 0 -1 1077936192 6054 0 0 0 0 0 0 0 20 0 20 0 18601960 19586084864 1251960 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
[pid=184815/tid=184835] ppid=184812 vsize=19127036 memory=2028 CPUtime=0 cores=4,6
/proc/184815/task/184835/stat : 184835 (Timer-0) S 184812 184815 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18602712 19586084864 1251960 134679101440 94165004701696 94165004705392 140731907884848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94165004713208 94165004714000 94165022613504 140731907888047 140731907888229 140731907888229 140731907895240 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5007840 KiB

Child status: 143

Real time (s): 3634
CPU time (s): 3600.09
CPU user time (s): 3594.94
CPU system time (s): 5.15499
CPU usage (%): 99.0669
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 5007840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.94
system time used= 5.15499
maximum resident set size= 5009668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262236
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3375456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129975
involuntary context switches= 9867


# summary of solver processes directly reported to runsolver:
#   pid: 184815
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3594.94
#   total CPU system time (s): 5.15499

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.88948 second user time and 15.71 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-24 13:32:21
IDJOB=4440488
IDBENCH=155361
IDSOLVER=3079
FILE ID=nodeC014/4440488-1721820740
RUNJOBID= nodeC014-1721817186-182709
SLURM_JOB_ID= 7816864
Free space on /tmp= 890016 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-ns1853823.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440488-1721820740/watcher-4440488-1721820740 -o /tmp/evaluation-result-4440488-1721820740/solver-4440488-1721820740 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721817186-182709 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440488-1721820740 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440488-1721820740.opb

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

MD5SUM BENCH= 3c426cde4ea6abbedea70a80ee72c27e
RANDOM SEED=345911906

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        91101304 kB
MemAvailable:   119987744 kB
Buffers:          241052 kB
Cached:         29448400 kB
SwapCached:          236 kB
Active:          2096480 kB
Inactive:       37648784 kB
Active(anon):       2124 kB
Inactive(anon): 10106992 kB
Active(file):    2094356 kB
Inactive(file): 27541792 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061136 kB
Dirty:            136060 kB
Writeback:             4 kB
AnonPages:      10051492 kB
Mapped:           116596 kB
Shmem:             53232 kB
KReclaimable:     180228 kB
Slab:             302168 kB
SReclaimable:     180228 kB
SUnreclaim:       121940 kB
KernelStack:        5104 kB
PageTables:        30352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   10560532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16896 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9656320 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      359124 kB
DirectMap2M:    35065856 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC014 at 2024-07-24 14:32:55