Trace number 4432318

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)33 3600.24 3605.51

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir04_area_opers.opb
MD5SUM4d69ec7b86462809048374e94faee566
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 benchmark29
Best CPU time to get the best result obtained on this benchmark0.052879
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1614
Total number of constraints2783
Number of constraints which are clauses2783
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 879
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 879
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 879
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432318-1721113782.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  objective function found
0.32/0.22	c ... done. Wall clock time 0.09s.
0.32/0.22	c declared #vars     1614
0.32/0.22	c #constraints  2783
0.32/0.22	c constraints type 
0.32/0.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2027
0.32/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 753
0.32/0.22	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.32/0.22	c 2783 constraints processed.
0.32/0.23	c objective function length is 879 literals
0.32/0.25	c SATISFIABLE
0.32/0.25	c OPTIMIZING...
0.32/0.25	c Got one! Elapsed wall clock time (in seconds):0.118
0.32/0.25	o 37
0.32/0.31	c Got one! Elapsed wall clock time (in seconds):0.181
0.32/0.31	o 36
1.09/0.69	c cleaning 2719 clauses out of 5451 with flag 13671/5451
1.66/0.94	c cleaning 4362 clauses out of 8734 with flag 30180/11453
2.11/1.33	c cleaning 5674 clauses out of 11370 with flag 52937/18451
3.03/2.04	c cleaning 6824 clauses out of 13696 with flag 92413/26451
3.79/2.78	c cleaning 7929 clauses out of 15872 with flag 128485/35451
4.75/3.62	c cleaning 8963 clauses out of 17943 with flag 167019/45451
5.64/4.52	c cleaning 9981 clauses out of 19980 with flag 212107/56451
6.64/5.58	c cleaning 10971 clauses out of 21999 with flag 259778/68451
7.83/6.75	c cleaning 11991 clauses out of 24028 with flag 311313/81451
9.14/8.08	c cleaning 13001 clauses out of 26037 with flag 369678/95451
10.54/9.44	c cleaning 13994 clauses out of 28036 with flag 437528/110451
12.04/10.91	c cleaning 15007 clauses out of 30042 with flag 529555/126451
13.57/12.49	c cleaning 16002 clauses out of 32035 with flag 638733/143451
15.30/14.16	c cleaning 17004 clauses out of 34034 with flag 727120/161452
17.10/15.95	c cleaning 17994 clauses out of 36029 with flag 818936/180451
17.99/16.85	c Got one! Elapsed wall clock time (in seconds):16.724
17.99/16.85	o 35
18.31/17.17	c cleaning 16435 clauses out of 32874 with flag 18836/195290
18.81/17.64	c cleaning 11218 clauses out of 22439 with flag 44623/201290
19.31/18.17	c cleaning 9104 clauses out of 18221 with flag 70625/208290
20.00/18.83	c cleaning 8547 clauses out of 17116 with flag 98419/216289
20.70/19.51	c cleaning 8772 clauses out of 17569 with flag 132928/225289
21.50/20.31	c cleaning 9379 clauses out of 18797 with flag 169684/235289
22.31/21.15	c cleaning 10199 clauses out of 20418 with flag 215713/246289
23.20/22.04	c cleaning 11104 clauses out of 22219 with flag 259615/258289
24.20/23.04	c cleaning 12053 clauses out of 24116 with flag 303852/271290
25.30/24.18	c cleaning 13020 clauses out of 26062 with flag 352561/285289
26.59/25.41	c cleaning 14016 clauses out of 28042 with flag 405579/300289
27.98/26.76	c cleaning 14987 clauses out of 30026 with flag 467345/316289
29.39/28.17	c cleaning 16007 clauses out of 32039 with flag 538272/333289
30.88/29.62	c cleaning 17010 clauses out of 34035 with flag 604148/351292
32.48/31.27	c cleaning 17993 clauses out of 36022 with flag 676388/370289
34.17/32.98	c cleaning 19015 clauses out of 38030 with flag 747398/390290
35.97/34.77	c cleaning 20004 clauses out of 40016 with flag 822250/411291
37.97/36.74	c cleaning 20988 clauses out of 42010 with flag 909630/433289
39.96/38.76	c cleaning 21994 clauses out of 44022 with flag 1000662/456289
42.06/40.88	c cleaning 23004 clauses out of 46029 with flag 1088663/480290
44.26/43.07	c cleaning 24004 clauses out of 48026 with flag 1181991/505291
46.65/45.44	c cleaning 25005 clauses out of 50020 with flag 1277334/531289
49.15/47.99	c cleaning 25990 clauses out of 52017 with flag 1383044/558291
51.75/50.54	c cleaning 26995 clauses out of 54025 with flag 1489218/586289
54.14/52.98	c cleaning 27997 clauses out of 56030 with flag 1599244/615289
56.94/55.76	c cleaning 29015 clauses out of 58036 with flag 1704130/645292
59.83/58.61	c cleaning 30009 clauses out of 60020 with flag 1814679/676291
62.73/61.54	c cleaning 30996 clauses out of 62009 with flag 1926731/708289
65.62/64.43	c cleaning 31997 clauses out of 64014 with flag 2054659/741290
68.85/67.68	c cleaning 32995 clauses out of 66016 with flag 2210658/775289
72.25/71.04	c cleaning 33989 clauses out of 68021 with flag 2363345/810289
75.53/74.39	c cleaning 35009 clauses out of 70032 with flag 2522177/846289
79.13/77.94	c cleaning 36005 clauses out of 72023 with flag 2685189/883289
82.72/81.52	c cleaning 37006 clauses out of 74019 with flag 2877302/921290
86.62/85.47	c cleaning 38003 clauses out of 76013 with flag 3056024/960290
90.61/89.42	c cleaning 38999 clauses out of 78009 with flag 3237349/1000289
94.41/93.27	c cleaning 39997 clauses out of 80010 with flag 3452846/1041289
98.21/97.08	c cleaning 41001 clauses out of 82015 with flag 3668561/1083291
102.39/101.21	c cleaning 42002 clauses out of 84015 with flag 3889688/1126292
106.60/105.40	c cleaning 42989 clauses out of 86010 with flag 4113330/1170289
110.79/109.64	c cleaning 44001 clauses out of 88022 with flag 4346309/1215290
115.28/114.18	c cleaning 44975 clauses out of 90020 with flag 4570907/1261289
119.97/118.84	c cleaning 46013 clauses out of 92045 with flag 4772481/1308289
124.60/123.47	c cleaning 47002 clauses out of 94032 with flag 5035354/1356289
129.69/128.54	c cleaning 47977 clauses out of 96030 with flag 5361207/1405289
134.68/133.57	c cleaning 49014 clauses out of 98053 with flag 5640385/1455289
139.67/138.59	c cleaning 50006 clauses out of 100039 with flag 5944724/1506289
145.17/144.08	c cleaning 51004 clauses out of 102035 with flag 6187524/1558291
150.86/149.70	c cleaning 52008 clauses out of 104032 with flag 6453840/1611292
156.65/155.58	c cleaning 52980 clauses out of 106021 with flag 6728078/1665289
162.74/161.63	c cleaning 54010 clauses out of 108041 with flag 6988516/1720289
169.03/167.98	c cleaning 54994 clauses out of 110031 with flag 7327790/1776289
175.51/174.45	c cleaning 56006 clauses out of 112038 with flag 7682582/1833290
181.92/180.88	c cleaning 57009 clauses out of 114033 with flag 8028417/1891291
188.51/187.42	c cleaning 58002 clauses out of 116024 with flag 8382786/1950291
195.20/194.15	c cleaning 58979 clauses out of 118020 with flag 8777878/2010289
202.23/201.13	c cleaning 60008 clauses out of 120041 with flag 9043911/2071289
208.91/207.86	c cleaning 60984 clauses out of 122033 with flag 9322426/2133289
215.99/214.97	c cleaning 62009 clauses out of 124049 with flag 9636201/2196289
223.39/222.38	c cleaning 63020 clauses out of 126042 with flag 9947292/2260291
230.38/229.39	c cleaning 63993 clauses out of 128020 with flag 10223011/2325289
237.87/236.85	c cleaning 64976 clauses out of 130027 with flag 10546030/2391289
239.27/238.21	c Got one! Elapsed wall clock time (in seconds):238.087
239.27/238.21	o 34
239.50/238.48	c cleaning 41761 clauses out of 83535 with flag 13074/2409773
240.00/238.98	c cleaning 23871 clauses out of 47774 with flag 34782/2415773
240.59/239.58	c cleaning 15434 clauses out of 30903 with flag 58230/2422773
241.29/240.24	c cleaning 11725 clauses out of 23469 with flag 85615/2430773
242.10/241.00	c cleaning 10345 clauses out of 20744 with flag 118045/2439773
242.92/241.83	c cleaning 10198 clauses out of 20400 with flag 153221/2449774
243.82/242.75	c cleaning 10590 clauses out of 21201 with flag 193104/2460773
244.72/243.69	c cleaning 11301 clauses out of 22611 with flag 237962/2472773
245.82/244.72	c cleaning 12150 clauses out of 24310 with flag 288144/2485773
246.91/245.82	c cleaning 13079 clauses out of 26160 with flag 340689/2499773
248.12/247.02	c cleaning 14037 clauses out of 28081 with flag 398886/2514773
249.41/248.36	c cleaning 15009 clauses out of 30044 with flag 463461/2530773
250.71/249.67	c cleaning 16005 clauses out of 32035 with flag 529029/2547773
252.21/251.16	c cleaning 16999 clauses out of 34030 with flag 598110/2565773
253.80/252.71	c cleaning 18012 clauses out of 36031 with flag 673075/2584773
255.40/254.34	c cleaning 19002 clauses out of 38019 with flag 749757/2604773
257.10/256.06	c cleaning 20004 clauses out of 40019 with flag 825698/2625775
258.99/257.92	c cleaning 21000 clauses out of 42013 with flag 903482/2647773
260.89/259.84	c cleaning 21997 clauses out of 44013 with flag 987112/2670773
262.88/261.88	c cleaning 23001 clauses out of 46016 with flag 1071206/2694773
265.09/264.00	c cleaning 23990 clauses out of 48015 with flag 1162898/2719773
267.28/266.22	c cleaning 25006 clauses out of 50026 with flag 1249009/2745774
269.67/268.68	c cleaning 25996 clauses out of 52019 with flag 1352805/2772773
272.27/271.26	c cleaning 27006 clauses out of 54023 with flag 1457893/2800773
275.07/274.04	c cleaning 27998 clauses out of 56018 with flag 1567559/2829774
278.16/277.16	c cleaning 29007 clauses out of 58020 with flag 1680779/2859774
281.25/280.20	c cleaning 29986 clauses out of 60012 with flag 1797456/2890773
284.24/283.28	c cleaning 31009 clauses out of 62026 with flag 1920727/2922773
287.44/286.40	c cleaning 32000 clauses out of 64018 with flag 2058656/2955774
290.73/289.70	c cleaning 32994 clauses out of 66019 with flag 2193716/2989775
294.32/293.37	c cleaning 34003 clauses out of 68023 with flag 2359216/3024773
297.93/297.00	c cleaning 35010 clauses out of 70021 with flag 2527380/3060774
301.82/300.82	c cleaning 36001 clauses out of 72010 with flag 2686866/3097773
305.80/304.85	c cleaning 36992 clauses out of 74009 with flag 2860916/3135773
310.01/309.00	c cleaning 38001 clauses out of 76017 with flag 3053752/3174773
314.20/313.27	c cleaning 38990 clauses out of 78018 with flag 3244591/3214775
318.48/317.57	c cleaning 39991 clauses out of 80026 with flag 3461385/3255773
322.99/322.09	c cleaning 41007 clauses out of 82036 with flag 3679476/3297774
327.51/326.54	c cleaning 41999 clauses out of 84028 with flag 3904623/3340773
332.30/331.31	c cleaning 42980 clauses out of 86029 with flag 4183876/3384773
337.10/336.19	c cleaning 44015 clauses out of 88049 with flag 4433287/3429773
342.28/341.38	c cleaning 45017 clauses out of 90035 with flag 4697992/3475774
347.47/346.58	c cleaning 45995 clauses out of 92017 with flag 4983493/3522773
353.07/352.16	c cleaning 46985 clauses out of 94022 with flag 5246331/3570773
358.45/357.55	c cleaning 48009 clauses out of 96037 with flag 5521840/3619773
363.84/362.91	c cleaning 48985 clauses out of 98028 with flag 5773939/3669773
369.33/368.41	c cleaning 50014 clauses out of 100043 with flag 6028355/3720773
375.22/374.34	c cleaning 51006 clauses out of 102029 with flag 6296943/3772773
381.27/380.36	c cleaning 51993 clauses out of 104023 with flag 6552765/3825773
387.45/386.51	c cleaning 52993 clauses out of 106031 with flag 6866187/3879774
393.54/392.66	c cleaning 54007 clauses out of 108037 with flag 7142666/3934773
399.33/398.41	c cleaning 54994 clauses out of 110030 with flag 7373173/3990773
405.52/404.65	c cleaning 56014 clauses out of 112037 with flag 7631496/4047774
412.02/411.15	c cleaning 56988 clauses out of 114022 with flag 7894176/4105773
418.90/418.09	c cleaning 57995 clauses out of 116034 with flag 8160463/4164773
425.69/424.80	c cleaning 59002 clauses out of 118039 with flag 8469605/4224773
432.84/431.92	c cleaning 60006 clauses out of 120037 with flag 8785478/4285773
439.62/438.72	c cleaning 60991 clauses out of 122031 with flag 9147274/4347773
446.62/445.78	c cleaning 61998 clauses out of 124040 with flag 9521196/4410773
453.80/452.93	c cleaning 63005 clauses out of 126042 with flag 9918201/4474773
461.49/460.61	c cleaning 64009 clauses out of 128038 with flag 10327806/4539774
468.57/467.71	c cleaning 64999 clauses out of 130028 with flag 10692250/4605773
475.96/475.11	c cleaning 66005 clauses out of 132030 with flag 11084925/4672774
483.35/482.54	c cleaning 66987 clauses out of 134024 with flag 11490384/4740773
490.91/490.06	c cleaning 68009 clauses out of 136038 with flag 11845993/4809774
498.49/497.61	c cleaning 68985 clauses out of 138028 with flag 12144632/4879773
506.19/505.30	c cleaning 70012 clauses out of 140043 with flag 12505579/4950773
513.88/513.01	c cleaning 71015 clauses out of 142034 with flag 12844434/5022776
522.15/521.38	c cleaning 71987 clauses out of 144016 with flag 13244943/5095773
530.54/529.76	c cleaning 72995 clauses out of 146029 with flag 13648452/5169773
539.12/538.32	c cleaning 74002 clauses out of 148035 with flag 14050539/5244774
547.51/546.72	c cleaning 75000 clauses out of 150032 with flag 14459143/5320773
556.46/555.68	c cleaning 76000 clauses out of 152034 with flag 14908243/5397775
565.18/564.43	c cleaning 77006 clauses out of 154036 with flag 15374956/5475777
573.80/573.17	c cleaning 78007 clauses out of 156026 with flag 15781149/5554773
583.01/582.49	c cleaning 78998 clauses out of 158019 with flag 16222895/5634773
592.53/592.01	c cleaning 79996 clauses out of 160021 with flag 16650935/5715773
601.65/601.21	c cleaning 80994 clauses out of 162026 with flag 17168724/5797774
611.06/610.79	c cleaning 81980 clauses out of 164031 with flag 17681119/5880773
621.09/620.87	c cleaning 83019 clauses out of 166052 with flag 18167812/5964774
632.16/631.92	c cleaning 83999 clauses out of 168032 with flag 18680196/6049773
642.36/642.22	c cleaning 85010 clauses out of 170035 with flag 19192896/6135775
652.17/652.12	c cleaning 85990 clauses out of 172023 with flag 19634276/6222773
662.17/662.21	c cleaning 86996 clauses out of 174033 with flag 20045898/6310773
672.07/672.29	c cleaning 88005 clauses out of 176038 with flag 20594402/6399774
682.49/682.79	c cleaning 88998 clauses out of 178032 with flag 21142665/6489773
693.08/693.48	c cleaning 90012 clauses out of 180035 with flag 21690182/6580774
704.18/704.24	c cleaning 91010 clauses out of 182023 with flag 22269793/6672774
714.86/714.97	c cleaning 91998 clauses out of 184012 with flag 22772099/6765773
725.64/725.78	c cleaning 92994 clauses out of 186014 with flag 23369759/6859773
736.33/736.41	c cleaning 94001 clauses out of 188020 with flag 23916185/6954773
746.81/746.95	c cleaning 94999 clauses out of 190019 with flag 24455583/7050773
757.49/757.60	c cleaning 95995 clauses out of 192020 with flag 24925310/7147773
768.33/768.48	c cleaning 96983 clauses out of 194025 with flag 25524149/7245773
779.61/779.76	c cleaning 98011 clauses out of 196042 with flag 26104971/7344773
790.38/790.55	c cleaning 98974 clauses out of 198031 with flag 26683753/7444773
801.76/801.97	c cleaning 100016 clauses out of 200057 with flag 27306829/7545773
813.54/813.70	c cleaning 101005 clauses out of 202042 with flag 27838824/7647774
825.42/825.68	c cleaning 102013 clauses out of 204037 with flag 28278796/7750774
836.92/837.15	c cleaning 102983 clauses out of 206024 with flag 28759761/7854774
849.08/849.22	c cleaning 104003 clauses out of 208040 with flag 29233014/7959773
861.96/862.13	c cleaning 105001 clauses out of 210038 with flag 29619213/8065774
875.53/875.79	c cleaning 105993 clauses out of 212037 with flag 30011249/8172774
888.41/888.60	c cleaning 107019 clauses out of 214043 with flag 30413917/8280773
901.99/902.27	c cleaning 108006 clauses out of 216024 with flag 30797928/8389773
916.06/916.35	c cleaning 108998 clauses out of 218018 with flag 31172126/8499773
929.33/929.65	c cleaning 109981 clauses out of 220020 with flag 31580606/8610773
942.83/943.00	c cleaning 111001 clauses out of 222040 with flag 32135018/8722774
956.19/956.48	c cleaning 112011 clauses out of 224038 with flag 32713925/8835773
969.96/970.29	c cleaning 113000 clauses out of 226027 with flag 33221795/8949773
983.84/984.12	c cleaning 113999 clauses out of 228029 with flag 33883617/9064775
997.21/997.52	c cleaning 115001 clauses out of 230031 with flag 34570808/9180776
1011.08/1011.41	c cleaning 115989 clauses out of 232027 with flag 35263656/9297773
1026.02/1026.38	c cleaning 117006 clauses out of 234038 with flag 35873113/9415773
1039.70/1040.01	c cleaning 117992 clauses out of 236033 with flag 36486472/9534774
1054.67/1055.04	c cleaning 119011 clauses out of 238041 with flag 37124085/9654774
1070.04/1070.40	c cleaning 119993 clauses out of 240029 with flag 37687511/9775773
1085.12/1085.50	c cleaning 120996 clauses out of 242036 with flag 38220159/9897773
1100.59/1101.01	c cleaning 122008 clauses out of 244041 with flag 38750594/10020774
1116.44/1116.94	c cleaning 123006 clauses out of 246032 with flag 39258633/10144773
1132.71/1133.15	c cleaning 123994 clauses out of 248026 with flag 39884633/10269773
1147.87/1148.39	c cleaning 125007 clauses out of 250032 with flag 40557171/10395773
1162.54/1163.07	c cleaning 125979 clauses out of 252025 with flag 41305165/10522773
1177.80/1178.38	c cleaning 126989 clauses out of 254046 with flag 41951639/10650773
1183.89/1184.41	c Got one! Elapsed wall clock time (in seconds):1184.287
1183.89/1184.41	o 33
1184.69/1185.24	c cleaning 93316 clauses out of 186657 with flag 17927/10710373
1185.29/1185.89	c cleaning 49641 clauses out of 99341 with flag 38521/10716373
1185.99/1186.53	c cleaning 28342 clauses out of 56700 with flag 64131/10723373
1186.69/1187.21	c cleaning 18174 clauses out of 36358 with flag 91348/10731373
1187.39/1187.97	c cleaning 13592 clauses out of 27185 with flag 123494/10740374
1188.18/1188.78	c cleaning 11787 clauses out of 23592 with flag 162717/10750373
1189.08/1189.65	c cleaning 11391 clauses out of 22807 with flag 203671/10761375
1189.98/1190.59	c cleaning 11696 clauses out of 23414 with flag 250194/10773373
1191.08/1191.63	c cleaning 12350 clauses out of 24719 with flag 298334/10786374
1192.18/1192.70	c cleaning 13182 clauses out of 26368 with flag 351849/10800373
1193.38/1193.92	c cleaning 14087 clauses out of 28187 with flag 407379/10815374
1194.67/1195.20	c cleaning 15043 clauses out of 30099 with flag 472751/10831373
1196.07/1196.64	c cleaning 16014 clauses out of 32056 with flag 538371/10848373
1197.57/1198.14	c cleaning 17011 clauses out of 34045 with flag 605700/10866376
1199.07/1199.66	c cleaning 17997 clauses out of 36031 with flag 667721/10885373
1200.76/1201.30	c cleaning 19014 clauses out of 38034 with flag 746865/10905373
1202.36/1203.00	c cleaning 20001 clauses out of 40021 with flag 825399/10926374
1204.15/1204.75	c cleaning 21002 clauses out of 42019 with flag 905196/10948373
1205.95/1206.58	c cleaning 22004 clauses out of 44018 with flag 986281/10971374
1208.11/1208.67	c cleaning 23000 clauses out of 46014 with flag 1079703/10995374
1210.20/1210.79	c cleaning 23992 clauses out of 48013 with flag 1171405/11020373
1212.51/1213.04	c cleaning 24994 clauses out of 50021 with flag 1267871/11046373
1214.80/1215.37	c cleaning 26005 clauses out of 52027 with flag 1370010/11073373
1217.29/1217.80	c cleaning 27000 clauses out of 54024 with flag 1472122/11101375
1219.69/1220.29	c cleaning 27995 clauses out of 56022 with flag 1577162/11130373
1222.49/1223.03	c cleaning 28994 clauses out of 58027 with flag 1691469/11160373
1225.38/1225.96	c cleaning 29989 clauses out of 60033 with flag 1816893/11191373
1228.37/1228.90	c cleaning 31014 clauses out of 62045 with flag 1944486/11223374
1231.48/1232.07	c cleaning 31995 clauses out of 64030 with flag 2074689/11256373
1234.87/1235.44	c cleaning 32996 clauses out of 66035 with flag 2208946/11290373
1238.36/1238.96	c cleaning 33996 clauses out of 68039 with flag 2336619/11325373
1241.85/1242.49	c cleaning 35007 clauses out of 70043 with flag 2487248/11361373
1245.55/1246.11	c cleaning 36008 clauses out of 72036 with flag 2625964/11398373
1249.14/1249.74	c cleaning 36999 clauses out of 74028 with flag 2772220/11436373
1253.03/1253.63	c cleaning 38009 clauses out of 76030 with flag 2928837/11475374
1257.02/1257.69	c cleaning 39002 clauses out of 78020 with flag 3078382/11515373
1261.11/1261.74	c cleaning 39998 clauses out of 80022 with flag 3232719/11556377
1265.41/1266.01	c cleaning 41005 clauses out of 82020 with flag 3380361/11598373
1269.60/1270.25	c cleaning 42006 clauses out of 84016 with flag 3549998/11641374
1274.09/1274.74	c cleaning 43002 clauses out of 86012 with flag 3737112/11685376
1278.68/1279.34	c cleaning 43996 clauses out of 88010 with flag 3933484/11730376
1283.38/1284.00	c cleaning 44995 clauses out of 90013 with flag 4122900/11776375
1288.06/1288.74	c cleaning 45999 clauses out of 92016 with flag 4306693/11823373
1292.96/1293.63	c cleaning 46997 clauses out of 94017 with flag 4499274/11871373
1297.98/1298.60	c cleaning 48002 clauses out of 96020 with flag 4715113/11920373
1302.84/1303.52	c cleaning 48997 clauses out of 98018 with flag 4911592/11970373
1308.09/1308.83	c cleaning 50000 clauses out of 100021 with flag 5145799/12021373
1313.44/1314.22	c cleaning 50991 clauses out of 102021 with flag 5371691/12073373
1318.79/1319.64	c cleaning 51976 clauses out of 104030 with flag 5630856/12126373
1324.33/1325.29	c cleaning 53015 clauses out of 106054 with flag 5903839/12180373
1329.98/1330.94	c cleaning 54013 clauses out of 108039 with flag 6142899/12235373
1335.52/1336.53	c cleaning 54990 clauses out of 110026 with flag 6428140/12291373
1341.47/1342.54	c cleaning 56013 clauses out of 112037 with flag 6705417/12348374
1347.51/1348.68	c cleaning 56991 clauses out of 114023 with flag 6963600/12406373
1353.95/1355.13	c cleaning 58003 clauses out of 116033 with flag 7254762/12465374
1359.80/1361.06	c cleaning 59002 clauses out of 118030 with flag 7517758/12525374
1366.04/1367.37	c cleaning 60004 clauses out of 120027 with flag 7795174/12586373
1372.48/1373.84	c cleaning 61008 clauses out of 122023 with flag 8104170/12648373
1378.91/1380.33	c cleaning 61978 clauses out of 124015 with flag 8387893/12711373
1385.75/1387.28	c cleaning 62998 clauses out of 126038 with flag 8718437/12775374
1392.88/1394.42	c cleaning 64014 clauses out of 128039 with flag 9085815/12840373
1400.32/1401.96	c cleaning 65007 clauses out of 130025 with flag 9453194/12906373
1407.73/1409.48	c cleaning 65990 clauses out of 132018 with flag 9792587/12973373
1415.37/1417.15	c cleaning 66991 clauses out of 134028 with flag 10106148/13041373
1423.29/1425.14	c cleaning 67998 clauses out of 136037 with flag 10433537/13110373
1431.51/1433.40	c cleaning 68966 clauses out of 138039 with flag 10875161/13180373
1439.24/1441.25	c cleaning 70013 clauses out of 140073 with flag 11244693/13251373
1447.27/1449.38	c cleaning 71018 clauses out of 142060 with flag 11607855/13323373
1455.35/1457.44	c cleaning 71998 clauses out of 144042 with flag 11982948/13396373
1463.37/1465.51	c cleaning 72996 clauses out of 146044 with flag 12382390/13470373
1471.80/1474.01	c cleaning 74022 clauses out of 148051 with flag 12779984/13545376
1480.62/1482.97	c cleaning 74966 clauses out of 150026 with flag 13155241/13621373
1489.43/1491.81	c cleaning 76008 clauses out of 152061 with flag 13548246/13698374
1498.15/1500.66	c cleaning 77018 clauses out of 154052 with flag 13940995/13776373
1507.28/1509.83	c cleaning 77977 clauses out of 156034 with flag 14246599/13855373
1516.79/1519.42	c cleaning 79009 clauses out of 158057 with flag 14548153/13935373
1526.11/1528.81	c cleaning 80002 clauses out of 160048 with flag 14887113/14016373
1535.53/1538.32	c cleaning 81023 clauses out of 162046 with flag 15270729/14098373
1545.23/1548.11	c cleaning 81981 clauses out of 164026 with flag 15605655/14181376
1554.85/1557.82	c cleaning 83003 clauses out of 166042 with flag 16043621/14265373
1564.66/1567.71	c cleaning 83993 clauses out of 168039 with flag 16404775/14350373
1574.96/1578.17	c cleaning 85012 clauses out of 170046 with flag 16797502/14436373
1585.26/1588.54	c cleaning 86016 clauses out of 172035 with flag 17203986/14523374
1596.05/1599.48	c cleaning 86998 clauses out of 174018 with flag 17591742/14611373
1605.87/1609.39	c cleaning 88001 clauses out of 176023 with flag 18065706/14700376
1616.75/1619.82	c cleaning 88978 clauses out of 178019 with flag 18618172/14790373
1627.04/1630.13	c cleaning 89996 clauses out of 180041 with flag 19160380/14881373
1637.02/1640.19	c cleaning 91018 clauses out of 182045 with flag 19607032/14973373
1647.49/1650.67	c cleaning 91969 clauses out of 184027 with flag 20096012/15066373
1658.77/1661.94	c cleaning 93020 clauses out of 186059 with flag 20549249/15160374
1670.15/1673.32	c cleaning 94004 clauses out of 188038 with flag 21132251/15255373
1681.23/1684.41	c cleaning 94990 clauses out of 190034 with flag 21677156/15351373
1692.41/1695.66	c cleaning 96004 clauses out of 192044 with flag 22180393/15448373
1703.90/1707.15	c cleaning 97008 clauses out of 194040 with flag 22687022/15546373
1715.07/1718.33	c cleaning 98006 clauses out of 196032 with flag 23151676/15645373
1726.15/1729.43	c cleaning 98993 clauses out of 198026 with flag 23536151/15745373
1738.13/1741.43	c cleaning 100009 clauses out of 200033 with flag 24091652/15846373
1749.98/1753.29	c cleaning 100989 clauses out of 202024 with flag 24715100/15948373
1762.06/1765.33	c cleaning 102000 clauses out of 204035 with flag 25305875/16051373
1774.04/1777.33	c cleaning 103003 clauses out of 206035 with flag 25891732/16155373
1786.82/1790.17	c cleaning 104007 clauses out of 208033 with flag 26466083/16260374
1799.19/1802.57	c cleaning 104978 clauses out of 210025 with flag 27017858/16366373
1811.47/1814.88	c cleaning 106014 clauses out of 212047 with flag 27433522/16473373
1823.65/1827.05	c cleaning 107015 clauses out of 214034 with flag 27850888/16581374
1835.53/1839.00	c cleaning 108006 clauses out of 216019 with flag 28243174/16690374
1847.50/1850.98	c cleaning 109004 clauses out of 218012 with flag 28819256/16800373
1860.87/1864.31	c cleaning 109979 clauses out of 220008 with flag 29397448/16911373
1874.25/1877.78	c cleaning 111000 clauses out of 222030 with flag 29916695/17023374
1887.83/1891.38	c cleaning 111999 clauses out of 224030 with flag 30413718/17136374
1901.00/1904.54	c cleaning 112999 clauses out of 226030 with flag 30879210/17250373
1913.98/1917.56	c cleaning 113997 clauses out of 228031 with flag 31523884/17365373
1927.56/1931.16	c cleaning 114996 clauses out of 230034 with flag 32196420/17481373
1941.92/1945.53	c cleaning 116001 clauses out of 232038 with flag 32758626/17598373
1956.34/1959.87	c cleaning 117000 clauses out of 234037 with flag 33343992/17716373
1970.72/1974.20	c cleaning 118011 clauses out of 236037 with flag 33890042/17835373
1985.39/1988.98	c cleaning 119006 clauses out of 238026 with flag 34364778/17955373
2000.95/2004.54	c cleaning 120000 clauses out of 240020 with flag 34859993/18076373
2016.12/2019.76	c cleaning 120989 clauses out of 242022 with flag 35436503/18198375
2030.41/2034.09	c cleaning 122002 clauses out of 244031 with flag 35993528/18321373
2045.67/2049.39	c cleaning 123008 clauses out of 246030 with flag 36561834/18445374
2059.94/2063.68	c cleaning 123986 clauses out of 248021 with flag 37256000/18570373
2074.91/2078.69	c cleaning 125004 clauses out of 250035 with flag 38007561/18696373
2089.69/2093.41	c cleaning 126005 clauses out of 252035 with flag 38676449/18823377
2104.76/2108.50	c cleaning 127002 clauses out of 254026 with flag 39418258/18951373
2120.13/2124.00	c cleaning 127995 clauses out of 256024 with flag 40057429/19080373
2134.99/2138.81	c cleaning 129005 clauses out of 258029 with flag 40815317/19210373
2150.05/2153.95	c cleaning 129993 clauses out of 260024 with flag 41629038/19341373
2166.42/2170.38	c cleaning 130987 clauses out of 262033 with flag 42435965/19473375
2182.67/2186.55	c cleaning 131988 clauses out of 264044 with flag 43122555/19606373
2198.25/2202.17	c cleaning 133011 clauses out of 266056 with flag 43752800/19740373
2214.61/2218.53	c cleaning 133988 clauses out of 268045 with flag 44454529/19875373
2231.68/2235.68	c cleaning 135024 clauses out of 270059 with flag 45229144/20011375
2250.34/2254.31	c cleaning 136000 clauses out of 272033 with flag 45969961/20148373
2267.41/2271.41	c cleaning 137002 clauses out of 274033 with flag 46669489/20286373
2284.88/2288.91	c cleaning 138000 clauses out of 276031 with flag 47323113/20425373
2301.95/2306.03	c cleaning 138993 clauses out of 278031 with flag 48000549/20565373
2322.01/2326.11	c cleaning 139995 clauses out of 280039 with flag 48828815/20706374
2339.68/2343.89	c cleaning 141006 clauses out of 282044 with flag 49589995/20848374
2358.75/2362.95	c cleaning 142013 clauses out of 284037 with flag 50393848/20991373
2377.67/2381.73	c cleaning 142997 clauses out of 286025 with flag 51103203/21135374
2396.14/2400.25	c cleaning 144009 clauses out of 288028 with flag 51734452/21280374
2415.40/2419.56	c cleaning 144997 clauses out of 290018 with flag 52470686/21426373
2433.77/2437.96	c cleaning 145995 clauses out of 292021 with flag 53204800/21573373
2452.44/2456.64	c cleaning 147004 clauses out of 294026 with flag 54115355/21721373
2470.80/2475.05	c cleaning 147998 clauses out of 296022 with flag 54993005/21870373
2488.26/2492.53	c cleaning 148989 clauses out of 298024 with flag 55722215/22020373
2507.53/2511.85	c cleaning 149990 clauses out of 300035 with flag 56348482/22171373
2528.29/2532.60	c cleaning 151008 clauses out of 302048 with flag 56904770/22323376
2547.66/2552.06	c cleaning 152008 clauses out of 304037 with flag 57573494/22476373
2568.68/2572.96	c cleaning 153005 clauses out of 306030 with flag 58271927/22630374
2588.04/2592.37	c cleaning 154005 clauses out of 308025 with flag 59059620/22785374
2607.11/2611.43	c cleaning 154991 clauses out of 310019 with flag 59978647/22941373
2625.87/2630.22	c cleaning 156007 clauses out of 312029 with flag 60900707/23098374
2643.64/2648.05	c cleaning 157001 clauses out of 314021 with flag 61554008/23256373
2662.20/2666.60	c cleaning 158002 clauses out of 316020 with flag 62462470/23415373
2680.68/2685.13	c cleaning 159009 clauses out of 318019 with flag 63305413/23575374
2699.44/2703.96	c cleaning 159996 clauses out of 320009 with flag 64181827/23736373
2720.33/2724.30	c cleaning 160993 clauses out of 322013 with flag 64951520/23898373
2740.60/2744.62	c cleaning 162008 clauses out of 324025 with flag 65708847/24061378
2761.06/2765.13	c cleaning 162986 clauses out of 326012 with flag 66739587/24225373
2781.11/2785.24	c cleaning 164001 clauses out of 328026 with flag 67821250/24390373
2800.88/2805.00	c cleaning 165000 clauses out of 330025 with flag 68798228/24556373
2819.62/2823.80	c cleaning 165986 clauses out of 332025 with flag 69707258/24723373
2839.22/2843.46	c cleaning 166984 clauses out of 334039 with flag 70629215/24891373
2860.37/2864.69	c cleaning 168017 clauses out of 336055 with flag 71564947/25060373
2881.64/2885.93	c cleaning 169007 clauses out of 338038 with flag 72377161/25230373
2902.30/2906.65	c cleaning 169994 clauses out of 340031 with flag 73133509/25401373
2921.76/2926.12	c cleaning 171005 clauses out of 342037 with flag 74088507/25573373
2942.82/2947.28	c cleaning 172006 clauses out of 344032 with flag 74992717/25746373
2964.49/2968.98	c cleaning 172998 clauses out of 346026 with flag 75737907/25920373
2988.84/2993.33	c cleaning 174005 clauses out of 348028 with flag 76347957/26095373
3011.50/3016.09	c cleaning 174993 clauses out of 350023 with flag 77016106/26271373
3033.55/3038.08	c cleaning 175998 clauses out of 352030 with flag 77773491/26448373
3054.51/3059.07	c cleaning 177002 clauses out of 354034 with flag 78662194/26626375
3077.57/3082.14	c cleaning 177991 clauses out of 356030 with flag 79624307/26805373
3101.43/3106.08	c cleaning 179005 clauses out of 358039 with flag 80591185/26985373
3123.98/3128.67	c cleaning 180014 clauses out of 360035 with flag 81491489/27166374
3146.45/3151.11	c cleaning 180980 clauses out of 362020 with flag 82328519/27348373
3168.10/3172.89	c cleaning 182010 clauses out of 364040 with flag 83078497/27531373
3191.86/3196.62	c cleaning 182999 clauses out of 366030 with flag 83946995/27715373
3216.91/3221.75	c cleaning 184004 clauses out of 368032 with flag 84852108/27900374
3241.33/3246.07	c cleaning 185010 clauses out of 370027 with flag 85643994/28086373
3264.88/3269.61	c cleaning 185984 clauses out of 372019 with flag 86563068/28273375
3289.73/3294.52	c cleaning 187004 clauses out of 374035 with flag 87490083/28461375
3313.59/3318.44	c cleaning 188009 clauses out of 376029 with flag 88365702/28650373
3336.94/3341.86	c cleaning 189003 clauses out of 378020 with flag 89236317/28840373
3360.10/3365.04	c cleaning 189997 clauses out of 380017 with flag 90248269/29031373
3385.85/3390.88	c cleaning 190984 clauses out of 382020 with flag 91143700/29223373
3411.20/3416.23	c cleaning 192002 clauses out of 384037 with flag 92000534/29416374
3436.57/3441.51	c cleaning 193015 clauses out of 386042 with flag 92872694/29610381
3459.66/3464.83	c cleaning 193994 clauses out of 388019 with flag 93803500/29805373
3484.04/3489.43	c cleaning 195005 clauses out of 390026 with flag 94854108/30001374
3507.24/3512.82	c cleaning 195996 clauses out of 392020 with flag 95897238/30198373
3531.62/3537.42	c cleaning 197006 clauses out of 394024 with flag 97037835/30396373
3558.11/3563.44	c cleaning 198006 clauses out of 396019 with flag 98186727/30595374
3583.27/3588.60	c cleaning 198994 clauses out of 398012 with flag 99100215/30795373
3600.03/3605.41	c starts		: 44514
3600.03/3605.41	c conflicts		: 30949986
3600.03/3605.41	c decisions		: 184808927
3600.03/3605.41	c propagations		: 23491861977
3600.03/3605.41	c inspects		: 25365599255
3600.03/3605.41	c shortcuts		: 0
3600.03/3605.41	c learnt literals	: 0
3600.03/3605.41	c learnt binary clauses	: 0
3600.03/3605.41	c learnt ternary clauses	: 0
3600.03/3605.41	c learnt constraints	: 30949986
3600.03/3605.41	c ignored constraints	: 0
3600.03/3605.41	c root simplifications	: 0
3600.03/3605.41	c removed literals (reason simplification)	: 0
3600.03/3605.41	c reason swapping (by a shorter reason)	: 0
3600.03/3605.41	c Calls to reduceDB	: 397
3600.03/3605.41	c Number of update (reduction) of LBD	: 15573275
3600.03/3605.41	c Imported unit clauses	: 0
3600.03/3605.41	c No decision after first conflict	: false
3600.03/3605.41	c number of reductions to clauses (during analyze)	: 0
3600.03/3605.41	c number of learned constraints concerned by reduction	: 0
3600.03/3605.41	c number of learning phase by resolution	: 0
3600.03/3605.41	c number of learning phase by cutting planes	: 0
3600.03/3605.41	c number of rounding to 1 operations	: 0
3600.03/3605.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3605.42	c number of reductions of the coefficients by power 2 	: 0
3600.03/3605.42	c number of right shift for reduction by power 2 	: 0
3600.03/3605.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3605.42	c number of ending skipping 	: 0
3600.03/3605.42	c number of internal skipping 	: 0
3600.03/3605.42	c number of derivation steps 	: 0
3600.03/3605.42	c number of skipped derivation steps 	: 0
3600.03/3605.42	c number of remaining unassigned 	: 0
3600.03/3605.42	c number of remaining assigned 	: 0
3600.03/3605.42	c number of falsified literals weakened from reason	: 0
3600.03/3605.42	c number of falsified literals weakened from conflict	: 0
3600.03/3605.42	c time for arithmetic operations	: 0
3600.03/3605.42	c minimum degree of deleted constraints	: null
3600.03/3605.42	c maximum degree of deleted constraints	: null
3600.03/3605.42	c number of deleted constraints	: 0
3600.03/3605.42	c speed (assignments/second)	: 6516126.753167935
3600.03/3605.42	c non guided choices	: 0
3600.03/3605.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 353631
3600.03/3605.49	s SATISFIABLE
3600.03/3605.49	c Found 5 solution(s)
3600.03/3605.49	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 -x1605 x1606 -x1607 -x1608 -x1609 x1610 -x1611 x1612 x1613 x1614 
3600.03/3605.49	c objective function=33
3600.03/3605.49	c Total wall clock time (in seconds): 3605.367

