Trace number 4522466

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.41 3599.51

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
MD5SUMb6d457804c0edb01048fac97a08f0a0d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2967
Best CPU time to get the best result obtained on this benchmark0.147297
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1086
Total number of constraints85
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint1086
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
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.11/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.16	c See www.sat4j.org for details.
0.11/0.18	c version PB25.v20250606
0.11/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.20	c java.vm.version	22.0.1+8-16
0.11/0.20	c java.vm.vendor	Oracle Corporation
0.11/0.20	c sun.arch.data.model	64
0.11/0.20	c java.version		22.0.1
0.11/0.20	c os.name		Linux
0.11/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.20	c os.arch		amd64
0.28/0.22	c Free memory 		2104792832
0.28/0.22	c Max memory 		16282288128
0.28/0.22	c Total memory 		2113929216
0.28/0.23	c Number of processors 	2
0.28/0.33	c Pseudo Boolean Optimization by upper bound
0.28/0.33	c --- Begin Solver configuration ---
0.28/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.28/0.33	c Learn all clauses as in MiniSAT
0.28/0.33	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.33	c Expensive reason simplification
0.28/0.33	c Glucose 2.1 dynamic restart strategy
0.28/0.33	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.28/0.33	c timeout=2147483s
0.28/0.33	c DB Simplification allowed=false
0.28/0.33	c Listener: none
0.28/0.33	c --- End Solver configuration ---
0.45/0.33	c solving HOME/instance-4522466-1751598896.opb
0.45/0.33	c reading problem ... 
0.45/0.33	c  objective function found
0.64/0.46	c ... done. Wall clock time 0.119s.
0.64/0.46	c declared #vars     1086
0.64/0.47	c #constraints  169
0.64/0.47	c constraints type 
0.64/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 85
0.64/0.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.64/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 83
0.64/0.47	c 169 constraints processed.
0.64/0.50	c objective function length is 1086 literals
2.52/1.46	c cleaning 2499 clauses out of 5002 with flag 19737/5002
3.76/2.13	c cleaning 4251 clauses out of 8501 with flag 51436/11000
4.65/2.92	c cleaning 5620 clauses out of 11251 with flag 90915/18001
6.37/4.66	c cleaning 6816 clauses out of 13631 with flag 132027/26001
7.59/5.86	c cleaning 7900 clauses out of 15815 with flag 185986/35001
8.92/7.13	c cleaning 8945 clauses out of 17914 with flag 251329/45000
10.35/8.48	c cleaning 9985 clauses out of 19970 with flag 320890/56001
12.06/10.16	c cleaning 10985 clauses out of 21984 with flag 393283/68000
14.01/11.90	c cleaning 12000 clauses out of 24000 with flag 457124/81001
16.19/13.99	c cleaning 12996 clauses out of 26000 with flag 530151/95001
18.69/16.47	c cleaning 13995 clauses out of 28006 with flag 620276/110003
18.79/16.59	c SATISFIABLE
18.79/16.59	c OPTIMIZING...
18.79/16.60	c Got one! Elapsed wall clock time (in seconds):16.266
18.79/16.60	o 4531
19.24/16.99	c cleaning 9756 clauses out of 19515 with flag 13454/115507
20.11/17.73	c cleaning 7876 clauses out of 15760 with flag 37983/121508
20.97/18.52	c cleaning 7440 clauses out of 14885 with flag 62473/128509
21.77/19.33	c cleaning 7717 clauses out of 15444 with flag 99613/136508
22.67/20.21	c cleaning 8360 clauses out of 16728 with flag 147495/145509
23.83/21.30	c cleaning 9178 clauses out of 18367 with flag 208147/155508
25.23/22.78	c cleaning 10082 clauses out of 20188 with flag 287344/166507
26.95/24.49	c cleaning 11047 clauses out of 22106 with flag 371981/178507
29.14/26.63	c cleaning 12028 clauses out of 24059 with flag 463481/191507
31.34/28.86	c cleaning 13004 clauses out of 26032 with flag 562214/205508
33.65/31.13	c cleaning 14012 clauses out of 28028 with flag 674131/220508
34.44/31.96	c Got one! Elapsed wall clock time (in seconds):31.636
34.44/31.96	o 4472
34.69/32.12	c Got one! Elapsed wall clock time (in seconds):31.788
34.69/32.12	o 4369
35.19/32.67	c cleaning 12696 clauses out of 25395 with flag 26390/231887
36.19/33.64	c cleaning 9348 clauses out of 18698 with flag 71243/237886
37.38/34.85	c cleaning 8169 clauses out of 16351 with flag 124864/244887
38.93/36.07	c cleaning 8084 clauses out of 16181 with flag 174810/252886
40.42/37.57	c cleaning 8549 clauses out of 17098 with flag 237365/261887
42.11/39.22	c cleaning 9271 clauses out of 18549 with flag 307621/271887
43.22/40.34	c Got one! Elapsed wall clock time (in seconds):40.013
43.22/40.34	o 4311
43.98/41.08	c cleaning 10421 clauses out of 20849 with flag 25748/283458
44.67/41.79	c cleaning 8205 clauses out of 16430 with flag 55208/289460
45.47/42.58	c cleaning 7600 clauses out of 15223 with flag 85828/296458
46.46/43.50	c cleaning 7803 clauses out of 15624 with flag 123156/304459
47.46/44.59	c cleaning 8402 clauses out of 16820 with flag 167002/313458
48.97/46.02	c cleaning 9202 clauses out of 18419 with flag 223688/323459
50.36/47.48	c cleaning 10098 clauses out of 20217 with flag 274664/334459
52.07/49.14	c cleaning 11054 clauses out of 22119 with flag 342349/346459
54.15/51.20	c cleaning 12024 clauses out of 24065 with flag 416666/359459
56.65/53.79	c cleaning 13013 clauses out of 26041 with flag 504234/373459
59.16/56.22	c cleaning 14006 clauses out of 28027 with flag 602861/388458
61.15/58.28	c cleaning 15001 clauses out of 30021 with flag 699079/404458
63.14/60.23	c cleaning 16001 clauses out of 32020 with flag 817008/421458
65.35/62.47	c cleaning 17001 clauses out of 34019 with flag 944850/439458
67.74/64.85	c cleaning 17998 clauses out of 36020 with flag 1070667/458460
70.54/67.67	c cleaning 19002 clauses out of 38020 with flag 1212078/478458
73.96/71.06	c cleaning 19995 clauses out of 40018 with flag 1356326/499458
77.54/74.68	c cleaning 21007 clauses out of 42024 with flag 1517968/521459
81.14/78.26	c cleaning 22001 clauses out of 44016 with flag 1675016/544458
84.95/82.06	c cleaning 23004 clauses out of 46016 with flag 1846711/568459
89.54/86.69	c cleaning 24004 clauses out of 48012 with flag 2045732/593459
94.63/91.79	c cleaning 24995 clauses out of 50008 with flag 2253556/619459
99.95/97.02	c cleaning 26000 clauses out of 52014 with flag 2461272/646460
105.05/102.14	c cleaning 26995 clauses out of 54014 with flag 2672922/674460
109.94/107.11	c cleaning 27993 clauses out of 56017 with flag 2858100/703458
115.61/112.79	c cleaning 29004 clauses out of 58024 with flag 3091235/733458
121.50/118.69	c cleaning 30001 clauses out of 60020 with flag 3320437/764458
129.08/126.29	c cleaning 30999 clauses out of 62019 with flag 3567780/796458
135.76/132.92	c cleaning 32003 clauses out of 64020 with flag 3802904/829458
144.04/141.27	c cleaning 32997 clauses out of 66018 with flag 4088242/863459
153.03/150.23	c cleaning 34008 clauses out of 68020 with flag 4423131/898458
159.47/156.67	c cleaning 34998 clauses out of 70012 with flag 4630071/934458
165.65/162.88	c cleaning 36000 clauses out of 72014 with flag 4869198/971458
172.65/169.82	c cleaning 37003 clauses out of 74015 with flag 5121599/1009459
173.20/170.35	c Got one! Elapsed wall clock time (in seconds):170.019
173.20/170.35	o 4237
173.94/170.78	c cleaning 21111 clauses out of 42242 with flag 12642/1014689
175.29/171.68	c cleaning 13559 clauses out of 27133 with flag 59401/1020691
176.09/172.49	c cleaning 10282 clauses out of 20572 with flag 97891/1027689
177.67/173.44	c cleaning 9125 clauses out of 18289 with flag 141976/1035688
178.57/174.38	c cleaning 9064 clauses out of 18164 with flag 187632/1044688
179.67/175.47	c cleaning 9549 clauses out of 19100 with flag 245124/1054688
180.87/176.69	c cleaning 10264 clauses out of 20550 with flag 315889/1065687
182.47/178.22	c cleaning 11140 clauses out of 22286 with flag 405206/1077687
184.17/179.99	c cleaning 12065 clauses out of 24146 with flag 500781/1090687
186.07/181.84	c cleaning 13040 clauses out of 26082 with flag 611059/1104688
187.57/183.37	c Got one! Elapsed wall clock time (in seconds):183.043
187.57/183.37	o 4173
188.20/183.98	c cleaning 14756 clauses out of 29512 with flag 28061/1121158
189.03/184.73	c cleaning 10372 clauses out of 20757 with flag 59282/1127159
189.83/185.59	c cleaning 8686 clauses out of 17385 with flag 94335/1134159
190.83/186.56	c cleaning 8340 clauses out of 16698 with flag 147012/1142158
191.93/187.69	c cleaning 8671 clauses out of 17359 with flag 211327/1151159
193.34/189.05	c cleaning 9342 clauses out of 18687 with flag 281586/1161158
194.83/190.53	c cleaning 10168 clauses out of 20345 with flag 367511/1172158
196.72/192.45	c cleaning 11077 clauses out of 22178 with flag 473709/1184159
199.02/194.74	c cleaning 12050 clauses out of 24100 with flag 594383/1197158
201.42/197.20	c cleaning 13017 clauses out of 26050 with flag 713941/1211158
203.85/199.56	c cleaning 14015 clauses out of 28034 with flag 822058/1226159
206.46/202.15	c cleaning 15004 clauses out of 30018 with flag 946997/1242158
209.55/205.27	c cleaning 16005 clauses out of 32017 with flag 1081840/1259161
212.04/207.75	c cleaning 17001 clauses out of 34009 with flag 1187390/1277158
214.73/210.44	c cleaning 18000 clauses out of 36010 with flag 1308830/1296160
218.03/213.71	c cleaning 19004 clauses out of 38008 with flag 1430206/1316158
221.33/217.03	c cleaning 19997 clauses out of 40004 with flag 1555507/1337158
224.73/220.42	c cleaning 20995 clauses out of 42008 with flag 1691763/1359159
227.53/223.27	c cleaning 22005 clauses out of 44012 with flag 1823029/1382158
230.92/226.64	c cleaning 23001 clauses out of 46007 with flag 1966402/1406158
235.11/230.89	c cleaning 23998 clauses out of 48006 with flag 2160263/1431158
239.60/235.39	c cleaning 24995 clauses out of 50008 with flag 2367349/1457158
244.04/239.75	c cleaning 26005 clauses out of 52014 with flag 2554046/1484159
249.64/245.33	c cleaning 26998 clauses out of 54008 with flag 2799249/1512158
255.03/250.79	c cleaning 27999 clauses out of 56010 with flag 3030545/1541158
260.61/256.33	c cleaning 29002 clauses out of 58011 with flag 3261989/1571158
266.01/261.73	c cleaning 29995 clauses out of 60010 with flag 3497249/1602159
272.50/268.26	c cleaning 31000 clauses out of 62015 with flag 3750099/1634159
278.70/274.47	c cleaning 32003 clauses out of 64014 with flag 3966252/1667158
284.68/280.48	c cleaning 32997 clauses out of 66012 with flag 4187961/1701159
290.49/286.26	c cleaning 33989 clauses out of 68014 with flag 4349860/1736158
296.17/291.95	c cleaning 35008 clauses out of 70025 with flag 4519970/1772158
301.66/297.41	c cleaning 36009 clauses out of 72019 with flag 4682610/1809160
307.76/303.58	c cleaning 36991 clauses out of 74009 with flag 4872187/1847159
315.28/311.11	c cleaning 38003 clauses out of 76017 with flag 5163197/1886158
322.95/318.72	c cleaning 38993 clauses out of 78014 with flag 5399478/1926158
331.25/327.03	c cleaning 39991 clauses out of 80021 with flag 5733112/1967158
339.94/335.72	c cleaning 41010 clauses out of 82031 with flag 6095813/2009159
341.73/337.55	c Got one! Elapsed wall clock time (in seconds):337.222
341.73/337.55	o 4152
342.26/338.09	c Got one! Elapsed wall clock time (in seconds):337.765
342.26/338.09	o 4067
342.85/338.66	c cleaning 28517 clauses out of 57046 with flag 20530/2025184
343.75/339.59	c cleaning 17254 clauses out of 34529 with flag 55327/2031184
344.85/340.63	c cleaning 12126 clauses out of 24275 with flag 102761/2038184
345.85/341.65	c cleaning 10063 clauses out of 20150 with flag 156515/2046185
346.95/342.75	c cleaning 9529 clauses out of 19086 with flag 213674/2055184
348.05/343.88	c cleaning 9777 clauses out of 19557 with flag 272565/2065184
349.45/345.26	c cleaning 10384 clauses out of 20780 with flag 342846/2076184
350.84/346.64	c cleaning 11180 clauses out of 22396 with flag 408312/2088184
352.64/348.42	c cleaning 12104 clauses out of 24217 with flag 492230/2101185
354.55/350.38	c cleaning 13052 clauses out of 26113 with flag 575591/2115185
356.64/352.43	c cleaning 14026 clauses out of 28061 with flag 667419/2130185
359.14/355.00	c cleaning 15011 clauses out of 30036 with flag 775447/2146186
361.93/357.72	c cleaning 16011 clauses out of 32025 with flag 894264/2163186
364.83/360.62	c cleaning 17004 clauses out of 34014 with flag 1024435/2181186
367.82/363.64	c cleaning 17994 clauses out of 36008 with flag 1167285/2200184
370.62/366.47	c cleaning 19004 clauses out of 38014 with flag 1307102/2220184
373.22/369.04	c cleaning 19996 clauses out of 40011 with flag 1437757/2241185
376.61/372.40	c cleaning 21003 clauses out of 42015 with flag 1605448/2263185
380.00/375.87	c cleaning 22006 clauses out of 44013 with flag 1779334/2286186
383.71/379.53	c cleaning 22997 clauses out of 46005 with flag 1955626/2310184
386.71/382.50	c cleaning 23991 clauses out of 48008 with flag 2109206/2335184
389.80/385.67	c cleaning 25003 clauses out of 50017 with flag 2269310/2361184
392.70/388.56	c cleaning 26005 clauses out of 52017 with flag 2430300/2388187
395.89/391.70	c cleaning 27000 clauses out of 54009 with flag 2607866/2416184
399.08/394.96	c cleaning 27999 clauses out of 56009 with flag 2799743/2445184
403.29/399.15	c cleaning 28994 clauses out of 58011 with flag 3022672/2475185
407.57/403.42	c cleaning 30001 clauses out of 60016 with flag 3250507/2506184
412.37/408.28	c cleaning 31001 clauses out of 62016 with flag 3510141/2538185
419.66/415.55	c cleaning 31997 clauses out of 64014 with flag 3807144/2571184
425.54/421.46	c cleaning 33003 clauses out of 66017 with flag 4093197/2605184
432.14/428.07	c cleaning 33995 clauses out of 68014 with flag 4309135/2640184
438.61/434.51	c cleaning 35002 clauses out of 70020 with flag 4582409/2676185
445.27/441.18	c cleaning 36006 clauses out of 72020 with flag 4838593/2713187
452.16/448.09	c cleaning 37002 clauses out of 74011 with flag 5111017/2751184
460.42/456.34	c cleaning 37998 clauses out of 76010 with flag 5456330/2790185
468.01/463.92	c cleaning 39001 clauses out of 78014 with flag 5686675/2830187
470.31/466.22	c Got one! Elapsed wall clock time (in seconds):465.893
470.31/466.22	o 4057
471.22/467.15	c cleaning 28236 clauses out of 56483 with flag 34395/2847657
472.41/468.33	c cleaning 17116 clauses out of 34247 with flag 90906/2853657
473.93/469.89	c cleaning 12053 clauses out of 24131 with flag 145564/2860657
476.14/472.02	c cleaning 10024 clauses out of 20078 with flag 203365/2868657
477.32/473.23	c cleaning 9515 clauses out of 19055 with flag 259181/2877658
478.42/474.32	c cleaning 9765 clauses out of 19539 with flag 316855/2887657
479.81/475.71	c cleaning 10383 clauses out of 20774 with flag 390790/2898657
481.31/477.30	c cleaning 11191 clauses out of 22392 with flag 479178/2910658
483.12/479.10	c cleaning 12098 clauses out of 24201 with flag 579928/2923658
485.50/481.47	c cleaning 13044 clauses out of 26104 with flag 691341/2937659
488.32/484.24	c cleaning 14020 clauses out of 28059 with flag 833914/2952658
491.02/487.00	c cleaning 15012 clauses out of 30038 with flag 953890/2968657
494.12/490.02	c cleaning 16010 clauses out of 32027 with flag 1072747/2985658
497.40/493.33	c cleaning 17000 clauses out of 34018 with flag 1195762/3003659
500.55/496.42	c cleaning 18001 clauses out of 36016 with flag 1322343/3022657
504.44/500.39	c cleaning 18994 clauses out of 38015 with flag 1494249/3042657
509.03/504.99	c cleaning 20005 clauses out of 40021 with flag 1680522/3063657
512.23/508.16	c cleaning 21003 clauses out of 42019 with flag 1798708/3085660
515.61/511.58	c cleaning 22000 clauses out of 44014 with flag 1922380/3108658
519.51/515.42	c cleaning 23006 clauses out of 46014 with flag 2061920/3132658
524.11/520.02	c cleaning 23994 clauses out of 48008 with flag 2217553/3157658
528.29/524.23	c cleaning 24999 clauses out of 50015 with flag 2338775/3183659
532.58/528.55	c cleaning 26001 clauses out of 52014 with flag 2493158/3210657
537.09/532.89	c cleaning 27004 clauses out of 54013 with flag 2631173/3238657
541.58/537.32	c cleaning 27998 clauses out of 56009 with flag 2804378/3267657
546.76/542.53	c cleaning 28995 clauses out of 58011 with flag 3025155/3297657
548.27/544.11	c Got one! Elapsed wall clock time (in seconds):543.779
548.27/544.11	o 4020
549.06/544.85	c cleaning 22069 clauses out of 44160 with flag 33976/3312801
549.96/545.77	c cleaning 14039 clauses out of 28093 with flag 84118/3318803
550.95/546.77	c cleaning 10511 clauses out of 21054 with flag 129403/3325803
551.85/547.61	c cleaning 9257 clauses out of 18541 with flag 168653/3333801
552.76/548.53	c cleaning 9123 clauses out of 18285 with flag 213442/3342802
553.75/549.57	c cleaning 9576 clauses out of 19162 with flag 257607/3352802
555.05/550.80	c cleaning 10290 clauses out of 20585 with flag 313252/3363801
556.36/552.19	c cleaning 11131 clauses out of 22295 with flag 374693/3375801
557.94/553.71	c cleaning 12077 clauses out of 24164 with flag 446707/3388801
559.54/555.38	c cleaning 13044 clauses out of 26088 with flag 519442/3402802
561.63/557.41	c cleaning 14020 clauses out of 28043 with flag 618081/3417801
563.93/559.79	c cleaning 15005 clauses out of 30023 with flag 732599/3433801
566.92/562.72	c cleaning 16003 clauses out of 32020 with flag 877657/3450803
569.92/565.71	c cleaning 17005 clauses out of 34015 with flag 1044815/3468801
572.61/568.49	c cleaning 17996 clauses out of 36011 with flag 1190067/3487802
575.41/571.25	c cleaning 18998 clauses out of 38014 with flag 1329219/3507801
578.41/574.27	c cleaning 19997 clauses out of 40017 with flag 1479850/3528802
581.70/577.50	c cleaning 21009 clauses out of 42019 with flag 1629512/3550801
584.70/580.50	c cleaning 21998 clauses out of 44010 with flag 1779245/3573801
587.99/583.86	c cleaning 23001 clauses out of 46012 with flag 1938159/3597801
592.38/588.21	c cleaning 24006 clauses out of 48013 with flag 2118567/3622803
596.29/592.19	c cleaning 24999 clauses out of 50006 with flag 2282727/3648802
600.67/596.57	c cleaning 25998 clauses out of 52008 with flag 2469439/3675803
605.48/601.31	c cleaning 26999 clauses out of 54008 with flag 2654495/3703801
609.87/605.71	c cleaning 27996 clauses out of 56010 with flag 2848159/3732802
614.36/610.29	c cleaning 29003 clauses out of 58014 with flag 3030674/3762802
619.44/615.39	c cleaning 29995 clauses out of 60010 with flag 3222976/3793801
624.44/620.37	c cleaning 30994 clauses out of 62016 with flag 3399899/3825802
629.83/625.73	c cleaning 32010 clauses out of 64022 with flag 3602239/3858802
635.22/631.18	c cleaning 32998 clauses out of 66011 with flag 3772102/3892801
640.00/635.94	c cleaning 33999 clauses out of 68013 with flag 3914407/3927801
645.80/641.75	c cleaning 34995 clauses out of 70014 with flag 4074118/3963801
652.10/648.05	c cleaning 36002 clauses out of 72020 with flag 4258792/4000802
658.09/654.09	c cleaning 37004 clauses out of 74017 with flag 4437746/4038801
664.56/660.56	c cleaning 38000 clauses out of 76014 with flag 4650754/4077802
672.16/668.16	c cleaning 39000 clauses out of 78013 with flag 4866172/4117801
679.15/675.18	c cleaning 40006 clauses out of 80015 with flag 5050183/4158803
686.52/682.55	c cleaning 41000 clauses out of 82007 with flag 5235028/4200801
694.50/690.59	c cleaning 41998 clauses out of 84007 with flag 5422594/4243801
703.51/699.57	c cleaning 42999 clauses out of 86010 with flag 5650372/4287802
711.89/708.00	c cleaning 44003 clauses out of 88013 with flag 5852144/4332804
721.17/717.21	c cleaning 44999 clauses out of 90007 with flag 6084564/4378801
730.45/726.50	c cleaning 45993 clauses out of 92008 with flag 6318433/4425801
740.58/736.65	c cleaning 47003 clauses out of 94015 with flag 6587726/4473801
750.16/746.26	c cleaning 47993 clauses out of 96012 with flag 6879904/4522801
757.64/753.78	c cleaning 49001 clauses out of 98020 with flag 7214573/4572802
765.42/761.57	c cleaning 49999 clauses out of 100018 with flag 7609154/4623801
774.30/770.42	c cleaning 51008 clauses out of 102019 with flag 8015880/4675801
784.78/780.96	c cleaning 52003 clauses out of 104012 with flag 8455150/4728802
795.08/791.23	c cleaning 52994 clauses out of 106008 with flag 8905750/4782801
804.56/800.77	c cleaning 53999 clauses out of 108018 with flag 9322384/4837805
813.95/810.12	c cleaning 55002 clauses out of 110016 with flag 9729749/4893802
823.72/819.93	c cleaning 56002 clauses out of 112013 with flag 10145850/4950801
836.34/832.58	c cleaning 56997 clauses out of 114012 with flag 10547343/5008802
847.72/843.95	c cleaning 58004 clauses out of 116015 with flag 10881028/5067802
859.51/855.73	c cleaning 58998 clauses out of 118011 with flag 11284827/5127802
870.89/867.15	c cleaning 60000 clauses out of 120013 with flag 11755293/5188802
883.27/879.51	c cleaning 60999 clauses out of 122013 with flag 12160334/5250802
896.40/892.66	c cleaning 62004 clauses out of 124013 with flag 12643641/5313801
907.68/903.90	c cleaning 62998 clauses out of 126009 with flag 13051102/5377801
920.94/917.22	c cleaning 64006 clauses out of 128012 with flag 13498026/5442802
933.32/929.62	c cleaning 64997 clauses out of 130007 with flag 13986543/5508803
945.49/941.87	c cleaning 65998 clauses out of 132009 with flag 14420336/5575802
959.92/956.27	c cleaning 66995 clauses out of 134011 with flag 14902970/5643802
972.29/968.68	c cleaning 68003 clauses out of 136015 with flag 15391594/5712801
984.25/980.60	c cleaning 68991 clauses out of 138012 with flag 15858444/5782801
995.93/992.37	c cleaning 70005 clauses out of 140023 with flag 16310013/5853803
1008.62/1005.02	c cleaning 70998 clauses out of 142016 with flag 16798978/5925801
1022.66/1019.04	c cleaning 72004 clauses out of 144019 with flag 17351317/5998802
1035.73/1032.12	c cleaning 73006 clauses out of 146015 with flag 17839801/6072802
1048.60/1045.10	c cleaning 73996 clauses out of 148008 with flag 18285296/6147801
1062.46/1058.92	c cleaning 75000 clauses out of 150012 with flag 18770884/6223801
1077.13/1073.64	c cleaning 76004 clauses out of 152012 with flag 19290138/6300801
1091.87/1088.36	c cleaning 77004 clauses out of 154010 with flag 19801484/6378803
1109.65/1106.19	c cleaning 77996 clauses out of 156004 with flag 20301184/6457801
1129.68/1126.28	c cleaning 78998 clauses out of 158008 with flag 20846237/6537801
1148.94/1145.52	c cleaning 80000 clauses out of 160010 with flag 21384247/6618801
1165.20/1161.86	c cleaning 81004 clauses out of 162012 with flag 21939085/6700803
1178.78/1175.42	c cleaning 82001 clauses out of 164007 with flag 22503365/6783802
1197.92/1194.59	c cleaning 83001 clauses out of 166008 with flag 23014193/6867804
1216.18/1212.85	c cleaning 83992 clauses out of 168004 with flag 23604970/6952801
1236.84/1233.58	c cleaning 85005 clauses out of 170013 with flag 24251041/7038802
1257.79/1254.59	c cleaning 85997 clauses out of 172007 with flag 24907207/7125801
1278.25/1275.03	c cleaning 86995 clauses out of 174011 with flag 25524821/7213802
1299.20/1296.09	c cleaning 87992 clauses out of 176018 with flag 26181576/7302804
1321.43/1318.21	c cleaning 89009 clauses out of 178024 with flag 26872234/7392802
1342.88/1339.74	c cleaning 89998 clauses out of 180015 with flag 27520918/7483802
1363.44/1360.34	c cleaning 90994 clauses out of 182016 with flag 28196721/7575801
1382.70/1379.63	c cleaning 92001 clauses out of 184023 with flag 28868711/7668802
1403.95/1400.58	c cleaning 93002 clauses out of 186022 with flag 29505031/7762802
1424.01/1420.61	c cleaning 94002 clauses out of 188019 with flag 30115680/7857801
1446.75/1443.44	c cleaning 95001 clauses out of 190017 with flag 30799682/7953801
1471.31/1468.04	c cleaning 96003 clauses out of 192016 with flag 31611440/8050801
1492.66/1489.30	c cleaning 96997 clauses out of 194013 with flag 32303720/8148801
1514.12/1510.84	c cleaning 97999 clauses out of 196016 with flag 32978442/8247801
1535.95/1532.63	c cleaning 98999 clauses out of 198018 with flag 33740242/8347802
1563.30/1560.03	c cleaning 100002 clauses out of 200019 with flag 34709144/8448802
1588.62/1585.31	c cleaning 101001 clauses out of 202016 with flag 35529186/8550801
1612.16/1609.01	c cleaning 102004 clauses out of 204016 with flag 36324103/8653802
1636.00/1632.74	c cleaning 102994 clauses out of 206014 with flag 37049151/8757804
1661.15/1658.00	c cleaning 103995 clauses out of 208017 with flag 37825652/8862801
1689.21/1686.07	c cleaning 104996 clauses out of 210022 with flag 38562265/8968801
1717.16/1714.06	c cleaning 106010 clauses out of 212027 with flag 39262235/9075802
1746.04/1742.96	c cleaning 106999 clauses out of 214017 with flag 39959928/9183802
1772.88/1769.87	c cleaning 108007 clauses out of 216018 with flag 40677832/9292802
1793.23/1790.23	c Got one! Elapsed wall clock time (in seconds):1789.897
1793.23/1790.23	o 4001
1794.14/1791.12	c Got one! Elapsed wall clock time (in seconds):1790.787
1794.14/1791.12	o 3988
1795.04/1792.07	c cleaning 104540 clauses out of 209102 with flag 16313/9393893
1796.62/1793.67	c cleaning 55270 clauses out of 110558 with flag 63394/9399889
1798.32/1795.31	c cleaning 31139 clauses out of 62289 with flag 121787/9406890
1799.92/1796.92	c cleaning 19573 clauses out of 39149 with flag 185506/9414889
1801.42/1798.45	c cleaning 14277 clauses out of 28576 with flag 236831/9423889
1803.02/1800.02	c cleaning 12127 clauses out of 24299 with flag 310469/9433889
1804.81/1801.85	c cleaning 11574 clauses out of 23174 with flag 399919/9444891
1806.30/1803.38	c cleaning 11789 clauses out of 23598 with flag 471177/9456889
1807.90/1804.95	c cleaning 12401 clauses out of 24810 with flag 560757/9469890
1809.69/1806.74	c cleaning 13200 clauses out of 26411 with flag 649464/9483892
1812.23/1809.27	c cleaning 14095 clauses out of 28208 with flag 763620/9498889
1814.93/1811.94	c cleaning 15055 clauses out of 30113 with flag 893785/9514889
1817.62/1814.62	c cleaning 16025 clauses out of 32058 with flag 1019764/9531889
1820.31/1817.36	c cleaning 17012 clauses out of 34034 with flag 1140131/9549890
1823.02/1820.10	c cleaning 18009 clauses out of 36021 with flag 1271066/9568889
1826.40/1823.40	c cleaning 18995 clauses out of 38013 with flag 1418947/9588890
1829.69/1826.76	c cleaning 19999 clauses out of 40018 with flag 1563269/9609890
1833.38/1830.44	c cleaning 21006 clauses out of 42018 with flag 1719966/9631889
1837.57/1834.64	c cleaning 22003 clauses out of 44014 with flag 1895443/9654891
1842.07/1839.14	c cleaning 23000 clauses out of 46011 with flag 2070820/9678891
1846.25/1843.33	c cleaning 24000 clauses out of 48009 with flag 2225192/9703889
1850.74/1847.89	c cleaning 24997 clauses out of 50010 with flag 2398254/9729890
1855.43/1852.54	c cleaning 25996 clauses out of 52012 with flag 2570874/9756889
1860.51/1857.69	c cleaning 27004 clauses out of 54019 with flag 2738729/9784892
1865.60/1862.75	c cleaning 28001 clauses out of 56012 with flag 2931442/9813889
1871.49/1868.64	c cleaning 28995 clauses out of 58012 with flag 3124071/9843890
1877.44/1874.59	c cleaning 30005 clauses out of 60017 with flag 3339009/9874890
1883.62/1880.71	c cleaning 31001 clauses out of 62012 with flag 3556308/9906890
1889.61/1886.72	c cleaning 32000 clauses out of 64011 with flag 3770398/9939890
1895.60/1892.79	c cleaning 32995 clauses out of 66013 with flag 4005225/9973892
1901.29/1898.47	c cleaning 34006 clauses out of 68015 with flag 4253941/10008889
1906.98/1904.15	c cleaning 35003 clauses out of 70010 with flag 4484469/10044890
1912.76/1909.99	c cleaning 35999 clauses out of 72007 with flag 4729078/10081890
1918.34/1915.58	c cleaning 36998 clauses out of 74007 with flag 4988773/10119889
1924.73/1921.95	c cleaning 38002 clauses out of 76009 with flag 5270563/10158889
1931.11/1928.37	c cleaning 39004 clauses out of 78008 with flag 5543774/10198890
1938.69/1935.90	c cleaning 39996 clauses out of 80005 with flag 5883733/10239891
1946.79/1944.01	c cleaning 41003 clauses out of 82007 with flag 6171522/10281889
1954.66/1951.92	c cleaning 41996 clauses out of 84004 with flag 6393021/10324889
1961.94/1959.22	c cleaning 42995 clauses out of 86009 with flag 6661277/10368890
1969.09/1966.37	c cleaning 44002 clauses out of 88013 with flag 6999031/10413889
1970.18/1967.49	c Got one! Elapsed wall clock time (in seconds):1967.167
1970.18/1967.50	o 3936
1970.98/1968.24	c cleaning 27975 clauses out of 55963 with flag 31792/10425841
1971.68/1968.94	c cleaning 16987 clauses out of 33988 with flag 69541/10431841
1972.58/1969.81	c cleaning 11984 clauses out of 24001 with flag 117244/10438841
1973.57/1970.83	c cleaning 10000 clauses out of 20018 with flag 171474/10446842
1974.37/1971.67	c cleaning 9500 clauses out of 19017 with flag 214906/10455841
1975.47/1972.76	c cleaning 9756 clauses out of 19518 with flag 273269/10465842
1976.67/1973.95	c cleaning 10377 clauses out of 20762 with flag 347979/10476842
1978.06/1975.36	c cleaning 11189 clauses out of 22385 with flag 430382/10488842
1979.47/1976.74	c cleaning 12091 clauses out of 24197 with flag 505624/10501843
1980.97/1978.30	c cleaning 13051 clauses out of 26105 with flag 594893/10515842
1982.78/1980.06	c cleaning 14022 clauses out of 28053 with flag 701998/10530841
1984.67/1981.91	c cleaning 15014 clauses out of 30032 with flag 813750/10546842
1986.66/1983.99	c cleaning 16004 clauses out of 32017 with flag 936750/10563841
1989.16/1986.42	c cleaning 17006 clauses out of 34014 with flag 1065919/10581842
1991.65/1988.91	c cleaning 18001 clauses out of 36007 with flag 1202524/10600841
1994.24/1991.55	c cleaning 19000 clauses out of 38007 with flag 1346934/10620842
1997.24/1994.54	c cleaning 19999 clauses out of 40008 with flag 1484041/10641843
1999.74/1997.05	c cleaning 21002 clauses out of 42008 with flag 1627390/10663842
2002.74/2000.09	c cleaning 21988 clauses out of 44006 with flag 1805975/10686842
2006.12/2003.41	c cleaning 23008 clauses out of 46017 with flag 1999975/10710841
2009.41/2006.71	c cleaning 24001 clauses out of 48012 with flag 2160226/10735844
2013.10/2010.46	c cleaning 25003 clauses out of 50010 with flag 2346892/10761843
2017.20/2014.52	c cleaning 26002 clauses out of 52006 with flag 2541044/10788842
2021.39/2018.77	c cleaning 26994 clauses out of 54005 with flag 2747710/10816843
2025.69/2023.09	c cleaning 28005 clauses out of 56010 with flag 2960418/10845842
2030.17/2027.56	c cleaning 29000 clauses out of 58004 with flag 3163729/10875841
2035.36/2032.75	c cleaning 29995 clauses out of 60005 with flag 3418161/10906842
2040.45/2037.84	c cleaning 31002 clauses out of 62009 with flag 3680489/10938841
2046.94/2044.31	c cleaning 31999 clauses out of 64007 with flag 4004507/10971841
2052.53/2049.97	c cleaning 32996 clauses out of 66009 with flag 4305759/11005842
2057.23/2054.67	c cleaning 34001 clauses out of 68012 with flag 4516378/11040841
2062.81/2060.27	c cleaning 35006 clauses out of 70012 with flag 4778769/11076842
2069.70/2067.16	c cleaning 35995 clauses out of 72006 with flag 5081561/11113842
2077.97/2075.44	c cleaning 37003 clauses out of 74011 with flag 5439441/11151842
2084.57/2082.07	c cleaning 37999 clauses out of 76008 with flag 5762305/11190842
2090.74/2088.29	c cleaning 38996 clauses out of 78008 with flag 6067373/11230841
2096.92/2094.47	c cleaning 40006 clauses out of 80014 with flag 6353257/11271843
2103.11/2100.63	c cleaning 40998 clauses out of 82008 with flag 6630659/11313843
2110.30/2107.85	c cleaning 41997 clauses out of 84009 with flag 6976702/11356842
2116.95/2114.40	c cleaning 43002 clauses out of 86015 with flag 7256834/11400845
2123.43/2120.95	c cleaning 44001 clauses out of 88009 with flag 7539784/11445841
2129.81/2127.39	c cleaning 45003 clauses out of 90009 with flag 7860807/11491842
2137.89/2135.41	c cleaning 45993 clauses out of 92006 with flag 8196493/11538842
2145.59/2143.17	c cleaning 47000 clauses out of 94014 with flag 8486716/11586843
2154.65/2152.26	c cleaning 47993 clauses out of 96012 with flag 8841142/11635841
2164.84/2162.41	c cleaning 49010 clauses out of 98019 with flag 9234546/11685841
2174.71/2172.33	c cleaning 50002 clauses out of 100009 with flag 9605626/11736841
2183.99/2181.64	c cleaning 50998 clauses out of 102007 with flag 9945063/11788841
2195.97/2193.61	c cleaning 52000 clauses out of 104009 with flag 10348563/11841841
2205.80/2203.46	c cleaning 52998 clauses out of 106011 with flag 10713389/11895843
2215.58/2213.29	c cleaning 54001 clauses out of 108011 with flag 11162064/11950841
2226.67/2224.32	c cleaning 55000 clauses out of 110010 with flag 11560478/12006841
2237.75/2235.40	c cleaning 55993 clauses out of 112011 with flag 11915437/12063842
2247.53/2245.28	c cleaning 57004 clauses out of 114018 with flag 12285119/12121842
2259.11/2256.81	c cleaning 58000 clauses out of 116013 with flag 12677440/12180841
2269.57/2267.38	c cleaning 58998 clauses out of 118017 with flag 12991391/12240845
2280.95/2278.79	c cleaning 59995 clauses out of 120015 with flag 13362635/12301841
2294.52/2292.30	c cleaning 61007 clauses out of 122022 with flag 13878250/12363843
2308.20/2306.11	c cleaning 62001 clauses out of 124014 with flag 14336410/12426842
2321.17/2319.09	c cleaning 62998 clauses out of 126012 with flag 14776343/12490841
2334.52/2332.46	c cleaning 64003 clauses out of 128015 with flag 15246558/12555842
2347.59/2345.51	c cleaning 64996 clauses out of 130012 with flag 15688181/12621842
2360.88/2358.14	c cleaning 66004 clauses out of 132016 with flag 16134559/12688842
2372.05/2369.36	c cleaning 67005 clauses out of 134012 with flag 16576966/12756842
2383.43/2380.77	c cleaning 68000 clauses out of 136007 with flag 17099437/12825842
2396.73/2394.06	c cleaning 68996 clauses out of 138006 with flag 17731993/12895841
2413.28/2410.61	c cleaning 69996 clauses out of 140010 with flag 18501077/12966841
2429.85/2427.21	c cleaning 70998 clauses out of 142014 with flag 19195639/13038841
2447.22/2444.61	c cleaning 72001 clauses out of 144016 with flag 19971697/13111841
2460.39/2457.87	c cleaning 73000 clauses out of 146015 with flag 20460148/13185841
2475.58/2473.03	c cleaning 73997 clauses out of 148015 with flag 20959580/13260841
2492.93/2490.43	c cleaning 75006 clauses out of 150019 with flag 21435730/13336842
2509.25/2506.79	c cleaning 75999 clauses out of 152013 with flag 21940128/13413842
2524.43/2522.00	c cleaning 76999 clauses out of 154014 with flag 22449044/13491842
2542.30/2539.85	c cleaning 78002 clauses out of 156015 with flag 23035865/13570842
2561.27/2558.80	c cleaning 79001 clauses out of 158012 with flag 23665732/13650841
2580.62/2578.28	c cleaning 79997 clauses out of 160012 with flag 24342312/13731842
2601.27/2598.95	c cleaning 81003 clauses out of 162015 with flag 25054640/13813842
2621.53/2619.27	c cleaning 82000 clauses out of 164011 with flag 25827356/13896841
2640.77/2638.57	c cleaning 83002 clauses out of 166013 with flag 26505358/13980843
2661.72/2659.46	c cleaning 84005 clauses out of 168009 with flag 27086835/14065841
2681.48/2679.20	c cleaning 84997 clauses out of 170004 with flag 27567663/14151841
2704.26/2702.01	c cleaning 86000 clauses out of 172008 with flag 28173587/14238842
2726.80/2724.69	c cleaning 87003 clauses out of 174010 with flag 28814994/14326844
2751.25/2749.16	c cleaning 87994 clauses out of 176004 with flag 29511758/14415841
2772.10/2770.01	c cleaning 88993 clauses out of 178010 with flag 30019491/14505841
2791.15/2789.15	c cleaning 90000 clauses out of 180017 with flag 30511838/14596841
2813.83/2811.74	c cleaning 91004 clauses out of 182018 with flag 31175572/14688842
2820.91/2818.86	c Got one! Elapsed wall clock time (in seconds):2818.527
2820.91/2818.86	o 3902
2822.31/2820.21	c cleaning 65378 clauses out of 130773 with flag 38010/14728601
2823.40/2821.37	c cleaning 35694 clauses out of 71395 with flag 79226/14734601
2824.50/2822.47	c cleaning 21343 clauses out of 42702 with flag 135377/14741602
2825.60/2823.52	c cleaning 14656 clauses out of 29358 with flag 192822/14749601
2826.70/2824.63	c cleaning 11810 clauses out of 23702 with flag 255254/14758601
2827.89/2825.87	c cleaning 10941 clauses out of 21894 with flag 307395/14768603
2829.20/2827.11	c cleaning 10959 clauses out of 21952 with flag 362537/14779602
2830.59/2828.55	c cleaning 11488 clauses out of 22993 with flag 421986/14791602
2832.10/2830.09	c cleaning 12251 clauses out of 24506 with flag 486658/14804603
2834.38/2832.30	c cleaning 13123 clauses out of 26253 with flag 574291/14818601
2836.98/2834.96	c cleaning 14061 clauses out of 28132 with flag 680202/14833603
2839.18/2837.19	c cleaning 15031 clauses out of 30070 with flag 794137/14849602
2841.66/2839.60	c cleaning 16014 clauses out of 32038 with flag 867299/14866601
2844.17/2842.17	c cleaning 17008 clauses out of 34024 with flag 942692/14884601
2846.95/2844.92	c cleaning 17997 clauses out of 36017 with flag 1015470/14903602
2849.64/2847.68	c cleaning 19010 clauses out of 38019 with flag 1125723/14923601
2852.33/2850.30	c cleaning 19999 clauses out of 40009 with flag 1277857/14944601
2854.93/2852.98	c cleaning 21005 clauses out of 42010 with flag 1421639/14966601
2857.93/2855.92	c cleaning 21998 clauses out of 44007 with flag 1567533/14989603
2861.13/2859.17	c cleaning 23002 clauses out of 46007 with flag 1711207/15013601
2864.31/2862.36	c cleaning 23993 clauses out of 48006 with flag 1873181/15038602
2867.40/2865.42	c cleaning 25007 clauses out of 50014 with flag 2059657/15064603
2870.69/2868.71	c cleaning 25992 clauses out of 52005 with flag 2247639/15091601
2874.28/2872.40	c cleaning 26999 clauses out of 54016 with flag 2447314/15119604
2878.37/2876.41	c cleaning 27998 clauses out of 56014 with flag 2675386/15148601
2882.86/2880.96	c cleaning 29000 clauses out of 58016 with flag 2938926/15178601
2887.56/2885.66	c cleaning 30000 clauses out of 60017 with flag 3213779/15209602
2893.06/2891.17	c cleaning 31002 clauses out of 62017 with flag 3521041/15241602
2898.94/2897.11	c cleaning 32002 clauses out of 64015 with flag 3840211/15274602
2905.11/2903.25	c cleaning 32994 clauses out of 66012 with flag 4160704/15308601
2912.19/2910.38	c cleaning 34004 clauses out of 68019 with flag 4572558/15343602
2919.00/2917.12	c cleaning 35003 clauses out of 70015 with flag 4959362/15379602
2925.37/2923.59	c cleaning 36003 clauses out of 72011 with flag 5305635/15416601
2934.01/2932.19	c cleaning 36995 clauses out of 74008 with flag 5783080/15454601
2940.69/2938.83	c cleaning 38002 clauses out of 76016 with flag 6127313/15493604
2945.99/2944.14	c cleaning 38993 clauses out of 78011 with flag 6370077/15533601
2952.37/2950.51	c cleaning 39999 clauses out of 80019 with flag 6616134/15574602
2959.15/2957.32	c cleaning 41001 clauses out of 82019 with flag 6877704/15616601
2966.13/2964.38	c cleaning 42007 clauses out of 84018 with flag 7184988/15659601
2973.22/2971.43	c cleaning 43002 clauses out of 86013 with flag 7442446/15703603
2982.20/2980.49	c cleaning 44005 clauses out of 88009 with flag 7764230/15748601
2990.80/2989.09	c cleaning 44998 clauses out of 90004 with flag 8060668/15794601
2997.67/2995.95	c cleaning 45998 clauses out of 92006 with flag 8310504/15841601
3005.16/3003.46	c cleaning 46999 clauses out of 94008 with flag 8569066/15889601
3013.14/3011.41	c cleaning 47997 clauses out of 96009 with flag 8846680/15938601
3021.61/3019.96	c cleaning 48999 clauses out of 98012 with flag 9175869/15988601
3029.92/3028.21	c cleaning 50002 clauses out of 100014 with flag 9470400/16039602
3037.59/3035.91	c cleaning 51001 clauses out of 102013 with flag 9756365/16091603
3046.68/3045.07	c cleaning 51998 clauses out of 104010 with flag 10090494/16144601
3056.25/3054.62	c cleaning 52998 clauses out of 106013 with flag 10477979/16198602
3064.82/3063.25	c cleaning 53999 clauses out of 108015 with flag 10802062/16253602
3074.21/3072.68	c cleaning 55005 clauses out of 110015 with flag 11151041/16309601
3083.08/3081.55	c cleaning 55998 clauses out of 112012 with flag 11389124/16366603
3093.46/3091.96	c cleaning 56998 clauses out of 114012 with flag 11691915/16424601
3104.25/3102.63	c cleaning 58005 clauses out of 116015 with flag 12115280/16483602
3114.43/3112.80	c cleaning 58998 clauses out of 118010 with flag 12545199/16543602
3117.53/3115.95	c Got one! Elapsed wall clock time (in seconds):3115.626
3117.53/3115.95	o 3900
3118.63/3117.07	c cleaning 41579 clauses out of 83166 with flag 53575/16567756
3119.52/3117.95	c cleaning 23789 clauses out of 47586 with flag 100564/16573755
3120.32/3118.73	c cleaning 15384 clauses out of 30798 with flag 150291/16580756
3121.12/3119.51	c cleaning 11692 clauses out of 23412 with flag 204770/16588754
3121.91/3120.38	c cleaning 10337 clauses out of 20720 with flag 267595/16597754
3122.91/3121.35	c cleaning 10179 clauses out of 20386 with flag 338758/16607757
3124.02/3122.42	c cleaning 10590 clauses out of 21204 with flag 413042/16618754
3125.02/3123.48	c cleaning 11299 clauses out of 22614 with flag 491482/16630754
3126.21/3124.68	c cleaning 12154 clauses out of 24315 with flag 576730/16643754
3127.62/3126.03	c cleaning 13075 clauses out of 26162 with flag 677906/16657755
3128.81/3127.29	c cleaning 14040 clauses out of 28086 with flag 772141/16672754
3130.30/3128.78	c cleaning 15021 clauses out of 30048 with flag 871767/16688756
3131.90/3130.39	c cleaning 16009 clauses out of 32026 with flag 998324/16705755
3133.89/3132.36	c cleaning 17007 clauses out of 34019 with flag 1140069/16723757
3135.79/3134.21	c cleaning 17999 clauses out of 36009 with flag 1274713/16742754
3137.69/3136.13	c cleaning 19001 clauses out of 38010 with flag 1428048/16762754
3140.27/3138.73	c cleaning 20002 clauses out of 40009 with flag 1630342/16783754
3143.06/3141.51	c cleaning 21002 clauses out of 42007 with flag 1855727/16805754
3145.58/3144.03	c cleaning 21995 clauses out of 44005 with flag 2049238/16828754
3148.26/3146.78	c cleaning 22997 clauses out of 46011 with flag 2201184/16852755
3151.45/3149.94	c cleaning 24006 clauses out of 48014 with flag 2346617/16877755
3155.04/3153.58	c cleaning 24997 clauses out of 50008 with flag 2520279/16903755
3158.83/3157.39	c cleaning 25998 clauses out of 52010 with flag 2696556/16930754
3162.92/3161.47	c cleaning 27005 clauses out of 54013 with flag 2868185/16958755
3167.21/3165.74	c cleaning 28003 clauses out of 56007 with flag 3049254/16987754
3171.70/3170.29	c cleaning 29001 clauses out of 58005 with flag 3227414/17017755
3176.79/3175.37	c cleaning 29994 clauses out of 60003 with flag 3451802/17048754
3180.98/3179.58	c cleaning 31003 clauses out of 62010 with flag 3617436/17080755
3185.58/3184.11	c cleaning 32002 clauses out of 64007 with flag 3799347/17113755
3190.64/3189.16	c cleaning 32994 clauses out of 66005 with flag 3977768/17147755
3195.71/3194.25	c cleaning 33996 clauses out of 68010 with flag 4154760/17182754
3200.90/3199.45	c cleaning 35002 clauses out of 70014 with flag 4302411/17218754
3207.09/3205.61	c cleaning 35997 clauses out of 72014 with flag 4509164/17255756
3213.97/3212.54	c cleaning 37000 clauses out of 74016 with flag 4778997/17293755
3220.35/3219.01	c cleaning 38001 clauses out of 76016 with flag 4990046/17332755
3226.94/3225.57	c cleaning 39001 clauses out of 78014 with flag 5215607/17372754
3233.72/3232.38	c cleaning 40001 clauses out of 80013 with flag 5487286/17413754
3240.21/3238.83	c cleaning 40999 clauses out of 82013 with flag 5850430/17455755
3246.79/3245.45	c cleaning 41997 clauses out of 84014 with flag 6207395/17498755
3252.87/3251.59	c cleaning 43005 clauses out of 86016 with flag 6569373/17542754
3258.96/3257.69	c cleaning 44001 clauses out of 88011 with flag 6963559/17587754
3265.65/3264.34	c cleaning 44995 clauses out of 90010 with flag 7395515/17633754
3272.73/3271.40	c cleaning 45998 clauses out of 92016 with flag 7829571/17680755
3280.21/3278.93	c cleaning 47005 clauses out of 94017 with flag 8223307/17728754
3288.30/3287.03	c cleaning 48002 clauses out of 96012 with flag 8519322/17777754
3296.87/3295.66	c cleaning 48999 clauses out of 98011 with flag 8811495/17827755
3306.55/3305.34	c cleaning 49996 clauses out of 100011 with flag 9162157/17878754
3315.25/3314.10	c cleaning 51002 clauses out of 102016 with flag 9478806/17930755
3323.12/3321.95	c cleaning 52000 clauses out of 104013 with flag 9754824/17983754
3331.55/3330.35	c cleaning 53001 clauses out of 106014 with flag 10021432/18037755
3341.03/3339.85	c cleaning 53998 clauses out of 108015 with flag 10335938/18092757
3350.62/3349.47	c cleaning 55003 clauses out of 110015 with flag 10586741/18148755
3361.50/3360.35	c cleaning 55997 clauses out of 112011 with flag 10817285/18205754
3372.98/3371.82	c cleaning 57006 clauses out of 114016 with flag 11069606/18263756
3384.94/3383.81	c cleaning 57997 clauses out of 116008 with flag 11342468/18322754
3396.62/3395.56	c cleaning 58998 clauses out of 118011 with flag 11622500/18382754
3407.39/3406.37	c cleaning 60000 clauses out of 120015 with flag 11928663/18443756
3418.37/3417.39	c cleaning 61003 clauses out of 122013 with flag 12191742/18505754
3431.62/3430.69	c cleaning 61999 clauses out of 124011 with flag 12480210/18568755
3444.39/3443.40	c cleaning 62999 clauses out of 126011 with flag 12779391/18632754
3457.36/3456.41	c cleaning 63998 clauses out of 128012 with flag 13131767/18697754
3468.73/3467.86	c cleaning 64996 clauses out of 130014 with flag 13521097/18763754
3480.71/3479.72	c cleaning 66001 clauses out of 132019 with flag 14136137/18830755
3493.38/3492.47	c cleaning 67004 clauses out of 134017 with flag 14862335/18898754
3509.24/3508.32	c cleaning 68001 clauses out of 136014 with flag 15578549/18967755
3523.80/3522.93	c cleaning 68995 clauses out of 138012 with flag 16215783/19037754
3536.38/3535.55	c cleaning 70005 clauses out of 140017 with flag 16743950/19108754
3548.54/3547.75	c cleaning 71001 clauses out of 142012 with flag 17225956/19180754
3562.01/3561.26	c cleaning 71998 clauses out of 144011 with flag 17788393/19253754
3577.28/3576.56	c cleaning 72995 clauses out of 146013 with flag 18406241/19327754
3593.53/3592.83	c cleaning 74007 clauses out of 148018 with flag 19089188/19402754
3600.02/3599.35	c starts		: 1547
3600.02/3599.36	c conflicts		: 19434726
3600.02/3599.36	c decisions		: 23498232
3600.02/3599.36	c propagations		: 294968257
3600.02/3599.36	c inspects		: 26288596544
3600.02/3599.36	c shortcuts		: 0
3600.02/3599.36	c learnt literals	: 0
3600.02/3599.36	c learnt binary clauses	: 1
3600.02/3599.36	c learnt ternary clauses	: 23
3600.02/3599.36	c learnt constraints	: 19434726
3600.02/3599.36	c ignored constraints	: 0
3600.02/3599.36	c root simplifications	: 0
3600.02/3599.36	c removed literals (reason simplification)	: 2155555417
3600.02/3599.36	c reason swapping (by a shorter reason)	: 0
3600.02/3599.37	c Calls to reduceDB	: 533
3600.02/3599.37	c Number of update (reduction) of LBD	: 3308778
3600.02/3599.37	c Imported unit clauses	: 0
3600.02/3599.37	c No decision after first conflict	: false
3600.02/3599.37	c number of reductions to clauses (during analyze)	: 0
3600.02/3599.37	c number of learned constraints concerned by reduction	: 0
3600.02/3599.38	c number of learning phase by resolution	: 0
3600.02/3599.38	c number of learning phase by cutting planes	: 0
3600.02/3599.38	c number of rounding to 1 operations	: 0
3600.02/3599.38	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3599.38	c number of reductions of the coefficients by power 2 	: 0
3600.02/3599.38	c number of right shift for reduction by power 2 	: 0
3600.02/3599.38	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3599.38	c number of ending skipping 	: 0
3600.02/3599.38	c number of internal skipping 	: 0
3600.02/3599.38	c number of derivation steps 	: 0
3600.02/3599.38	c number of skipped derivation steps 	: 0
3600.02/3599.38	c number of remaining unassigned 	: 0
3600.02/3599.38	c number of remaining assigned 	: 0
3600.02/3599.38	c number of falsified literals weakened from reason	: 0
3600.02/3599.38	c number of falsified literals weakened from conflict	: 0
3600.02/3599.38	c time for arithmetic operations	: 0
3600.02/3599.39	c minimum degree of deleted constraints	: null
3600.02/3599.39	c maximum degree of deleted constraints	: null
3600.02/3599.39	c number of deleted constraints	: 0
3600.02/3599.39	c speed (assignments/second)	: 81961.19428366127
3600.02/3599.39	c non guided choices	: 0
3600.21/3599.49	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.21/3599.49		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1984)
3600.21/3599.49		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2130)
3600.21/3599.49		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2121)
3600.21/3599.49		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:181)
3600.21/3599.49		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.21/3599.49		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.21/3599.49		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: 63837 MiB (41006 MiB free)
  memory of node 1: 64465 MiB (57248 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522466-1751598896/watcher-4522466-1751598896 -o /tmp/evaluation-result-4522466-1751598896/solver-4522466-1751598896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751595442-85916 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4522466-1751598896.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100076 s]*
