Trace number 4432529

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.35 3449.73

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb
MD5SUMbbc2f3225867eda18c5e1d2c8daffc3b
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 benchmark27
Best CPU time to get the best result obtained on this benchmark3558.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables47232
Total number of constraints994
Number of constraints which are clauses368
Number of constraints which are cardinality constraints (but not clauses)368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint369
Number of terms in the objective function 128
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 136571
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 754855
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.12/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.13	c version CUSTOM.v20240707
0.12/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.16	c java.vm.version	22.0.1+8-16
0.12/0.16	c java.vm.vendor	Oracle Corporation
0.12/0.16	c sun.arch.data.model	64
0.12/0.16	c java.version		22.0.1
0.12/0.16	c os.name		Linux
0.12/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.16	c os.arch		amd64
0.12/0.16	c Free memory 		2113181440
0.12/0.16	c Max memory 		16282288128
0.12/0.17	c Total memory 		2122317824
0.12/0.17	c Number of processors 	2
0.27/0.23	--- Begin Solver configuration ---
0.27/0.23	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.27/0.23	Learn all clauses as in MiniSAT
0.27/0.23	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.23	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.23	No reason simplification
0.27/0.23	Glucose 2.1 dynamic restart strategy
0.27/0.23	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.27/0.23	timeout=2147483s
0.27/0.23	DB Simplification allowed=false
0.27/0.23	Listener: none
0.27/0.23	--- End Solver configuration ---
0.27/0.23	c Pseudo Boolean Optimization by upper bound
0.27/0.23	c --- Begin Solver configuration ---
0.27/0.23	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.27/0.23	c Learn all clauses as in MiniSAT
0.27/0.23	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.23	c No reason simplification
0.27/0.23	c Glucose 2.1 dynamic restart strategy
0.27/0.23	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.27/0.23	c timeout=2147483s
0.27/0.23	c DB Simplification allowed=false
0.27/0.23	c Listener: none
0.27/0.23	c --- End Solver configuration ---
0.27/0.24	c solving HOME/instance-4432529-1721172890.opb
0.27/0.24	c reading problem ... 
0.27/0.24	c  objective function found
1.18/0.74	c ... done. Wall clock time 0.5s.
1.18/0.74	c declared #vars     47232
1.18/0.74	c #constraints  994
1.18/0.74	c constraints type 
1.18/0.74	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 368
1.18/0.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 258
1.18/0.74	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 368
1.18/0.74	c 994 constraints processed.
1.18/0.75	c objective function length is 128 literals
2.35/1.32	c SATISFIABLE
2.35/1.32	c OPTIMIZING...
2.35/1.32	c Got one! Elapsed wall clock time (in seconds):1.082
2.35/1.32	o 48
3.14/1.73	c Got one! Elapsed wall clock time (in seconds):1.5
3.14/1.73	o 45
3.34/1.83	c Got one! Elapsed wall clock time (in seconds):1.6
3.34/1.83	o 44
3.75/2.02	c Got one! Elapsed wall clock time (in seconds):1.784
3.75/2.02	o 43
4.38/2.40	c cleaning 3258 clauses out of 6532 with flag 7885/6532
4.83/2.76	c Got one! Elapsed wall clock time (in seconds):2.529
4.83/2.77	o 42
5.10/2.90	c Got one! Elapsed wall clock time (in seconds):2.664
5.10/2.90	o 41
5.10/2.99	c Got one! Elapsed wall clock time (in seconds):2.76
5.10/2.99	o 40
5.41/3.24	c Got one! Elapsed wall clock time (in seconds):3.01
5.41/3.24	o 39
5.55/3.35	c Got one! Elapsed wall clock time (in seconds):3.112
5.55/3.35	o 38
5.75/3.45	c Got one! Elapsed wall clock time (in seconds):3.204
5.75/3.45	o 37
6.58/3.93	c cleaning 5048 clauses out of 10110 with flag 6011/13368
7.11/4.45	c Got one! Elapsed wall clock time (in seconds):4.22
7.11/4.45	o 36
7.92/5.07	c cleaning 5400 clauses out of 10802 with flag 9199/19108
8.62/5.77	c cleaning 5685 clauses out of 11402 with flag 28883/25108
9.96/6.99	c cleaning 6336 clauses out of 12716 with flag 59338/32107
11.76/8.55	c cleaning 7168 clauses out of 14383 with flag 95399/40110
13.45/10.25	c cleaning 8081 clauses out of 16212 with flag 137867/49107
15.84/12.35	c cleaning 9045 clauses out of 18131 with flag 185965/59107
18.52/14.72	c cleaning 10017 clauses out of 20089 with flag 238499/70110
21.61/17.52	c cleaning 11013 clauses out of 22070 with flag 295596/82108
24.81/20.49	c cleaning 12008 clauses out of 24057 with flag 365958/95108
27.61/23.23	c cleaning 13007 clauses out of 26051 with flag 435911/109110
31.26/26.60	c cleaning 13990 clauses out of 28041 with flag 518240/124107
35.43/30.39	c cleaning 15007 clauses out of 30053 with flag 611825/140109
41.02/35.19	c cleaning 16001 clauses out of 32045 with flag 715375/157108
46.28/40.06	c cleaning 17000 clauses out of 34045 with flag 830833/175109
52.00/45.41	c cleaning 17993 clauses out of 36043 with flag 954245/194107
57.78/50.85	c cleaning 19000 clauses out of 38050 with flag 1083318/214107
63.70/56.46	c cleaning 19993 clauses out of 40052 with flag 1225927/235109
73.21/64.51	c cleaning 21011 clauses out of 42061 with flag 1386716/257111
80.33/71.32	c cleaning 21999 clauses out of 44046 with flag 1554622/280107
87.94/78.33	c cleaning 22999 clauses out of 46047 with flag 1735672/304107
95.76/85.81	c cleaning 24000 clauses out of 48048 with flag 1921719/329107
104.03/93.30	c cleaning 25001 clauses out of 50050 with flag 2106509/355109
113.31/102.26	c cleaning 25997 clauses out of 52048 with flag 2321507/382108
122.79/111.14	c cleaning 26989 clauses out of 54050 with flag 2512164/410107
132.78/120.42	c cleaning 27990 clauses out of 56063 with flag 2699526/439109
144.63/131.34	c cleaning 29009 clauses out of 58072 with flag 2919291/469108
158.12/144.14	c cleaning 30006 clauses out of 60063 with flag 3137765/500108
169.58/155.09	c cleaning 31006 clauses out of 62056 with flag 3367073/532107
181.92/166.76	c cleaning 31988 clauses out of 64050 with flag 3613963/565107
193.84/178.07	c cleaning 33009 clauses out of 66065 with flag 3880104/599110
205.09/188.72	c cleaning 34005 clauses out of 68053 with flag 4125495/634107
216.13/199.09	c cleaning 35004 clauses out of 70050 with flag 4391938/670109
230.31/212.08	c cleaning 35982 clauses out of 72044 with flag 4648692/707107
240.88/222.05	c cleaning 37007 clauses out of 74063 with flag 4892013/745108
254.67/235.38	c cleaning 38007 clauses out of 76056 with flag 5161437/784108
265.01/245.21	c Got one! Elapsed wall clock time (in seconds):244.972
265.01/245.21	o 35
265.89/246.06	c cleaning 36452 clauses out of 72926 with flag 14670/818985
266.93/246.94	c cleaning 21228 clauses out of 42476 with flag 34835/824987
267.73/247.73	c cleaning 14106 clauses out of 28247 with flag 56917/831986
268.73/248.71	c cleaning 11064 clauses out of 22140 with flag 84075/839985
269.72/249.80	c cleaning 10034 clauses out of 20080 with flag 108597/848989
271.38/251.20	c cleaning 10006 clauses out of 20042 with flag 142276/858985
272.67/252.59	c cleaning 10504 clauses out of 21037 with flag 182271/869986
274.89/254.42	c cleaning 11257 clauses out of 22532 with flag 221959/881985
276.50/256.11	c cleaning 12124 clauses out of 24275 with flag 261771/894985
279.31/258.59	c cleaning 13065 clauses out of 26152 with flag 309440/908986
281.62/260.86	c cleaning 14027 clauses out of 28086 with flag 366292/923985
285.43/264.36	c cleaning 15021 clauses out of 30061 with flag 430893/939987
289.32/267.83	c cleaning 16005 clauses out of 32038 with flag 505708/956985
293.00/271.56	c cleaning 17001 clauses out of 34033 with flag 584472/974985
294.60/272.83	c Got one! Elapsed wall clock time (in seconds):272.601
294.60/272.83	o 34
295.20/273.47	c cleaning 14337 clauses out of 28691 with flag 13734/986644
295.82/274.08	c cleaning 10170 clauses out of 20355 with flag 33138/992645
296.60/274.87	c cleaning 8576 clauses out of 17185 with flag 54205/999645
297.79/275.84	c cleaning 8286 clauses out of 16608 with flag 71798/1007644
298.69/276.70	c cleaning 8647 clauses out of 17321 with flag 91781/1016643
299.59/277.65	c cleaning 9318 clauses out of 18674 with flag 113438/1026643
301.44/279.15	c cleaning 10159 clauses out of 20356 with flag 137631/1037643
302.72/280.46	c cleaning 11076 clauses out of 22197 with flag 163779/1049643
304.22/281.97	c cleaning 12041 clauses out of 24124 with flag 192333/1062646
306.96/284.31	c cleaning 13017 clauses out of 26080 with flag 223372/1076643
308.95/286.38	c cleaning 14007 clauses out of 28063 with flag 256352/1091643
311.95/288.95	c cleaning 15013 clauses out of 30057 with flag 291810/1107644
314.45/291.41	c cleaning 15999 clauses out of 32043 with flag 329682/1124643
317.63/294.30	c cleaning 17004 clauses out of 34045 with flag 370794/1142644
320.92/297.23	c cleaning 17996 clauses out of 36041 with flag 414469/1161644
324.11/300.42	c cleaning 19003 clauses out of 38044 with flag 459607/1181643
328.11/304.05	c cleaning 19999 clauses out of 40042 with flag 508447/1202644
333.34/308.85	c cleaning 20995 clauses out of 42042 with flag 568036/1224643
338.81/313.92	c cleaning 22002 clauses out of 44047 with flag 630492/1247643
343.41/318.55	c cleaning 22999 clauses out of 46045 with flag 693917/1271643
348.24/323.19	c cleaning 24005 clauses out of 48048 with flag 759307/1296645
354.60/329.22	c cleaning 25000 clauses out of 50041 with flag 842119/1322643
361.40/335.70	c cleaning 26000 clauses out of 52042 with flag 928581/1349644
368.87/342.84	c cleaning 26996 clauses out of 54041 with flag 1012902/1377643
377.23/350.43	c cleaning 28005 clauses out of 56047 with flag 1097988/1406645
387.04/359.13	c cleaning 29000 clauses out of 58042 with flag 1191363/1436645
395.37/367.19	c cleaning 29996 clauses out of 60040 with flag 1287361/1467643
404.36/375.74	c cleaning 30998 clauses out of 62045 with flag 1385651/1499644
413.66/384.79	c cleaning 31999 clauses out of 64046 with flag 1490076/1532643
423.59/394.09	c cleaning 33006 clauses out of 66049 with flag 1600303/1566645
432.02/402.11	c cleaning 34002 clauses out of 68044 with flag 1722697/1601646
443.59/412.93	c cleaning 35002 clauses out of 70039 with flag 1861391/1637643
455.63/424.14	c cleaning 35994 clauses out of 72037 with flag 2017979/1674643
464.31/432.42	c cleaning 37006 clauses out of 74044 with flag 2163979/1712644
474.24/441.70	c cleaning 38002 clauses out of 76038 with flag 2307843/1751644
485.72/452.36	c cleaning 39007 clauses out of 78037 with flag 2470147/1791645
493.88/460.09	c cleaning 39997 clauses out of 80028 with flag 2642838/1832643
502.90/468.45	c cleaning 41000 clauses out of 82032 with flag 2825948/1874644
514.46/479.19	c cleaning 41989 clauses out of 84032 with flag 3037591/1917644
526.05/489.82	c cleaning 43002 clauses out of 86042 with flag 3267551/1961643
539.35/501.80	c cleaning 43997 clauses out of 88041 with flag 3495576/2006644
549.13/510.64	c Got one! Elapsed wall clock time (in seconds):510.408
549.13/510.64	o 33
550.02/511.56	c cleaning 41959 clauses out of 83935 with flag 16631/2046535
550.72/512.25	c cleaning 23970 clauses out of 47976 with flag 38459/2052535
551.63/513.19	c cleaning 15479 clauses out of 31009 with flag 69021/2059538
553.07/514.31	c cleaning 11731 clauses out of 23526 with flag 86417/2067534
553.97/515.24	c cleaning 10368 clauses out of 20796 with flag 105758/2076535
554.97/516.28	c cleaning 10182 clauses out of 20428 with flag 127757/2086535
556.37/517.61	c cleaning 10593 clauses out of 21247 with flag 151327/2097536
558.77/519.75	c cleaning 11297 clauses out of 22652 with flag 187013/2109534
560.66/521.65	c cleaning 12145 clauses out of 24355 with flag 232209/2122534
563.07/524.05	c cleaning 13075 clauses out of 26210 with flag 284736/2136534
566.80/527.32	c cleaning 14036 clauses out of 28135 with flag 354175/2151534
569.70/530.20	c cleaning 15014 clauses out of 30102 with flag 427055/2167537
573.66/533.87	c cleaning 16012 clauses out of 32086 with flag 484304/2184535
577.65/537.86	c cleaning 17004 clauses out of 34073 with flag 558445/2202534
582.56/542.39	c cleaning 18006 clauses out of 36071 with flag 627553/2221536
588.41/547.60	c cleaning 18999 clauses out of 38063 with flag 698205/2241534
593.40/552.67	c cleaning 20001 clauses out of 40064 with flag 768595/2262534
598.85/557.66	c cleaning 20998 clauses out of 42066 with flag 856161/2284537
604.89/563.20	c cleaning 22003 clauses out of 44066 with flag 951174/2307535
611.07/569.49	c cleaning 22998 clauses out of 46062 with flag 1056255/2331534
618.20/576.17	c cleaning 24002 clauses out of 48065 with flag 1152251/2356535
625.86/583.30	c cleaning 25000 clauses out of 50062 with flag 1246748/2382534
634.02/591.07	c cleaning 26002 clauses out of 52064 with flag 1343666/2409536
642.11/599.18	c cleaning 27001 clauses out of 54065 with flag 1446709/2437539
648.46/605.15	c cleaning 27999 clauses out of 56059 with flag 1534314/2466534
655.85/612.25	c cleaning 29004 clauses out of 58062 with flag 1628168/2496536
662.61/618.69	c cleaning 29999 clauses out of 60058 with flag 1731400/2527536
670.71/626.58	c cleaning 30998 clauses out of 62057 with flag 1839220/2559534
679.17/634.55	c cleaning 31995 clauses out of 64060 with flag 1957371/2592535
688.17/643.11	c cleaning 33001 clauses out of 66064 with flag 2070457/2626534
698.15/652.61	c cleaning 34001 clauses out of 68063 with flag 2202477/2661534
708.16/662.39	c cleaning 34995 clauses out of 70062 with flag 2322688/2697534
718.38/671.62	c cleaning 36003 clauses out of 72072 with flag 2482912/2734539
729.17/681.95	c cleaning 37001 clauses out of 74067 with flag 2659130/2772537
740.94/692.74	c cleaning 37999 clauses out of 76064 with flag 2850797/2811535
751.96/703.29	c cleaning 38998 clauses out of 78066 with flag 3048445/2851536
762.98/712.34	c cleaning 40001 clauses out of 80067 with flag 3237453/2892535
777.23/725.87	c cleaning 41003 clauses out of 82066 with flag 3435496/2934535
794.13/741.60	c cleaning 41997 clauses out of 84064 with flag 3683945/2977536
810.27/757.22	c cleaning 43000 clauses out of 86066 with flag 3917666/3021535
823.36/769.89	c cleaning 44000 clauses out of 88066 with flag 4134802/3066535
838.05/783.89	c cleaning 45002 clauses out of 90067 with flag 4356567/3112536
856.32/801.17	c cleaning 45999 clauses out of 92065 with flag 4625452/3159536
871.94/816.29	c cleaning 47000 clauses out of 94065 with flag 4883045/3207535
892.18/835.57	c cleaning 47996 clauses out of 96066 with flag 5145916/3256536
908.71/851.55	c cleaning 49002 clauses out of 98069 with flag 5418140/3306535
925.18/867.25	c cleaning 49991 clauses out of 100066 with flag 5681313/3357534
944.33/885.24	c cleaning 51000 clauses out of 102075 with flag 5935042/3409534
965.75/905.75	c cleaning 51999 clauses out of 104075 with flag 6205102/3462534
987.62/926.53	c cleaning 53000 clauses out of 106076 with flag 6478762/3516534
1009.94/948.47	c cleaning 54005 clauses out of 108076 with flag 6687649/3571534
1035.47/971.58	c cleaning 55007 clauses out of 110075 with flag 6946678/3627538
1058.32/993.93	c cleaning 55993 clauses out of 112064 with flag 7200474/3684534
1078.10/1012.51	c cleaning 56998 clauses out of 114071 with flag 7401136/3742534
1098.97/1032.97	c cleaning 57998 clauses out of 116075 with flag 7640978/3801536
1119.40/1052.21	c cleaning 59005 clauses out of 118075 with flag 7869745/3861534
1143.44/1075.02	c cleaning 60002 clauses out of 120070 with flag 8138042/3922534
1169.02/1100.06	c cleaning 60998 clauses out of 122068 with flag 8413153/3984534
1198.12/1128.53	c cleaning 62001 clauses out of 124071 with flag 8701921/4047535
1229.14/1158.67	c cleaning 63003 clauses out of 126071 with flag 8987432/4111536
1258.70/1187.18	c cleaning 64004 clauses out of 128066 with flag 9301668/4176534
1287.04/1214.40	c cleaning 64994 clauses out of 130062 with flag 9600808/4242534
1321.98/1248.37	c cleaning 65998 clauses out of 132068 with flag 9924720/4309534
1358.42/1283.52	c cleaning 67003 clauses out of 134071 with flag 10240251/4377535
1396.00/1318.50	c cleaning 67997 clauses out of 136067 with flag 10597183/4446534
1430.64/1351.94	c cleaning 69001 clauses out of 138071 with flag 10942514/4516535
1469.87/1390.09	c cleaning 70002 clauses out of 140069 with flag 11296302/4587534
1519.00/1437.33	c cleaning 71006 clauses out of 142068 with flag 11661753/4659535
1552.72/1469.66	c cleaning 71997 clauses out of 144063 with flag 12004215/4732536
1588.69/1504.33	c cleaning 72999 clauses out of 146065 with flag 12362346/4806535
1617.65/1532.03	c cleaning 73999 clauses out of 148066 with flag 12735941/4881535
1649.53/1562.89	c cleaning 74997 clauses out of 150066 with flag 13111371/4957534
1686.97/1598.33	c cleaning 75999 clauses out of 152069 with flag 13467849/5034534
1730.06/1638.49	c cleaning 77002 clauses out of 154072 with flag 13864040/5112536
1763.24/1670.30	c cleaning 78000 clauses out of 156068 with flag 14224714/5191534
1805.40/1710.65	c cleaning 78994 clauses out of 158070 with flag 14636429/5271536
1846.12/1750.10	c cleaning 80000 clauses out of 160074 with flag 15001753/5352534
1885.64/1788.51	c cleaning 81001 clauses out of 162077 with flag 15386222/5434537
1920.36/1822.37	c cleaning 82005 clauses out of 164073 with flag 15784878/5517534
1960.94/1861.67	c cleaning 83000 clauses out of 166069 with flag 16183666/5601535
2001.34/1901.27	c cleaning 84000 clauses out of 168069 with flag 16580164/5686535
2037.04/1935.45	c cleaning 85000 clauses out of 170068 with flag 17028332/5772534
2082.97/1978.62	c cleaning 86001 clauses out of 172068 with flag 17499516/5859534
2124.61/2018.49	c cleaning 86995 clauses out of 174067 with flag 17941425/5947534
2170.46/2063.10	c cleaning 87998 clauses out of 176072 with flag 18403104/6036534
2211.36/2103.04	c cleaning 89004 clauses out of 178074 with flag 18853757/6126534
2251.53/2141.75	c cleaning 89993 clauses out of 180070 with flag 19332965/6217534
2290.12/2179.17	c cleaning 91004 clauses out of 182077 with flag 19888337/6309534
2343.54/2230.69	c cleaning 92002 clauses out of 184075 with flag 20461435/6402536
2391.03/2276.92	c cleaning 92995 clauses out of 186071 with flag 20903734/6496534
2438.75/2320.42	c cleaning 94001 clauses out of 188076 with flag 21421754/6591534
2485.77/2366.22	c cleaning 94996 clauses out of 190076 with flag 21827980/6687535
2537.69/2416.56	c cleaning 96002 clauses out of 192080 with flag 22252788/6784535
2586.23/2463.42	c cleaning 96997 clauses out of 194077 with flag 22745317/6882534
2631.95/2507.43	c cleaning 98001 clauses out of 196080 with flag 23239631/6981534
2685.33/2559.61	c cleaning 98999 clauses out of 198079 with flag 23727466/7081534
2734.60/2606.70	c cleaning 100007 clauses out of 200080 with flag 24132370/7182534
2789.62/2658.46	c cleaning 100999 clauses out of 202074 with flag 24607601/7284535
2846.05/2713.10	c cleaning 101998 clauses out of 204074 with flag 25127911/7387534
2897.21/2762.29	c cleaning 102998 clauses out of 206076 with flag 25607479/7491534
2956.47/2819.51	c cleaning 104003 clauses out of 208079 with flag 26090798/7596535
3006.85/2868.82	c cleaning 105001 clauses out of 210075 with flag 26585861/7702534
3060.93/2920.62	c cleaning 105994 clauses out of 212074 with flag 27118910/7809534
3120.64/2976.87	c cleaning 106999 clauses out of 214080 with flag 27661119/7917534
3177.29/3032.00	c cleaning 108008 clauses out of 216083 with flag 28145606/8026536
3255.22/3108.26	c cleaning 109001 clauses out of 218073 with flag 28743113/8136534
3307.27/3158.59	c cleaning 109998 clauses out of 220072 with flag 29408057/8247534
3341.66/3191.60	c Got one! Elapsed wall clock time (in seconds):3191.371
3341.66/3191.60	o 32
3343.26/3193.21	c cleaning 98690 clauses out of 197404 with flag 21284/8334864
3344.56/3194.50	c cleaning 52344 clauses out of 104714 with flag 47253/8340864
3345.45/3195.48	c cleaning 29675 clauses out of 59371 with flag 83295/8347865
3347.16/3196.92	c cleaning 18840 clauses out of 37697 with flag 126387/8355866
3348.47/3198.25	c cleaning 13908 clauses out of 27856 with flag 172826/8364865
3350.56/3200.30	c cleaning 11955 clauses out of 23947 with flag 227576/8374864
3353.63/3202.90	c cleaning 11486 clauses out of 22994 with flag 290000/8385866
3354.03/3203.30	c Got one! Elapsed wall clock time (in seconds):3203.068
3354.03/3203.30	o 31
3354.43/3203.75	c cleaning 8442 clauses out of 16915 with flag 9022/8391273
3355.13/3204.43	c cleaning 7221 clauses out of 14473 with flag 22888/8397273
3355.93/3205.22	c cleaning 7114 clauses out of 14258 with flag 39289/8404279
3356.74/3206.09	c cleaning 7567 clauses out of 15135 with flag 57605/8412270
3357.84/3207.11	c cleaning 8287 clauses out of 16573 with flag 78417/8421275
3358.92/3208.25	c cleaning 9142 clauses out of 18284 with flag 101447/8431273
3360.22/3209.57	c cleaning 10072 clauses out of 20143 with flag 127181/8442274
3361.02/3210.35	c Got one! Elapsed wall clock time (in seconds):3210.12
3361.02/3210.35	o 30
3361.73/3211.01	c cleaning 10404 clauses out of 20808 with flag 11702/8453011
3362.41/3211.70	c cleaning 8201 clauses out of 16401 with flag 26098/8459008
3363.11/3212.47	c cleaning 7578 clauses out of 15199 with flag 42862/8466007
3364.01/3213.35	c cleaning 7811 clauses out of 15625 with flag 61975/8474011
3365.01/3214.37	c cleaning 8410 clauses out of 16819 with flag 83586/8483016
3366.21/3215.52	c cleaning 9198 clauses out of 18397 with flag 107802/8493004
3367.51/3216.81	c cleaning 10102 clauses out of 20204 with flag 134691/8504009
3368.91/3218.27	c cleaning 11045 clauses out of 22097 with flag 165087/8516004
3370.50/3219.84	c cleaning 12025 clauses out of 24056 with flag 197339/8529008
3372.20/3221.59	c cleaning 13015 clauses out of 26032 with flag 230968/8543009
3374.09/3223.45	c cleaning 14008 clauses out of 28019 with flag 267552/8558011
3376.08/3225.43	c cleaning 15007 clauses out of 30018 with flag 306115/8574018
3378.18/3227.58	c cleaning 15998 clauses out of 32000 with flag 346190/8591007
3380.68/3230.06	c cleaning 17000 clauses out of 33999 with flag 388871/8609004
3383.17/3232.58	c cleaning 17998 clauses out of 36000 with flag 434751/8628005
3385.86/3235.22	c cleaning 19001 clauses out of 38003 with flag 484124/8648006
3388.67/3238.02	c cleaning 20003 clauses out of 40005 with flag 537020/8669009
3391.67/3241.05	c cleaning 20999 clauses out of 41998 with flag 590726/8691005
3395.05/3244.40	c cleaning 22000 clauses out of 44000 with flag 642125/8714006
3398.44/3247.81	c cleaning 23001 clauses out of 46001 with flag 698106/8738007
3401.64/3251.05	c cleaning 24001 clauses out of 48001 with flag 756573/8763008
3405.12/3254.60	c cleaning 24997 clauses out of 50002 with flag 818332/8789010
3409.01/3258.48	c cleaning 26000 clauses out of 51999 with flag 882535/8816004
3413.01/3262.41	c cleaning 27005 clauses out of 54010 with flag 950220/8844015
3417.10/3266.55	c cleaning 27995 clauses out of 55997 with flag 1018294/8873007
3421.72/3271.11	c cleaning 28995 clauses out of 57999 with flag 1091232/8903004
3426.30/3275.66	c cleaning 30002 clauses out of 60004 with flag 1165261/8934004
3430.99/3280.34	c cleaning 31001 clauses out of 62003 with flag 1245176/8966005
3435.98/3285.39	c cleaning 31999 clauses out of 64003 with flag 1326985/8999006
3441.37/3290.78	c cleaning 32998 clauses out of 66004 with flag 1413705/9033006
3446.96/3296.32	c cleaning 34002 clauses out of 68006 with flag 1495337/9068006
3449.15/3298.57	c Got one! Elapsed wall clock time (in seconds):3298.333
3449.15/3298.57	o 29
3450.15/3299.55	c cleaning 29144 clauses out of 58292 with flag 11895/9092294
3450.95/3300.32	c cleaning 17559 clauses out of 35150 with flag 26074/9098296
3451.76/3301.12	c cleaning 12293 clauses out of 24600 with flag 42780/9105305
3452.54/3301.99	c cleaning 10141 clauses out of 20296 with flag 61487/9113294
3453.54/3303.00	c cleaning 9572 clauses out of 19161 with flag 82376/9122300
3454.65/3304.10	c cleaning 9788 clauses out of 19584 with flag 106123/9132295
3455.93/3305.35	c cleaning 10396 clauses out of 20795 with flag 132541/9143294
3457.34/3306.78	c cleaning 11199 clauses out of 22399 with flag 162803/9155294
3458.93/3308.37	c cleaning 12099 clauses out of 24201 with flag 196806/9168295
3460.64/3310.05	c cleaning 13050 clauses out of 26101 with flag 229939/9182294
3462.43/3311.89	c cleaning 14028 clauses out of 28055 with flag 266469/9197298
3464.43/3313.87	c cleaning 15011 clauses out of 30028 with flag 305526/9213299
3466.63/3316.11	c cleaning 16000 clauses out of 32012 with flag 349000/9230294
3468.92/3318.37	c cleaning 17000 clauses out of 34013 with flag 393177/9248295
3471.41/3320.81	c cleaning 18007 clauses out of 36013 with flag 441967/9267295
3474.30/3323.60	c cleaning 19004 clauses out of 38007 with flag 495137/9287296
3477.19/3326.53	c cleaning 19999 clauses out of 40001 with flag 552174/9308294
3480.28/3329.69	c cleaning 20997 clauses out of 42002 with flag 605869/9330294
3483.38/3332.78	c cleaning 22001 clauses out of 44006 with flag 666484/9353295
3486.57/3335.93	c cleaning 23002 clauses out of 46006 with flag 728849/9377296
3490.06/3339.40	c cleaning 24003 clauses out of 48005 with flag 797469/9402297
3493.85/3343.21	c cleaning 24999 clauses out of 50002 with flag 863973/9428297
3497.54/3346.90	c cleaning 25990 clauses out of 52001 with flag 929691/9455295
3501.23/3350.63	c cleaning 27004 clauses out of 54012 with flag 997657/9483296
3505.42/3354.86	c cleaning 28002 clauses out of 56006 with flag 1072571/9512294
3509.51/3358.92	c cleaning 29001 clauses out of 58004 with flag 1145372/9542294
3513.61/3363.07	c cleaning 30001 clauses out of 60003 with flag 1219616/9573294
3517.99/3367.41	c cleaning 31001 clauses out of 62006 with flag 1297191/9605298
3522.69/3372.12	c cleaning 31999 clauses out of 64003 with flag 1377098/9638296
3527.37/3376.85	c cleaning 32998 clauses out of 66002 with flag 1459250/9672294
3532.57/3382.06	c cleaning 34000 clauses out of 68006 with flag 1549716/9707296
3538.04/3387.57	c cleaning 34998 clauses out of 70004 with flag 1641429/9743294
3543.42/3392.93	c cleaning 35999 clauses out of 72010 with flag 1726486/9780298
3549.11/3398.61	c cleaning 37005 clauses out of 74015 with flag 1815659/9818302
3555.31/3404.88	c cleaning 38001 clauses out of 76003 with flag 1908394/9857295
3562.19/3411.63	c cleaning 38996 clauses out of 78003 with flag 2007139/9897296
3569.07/3418.54	c cleaning 40002 clauses out of 80006 with flag 2112376/9938295
3576.07/3425.59	c cleaning 41002 clauses out of 82005 with flag 2213056/9980296
3583.45/3432.93	c cleaning 42001 clauses out of 84005 with flag 2316275/10023298
3590.83/3440.38	c cleaning 43006 clauses out of 86012 with flag 2426861/10067306
3598.41/3447.90	c cleaning 43998 clauses out of 87996 with flag 2547028/10112296
3600.00/3449.52	c starts		: 33085
3600.00/3449.55	c conflicts		: 10123497
3600.00/3449.55	c decisions		: 16466888
3600.00/3449.55	c propagations		: 2076988988
3600.00/3449.55	c inspects		: 9149479360
3600.00/3449.55	c shortcuts		: 0
3600.00/3449.55	c learnt literals	: 0
3600.00/3449.55	c learnt binary clauses	: 0
3600.00/3449.55	c learnt ternary clauses	: 0
3600.00/3449.55	c learnt constraints	: 10123497
3600.00/3449.55	c ignored constraints	: 0
3600.00/3449.55	c root simplifications	: 0
3600.00/3449.55	c removed literals (reason simplification)	: 0
3600.00/3449.55	c reason swapping (by a shorter reason)	: 0
3600.00/3449.55	c Calls to reduceDB	: 285
3600.00/3449.55	c Number of update (reduction) of LBD	: 1611519
3600.00/3449.55	c Imported unit clauses	: 0
3600.00/3449.55	c No decision after first conflict	: false
3600.00/3449.55	c number of reductions to clauses (during analyze)	: 0
3600.00/3449.55	c number of learned constraints concerned by reduction	: 0
3600.00/3449.56	c number of learning phase by resolution	: 0
3600.00/3449.56	c number of learning phase by cutting planes	: 0
3600.00/3449.56	c number of rounding to 1 operations	: 0
3600.00/3449.56	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3449.56	c number of reductions of the coefficients by power 2 	: 0
3600.00/3449.56	c number of right shift for reduction by power 2 	: 0
3600.00/3449.56	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3449.56	c number of ending skipping 	: 0
3600.00/3449.56	c number of internal skipping 	: 0
3600.00/3449.56	c number of derivation steps 	: 0
3600.00/3449.56	c number of skipped derivation steps 	: 0
3600.00/3449.56	c number of remaining unassigned 	: 0
3600.00/3449.56	c number of remaining assigned 	: 0
3600.00/3449.56	c number of falsified literals weakened from reason	: 0
3600.00/3449.57	c number of falsified literals weakened from conflict	: 0
3600.00/3449.57	c time for arithmetic operations	: 0
3600.00/3449.58	c minimum degree of deleted constraints	: null
3600.00/3449.58	c maximum degree of deleted constraints	: null
3600.00/3449.58	c number of deleted constraints	: 0
3600.00/3449.59	c speed (assignments/second)	: 602234.5682735232
3600.00/3449.60	c non guided choices	: 768019
3600.20/3449.63	c timeout
3600.20/3449.63	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.20/3449.64		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.20/3449.64		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.20/3449.64		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.20/3449.64		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.20/3449.64		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.20/3449.64		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.20/3449.64		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (60583 MiB free)
  memory of node 1: 64510 MiB (57794 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432529-1721172890/watcher-4432529-1721172890 -o /tmp/evaluation-result-4432529-1721172890/solver-4432529-1721172890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721165691-870213 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432529-1721172890.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=875465, runsolver pid=875462

[startup+0.108055 s]*
/proc/loadavg: 4.14 4.27 4.26 6/297 875483
/proc/meminfo: memFree=122568732/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=18975048 memory=56176 CPUtime=0.12 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 6601 0 0 0 10 2 0 0 20 0 18 0 169448272 19430449152 14044 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4743762 14044 5558 1 0 550924 0
[pid=875465/tid=875467] ppid=875462 vsize=18975048 memory=4026531971 CPUtime=0.1 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 5527 0 0 0 8 2 0 0 20 0 18 0 169448273 19430449152 14044 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=18975048 memory=1645 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169448278 19430449152 14044 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169448279 19430449152 14044 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56176 KiB

[startup+0.214331 s]*
/proc/loadavg: 4.14 4.27 4.26 5/297 875491
/proc/meminfo: memFree=122560484/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=18975048 memory=65580 CPUtime=0.27 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 7307 0 0 0 24 3 0 0 20 0 18 0 169448272 19430449152 16395 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4743762 16395 5722 1 0 551461 0
[pid=875465/tid=875467] ppid=875462 vsize=18975048 memory=3472328300254199927 CPUtime=0.19 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 5769 0 0 0 17 2 0 0 20 0 18 0 169448273 19430449152 16395 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=18975048 memory=1629 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169448278 19430449152 16395 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=18975048 memory=13855157314128300 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169448279 19430449152 16395 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65580 KiB

[startup+0.317046 s]*
/proc/loadavg: 4.14 4.27 4.26 6/296 875497
/proc/meminfo: memFree=122549096/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=18975048 memory=78840 CPUtime=0.46 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 7484 0 0 0 43 3 0 0 20 0 18 0 169448272 19430449152 19710 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4743762 19710 5750 1 0 551585 0
[pid=875465/tid=875467] ppid=875462 vsize=18975048 memory=7311146985107750967 CPUtime=0.29 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 5889 0 0 0 27 2 0 0 20 0 18 0 169448273 19430449152 19710 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=18975048 memory=1621 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169448278 19430449152 19710 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=18975048 memory=14130030926104870 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169448279 19430449152 19710 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 78840 KiB

[startup+0.70105 s]
/proc/loadavg: 4.14 4.27 4.26 7/295 875518
/proc/meminfo: memFree=122466364/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19041612 memory=196792 CPUtime=1.18 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 9404 0 0 0 111 7 0 0 20 0 19 0 169448272 19498610688 49198 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4760403 49198 5819 1 0 553006 0
[pid=875465/tid=875467] ppid=875462 vsize=19041612 memory=16068 CPUtime=0.6 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 5953 0 0 0 56 4 0 0 20 0 19 0 169448273 19498610688 49198 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19041612 memory=11948 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169448278 19498610688 49198 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19041612 memory=4359 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169448279 19498610688 49198 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 196792 KiB

[startup+1.50104 s]
/proc/loadavg: 4.14 4.27 4.26 8/318 875548
/proc/meminfo: memFree=122285816/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19108176 memory=202132 CPUtime=2.75 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 10987 0 0 0 268 7 0 0 20 0 20 0 169448272 19566772224 50533 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4777044 50533 5887 1 0 554332 0
[pid=875465/tid=875467] ppid=875462 vsize=19108176 memory=11948 CPUtime=1.35 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 6092 0 0 0 131 4 0 0 20 0 20 0 169448273 19566772224 50533 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=180408 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 50533 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 50533 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875548] ppid=875462 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/875465/task/875548/stat : 875548 (Timer-0) S 875462 875465 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169448350 19566772224 50533 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202132 KiB

