Trace number 4457928

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 2024 2024-07-07SAT (TO)1 3600.96 3569.75

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.opb
MD5SUM3b07899157a77563e39a517f9d1ebfa4
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 benchmark1
Best CPU time to get the best result obtained on this benchmark3.94176
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1604
Total number of constraints401
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)401
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 401
Biggest coefficient in the objective function 401
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 80601
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 401
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 80601
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.12/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.19	c See www.sat4j.org for details.
0.12/0.20	c version CUSTOM.v20240707
0.12/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.23	c java.vm.version	22.0.1+8-16
0.29/0.24	c java.vm.vendor	Oracle Corporation
0.29/0.24	c sun.arch.data.model	64
0.29/0.24	c java.version		22.0.1
0.29/0.24	c os.name		Linux
0.29/0.24	c os.version		4.18.0-301.1.el8.x86_64
0.29/0.24	c os.arch		amd64
0.29/0.25	c Free memory 		2113181440
0.29/0.25	c Max memory 		16282288128
0.29/0.25	c Total memory 		2122317824
0.29/0.26	c Number of processors 	2
0.43/0.37	--- Begin Solver configuration ---
0.43/0.37	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.43/0.37	Learn all clauses as in MiniSAT
0.43/0.37	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.37	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.37	Expensive reason simplification
0.43/0.37	Glucose 2.1 dynamic restart strategy
0.43/0.37	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.43/0.37	timeout=2147483s
0.43/0.37	DB Simplification allowed=false
0.43/0.37	Listener: none
0.43/0.37	--- End Solver configuration ---
0.43/0.38	c Pseudo Boolean Optimization by upper bound
0.43/0.38	c --- Begin Solver configuration ---
0.43/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.43/0.38	c Learn all clauses as in MiniSAT
0.43/0.38	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.38	c Expensive reason simplification
0.43/0.38	c Glucose 2.1 dynamic restart strategy
0.43/0.38	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.43/0.38	c timeout=2147483s
0.43/0.38	c DB Simplification allowed=false
0.43/0.38	c Listener: none
0.43/0.38	c --- End Solver configuration ---
0.43/0.38	c solving HOME/instance-4457928-1721887320.opb
0.43/0.38	c reading problem ... 
0.43/0.38	c using VERIPB proof format
0.43/0.39	c  objective function found
0.61/0.50	c ... done. Wall clock time 0.121s.
0.61/0.50	c declared #vars     1604
0.61/0.50	c #constraints  802
0.61/0.50	c constraints type 
0.61/0.50	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 802
0.61/0.50	c 802 constraints processed.
0.79/0.53	c objective function length is 401 literals
1.12/0.78	c SATISFIABLE
1.12/0.78	c OPTIMIZING...
1.12/0.78	c Got one! Elapsed wall clock time (in seconds):0.41
1.12/0.78	o 68
1.91/1.11	c Got one! Elapsed wall clock time (in seconds):0.729
1.91/1.11	o 43
1.91/1.19	c Got one! Elapsed wall clock time (in seconds):0.815
1.91/1.19	o 16
3.28/1.84	c Got one! Elapsed wall clock time (in seconds):1.464
3.28/1.84	o 2
4.07/2.20	c cleaning 3242 clauses out of 6492 with flag 15989/6492
4.28/2.34	c Got one! Elapsed wall clock time (in seconds):1.963
4.28/2.34	o 1
4.84/2.63	c cleaning 4230 clauses out of 8470 with flag 22508/11712
5.20/2.96	c cleaning 5115 clauses out of 10242 with flag 59214/17714
5.77/3.33	c cleaning 6048 clauses out of 12125 with flag 101364/24712
6.26/3.75	c cleaning 7028 clauses out of 14077 with flag 150205/32712
6.79/4.24	c cleaning 8016 clauses out of 16050 with flag 204531/41713
7.29/4.77	c cleaning 8991 clauses out of 18033 with flag 263504/51712
8.29/5.73	c cleaning 10017 clauses out of 20044 with flag 327374/62714
9.04/6.56	c cleaning 11001 clauses out of 22025 with flag 396130/74712
9.76/7.26	c cleaning 11996 clauses out of 24026 with flag 477349/87714
10.57/8.06	c cleaning 13005 clauses out of 26029 with flag 563559/101713
11.37/8.82	c cleaning 13993 clauses out of 28026 with flag 652649/116715
12.45/9.61	c cleaning 14998 clauses out of 30030 with flag 747309/132712
13.60/10.54	c cleaning 15997 clauses out of 32032 with flag 851665/149712
14.49/11.45	c cleaning 16999 clauses out of 34036 with flag 953764/167713
15.49/12.43	c cleaning 17993 clauses out of 36036 with flag 1065907/186712
16.59/13.50	c cleaning 19006 clauses out of 38043 with flag 1183428/206712
17.59/14.57	c cleaning 20004 clauses out of 40037 with flag 1311458/227712
18.91/15.80	c cleaning 21002 clauses out of 42034 with flag 1455456/249713
20.12/17.02	c cleaning 21989 clauses out of 44032 with flag 1594159/272713
21.30/18.29	c cleaning 23001 clauses out of 46042 with flag 1741122/296712
22.72/19.60	c cleaning 23993 clauses out of 48041 with flag 1889435/321712
24.10/20.98	c cleaning 25009 clauses out of 50048 with flag 2048102/347712
25.59/22.50	c cleaning 25996 clauses out of 52039 with flag 2213199/374712
27.21/24.07	c cleaning 26982 clauses out of 54046 with flag 2384987/402715
29.00/25.85	c cleaning 28003 clauses out of 56063 with flag 2569479/431714
30.70/27.51	c cleaning 29007 clauses out of 58062 with flag 2752670/461716
32.49/29.35	c cleaning 30002 clauses out of 60052 with flag 2944520/492713
34.30/31.13	c cleaning 31002 clauses out of 62050 with flag 3149423/524713
36.10/32.97	c cleaning 32013 clauses out of 64048 with flag 3359869/557713
38.10/34.96	c cleaning 32982 clauses out of 66034 with flag 3564058/591712
40.45/38.52	c cleaning 34004 clauses out of 68054 with flag 3785062/626714
43.14/41.29	c cleaning 35007 clauses out of 70049 with flag 4018170/662713
45.34/43.43	c cleaning 35993 clauses out of 72042 with flag 4254607/699713
47.66/45.73	c cleaning 37001 clauses out of 74050 with flag 4495686/737714
50.00/48.04	c cleaning 38001 clauses out of 76047 with flag 4741701/776712
52.38/50.40	c cleaning 38998 clauses out of 78047 with flag 4996234/816713
54.88/52.90	c cleaning 40016 clauses out of 80051 with flag 5265686/857715
57.30/55.38	c cleaning 40983 clauses out of 82035 with flag 5529274/899715
60.14/58.12	c cleaning 42010 clauses out of 84052 with flag 5798986/942715
62.71/60.77	c cleaning 43006 clauses out of 86041 with flag 6083304/986714
65.61/63.68	c cleaning 43982 clauses out of 88034 with flag 6379494/1031713
68.62/66.62	c cleaning 45003 clauses out of 90051 with flag 6682191/1077712
71.46/69.86	c cleaning 45995 clauses out of 92049 with flag 6988329/1124713
74.55/72.95	c cleaning 47009 clauses out of 94054 with flag 7297074/1172713
77.71/76.06	c cleaning 47988 clauses out of 96044 with flag 7610874/1221712
80.71/79.09	c cleaning 48998 clauses out of 98056 with flag 7935494/1271712
84.09/82.43	c cleaning 50003 clauses out of 100058 with flag 8271387/1322712
87.57/85.85	c cleaning 50999 clauses out of 102055 with flag 8619206/1374712
91.42/89.57	c cleaning 51970 clauses out of 104056 with flag 8972615/1427712
95.04/93.13	c cleaning 53015 clauses out of 106086 with flag 9333412/1481712
98.62/96.71	c cleaning 54015 clauses out of 108071 with flag 9705059/1536712
102.44/100.63	c cleaning 55014 clauses out of 110058 with flag 10079024/1592714
106.34/104.57	c cleaning 55998 clauses out of 112042 with flag 10469283/1649712
110.47/108.66	c cleaning 57022 clauses out of 114044 with flag 10846893/1707712
114.53/112.64	c cleaning 57986 clauses out of 116022 with flag 11237774/1766712
118.65/116.74	c cleaning 58983 clauses out of 118038 with flag 11636030/1826714
122.91/120.90	c cleaning 60006 clauses out of 120053 with flag 12054230/1887712
127.36/125.32	c cleaning 60971 clauses out of 122049 with flag 12472706/1949714
131.90/129.88	c cleaning 62013 clauses out of 124077 with flag 12906711/2012713
136.52/134.65	c cleaning 63006 clauses out of 126064 with flag 13341616/2076713
141.34/139.43	c cleaning 64004 clauses out of 128058 with flag 13780975/2141713
145.97/144.02	c cleaning 65001 clauses out of 130054 with flag 14218799/2207713
150.72/148.72	c cleaning 66004 clauses out of 132052 with flag 14669248/2274712
155.60/153.55	c cleaning 66990 clauses out of 134049 with flag 15139097/2342713
160.65/158.58	c cleaning 68008 clauses out of 136059 with flag 15619035/2411713
165.64/163.67	c cleaning 69002 clauses out of 138051 with flag 16093667/2481713
170.93/168.84	c cleaning 69995 clauses out of 140049 with flag 16591517/2552713
176.26/174.03	c cleaning 70997 clauses out of 142054 with flag 17087188/2624713
181.63/179.38	c cleaning 72005 clauses out of 144059 with flag 17576859/2697715
187.12/184.76	c cleaning 72995 clauses out of 146052 with flag 18087496/2771713
192.58/190.19	c cleaning 73995 clauses out of 148057 with flag 18607900/2846713
199.27/198.32	c cleaning 75000 clauses out of 150061 with flag 19135895/2922712
204.96/203.93	c cleaning 76006 clauses out of 152061 with flag 19678374/2999712
210.77/209.66	c cleaning 76996 clauses out of 154056 with flag 20216700/3077713
216.80/215.53	c cleaning 77988 clauses out of 156059 with flag 20762889/3156712
222.69/221.42	c cleaning 79010 clauses out of 158073 with flag 21321549/3236714
228.75/227.67	c cleaning 80007 clauses out of 160063 with flag 21893013/3317714
234.95/233.71	c cleaning 80988 clauses out of 162054 with flag 22468329/3399712
241.14/239.88	c cleaning 82000 clauses out of 164066 with flag 23033461/3482712
247.66/246.28	c cleaning 83009 clauses out of 166067 with flag 23628056/3566713
254.27/252.74	c cleaning 84001 clauses out of 168057 with flag 24223523/3651712
260.94/259.56	c cleaning 84997 clauses out of 170056 with flag 24824646/3737712
267.76/266.26	c cleaning 85997 clauses out of 172059 with flag 25433151/3824712
274.79/273.14	c cleaning 87002 clauses out of 174063 with flag 26039373/3912713
281.90/280.17	c cleaning 87996 clauses out of 176060 with flag 26658227/4001712
288.99/287.32	c cleaning 88998 clauses out of 178064 with flag 27295429/4091712
296.20/294.49	c cleaning 89994 clauses out of 180066 with flag 27934444/4182712
303.52/301.60	c cleaning 91003 clauses out of 182073 with flag 28576614/4274713
310.91/308.98	c cleaning 91989 clauses out of 184069 with flag 29225053/4367712
318.32/316.28	c cleaning 93030 clauses out of 186082 with flag 29900369/4461714
326.10/324.13	c cleaning 94000 clauses out of 188050 with flag 30565461/4556712
333.70/331.62	c cleaning 94990 clauses out of 190050 with flag 31249342/4652712
341.41/339.21	c cleaning 96003 clauses out of 192062 with flag 31933719/4749714
349.32/347.05	c cleaning 97003 clauses out of 194057 with flag 32628928/4847712
357.35/355.25	c cleaning 97984 clauses out of 196055 with flag 33330571/4946713
365.81/363.45	c cleaning 99007 clauses out of 198070 with flag 34036189/5046712
374.32/371.77	c cleaning 100016 clauses out of 200063 with flag 34769610/5147712
382.50/380.04	c cleaning 100992 clauses out of 202047 with flag 35491481/5249712
390.97/388.40	c cleaning 101991 clauses out of 204057 with flag 36243105/5352714
399.46/396.83	c cleaning 103003 clauses out of 206065 with flag 37002202/5456713
408.14/405.45	c cleaning 104005 clauses out of 208063 with flag 37766398/5561714
416.74/414.18	c cleaning 104996 clauses out of 210058 with flag 38513724/5667714
425.60/422.97	c cleaning 106005 clauses out of 212060 with flag 39271071/5774712
434.59/431.82	c cleaning 107004 clauses out of 214055 with flag 40039656/5882712
445.22/453.90	c cleaning 108003 clauses out of 216052 with flag 40840458/5991713
454.91/463.57	c cleaning 108992 clauses out of 218049 with flag 41630699/6101713
464.30/472.93	c cleaning 110005 clauses out of 220056 with flag 42437243/6212712
474.38/483.11	c cleaning 110992 clauses out of 222051 with flag 43234833/6324712
484.14/492.94	c cleaning 112000 clauses out of 224060 with flag 44060469/6437713
493.74/502.51	c cleaning 113012 clauses out of 226061 with flag 44873753/6551714
503.62/512.21	c cleaning 114002 clauses out of 228048 with flag 45694225/6666713
513.32/522.18	c cleaning 115002 clauses out of 230045 with flag 46533040/6782712
523.19/531.94	c cleaning 115993 clauses out of 232045 with flag 47376414/6899714
533.15/541.82	c cleaning 116996 clauses out of 234050 with flag 48225911/7017712
544.26/559.79	c cleaning 118009 clauses out of 236057 with flag 49088677/7136715
555.02/570.32	c cleaning 119001 clauses out of 238046 with flag 49956450/7256713
565.32/580.56	c cleaning 120005 clauses out of 240044 with flag 50810041/7377712
576.81/592.11	c cleaning 120974 clauses out of 242039 with flag 51689999/7499712
587.70/602.74	c cleaning 121998 clauses out of 244067 with flag 52581657/7622714
598.63/613.52	c cleaning 123013 clauses out of 246068 with flag 53462521/7746713
609.33/624.45	c cleaning 123998 clauses out of 248054 with flag 54363407/7871712
620.59/635.59	c cleaning 124997 clauses out of 250056 with flag 55296172/7997712
631.75/646.54	c cleaning 125996 clauses out of 252059 with flag 56224248/8124712
642.85/657.76	c cleaning 127005 clauses out of 254063 with flag 57146565/8252712
654.40/669.19	c cleaning 128010 clauses out of 256059 with flag 58078034/8381713
665.89/680.74	c cleaning 128992 clauses out of 258048 with flag 59042153/8511712
677.66/692.32	c cleaning 129992 clauses out of 260056 with flag 60000805/8642712
689.32/703.96	c cleaning 131000 clauses out of 262065 with flag 60969977/8774713
702.38/720.45	c cleaning 131991 clauses out of 264064 with flag 61946515/8907712
714.34/732.37	c cleaning 133002 clauses out of 266073 with flag 62913737/9041712
726.86/744.92	c cleaning 134003 clauses out of 268072 with flag 63916760/9176713
739.12/757.05	c cleaning 135002 clauses out of 270068 with flag 64905900/9312712
751.27/769.18	c cleaning 135991 clauses out of 272066 with flag 65920020/9449712
763.65/781.72	c cleaning 137018 clauses out of 274075 with flag 66923145/9587712
776.25/794.18	c cleaning 137999 clauses out of 276057 with flag 67948240/9726712
789.00/806.85	c cleaning 139000 clauses out of 278059 with flag 68971935/9866713
801.86/819.68	c cleaning 139982 clauses out of 280058 with flag 70011666/10007712
814.87/832.57	c cleaning 141005 clauses out of 282077 with flag 71054127/10149713
827.97/845.64	c cleaning 141997 clauses out of 284071 with flag 72104545/10292712
841.61/859.02	c cleaning 142999 clauses out of 286075 with flag 73169386/10436713
854.64/872.28	c cleaning 144009 clauses out of 288077 with flag 74252336/10581714
868.32/885.86	c cleaning 145004 clauses out of 290066 with flag 75337551/10727712
882.47/899.95	c cleaning 145985 clauses out of 292065 with flag 76416710/10874715
896.88/913.78	c cleaning 147009 clauses out of 294078 with flag 77520086/11022713
910.89/927.65	c cleaning 147979 clauses out of 296069 with flag 78634600/11171713
924.76/941.64	c cleaning 149003 clauses out of 298089 with flag 79756659/11321712
938.71/955.59	c cleaning 150021 clauses out of 300086 with flag 80866804/11472712
953.00/969.83	c cleaning 150996 clauses out of 302066 with flag 81990608/11624713
967.67/984.32	c cleaning 151999 clauses out of 304070 with flag 83136627/11777713
982.08/998.86	c cleaning 153014 clauses out of 306070 with flag 84281068/11931712
996.54/1013.20	c cleaning 153990 clauses out of 308057 with flag 85462598/12086713
1012.60/1029.31	c cleaning 155001 clauses out of 310069 with flag 86647191/12242715
1027.38/1043.96	c cleaning 156008 clauses out of 312066 with flag 87816758/12399713
1042.78/1059.20	c cleaning 157002 clauses out of 314057 with flag 88998176/12557712
1057.66/1074.02	c cleaning 157983 clauses out of 316055 with flag 90198367/12716712
1072.98/1089.49	c cleaning 159009 clauses out of 318072 with flag 91415245/12876712
1088.97/1105.13	c cleaning 160009 clauses out of 320064 with flag 92626629/13037713
1105.62/1123.55	c cleaning 160998 clauses out of 322054 with flag 93866355/13199712
1121.81/1139.64	c cleaning 161998 clauses out of 324056 with flag 95124099/13362712
1137.91/1155.92	c cleaning 162994 clauses out of 326058 with flag 96370230/13526712
1154.29/1172.12	c cleaning 164002 clauses out of 328065 with flag 97615348/13691713
1170.84/1188.79	c cleaning 164991 clauses out of 330062 with flag 98873391/13857712
1187.08/1204.95	c cleaning 165998 clauses out of 332071 with flag 100155310/14024712
1203.89/1221.85	c cleaning 167000 clauses out of 334075 with flag 101446314/14192714
1220.95/1238.79	c cleaning 168037 clauses out of 336073 with flag 102736983/14361712
1237.58/1255.36	c cleaning 168976 clauses out of 338036 with flag 104022214/14531712
1254.52/1272.31	c cleaning 170013 clauses out of 340060 with flag 105324745/14702712
1271.22/1288.99	c cleaning 171001 clauses out of 342048 with flag 106627759/14874713
1289.91/1308.85	c cleaning 171989 clauses out of 344046 with flag 107959110/15047712
1306.75/1325.69	c cleaning 172984 clauses out of 346057 with flag 109286999/15221712
1324.95/1343.80	c cleaning 174007 clauses out of 348074 with flag 110631682/15396713
1342.59/1361.24	c cleaning 175005 clauses out of 350067 with flag 111968695/15572713
1360.20/1378.94	c cleaning 176002 clauses out of 352062 with flag 113310075/15749713
1379.54/1398.25	c cleaning 176998 clauses out of 354061 with flag 114666878/15927714
1398.06/1416.78	c cleaning 177994 clauses out of 356062 with flag 116040476/16106713
1417.13/1435.92	c cleaning 179010 clauses out of 358067 with flag 117433823/16286712
1435.44/1454.07	c cleaning 179996 clauses out of 360059 with flag 118820689/16467714
1454.13/1472.99	c cleaning 180999 clauses out of 362061 with flag 120222385/16649712
1473.75/1492.33	c cleaning 181984 clauses out of 364062 with flag 121638394/16832712
1493.16/1511.02	c cleaning 183009 clauses out of 366078 with flag 123048714/17016712
1511.97/1530.08	c cleaning 184010 clauses out of 368069 with flag 124464437/17201712
1531.12/1549.09	c cleaning 185000 clauses out of 370060 with flag 125893019/17387713
1551.07/1570.32	c cleaning 186002 clauses out of 372061 with flag 127324841/17574714
1570.64/1589.78	c cleaning 187001 clauses out of 374057 with flag 128769341/17762712
1589.99/1608.94	c cleaning 187999 clauses out of 376057 with flag 130235900/17951713
1609.35/1628.31	c cleaning 188990 clauses out of 378057 with flag 131700564/18141712
1630.39/1649.78	c cleaning 190004 clauses out of 380067 with flag 133186546/18332712
1650.61/1669.87	c cleaning 190987 clauses out of 382063 with flag 134685356/18524712
1670.56/1689.98	c cleaning 191994 clauses out of 384076 with flag 136177065/18717712
1691.35/1710.65	c cleaning 193007 clauses out of 386084 with flag 137718401/18911714
1712.16/1731.24	c cleaning 194010 clauses out of 388075 with flag 139221422/19106712
1733.21/1752.18	c cleaning 194999 clauses out of 390065 with flag 140752586/19302712
1754.51/1773.46	c cleaning 195978 clauses out of 392068 with flag 142280782/19499714
1776.03/1794.67	c cleaning 197020 clauses out of 394089 with flag 143810331/19697713
1797.86/1816.27	c cleaning 198014 clauses out of 396068 with flag 145394657/19896712
1819.40/1837.78	c cleaning 199007 clauses out of 398054 with flag 146962452/20096712
1840.70/1858.95	c cleaning 199991 clauses out of 400047 with flag 148528768/20297712
1862.48/1880.70	c cleaning 200998 clauses out of 402056 with flag 150105862/20499712
1884.53/1902.77	c cleaning 202003 clauses out of 404060 with flag 151716869/20702714
1908.29/1926.33	c cleaning 202998 clauses out of 406055 with flag 153298730/20906712
1930.41/1948.32	c cleaning 203997 clauses out of 408057 with flag 154918741/21111712
1953.39/1971.16	c cleaning 204979 clauses out of 410060 with flag 156554607/21317712
1976.08/1993.79	c cleaning 206014 clauses out of 412081 with flag 158175679/21524712
2000.26/2017.70	c cleaning 207006 clauses out of 414067 with flag 159773951/21732712
2024.10/2040.79	c cleaning 208005 clauses out of 416062 with flag 161420812/21941713
2047.13/2063.85	c cleaning 208998 clauses out of 418057 with flag 163077802/22151713
2072.00/2087.79	c cleaning 210017 clauses out of 420059 with flag 164749445/22362713
2100.83/2115.65	c cleaning 210975 clauses out of 422042 with flag 166401080/22574713
2127.18/2141.52	c cleaning 212003 clauses out of 424068 with flag 168062931/22787714
2155.97/2168.70	c cleaning 213000 clauses out of 426063 with flag 169730028/23001712
2184.45/2195.65	c cleaning 214010 clauses out of 428066 with flag 171436281/23216715
2213.08/2222.96	c cleaning 215002 clauses out of 430054 with flag 173139838/23432713
2243.03/2251.99	c cleaning 216007 clauses out of 432054 with flag 174864948/23649715
2271.85/2279.23	c cleaning 216995 clauses out of 434045 with flag 176575964/23867713
2301.48/2307.77	c cleaning 218002 clauses out of 436051 with flag 178309443/24086714
2331.80/2337.03	c cleaning 218985 clauses out of 438047 with flag 180065023/24306712
2362.85/2367.21	c cleaning 220002 clauses out of 440062 with flag 181810661/24527712
2393.80/2396.51	c cleaning 221005 clauses out of 442060 with flag 183585546/24749712
2421.69/2423.77	c cleaning 222002 clauses out of 444055 with flag 185358918/24972712
2452.47/2453.58	c cleaning 223009 clauses out of 446055 with flag 187170047/25196714
2483.50/2483.19	c cleaning 223987 clauses out of 448044 with flag 188952947/25421712
2512.46/2511.59	c cleaning 224995 clauses out of 450059 with flag 190743341/25647714
2540.92/2539.77	c cleaning 225998 clauses out of 452062 with flag 192534220/25874712
2567.42/2565.97	c cleaning 226997 clauses out of 454067 with flag 194332683/26102715
2594.32/2592.62	c cleaning 228013 clauses out of 456067 with flag 196174124/26331712
2622.15/2620.39	c cleaning 229008 clauses out of 458054 with flag 198024483/26561712
2650.41/2649.01	c cleaning 229988 clauses out of 460046 with flag 199874858/26792712
2677.23/2675.78	c cleaning 231003 clauses out of 462058 with flag 201731661/27024712
2704.81/2703.11	c cleaning 232004 clauses out of 464057 with flag 203611340/27257714
2734.02/2732.10	c cleaning 232991 clauses out of 466053 with flag 205500817/27491714
2762.12/2760.05	c cleaning 233992 clauses out of 468061 with flag 207366155/27726713
2790.53/2788.21	c cleaning 234998 clauses out of 470068 with flag 209278295/27962712
2820.50/2817.89	c cleaning 236011 clauses out of 472070 with flag 211168431/28199712
2848.68/2845.97	c cleaning 236999 clauses out of 474060 with flag 213088089/28437713
2881.94/2877.68	c cleaning 238000 clauses out of 476061 with flag 214997172/28676713
2915.08/2908.52	c cleaning 239005 clauses out of 478060 with flag 216923009/28916712
2949.06/2940.86	c cleaning 239993 clauses out of 480055 with flag 218888485/29157712
2981.66/2972.22	c cleaning 240987 clauses out of 482062 with flag 220829721/29399712
3013.95/3003.59	c cleaning 242011 clauses out of 484075 with flag 222827673/29642712
3049.59/3037.57	c cleaning 243004 clauses out of 486065 with flag 224803135/29886713
3085.86/3071.01	c cleaning 244010 clauses out of 488060 with flag 226751570/30131712
3122.94/3106.59	c cleaning 245006 clauses out of 490051 with flag 228748711/30377713
3158.08/3139.74	c cleaning 245991 clauses out of 492045 with flag 230735343/30624713
3194.81/3174.28	c cleaning 246996 clauses out of 494053 with flag 232751325/30872712
3232.77/3209.90	c cleaning 248008 clauses out of 496058 with flag 234771759/31121713
3268.16/3243.19	c cleaning 248997 clauses out of 498050 with flag 236788378/31371713
3299.32/3274.16	c cleaning 249998 clauses out of 500053 with flag 238807188/31622713
3330.64/3305.22	c cleaning 251009 clauses out of 502056 with flag 240856624/31874714
3363.25/3336.80	c cleaning 251983 clauses out of 504046 with flag 242939802/32127713
3396.16/3369.50	c cleaning 253007 clauses out of 506062 with flag 245018195/32381712
3429.36/3402.22	c cleaning 253991 clauses out of 508055 with flag 247078337/32636712
3468.03/3440.91	c cleaning 254994 clauses out of 510065 with flag 249155005/32892713
3502.42/3474.88	c cleaning 256001 clauses out of 512070 with flag 251246751/33149712
3540.55/3511.74	c cleaning 257015 clauses out of 514069 with flag 253351748/33407712
3577.75/3547.12	c cleaning 257991 clauses out of 516055 with flag 255450634/33666713
3600.27/3569.33	c starts		: 147601
3600.27/3569.39	c conflicts		: 33835470
3600.27/3569.39	c decisions		: 132088229
3600.27/3569.39	c propagations		: 1375278944
3600.27/3569.39	c inspects		: 32216417596
3600.27/3569.39	c shortcuts		: 0
3600.27/3569.39	c learnt literals	: 0
3600.27/3569.39	c learnt binary clauses	: 0
3600.27/3569.39	c learnt ternary clauses	: 0
3600.27/3569.39	c learnt constraints	: 33835470
3600.27/3569.39	c ignored constraints	: 0
3600.27/3569.39	c root simplifications	: 0
3600.27/3569.39	c removed literals (reason simplification)	: 33621217
3600.27/3569.39	c reason swapping (by a shorter reason)	: 0
3600.27/3569.39	c Calls to reduceDB	: 256
3600.27/3569.39	c Number of update (reduction) of LBD	: 10087810
3600.27/3569.39	c Imported unit clauses	: 0
3600.27/3569.39	c No decision after first conflict	: false
3600.27/3569.39	c number of reductions to clauses (during analyze)	: 0
3600.27/3569.39	c number of learned constraints concerned by reduction	: 0
3600.27/3569.39	c number of learning phase by resolution	: 0
3600.27/3569.39	c number of learning phase by cutting planes	: 0
3600.27/3569.39	c number of rounding to 1 operations	: 0
3600.27/3569.39	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.27/3569.39	c number of reductions of the coefficients by power 2 	: 0
3600.27/3569.39	c number of right shift for reduction by power 2 	: 0
3600.27/3569.39	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.27/3569.39	c number of ending skipping 	: 0
3600.27/3569.39	c number of internal skipping 	: 0
3600.27/3569.39	c number of derivation steps 	: 0
3600.27/3569.39	c number of skipped derivation steps 	: 0
3600.27/3569.39	c number of remaining unassigned 	: 0
3600.27/3569.39	c number of remaining assigned 	: 0
3600.27/3569.39	c number of falsified literals weakened from reason	: 0
3600.27/3569.39	c number of falsified literals weakened from conflict	: 0
3600.27/3569.39	c time for arithmetic operations	: 0
3600.27/3569.39	c minimum degree of deleted constraints	: null
3600.27/3569.39	c maximum degree of deleted constraints	: null
3600.27/3569.39	c number of deleted constraints	: 0
3600.46/3569.42	c speed (assignments/second)	: 385356.6555248796
3600.46/3569.42	c non guided choices	: 2059364
3600.84/3569.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 426821
3600.84/3569.60	s SATISFIABLE
3600.84/3569.60	c Found 5 solution(s)
3600.84/3569.60	v -x1 -x2 x3 -x4 x5 -x6 x7 -x8 -x9 x10 -x11 x12 -x13 -x14 -x15 x16 x17 x18 x19 x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 x29 x30 x31 -x32 -x33 -x34 x35 x36 -x37 -x38 x39 x40 x41 -x42 -x43 x44 x45 -x46 x47 -x48 -x49 -x50 x51 -x52 x53 x54 -x55 -x56 x57 x58 -x59 x60 -x61 x62 -x63 x64 -x65 x66 -x67 x68 -x69 -x70 x71 x72 -x73 -x74 -x75 x76 x77 x78 -x79 x80 -x81 -x82 x83 x84 -x85 -x86 x87 x88 x89 -x90 -x91 -x92 x93 x94 x95 x96 -x97 -x98 x99 x100 -x101 -x102 x103 -x104 x105 x106 x107 x108 -x109 -x110 -x111 x112 x113 x114 -x115 -x116 -x117 x118 -x119 -x120 x121 x122 x123 -x124 -x125 -x126 -x127 x128 x129 x130 -x131 -x132 x133 x134 x135 -x136 -x137 x138 -x139 x140 x141 -x142 x143 x144 -x145 -x146 x147 x148 x149 x150 -x151 -x152 -x153 -x154 -x155 x156 x157 x158 x159 x160 x161 -x162 -x163 x164 -x165 -x166 x167 x168 -x169 -x170 -x171 x172 x173 x174 -x175 -x176 -x177 x178 x179 -x180 x181 x182 x183 -x184 -x185 -x186 -x187 x188 -x189 x190 x191 -x192 -x193 -x194 x195 x196 x197 -x198 -x199 x200 x201 -x202 x203 x204 -x205 x206 x207 -x208 -x209 x210 x211 -x212 -x213 x214 -x215 x216 x217 -x218 -x219 x220 -x221 x222 -x223 -x224 x225 x226 x227 -x228 -x229 -x230 -x231 x232 x233 x234 -x235 x236 x237 -x238 -x239 -x240 -x241 x242 x243 -x244 x245 -x246 -x247 x248 -x249 x250 x251 -x252 x253 -x254 x255 x256 -x257 -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 -x1601 -x1602 -x1603 -x1604 
3600.84/3569.62	c objective function=1
3600.84/3569.62	c Total wall clock time (in seconds): 3569.251