/proc/loadavg: 4.22 4.29 4.27 7/324 86417
/proc/meminfo: memFree=100595264/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=18930384 memory=48104 CPUtime=0.11 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 5750 0 0 0 8 3 0 0 20 0 18 0 75569030 19384713216 12026 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4732596 12026 5305 1 0 546964 0
[pid=86399/tid=86401] ppid=86396 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 4651 0 0 0 5 2 0 0 20 0 18 0 75569032 19384713216 12026 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75569036 19384713216 12026 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=18930384 memory=58494082630061 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 75569037 19384713216 12026 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48104 KiB

[startup+0.213071 s]*
/proc/loadavg: 4.22 4.29 4.27 6/324 86417
/proc/meminfo: memFree=100592240/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=18930384 memory=53416 CPUtime=0.28 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 6462 0 0 0 24 4 0 0 20 0 18 0 75569030 19384713216 13354 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4732596 13354 5369 1 0 547535 0
[pid=86399/tid=86401] ppid=86396 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) S 86396 86399 85904 0 -1 4194368 4988 0 0 0 14 3 0 0 20 0 18 0 75569032 19384713216 13354 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=18930384 memory=13926 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75569036 19384713216 13354 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 75569037 19384713216 13354 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53416 KiB

[startup+0.314454 s]*
/proc/loadavg: 4.22 4.29 4.27 7/324 86417
/proc/meminfo: memFree=100592240/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=18930384 memory=58668 CPUtime=0.45 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 6777 0 0 0 40 5 0 0 20 0 18 0 75569030 19384713216 14667 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4732596 14667 5369 1 0 547770 0
[pid=86399/tid=86401] ppid=86396 vsize=18930384 memory=-6000919481229469287 CPUtime=0.27 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 5189 0 0 0 24 3 0 0 20 0 18 0 75569032 19384713216 14667 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75569036 19384713216 14667 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 75569037 19384713216 14667 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58668 KiB

