Trace number 4510408

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06UNSAT 1004.59 1003.53

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
MD5SUMffca2f526e16739a014d253021fa9e9c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark48.9927
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables901
Total number of constraints1258
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1256
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4510408-1751197847.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.31/0.21	c ... done. Wall clock time 0.069s.
0.31/0.21	c declared #vars     901
0.31/0.21	c #constraints  1258
0.31/0.21	c constraints type 
0.31/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.31/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1256
0.31/0.21	c 1258 constraints processed.
0.69/0.47	c cleaning 2495 clauses out of 5000 with flag 23718/5000
1.45/0.80	c cleaning 4242 clauses out of 8506 with flag 55532/11001
1.65/0.98	c cleaning 5603 clauses out of 11263 with flag 88964/18000
2.25/1.25	c cleaning 6814 clauses out of 13661 with flag 127569/26001
2.45/1.38	c cleaning 7908 clauses out of 15848 with flag 174914/35002
2.82/1.53	c cleaning 8954 clauses out of 17938 with flag 228123/45000
3.01/1.68	c cleaning 9942 clauses out of 19984 with flag 284722/56000
3.24/1.85	c cleaning 10971 clauses out of 22042 with flag 348370/68000
3.44/2.04	c cleaning 12022 clauses out of 24072 with flag 420865/81001
3.64/2.27	c cleaning 12984 clauses out of 26050 with flag 496199/95001
3.94/2.52	c cleaning 13985 clauses out of 28065 with flag 581662/110000
4.24/2.80	c cleaning 14982 clauses out of 30080 with flag 676529/126000
4.48/3.07	c cleaning 15998 clauses out of 32099 with flag 774305/143001
4.80/3.37	c cleaning 16997 clauses out of 34101 with flag 876609/161001
5.20/3.72	c cleaning 17998 clauses out of 36105 with flag 987116/180002
5.60/4.10	c cleaning 19033 clauses out of 38105 with flag 1107654/200000
6.00/4.52	c cleaning 20014 clauses out of 40074 with flag 1232413/221002
6.40/4.98	c cleaning 20995 clauses out of 42058 with flag 1361757/243000
6.90/5.46	c cleaning 21998 clauses out of 44063 with flag 1492510/266000
7.40/5.93	c cleaning 22976 clauses out of 46065 with flag 1625468/290000
7.90/6.48	c cleaning 24007 clauses out of 48090 with flag 1769009/315001
8.50/7.03	c cleaning 25013 clauses out of 50083 with flag 1911311/341001
9.11/7.62	c cleaning 26021 clauses out of 52071 with flag 2060325/368002
9.61/8.19	c cleaning 27008 clauses out of 54048 with flag 2210293/396000
10.30/8.80	c cleaning 27981 clauses out of 56041 with flag 2361564/425001
10.90/9.48	c cleaning 29003 clauses out of 58059 with flag 2522403/455000
11.61/10.18	c cleaning 29953 clauses out of 60056 with flag 2694073/486000
12.40/10.90	c cleaning 31035 clauses out of 62104 with flag 2867036/518001
13.09/11.68	c cleaning 31987 clauses out of 64070 with flag 3038623/551002
13.99/12.52	c cleaning 33026 clauses out of 66082 with flag 3218811/585001
14.90/13.42	c cleaning 33989 clauses out of 68055 with flag 3408288/620000
15.80/14.34	c cleaning 35011 clauses out of 70067 with flag 3599500/656001
16.80/15.31	c cleaning 35990 clauses out of 72057 with flag 3796191/693002
17.80/16.32	c cleaning 37019 clauses out of 74065 with flag 3991546/731000
18.80/17.37	c cleaning 37998 clauses out of 76047 with flag 4196497/770001
20.09/18.61	c cleaning 38978 clauses out of 78049 with flag 4404881/810001
21.29/19.81	c cleaning 40018 clauses out of 80070 with flag 4623784/851000
22.49/21.05	c cleaning 41001 clauses out of 82053 with flag 4837723/893001
23.78/22.34	c cleaning 42000 clauses out of 84051 with flag 5050468/936000
25.08/23.69	c cleaning 42995 clauses out of 86051 with flag 5271716/980000
26.48/25.04	c cleaning 43981 clauses out of 88057 with flag 5496730/1025001
27.87/26.47	c cleaning 45006 clauses out of 90075 with flag 5725797/1071000
29.37/27.96	c cleaning 45993 clauses out of 92070 with flag 5959487/1118001
30.87/29.49	c cleaning 47011 clauses out of 94076 with flag 6196635/1166000
32.57/31.12	c cleaning 47994 clauses out of 96065 with flag 6439211/1215000
34.19/32.74	c cleaning 49006 clauses out of 98071 with flag 6684256/1265000
35.79/34.39	c cleaning 49997 clauses out of 100067 with flag 6936193/1316002
37.59/36.18	c cleaning 51016 clauses out of 102069 with flag 7195094/1368001
39.48/38.05	c cleaning 51998 clauses out of 104052 with flag 7455004/1421000
41.37/39.91	c cleaning 53003 clauses out of 106054 with flag 7714645/1475000
43.27/41.87	c cleaning 53998 clauses out of 108054 with flag 7985535/1530003
45.27/43.82	c cleaning 55007 clauses out of 110055 with flag 8261568/1586002
47.30/45.87	c cleaning 55982 clauses out of 112046 with flag 8530396/1643000
49.40/47.99	c cleaning 56995 clauses out of 114066 with flag 8806513/1701002
51.60/50.18	c cleaning 57997 clauses out of 116069 with flag 9088736/1760000
53.79/52.35	c cleaning 59010 clauses out of 118073 with flag 9373643/1820001
55.98/54.59	c cleaning 59992 clauses out of 120062 with flag 9654229/1881000
58.38/56.99	c cleaning 60997 clauses out of 122071 with flag 9945043/1943001
60.87/59.43	c cleaning 61999 clauses out of 124074 with flag 10242035/2006001
63.39/61.99	c cleaning 63026 clauses out of 126075 with flag 10549246/2070001
66.08/64.60	c cleaning 63996 clauses out of 128048 with flag 10850864/2135000
68.68/67.20	c cleaning 65012 clauses out of 130052 with flag 11150883/2201000
71.48/70.02	c cleaning 65994 clauses out of 132041 with flag 11466007/2268001
74.27/72.84	c cleaning 66996 clauses out of 134046 with flag 11777446/2336000
77.06/75.62	c cleaning 68004 clauses out of 136051 with flag 12088621/2405001
79.99/78.54	c cleaning 69011 clauses out of 138046 with flag 12400148/2475000
82.88/81.42	c cleaning 69983 clauses out of 140037 with flag 12718110/2546002
85.87/84.45	c cleaning 70996 clauses out of 142053 with flag 13036124/2618001
89.06/87.61	c cleaning 72006 clauses out of 144057 with flag 13364528/2691001
92.16/90.76	c cleaning 72990 clauses out of 146050 with flag 13700106/2765000
95.46/94.07	c cleaning 74015 clauses out of 148061 with flag 14039482/2840001
98.78/97.37	c cleaning 75012 clauses out of 150045 with flag 14377338/2916000
102.27/100.83	c cleaning 75987 clauses out of 152033 with flag 14726164/2993000
105.76/104.30	c cleaning 77009 clauses out of 154047 with flag 15070721/3071001
109.15/107.78	c cleaning 78001 clauses out of 156038 with flag 15420907/3150001
112.95/111.59	c cleaning 78985 clauses out of 158036 with flag 15789156/3230000
117.07/115.62	c cleaning 79989 clauses out of 160052 with flag 16151654/3311001
120.87/119.48	c cleaning 81031 clauses out of 162063 with flag 16521237/3393001
124.96/123.52	c cleaning 81989 clauses out of 164032 with flag 16896280/3476001
129.05/127.69	c cleaning 82998 clauses out of 166042 with flag 17272871/3560000
133.25/131.87	c cleaning 84014 clauses out of 168046 with flag 17658014/3645002
137.36/135.97	c cleaning 84980 clauses out of 170030 with flag 18041578/3731000
141.65/140.29	c cleaning 85998 clauses out of 172050 with flag 18433735/3818000
145.95/144.53	c cleaning 87002 clauses out of 174053 with flag 18815511/3906001
150.34/148.94	c cleaning 88013 clauses out of 176050 with flag 19198921/3995000
154.63/153.25	c cleaning 89018 clauses out of 178039 with flag 19583978/4085002
159.85/158.48	c cleaning 89995 clauses out of 180019 with flag 20002619/4176000
164.64/163.21	c cleaning 90988 clauses out of 182025 with flag 20400037/4268001
169.32/167.92	c cleaning 91993 clauses out of 184036 with flag 20799936/4361000
174.31/172.95	c cleaning 93009 clauses out of 186043 with flag 21205424/4455000
179.13/177.75	c cleaning 93992 clauses out of 188034 with flag 21610654/4550000
183.92/182.55	c cleaning 94997 clauses out of 190043 with flag 22018742/4646001
189.21/187.80	c cleaning 96002 clauses out of 192045 with flag 22431831/4743000
194.20/192.87	c cleaning 96993 clauses out of 194044 with flag 22837031/4841001
199.29/197.91	c cleaning 97997 clauses out of 196050 with flag 23247239/4940000
204.71/203.32	c cleaning 99015 clauses out of 198055 with flag 23663864/5040002
210.20/208.84	c cleaning 99996 clauses out of 200038 with flag 24093854/5141000
215.29/213.91	c cleaning 101001 clauses out of 202042 with flag 24500300/5243000
220.67/219.34	c cleaning 101993 clauses out of 204042 with flag 24922085/5346001
226.36/225.02	c cleaning 103005 clauses out of 206049 with flag 25349599/5450001
232.14/230.80	c cleaning 104007 clauses out of 208044 with flag 25781574/5555001
238.28/236.90	c cleaning 105006 clauses out of 210036 with flag 26224638/5661000
243.87/242.55	c cleaning 105995 clauses out of 212030 with flag 26644793/5768000
249.66/248.31	c cleaning 107004 clauses out of 214035 with flag 27072174/5876000
255.45/254.14	c cleaning 107992 clauses out of 216032 with flag 27507653/5985001
261.63/260.38	c cleaning 109003 clauses out of 218039 with flag 27948190/6095000
267.51/266.23	c cleaning 110005 clauses out of 220036 with flag 28383763/6206000
273.73/272.49	c cleaning 111008 clauses out of 222031 with flag 28830587/6318000
280.01/278.74	c cleaning 111992 clauses out of 224023 with flag 29276314/6431000
286.10/284.85	c cleaning 112997 clauses out of 226031 with flag 29719935/6545000
292.49/291.20	c cleaning 114000 clauses out of 228035 with flag 30187116/6660001
298.68/297.40	c cleaning 114995 clauses out of 230036 with flag 30637771/6776002
304.92/303.68	c cleaning 116007 clauses out of 232041 with flag 31088654/6893002
311.32/310.02	c cleaning 117001 clauses out of 234033 with flag 31559156/7011001
317.70/316.43	c cleaning 117994 clauses out of 236031 with flag 32030366/7130000
324.18/322.96	c cleaning 119007 clauses out of 238037 with flag 32488746/7250000
330.67/329.49	c cleaning 119998 clauses out of 240030 with flag 32959633/7371000
337.16/335.96	c cleaning 121007 clauses out of 242032 with flag 33426010/7493000
343.50/342.27	c cleaning 122005 clauses out of 244025 with flag 33887137/7616000
349.98/348.71	c cleaning 122999 clauses out of 246020 with flag 34353958/7740000
356.78/355.53	c cleaning 123997 clauses out of 248022 with flag 34829217/7865001
363.76/362.54	c cleaning 124992 clauses out of 250024 with flag 35323847/7991000
371.35/370.12	c cleaning 126008 clauses out of 252034 with flag 35819511/8118002
378.73/377.58	c cleaning 126992 clauses out of 254024 with flag 36305590/8246000
385.33/384.16	c cleaning 128007 clauses out of 256033 with flag 36790778/8375001
392.75/391.50	c cleaning 129002 clauses out of 258025 with flag 37289032/8505000
399.84/398.68	c cleaning 130000 clauses out of 260023 with flag 37783853/8636000
407.23/406.10	c cleaning 131001 clauses out of 262024 with flag 38280923/8768001
415.21/414.05	c cleaning 131996 clauses out of 264022 with flag 38794569/8901000
422.99/421.86	c cleaning 132992 clauses out of 266026 with flag 39305408/9035000
430.98/429.89	c cleaning 134001 clauses out of 268035 with flag 39823772/9170001
439.56/438.48	c cleaning 135003 clauses out of 270033 with flag 40349585/9306000
448.64/447.55	c cleaning 135996 clauses out of 272030 with flag 40892563/9443000
458.32/457.22	c cleaning 137002 clauses out of 274035 with flag 41437547/9581001
467.11/466.03	c cleaning 138005 clauses out of 276033 with flag 41979074/9720001
475.39/474.35	c cleaning 139005 clauses out of 278027 with flag 42503052/9860000
483.87/482.88	c cleaning 139998 clauses out of 280022 with flag 43030372/10001000
491.85/490.88	c cleaning 140997 clauses out of 282026 with flag 43555162/10143002
500.09/499.07	c cleaning 142007 clauses out of 284028 with flag 44087580/10286001
508.86/507.82	c cleaning 142994 clauses out of 286020 with flag 44633034/10430000
517.44/516.40	c cleaning 143998 clauses out of 288026 with flag 45179572/10575000
526.04/525.01	c cleaning 145000 clauses out of 290028 with flag 45725278/10721000
534.92/533.93	c cleaning 146003 clauses out of 292029 with flag 46276457/10868001
544.30/543.37	c cleaning 147008 clauses out of 294026 with flag 46833337/11016001
553.68/552.78	c cleaning 147997 clauses out of 296017 with flag 47400068/11165000
563.46/562.55	c cleaning 148998 clauses out of 298020 with flag 47982254/11315000
573.14/572.27	c cleaning 150008 clauses out of 300023 with flag 48554709/11466001
583.12/582.20	c cleaning 150988 clauses out of 302014 with flag 49136344/11618000
593.50/592.60	c cleaning 152002 clauses out of 304026 with flag 49721390/11771000
603.68/602.81	c cleaning 153005 clauses out of 306025 with flag 50306901/11925001
614.15/613.28	c cleaning 153993 clauses out of 308019 with flag 50906657/12080000
625.04/624.17	c cleaning 155001 clauses out of 310028 with flag 51516621/12236002
635.61/634.70	c cleaning 156001 clauses out of 312025 with flag 52127926/12393000
646.59/645.71	c cleaning 157001 clauses out of 314024 with flag 52730694/12551000
657.77/657.00	c cleaning 158000 clauses out of 316023 with flag 53343612/12710000
669.35/668.57	c cleaning 158996 clauses out of 318024 with flag 53963514/12870001
681.12/680.32	c cleaning 159999 clauses out of 320027 with flag 54594602/13031000
692.61/691.87	c cleaning 161009 clauses out of 322029 with flag 55229336/13193001
703.98/703.20	c cleaning 162000 clauses out of 324019 with flag 55865690/13356000
715.56/714.82	c cleaning 162992 clauses out of 326019 with flag 56497682/13520000
727.53/726.74	c cleaning 164007 clauses out of 328027 with flag 57139218/13685000
738.81/738.04	c cleaning 165001 clauses out of 330021 with flag 57785504/13851001
751.28/750.58	c cleaning 166000 clauses out of 332020 with flag 58437353/14018001
763.95/763.25	c cleaning 166997 clauses out of 334020 with flag 59093890/14186001
776.83/776.14	c cleaning 168004 clauses out of 336022 with flag 59752274/14355000
789.70/789.08	c cleaning 168995 clauses out of 338019 with flag 60397999/14525001
802.77/802.12	c cleaning 170003 clauses out of 340023 with flag 61060790/14696000
816.23/815.69	c cleaning 170996 clauses out of 342021 with flag 61723398/14868001
829.89/829.38	c cleaning 172005 clauses out of 344024 with flag 62395583/15041000
843.76/843.28	c cleaning 172998 clauses out of 346019 with flag 63081732/15215000
858.42/857.98	c cleaning 174002 clauses out of 348021 with flag 63777394/15390000
874.20/873.66	c cleaning 175001 clauses out of 350019 with flag 64484045/15566000
890.36/889.80	c cleaning 175998 clauses out of 352019 with flag 65219254/15743001
906.53/906.08	c cleaning 177003 clauses out of 354021 with flag 65963037/15921001
922.20/921.73	c cleaning 177996 clauses out of 356017 with flag 66701921/16100000
938.56/938.18	c cleaning 179007 clauses out of 358023 with flag 67458514/16280002
955.42/955.07	c cleaning 179998 clauses out of 360014 with flag 68215067/16461000
973.68/973.31	c cleaning 181005 clauses out of 362017 with flag 69002861/16643001
994.50/993.88	c cleaning 182001 clauses out of 364011 with flag 69817250/16826000
1004.42/1003.43	c starts		: 18305
1004.42/1003.44	c conflicts		: 16944083
1004.42/1003.44	c decisions		: 23448192
1004.42/1003.44	c propagations		: 147929544
1004.42/1003.44	c inspects		: 18450610864
1004.42/1003.44	c shortcuts		: 0
1004.42/1003.44	c learnt literals	: 15
1004.42/1003.44	c learnt binary clauses	: 102
1004.42/1003.44	c learnt ternary clauses	: 431
1004.42/1003.44	c learnt constraints	: 16944067
1004.42/1003.44	c ignored constraints	: 0
1004.42/1003.44	c root simplifications	: 0
1004.42/1003.44	c removed literals (reason simplification)	: 15402710
1004.42/1003.44	c reason swapping (by a shorter reason)	: 0
1004.42/1003.44	c Calls to reduceDB	: 179
1004.42/1003.44	c Number of update (reduction) of LBD	: 3609015
1004.42/1003.44	c Imported unit clauses	: 0
1004.42/1003.44	c No decision after first conflict	: false
1004.42/1003.44	c number of reductions to clauses (during analyze)	: 0
1004.42/1003.44	c number of learned constraints concerned by reduction	: 0
1004.42/1003.44	c number of learning phase by resolution	: 0
1004.42/1003.44	c number of learning phase by cutting planes	: 0
1004.42/1003.44	c number of rounding to 1 operations	: 0
1004.42/1003.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1004.42/1003.44	c number of reductions of the coefficients by power 2 	: 0
1004.42/1003.44	c number of right shift for reduction by power 2 	: 0
1004.42/1003.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
1004.42/1003.44	c number of ending skipping 	: 0
1004.42/1003.44	c number of internal skipping 	: 0
1004.42/1003.44	c number of derivation steps 	: 0
1004.42/1003.44	c number of skipped derivation steps 	: 0
1004.42/1003.44	c number of remaining unassigned 	: 0
1004.42/1003.44	c number of remaining assigned 	: 0
1004.42/1003.44	c number of falsified literals weakened from reason	: 0
1004.42/1003.44	c number of falsified literals weakened from conflict	: 0
1004.42/1003.44	c time for arithmetic operations	: 0
1004.42/1003.44	c minimum degree of deleted constraints	: null
1004.42/1003.44	c maximum degree of deleted constraints	: null
1004.42/1003.44	c number of deleted constraints	: 0
1004.42/1003.44	c speed (assignments/second)	: 147454.15181454987
1004.42/1003.44	c non guided choices	: 1029363
1004.55/1003.51	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 299975
1004.55/1003.51	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 102
1004.55/1003.51	s UNSATISFIABLE
1004.55/1003.51	c Total wall clock time (in seconds): 1003.371

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510408-1751197847/watcher-4510408-1751197847 -o /tmp/evaluation-result-4510408-1751197847/solver-4510408-1751197847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27853 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4510408-1751197847.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100061 s]*
/proc/loadavg: 4.10 4.09 4.09 6/339 29304
/proc/meminfo: memFree=124180600/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=18930384 memory=55488 CPUtime=0.12 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 6518 0 0 0 10 2 0 0 20 0 18 0 35462609 19384713216 13872 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4732596 13872 5336 1 0 547579 0
[pid=29286/tid=29288] ppid=29283 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 5018 0 0 0 6 1 0 0 20 0 18 0 35462611 19384713216 13872 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=18930384 memory=237112656212 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35462613 19384713216 13872 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=18930384 memory=58485492706614 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35462613 19384713216 13872 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55488 KiB