[startup+3.1067 s]
/proc/loadavg: 4.37 4.32 4.27 6/320 875550
/proc/meminfo: memFree=121484776/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19108176 memory=423512 CPUtime=5.31 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 18414 0 0 0 518 13 0 0 20 0 20 0 169448272 19566772224 105878 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4777044 105878 5919 1 0 1025551 0
[pid=875465/tid=875467] ppid=875462 vsize=19108176 memory=0 CPUtime=2.81 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 7307 0 0 0 275 6 0 0 20 0 20 0 169448273 19566772224 105878 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=11948 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 105878 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=26416 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 105878 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875548] ppid=875462 vsize=19108176 memory=25524 CPUtime=0 cores=0,2
/proc/875465/task/875548/stat : 875548 (Timer-0) S 875462 875465 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169448350 19566772224 105878 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 5.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 423512 KiB

[startup+6.30041 s]
/proc/loadavg: 4.37 4.32 4.27 5/320 875550
/proc/meminfo: memFree=120757588/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19108176 memory=944120 CPUtime=9.36 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 20640 0 0 0 912 24 0 0 20 0 20 0 169448272 19566772224 236030 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4777044 236030 5951 1 0 1025568 0
[pid=875465/tid=875467] ppid=875462 vsize=19108176 memory=11948 CPUtime=5.46 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 7853 0 0 0 538 8 0 0 20 0 20 0 169448273 19566772224 236030 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 236030 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=501412 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 236030 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875548] ppid=875462 vsize=19108176 memory=202132 CPUtime=0 cores=0,2
/proc/875465/task/875548/stat : 875548 (Timer-0) S 875462 875465 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169448350 19566772224 236030 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 9.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 944120 KiB

