Trace number 4520810

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)466 3600.35 3445.91

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb
MD5SUM789fc3771aff9bb0c01300f49f64e5c8
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 benchmark400
Best CPU time to get the best result obtained on this benchmark0.073827
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1600
Total number of constraints1600
Number of constraints which are clauses1600
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 1600
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1600
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1600
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.12/0.10	c Number of processors 	2
0.12/0.15	c Pseudo Boolean Optimization by upper bound
0.12/0.15	c --- Begin Solver configuration ---
0.12/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.15	c Learn all clauses as in MiniSAT
0.12/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.15	c Expensive reason simplification
0.12/0.15	c Glucose 2.1 dynamic restart strategy
0.12/0.15	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.15	c timeout=2147483s
0.12/0.15	c DB Simplification allowed=false
0.12/0.15	c Listener: none
0.12/0.15	c --- End Solver configuration ---
0.12/0.15	c solving HOME/instance-4520810-1751574016.opb
0.12/0.15	c reading problem ... 
0.12/0.15	c  objective function found
0.30/0.23	c ... done. Wall clock time 0.078s.
0.30/0.23	c declared #vars     1600
0.30/0.23	c #constraints  1600
0.30/0.23	c constraints type 
0.30/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1600
0.30/0.23	c 1600 constraints processed.
0.30/0.24	c objective function length is 1600 literals
0.30/0.25	c SATISFIABLE
0.30/0.25	c OPTIMIZING...
0.30/0.25	c Got one! Elapsed wall clock time (in seconds):0.108
0.30/0.25	o 468
0.30/0.28	c Got one! Elapsed wall clock time (in seconds):0.131
0.30/0.28	o 467
1.40/0.84	c cleaning 2495 clauses out of 5001 with flag 11283/5001
2.11/1.43	c cleaning 4247 clauses out of 8506 with flag 27187/11001
3.09/2.19	c cleaning 5627 clauses out of 11262 with flag 45841/18004
3.94/2.97	c cleaning 6815 clauses out of 13632 with flag 66680/26001
4.71/3.69	c cleaning 7904 clauses out of 15818 with flag 87450/35002
5.68/4.44	c cleaning 8955 clauses out of 17914 with flag 109570/45002
6.39/5.18	c cleaning 9977 clauses out of 19959 with flag 134029/56002
7.48/6.11	c cleaning 10988 clauses out of 21981 with flag 162116/68001
8.47/7.08	c cleaning 11993 clauses out of 23993 with flag 191922/81001
9.73/8.26	c cleaning 13000 clauses out of 26000 with flag 226643/95001
11.24/9.64	c cleaning 13999 clauses out of 28000 with flag 264472/110001
12.35/10.79	c cleaning 15000 clauses out of 30001 with flag 301346/126001
13.77/12.09	c cleaning 16001 clauses out of 32002 with flag 340623/143002
15.42/13.53	c cleaning 16995 clauses out of 34000 with flag 381376/161001
17.09/15.08	c cleaning 18000 clauses out of 36005 with flag 423705/180001
18.58/16.52	c cleaning 19003 clauses out of 38006 with flag 468335/200002
20.40/18.28	c cleaning 19998 clauses out of 40003 with flag 515122/221002
22.59/20.20	c cleaning 20998 clauses out of 42005 with flag 564219/243002
24.63/22.14	c cleaning 22001 clauses out of 44006 with flag 615063/266001
26.86/24.21	c cleaning 22996 clauses out of 46005 with flag 668346/290001
29.22/26.44	c cleaning 24002 clauses out of 48009 with flag 724540/315001
31.51/28.75	c cleaning 25000 clauses out of 50007 with flag 782242/341001
34.41/31.42	c cleaning 26000 clauses out of 52007 with flag 841585/368001
37.25/34.15	c cleaning 26998 clauses out of 54007 with flag 904013/396001
40.41/37.14	c cleaning 28003 clauses out of 56009 with flag 967884/425001
43.83/40.44	c cleaning 28997 clauses out of 58006 with flag 1038388/455001
46.89/43.44	c cleaning 30003 clauses out of 60009 with flag 1108043/486001
51.56/47.18	c cleaning 31001 clauses out of 62007 with flag 1180347/518002
54.82/50.26	c cleaning 32003 clauses out of 64007 with flag 1253957/551003
58.20/53.48	c cleaning 32999 clauses out of 66004 with flag 1329250/585003
61.86/56.98	c cleaning 33996 clauses out of 68004 with flag 1409720/620002
65.33/60.26	c cleaning 35004 clauses out of 70008 with flag 1490833/656002
68.76/63.52	c cleaning 36000 clauses out of 72003 with flag 1574047/693001
72.09/66.77	c cleaning 37002 clauses out of 74004 with flag 1658683/731002
76.35/70.62	c cleaning 37997 clauses out of 76001 with flag 1746917/770001
80.23/74.35	c cleaning 38999 clauses out of 78004 with flag 1837194/810001
84.10/78.06	c cleaning 39999 clauses out of 80005 with flag 1930204/851001
88.62/82.43	c cleaning 41002 clauses out of 82006 with flag 2025838/893001
94.35/87.00	c cleaning 42000 clauses out of 84004 with flag 2124767/936001
98.86/91.37	c cleaning 42993 clauses out of 86004 with flag 2222899/980001
103.50/95.80	c cleaning 44003 clauses out of 88013 with flag 2323532/1025003
108.46/100.40	c cleaning 44999 clauses out of 90009 with flag 2425948/1071002
113.23/105.03	c cleaning 46001 clauses out of 92009 with flag 2532021/1118001
118.35/109.82	c cleaning 47002 clauses out of 94008 with flag 2638894/1166001
122.74/114.10	c cleaning 48001 clauses out of 96006 with flag 2748187/1215001
127.95/118.90	c cleaning 48999 clauses out of 98005 with flag 2859037/1265001
132.87/123.68	c cleaning 50000 clauses out of 100007 with flag 2973306/1316002
139.91/129.01	c cleaning 51003 clauses out of 102006 with flag 3089425/1368001
145.31/134.27	c cleaning 52000 clauses out of 104004 with flag 3208113/1421002
151.43/139.99	c cleaning 53000 clauses out of 106004 with flag 3328878/1475002
156.83/145.17	c cleaning 54000 clauses out of 108004 with flag 3451495/1530002
162.63/150.67	c cleaning 54996 clauses out of 110004 with flag 3575755/1586002
168.39/156.25	c cleaning 56001 clauses out of 112007 with flag 3702951/1643001
174.72/162.18	c cleaning 57001 clauses out of 114007 with flag 3831941/1701002
181.28/168.30	c cleaning 57999 clauses out of 116006 with flag 3962617/1760002
187.36/174.29	c cleaning 59000 clauses out of 118006 with flag 4096265/1820001
194.04/180.52	c cleaning 59997 clauses out of 120006 with flag 4231077/1881001
200.91/187.09	c cleaning 60999 clauses out of 122009 with flag 4368418/1943001
208.12/194.01	c cleaning 62005 clauses out of 124010 with flag 4509757/2006001
215.58/201.20	c cleaning 63002 clauses out of 126005 with flag 4653451/2070001
223.08/208.37	c cleaning 64000 clauses out of 128003 with flag 4799232/2135001
232.99/216.50	c cleaning 65002 clauses out of 130003 with flag 4947515/2201001
240.45/223.72	c cleaning 65998 clauses out of 132002 with flag 5096345/2268002
249.06/231.84	c cleaning 66994 clauses out of 134006 with flag 5249048/2336004
256.73/239.27	c cleaning 67998 clauses out of 136009 with flag 5402066/2405001
265.43/247.45	c cleaning 69002 clauses out of 138011 with flag 5557436/2475001
274.08/255.82	c cleaning 70002 clauses out of 140009 with flag 5715981/2546001
282.60/263.82	c cleaning 71004 clauses out of 142009 with flag 5876506/2618003
290.80/271.69	c cleaning 71997 clauses out of 144003 with flag 6038985/2691001
299.18/279.80	c cleaning 72994 clauses out of 146006 with flag 6204629/2765001
307.40/287.73	c cleaning 74003 clauses out of 148012 with flag 6371758/2840001
316.03/295.95	c cleaning 75001 clauses out of 150009 with flag 6540052/2916001
325.57/305.08	c cleaning 76001 clauses out of 152009 with flag 6710456/2993002
332.82/312.04	c Got one! Elapsed wall clock time (in seconds):311.893
332.82/312.04	o 466
334.63/313.87	c cleaning 74948 clauses out of 149917 with flag 12015/3066911
336.10/315.11	c cleaning 40480 clauses out of 80970 with flag 26212/3072912
336.70/315.78	c cleaning 23736 clauses out of 47490 with flag 41991/3079912
337.46/316.36	c cleaning 15867 clauses out of 31753 with flag 60035/3087911
338.06/316.93	c cleaning 12433 clauses out of 24886 with flag 80877/3096911
338.77/317.60	c cleaning 11217 clauses out of 22453 with flag 104043/3106911
339.54/318.38	c cleaning 11112 clauses out of 22237 with flag 129220/3117912
340.34/319.14	c cleaning 11560 clauses out of 23124 with flag 156149/3129911
341.24/320.03	c cleaning 12280 clauses out of 24564 with flag 187001/3142911
342.14/321.00	c cleaning 13139 clauses out of 26284 with flag 219935/3156911
343.38/322.12	c cleaning 14070 clauses out of 28145 with flag 255604/3171911
344.47/323.26	c cleaning 15038 clauses out of 30075 with flag 293334/3187911
345.76/324.55	c cleaning 16014 clauses out of 32037 with flag 333850/3204911
347.10/325.89	c cleaning 17009 clauses out of 34023 with flag 373932/3222911
348.50/327.23	c cleaning 18008 clauses out of 36016 with flag 416222/3241913
350.13/328.78	c cleaning 19001 clauses out of 38006 with flag 460672/3261911
351.63/330.29	c cleaning 20002 clauses out of 40005 with flag 507545/3282911
353.44/332.00	c cleaning 20998 clauses out of 42004 with flag 556718/3304912
355.23/333.79	c cleaning 22002 clauses out of 44006 with flag 607815/3327912
357.35/335.75	c cleaning 23001 clauses out of 46003 with flag 661318/3351911
359.24/337.67	c cleaning 23999 clauses out of 48002 with flag 716852/3376911
361.33/339.78	c cleaning 25000 clauses out of 50004 with flag 774405/3402912
363.83/342.10	c cleaning 25994 clauses out of 52004 with flag 836429/3429912
366.12/344.37	c cleaning 26999 clauses out of 54009 with flag 900384/3457911
369.21/346.70	c cleaning 28003 clauses out of 56010 with flag 964646/3486911
371.60/349.15	c cleaning 29002 clauses out of 58007 with flag 1031852/3516911
374.49/351.83	c cleaning 29998 clauses out of 60006 with flag 1102415/3547912
377.18/354.55	c cleaning 31006 clauses out of 62011 with flag 1174255/3579915
380.74/357.91	c cleaning 31992 clauses out of 64001 with flag 1251868/3612911
383.53/360.76	c cleaning 32999 clauses out of 66009 with flag 1328463/3646911
387.11/364.12	c cleaning 34003 clauses out of 68012 with flag 1406804/3681913
390.50/367.53	c cleaning 35000 clauses out of 70008 with flag 1491570/3717912
394.17/371.10	c cleaning 35999 clauses out of 72007 with flag 1574054/3754911
397.56/374.56	c cleaning 37003 clauses out of 74009 with flag 1659856/3792912
401.25/378.26	c cleaning 37997 clauses out of 76005 with flag 1749233/3831911
405.15/382.15	c cleaning 38999 clauses out of 78008 with flag 1840637/3871911
408.94/385.90	c cleaning 40004 clauses out of 80009 with flag 1931880/3912911
412.73/389.61	c cleaning 41002 clauses out of 82006 with flag 2025440/3954912
416.42/393.37	c cleaning 41999 clauses out of 84005 with flag 2120706/3997913
420.62/397.50	c cleaning 42996 clauses out of 86004 with flag 2219394/4041911
425.26/401.94	c cleaning 44004 clauses out of 88009 with flag 2318911/4086912
429.44/406.04	c cleaning 44998 clauses out of 90004 with flag 2420943/4132911
433.92/410.50	c cleaning 46001 clauses out of 92006 with flag 2525481/4179911
437.81/414.46	c cleaning 46993 clauses out of 94006 with flag 2632563/4227912
442.83/418.92	c cleaning 48001 clauses out of 96012 with flag 2741593/4276911
447.15/423.02	c cleaning 48994 clauses out of 98012 with flag 2853285/4326912
451.74/427.49	c cleaning 50005 clauses out of 100017 with flag 2967388/4377911
456.17/431.70	c cleaning 51003 clauses out of 102012 with flag 3083064/4429911
460.94/436.46	c cleaning 52001 clauses out of 104009 with flag 3200886/4482911
465.67/441.13	c cleaning 52999 clauses out of 106008 with flag 3321240/4536911
470.74/446.08	c cleaning 53995 clauses out of 108009 with flag 3444075/4591911
476.21/451.48	c cleaning 55003 clauses out of 110014 with flag 3569077/4647911
482.31/457.40	c cleaning 55996 clauses out of 112013 with flag 3695920/4704913
488.21/463.05	c cleaning 57003 clauses out of 114015 with flag 3824872/4762911
494.67/469.04	c cleaning 58002 clauses out of 116012 with flag 3956319/4821911
500.19/474.39	c cleaning 58999 clauses out of 118010 with flag 4089699/4881911
506.33/480.32	c cleaning 60000 clauses out of 120011 with flag 4225821/4942911
512.67/486.31	c cleaning 61005 clauses out of 122011 with flag 4364048/5004911
519.15/492.64	c cleaning 61995 clauses out of 124006 with flag 4504163/5067911
526.94/500.06	c cleaning 63004 clauses out of 126011 with flag 4647250/5131911
534.64/507.52	c cleaning 64004 clauses out of 128007 with flag 4792353/5196911
541.93/514.48	c cleaning 64996 clauses out of 130004 with flag 4938906/5262912
549.93/522.25	c cleaning 66004 clauses out of 132007 with flag 5091560/5329911
557.89/529.86	c cleaning 66994 clauses out of 134004 with flag 5242596/5397912
566.17/538.00	c cleaning 68004 clauses out of 136009 with flag 5397424/5466911
577.03/546.86	c cleaning 68994 clauses out of 138007 with flag 5555866/5536913
584.75/554.32	c cleaning 70003 clauses out of 140011 with flag 5714427/5607911
593.69/562.82	c cleaning 71004 clauses out of 142009 with flag 5875422/5679912
603.18/572.07	c cleaning 71995 clauses out of 144004 with flag 6039097/5752911
612.30/580.92	c cleaning 73002 clauses out of 146010 with flag 6203883/5826912
621.08/589.16	c cleaning 73998 clauses out of 148008 with flag 6370932/5901912
628.78/596.63	c cleaning 74996 clauses out of 150009 with flag 6539705/5977911
639.14/606.50	c cleaning 75997 clauses out of 152013 with flag 6711100/6054911
649.46/616.65	c cleaning 77003 clauses out of 154017 with flag 6883405/6132912
658.90/625.56	c cleaning 77998 clauses out of 156014 with flag 7059333/6211912
668.32/634.72	c cleaning 79005 clauses out of 158015 with flag 7237277/6291911
678.07/643.93	c cleaning 79994 clauses out of 160010 with flag 7416922/6372911
687.95/653.22	c cleaning 81004 clauses out of 162018 with flag 7599528/6454913
698.43/663.43	c cleaning 81998 clauses out of 164012 with flag 7784939/6537911
709.18/673.73	c cleaning 82997 clauses out of 166014 with flag 7972342/6621911
718.87/683.17	c cleaning 83996 clauses out of 168017 with flag 8161852/6706911
728.16/692.09	c cleaning 85004 clauses out of 170022 with flag 8353463/6792912
742.11/703.02	c cleaning 86002 clauses out of 172018 with flag 8547198/6879912
752.01/712.64	c cleaning 86998 clauses out of 174016 with flag 8742716/6967912
761.38/721.88	c cleaning 88000 clauses out of 176017 with flag 8939780/7056911
771.25/731.23	c cleaning 89002 clauses out of 178018 with flag 9140134/7146912
780.41/740.17	c cleaning 90000 clauses out of 180016 with flag 9343293/7237912
792.13/751.31	c cleaning 91002 clauses out of 182015 with flag 9548358/7329911
802.11/761.07	c cleaning 92000 clauses out of 184014 with flag 9755592/7422912
813.78/772.17	c cleaning 92996 clauses out of 186013 with flag 9965575/7516911
825.46/783.56	c cleaning 94001 clauses out of 188017 with flag 10177729/7611911
839.11/796.51	c cleaning 94999 clauses out of 190016 with flag 10391266/7707911
851.77/808.90	c cleaning 95999 clauses out of 192018 with flag 10607559/7804912
864.97/821.62	c cleaning 97000 clauses out of 194019 with flag 10825323/7902912
876.80/833.27	c cleaning 98003 clauses out of 196018 with flag 11045444/8001911
889.83/845.89	c cleaning 99001 clauses out of 198015 with flag 11268633/8101911
904.45/859.68	c cleaning 99999 clauses out of 200014 with flag 11493640/8202911
918.36/873.25	c cleaning 101001 clauses out of 202015 with flag 11720477/8304911
932.60/886.97	c cleaning 102003 clauses out of 204014 with flag 11949426/8407911
946.40/900.10	c cleaning 103000 clauses out of 206011 with flag 12181804/8511911
962.68/913.63	c cleaning 103993 clauses out of 208012 with flag 12426361/8616912
974.20/924.97	c cleaning 104997 clauses out of 210019 with flag 12662581/8722912
990.09/940.09	c cleaning 106001 clauses out of 212021 with flag 12910001/8829911
1005.88/955.57	c cleaning 107005 clauses out of 214021 with flag 13162946/8937912
1023.22/972.23	c cleaning 107995 clauses out of 216015 with flag 13417943/9046911
1037.46/986.04	c cleaning 109007 clauses out of 218020 with flag 13668056/9156911
1052.19/999.97	c cleaning 109999 clauses out of 220014 with flag 13915996/9267912
1066.39/1013.74	c cleaning 110999 clauses out of 222015 with flag 14165123/9379912
1080.29/1027.40	c cleaning 112002 clauses out of 224016 with flag 14415346/9492912
1094.56/1041.04	c cleaning 112997 clauses out of 226014 with flag 14669092/9606912
1109.96/1056.25	c cleaning 114004 clauses out of 228017 with flag 14926036/9721912
1125.30/1070.93	c cleaning 115004 clauses out of 230013 with flag 15185398/9837912
1142.43/1087.32	c cleaning 116000 clauses out of 232008 with flag 15446903/9954911
1156.18/1100.67	c cleaning 116998 clauses out of 234008 with flag 15709245/10072911
1171.13/1114.82	c cleaning 117999 clauses out of 236010 with flag 15974350/10191911
1187.40/1130.72	c cleaning 118996 clauses out of 238011 with flag 16242470/10311911
1204.06/1146.71	c cleaning 120004 clauses out of 240015 with flag 16514087/10432911
1220.77/1160.54	c cleaning 120998 clauses out of 242011 with flag 16785495/10554911
1235.71/1174.88	c cleaning 121999 clauses out of 244014 with flag 17060022/10677912
1252.38/1190.74	c cleaning 122998 clauses out of 246014 with flag 17338584/10801911
1267.76/1205.70	c cleaning 123996 clauses out of 248016 with flag 17617699/10926911
1284.21/1221.53	c cleaning 125005 clauses out of 250020 with flag 17896217/11052911
1300.88/1237.35	c cleaning 126004 clauses out of 252016 with flag 18178901/11179912
1319.38/1255.42	c cleaning 126998 clauses out of 254011 with flag 18465602/11307911
1338.61/1274.09	c cleaning 127999 clauses out of 256013 with flag 18753102/11436911
1359.47/1294.17	c cleaning 128999 clauses out of 258014 with flag 19046696/11566911
1376.94/1311.23	c cleaning 130006 clauses out of 260015 with flag 19341527/11697911
1394.41/1328.17	c cleaning 130997 clauses out of 262009 with flag 19636131/11829911
1411.32/1344.38	c cleaning 132002 clauses out of 264012 with flag 19932675/11962911
1429.75/1361.92	c cleaning 133003 clauses out of 266010 with flag 20231341/12096911
1448.38/1380.19	c cleaning 133994 clauses out of 268007 with flag 20532752/12231911
1469.28/1397.94	c cleaning 135001 clauses out of 270014 with flag 20835314/12367912
1488.86/1416.82	c cleaning 136002 clauses out of 272012 with flag 21141199/12504911
1511.09/1438.13	c cleaning 137002 clauses out of 274011 with flag 21450081/12642912
1532.60/1458.73	c cleaning 138000 clauses out of 276008 with flag 21761056/12781911
1550.56/1476.29	c cleaning 138998 clauses out of 278009 with flag 22073830/12921912
1568.92/1493.96	c cleaning 140000 clauses out of 280011 with flag 22387423/13062912
1589.06/1513.48	c cleaning 140998 clauses out of 282010 with flag 22704249/13204911
1615.96/1539.66	c cleaning 142001 clauses out of 284013 with flag 23044008/13347912
1642.44/1565.31	c cleaning 143000 clauses out of 286011 with flag 23376962/13491911
1665.27/1587.23	c cleaning 144001 clauses out of 288012 with flag 23708459/13636912
1691.72/1612.89	c cleaning 144997 clauses out of 290010 with flag 24044482/13782911
1722.70/1639.77	c cleaning 145998 clauses out of 292013 with flag 24382739/13929911
1745.10/1661.77	c cleaning 146999 clauses out of 294015 with flag 24722659/14077911
1769.59/1685.52	c cleaning 148003 clauses out of 296016 with flag 25070824/14226911
1790.22/1705.62	c cleaning 149004 clauses out of 298013 with flag 25406592/14376911
1812.69/1727.30	c cleaning 149999 clauses out of 300009 with flag 25749064/14527911
1834.33/1748.39	c cleaning 150998 clauses out of 302011 with flag 26093072/14679912
1856.05/1769.49	c cleaning 152001 clauses out of 304012 with flag 26438998/14832911
1875.85/1788.63	c cleaning 153004 clauses out of 306012 with flag 26786099/14986912
1909.04/1821.29	c cleaning 153996 clauses out of 308008 with flag 27179139/15141912
1946.89/1858.50	c cleaning 155000 clauses out of 310011 with flag 27576434/15297911
1987.83/1898.95	c cleaning 155998 clauses out of 312012 with flag 27974366/15454912
2015.42/1925.49	c cleaning 157001 clauses out of 314013 with flag 28365338/15612911
2056.92/1962.67	c cleaning 158002 clauses out of 316012 with flag 28758660/15771911
2089.72/1994.58	c cleaning 158999 clauses out of 318011 with flag 29166620/15931912
2119.09/2023.04	c cleaning 159999 clauses out of 320011 with flag 29568122/16092911
2151.82/2054.94	c cleaning 161000 clauses out of 322013 with flag 29969222/16254912
2180.10/2082.33	c cleaning 162001 clauses out of 324012 with flag 30351534/16417911
2215.43/2116.99	c cleaning 163000 clauses out of 326012 with flag 30747853/16581912
2250.26/2151.12	c cleaning 164002 clauses out of 328013 with flag 31148812/16746913
2291.51/2191.05	c cleaning 164998 clauses out of 330009 with flag 31577721/16912911
2327.33/2221.17	c cleaning 166002 clauses out of 332012 with flag 31989532/17079912
2366.66/2259.64	c cleaning 166996 clauses out of 334010 with flag 32394888/17247912
2399.53/2291.73	c cleaning 167999 clauses out of 336013 with flag 32806148/17416911
2427.40/2318.99	c cleaning 169007 clauses out of 338015 with flag 33222492/17586912
2458.51/2348.88	c cleaning 170002 clauses out of 340007 with flag 33633443/17757911
2497.90/2387.36	c cleaning 170992 clauses out of 342005 with flag 34062269/17929911
2529.78/2418.44	c cleaning 171999 clauses out of 344013 with flag 34482677/18102911
2572.10/2460.16	c cleaning 173000 clauses out of 346014 with flag 34911278/18276911
2613.74/2500.74	c cleaning 174005 clauses out of 348014 with flag 35348326/18451911
2649.32/2531.75	c cleaning 175004 clauses out of 350011 with flag 35778954/18627913
2688.15/2569.83	c cleaning 175998 clauses out of 352006 with flag 36203893/18804912
2731.27/2611.88	c cleaning 176994 clauses out of 354008 with flag 36640841/18982912
2763.60/2643.26	c cleaning 178004 clauses out of 356014 with flag 37070386/19161912
2800.43/2679.27	c cleaning 179000 clauses out of 358012 with flag 37499302/19341914
2829.04/2706.74	c cleaning 179993 clauses out of 360009 with flag 37920393/19522911
2859.80/2736.62	c cleaning 180997 clauses out of 362017 with flag 38340430/19704912
2909.87/2785.97	c cleaning 182001 clauses out of 364020 with flag 38829782/19887912
2949.42/2821.18	c cleaning 183000 clauses out of 366018 with flag 39281692/20071911
2988.71/2859.68	c cleaning 184005 clauses out of 368018 with flag 39741303/20256911
3029.96/2899.76	c cleaning 184998 clauses out of 370013 with flag 40208877/20442911
3069.95/2938.79	c cleaning 186002 clauses out of 372015 with flag 40684038/20629911
3110.74/2978.36	c cleaning 187002 clauses out of 374014 with flag 41150434/20817912
3146.14/3012.84	c cleaning 187999 clauses out of 376011 with flag 41614798/21006911
3184.33/3050.38	c cleaning 188999 clauses out of 378012 with flag 42090036/21196911
3223.69/3083.36	c cleaning 190002 clauses out of 380014 with flag 42541207/21387912
3282.40/3141.38	c cleaning 190996 clauses out of 382011 with flag 43050813/21579911
3361.42/3219.35	c cleaning 192006 clauses out of 384016 with flag 43603302/21772912
3396.08/3253.20	c cleaning 192996 clauses out of 386011 with flag 44049352/21966913
3440.42/3296.52	c cleaning 194001 clauses out of 388014 with flag 44524855/22161912
3472.46/3327.82	c cleaning 195004 clauses out of 390013 with flag 44960657/22357912
3506.98/3361.31	c cleaning 196000 clauses out of 392008 with flag 45399181/22554911
3555.61/3402.62	c cleaning 197002 clauses out of 394008 with flag 45871903/22752911
3592.49/3438.57	c cleaning 197997 clauses out of 396006 with flag 46329069/22951911
3600.00/3445.72	c starts		: 4
3600.00/3445.73	c conflicts		: 23014408
3600.00/3445.73	c decisions		: 33729634
3600.00/3445.74	c propagations		: 182456453
3600.00/3445.74	c inspects		: 12711463364
3600.00/3445.74	c shortcuts		: 0
3600.00/3445.74	c learnt literals	: 0
3600.00/3445.74	c learnt binary clauses	: 0
3600.00/3445.74	c learnt ternary clauses	: 0
3600.00/3445.74	c learnt constraints	: 23014408
3600.00/3445.74	c ignored constraints	: 0
3600.00/3445.74	c root simplifications	: 0
3600.00/3445.74	c removed literals (reason simplification)	: 7915111
3600.00/3445.74	c reason swapping (by a shorter reason)	: 0
3600.00/3445.74	c Calls to reduceDB	: 268
3600.00/3445.74	c Number of update (reduction) of LBD	: 1996862
3600.00/3445.74	c Imported unit clauses	: 0
3600.00/3445.75	c No decision after first conflict	: false
3600.00/3445.75	c number of reductions to clauses (during analyze)	: 0
3600.00/3445.75	c number of learned constraints concerned by reduction	: 0
3600.00/3445.75	c number of learning phase by resolution	: 0
3600.00/3445.75	c number of learning phase by cutting planes	: 0
3600.00/3445.75	c number of rounding to 1 operations	: 0
3600.00/3445.75	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3445.75	c number of reductions of the coefficients by power 2 	: 0
3600.00/3445.75	c number of right shift for reduction by power 2 	: 0
3600.00/3445.75	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3445.75	c number of ending skipping 	: 0
3600.00/3445.75	c number of internal skipping 	: 0
3600.00/3445.75	c number of derivation steps 	: 0
3600.00/3445.75	c number of skipped derivation steps 	: 0
3600.00/3445.75	c number of remaining unassigned 	: 0
3600.00/3445.75	c number of remaining assigned 	: 0
3600.00/3445.75	c number of falsified literals weakened from reason	: 0
3600.00/3445.75	c number of falsified literals weakened from conflict	: 0
3600.00/3445.75	c time for arithmetic operations	: 0
3600.00/3445.76	c minimum degree of deleted constraints	: null
3600.00/3445.76	c maximum degree of deleted constraints	: null
3600.00/3445.76	c number of deleted constraints	: 0
3600.00/3445.76	c speed (assignments/second)	: 52954.80034468017
3600.00/3445.76	c non guided choices	: 0
3600.20/3445.83	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 260506
3600.20/3445.83	s SATISFIABLE
3600.20/3445.84	c Found 3 solution(s)
3600.20/3445.85	v -x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 x25 -x26 -x27 x28 x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 x47 -x48 -x49 x50 x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 x81 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 x95 x96 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 x112 x113 x114 -x115 -x116 -x117 -x118 x119 x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 x142 x143 x144 x145 -x146 -x147 x148 x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 x167 -x168 -x169 -x170 x171 x172 x173 x174 -x175 -x176 -x177 -x178 x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 x196 x197 x198 -x199 -x200 x201 x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 x225 x226 x227 x228 x229 -x230 x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 x254 x255 x256 x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 x285 x286 x287 x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 x315 x316 x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 x333 x334 -x335 -x336 -x337 -x338 x339 x340 -x341 -x342 -x343 -x344 -x345 x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 x363 x364 x365 -x366 -x367 x368 x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 x387 -x388 -x389 -x390 x391 x392 x393 x394 -x395 -x396 -x397 -x398 x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 x416 x417 x418 -x419 -x420 x421 x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 x445 x446 x447 x448 x449 -x450 x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 x474 x475 x476 x477 x478 x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 x505 x506 x507 x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 x535 x536 x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 x552 x553 x554 -x555 -x556 -x557 -x558 x559 x560 -x561 -x562 -x563 -x564 -x565 x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 x583 x584 x585 -x586 -x587 x588 x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 x607 -x608 -x609 -x610 x611 x612 x613 x614 -x615 -x616 -x617 -x618 x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 x636 x637 x638 -x639 -x640 x641 x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 x665 x666 x667 x668 x669 -x670 x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 x694 x695 x696 x697 x698 x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 x725 x726 x727 x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 x755 x756 x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 x772 x773 x774 -x775 -x776 -x777 -x778 x779 x780 -x781 -x782 -x783 -x784 -x785 x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 x802 x803 x804 x805 -x806 -x807 x808 x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 x827 -x828 -x829 -x830 x831 x832 x833 x834 -x835 -x836 -x837 -x838 x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 x856 x857 x858 -x859 -x860 x861 x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 x885 x886 x887 x888 x889 -x890 x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 x914 x915 x916 x917 x918 x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 x945 x946 x947 x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 x975 x976 x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 x992 x993 x994 -x995 -x996 -x997 -x998 x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 x1024 x1025 -x1026 -x1027 x1028 x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 x1047 -x1048 -x1049 -x1050 x1051 x1052 x1053 x1054 -x1055 -x1056 -x1057 -x1058 x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 x1076 x1077 x1078 -x1079 -x1080 x1081 x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 x1105 x1106 x1107 x1108 x1109 -x1110 x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 x1134 x1135 x1136 x1137 x1138 x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 x1165 x1166 x1167 x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 x1195 x1196 x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 x1212 x1213 x1214 -x1215 -x1216 -x1217 -x1218 x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 x1242 x1243 x1244 x1245 -x1246 -x1247 x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 x1267 -x1268 -x1269 -x1270 x1271 x1272 x1273 x1274 -x1275 -x1276 -x1277 -x1278 x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 x1296 x1297 x1298 -x1299 -x1300 x1301 x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 x1325 x1326 x1327 x1328 x1329 -x1330 x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 x1385 x1386 x1387 x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 x1415 x1416 x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 x1432 x1433 x1434 -x1435 -x1436 -x1437 -x1438 x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 x1462 x1463 x1464 x1465 -x1466 -x1467 x1468 x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 x1487 -x1488 -x1489 -x1490 x1491 x1492 x1493 x1494 -x1495 -x1496 -x1497 -x1498 x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 x1516 x1517 x1518 -x1519 -x1520 x1521 x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 x1545 x1546 x1547 x1548 x1549 -x1550 x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 x1574 x1575 x1576 x1577 x1578 x1579 x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 
3600.20/3445.85	c objective function=466
3600.20/3445.85	c Total wall clock time (in seconds): 3445.707

