Trace number 4484178

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 2025-06-06SAT (TO)305 3600.66 3603.62

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
MD5SUM21e5c9aefd9c10ac1801b7f257b8155f
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 benchmark304
Best CPU time to get the best result obtained on this benchmark0.00479
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables257
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Number of terms in the objective function 173
Biggest coefficient in the objective function 100
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 8448
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 100
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 8448
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.08/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.20	c See www.sat4j.org for details.
0.24/0.22	c version PB25.v20250606
0.24/0.25	c java.runtime.name	OpenJDK Runtime Environment
0.24/0.25	c java.vm.name		OpenJDK 64-Bit Server VM
0.24/0.25	c java.vm.version	22.0.1+8-16
0.24/0.25	c java.vm.vendor	Oracle Corporation
0.24/0.25	c sun.arch.data.model	64
0.24/0.25	c java.version		22.0.1
0.24/0.25	c os.name		Linux
0.24/0.25	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.24/0.25	c os.arch		amd64
0.24/0.26	c Free memory 		2104792832
0.24/0.26	c Max memory 		16282288128
0.24/0.26	c Total memory 		2113929216
0.24/0.27	c Number of processors 	2
0.40/0.38	c Pseudo Boolean Optimization by upper bound
0.40/0.38	c --- Begin Solver configuration ---
0.40/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.40/0.38	c Learn all clauses as in MiniSAT
0.40/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.40/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.40/0.38	c Expensive reason simplification
0.40/0.38	c Glucose 2.1 dynamic restart strategy
0.40/0.38	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.40/0.38	c timeout=2147483s
0.40/0.38	c DB Simplification allowed=false
0.40/0.38	c Listener: none
0.40/0.38	c --- End Solver configuration ---
0.40/0.38	c solving HOME/instance-4484178-1751290673.opb
0.40/0.38	c reading problem ... 
0.40/0.38	c  objective function found
0.58/0.46	c ... done. Wall clock time 0.077s.
0.58/0.46	c declared #vars     257
0.58/0.46	c #constraints  182
0.58/0.46	c constraints type 
0.58/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 80
0.58/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 56
0.58/0.47	c org.sat4j.specs.Constr$1 => 1
0.58/0.47	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.58/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 44
0.58/0.47	c 182 constraints processed.
0.58/0.50	c objective function length is 173 literals
0.58/0.51	c SATISFIABLE
0.58/0.51	c OPTIMIZING...
0.58/0.51	c Got one! Elapsed wall clock time (in seconds):0.127
0.58/0.51	o 305
1.89/1.11	c cleaning 2495 clauses out of 5001 with flag 10185/5001
2.67/1.52	c cleaning 4253 clauses out of 8506 with flag 22211/11001
3.26/1.80	c cleaning 5624 clauses out of 11253 with flag 36211/18001
3.67/2.07	c cleaning 6813 clauses out of 13628 with flag 52209/26000
4.13/2.36	c cleaning 7908 clauses out of 15816 with flag 70211/35001
4.53/2.63	c cleaning 8952 clauses out of 17908 with flag 90211/45001
4.89/2.93	c cleaning 9975 clauses out of 19956 with flag 112211/56001
5.58/3.60	c cleaning 10990 clauses out of 21981 with flag 136211/68001
6.09/4.15	c cleaning 11992 clauses out of 23991 with flag 162211/81001
6.59/4.64	c cleaning 12999 clauses out of 25999 with flag 190211/95001
7.01/5.07	c cleaning 13998 clauses out of 28000 with flag 220211/110001
7.53/5.52	c cleaning 14998 clauses out of 30002 with flag 252211/126001
8.08/6.02	c cleaning 15999 clauses out of 32004 with flag 286211/143001
8.63/6.53	c cleaning 16999 clauses out of 34005 with flag 322313/161001
9.24/7.13	c cleaning 18002 clauses out of 36006 with flag 360313/180001
9.93/7.88	c cleaning 19001 clauses out of 38004 with flag 400313/200001
10.73/8.65	c cleaning 20001 clauses out of 40003 with flag 442313/221001
11.52/9.48	c cleaning 20999 clauses out of 42001 with flag 486311/243000
12.32/10.28	c cleaning 22001 clauses out of 44002 with flag 532311/266000
13.32/11.22	c cleaning 22999 clauses out of 46001 with flag 580311/290000
14.23/12.16	c cleaning 23998 clauses out of 48003 with flag 630313/315001
15.13/13.01	c cleaning 25000 clauses out of 50005 with flag 682313/341001
16.01/14.01	c cleaning 25994 clauses out of 52004 with flag 736311/368000
17.01/14.93	c cleaning 27003 clauses out of 54011 with flag 792313/396001
18.01/15.97	c cleaning 28002 clauses out of 56007 with flag 850311/425000
19.01/16.91	c cleaning 29003 clauses out of 58005 with flag 910311/455000
19.90/17.87	c cleaning 30000 clauses out of 60002 with flag 972311/486000
21.11/19.10	c cleaning 31000 clauses out of 62002 with flag 1036311/518000
22.30/20.29	c cleaning 31996 clauses out of 64002 with flag 1102311/551000
23.80/21.79	c cleaning 33002 clauses out of 66007 with flag 1170313/585001
25.35/23.18	c cleaning 33996 clauses out of 68004 with flag 1240325/620000
27.69/25.33	c cleaning 35000 clauses out of 70008 with flag 1312325/656000
30.68/28.34	c cleaning 36000 clauses out of 72008 with flag 1386325/693000
32.79/30.44	c cleaning 37002 clauses out of 74008 with flag 1462325/731000
35.08/32.70	c cleaning 38000 clauses out of 76006 with flag 1540325/770000
38.55/36.27	c cleaning 38999 clauses out of 78007 with flag 1620327/810001
41.05/38.73	c cleaning 40002 clauses out of 80008 with flag 1702327/851001
43.65/41.39	c cleaning 41002 clauses out of 82006 with flag 1786327/893001
46.45/44.16	c cleaning 41997 clauses out of 84004 with flag 1872327/936001
49.73/47.42	c cleaning 42999 clauses out of 86007 with flag 1960327/980001
54.30/52.08	c cleaning 44003 clauses out of 88008 with flag 2050327/1025001
58.17/55.97	c cleaning 44998 clauses out of 90005 with flag 2142327/1071001
63.35/61.18	c cleaning 46002 clauses out of 92007 with flag 2236327/1118001
68.13/65.92	c cleaning 47001 clauses out of 94005 with flag 2332327/1166001
72.16/69.86	c cleaning 47996 clauses out of 96003 with flag 2430325/1215000
76.16/73.89	c cleaning 48999 clauses out of 98008 with flag 2530327/1265001
80.47/78.15	c cleaning 50000 clauses out of 100008 with flag 2632325/1316000
84.55/82.22	c cleaning 51004 clauses out of 102009 with flag 2736327/1368001
89.14/86.88	c cleaning 52001 clauses out of 104005 with flag 2842327/1421001
94.52/92.26	c cleaning 53000 clauses out of 106003 with flag 2950325/1475000
99.52/97.22	c cleaning 53999 clauses out of 108003 with flag 3060325/1530000
104.91/102.66	c cleaning 54998 clauses out of 110004 with flag 3172325/1586000
110.90/108.60	c cleaning 55999 clauses out of 112006 with flag 3286325/1643000
117.20/114.90	c cleaning 56998 clauses out of 114007 with flag 3402325/1701000
123.88/121.62	c cleaning 58005 clauses out of 116010 with flag 3520327/1760001
129.98/127.70	c cleaning 58996 clauses out of 118004 with flag 3640325/1820000
137.07/134.82	c cleaning 60003 clauses out of 120008 with flag 3762325/1881000
144.85/142.62	c cleaning 60998 clauses out of 122005 with flag 3886325/1943000
152.44/150.28	c cleaning 61998 clauses out of 124007 with flag 4012325/2006000
161.12/158.98	c cleaning 63003 clauses out of 126009 with flag 4140325/2070000
170.70/168.53	c cleaning 64000 clauses out of 128006 with flag 4270325/2135000
180.97/178.86	c cleaning 64994 clauses out of 130006 with flag 4402325/2201000
190.65/188.54	c cleaning 66006 clauses out of 132014 with flag 4536329/2268002
200.83/198.77	c cleaning 66999 clauses out of 134007 with flag 4672327/2336001
211.23/209.15	c cleaning 67999 clauses out of 136007 with flag 4810325/2405000
221.59/219.54	c cleaning 68992 clauses out of 138008 with flag 4950325/2475000
232.47/230.49	c cleaning 70006 clauses out of 140017 with flag 5092327/2546001
243.45/241.43	c cleaning 71002 clauses out of 142010 with flag 5236325/2618000
255.53/253.54	c cleaning 72003 clauses out of 144008 with flag 5382325/2691000
267.50/265.59	c cleaning 73000 clauses out of 146006 with flag 5530327/2765001
280.58/278.63	c cleaning 74003 clauses out of 148005 with flag 5680325/2840000
295.42/293.52	c cleaning 75001 clauses out of 150003 with flag 5832327/2916001
309.30/307.48	c cleaning 76001 clauses out of 152001 with flag 5986325/2993000
324.07/322.26	c cleaning 76998 clauses out of 154001 with flag 6142327/3071001
339.34/337.52	c cleaning 77997 clauses out of 156002 with flag 6300325/3150000
355.10/353.39	c cleaning 79000 clauses out of 158005 with flag 6460325/3230000
370.79/369.04	c cleaning 79999 clauses out of 160005 with flag 6622329/3311000
379.77/378.08	c cleaning 81001 clauses out of 162006 with flag 6786329/3393000
390.94/389.28	c cleaning 82000 clauses out of 164005 with flag 6952329/3476000
404.12/402.43	c cleaning 83001 clauses out of 166005 with flag 7120329/3560000
418.00/416.36	c cleaning 83997 clauses out of 168004 with flag 7290329/3645000
430.79/429.13	c cleaning 84999 clauses out of 170008 with flag 7462362/3731001
441.85/440.24	c cleaning 86002 clauses out of 172008 with flag 7636365/3818000
453.44/451.87	c cleaning 87001 clauses out of 174006 with flag 7812401/3906000
466.42/464.89	c cleaning 88003 clauses out of 176005 with flag 7990457/3995000
479.24/477.64	c cleaning 88995 clauses out of 178003 with flag 8170549/4085001
492.63/491.10	c cleaning 89998 clauses out of 180007 with flag 8352547/4176000
506.79/505.23	c cleaning 91001 clauses out of 182010 with flag 8536549/4268001
520.67/519.11	c cleaning 92004 clauses out of 184009 with flag 8722549/4361001
536.35/534.81	c cleaning 93003 clauses out of 186005 with flag 8910549/4455001
553.12/551.70	c cleaning 93995 clauses out of 188002 with flag 9100549/4550001
571.38/569.93	c cleaning 95002 clauses out of 190007 with flag 9292549/4646001
590.74/589.34	c cleaning 95996 clauses out of 192005 with flag 9486549/4743001
610.80/609.41	c cleaning 97005 clauses out of 194009 with flag 9682549/4841001
626.77/625.41	c cleaning 97998 clauses out of 196003 with flag 9880672/4940000
643.73/642.44	c cleaning 98998 clauses out of 198005 with flag 10080861/5040000
660.69/659.42	c cleaning 99999 clauses out of 200008 with flag 10283018/5141001
680.75/679.53	c cleaning 101002 clauses out of 202009 with flag 10487306/5243001
700.41/699.26	c cleaning 101998 clauses out of 204006 with flag 10694474/5346000
722.46/721.32	c cleaning 102998 clauses out of 206009 with flag 10903091/5450001
744.61/743.55	c cleaning 104005 clauses out of 208010 with flag 11113542/5555000
766.82/765.62	c cleaning 105000 clauses out of 210006 with flag 11326222/5661001
788.79/787.62	c cleaning 106001 clauses out of 212006 with flag 11540932/5768001
809.46/808.34	c cleaning 106993 clauses out of 214004 with flag 11757327/5876000
830.33/829.27	c cleaning 108003 clauses out of 216013 with flag 11975460/5985002
852.18/851.07	c cleaning 109002 clauses out of 218008 with flag 12195606/6095000
877.92/876.80	c cleaning 110001 clauses out of 220007 with flag 12417987/6206001
900.49/899.41	c cleaning 111001 clauses out of 222006 with flag 12642107/6318001
923.55/922.59	c cleaning 112000 clauses out of 224006 with flag 12868529/6431002
950.63/949.68	c cleaning 112996 clauses out of 226004 with flag 13097258/6545000
977.69/976.71	c cleaning 114001 clauses out of 228008 with flag 13327809/6660000
999.84/998.93	c cleaning 114999 clauses out of 230007 with flag 13560543/6776000
1026.39/1025.59	c cleaning 116002 clauses out of 232008 with flag 13796384/6893000
1052.33/1051.53	c cleaning 116998 clauses out of 234006 with flag 14040490/7011000
1077.18/1076.49	c cleaning 118003 clauses out of 236008 with flag 14286026/7130000
1101.05/1100.33	c cleaning 119002 clauses out of 238005 with flag 14534666/7250000
1126.30/1125.66	c cleaning 119995 clauses out of 240003 with flag 14784001/7371000
1155.04/1154.41	c cleaning 121002 clauses out of 242008 with flag 15032653/7493000
1182.99/1182.46	c cleaning 122002 clauses out of 244006 with flag 15286067/7616000
1211.33/1210.87	c cleaning 122999 clauses out of 246004 with flag 15541094/7740000
1241.37/1240.99	c cleaning 123998 clauses out of 248005 with flag 15798344/7865000
1274.61/1274.27	c cleaning 125000 clauses out of 250007 with flag 16056121/7991000
1305.54/1305.27	c cleaning 125998 clauses out of 252007 with flag 16319072/8118000
1335.69/1335.48	c cleaning 127001 clauses out of 254009 with flag 16586558/8246000
1374.22/1374.07	c cleaning 128000 clauses out of 256008 with flag 16853429/8375000
1405.84/1405.78	c cleaning 129002 clauses out of 258008 with flag 17120752/8505000
1437.01/1437.07	c cleaning 130000 clauses out of 260006 with flag 17390921/8636000
1470.44/1470.56	c cleaning 131003 clauses out of 262006 with flag 17659566/8768000
1493.30/1493.48	c cleaning 132001 clauses out of 264003 with flag 17929272/8901000
1510.87/1511.01	c cleaning 132994 clauses out of 266002 with flag 18197272/9035000
1528.72/1528.96	c cleaning 133998 clauses out of 268008 with flag 18467272/9170000
1548.13/1548.32	c cleaning 135004 clauses out of 270010 with flag 18739272/9306000
1567.19/1567.44	c cleaning 135998 clauses out of 272006 with flag 19013272/9443000
1588.35/1588.61	c cleaning 137002 clauses out of 274008 with flag 19289272/9581000
1609.50/1609.89	c cleaning 138003 clauses out of 276006 with flag 19567272/9720000
1630.67/1631.11	c cleaning 139001 clauses out of 278003 with flag 19847272/9860000
1651.03/1651.45	c cleaning 139997 clauses out of 280002 with flag 20129272/10001000
1673.87/1674.35	c cleaning 141001 clauses out of 282005 with flag 20413272/10143000
1699.94/1700.47	c cleaning 141999 clauses out of 284004 with flag 20699272/10286000
1725.10/1725.64	c cleaning 142999 clauses out of 286005 with flag 20987272/10430000
1750.95/1751.52	c cleaning 143999 clauses out of 288006 with flag 21277272/10575000
1777.60/1778.27	c cleaning 145000 clauses out of 290007 with flag 21569272/10721000
1807.03/1807.75	c cleaning 146000 clauses out of 292007 with flag 21863272/10868000
1834.68/1835.48	c cleaning 147000 clauses out of 294007 with flag 22159272/11016000
1863.01/1863.79	c cleaning 147999 clauses out of 296007 with flag 22457272/11165000
1891.58/1892.35	c cleaning 149001 clauses out of 298008 with flag 22757272/11315000
1924.23/1925.05	c cleaning 150000 clauses out of 300007 with flag 23059272/11466000
1959.18/1960.06	c cleaning 151002 clauses out of 302007 with flag 23363272/11618000
1994.40/1995.39	c cleaning 151998 clauses out of 304005 with flag 23669272/11771000
2031.50/2032.20	c cleaning 153002 clauses out of 306007 with flag 23977272/11925000
2063.53/2064.35	c cleaning 154002 clauses out of 308005 with flag 24287272/12080000
2096.36/2097.20	c cleaning 155002 clauses out of 310003 with flag 24599272/12236000
2135.69/2136.60	c cleaning 155998 clauses out of 312001 with flag 24913272/12393000
2175.36/2176.34	c cleaning 156997 clauses out of 314003 with flag 25229272/12551000
2219.00/2220.08	c cleaning 158003 clauses out of 316006 with flag 25547272/12710000
2263.20/2264.30	c cleaning 159002 clauses out of 318003 with flag 25867272/12870000
2309.32/2310.56	c cleaning 159996 clauses out of 320001 with flag 26189277/13031000
2337.93/2339.14	c cleaning 160998 clauses out of 322005 with flag 26513277/13193000
2371.35/2372.68	c cleaning 162001 clauses out of 324007 with flag 26839277/13356000
2405.09/2406.46	c cleaning 163001 clauses out of 326006 with flag 27167277/13520000
2441.51/2442.88	c cleaning 164002 clauses out of 328005 with flag 27497277/13685000
2473.06/2474.44	c cleaning 164993 clauses out of 330003 with flag 27829277/13851000
2514.05/2515.46	c cleaning 166001 clauses out of 332010 with flag 28163277/14018000
2558.27/2559.79	c cleaning 167003 clauses out of 334009 with flag 28499277/14186000
2600.59/2602.13	c cleaning 167999 clauses out of 336006 with flag 28837277/14355000
2642.80/2644.45	c cleaning 169001 clauses out of 338007 with flag 29177277/14525000
2682.62/2684.35	c cleaning 169999 clauses out of 340006 with flag 29519277/14696000
2727.52/2729.39	c cleaning 171000 clauses out of 342007 with flag 29863277/14868000
2764.06/2765.91	c cleaning 172001 clauses out of 344007 with flag 30209277/15041000
2807.85/2809.86	c cleaning 173001 clauses out of 346006 with flag 30557277/15215000
2857.97/2860.10	c cleaning 173998 clauses out of 348005 with flag 30907277/15390000
2906.87/2909.03	c cleaning 175002 clauses out of 350007 with flag 31259277/15566000
2954.77/2957.04	c cleaning 176000 clauses out of 352005 with flag 31613277/15743000
3002.17/3004.56	c cleaning 177002 clauses out of 354005 with flag 31969277/15921000
3055.76/3058.27	c cleaning 178001 clauses out of 356003 with flag 32327277/16100000
3092.00/3094.55	c cleaning 178995 clauses out of 358002 with flag 32687603/16280000
3116.32/3118.81	c cleaning 180002 clauses out of 360007 with flag 33049608/16461000
3139.38/3141.99	c cleaning 180999 clauses out of 362005 with flag 33413608/16643000
3164.44/3167.02	c cleaning 181999 clauses out of 364006 with flag 33779608/16826000
3189.39/3192.05	c cleaning 182999 clauses out of 366007 with flag 34147608/17010000
3213.03/3215.71	c cleaning 184000 clauses out of 368008 with flag 34517608/17195000
3236.78/3239.58	c cleaning 185001 clauses out of 370008 with flag 34889608/17381000
3262.43/3265.23	c cleaning 186004 clauses out of 372007 with flag 35263608/17568000
3290.07/3292.95	c cleaning 187002 clauses out of 374003 with flag 35639608/17756000
3315.72/3318.66	c cleaning 187999 clauses out of 376001 with flag 36017608/17945000
3347.55/3350.60	c cleaning 188996 clauses out of 378002 with flag 36397608/18135000
3378.79/3381.72	c cleaning 190000 clauses out of 380006 with flag 36779608/18326000
3406.35/3409.39	c cleaning 190996 clauses out of 382006 with flag 37163613/18518000
3434.44/3437.49	c cleaning 192001 clauses out of 384010 with flag 37549613/18711000
3465.67/3468.78	c cleaning 193001 clauses out of 386009 with flag 37937613/18905000
3498.02/3501.12	c cleaning 194004 clauses out of 388008 with flag 38327613/19100000
3529.54/3532.72	c cleaning 195002 clauses out of 390004 with flag 38719613/19296000
3561.27/3564.52	c cleaning 196000 clauses out of 392002 with flag 39113613/19493000
3595.81/3599.16	c cleaning 196996 clauses out of 394002 with flag 39509613/19691000
3600.04/3603.34	c starts		: 103
3600.04/3603.36	c conflicts		: 19728900
3600.04/3603.37	c decisions		: 30991627
3600.04/3603.37	c propagations		: 1519236586
3600.04/3603.37	c inspects		: 35000176460
3600.04/3603.37	c shortcuts		: 0
3600.04/3603.37	c learnt literals	: 0
3600.04/3603.37	c learnt binary clauses	: 0
3600.04/3603.37	c learnt ternary clauses	: 0
3600.04/3603.37	c learnt constraints	: 19728900
3600.04/3603.37	c ignored constraints	: 0
3600.04/3603.37	c root simplifications	: 0
3600.04/3603.37	c removed literals (reason simplification)	: 215978211
3600.04/3603.37	c reason swapping (by a shorter reason)	: 0
3600.04/3603.37	c Calls to reduceDB	: 194
3600.04/3603.38	c Number of update (reduction) of LBD	: 3842
3600.04/3603.38	c Imported unit clauses	: 0
3600.04/3603.38	c No decision after first conflict	: false
3600.04/3603.38	c number of reductions to clauses (during analyze)	: 0
3600.04/3603.38	c number of learned constraints concerned by reduction	: 0
3600.04/3603.38	c number of learning phase by resolution	: 0
3600.04/3603.38	c number of learning phase by cutting planes	: 0
3600.04/3603.39	c number of rounding to 1 operations	: 0
3600.04/3603.39	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3603.39	c number of reductions of the coefficients by power 2 	: 0
3600.04/3603.39	c number of right shift for reduction by power 2 	: 0
3600.04/3603.39	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3603.40	c number of ending skipping 	: 0
3600.04/3603.40	c number of internal skipping 	: 0
3600.24/3603.40	c number of derivation steps 	: 0
3600.24/3603.40	c number of skipped derivation steps 	: 0
3600.24/3603.40	c number of remaining unassigned 	: 0
3600.24/3603.40	c number of remaining assigned 	: 0
3600.24/3603.40	c number of falsified literals weakened from reason	: 0
3600.24/3603.41	c number of falsified literals weakened from conflict	: 0
3600.24/3603.41	c time for arithmetic operations	: 0
3600.24/3603.42	c minimum degree of deleted constraints	: null
3600.24/3603.42	c maximum degree of deleted constraints	: null
3600.24/3603.42	c number of deleted constraints	: 0
3600.24/3603.42	c speed (assignments/second)	: 421667.9089916462
3600.24/3603.43	c non guided choices	: 15
3600.43/3603.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 234906
3600.43/3603.58	s SATISFIABLE
3600.43/3603.58	c Found 1 solution(s)
3600.63/3603.60	v x1 -x2 -x3 x4 -x5 x6 -x7 x8 x9 -x10 -x11 -x12 x13 x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 x60 -x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 x113 -x114 -x115 -x116 -x117 x118 x119 -x120 x121 x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 x130 x131 x132 x133 x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 x142 x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 x154 x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 x180 x181 x182 -x183 x184 -x185 x186 x187 x188 x189 -x190 -x191 -x192 x193 x194 x195 x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 x225 -x226 -x227 -x228 -x229 x230 x231 x232 -x233 -x234 -x235 -x236 x237 x238 x239 x240 -x241 x242 x243 x244 -x245 -x246 x247 x248 x249 x250 -x251 -x252 x253 x254 x255 -x256 x257 
3600.63/3603.60	c objective function=305
3600.63/3603.60	c Total wall clock time (in seconds): 3603.221