[startup+0.700286 s]
/proc/loadavg: 4.22 4.29 4.27 7/324 86417
/proc/meminfo: memFree=100584300/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=18996948 memory=69820 CPUtime=1.14 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 8672 0 0 0 108 6 0 0 20 0 19 0 75569030 19452874752 17455 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4749237 17455 5497 1 0 548996 0
[pid=86399/tid=86401] ppid=86396 vsize=18996948 memory=14464 CPUtime=0.62 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 5379 0 0 0 58 4 0 0 20 0 19 0 75569032 19452874752 17455 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75569036 19452874752 17455 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 75569037 19452874752 17455 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86418] ppid=86396 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/86399/task/86418/stat : 86418 (Timer-0) S 86396 86399 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75569081 19452874752 17455 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69820 KiB

[startup+1.50023 s]
/proc/loadavg: 4.29 4.30 4.28 6/325 86418
/proc/meminfo: memFree=100577432/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=18996948 memory=88304 CPUtime=2.72 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 18966 0 0 0 264 8 0 0 20 0 19 0 75569030 19452874752 22076 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4749237 22076 5497 1 0 552454 0
[pid=86399/tid=86401] ppid=86396 vsize=18996948 memory=0 CPUtime=1.38 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 6385 0 0 0 134 4 0 0 20 0 19 0 75569032 19452874752 22076 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75569036 19452874752 22076 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 75569037 19452874752 22076 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86418] ppid=86396 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/86399/task/86418/stat : 86418 (Timer-0) S 86396 86399 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75569081 19452874752 22076 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88304 KiB