Verifier Data 

OK	33

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: 63968 MiB (63089 MiB free)
  memory of node 1: 64473 MiB (63159 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432318-1721113782/watcher-4432318-1721113782 -o /tmp/evaluation-result-4432318-1721113782/solver-4432318-1721113782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721113794-840454 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432318-1721113782.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=840512, runsolver pid=840506

[startup+0.100361 s]*
/proc/loadavg: 3.78 4.05 4.07 10/324 840585
/proc/meminfo: memFree=129122392/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=18975048 memory=67196 CPUtime=0.13 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 7176 0 0 0 11 2 0 0 20 0 18 0 163545245 19430449152 16799 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4743762 16799 5670 1 0 549324 0
[pid=840512/tid=840518] ppid=840506 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 5733 0 0 0 7 1 0 0 20 0 18 0 163545245 19430449152 16799 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=18975048 memory=17993 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163545248 19430449152 16799 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=18975048 memory=15261445554177772 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163545248 19430449152 16799 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67196 KiB

[startup+0.208915 s]*
/proc/loadavg: 3.78 4.05 4.07 15/325 840586
/proc/meminfo: memFree=129074900/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=18975048 memory=76112 CPUtime=0.32 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 8007 0 0 0 30 2 0 0 20 0 18 0 163545245 19430449152 19028 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4743762 19028 5819 1 0 549867 0
[pid=840512/tid=840518] ppid=840506 vsize=18975048 memory=4782652875487838339 CPUtime=0.16 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 5909 0 0 0 15 1 0 0 20 0 18 0 163545245 19430449152 19028 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=18975048 memory=17993 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163545248 19430449152 19028 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=18975048 memory=15261445554177772 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163545248 19430449152 19028 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 76112 KiB

[startup+0.305848 s]*
/proc/loadavg: 3.78 4.05 4.07 13/327 840588
/proc/meminfo: memFree=129014948/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19041612 memory=81712 CPUtime=0.51 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 9131 0 0 0 49 2 0 0 20 0 19 0 163545245 19498610688 20428 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4760403 20428 5857 1 0 550952 0
[pid=840512/tid=840518] ppid=840506 vsize=19041612 memory=-9104982587974460092 CPUtime=0.25 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 6040 0 0 0 24 1 0 0 20 0 19 0 163545245 19498610688 20428 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 20428 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 20428 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545269 19498610688 20428 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 81712 KiB

[startup+0.702355 s]
/proc/loadavg: 3.78 4.05 4.07 12/328 840589
/proc/meminfo: memFree=128982672/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19041612 memory=88364 CPUtime=1.27 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 10968 0 0 0 125 2 0 0 20 0 19 0 163545245 19498610688 22091 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4760403 22091 5872 1 0 552067 0
[pid=840512/tid=840518] ppid=840506 vsize=19041612 memory=12384 CPUtime=0.64 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 6090 0 0 0 63 1 0 0 20 0 19 0 163545245 19498610688 22091 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19041612 memory=12384 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 22091 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19041612 memory=280688058502960 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 22091 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19041612 memory=1968 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545269 19498610688 22091 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88364 KiB

[startup+1.50035 s]
/proc/loadavg: 3.78 4.05 4.07 6/328 840589
/proc/meminfo: memFree=128962300/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19041612 memory=99448 CPUtime=2.38 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 14552 0 0 0 235 3 0 0 20 0 19 0 163545245 19498610688 24862 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4760403 24862 5872 1 0 552655 0
[pid=840512/tid=840518] ppid=840506 vsize=19041612 memory=12384 CPUtime=1.43 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 6590 0 0 0 141 2 0 0 20 0 19 0 163545245 19498610688 24862 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19041612 memory=1968 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 24862 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 24862 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545269 19498610688 24862 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99448 KiB

[startup+3.10637 s]
/proc/loadavg: 3.78 4.05 4.07 7/328 840589
/proc/meminfo: memFree=128924164/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19041612 memory=109184 CPUtime=4.26 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 16843 0 0 0 422 4 0 0 20 0 19 0 163545245 19498610688 27296 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4760403 27296 5872 1 0 553036 0
[pid=840512/tid=840518] ppid=840506 vsize=19041612 memory=0 CPUtime=3.02 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 6802 0 0 0 300 2 0 0 20 0 19 0 163545245 19498610688 27296 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 27296 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19041612 memory=12384 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 27296 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19041612 memory=11608 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545269 19498610688 27296 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 4.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109184 KiB

[startup+6.30019 s]
/proc/loadavg: 3.88 4.07 4.08 5/328 840589
/proc/meminfo: memFree=128893004/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19041612 memory=123396 CPUtime=7.44 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 18575 0 0 0 740 4 0 0 20 0 19 0 163545245 19498610688 30849 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4760403 30849 5872 1 0 553037 0
[pid=840512/tid=840518] ppid=840506 vsize=19041612 memory=0 CPUtime=6.19 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 7487 0 0 0 617 2 0 0 20 0 19 0 163545245 19498610688 30849 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19041612 memory=7391413433648273289 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 30849 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19041612 memory=12384 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 30849 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19041612 memory=11608 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545269 19498610688 30849 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 7.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 123396 KiB

[startup+12.7002 s]
/proc/loadavg: 3.97 4.09 4.08 5/330 840595
/proc/meminfo: memFree=128809076/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19041612 memory=154336 CPUtime=13.89 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 22630 0 0 0 1383 6 0 0 20 0 19 0 163545245 19498610688 38584 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4760403 38584 5915 1 0 553037 0
[pid=840512/tid=840518] ppid=840506 vsize=19041612 memory=12384 CPUtime=12.58 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 8460 0 0 0 1255 3 0 0 20 0 19 0 163545245 19498610688 38584 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19041612 memory=2244 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 38584 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163545248 19498610688 38584 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19041612 memory=144060 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163545269 19498610688 38584 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 13.89 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 154336 KiB

[startup+25.5002 s]
/proc/loadavg: 3.98 4.08 4.08 5/332 840598
/proc/meminfo: memFree=128677440/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19108176 memory=189652 CPUtime=26.69 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 25895 0 0 0 2663 6 0 0 20 0 20 0 163545245 19566772224 47413 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4777044 47413 5963 1 0 553326 0
[pid=840512/tid=840518] ppid=840506 vsize=19108176 memory=189648 CPUtime=25.33 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 9613 0 0 0 2530 3 0 0 20 0 20 0 163545245 19566772224 47413 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19108176 memory=189652 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 47413 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19108176 memory=189652 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 47413 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19108176 memory=189652 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545269 19566772224 47413 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 26.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189652 KiB

[startup+51.106 s]
/proc/loadavg: 4.07 4.09 4.08 5/334 840605
/proc/meminfo: memFree=128544716/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19108176 memory=228096 CPUtime=52.35 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 33503 0 0 0 5227 8 0 0 20 0 20 0 163545245 19566772224 57024 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4777044 57024 5963 1 0 553791 0
[pid=840512/tid=840518] ppid=840506 vsize=19108176 memory=43368 CPUtime=50.81 cores=4,6

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

/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 3848 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19108176 memory=104 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545269 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 3217.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186524 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.14 6/332 842369
/proc/meminfo: memFree=121079344/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19108176 memory=2186524 CPUtime=3277.55 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 152328 0 0 0 327653 102 0 0 20 0 20 0 163545245 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4777044 546631 5979 1 0 558346 0
[pid=840512/tid=840518] ppid=840506 vsize=19108176 memory=2186524 CPUtime=3268.55 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 70223 0 0 0 326837 18 0 0 20 0 20 0 163545245 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19108176 memory=2186524 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19108176 memory=2186524 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 3935 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19108176 memory=2186524 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545269 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 3277.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186524 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/330 842379
/proc/meminfo: memFree=121079076/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19108176 memory=2186524 CPUtime=3337.44 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 153328 0 0 0 333641 103 0 0 20 0 20 0 163545245 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4777044 546631 5979 1 0 558346 0
[pid=840512/tid=840518] ppid=840506 vsize=19108176 memory=11608 CPUtime=3328.42 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 71059 0 0 0 332824 18 0 0 20 0 20 0 163545245 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19108176 memory=2186524 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 4034 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19108176 memory=43368 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545269 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 3337.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186524 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.14 4.14 5/330 842389
/proc/meminfo: memFree=121078716/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19108176 memory=2186524 CPUtime=3397.33 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 154303 0 0 0 339629 104 0 0 20 0 20 0 163545245 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4777044 546631 5979 1 0 558346 0
[pid=840512/tid=840518] ppid=840506 vsize=19108176 memory=2268 CPUtime=3388.29 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 71885 0 0 0 338811 18 0 0 20 0 20 0 163545245 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19108176 memory=2186524 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 4121 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19108176 memory=-8745257567738241724 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545269 19566772224 546631 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 3397.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.14 6/330 842400
/proc/meminfo: memFree=121078344/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19108176 memory=2186540 CPUtime=3457.18 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 156176 0 0 0 345613 105 0 0 20 0 20 0 163545245 19566772224 546635 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4777044 546635 5979 1 0 558347 0
[pid=840512/tid=840518] ppid=840506 vsize=19108176 memory=2186524 CPUtime=3447.76 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 72770 0 0 0 344758 18 0 0 20 0 20 0 163545245 19566772224 546635 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19108176 memory=2186528 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 546635 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19108176 memory=2186540 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 4202 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 546635 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545269 19566772224 546635 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 3457.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186540 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.13 6/330 842410
/proc/meminfo: memFree=121078020/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19108176 memory=2186540 CPUtime=3516.65 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 157110 0 0 0 351559 106 0 0 20 0 20 0 163545245 19566772224 546635 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4777044 546635 5979 1 0 558347 0
[pid=840512/tid=840518] ppid=840506 vsize=19108176 memory=2186540 CPUtime=3507.21 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 73556 0 0 0 350703 18 0 0 20 0 20 0 163545245 19566772224 546635 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 546635 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19108176 memory=2186524 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 4289 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 546635 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19108176 memory=5616 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545269 19566772224 546635 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 3516.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186540 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.14 4.14 5/330 842420
/proc/meminfo: memFree=121094284/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19108176 memory=2169952 CPUtime=3576.98 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 160457 0 0 0 357590 108 0 0 20 0 20 0 163545245 19566772224 542488 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4777044 542488 5979 1 0 554171 0
[pid=840512/tid=840518] ppid=840506 vsize=19108176 memory=2186524 CPUtime=3566.83 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 74231 0 0 0 356665 18 0 0 20 0 20 0 163545245 19566772224 542488 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19108176 memory=16184 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 542488 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 4293 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 542488 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19108176 memory=2169952 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545269 19566772224 542488 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 3576.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.4 s]
/proc/loadavg: 4.14 4.13 4.13 7/329 842491
/proc/meminfo: memFree=123059296/131524600 swapFree=131071996/131071996
[pid=840512] ppid=840506 vsize=19108176 memory=2169952 CPUtime=3600.03 cores=4,6
/proc/840512/stat : 840512 (java) S 840506 840512 840443 0 -1 1077936128 160674 0 0 0 359895 108 0 0 20 0 20 0 163545245 19566772224 542488 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
/proc/840512/statm: 4777044 542488 5979 1 0 554171 0
[pid=840512/tid=840518] ppid=840506 vsize=19108176 memory=2169952 CPUtime=3589.89 cores=4,6
/proc/840512/task/840518/stat : 840518 (java) R 840506 840512 840443 0 -1 4194368 74440 0 0 0 358971 18 0 0 20 0 20 0 163545245 19566772224 542488 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840558] ppid=840506 vsize=19108176 memory=2068392 CPUtime=0 cores=4,6
/proc/840512/task/840558/stat : 840558 (Finalizer) S 840506 840512 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 542488 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840574] ppid=840506 vsize=19108176 memory=2684 CPUtime=0 cores=4,6
/proc/840512/task/840574/stat : 840574 (Common-Cleaner) S 840506 840512 840443 0 -1 1077936192 4293 0 0 0 0 0 0 0 20 0 20 0 163545248 19566772224 542488 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
[pid=840512/tid=840587] ppid=840506 vsize=19108176 memory=5056 CPUtime=0 cores=4,6
/proc/840512/task/840587/stat : 840587 (Timer-0) S 840506 840512 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163545269 19566772224 542488 134679101440 94213734653952 94213734657648 140731596701760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94213734665464 94213734666256 94213751562240 140731596706823 140731596706913 140731596706913 140731596713928 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169952 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.14 s, system=1.09952 s

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