Verifier Data 

OK	466

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (46737 MiB free)
  memory of node 1: 64507 MiB (59171 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520810-1751574016/watcher-4520810-1751574016 -o /tmp/evaluation-result-4520810-1751574016/solver-4520810-1751574016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751567892-87414 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4520810-1751574016.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=88237, runsolver pid=88234

[startup+0.100062 s]*
/proc/loadavg: 4.96 4.81 4.66 6/338 88255
/proc/meminfo: memFree=108414332/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=18930384 memory=59164 CPUtime=0.12 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 6416 0 0 0 10 2 0 0 20 0 18 0 73081889 19384713216 14791 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4732596 14791 5344 1 0 547569 0
[pid=88237/tid=88239] ppid=88234 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 5000 0 0 0 6 1 0 0 20 0 18 0 73081891 19384713216 14791 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73081893 19384713216 14791 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=18930384 memory=59585004340264 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73081893 19384713216 14791 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59164 KiB

[startup+0.205789 s]*
/proc/loadavg: 4.96 4.81 4.66 8/338 88255
/proc/meminfo: memFree=108406204/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=18930384 memory=65524 CPUtime=0.3 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 6887 0 0 0 28 2 0 0 20 0 18 0 73081889 19384713216 16381 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4732596 16381 5440 1 0 547951 0
[pid=88237/tid=88239] ppid=88234 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 5263 0 0 0 14 1 0 0 20 0 18 0 73081891 19384713216 16381 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=18930384 memory=19950 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73081893 19384713216 16381 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73081893 19384713216 16381 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65524 KiB

[startup+0.305742 s]*
/proc/loadavg: 4.96 4.81 4.66 7/339 88256
/proc/meminfo: memFree=108396248/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=18996948 memory=74544 CPUtime=0.5 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 8683 0 0 0 47 3 0 0 20 0 19 0 73081889 19452874752 18636 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4749237 18636 5472 1 0 549457 0
[pid=88237/tid=88239] ppid=88234 vsize=18996948 memory=-6000919489920132199 CPUtime=0.24 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 5407 0 0 0 22 2 0 0 20 0 19 0 73081891 19452874752 18636 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 73081893 19452874752 19173 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 73081893 19452874752 19173 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 73081914 19452874752 19173 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74544 KiB

[startup+0.700232 s]
/proc/loadavg: 4.96 4.81 4.66 7/339 88256
/proc/meminfo: memFree=108381188/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=18996948 memory=109184 CPUtime=1.25 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 10287 0 0 0 121 4 0 0 20 0 19 0 73081889 19452874752 27296 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4749237 27296 5472 1 0 550300 0
[pid=88237/tid=88239] ppid=88234 vsize=18996948 memory=15104 CPUtime=0.6 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 5431 0 0 0 58 2 0 0 20 0 19 0 73081891 19452874752 27296 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 73081893 19452874752 27296 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 73081893 19452874752 27296 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 73081914 19452874752 27296 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 109184 KiB

[startup+1.50024 s]
/proc/loadavg: 4.96 4.81 4.66 6/339 88256
/proc/meminfo: memFree=108320820/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19063512 memory=223788 CPUtime=2.29 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 14291 0 0 0 222 7 0 0 20 0 20 0 73081889 19521036288 55947 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4765878 55947 5536 1 0 550893 0
[pid=88237/tid=88239] ppid=88234 vsize=19063512 memory=10752 CPUtime=1.35 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 5796 0 0 0 132 3 0 0 20 0 20 0 73081891 19521036288 55947 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 55947 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 55947 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73081914 19521036288 55947 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 223788 KiB

[startup+3.10556 s]
/proc/loadavg: 4.96 4.81 4.66 6/340 88257
/proc/meminfo: memFree=108173132/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19063512 memory=380404 CPUtime=4.21 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 16115 0 0 0 410 11 0 0 20 0 20 0 73081889 19521036288 95101 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4765878 95101 5536 1 0 550979 0
[pid=88237/tid=88239] ppid=88234 vsize=19063512 memory=10752 CPUtime=2.81 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 6096 0 0 0 278 3 0 0 20 0 20 0 73081891 19521036288 95101 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=-6000919489920132199 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 95101 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 95101 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73081914 19521036288 95101 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 4.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 380404 KiB

[startup+6.30023 s]
/proc/loadavg: 4.96 4.81 4.66 6/340 88257
/proc/meminfo: memFree=107710348/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19063512 memory=757736 CPUtime=7.67 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 17328 0 0 0 748 19 0 0 20 0 20 0 73081889 19521036288 189434 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4765878 189434 5536 1 0 841322 0
[pid=88237/tid=88239] ppid=88234 vsize=19063512 memory=0 CPUtime=5.78 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 6299 0 0 0 573 5 0 0 20 0 20 0 73081891 19521036288 189434 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 189434 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 189434 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=19063512 memory=223916 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73081914 19521036288 189434 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 7.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 757736 KiB

[startup+12.7002 s]
/proc/loadavg: 4.96 4.81 4.66 6/340 88257
/proc/meminfo: memFree=107021724/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19063512 memory=1451260 CPUtime=14.49 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 18810 0 0 0 1418 31 0 0 20 0 20 0 73081889 19521036288 362815 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4765878 362815 5568 1 0 1319697 0
[pid=88237/tid=88239] ppid=88234 vsize=19063512 memory=223916 CPUtime=11.79 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 6558 0 0 0 1169 10 0 0 20 0 20 0 73081891 19521036288 362815 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 362815 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19063512 memory=1450748 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 362815 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73081914 19521036288 362815 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 14.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1451260 KiB

[startup+25.5002 s]
/proc/loadavg: 5.04 4.84 4.68 5/340 88257
/proc/meminfo: memFree=105664476/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19063512 memory=2805216 CPUtime=28.16 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 23008 0 0 0 2758 58 0 0 20 0 20 0 73081889 19521036288 701304 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4765878 701304 5568 1 0 1497256 0
[pid=88237/tid=88239] ppid=88234 vsize=19063512 memory=10752 CPUtime=23.64 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 7888 0 0 0 2350 14 0 0 20 0 20 0 73081891 19521036288 701304 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=1450748 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 701304 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 701304 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73081914 19521036288 701304 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 28.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2805216 KiB

[startup+51.1056 s]
/proc/loadavg: 5.03 4.85 4.69 5/340 88258
/proc/meminfo: memFree=104095680/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19063512 memory=4378516 CPUtime=55.72 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 38710 0 0 0 5481 91 0 0 20 0 20 0 73081889 19521036288 1094629 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4765878 1094629 5568 1 0 1702803 0
[pid=88237/tid=88239] ppid=88234 vsize=19063512 memory=4319124 CPUtime=47.8 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 9175 0 0 0 4758 22 0 0 20 0 20 0 73081891 19521036288 1094629 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=4211596 CPUtime=0 cores=4,6

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

/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 176173 0 0 0 298448 125 0 0 20 0 20 0 73081891 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=14420320 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 2465 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73081914 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 3243.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14420320 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.16 4.19 5/339 88611
/proc/meminfo: memFree=103193900/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19063512 memory=14420320 CPUtime=3304.01 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 374323 0 0 0 329973 428 0 0 20 0 20 0 73081889 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4765878 3605080 5568 1 0 4087084 0
[pid=88237/tid=88239] ppid=88234 vsize=19063512 memory=14420320 CPUtime=3044.93 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 179890 0 0 0 304367 126 0 0 20 0 20 0 73081891 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=14415712 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19063512 memory=14420320 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 2465 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=19063512 memory=14420320 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73081914 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 3304.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14420320 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.18 5/339 88613
/proc/meminfo: memFree=103122064/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19063512 memory=14420320 CPUtime=3364.42 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 377854 0 0 0 336013 429 0 0 20 0 20 0 73081889 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4765878 3605080 5568 1 0 4087084 0
[pid=88237/tid=88239] ppid=88234 vsize=19063512 memory=14420320 CPUtime=3104.23 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 182624 0 0 0 310297 126 0 0 20 0 20 0 73081891 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=14420320 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19063512 memory=14420320 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 2545 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=19063512 memory=14420320 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73081914 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 3364.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14420320 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.18 5/339 88615
/proc/meminfo: memFree=102990256/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19063512 memory=14420320 CPUtime=3425.72 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 382798 0 0 0 342141 431 0 0 20 0 20 0 73081889 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4765878 3605080 5568 1 0 4087084 0
[pid=88237/tid=88239] ppid=88234 vsize=19063512 memory=14420320 CPUtime=3162.64 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 185256 0 0 0 316137 127 0 0 20 0 20 0 73081891 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=7589410038440263987 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19063512 memory=14420320 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 2586 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=19063512 memory=14420320 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73081914 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 3425.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14420320 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.18 5/339 88617
/proc/meminfo: memFree=102617440/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19063512 memory=14420320 CPUtime=3487.48 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 388723 0 0 0 348314 434 0 0 20 0 20 0 73081889 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4765878 3605080 5568 1 0 4087084 0
[pid=88237/tid=88239] ppid=88234 vsize=19063512 memory=-6000919489920132199 CPUtime=3220.58 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 189459 0 0 0 321930 128 0 0 20 0 20 0 73081891 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=14420320 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19063512 memory=14420320 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 2639 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=19063512 memory=14420320 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73081914 19521036288 3605080 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 3487.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14420320 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.17 4.18 5/339 88619
/proc/meminfo: memFree=102526252/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19063512 memory=14424116 CPUtime=3555.31 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 403283 0 0 0 355091 440 0 0 20 0 20 0 73081889 19521036288 3606029 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4765878 3606029 5568 1 0 4087306 0
[pid=88237/tid=88239] ppid=88234 vsize=19063512 memory=-6000919489920132199 CPUtime=3278.53 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 199251 0 0 0 327724 129 0 0 20 0 20 0 73081891 19521036288 3606029 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=14420320 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3606029 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19063512 memory=15104 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 2694 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3606029 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=19063512 memory=14424116 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73081914 19521036288 3606029 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 3555.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14424116 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3445.7 s]
/proc/loadavg: 4.17 4.16 4.18 5/339 88621
/proc/meminfo: memFree=102104208/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19063512 memory=14424116 CPUtime=3600 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 407879 0 0 0 359557 443 0 0 20 0 20 0 73081889 19521036288 3606029 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4765878 3606029 5568 1 0 4087306 0
[pid=88237/tid=88239] ppid=88234 vsize=19063512 memory=-6000919489920132199 CPUtime=3320.42 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 201538 0 0 0 331913 129 0 0 20 0 20 0 73081891 19521036288 3606029 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19063512 memory=15104 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3606029 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19063512 memory=14424116 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 2782 0 0 0 0 0 0 0 20 0 20 0 73081893 19521036288 3606029 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88256] ppid=88234 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/88237/task/88256/stat : 88256 (Timer-0) S 88234 88237 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73081914 19521036288 3606029 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14424116 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.88 s, system=4.47496 s

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