[startup+3.10536 s]
/proc/loadavg: 4.29 4.30 4.28 5/325 86418
/proc/meminfo: memFree=100559368/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=18996948 memory=101892 CPUtime=4.88 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 20097 0 0 0 479 9 0 0 20 0 19 0 75569030 19452874752 25473 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4749237 25473 5497 1 0 552681 0
[pid=86399/tid=86401] ppid=86396 vsize=18996948 memory=11136 CPUtime=2.98 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 6693 0 0 0 293 5 0 0 20 0 19 0 75569032 19452874752 25473 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=18996948 memory=-6000919481229469287 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75569036 19452874752 25473 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 75569037 19452874752 25473 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86418] ppid=86396 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/86399/task/86418/stat : 86418 (Timer-0) S 86396 86399 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75569081 19452874752 25473 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 4.88 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101892 KiB

[startup+6.30035 s]
/proc/loadavg: 4.26 4.30 4.27 7/325 86418
/proc/meminfo: memFree=100542984/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=18996948 memory=117648 CPUtime=8.09 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 21759 0 0 0 799 10 0 0 20 0 19 0 75569030 19452874752 29412 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4749237 29412 5497 1 0 552683 0
[pid=86399/tid=86401] ppid=86396 vsize=18996948 memory=0 CPUtime=6.15 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 7181 0 0 0 610 5 0 0 20 0 19 0 75569032 19452874752 29412 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75569036 19452874752 29412 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 75569037 19452874752 29412 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86418] ppid=86396 vsize=18996948 memory=88532 CPUtime=0 cores=1,3
/proc/86399/task/86418/stat : 86418 (Timer-0) S 86396 86399 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75569081 19452874752 29412 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 8.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 117648 KiB