Verifier Data 

OK	305

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: 63837 MiB (63057 MiB free)
  memory of node 1: 64465 MiB (63778 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484178-1751290673/watcher-4484178-1751290673 -o /tmp/evaluation-result-4484178-1751290673/solver-4484178-1751290673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751290673-47014 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4484178-1751290673.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=47060, runsolver pid=47053

[startup+0.100368 s]*
/proc/loadavg: 2.82 3.79 4.00 8/301 47123
/proc/meminfo: memFree=129803132/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=18930288 memory=45064 CPUtime=0.08 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 5348 0 114 0 4 4 0 0 20 0 18 0 44746451 19384614912 11266 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4732572 11266 4827 1 0 546663 0
[pid=47060/tid=47075] ppid=47053 vsize=18930344 memory=4026532124 CPUtime=0.05 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 4483 0 111 0 3 2 0 0 20 0 18 0 44746454 19384672256 11298 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=18930344 memory=17127 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 44746460 19384672256 11298 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=18930344 memory=57394570986489 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 44746461 19384672256 11298 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930288 KiB
Current children cumulated memory: 45064 KiB

[startup+0.214518 s]*
/proc/loadavg: 2.82 3.79 4.00 6/319 47141
/proc/meminfo: memFree=129779136/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=18930384 memory=51624 CPUtime=0.24 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 6047 0 114 0 19 5 0 0 20 0 18 0 44746451 19384713216 12906 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4732596 12906 5307 1 0 547218 0
[pid=47060/tid=47075] ppid=47053 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 4875 0 111 0 12 3 0 0 20 0 18 0 44746454 19384713216 12906 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=18930384 memory=17127 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 44746460 19384713216 12906 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 44746461 19384713216 12906 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51624 KiB

[startup+0.314157 s]*
/proc/loadavg: 2.82 3.79 4.00 9/319 47141
/proc/meminfo: memFree=129757732/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=18930384 memory=57744 CPUtime=0.4 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 6575 0 114 0 34 6 0 0 20 0 18 0 44746451 19384713216 14436 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4732596 14436 5307 1 0 547658 0
[pid=47060/tid=47075] ppid=47053 vsize=18930384 memory=-6000919477001807211 CPUtime=0.23 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 5034 0 111 0 20 3 0 0 20 0 18 0 44746454 19384713216 14436 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 44746460 19384713216 14436 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 44746461 19384713216 14436 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57744 KiB

[startup+0.700366 s]
/proc/loadavg: 2.82 3.79 4.00 13/320 47142
/proc/meminfo: memFree=129740844/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=18996948 memory=66980 CPUtime=1.09 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 9053 0 115 0 101 8 0 0 20 0 19 0 44746451 19452874752 16745 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4749237 16745 5435 1 0 549446 0
[pid=47060/tid=47075] ppid=47053 vsize=18996948 memory=17664 CPUtime=0.55 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 5329 0 112 0 51 4 0 0 20 0 19 0 44746454 19452874752 16745 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 44746460 19452874752 16745 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 44746461 19452874752 16745 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44746501 19452874752 16745 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66980 KiB

[startup+1.50035 s]
/proc/loadavg: 2.82 3.79 4.00 10/323 47145
/proc/meminfo: memFree=129580916/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=18996948 memory=87704 CPUtime=2.67 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 17503 0 115 0 257 10 0 0 20 0 19 0 44746451 19452874752 21926 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4749237 21926 5435 1 0 552399 0
[pid=47060/tid=47075] ppid=47053 vsize=18996948 memory=0 CPUtime=1.31 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 5539 0 112 0 127 4 0 0 20 0 19 0 44746454 19452874752 21926 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 44746460 19452874752 21926 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 44746461 19452874752 21926 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44746501 19452874752 21926 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87704 KiB

[startup+3.10554 s]
/proc/loadavg: 2.82 3.79 4.00 6/325 47147
/proc/meminfo: memFree=129303160/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=18996948 memory=111008 CPUtime=5.09 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 18645 0 115 0 498 11 0 0 20 0 19 0 44746451 19452874752 27752 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4749237 27752 5435 1 0 552403 0
[pid=47060/tid=47075] ppid=47053 vsize=18996948 memory=11264 CPUtime=2.91 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 6067 0 112 0 286 5 0 0 20 0 19 0 44746454 19452874752 27752 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=18996948 memory=-6000919494181676395 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 44746460 19452874752 27752 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 44746461 19452874752 27752 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44746501 19452874752 27752 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 5.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 111008 KiB

[startup+6.30045 s]
/proc/loadavg: 3.32 3.88 4.03 5/326 47148
/proc/meminfo: memFree=128753056/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=18996948 memory=147804 CPUtime=8.43 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 19012 0 115 0 831 12 0 0 20 0 19 0 44746451 19452874752 36951 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4749237 36951 5435 1 0 552421 0
[pid=47060/tid=47075] ppid=47053 vsize=18996948 memory=0 CPUtime=6.09 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 6205 0 112 0 603 6 0 0 20 0 19 0 44746454 19452874752 36951 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 44746460 19452874752 36951 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 44746461 19452874752 36951 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=18996948 memory=87832 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44746501 19452874752 36951 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 8.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 147804 KiB

[startup+12.7004 s]
/proc/loadavg: 3.53 3.91 4.04 5/327 47149
/proc/meminfo: memFree=127772380/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=19063512 memory=172980 CPUtime=14.82 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 21098 0 115 0 1469 13 0 0 20 0 20 0 44746451 19521036288 43245 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4765878 43245 5499 1 0 552710 0
[pid=47060/tid=47075] ppid=47053 vsize=19063512 memory=87832 CPUtime=12.44 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 6983 0 112 0 1238 6 0 0 20 0 20 0 44746454 19521036288 43245 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=19063512 memory=172980 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 44746460 19521036288 43245 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=19063512 memory=172980 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 44746461 19521036288 43245 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=19063512 memory=14340 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44746501 19521036288 43245 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 14.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172980 KiB

[startup+25.5004 s]
/proc/loadavg: 3.99 4.00 4.07 5/328 47150
/proc/meminfo: memFree=125710244/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=19063512 memory=200356 CPUtime=27.89 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 26380 0 115 0 2774 15 0 0 20 0 20 0 44746451 19521036288 50089 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4765878 50089 5499 1 0 552710 0
[pid=47060/tid=47075] ppid=47053 vsize=19063512 memory=172980 CPUtime=25.05 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 7807 0 112 0 2499 6 0 0 20 0 20 0 44746454 19521036288 50089 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=19063512 memory=199844 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 44746460 19521036288 50089 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 44746461 19521036288 50089 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=19063512 memory=200356 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44746501 19521036288 50089 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 27.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 200356 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 4.04 4.08 5/328 47151
/proc/meminfo: memFree=122500212/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=19063512 memory=251976 CPUtime=53.41 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 27076 0 115 0 5324 17 0 0 20 0 20 0 44746451 19521036288 62994 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4765878 62994 5531 1 0 552710 0
[pid=47060/tid=47075] ppid=47053 vsize=19063512 memory=251976 CPUtime=50.32 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 7870 0 112 0 5026 6 0 0 20 0 20 0 44746454 19521036288 62994 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=19063512 memory=221112 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 44746460 19521036288 62994 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=19063512 memory=2764 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.38 4.31 4.27 5/327 47323
/proc/meminfo: memFree=94809272/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=19063512 memory=1587640 CPUtime=3279.49 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 58629 0 115 0 327751 198 0 0 20 0 20 0 44746451 19521036288 396910 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4765878 396910 5531 1 0 553078 0
[pid=47060/tid=47075] ppid=47053 vsize=19063512 memory=-6000919494181676395 CPUtime=3269.25 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 20053 0 112 0 326911 14 0 0 20 0 20 0 44746454 19521036288 396910 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=19063512 memory=1587640 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 44746460 19521036288 396910 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 994 0 0 0 0 0 0 0 20 0 20 0 44746461 19521036288 396910 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=19063512 memory=1587640 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44746501 19521036288 396910 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 3279.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1587640 KiB

[startup+3342.3 s]
/proc/loadavg: 4.39 4.33 4.28 5/327 47391
/proc/meminfo: memFree=107231656/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=19063512 memory=1653208 CPUtime=3339.36 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 59177 0 115 0 333735 201 0 0 20 0 20 0 44746451 19521036288 413302 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4765878 413302 5531 1 0 553078 0
[pid=47060/tid=47075] ppid=47053 vsize=19063512 memory=5632 CPUtime=3329.09 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 20555 0 112 0 332893 16 0 0 20 0 20 0 44746454 19521036288 413302 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=19063512 memory=14340 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 44746460 19521036288 413302 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=19063512 memory=14340 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 1009 0 0 0 0 0 0 0 20 0 20 0 44746461 19521036288 413302 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44746501 19521036288 413302 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 3339.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1653208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.33 4.31 4.27 6/327 47460
/proc/meminfo: memFree=117358896/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=19063512 memory=1751532 CPUtime=3399.35 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 60364 0 115 0 339729 206 0 0 20 0 20 0 44746451 19521036288 437883 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4765878 437883 5531 1 0 553078 0
[pid=47060/tid=47075] ppid=47053 vsize=19063512 memory=1751532 CPUtime=3388.79 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 21032 0 112 0 338863 16 0 0 20 0 20 0 44746454 19521036288 437883 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 44746460 19521036288 437883 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=19063512 memory=1751532 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 1119 0 0 0 0 0 0 0 20 0 20 0 44746461 19521036288 437883 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=19063512 memory=1751532 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44746501 19521036288 437883 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 3399.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1751532 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.33 4.28 6/327 47462
/proc/meminfo: memFree=113840656/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=19063512 memory=1753580 CPUtime=3459.28 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 60609 0 115 0 345718 210 0 0 20 0 20 0 44746451 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4765878 438395 5531 1 0 553078 0
[pid=47060/tid=47075] ppid=47053 vsize=19063512 memory=4252 CPUtime=3448.55 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 21055 0 112 0 344839 16 0 0 20 0 20 0 44746454 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 44746460 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 1119 0 0 0 0 0 0 0 20 0 20 0 44746461 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=19063512 memory=14340 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44746501 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 3459.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1753580 KiB

[startup+3522.3 s]
/proc/loadavg: 4.36 4.33 4.28 5/327 47464
/proc/meminfo: memFree=113168652/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=19063512 memory=1753580 CPUtime=3519.16 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 60782 0 115 0 351703 213 0 0 20 0 20 0 44746451 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4765878 438395 5531 1 0 553078 0
[pid=47060/tid=47075] ppid=47053 vsize=19063512 memory=11264 CPUtime=3508.38 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 21222 0 112 0 350822 16 0 0 20 0 20 0 44746454 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=19063512 memory=1753580 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 44746460 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=19063512 memory=1753580 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 1119 0 0 0 0 0 0 0 20 0 20 0 44746461 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44746501 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 3519.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1753580 KiB

[startup+3582.3 s]
/proc/loadavg: 4.43 4.35 4.29 6/326 47466
/proc/meminfo: memFree=111721116/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=19063512 memory=1753580 CPUtime=3579.03 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 61432 0 115 0 357687 216 0 0 20 0 20 0 44746451 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4765878 438395 5531 1 0 553078 0
[pid=47060/tid=47075] ppid=47053 vsize=19063512 memory=11264 CPUtime=3568.22 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 21826 0 112 0 356806 16 0 0 20 0 20 0 44746454 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=19063512 memory=1753580 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 44746460 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=19063512 memory=1753580 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 1119 0 0 0 0 0 0 0 20 0 20 0 44746461 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=19063512 memory=1753580 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44746501 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 3579.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1753580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.3 s]
/proc/loadavg: 4.83 4.44 4.32 6/326 47534
/proc/meminfo: memFree=112765584/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=19063512 memory=1753580 CPUtime=3600.04 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 61994 0 115 0 359787 217 0 0 20 0 20 0 44746451 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4765878 438395 5531 1 0 553078 0
[pid=47060/tid=47075] ppid=47053 vsize=19063512 memory=1753580 CPUtime=3589.1 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 21946 0 112 0 358893 17 0 0 20 0 20 0 44746454 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 44746460 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=19063512 memory=1753580 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 1119 0 0 0 0 0 0 0 20 0 20 0 44746461 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47142] ppid=47053 vsize=19063512 memory=-6000919494181676395 CPUtime=0 cores=4,6
/proc/47060/task/47142/stat : 47142 (Timer-0) S 47053 47060 47003 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44746501 19521036288 438395 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1753580 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.46 s, system=2.20133 s

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