Verifier Data 

OK	1

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457928-1721887320/watcher-4457928-1721887320 -o /tmp/evaluation-result-4457928-1721887320/solver-4457928-1721887320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721887320-270228 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4457928-1721887320 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4457928-1721887320.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100085 s]*
/proc/loadavg: 2.59 3.46 3.87 15/311 270357
/proc/meminfo: memFree=114288388/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=18993908 memory=55908 CPUtime=0.12 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 6367 0 0 0 8 4 0 0 20 0 18 0 24721390 19449761792 13977 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4748477 13977 5728 1 0 550690 0
[pid=270283/tid=270288] ppid=270271 vsize=18993908 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 5355 0 0 0 5 3 0 0 20 0 18 0 24721390 19449761792 13977 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=18993908 memory=952865 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24721397 19449761792 13977 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24721399 19449761792 13977 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 55908 KiB

[startup+0.225456 s]*
/proc/loadavg: 2.59 3.46 3.87 15/311 270357
/proc/meminfo: memFree=114264744/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=18993908 memory=60944 CPUtime=0.29 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 6958 0 0 0 25 4 0 0 20 0 18 0 24721390 19449761792 15236 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4748477 15236 5968 1 0 551187 0
[pid=270283/tid=270288] ppid=270271 vsize=18993908 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 5736 0 0 0 15 3 0 0 20 0 18 0 24721390 19449761792 15236 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=18993908 memory=952865 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24721397 19449761792 15236 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24721399 19449761792 15236 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 60944 KiB

