Trace number 4432429

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)-4631 3600.36 3378.12

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z7-s2.opb
MD5SUMd13cdfe545ae2728c47d5ad7db8600db
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 benchmark-10280
Best CPU time to get the best result obtained on this benchmark345.088
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2023
Total number of constraints31798
Number of constraints which are clauses31790
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint2023
Number of terms in the objective function 1997
Biggest coefficient in the objective function 333
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 170608
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 735392
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 5003866
Number of bits of the biggest sum of numbers23
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.13/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.17	c See www.sat4j.org for details.
0.13/0.19	c version CUSTOM.v20240707
0.29/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.29/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.29/0.23	c java.vm.version	22.0.1+8-16
0.29/0.23	c java.vm.vendor	Oracle Corporation
0.29/0.23	c sun.arch.data.model	64
0.29/0.23	c java.version		22.0.1
0.29/0.23	c os.name		Linux
0.29/0.23	c os.version		4.18.0-301.1.el8.x86_64
0.29/0.23	c os.arch		amd64
0.29/0.23	c Free memory 		2115194816
0.29/0.23	c Max memory 		16282288128
0.29/0.23	c Total memory 		2122317824
0.29/0.24	c Number of processors 	2
0.45/0.33	--- Begin Solver configuration ---
0.45/0.33	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.45/0.33	Learn all clauses as in MiniSAT
0.45/0.33	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.33	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.33	No reason simplification
0.45/0.33	Glucose 2.1 dynamic restart strategy
0.45/0.33	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.45/0.33	timeout=2147483s
0.45/0.33	DB Simplification allowed=false
0.45/0.33	Listener: none
0.45/0.33	--- End Solver configuration ---
0.45/0.34	c Pseudo Boolean Optimization by upper bound
0.45/0.34	c --- Begin Solver configuration ---
0.45/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.45/0.34	c Learn all clauses as in MiniSAT
0.45/0.34	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.34	c No reason simplification
0.45/0.34	c Glucose 2.1 dynamic restart strategy
0.45/0.34	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.45/0.34	c timeout=2147483s
0.45/0.34	c DB Simplification allowed=false
0.45/0.34	c Listener: none
0.45/0.34	c --- End Solver configuration ---
0.45/0.34	c solving HOME/instance-4432429-1721131353.opb
0.45/0.34	c reading problem ... 
0.45/0.34	c  objective function found
1.36/0.88	c ... done. Wall clock time 0.538s.
1.36/0.89	c declared #vars     2023
1.36/0.89	c #constraints  31798
1.36/0.89	c constraints type 
1.36/0.89	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 31790
1.36/0.89	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8
1.36/0.89	c 31798 constraints processed.
1.56/0.91	c objective function length is 1997 literals
1.77/1.02	c SATISFIABLE
1.77/1.02	c OPTIMIZING...
1.77/1.02	c Got one! Elapsed wall clock time (in seconds):0.677
1.77/1.02	o -4247
1.77/1.04	c Got one! Elapsed wall clock time (in seconds):0.701
1.77/1.04	o -4467
1.77/1.08	c Got one! Elapsed wall clock time (in seconds):0.745
1.77/1.08	o -4470
2.15/1.29	c Got one! Elapsed wall clock time (in seconds):0.953
2.15/1.29	o -4474
2.36/1.31	c Got one! Elapsed wall clock time (in seconds):0.976
2.36/1.31	o -4627
6.41/4.35	c cleaning 2596 clauses out of 5195 with flag 16997/5195
9.47/7.08	c cleaning 4300 clauses out of 8599 with flag 36423/11195
13.03/10.10	c cleaning 5652 clauses out of 11305 with flag 58516/18201
13.40/10.30	c Got one! Elapsed wall clock time (in seconds):9.96
13.40/10.30	o -4631
16.36/12.66	c cleaning 5649 clauses out of 11297 with flag 15870/23845
19.52/15.49	c cleaning 5820 clauses out of 11648 with flag 35162/29845
22.71/18.40	c cleaning 6411 clauses out of 12828 with flag 59241/36845
26.30/21.83	c cleaning 7209 clauses out of 14417 with flag 85292/44845
30.35/25.66	c cleaning 8105 clauses out of 16209 with flag 113285/53846
34.88/29.90	c cleaning 9023 clauses out of 18103 with flag 147046/63845
39.31/34.12	c cleaning 9989 clauses out of 20081 with flag 183580/74846
44.11/38.73	c cleaning 11028 clauses out of 22093 with flag 226331/86847
49.46/43.88	c cleaning 11986 clauses out of 24066 with flag 271638/99848
54.89/49.10	c cleaning 13022 clauses out of 26080 with flag 323162/113848
61.13/54.76	c cleaning 13992 clauses out of 28056 with flag 371342/128846
67.66/61.01	c cleaning 15018 clauses out of 30064 with flag 423961/144846
77.51/69.16	c cleaning 16013 clauses out of 32045 with flag 482642/161845
84.36/75.78	c cleaning 16965 clauses out of 34032 with flag 548670/179845
91.25/82.48	c cleaning 18032 clauses out of 36067 with flag 617995/198845
99.09/89.88	c cleaning 19015 clauses out of 38035 with flag 687674/218845
106.73/97.20	c cleaning 19983 clauses out of 40020 with flag 764301/239845
115.33/105.31	c cleaning 21016 clauses out of 42037 with flag 843219/261845
123.47/113.24	c cleaning 22007 clauses out of 44021 with flag 918022/284845
132.67/121.99	c cleaning 22997 clauses out of 46014 with flag 1009495/308845
145.56/133.89	c cleaning 23961 clauses out of 48017 with flag 1096652/333845
155.17/142.93	c cleaning 25014 clauses out of 50064 with flag 1188758/359853
165.04/152.56	c cleaning 26016 clauses out of 52046 with flag 1281397/386849
175.11/162.17	c cleaning 27011 clauses out of 54028 with flag 1380910/414847
185.47/172.04	c cleaning 27984 clauses out of 56016 with flag 1486004/443846
195.25/181.39	c cleaning 29016 clauses out of 58031 with flag 1593012/473845
209.45/193.53	c cleaning 30007 clauses out of 60016 with flag 1693883/504846
221.26/205.00	c cleaning 30973 clauses out of 62008 with flag 1811865/536845
234.59/217.52	c cleaning 31953 clauses out of 64035 with flag 1934540/569845
247.50/229.96	c cleaning 33017 clauses out of 66083 with flag 2055766/603846
261.79/243.76	c cleaning 34033 clauses out of 68065 with flag 2175391/638845
276.59/257.98	c cleaning 34986 clauses out of 70033 with flag 2299994/674846
290.01/270.52	c cleaning 36007 clauses out of 72047 with flag 2428597/711846
303.69/283.60	c cleaning 36970 clauses out of 74040 with flag 2554776/749846
318.73/297.90	c cleaning 38028 clauses out of 76079 with flag 2684086/788855
333.96/312.63	c cleaning 39021 clauses out of 78041 with flag 2812515/828845
351.61/328.27	c cleaning 39950 clauses out of 80021 with flag 2953214/869846
366.22/342.10	c cleaning 41027 clauses out of 82070 with flag 3102691/911845
383.96/358.97	c cleaning 41998 clauses out of 84048 with flag 3250040/954850
402.11/376.20	c cleaning 42977 clauses out of 86049 with flag 3397510/998849
418.91/392.54	c cleaning 44033 clauses out of 88068 with flag 3552761/1043845
437.93/410.96	c cleaning 44978 clauses out of 90035 with flag 3705916/1089845
457.90/429.93	c cleaning 45987 clauses out of 92059 with flag 3868806/1136847
481.56/450.85	c cleaning 46996 clauses out of 94070 with flag 4019954/1184845
499.90/467.76	c cleaning 48004 clauses out of 96074 with flag 4178674/1233845
518.70/485.67	c cleaning 49011 clauses out of 98070 with flag 4336540/1283845
538.74/504.71	c cleaning 50030 clauses out of 100059 with flag 4494831/1334845
558.95/524.08	c cleaning 51004 clauses out of 102029 with flag 4675793/1386845
581.08/545.02	c cleaning 51994 clauses out of 104025 with flag 4856625/1439845
604.07/565.23	c cleaning 53004 clauses out of 106031 with flag 5038214/1493845
624.98/585.30	c cleaning 53977 clauses out of 108027 with flag 5222073/1548845
647.61/606.80	c cleaning 54974 clauses out of 110050 with flag 5408253/1604845
670.14/628.37	c cleaning 56013 clauses out of 112076 with flag 5593076/1661845
694.47/651.84	c cleaning 57000 clauses out of 114063 with flag 5793648/1719845
716.69/672.93	c cleaning 58000 clauses out of 116063 with flag 5979699/1778845
743.27/695.77	c cleaning 58990 clauses out of 118063 with flag 6177375/1838845
768.32/719.41	c cleaning 60010 clauses out of 120073 with flag 6394965/1899845
792.53/742.30	c cleaning 60988 clauses out of 122063 with flag 6592427/1961845
818.24/766.92	c cleaning 62009 clauses out of 124075 with flag 6815967/2024845
843.17/790.65	c cleaning 63018 clauses out of 126067 with flag 7027372/2088846
868.89/815.45	c cleaning 63964 clauses out of 128050 with flag 7237761/2153847
897.13/840.34	c cleaning 65043 clauses out of 130085 with flag 7439163/2219846
925.99/867.93	c cleaning 66008 clauses out of 132042 with flag 7651927/2286846
954.39/895.02	c cleaning 66971 clauses out of 134033 with flag 7869990/2354845
985.21/924.59	c cleaning 68031 clauses out of 136063 with flag 8087842/2423846
1017.36/955.48	c cleaning 68963 clauses out of 138031 with flag 8314939/2493845
1051.20/984.94	c cleaning 70000 clauses out of 140069 with flag 8547365/2564846
1081.78/1014.20	c cleaning 71011 clauses out of 142068 with flag 8768419/2636845
1110.58/1041.63	c cleaning 72007 clauses out of 144059 with flag 9020255/2709847
1143.84/1073.74	c cleaning 72999 clauses out of 146050 with flag 9251443/2783845
1173.71/1102.05	c cleaning 73986 clauses out of 148052 with flag 9493794/2858846
1208.29/1133.41	c cleaning 75033 clauses out of 150066 with flag 9736218/2934846
1240.32/1164.31	c cleaning 75990 clauses out of 152034 with flag 9984722/3011847
1271.65/1194.20	c cleaning 76993 clauses out of 154043 with flag 10232119/3089846
1302.36/1223.38	c cleaning 77983 clauses out of 156051 with flag 10487015/3168847
1333.92/1253.35	c cleaning 79027 clauses out of 158071 with flag 10750790/3248850
1371.78/1286.56	c cleaning 80001 clauses out of 160039 with flag 11031363/3329845
1407.43/1320.68	c cleaning 80992 clauses out of 162038 with flag 11339916/3411845
1442.96/1354.94	c cleaning 81997 clauses out of 164051 with flag 11605320/3494850
1476.96/1387.31	c cleaning 83016 clauses out of 166049 with flag 11896552/3578845
1516.53/1425.46	c cleaning 83976 clauses out of 168033 with flag 12212587/3663845
1556.21/1463.61	c cleaning 84993 clauses out of 170059 with flag 12535100/3749847
1598.41/1502.08	c cleaning 86027 clauses out of 172064 with flag 12845951/3836845
1638.27/1540.23	c cleaning 86994 clauses out of 174038 with flag 13143527/3924846
1678.51/1578.74	c cleaning 88022 clauses out of 176043 with flag 13450255/4013845
1718.58/1617.65	c cleaning 89010 clauses out of 178021 with flag 13763620/4103845
1758.16/1655.72	c cleaning 90001 clauses out of 180011 with flag 14082547/4194845
1799.75/1692.36	c cleaning 90977 clauses out of 182011 with flag 14382020/4286846
1839.40/1730.40	c cleaning 92012 clauses out of 184034 with flag 14686299/4379846
1876.07/1765.10	c cleaning 93005 clauses out of 186021 with flag 14989469/4473845
1921.01/1808.30	c cleaning 93978 clauses out of 188017 with flag 15301783/4568846
1961.87/1847.58	c cleaning 95012 clauses out of 190047 with flag 15628608/4664854
2004.64/1884.65	c cleaning 95967 clauses out of 192026 with flag 15956423/4761845
2047.13/1925.31	c cleaning 97019 clauses out of 194059 with flag 16272998/4859845
2095.91/1972.20	c cleaning 98003 clauses out of 196040 with flag 16587434/4958845
2140.39/2015.03	c cleaning 99004 clauses out of 198037 with flag 16916501/5058845
2189.35/2057.03	c cleaning 100001 clauses out of 200033 with flag 17222484/5159845
2237.12/2102.64	c cleaning 100995 clauses out of 202032 with flag 17535749/5261845
2280.63/2143.92	c cleaning 102003 clauses out of 204038 with flag 17872089/5364846
2325.57/2186.62	c cleaning 103003 clauses out of 206034 with flag 18193164/5468845
2373.74/2229.67	c cleaning 103977 clauses out of 208031 with flag 18503650/5573845
2418.90/2272.50	c cleaning 104981 clauses out of 210054 with flag 18858680/5679845
2460.67/2312.34	c cleaning 106028 clauses out of 212073 with flag 19204913/5786845
2507.82/2357.40	c cleaning 107011 clauses out of 214047 with flag 19551015/5894847
2558.53/2402.49	c cleaning 108006 clauses out of 216034 with flag 19913157/6003845
2607.60/2449.70	c cleaning 108998 clauses out of 218031 with flag 20308123/6113848
2655.33/2495.19	c cleaning 110005 clauses out of 220037 with flag 20658155/6224852
2703.90/2541.69	c cleaning 111007 clauses out of 222027 with flag 21010281/6336847
2756.62/2588.91	c cleaning 111981 clauses out of 224018 with flag 21351846/6449845
2807.41/2637.42	c cleaning 113000 clauses out of 226038 with flag 21698489/6563846
2857.11/2684.65	c cleaning 114009 clauses out of 228039 with flag 22023584/6678847
2916.24/2735.96	c cleaning 114970 clauses out of 230029 with flag 22358364/6794846
2967.76/2785.47	c cleaning 116003 clauses out of 232058 with flag 22757647/6911845
3019.13/2834.65	c cleaning 117025 clauses out of 234056 with flag 23156343/7029846
3072.40/2885.75	c cleaning 117957 clauses out of 236030 with flag 23551090/7148845
3125.98/2933.58	c cleaning 119018 clauses out of 238076 with flag 23926526/7268848
3176.96/2982.67	c cleaning 119994 clauses out of 240056 with flag 24327748/7389846
3231.88/3035.41	c cleaning 121025 clauses out of 242068 with flag 24732604/7511852
3285.68/3086.73	c cleaning 121987 clauses out of 244037 with flag 25174799/7634846
3342.28/3136.01	c cleaning 122961 clauses out of 246049 with flag 25581498/7758845
3393.43/3184.83	c cleaning 124024 clauses out of 248088 with flag 26011653/7883845
3448.29/3237.40	c cleaning 125007 clauses out of 250064 with flag 26427143/8009845
3503.95/3290.90	c cleaning 126007 clauses out of 252058 with flag 26855525/8136846
3563.19/3342.95	c cleaning 126992 clauses out of 254050 with flag 27280176/8264845
3600.01/3377.91	c starts		: 6957
3600.01/3377.91	c conflicts		: 8351960
3600.01/3377.91	c decisions		: 53235093
3600.01/3377.91	c propagations		: 596278610
3600.01/3377.91	c inspects		: 18199647711
3600.01/3377.92	c shortcuts		: 0
3600.01/3377.92	c learnt literals	: 0
3600.01/3377.92	c learnt binary clauses	: 0
3600.01/3377.92	c learnt ternary clauses	: 0
3600.01/3377.92	c learnt constraints	: 8351960
3600.01/3377.92	c ignored constraints	: 0
3600.01/3377.92	c root simplifications	: 0
3600.01/3377.92	c removed literals (reason simplification)	: 0
3600.01/3377.92	c reason swapping (by a shorter reason)	: 0
3600.01/3377.92	c Calls to reduceDB	: 127
3600.01/3377.92	c Number of update (reduction) of LBD	: 2198486
3600.01/3377.92	c Imported unit clauses	: 0
3600.01/3377.92	c No decision after first conflict	: false
3600.01/3377.92	c number of reductions to clauses (during analyze)	: 0
3600.01/3377.92	c number of learned constraints concerned by reduction	: 0
3600.01/3377.92	c number of learning phase by resolution	: 0
3600.01/3377.92	c number of learning phase by cutting planes	: 0
3600.01/3377.92	c number of rounding to 1 operations	: 0
3600.01/3377.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3377.92	c number of reductions of the coefficients by power 2 	: 0
3600.01/3377.92	c number of right shift for reduction by power 2 	: 0
3600.01/3377.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3377.92	c number of ending skipping 	: 0
3600.01/3377.92	c number of internal skipping 	: 0
3600.01/3377.92	c number of derivation steps 	: 0
3600.01/3377.92	c number of skipped derivation steps 	: 0
3600.01/3377.92	c number of remaining unassigned 	: 0
3600.01/3377.92	c number of remaining assigned 	: 0
3600.01/3377.92	c number of falsified literals weakened from reason	: 0
3600.01/3377.92	c number of falsified literals weakened from conflict	: 0
3600.01/3377.92	c time for arithmetic operations	: 0
3600.01/3377.92	c minimum degree of deleted constraints	: null
3600.01/3377.92	c maximum degree of deleted constraints	: null
3600.01/3377.92	c number of deleted constraints	: 0
3600.01/3377.93	c speed (assignments/second)	: 176570.24789717514
3600.01/3377.93	c non guided choices	: 1
3600.21/3378.04	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 214173
3600.21/3378.04	s SATISFIABLE
3600.21/3378.05	c Found 6 solution(s)
3600.21/3378.05	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 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 x2005 -x2006 x2007 x2008 -x2009 x2010 x2011 x2012 x2013 -x2014 -x2015 x2016 x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 
3600.21/3378.05	c objective function=-4631
3600.21/3378.05	c Total wall clock time (in seconds): 3377.719