[startup+3605.5 s]*
/proc/loadavg: 4.21 4.15 4.14 7/311 842494
/proc/meminfo: memFree=125160840/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3605.51
CPU time (s): 3600.24
CPU user time (s): 3599.14
CPU system time (s): 1.09952
CPU usage (%): 99.8539
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2186600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.14
system time used= 1.09952
maximum resident set size= 2186600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163335
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103980
involuntary context switches= 8748


# summary of solver processes directly reported to runsolver:
#   pid: 840512
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3599.14
#   total CPU system time (s): 1.09952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.18839 second user time and 17.5499 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-16 09:09:54
IDJOB=4432318
IDBENCH=148163
IDSOLVER=3058
FILE ID=nodeC028/4432318-1721113782
RUNJOBID= nodeC028-1721113794-840454
SLURM_JOB_ID= 7505648
Free space on /tmp= 890068 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/area_opers/normalized-fir04_area_opers.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432318-1721113782/watcher-4432318-1721113782 -o /tmp/evaluation-result-4432318-1721113782/solver-4432318-1721113782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721113794-840454 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432318-1721113782.opb

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

MD5SUM BENCH= 4d69ec7b86462809048374e94faee566
RANDOM SEED=519128151

nodeC028.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	: 0xb00002a
cpu MHz		: 3402.249
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3605.753
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3616.219
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3652.226
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3556.021
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3636.661
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3552.034
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3662.372
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129295852 kB
MemAvailable:   129761316 kB
Buffers:          388756 kB
Cached:           916864 kB
SwapCached:            0 kB
Active:           685412 kB
Inactive:         960484 kB
Active(anon):       1456 kB
Inactive(anon):   376580 kB
Active(file):     683956 kB
Inactive(file):   583904 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3060 kB
Writeback:             0 kB
AnonPages:        337624 kB
Mapped:           104424 kB
Shmem:             37720 kB
KReclaimable:      74856 kB
Slab:             177356 kB
SReclaimable:      74856 kB
SUnreclaim:       102500 kB
KernelStack:        3924 kB
PageTables:         9868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     725712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60928 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      193236 kB
DirectMap2M:    18454528 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC028 at 2024-07-16 10:10:00