[startup+12.7004 s]
/proc/loadavg: 4.47 4.34 4.28 5/320 875551
/proc/meminfo: memFree=119465736/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19108176 memory=1654428 CPUtime=16.24 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 22132 0 0 0 1585 39 0 0 20 0 20 0 169448272 19566772224 413607 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4777044 413607 5951 1 0 1637615 0
[pid=875465/tid=875467] ppid=875462 vsize=19108176 memory=-9031800172016149180 CPUtime=11.31 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 8176 0 0 0 1118 13 0 0 20 0 20 0 169448273 19566772224 413607 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=11656 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 413607 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=-9031800172016149180 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 413607 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875548] ppid=875462 vsize=19108176 memory=11948 CPUtime=0 cores=0,2
/proc/875465/task/875548/stat : 875548 (Timer-0) S 875462 875465 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169448350 19566772224 413607 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 16.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1654428 KiB

[startup+25.5005 s]
/proc/loadavg: 4.39 4.33 4.28 5/320 875553
/proc/meminfo: memFree=117129836/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19108176 memory=3010884 CPUtime=30.26 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 26781 0 0 0 2958 68 0 0 20 0 20 0 169448272 19566772224 752721 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4777044 752721 5951 1 0 1927973 0
[pid=875465/tid=875467] ppid=875462 vsize=19108176 memory=11948 CPUtime=22.76 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 9272 0 0 0 2257 19 0 0 20 0 20 0 169448273 19566772224 752721 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=1654428 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 752721 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=682072 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 752721 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875548] ppid=875462 vsize=19108176 memory=2648384 CPUtime=0 cores=0,2
/proc/875465/task/875548/stat : 875548 (Timer-0) S 875462 875465 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169448350 19566772224 752721 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 30.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3010884 KiB