Verifier Data 

OK	-4631

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432429-1721131353/watcher-4432429-1721131353 -o /tmp/evaluation-result-4432429-1721131353/solver-4432429-1721131353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721131365-854696 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432429-1721131353.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=854729, runsolver pid=854726

[startup+0.106661 s]*
/proc/loadavg: 3.23 3.99 4.18 7/246 854747
/proc/meminfo: memFree=128413672/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=18975048 memory=56644 CPUtime=0.13 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 6275 0 0 0 10 3 0 0 20 0 18 0 165293320 19430449152 14161 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4743762 14161 5515 1 0 550753 0
[pid=854729/tid=854731] ppid=854726 vsize=18975048 memory=4026532090 CPUtime=0.08 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 5246 0 0 0 6 2 0 0 20 0 18 0 165293320 19430449152 14161 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=18975048 memory=645 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165293326 19430449152 14161 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=18975048 memory=15821096972715725 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 165293327 19430449152 14161 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56644 KiB

[startup+0.214665 s]*
/proc/loadavg: 3.23 3.99 4.18 7/259 854770
/proc/meminfo: memFree=128398292/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=18975048 memory=59420 CPUtime=0.29 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 6941 0 0 0 25 4 0 0 20 0 18 0 165293320 19430449152 14855 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4743762 14855 5540 1 0 551320 0
[pid=854729/tid=854731] ppid=854726 vsize=18975048 memory=664970851429515383 CPUtime=0.18 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 5566 0 0 0 15 3 0 0 20 0 18 0 165293320 19430449152 14855 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=18975048 memory=215671374207 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165293326 19430449152 14855 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=18975048 memory=49543 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 165293327 19430449152 14855 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59420 KiB