[startup+0.315585 s]*
/proc/loadavg: 2.59 3.46 3.87 13/311 270357
/proc/meminfo: memFree=114240664/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=18993908 memory=67160 CPUtime=0.43 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 7355 0 0 0 38 5 0 0 20 0 18 0 24721390 19449761792 16790 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4748477 16790 6044 1 0 551500 0
[pid=270283/tid=270288] ppid=270271 vsize=18993908 memory=-8815066660447429308 CPUtime=0.26 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 5883 0 0 0 23 3 0 0 20 0 18 0 24721390 19449761792 16790 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24721397 19449761792 16790 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24721399 19449761792 16790 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67160 KiB

[startup+0.706192 s]
/proc/loadavg: 2.59 3.46 3.87 13/312 270358
/proc/meminfo: memFree=114125840/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19060472 memory=92132 CPUtime=1.12 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 9149 0 0 0 105 7 0 0 20 0 19 0 24721390 19517923328 23033 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4765118 23033 6184 1 0 552694 0
[pid=270283/tid=270288] ppid=270271 vsize=19060472 memory=5640 CPUtime=0.59 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 6173 0 0 0 55 4 0 0 20 0 19 0 24721390 19517923328 23033 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19060472 memory=12240 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24721397 19517923328 23033 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19060472 memory=2241 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 24721399 19517923328 23033 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 92132 KiB