[startup+3445.8 s]
/proc/loadavg: 4.17 4.16 4.18 5/339 88621
/proc/meminfo: memFree=102104208/131250000 swapFree=33008100/33010684
[pid=88237] ppid=88234 vsize=19263204 memory=14424884 CPUtime=3600.2 cores=4,6
/proc/88237/stat : 88237 (java) S 88234 88237 87403 0 -1 4194304 410172 0 0 0 359577 443 0 0 20 0 21 0 73081889 19725520896 3606221 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
/proc/88237/statm: 4815801 3606221 5568 1 0 4088259 0
[pid=88237/tid=88239] ppid=88234 vsize=19263204 memory=5632 CPUtime=3320.52 cores=4,6
/proc/88237/task/88239/stat : 88239 (java) R 88234 88237 87403 0 -1 4194368 201697 0 0 0 331923 129 0 0 20 0 21 0 73081891 19725520896 3606221 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88248] ppid=88234 vsize=19263204 memory=5148 CPUtime=0 cores=4,6
/proc/88237/task/88248/stat : 88248 (Finalizer) S 88234 88237 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 73081893 19725520896 3606221 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
[pid=88237/tid=88255] ppid=88234 vsize=19263204 memory=-6000919489920132199 CPUtime=0 cores=4,6
/proc/88237/task/88255/stat : 88255 (Common-Cleaner) S 88234 88237 87403 0 -1 4194368 2782 0 0 0 0 0 0 0 20 0 21 0 73081893 19725520896 3606221 18446744073709551615 94250765221888 94250765225584 140729315608816 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94250765233400 94250765234192 94250766315520 140729315617153 140729315617254 140729315617254 140729315622856 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 14424884 KiB