[startup+0.316625 s]*
/proc/loadavg: 3.23 3.99 4.18 13/290 854803
/proc/meminfo: memFree=128329116/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=18975048 memory=65232 CPUtime=0.45 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 7210 0 0 0 41 4 0 0 20 0 18 0 165293320 19430449152 16308 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4743762 16308 5697 1 0 551500 0
[pid=854729/tid=854731] ppid=854726 vsize=18975048 memory=-8815624095696003772 CPUtime=0.27 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 5734 0 0 0 24 3 0 0 20 0 18 0 165293320 19430449152 16308 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165293326 19430449152 16308 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 165293327 19430449152 16308 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65232 KiB

[startup+0.700386 s]
/proc/loadavg: 3.23 3.99 4.18 11/313 854831
/proc/meminfo: memFree=128258784/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=18975048 memory=97800 CPUtime=1.17 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 9152 0 0 0 110 7 0 0 20 0 18 0 165293320 19430449152 24450 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4743762 24450 5819 1 0 552776 0
[pid=854729/tid=854731] ppid=854726 vsize=18975048 memory=43148 CPUtime=0.56 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 5840 0 0 0 52 4 0 0 20 0 18 0 165293320 19430449152 24450 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=18975048 memory=12676 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165293326 19430449152 24450 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=18975048 memory=2216 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 165293327 19430449152 24450 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 97800 KiB