[startup+0.205871 s]*
/proc/loadavg: 4.10 4.09 4.09 7/339 29304
/proc/meminfo: memFree=124168628/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=18930384 memory=72096 CPUtime=0.31 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 7051 0 0 0 28 3 0 0 20 0 18 0 35462609 19384713216 18024 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4732596 18024 5400 1 0 547936 0
[pid=29286/tid=29288] ppid=29283 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 5263 0 0 0 14 1 0 0 20 0 18 0 35462611 19384713216 18024 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=18930384 memory=18949 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35462613 19384713216 18024 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35462613 19384713216 18024 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72096 KiB

[startup+0.305895 s]*
/proc/loadavg: 4.10 4.09 4.09 6/340 29305
/proc/meminfo: memFree=124160500/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=18996948 memory=79868 CPUtime=0.49 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 10032 0 0 0 46 3 0 0 20 0 19 0 35462609 19452874752 19967 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4749237 19967 5400 1 0 549548 0
[pid=29286/tid=29288] ppid=29283 vsize=18996948 memory=-6000919494131213165 CPUtime=0.24 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 5316 0 0 0 23 1 0 0 20 0 19 0 35462611 19452874752 19967 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35462613 19452874752 19967 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35462613 19452874752 19967 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35462632 19452874752 19967 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79868 KiB