[startup+12.7004 s]
/proc/loadavg: 4.24 4.29 4.27 5/325 86418
/proc/meminfo: memFree=100502024/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=18996948 memory=162832 CPUtime=14.99 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 28316 0 0 0 1486 13 0 0 20 0 19 0 75569030 19452874752 40708 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4749237 40708 5497 1 0 552699 0
[pid=86399/tid=86401] ppid=86396 vsize=18996948 memory=88532 CPUtime=12.53 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 8065 0 0 0 1247 6 0 0 20 0 19 0 75569032 19452874752 40708 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=18996948 memory=14848 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75569036 19452874752 40708 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=18996948 memory=156688 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 75569037 19452874752 40708 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86418] ppid=86396 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/86399/task/86418/stat : 86418 (Timer-0) S 86396 86399 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75569081 19452874752 40708 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 14.99 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 162832 KiB

[startup+25.5004 s]
/proc/loadavg: 4.29 4.30 4.28 5/326 86419
/proc/meminfo: memFree=100338696/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=19063512 memory=185920 CPUtime=28.05 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 32809 0 0 0 2790 15 0 0 20 0 20 0 75569030 19521036288 46480 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4765878 46480 5529 1 0 553007 0
[pid=86399/tid=86401] ppid=86396 vsize=19063512 memory=-6000919481229469287 CPUtime=25.25 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 9590 0 0 0 2518 7 0 0 20 0 20 0 75569032 19521036288 46480 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75569036 19521036288 46480 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 75569037 19521036288 46480 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86418] ppid=86396 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/86399/task/86418/stat : 86418 (Timer-0) S 86396 86399 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75569081 19521036288 46480 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 28.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185920 KiB