[startup+1.50043 s]
/proc/loadavg: 3.34 3.60 3.92 16/315 270361
/proc/meminfo: memFree=113969012/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19127036 memory=180464 CPUtime=2.68 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 19142 0 0 0 255 13 0 0 20 0 20 0 24721390 19586084864 45116 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4781759 45116 6225 1 0 556162 0
[pid=270283/tid=270288] ppid=270271 vsize=19127036 memory=12240 CPUtime=1.33 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 6921 0 0 0 125 8 0 0 20 0 20 0 24721390 19586084864 45116 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19127036 memory=2241 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 45116 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 45116 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270359] ppid=270271 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/270283/task/270359/stat : 270359 (Timer-0) S 270271 270283 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721444 19586084864 45116 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 180464 KiB

[startup+3.10673 s]
/proc/loadavg: 3.34 3.60 3.92 11/319 270367
/proc/meminfo: memFree=113442320/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19127036 memory=269832 CPUtime=5.51 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 22249 0 0 0 534 17 0 0 20 0 20 0 24721390 19586084864 67458 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4781759 67458 6225 1 0 556392 0
[pid=270283/tid=270288] ppid=270271 vsize=19127036 memory=0 CPUtime=2.86 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 8116 0 0 0 276 10 0 0 20 0 20 0 24721390 19586084864 67458 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 67458 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 67458 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270359] ppid=270271 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/270283/task/270359/stat : 270359 (Timer-0) S 270271 270283 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721444 19586084864 67458 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 5.51 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 269832 KiB