[startup+0.700248 s]
/proc/loadavg: 4.10 4.09 4.09 7/340 29305
/proc/meminfo: memFree=124150168/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=18996948 memory=95916 CPUtime=1.26 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 14565 0 0 0 121 5 0 0 20 0 19 0 35462609 19452874752 23979 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4749237 23979 5432 1 0 552907 0
[pid=29286/tid=29288] ppid=29283 vsize=18996948 memory=17536 CPUtime=0.61 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 5425 0 0 0 59 2 0 0 20 0 19 0 35462611 19452874752 23979 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35462613 19452874752 23979 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35462613 19452874752 23979 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=18996948 memory=4756 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35462632 19452874752 23979 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95916 KiB

[startup+1.50025 s]
/proc/loadavg: 4.10 4.09 4.09 6/340 29305
/proc/meminfo: memFree=124138512/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=18996948 memory=105764 CPUtime=2.82 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 19432 0 0 0 276 6 0 0 20 0 19 0 35462609 19452874752 26441 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4749237 26441 5432 1 0 553220 0
[pid=29286/tid=29288] ppid=29283 vsize=18996948 memory=10752 CPUtime=1.39 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 5832 0 0 0 137 2 0 0 20 0 19 0 35462611 19452874752 26441 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35462613 19452874752 26441 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35462613 19452874752 26441 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=18996948 memory=4756 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35462632 19452874752 26441 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105764 KiB