[startup+51.1131 s]
/proc/loadavg: 4.29 4.30 4.28 5/326 86419
/proc/meminfo: memFree=99724244/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=19063512 memory=251972 CPUtime=54.06 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 35946 0 0 0 5388 18 0 0 20 0 20 0 75569030 19521036288 62993 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4765878 62993 5529 1 0 553007 0
[pid=86399/tid=86401] ppid=86396 vsize=19063512 memory=251972 CPUtime=50.6 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 9872 0 0 0 5053 7 0 0 20 0 20 0 75569032 19521036288 62993 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=19063512 memory=251972 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75569036 19521036288 62993 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=19063512 memory=185792 CPUtime=0 cores=1,3

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

Current children cumulated memory: 1973708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.24 5/326 86847
/proc/meminfo: memFree=101245476/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=19063512 memory=1973708 CPUtime=3343.54 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 106841 0 0 0 334144 210 0 0 20 0 20 0 75569030 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4765878 493427 5529 1 0 561376 0
[pid=86399/tid=86401] ppid=86396 vsize=19063512 memory=1973708 CPUtime=3326.21 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 40544 0 0 0 332599 22 0 0 20 0 20 0 75569032 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75569036 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=19063512 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 1787 0 0 0 0 0 0 0 20 0 20 0 75569037 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86418] ppid=86396 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/86399/task/86418/stat : 86418 (Timer-0) S 86396 86399 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75569081 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 3343.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1973708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.23 5/326 86850
/proc/meminfo: memFree=101245016/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=19063512 memory=1973708 CPUtime=3403.4 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 106859 0 0 0 340128 212 0 0 20 0 20 0 75569030 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4765878 493427 5529 1 0 561376 0
[pid=86399/tid=86401] ppid=86396 vsize=19063512 memory=14464 CPUtime=3386.03 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 40549 0 0 0 338581 22 0 0 20 0 20 0 75569032 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=19063512 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75569036 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 1792 0 0 0 0 0 0 0 20 0 20 0 75569037 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86418] ppid=86396 vsize=19063512 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86418/stat : 86418 (Timer-0) S 86396 86399 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75569081 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 3403.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1973708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.23 5/326 86919
/proc/meminfo: memFree=112141468/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=19063512 memory=1973708 CPUtime=3463.25 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 106890 0 0 0 346109 216 0 0 20 0 20 0 75569030 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4765878 493427 5529 1 0 561376 0
[pid=86399/tid=86401] ppid=86396 vsize=19063512 memory=14464 CPUtime=3445.83 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 40574 0 0 0 344560 23 0 0 20 0 20 0 75569032 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=19063512 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75569036 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=19063512 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 1792 0 0 0 0 0 0 0 20 0 20 0 75569037 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86418] ppid=86396 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/86399/task/86418/stat : 86418 (Timer-0) S 86396 86399 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75569081 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 3463.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1973708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.22 5/325 86923
/proc/meminfo: memFree=111725048/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=19063512 memory=1973708 CPUtime=3523.2 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 107155 0 0 0 352101 219 0 0 20 0 20 0 75569030 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4765878 493427 5529 1 0 561376 0
[pid=86399/tid=86401] ppid=86396 vsize=19063512 memory=1973708 CPUtime=3505.54 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 40770 0 0 0 350531 23 0 0 20 0 20 0 75569032 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=19063512 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75569036 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=19063512 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 1792 0 0 0 0 0 0 0 20 0 20 0 75569037 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86418] ppid=86396 vsize=19063512 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86418/stat : 86418 (Timer-0) S 86396 86399 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75569081 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 3523.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1973708 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.20 5/325 86925
/proc/meminfo: memFree=111648000/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=19063512 memory=1973708 CPUtime=3583.06 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 107966 0 0 0 358085 221 0 0 20 0 20 0 75569030 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4765878 493427 5529 1 0 561376 0
[pid=86399/tid=86401] ppid=86396 vsize=19063512 memory=5632 CPUtime=3565.37 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 41423 0 0 0 356513 24 0 0 20 0 20 0 75569032 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=19063512 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75569036 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=19063512 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 1891 0 0 0 0 0 0 0 20 0 20 0 75569037 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86418] ppid=86396 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/86399/task/86418/stat : 86418 (Timer-0) S 86396 86399 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75569081 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 3583.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1973708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.3 s]
/proc/loadavg: 4.13 4.14 4.21 5/325 86925
/proc/meminfo: memFree=111566836/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=19063512 memory=1973708 CPUtime=3600.02 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 108076 0 0 0 359780 222 0 0 20 0 20 0 75569030 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4765878 493427 5529 1 0 561376 0
[pid=86399/tid=86401] ppid=86396 vsize=19063512 memory=1973708 CPUtime=3582.31 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 41533 0 0 0 358207 24 0 0 20 0 20 0 75569032 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75569036 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=19063512 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 1891 0 0 0 0 0 0 0 20 0 20 0 75569037 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86418] ppid=86396 vsize=19063512 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86418/stat : 86418 (Timer-0) S 86396 86399 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75569081 19521036288 493427 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1973708 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.17 s, system=2.23988 s

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