[startup+51.1134 s]
/proc/loadavg: 4.26 4.30 4.27 5/320 875559
/proc/meminfo: memFree=113141116/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19108176 memory=5060368 CPUtime=58.09 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 30150 0 0 0 5696 113 0 0 20 0 20 0 169448272 19566772224 1265092 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4777044 1265092 5951 1 0 2072110 0
[pid=875465/tid=875467] ppid=875462 vsize=19108176 memory=5060368 CPUtime=46.01 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 10007 0 0 0 4573 28 0 0 20 0 20 0 169448273 19566772224 1265092 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=4429580 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 1265092 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=11656 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 1265092 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0

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

/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 89637 0 0 0 294148 118 0 0 20 0 20 0 169448273 19566772224 3675189 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=16068 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 3675189 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=14700756 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 759 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 3675189 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875548] ppid=875462 vsize=19108176 memory=14700756 CPUtime=0 cores=0,2
/proc/875465/task/875548/stat : 875548 (Timer-0) S 875462 875465 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169448350 19566772224 3675189 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 3249.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14700756 KiB

[startup+3162.3 s]
/proc/loadavg: 4.26 4.24 4.20 5/319 877081
/proc/meminfo: memFree=80834116/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19108176 memory=14700756 CPUtime=3311.06 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 435849 0 0 0 330594 512 0 0 20 0 20 0 169448272 19566772224 3675189 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4777044 3675189 5951 1 0 4087179 0
[pid=875465/tid=875467] ppid=875462 vsize=19108176 memory=14700756 CPUtime=2999.93 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 89726 0 0 0 299875 118 0 0 20 0 20 0 169448273 19566772224 3675189 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=16068 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 3675189 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=14700756 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 759 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 3675189 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875548] ppid=875462 vsize=19108176 memory=-9031800172016149180 CPUtime=0 cores=0,2
/proc/875465/task/875548/stat : 875548 (Timer-0) S 875462 875465 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169448350 19566772224 3675189 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 3311.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14700756 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.21 4.19 5/321 877261
/proc/meminfo: memFree=80194564/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19108176 memory=14700776 CPUtime=3372.99 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 437914 0 0 0 336784 515 0 0 20 0 20 0 169448272 19566772224 3675194 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4777044 3675194 5951 1 0 4087184 0
[pid=875465/tid=875467] ppid=875462 vsize=19108176 memory=14700756 CPUtime=3057.57 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 90766 0 0 0 305639 118 0 0 20 0 20 0 169448273 19566772224 3675194 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=16068 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 3675194 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=41964 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 759 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 3675194 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875548] ppid=875462 vsize=19108176 memory=14700776 CPUtime=0 cores=0,2
/proc/875465/task/875548/stat : 875548 (Timer-0) S 875462 875465 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169448350 19566772224 3675194 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 3372.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14700776 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.20 4.19 5/321 877272
/proc/meminfo: memFree=80190588/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19108176 memory=14700776 CPUtime=3432.98 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 441792 0 0 0 342780 518 0 0 20 0 20 0 169448272 19566772224 3675194 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4777044 3675194 5951 1 0 4087184 0
[pid=875465/tid=875467] ppid=875462 vsize=19108176 memory=41964 CPUtime=3117.25 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 91619 0 0 0 311607 118 0 0 20 0 20 0 169448273 19566772224 3675194 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=14700776 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 3675194 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=11656 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 3675194 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875548] ppid=875462 vsize=19108176 memory=14700776 CPUtime=0 cores=0,2
/proc/875465/task/875548/stat : 875548 (Timer-0) S 875462 875465 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169448350 19566772224 3675194 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 3432.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14700776 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.18 4.18 4/295 877374
/proc/meminfo: memFree=85144920/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19108176 memory=14700824 CPUtime=3492.95 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 442588 0 0 0 348773 522 0 0 20 0 20 0 169448272 19566772224 3675206 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4777044 3675206 5951 1 0 4087196 0
[pid=875465/tid=875467] ppid=875462 vsize=19108176 memory=41964 CPUtime=3176.91 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 92164 0 0 0 317572 119 0 0 20 0 20 0 169448273 19566772224 3675206 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=14700824 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 3675206 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=14700824 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 3675206 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875548] ppid=875462 vsize=19108176 memory=14700824 CPUtime=0 cores=0,2
/proc/875465/task/875548/stat : 875548 (Timer-0) S 875462 875465 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169448350 19566772224 3675206 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 3492.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14700824 KiB