[startup+1.50064 s]
/proc/loadavg: 3.23 3.99 4.18 11/317 854835
/proc/meminfo: memFree=127652160/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19041612 memory=154968 CPUtime=2.74 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 18300 0 0 0 264 10 0 0 20 0 19 0 165293320 19498610688 38742 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4760403 38742 5857 1 0 555802 0
[pid=854729/tid=854731] ppid=854726 vsize=19041612 memory=12676 CPUtime=1.32 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 6503 0 0 0 126 6 0 0 20 0 19 0 165293320 19498610688 38742 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19041612 memory=2216 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165293326 19498610688 38742 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 165293327 19498610688 38742 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854834] ppid=854726 vsize=19041612 memory=12440 CPUtime=0 cores=0,2
/proc/854729/task/854834/stat : 854834 (Timer-0) S 854726 854729 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 165293411 19498610688 38742 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 154968 KiB

[startup+3.11373 s]
/proc/loadavg: 3.45 4.03 4.19 7/319 854837
/proc/meminfo: memFree=118520076/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19108176 memory=205292 CPUtime=5.03 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 20640 0 0 0 491 12 0 0 20 0 20 0 165293320 19566772224 51323 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4777044 51323 5921 1 0 556119 0
[pid=854729/tid=854731] ppid=854726 vsize=19108176 memory=12440 CPUtime=2.87 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 6778 0 0 0 281 6 0 0 20 0 20 0 165293320 19566772224 51323 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165293326 19566772224 51323 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 165293327 19566772224 51323 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854834] ppid=854726 vsize=19108176 memory=2216 CPUtime=0 cores=0,2
/proc/854729/task/854834/stat : 854834 (Timer-0) S 854726 854729 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165293411 19566772224 51323 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205292 KiB