[startup+3599.4 s]
/proc/loadavg: 4.13 4.14 4.21 5/325 86925
/proc/meminfo: memFree=111566836/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=19263204 memory=1974476 CPUtime=3600.21 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 110479 0 0 0 359799 222 0 0 20 0 21 0 75569030 19725520896 493619 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4815801 493619 5561 1 0 562306 0
[pid=86399/tid=86401] ppid=86396 vsize=19263204 memory=5148 CPUtime=3582.39 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) R 86396 86399 85904 0 -1 4194368 41865 0 0 0 358215 24 0 0 20 0 21 0 75569032 19725520896 493619 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=19263204 memory=3200 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 75569036 19725520896 493619 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=19263204 memory=4760 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 1891 0 0 0 0 0 0 0 20 0 21 0 75569037 19725520896 493619 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1974476 KiB

[startup+3599.5 s]
/proc/loadavg: 4.13 4.14 4.21 5/325 86925
/proc/meminfo: memFree=111566836/131382112 swapFree=33002444/33010684
[pid=86399] ppid=86396 vsize=19263204 memory=1974476 CPUtime=3600.39 cores=1,3
/proc/86399/stat : 86399 (java) S 86396 86399 85904 0 -1 4194304 110584 0 0 0 359817 222 0 0 20 0 16 0 75569030 19725520896 493619 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
/proc/86399/statm: 4815801 493619 5561 1 0 562328 0
[pid=86399/tid=86401] ppid=86396 vsize=19263204 memory=1973708 CPUtime=3582.47 cores=1,3
/proc/86399/task/86401/stat : 86401 (java) S 86396 86399 85904 0 -1 4194368 41875 0 0 0 358223 24 0 0 20 0 16 0 75569032 19725520896 493619 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86410] ppid=86396 vsize=19263204 memory=14848 CPUtime=0 cores=1,3
/proc/86399/task/86410/stat : 86410 (Finalizer) S 86396 86399 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 75569036 19725520896 493619 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
[pid=86399/tid=86417] ppid=86396 vsize=19263204 memory=1973708 CPUtime=0 cores=1,3
/proc/86399/task/86417/stat : 86417 (Common-Cleaner) S 86396 86399 85904 0 -1 4194368 1891 0 0 0 0 0 0 0 20 0 16 0 75569037 19725520896 493619 18446744073709551615 94574626201600 94574626205296 140728516886928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574626213112 94574626213904 94574630285312 140728516888961 140728516889062 140728516889062 140728516894664 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1974476 KiB