[startup+3402.3 s]
/proc/loadavg: 3.49 3.99 4.11 4/295 877383
/proc/meminfo: memFree=85145564/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19108176 memory=14700828 CPUtime=3552.81 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 442756 0 0 0 354755 526 0 0 20 0 20 0 169448272 19566772224 3675207 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4777044 3675207 5951 1 0 4087196 0
[pid=875465/tid=875467] ppid=875462 vsize=19108176 memory=14700776 CPUtime=3236.71 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 92311 0 0 0 323552 119 0 0 20 0 20 0 169448273 19566772224 3675207 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=14700828 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 3675207 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=14700828 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 3675207 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875548] ppid=875462 vsize=19108176 memory=11656 CPUtime=0 cores=0,2
/proc/875465/task/875548/stat : 875548 (Timer-0) S 875462 875465 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169448350 19566772224 3675207 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 3552.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14700828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3449.5 s]
/proc/loadavg: 3.28 3.87 4.06 4/295 877393
/proc/meminfo: memFree=85145368/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19108176 memory=14700828 CPUtime=3600 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 443037 0 0 0 359473 527 0 0 20 0 20 0 169448272 19566772224 3675207 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4777044 3675207 5951 1 0 4087196 0
[pid=875465/tid=875467] ppid=875462 vsize=19108176 memory=14700776 CPUtime=3283.63 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 92540 0 0 0 328244 119 0 0 20 0 20 0 169448273 19566772224 3675207 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19108176 memory=11656 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169448278 19566772224 3675207 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19108176 memory=-9031800172016149180 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 20 0 169448279 19566772224 3675207 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875548] ppid=875462 vsize=19108176 memory=-9031800172016149180 CPUtime=0 cores=0,2
/proc/875465/task/875548/stat : 875548 (Timer-0) S 875462 875465 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169448350 19566772224 3675207 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14700828 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595 s, system=5.35461 s

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