[startup+3.1057 s]
/proc/loadavg: 4.10 4.09 4.09 5/340 29305
/proc/meminfo: memFree=124109928/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=18996948 memory=126500 CPUtime=4.61 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 20310 0 0 0 454 7 0 0 20 0 19 0 35462609 19452874752 31625 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4749237 31625 5432 1 0 553222 0
[pid=29286/tid=29288] ppid=29283 vsize=18996948 memory=10752 CPUtime=3 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 6170 0 0 0 297 3 0 0 20 0 19 0 35462611 19452874752 31625 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=18996948 memory=-6000919494131213165 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35462613 19452874752 31625 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35462613 19452874752 31625 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35462632 19452874752 31625 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 4.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 126500 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.09 4.09 5/340 29305
/proc/meminfo: memFree=124077192/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=18996948 memory=152728 CPUtime=7.8 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 20614 0 0 0 773 7 0 0 20 0 19 0 35462609 19452874752 38182 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4749237 38182 5464 1 0 553222 0
[pid=29286/tid=29288] ppid=29283 vsize=18996948 memory=0 CPUtime=6.18 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 6282 0 0 0 615 3 0 0 20 0 19 0 35462611 19452874752 38182 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35462613 19452874752 38182 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35462613 19452874752 38182 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=18996948 memory=107940 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35462632 19452874752 38182 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 7.8 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 152728 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/341 29306
/proc/meminfo: memFree=124048520/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=19063512 memory=175744 CPUtime=14.19 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 23064 0 0 0 1411 8 0 0 20 0 20 0 35462609 19521036288 43936 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4765878 43936 5496 1 0 553511 0
[pid=29286/tid=29288] ppid=29283 vsize=19063512 memory=107940 CPUtime=12.56 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 7130 0 0 0 1252 4 0 0 20 0 20 0 35462611 19521036288 43936 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 43936 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=19063512 memory=175744 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 43936 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462632 19521036288 43936 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 14.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175744 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/341 29306
/proc/meminfo: memFree=124032136/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=19063512 memory=184000 CPUtime=26.98 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 25438 0 0 0 2689 9 0 0 20 0 20 0 35462609 19521036288 46000 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4765878 46000 5496 1 0 553511 0
[pid=29286/tid=29288] ppid=29283 vsize=19063512 memory=10752 CPUtime=25.31 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 7710 0 0 0 2527 4 0 0 20 0 20 0 35462611 19521036288 46000 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=19063512 memory=175744 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 46000 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 46000 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462632 19521036288 46000 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 26.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184000 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.11 4.09 5/341 29439
/proc/meminfo: memFree=125936420/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=19063512 memory=237628 CPUtime=52.59 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 26726 0 0 0 5248 11 0 0 20 0 20 0 35462609 19521036288 59407 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4765878 59407 5496 1 0 553511 0
[pid=29286/tid=29288] ppid=29283 vsize=19063512 memory=237628 CPUtime=50.79 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 8049 0 0 0 5075 4 0 0 20 0 20 0 35462611 19521036288 59407 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0

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