[startup+6.30047 s]
/proc/loadavg: 3.39 3.61 3.92 6/321 270369
/proc/meminfo: memFree=111409320/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19127036 memory=733324 CPUtime=8.84 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 22580 0 0 0 857 27 0 0 20 0 20 0 24721390 19586084864 183331 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4781759 183331 6225 1 0 556394 0
[pid=270283/tid=270288] ppid=270271 vsize=19127036 memory=0 CPUtime=5.94 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 8412 0 0 0 574 20 0 0 20 0 20 0 24721390 19586084864 183331 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 183331 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 183331 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270359] ppid=270271 vsize=19127036 memory=70884 CPUtime=0 cores=1,3
/proc/270283/task/270359/stat : 270359 (Timer-0) S 270271 270283 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721444 19586084864 183331 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 8.84 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 733324 KiB

[startup+12.7014 s]
/proc/loadavg: 3.44 3.61 3.92 9/321 270369
/proc/meminfo: memFree=108744888/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19127036 memory=1332852 CPUtime=15.8 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 27307 0 0 0 1531 49 0 0 20 0 20 0 24721390 19586084864 333213 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4781759 333213 6241 1 0 556394 0
[pid=270283/tid=270288] ppid=270271 vsize=19127036 memory=1332828 CPUtime=12.15 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) S 270271 270283 270216 0 -1 1077936192 9592 0 0 0 1175 40 0 0 20 0 20 0 24721390 19586084864 333213 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19127036 memory=1332828 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 333213 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 333213 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270359] ppid=270271 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/270283/task/270359/stat : 270359 (Timer-0) S 270271 270283 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721444 19586084864 333213 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 15.8 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1332852 KiB