[startup+3449.6 s]
/proc/loadavg: 3.28 3.87 4.06 4/295 877393
/proc/meminfo: memFree=85145368/131655788 swapFree=131071996/131071996
[pid=875465] ppid=875462 vsize=19307868 memory=14701528 CPUtime=3600.2 cores=0,2
/proc/875465/stat : 875465 (java) S 875462 875465 870201 0 -1 1077936128 445040 0 0 0 359492 528 0 0 20 0 21 0 169448272 19771256832 3675382 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
/proc/875465/statm: 4826967 3675382 5950 1 0 4088109 0
[pid=875465/tid=875467] ppid=875462 vsize=19307868 memory=14700828 CPUtime=3283.72 cores=0,2
/proc/875465/task/875467/stat : 875467 (java) R 875462 875465 870201 0 -1 4194368 92621 0 0 0 328253 119 0 0 20 0 21 0 169448273 19771256832 3675382 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875476] ppid=875462 vsize=19307868 memory=5424 CPUtime=0 cores=0,2
/proc/875465/task/875476/stat : 875476 (Finalizer) S 875462 875465 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 169448278 19771256832 3675382 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
[pid=875465/tid=875483] ppid=875462 vsize=19307868 memory=16068 CPUtime=0 cores=0,2
/proc/875465/task/875483/stat : 875483 (Common-Cleaner) S 875462 875465 870201 0 -1 1077936192 851 0 0 0 0 0 0 0 20 0 21 0 169448279 19771256832 3675382 134679101440 94008501190656 94008501194352 140730536309232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008501202168 94008501202960 94008522866688 140730536313863 140730536313953 140730536313953 140730536320968 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14701528 KiB