[startup+6.30048 s]
/proc/loadavg: 3.45 4.03 4.19 6/319 854837
/proc/meminfo: memFree=117171608/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19108176 memory=361612 CPUtime=8.65 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 22277 0 0 0 850 15 0 0 20 0 20 0 165293320 19566772224 90403 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4777044 90403 5921 1 0 556174 0
[pid=854729/tid=854731] ppid=854726 vsize=19108176 memory=0 CPUtime=5.77 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 7419 0 0 0 571 6 0 0 20 0 20 0 165293320 19566772224 90403 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19108176 memory=2216 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165293326 19566772224 90403 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19108176 memory=16328 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 165293327 19566772224 90403 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854834] ppid=854726 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/854729/task/854834/stat : 854834 (Timer-0) S 854726 854729 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165293411 19566772224 90403 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 8.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 361612 KiB

[startup+12.7005 s]
/proc/loadavg: 3.57 4.04 4.19 5/320 854840
/proc/meminfo: memFree=115872672/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19108176 memory=947872 CPUtime=16.46 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 28724 0 0 0 1618 28 0 0 20 0 20 0 165293320 19566772224 236968 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4777044 236968 5921 1 0 1013628 0
[pid=854729/tid=854731] ppid=854726 vsize=19108176 memory=671224 CPUtime=11.57 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 8740 0 0 0 1147 10 0 0 20 0 20 0 165293320 19566772224 236968 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165293326 19566772224 236968 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 165293327 19566772224 236968 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854834] ppid=854726 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/854729/task/854834/stat : 854834 (Timer-0) S 854726 854729 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165293411 19566772224 236968 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 16.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 947872 KiB