[startup+25.5005 s]
/proc/loadavg: 3.61 3.64 3.92 8/321 270372
/proc/meminfo: memFree=105428252/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19127036 memory=1759888 CPUtime=28.7 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 30363 0 0 0 2799 71 0 0 20 0 20 0 24721390 19586084864 439972 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4781759 439972 6241 1 0 662922 0
[pid=270283/tid=270288] ppid=270271 vsize=19127036 memory=1332828 CPUtime=24.71 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 10990 0 0 0 2410 61 0 0 20 0 20 0 24721390 19586084864 439972 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19127036 memory=-9103578511575851708 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 439972 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 439972 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270359] ppid=270271 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/270283/task/270359/stat : 270359 (Timer-0) S 270271 270283 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721444 19586084864 439972 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 28.7 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1759888 KiB

[startup+51.1143 s]
/proc/loadavg: 3.82 3.69 3.93 9/322 270376
/proc/meminfo: memFree=103086576/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19127036 memory=1766092 CPUtime=53.1 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 32855 0 0 0 5215 95 0 0 20 0 20 0 24721390 19586084864 441523 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4781759 441523 6241 1 0 662922 0
[pid=270283/tid=270288] ppid=270271 vsize=19127036 memory=1759936 CPUtime=48.52 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 12349 0 0 0 4769 83 0 0 20 0 20 0 24721390 19586084864 441523 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 129 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19127036 memory=1761988 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 441523 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19127036 memory=1759936 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 441523 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0

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