/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 253 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 297027 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=19063512 memory=1188108 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462632 19521036288 297027 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 763.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1188108 KiB

[startup+822.3 s]
/proc/loadavg: 4.15 4.18 4.13 5/341 29616
/proc/meminfo: memFree=124377476/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=19063512 memory=1188108 CPUtime=822.91 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 34829 0 0 0 82247 44 0 0 20 0 20 0 35462609 19521036288 297027 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4765878 297027 5496 1 0 553511 0
[pid=29286/tid=29288] ppid=29283 vsize=19063512 memory=1188108 CPUtime=819.37 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 11183 0 0 0 81929 8 0 0 20 0 20 0 35462611 19521036288 297027 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=19063512 memory=1188108 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 297027 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=19063512 memory=1188108 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 253 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 297027 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=19063512 memory=1188108 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462632 19521036288 297027 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 822.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1188108 KiB

[startup+882.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/341 29620
/proc/meminfo: memFree=124159800/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=19063512 memory=1325340 CPUtime=882.88 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 34960 0 0 0 88241 47 0 0 20 0 20 0 35462609 19521036288 331335 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4765878 331335 5496 1 0 553511 0
[pid=29286/tid=29288] ppid=29283 vsize=19063512 memory=1188108 CPUtime=879.07 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 11218 0 0 0 87899 8 0 0 20 0 20 0 35462611 19521036288 331335 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=19063512 memory=1188108 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 331335 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=19063512 memory=1325340 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 253 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 331335 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462632 19521036288 331335 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 882.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1325340 KiB

[startup+942.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/340 29755
/proc/meminfo: memFree=126354600/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=19063512 memory=1325340 CPUtime=942.75 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 35056 0 0 0 94227 48 0 0 20 0 20 0 35462609 19521036288 331335 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4765878 331335 5496 1 0 553511 0
[pid=29286/tid=29288] ppid=29283 vsize=19063512 memory=1325340 CPUtime=938.92 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 11308 0 0 0 93884 8 0 0 20 0 20 0 35462611 19521036288 331335 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=19063512 memory=1325340 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 331335 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=19063512 memory=1325340 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 253 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 331335 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=19063512 memory=1325340 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462632 19521036288 331335 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 942.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1325340 KiB

[startup+1002.3 s]
/proc/loadavg: 4.18 4.16 4.13 5/341 29758
/proc/meminfo: memFree=126178680/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=19063512 memory=1328436 CPUtime=1003.31 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 48450 0 0 0 100280 51 0 0 20 0 20 0 35462609 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4765878 332109 5496 1 0 555140 0
[pid=29286/tid=29288] ppid=29283 vsize=19063512 memory=1325340 CPUtime=998.75 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 13275 0 0 0 99867 8 0 0 20 0 20 0 35462611 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=19063512 memory=1325492 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=19063512 memory=4499550793267572385 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 253 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=19063512 memory=1328436 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462632 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 1003.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1328436 KiB

[startup+1003.53 s]
# the end of solver process 29286 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1004.07 s, system=0.526799 s

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

[startup+1002.4 s]
/proc/loadavg: 4.18 4.16 4.13 5/341 29758
/proc/meminfo: memFree=126178680/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=19063512 memory=1328436 CPUtime=1003.41 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 48450 0 0 0 100290 51 0 0 20 0 20 0 35462609 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4765878 332109 5496 1 0 555140 0
[pid=29286/tid=29288] ppid=29283 vsize=19063512 memory=3328 CPUtime=998.85 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 13275 0 0 0 99877 8 0 0 20 0 20 0 35462611 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=19063512 memory=1325492 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=19063512 memory=1338268 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 253 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=19063512 memory=-6000919494131213165 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462632 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 1003.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1328436 KiB

[startup+1003.2 s]
/proc/loadavg: 4.18 4.16 4.13 5/341 29758
/proc/meminfo: memFree=126178680/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=19063512 memory=1328436 CPUtime=1004.21 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 48822 0 0 0 100370 51 0 0 20 0 20 0 35462609 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4765878 332109 5496 1 0 555140 0
[pid=29286/tid=29288] ppid=29283 vsize=19063512 memory=14848 CPUtime=999.65 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 13454 0 0 0 99957 8 0 0 20 0 20 0 35462611 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=19063512 memory=1325492 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=19063512 memory=1325492 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 253 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=19063512 memory=1325492 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462632 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 1004.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1328436 KiB

[startup+1003.4 s]
/proc/loadavg: 4.18 4.16 4.13 5/341 29758
/proc/meminfo: memFree=126178680/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=19063512 memory=1328436 CPUtime=1004.42 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 48879 0 0 0 100391 51 0 0 20 0 20 0 35462609 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4765878 332109 5496 1 0 555140 0
[pid=29286/tid=29288] ppid=29283 vsize=19063512 memory=10752 CPUtime=999.85 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) R 29283 29286 27841 0 -1 4194368 13460 0 0 0 99977 8 0 0 20 0 20 0 35462611 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=19063512 memory=-6000919494131213165 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 253 0 0 0 0 0 0 0 20 0 20 0 35462613 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29305] ppid=29283 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/29286/task/29305/stat : 29305 (Timer-0) S 29283 29286 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35462632 19521036288 332109 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 1004.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1328436 KiB