[startup+25.5005 s]
/proc/loadavg: 3.88 4.09 4.21 6/321 854842
/proc/meminfo: memFree=113924440/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19108176 memory=1874392 CPUtime=30.25 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 32308 0 0 0 2978 47 0 0 20 0 20 0 165293320 19566772224 468598 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4777044 468598 5921 1 0 1329132 0
[pid=854729/tid=854731] ppid=854726 vsize=19108176 memory=1571228 CPUtime=23.41 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 9913 0 0 0 2327 14 0 0 20 0 20 0 165293320 19566772224 468598 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19108176 memory=1532316 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165293326 19566772224 468598 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19108176 memory=-8744692401564918460 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 165293327 19566772224 468598 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854834] ppid=854726 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/854729/task/854834/stat : 854834 (Timer-0) S 854726 854729 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165293411 19566772224 468598 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 30.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1874392 KiB

[startup+51.113 s]
/proc/loadavg: 3.98 4.10 4.20 5/321 854847
/proc/meminfo: memFree=111704272/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19108176 memory=3184536 CPUtime=57.26 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 36910 0 0 0 5651 75 0 0 20 0 20 0 165293320 19566772224 796134 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4777044 796134 5926 1 0 1450290 0
[pid=854729/tid=854731] ppid=854726 vsize=19108176 memory=43148 CPUtime=47.46 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 11200 0 0 0 4727 19 0 0 20 0 20 0 165293320 19566772224 796134 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19108176 memory=279618209416144 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165293326 19566772224 796134 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 165293327 19566772224 796134 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0

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

/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165293326 19566772224 3095871 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19108176 memory=12383484 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 684 0 0 0 0 0 0 0 20 0 20 0 165293327 19566772224 3095871 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854834] ppid=854726 vsize=19108176 memory=-8744692401564918460 CPUtime=0 cores=0,2
/proc/854729/task/854834/stat : 854834 (Timer-0) S 854726 854729 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165293411 19566772224 3095871 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 3239.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12383484 KiB