/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 162089 0 0 0 306864 2164 0 0 20 0 20 0 24721390 19586084864 295323 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4710 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 295323 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19127036 memory=984372 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 3102 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 295323 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270359] ppid=270271 vsize=19127036 memory=1072812 CPUtime=0 cores=1,3
/proc/270283/task/270359/stat : 270359 (Timer-0) S 270271 270283 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721444 19586084864 295323 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 3245.38 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1181292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.49 4.52 4.53 7/321 271985
/proc/meminfo: memFree=24423412/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19127036 memory=2001848 CPUtime=3307.54 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 386169 0 0 0 328261 2493 0 0 20 0 20 0 24721390 19586084864 500462 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4781759 500462 6254 1 0 513561 0
[pid=270283/tid=270288] ppid=270271 vsize=19127036 memory=1689824 CPUtime=3148.18 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 162836 0 0 0 312606 2212 0 0 20 0 20 0 24721390 19586084864 500462 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4734 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19586084864 500462 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19127036 memory=-9054130136369513625 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 3102 0 0 0 0 0 0 0 20 0 20 0 24721399 19586084864 500462 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270359] ppid=270271 vsize=19127036 memory=2001848 CPUtime=0 cores=1,3
/proc/270283/task/270359/stat : 270359 (Timer-0) S 270271 270283 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721444 19586084864 500462 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 3307.54 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2001848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.49 4.52 4.53 11/321 271996
/proc/meminfo: memFree=20436372/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19192572 memory=2920644 CPUtime=3369.01 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 458358 0 0 0 334346 2555 0 0 20 0 20 0 24721390 19653193728 730161 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4798143 730161 6254 1 0 740383 0
[pid=270283/tid=270288] ppid=270271 vsize=19192572 memory=1072812 CPUtime=3206.45 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 229993 0 0 0 318376 2269 0 0 20 0 20 0 24721390 19653193728 730161 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4748 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19192572 memory=956488 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19653193728 730161 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19192572 memory=0 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 3102 0 0 0 0 0 0 0 20 0 20 0 24721399 19653193728 730161 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270359] ppid=270271 vsize=19192572 memory=5640 CPUtime=0 cores=1,3
/proc/270283/task/270359/stat : 270359 (Timer-0) S 270271 270283 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721444 19653193728 730161 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 3369.01 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 2920644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.56 4.54 4.54 7/323 272176
/proc/meminfo: memFree=18183828/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19192572 memory=2489668 CPUtime=3429.46 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 466125 0 0 0 340347 2599 0 0 20 0 20 0 24721390 19653193728 622417 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4798143 622417 6254 1 0 633895 0
[pid=270283/tid=270288] ppid=270271 vsize=19192572 memory=1072676 CPUtime=3264.41 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 236896 0 0 0 324132 2309 0 0 20 0 20 0 24721390 19653193728 622417 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4798 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19192572 memory=2489668 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19653193728 622417 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19192572 memory=2489668 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 3102 0 0 0 0 0 0 0 20 0 20 0 24721399 19653193728 622417 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270359] ppid=270271 vsize=19192572 memory=2489668 CPUtime=0 cores=1,3
/proc/270283/task/270359/stat : 270359 (Timer-0) S 270271 270283 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721444 19653193728 622417 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 3429.46 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 2489668 KiB