[startup+1003.5 s]
/proc/loadavg: 4.18 4.16 4.13 5/341 29758
/proc/meminfo: memFree=126178680/131249996 swapFree=33010684/33010684
[pid=29286] ppid=29283 vsize=19196640 memory=1329076 CPUtime=1004.55 cores=1,3
/proc/29286/stat : 29286 (java) S 29283 29286 27841 0 -1 4194304 50540 0 0 0 100404 51 0 0 20 0 20 0 35462609 19657359360 332269 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
/proc/29286/statm: 4799160 332269 5528 1 0 555774 0
[pid=29286/tid=29288] ppid=29283 vsize=19196640 memory=1325340 CPUtime=999.89 cores=1,3
/proc/29286/task/29288/stat : 29288 (java) S 29283 29286 27841 0 -1 4194368 14594 0 0 0 99981 8 0 0 20 0 20 0 35462611 19657359360 332269 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29297] ppid=29283 vsize=19196640 memory=1325492 CPUtime=0 cores=1,3
/proc/29286/task/29297/stat : 29297 (Finalizer) S 29283 29286 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35462613 19657359360 332269 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
[pid=29286/tid=29304] ppid=29283 vsize=19196640 memory=4499550793267572385 CPUtime=0 cores=1,3
/proc/29286/task/29304/stat : 29304 (Common-Cleaner) S 29283 29286 27841 0 -1 4194368 253 0 0 0 0 0 0 0 20 0 20 0 35462613 19657359360 332269 18446744073709551615 93882303217664 93882303221360 140737059960992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93882303229176 93882303229968 93882316623872 140737059965313 140737059965414 140737059965414 140737059971016 0
Current children cumulated CPU time: 1004.55 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1329076 KiB