[startup+3102.3 s]
/proc/loadavg: 4.29 4.36 4.30 6/319 856026
/proc/meminfo: memFree=89393808/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19108176 memory=12420388 CPUtime=3302.15 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 406164 0 0 0 329745 470 0 0 20 0 20 0 165293320 19566772224 3105097 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4777044 3105097 5942 1 0 3288902 0
[pid=854729/tid=854731] ppid=854726 vsize=19108176 memory=12440 CPUtime=2928.48 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 130086 0 0 0 292735 113 0 0 20 0 20 0 165293320 19566772224 3105097 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19108176 memory=279618208845312 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165293326 19566772224 3105097 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19108176 memory=12383524 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 684 0 0 0 0 0 0 0 20 0 20 0 165293327 19566772224 3105097 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854834] ppid=854726 vsize=19108176 memory=12383484 CPUtime=0 cores=0,2
/proc/854729/task/854834/stat : 854834 (Timer-0) S 854726 854729 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165293411 19566772224 3105097 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 3302.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12420388 KiB

[startup+3162.3 s]
/proc/loadavg: 4.28 4.33 4.29 5/319 856038
/proc/meminfo: memFree=88959920/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19108176 memory=12682612 CPUtime=3369.8 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 416289 0 0 0 336497 483 0 0 20 0 20 0 165293320 19566772224 3170653 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4777044 3170653 5942 1 0 3288956 0
[pid=854729/tid=854731] ppid=854726 vsize=19108176 memory=12440 CPUtime=2985.55 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 139197 0 0 0 298441 114 0 0 20 0 20 0 165293320 19566772224 3170653 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19108176 memory=12682612 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165293326 19566772224 3170653 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19108176 memory=143129785139974 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 684 0 0 0 0 0 0 0 20 0 20 0 165293327 19566772224 3170653 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854834] ppid=854726 vsize=19108176 memory=12682612 CPUtime=0 cores=0,2
/proc/854729/task/854834/stat : 854834 (Timer-0) S 854726 854729 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165293411 19566772224 3170653 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 3369.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12682612 KiB

[startup+3222.3 s]
/proc/loadavg: 4.29 4.32 4.29 5/319 856433
/proc/meminfo: memFree=88957104/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19108176 memory=12682612 CPUtime=3432.52 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 416788 0 0 0 342767 485 0 0 20 0 20 0 165293320 19566772224 3170653 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4777044 3170653 5942 1 0 3288956 0
[pid=854729/tid=854731] ppid=854726 vsize=19108176 memory=12682612 CPUtime=3042.48 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 139226 0 0 0 304134 114 0 0 20 0 20 0 165293320 19566772224 3170653 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165293326 19566772224 3170653 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19108176 memory=12682612 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 685 0 0 0 0 0 0 0 20 0 20 0 165293327 19566772224 3170653 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854834] ppid=854726 vsize=19108176 memory=12682612 CPUtime=0 cores=0,2
/proc/854729/task/854834/stat : 854834 (Timer-0) S 854726 854729 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165293411 19566772224 3170653 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 3432.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12682612 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.27 4.27 5/319 856445
/proc/meminfo: memFree=88742744/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19108176 memory=12682680 CPUtime=3494.9 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 417532 0 0 0 349002 488 0 0 20 0 20 0 165293320 19566772224 3170670 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4777044 3170670 5942 1 0 3288956 0
[pid=854729/tid=854731] ppid=854726 vsize=19108176 memory=12682612 CPUtime=3099.55 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 139356 0 0 0 309841 114 0 0 20 0 20 0 165293320 19566772224 3170670 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165293326 19566772224 3170670 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19108176 memory=104 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 685 0 0 0 0 0 0 0 20 0 20 0 165293327 19566772224 3170670 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854834] ppid=854726 vsize=19108176 memory=12682680 CPUtime=0 cores=0,2
/proc/854729/task/854834/stat : 854834 (Timer-0) S 854726 854729 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165293411 19566772224 3170670 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 3494.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12682680 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.27 4.27 5/319 856456
/proc/meminfo: memFree=88742180/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19108176 memory=12682956 CPUtime=3562.59 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 441652 0 0 0 355764 495 0 0 20 0 20 0 165293320 19566772224 3170739 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4777044 3170739 5942 1 0 3288956 0
[pid=854729/tid=854731] ppid=854726 vsize=19108176 memory=12682680 CPUtime=3156.61 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 143999 0 0 0 315547 114 0 0 20 0 20 0 165293320 19566772224 3170739 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165293326 19566772224 3170739 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 686 0 0 0 0 0 0 0 20 0 20 0 165293327 19566772224 3170739 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854834] ppid=854726 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/854729/task/854834/stat : 854834 (Timer-0) S 854726 854729 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165293411 19566772224 3170739 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 3562.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12682956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3377.9 s]
/proc/loadavg: 4.17 4.25 4.27 5/322 856632
/proc/meminfo: memFree=88638840/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19108176 memory=12682960 CPUtime=3600.01 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 442979 0 0 0 359504 497 0 0 20 0 20 0 165293320 19566772224 3170740 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4777044 3170740 5942 1 0 3288956 0
[pid=854729/tid=854731] ppid=854726 vsize=19108176 memory=12682680 CPUtime=3190.03 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 144442 0 0 0 318889 114 0 0 20 0 20 0 165293320 19566772224 3170740 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165293326 19566772224 3170740 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19108176 memory=12682960 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 706 0 0 0 0 0 0 0 20 0 20 0 165293327 19566772224 3170740 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854834] ppid=854726 vsize=19108176 memory=12682960 CPUtime=0 cores=0,2
/proc/854729/task/854834/stat : 854834 (Timer-0) S 854726 854729 854686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165293411 19566772224 3170740 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12682960 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.33 s, system=5.02639 s

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