[startup+3449.71 s]*
/proc/loadavg: 3.28 3.87 4.06 4/277 877396
/proc/meminfo: memFree=99774816/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3449.73
CPU time (s): 3600.35
CPU user time (s): 3595
CPU system time (s): 5.35461
CPU usage (%): 104.366
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14701528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595
system time used= 5.35461
maximum resident set size= 14702476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116388
involuntary context switches= 34526


# summary of solver processes directly reported to runsolver:
#   pid: 875465
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3595
#   total CPU system time (s): 5.35461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9685 second user time and 32.3737 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-17 01:35:02
IDJOB=4432529
IDBENCH=158600
IDSOLVER=3058
FILE ID=nodeC010/4432529-1721172890
RUNJOBID= nodeC010-1721165691-870213
SLURM_JOB_ID= 7505790
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432529-1721172890/watcher-4432529-1721172890 -o /tmp/evaluation-result-4432529-1721172890/solver-4432529-1721172890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721165691-870213 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432529-1721172890.opb

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

MD5SUM BENCH= bbc2f3225867eda18c5e1d2c8daffc3b
RANDOM SEED=1192514306

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121219132 kB
MemAvailable:   125617700 kB
Buffers:          438976 kB
Cached:          4745804 kB
SwapCached:            0 kB
Active:           807584 kB
Inactive:        8965680 kB
Active(anon):       1464 kB
Inactive(anon):  4624752 kB
Active(file):     806120 kB
Inactive(file):  4340928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4256 kB
Writeback:             0 kB
AnonPages:       4588704 kB
Mapped:           125756 kB
Shmem:             37704 kB
KReclaimable:     183104 kB
Slab:             292508 kB
SReclaimable:     183104 kB
SUnreclaim:       109404 kB
KernelStack:        4844 kB
PageTables:        18656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8963392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54048 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4333568 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:      234312 kB
DirectMap2M:    29030400 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC010 at 2024-07-17 02:32:32