[startup+3462.3 s]
/proc/loadavg: 4.39 4.49 4.52 7/322 272186
/proc/meminfo: memFree=19688592/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19192572 memory=1562200 CPUtime=3489.73 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 512691 0 0 0 346314 2659 0 0 20 0 20 0 24721390 19653193728 390550 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4798143 390550 6254 1 0 400042 0
[pid=270283/tid=270288] ppid=270271 vsize=19192572 memory=1072676 CPUtime=3320.33 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 278391 0 0 0 329669 2364 0 0 20 0 20 0 24721390 19653193728 390550 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4987 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19192572 memory=12264 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19653193728 390550 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19192572 memory=1562064 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 3157 0 0 0 0 0 0 0 20 0 20 0 24721399 19653193728 390550 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270359] ppid=270271 vsize=19192572 memory=6772 CPUtime=0 cores=1,3
/proc/270283/task/270359/stat : 270359 (Timer-0) S 270271 270283 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721444 19653193728 390550 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 3489.73 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 1562200 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.44 4.50 8/322 272270
/proc/meminfo: memFree=52634104/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19192572 memory=1420564 CPUtime=3551.3 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 587854 0 0 0 352393 2737 0 0 20 0 20 0 24721390 19653193728 355141 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4798143 355141 6254 1 0 364546 0
[pid=270283/tid=270288] ppid=270271 vsize=19192572 memory=1253492 CPUtime=3378.27 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 351829 0 0 0 335393 2434 0 0 20 0 20 0 24721390 19653193728 355141 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5014 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19192572 memory=20964 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19653193728 355141 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19192572 memory=2180320 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 3158 0 0 0 0 0 0 0 20 0 20 0 24721399 19653193728 355141 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270359] ppid=270271 vsize=19192572 memory=1420564 CPUtime=0 cores=1,3
/proc/270283/task/270359/stat : 270359 (Timer-0) S 270271 270283 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721444 19653193728 355141 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 3551.3 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 1420564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3569.2 s]
/proc/loadavg: 4.48 4.46 4.51 6/323 272359
/proc/meminfo: memFree=80413104/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19192572 memory=1607164 CPUtime=3600.07 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 590354 0 0 0 357235 2772 0 0 20 0 20 0 24721390 19653193728 401791 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4798143 401791 6254 1 0 412570 0
[pid=270283/tid=270288] ppid=270271 vsize=19192572 memory=8160 CPUtime=3423.09 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 353106 0 0 0 339845 2464 0 0 20 0 20 0 24721390 19653193728 401791 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5027 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19192572 memory=2172 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24721397 19653193728 401791 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19192572 memory=3168 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 3158 0 0 0 0 0 0 0 20 0 20 0 24721399 19653193728 401791 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270359] ppid=270271 vsize=19192572 memory=1664 CPUtime=0 cores=1,3
/proc/270283/task/270359/stat : 270359 (Timer-0) S 270271 270283 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24721444 19653193728 401791 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 1607164 KiB

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

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

# cumulated CPU time of all completed processes:  user=3573.18 s, system=27.7825 s

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

[startup+3569.6 s]
/proc/loadavg: 4.48 4.46 4.51 6/323 272359
/proc/meminfo: memFree=80413104/131655788 swapFree=131061124/131071996
[pid=270283] ppid=270271 vsize=19392264 memory=1608116 CPUtime=3600.84 cores=1,3
/proc/270283/stat : 270283 (java) S 270271 270283 270216 0 -1 1077936128 593145 0 0 0 357311 2773 0 0 20 0 21 0 24721390 19857678336 402029 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
/proc/270283/statm: 4848066 402029 6253 1 0 413521 0
[pid=270283/tid=270288] ppid=270271 vsize=19392264 memory=26716 CPUtime=3423.24 cores=1,3
/proc/270283/task/270288/stat : 270288 (java) R 270271 270283 270216 0 -1 4194368 353297 0 0 0 339860 2464 0 0 20 0 21 0 24721390 19857678336 402029 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5027 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270323] ppid=270271 vsize=19392264 memory=2232 CPUtime=0 cores=1,3
/proc/270283/task/270323/stat : 270323 (Finalizer) S 270271 270283 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 24721397 19857678336 402029 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
[pid=270283/tid=270357] ppid=270271 vsize=19392264 memory=1896 CPUtime=0 cores=1,3
/proc/270283/task/270357/stat : 270357 (Common-Cleaner) S 270271 270283 270216 0 -1 1077936192 3158 0 0 0 0 0 0 0 20 0 21 0 24721399 19857678336 402029 134679101440 93838497660928 93838497664624 140737461711920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93838497672440 93838497673232 93838505365504 140737461719983 140737461720165 140737461720165 140737461727176 0
Current children cumulated CPU time: 3600.84 s
Current children cumulated vsize: 19392264 KiB
Current children cumulated memory: 1608116 KiB

[startup+3569.7 s]*
/proc/loadavg: 4.48 4.46 4.51 5/305 272362
/proc/meminfo: memFree=81986548/131655788 swapFree=131061124/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3569.75
CPU time (s): 3600.96
CPU user time (s): 3573.18
CPU system time (s): 27.7825
CPU usage (%): 100.874
Max. virtual memory (cumulated for all children) (KiB): 19392264
Max. memory (cumulated for all children) (KiB): 4199800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.18
system time used= 27.7825
maximum resident set size= 4199808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 43806664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144304
involuntary context switches= 18492


# summary of solver processes directly reported to runsolver:
#   pid: 270283
#   total CPU time (s): 3600.96
#   total CPU user time (s): 3573.18
#   total CPU system time (s): 27.7825

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.433 second user time and 33.2905 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 08:02:00
IDJOB=4457928
IDBENCH=177053
IDSOLVER=3079
FILE ID=nodeC005/4457928-1721887320
RUNJOBID= nodeC005-1721887320-270228
SLURM_JOB_ID= 8089296
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457928-1721887320/watcher-4457928-1721887320 -o /tmp/evaluation-result-4457928-1721887320/solver-4457928-1721887320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721887320-270228 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4457928-1721887320 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4457928-1721887320.opb

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

MD5SUM BENCH= 3b07899157a77563e39a517f9d1ebfa4
RANDOM SEED=1213950555

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        114428292 kB
MemAvailable:   129963044 kB
Buffers:          294320 kB
Cached:         16015848 kB
SwapCached:          620 kB
Active:          2552896 kB
Inactive:       14016864 kB
Active(anon):       1500 kB
Inactive(anon):   311360 kB
Active(file):    2551396 kB
Inactive(file): 13705504 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:              2192 kB
Writeback:             0 kB
AnonPages:        259404 kB
Mapped:           118020 kB
Shmem:             53264 kB
KReclaimable:     235768 kB
Slab:             346816 kB
SReclaimable:     235768 kB
SUnreclaim:       111048 kB
KernelStack:        3664 kB
PageTables:         9792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     728404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11936 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-25 09:01:30