[startup+3603.6 s]
/proc/loadavg: 4.83 4.44 4.32 6/326 47534
/proc/meminfo: memFree=112765584/131382112 swapFree=33010684/33010684
[pid=47060] ppid=47053 vsize=19263204 memory=1754476 CPUtime=3600.63 cores=4,6
/proc/47060/stat : 47060 (java) S 47053 47060 47003 0 -1 4194304 64059 0 115 0 359845 218 0 0 20 0 21 0 44746451 19725520896 438619 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
/proc/47060/statm: 4815801 438619 5531 1 0 554033 0
[pid=47060/tid=47075] ppid=47053 vsize=19263204 memory=14340 CPUtime=3589.4 cores=4,6
/proc/47060/task/47075/stat : 47075 (java) R 47053 47060 47003 0 -1 4194368 22208 0 112 0 358923 17 0 0 20 0 21 0 44746454 19725520896 438619 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47104] ppid=47053 vsize=19263204 memory=17664 CPUtime=0 cores=4,6
/proc/47060/task/47104/stat : 47104 (Finalizer) S 47053 47060 47003 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 44746460 19725520896 438619 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
[pid=47060/tid=47122] ppid=47053 vsize=19263204 memory=11264 CPUtime=0 cores=4,6
/proc/47060/task/47122/stat : 47122 (Common-Cleaner) S 47053 47060 47003 0 -1 4194368 1119 0 0 0 0 0 0 0 20 0 21 0 44746461 19725520896 438619 18446744073709551615 94147386798080 94147386801776 140727267707824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94147386809592 94147386810384 94147412131840 140727267711361 140727267711462 140727267711462 140727267717064 0
Current children cumulated CPU time: 3600.63 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1754476 KiB