Child status: 20

Real time (s): 1003.53
CPU time (s): 1004.59
CPU user time (s): 1004.07
CPU system time (s): 0.526799
CPU usage (%): 100.106
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1338268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1004.07
system time used= 0.526799
maximum resident set size= 1339296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30966
involuntary context switches= 1668


# summary of solver processes directly reported to runsolver:
#   pid: 29286
#   total CPU time (s): 1004.59
#   total CPU user time (s): 1004.07
#   total CPU system time (s): 0.526799

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.83608 second user time and 5.06154 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 13:50:47
IDJOB=4510408
IDBENCH=160360
IDSOLVER=3363
FILE ID=nodeC024/4510408-1751197847
RUNJOBID= nodeC024-1751191546-27853
SLURM_JOB_ID= 9587580
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510408-1751197847/watcher-4510408-1751197847 -o /tmp/evaluation-result-4510408-1751197847/solver-4510408-1751197847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27853 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4510408-1751197847.opb

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

MD5SUM BENCH= ffca2f526e16739a014d253021fa9e9c
RANDOM SEED=1929582657

nodeC024 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.679
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.36
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		: 3598.788
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.36
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		: 3455.008
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.678
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.36
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		: 3599.678
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.36
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.658
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.36
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		: 3701.430
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.36
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		: 3609.589
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124197372 kB
MemAvailable:   123878188 kB
Buffers:            3280 kB
Cached:           490472 kB
SwapCached:            0 kB
Active:          6247596 kB
Inactive:         235912 kB
Active(anon):    6007820 kB
Inactive(anon):        0 kB
Active(file):     239776 kB
Inactive(file):   235912 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               780 kB
Writeback:             0 kB
AnonPages:       5992332 kB
Mapped:           122552 kB
Shmem:             18064 kB
KReclaimable:      88332 kB
Slab:             175040 kB
SReclaimable:      88332 kB
SUnreclaim:        86708 kB
KernelStack:        5232 kB
PageTables:        15356 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7073888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5748736 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC024 at 2025-06-29 14:07:31