[startup+3445.9 s]*
/proc/loadavg: 4.17 4.16 4.18 5/321 88624
/proc/meminfo: memFree=116513376/131250000 swapFree=33008100/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3445.91
CPU time (s): 3600.35
CPU user time (s): 3595.88
CPU system time (s): 4.47496
CPU usage (%): 104.482
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14424884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.88
system time used= 4.47496
maximum resident set size= 14425012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 410591
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120990
involuntary context switches= 13312


# summary of solver processes directly reported to runsolver:
#   pid: 88237
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3595.88
#   total CPU system time (s): 4.47496

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61509 second user time and 15.7763 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-03 22:20:16
IDJOB=4520810
IDBENCH=178130
IDSOLVER=3363
FILE ID=nodeC013/4520810-1751574016
RUNJOBID= nodeC013-1751567892-87414
SLURM_JOB_ID= 9598784
Free space on /tmp= 432640 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520810-1751574016/watcher-4520810-1751574016 -o /tmp/evaluation-result-4520810-1751574016/solver-4520810-1751574016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751567892-87414 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4520810-1751574016.opb

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

MD5SUM BENCH= 789fc3771aff9bb0c01300f49f64e5c8
RANDOM SEED=1473306567

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        108450560 kB
MemAvailable:   108550700 kB
Buffers:            1668 kB
Cached:           894252 kB
SwapCached:         1980 kB
Active:         21651568 kB
Inactive:         529960 kB
Active(anon):   21279272 kB
Inactive(anon):    17632 kB
Active(file):     372296 kB
Inactive(file):   512328 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1012 kB
Writeback:             0 kB
AnonPages:      21286716 kB
Mapped:           119684 kB
Shmem:             11296 kB
KReclaimable:     109108 kB
Slab:             199304 kB
SReclaimable:     109108 kB
SUnreclaim:        90196 kB
KernelStack:        5184 kB
PageTables:        45336 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   21827676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20867072 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432624 MiB
End job on nodeC013 at 2025-07-03 23:17:42