Child status: 143

Real time (s): 3603.62
CPU time (s): 3600.66
CPU user time (s): 3598.46
CPU system time (s): 2.20133
CPU usage (%): 99.9179
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1754476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.46
system time used= 2.20133
maximum resident set size= 1754732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64239
page faults= 115
swaps= 0
block input operations= 368
block output operations= 4296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104904
involuntary context switches= 4359


# summary of solver processes directly reported to runsolver:
#   pid: 47060
#   total CPU time (s): 3600.66
#   total CPU user time (s): 3598.46
#   total CPU system time (s): 2.20133

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8654 second user time and 40.3818 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-30 15:37:53
IDJOB=4484178
IDBENCH=146651
IDSOLVER=3363
FILE ID=nodeC007/4484178-1751290673
RUNJOBID= nodeC007-1751290673-47014
SLURM_JOB_ID= 9594243
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484178-1751290673/watcher-4484178-1751290673 -o /tmp/evaluation-result-4484178-1751290673/solver-4484178-1751290673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751290673-47014 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4484178-1751290673.opb

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

MD5SUM BENCH= 21e5c9aefd9c10ac1801b7f257b8155f
RANDOM SEED=1571213270

nodeC007 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	: 0xb00001f
cpu MHz		: 1197.203
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.189
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.708
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.223
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.173
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.657
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.206
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.192
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129866252 kB
MemAvailable:   129932952 kB
Buffers:            3280 kB
Cached:           874464 kB
SwapCached:            0 kB
Active:           316428 kB
Inactive:         628104 kB
Active(anon):      84748 kB
Inactive(anon):        0 kB
Active(file):     231680 kB
Inactive(file):   628104 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1624 kB
Writeback:             0 kB
AnonPages:         69840 kB
Mapped:           102140 kB
Shmem:             17960 kB
KReclaimable:      93088 kB
Slab:             176432 kB
SReclaimable:      93088 kB
SUnreclaim:        83344 kB
KernelStack:        3716 kB
PageTables:         2684 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     331464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC007 at 2025-06-30 16:37:57