[startup+3378 s]*
/proc/loadavg: 4.40 4.30 4.28 8/323 856635
/proc/meminfo: memFree=88638160/131655788 swapFree=131071996/131071996
[pid=854729] ppid=854726 vsize=19307868 memory=12683792 CPUtime=3600.21 cores=0,2
/proc/854729/stat : 854729 (java) S 854726 854729 854686 0 -1 1077936128 444691 0 0 0 359524 497 0 0 20 0 21 0 165293320 19771256832 3170948 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
/proc/854729/statm: 4826967 3170948 5941 1 0 3289946 0
[pid=854729/tid=854731] ppid=854726 vsize=19307868 memory=40292 CPUtime=3190.11 cores=0,2
/proc/854729/task/854731/stat : 854731 (java) R 854726 854729 854686 0 -1 4194368 144524 0 0 0 318897 114 0 0 20 0 21 0 165293320 19771256832 3170948 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854740] ppid=854726 vsize=19307868 memory=8144 CPUtime=0 cores=0,2
/proc/854729/task/854740/stat : 854740 (Finalizer) S 854726 854729 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 165293326 19771256832 3170948 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=854747] ppid=854726 vsize=19307868 memory=2100 CPUtime=0 cores=0,2
/proc/854729/task/854747/stat : 854747 (Common-Cleaner) S 854726 854729 854686 0 -1 1077936192 706 0 0 0 0 0 0 0 20 0 21 0 165293327 19771256832 3170948 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
[pid=854729/tid=856634] ppid=854726 vsize=19307868 memory=-7305251628563784826 CPUtime=0.07 cores=0,2
/proc/854729/task/856634/stat : 856634 (Thread-0) R 854726 854729 854686 0 -1 4194368 287 0 0 0 7 0 0 0 20 0 21 0 165631111 19771256832 3170948 134679101440 94852420386816 94852420390512 140731464880256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94852420398328 94852420399120 94852451303424 140731464885255 140731464885345 140731464885345 140731464892360 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 12683792 KiB

[startup+3378.11 s]*
/proc/loadavg: 4.40 4.30 4.28 5/304 856635
/proc/meminfo: memFree=101321016/131655788 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): 3378.12
CPU time (s): 3600.36
CPU user time (s): 3595.33
CPU system time (s): 5.02639
CPU usage (%): 106.579
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 12683792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.33
system time used= 5.02639
maximum resident set size= 12684924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120324
involuntary context switches= 37081


# summary of solver processes directly reported to runsolver:
#   pid: 854729
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3595.33
#   total CPU system time (s): 5.02639

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4373 second user time and 28.9328 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-16 14:02:45
IDJOB=4432429
IDBENCH=155343
IDSOLVER=3058
FILE ID=nodeC002/4432429-1721131353
RUNJOBID= nodeC002-1721131365-854696
SLURM_JOB_ID= 7505700
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z7-s2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432429-1721131353/watcher-4432429-1721131353 -o /tmp/evaluation-result-4432429-1721131353/solver-4432429-1721131353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721131365-854696 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432429-1721131353.opb

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

MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db
RANDOM SEED=711092653

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128469764 kB
MemAvailable:   129898956 kB
Buffers:          430896 kB
Cached:          1825004 kB
SwapCached:            0 kB
Active:           723700 kB
Inactive:        1901176 kB
Active(anon):       2588 kB
Inactive(anon):   404412 kB
Active(file):     721112 kB
Inactive(file):  1496764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6460 kB
Writeback:             8 kB
AnonPages:        369116 kB
Mapped:           103852 kB
Shmem:             37704 kB
KReclaimable:     102696 kB
Slab:             201960 kB
SReclaimable:     102696 kB
SUnreclaim:        99264 kB
KernelStack:        3648 kB
PageTables:         9076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     682544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54304 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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:      201544 kB
DirectMap2M:    20674560 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 723744 MiB
End job on nodeC002 at 2024-07-16 14:59:03