Child status: 143

Real time (s): 3599.51
CPU time (s): 3600.41
CPU user time (s): 3598.17
CPU system time (s): 2.23988
CPU usage (%): 100.025
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1974476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.17
system time used= 2.23988
maximum resident set size= 1974604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110612
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106428
involuntary context switches= 2996


# summary of solver processes directly reported to runsolver:
#   pid: 86399
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3598.17
#   total CPU system time (s): 2.23988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9575 second user time and 37.4988 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-04 05:14:56
IDJOB=4522466
IDBENCH=178829
IDSOLVER=3363
FILE ID=nodeC005/4522466-1751598896
RUNJOBID= nodeC005-1751595442-85916
SLURM_JOB_ID= 9598861
Free space on /tmp= 429428 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522466-1751598896/watcher-4522466-1751598896 -o /tmp/evaluation-result-4522466-1751598896/solver-4522466-1751598896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751595442-85916 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4522466-1751598896.opb

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

MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d
RANDOM SEED=573695823

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        100612652 kB
MemAvailable:   100490532 kB
Buffers:              12 kB
Cached:           665348 kB
SwapCached:          240 kB
Active:         29701796 kB
Inactive:         410348 kB
Active(anon):   29418812 kB
Inactive(anon):    40840 kB
Active(file):     282984 kB
Inactive(file):   369508 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33002444 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1028 kB
Writeback:            24 kB
AnonPages:      29448708 kB
Mapped:           118380 kB
Shmem:             12868 kB
KReclaimable:     130032 kB
Slab:             216836 kB
SReclaimable:     130032 kB
SUnreclaim:        86804 kB
KernelStack:        4960 kB
PageTables:        61336 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   35220760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  29124608 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429476 MiB
End job on nodeC005 at 2025-07-04 06:14:56