Trace number 3689569

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)-62360729 1800.77 1781.36

General information on the benchmark

Name/OPT-BIGINT-LIN/
heinz/normalized-harp2.opb
MD5SUM3f0afbcd16b5dd29f67967742a878949
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-67205306
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2993
Total number of constraints112
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints39
Minimum length of a constraint41
Maximum length of a constraint73
Number of terms in the objective function 2993
Biggest coefficient in the objective function 17006200
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 4415092451
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 4208540000
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 46909379837
Number of bits of the biggest sum of numbers36
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3689569-1337891658.opb
0.10/0.11	c reading problem ... 
0.30/0.25	c ... done. Wall clock time 0.14s.
0.30/0.25	c declared #vars     2993
0.30/0.25	c #constraints  185
0.30/0.25	c constraints type 
0.30/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 73
0.30/0.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 73
0.30/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 39
0.30/0.25	c 185 constraints processed.
0.30/0.25	c objective function length is 2993 literals
0.50/0.32	c SATISFIABLE
0.50/0.32	c OPTIMIZING...
0.50/0.32	c Got one! Elapsed wall clock time (in seconds):0.215
0.50/0.32	o -42724809
0.80/0.48	c Got one! Elapsed wall clock time (in seconds):0.377
0.80/0.48	o -44532111
1.10/0.51	c Got one! Elapsed wall clock time (in seconds):0.4
1.10/0.51	o -47180079
1.10/0.53	c Got one! Elapsed wall clock time (in seconds):0.427
1.10/0.53	o -53736086
1.10/0.55	c Got one! Elapsed wall clock time (in seconds):0.441
1.10/0.55	o -57073753
1.10/0.56	c Got one! Elapsed wall clock time (in seconds):0.453
1.10/0.56	o -57986341
1.10/0.57	c Got one! Elapsed wall clock time (in seconds):0.464
1.10/0.57	o -58258554
1.10/0.58	c Got one! Elapsed wall clock time (in seconds):0.472
1.10/0.58	o -58699781
1.10/0.59	c Got one! Elapsed wall clock time (in seconds):0.481
1.10/0.59	o -60823129
1.92/1.07	c Got one! Elapsed wall clock time (in seconds):0.965
1.92/1.07	o -60828527
1.92/1.08	c Got one! Elapsed wall clock time (in seconds):0.972
1.92/1.08	o -62354985
3.13/2.29	c cleaning 3004 clauses out of 6008 with flag 4001/6008
5.03/4.05	c cleaning 4499 clauses out of 9004 with flag 10001/12008
6.98/5.90	c cleaning 5747 clauses out of 11505 with flag 17001/19008
9.13/8.10	c cleaning 6879 clauses out of 13757 with flag 25000/27007
12.25/11.04	c cleaning 7931 clauses out of 15878 with flag 34000/36007
14.76/13.55	c cleaning 8975 clauses out of 17949 with flag 44002/46009
18.11/16.82	c cleaning 9982 clauses out of 19976 with flag 55004/57011
21.44/20.12	c cleaning 10993 clauses out of 21990 with flag 67000/69007
25.08/23.79	c cleaning 11999 clauses out of 23997 with flag 80000/82007
29.02/27.60	c cleaning 12996 clauses out of 26001 with flag 94003/96010
33.31/31.87	c cleaning 13996 clauses out of 28002 with flag 109000/111007
37.77/36.22	c cleaning 14996 clauses out of 30007 with flag 125001/127008
43.72/42.15	c cleaning 15999 clauses out of 32010 with flag 142000/144007
49.45/47.83	c cleaning 17005 clauses out of 34011 with flag 160000/162007
54.34/52.66	c cleaning 18003 clauses out of 36006 with flag 179000/181007
59.47/57.76	c cleaning 18997 clauses out of 38003 with flag 199000/201007
64.89/63.14	c cleaning 20000 clauses out of 40006 with flag 220000/222007
70.73/68.99	c cleaning 20999 clauses out of 42006 with flag 242000/244007
78.37/76.57	c cleaning 22001 clauses out of 44009 with flag 265002/267009
85.60/83.76	c cleaning 22996 clauses out of 46007 with flag 289001/291008
92.83/90.97	c cleaning 23999 clauses out of 48011 with flag 314001/316008
99.58/97.62	c cleaning 24996 clauses out of 50011 with flag 340000/342007
106.42/104.35	c cleaning 26000 clauses out of 52015 with flag 367000/369007
113.35/111.28	c cleaning 26997 clauses out of 54015 with flag 395000/397007
120.51/118.32	c cleaning 27997 clauses out of 56020 with flag 424002/426009
127.48/125.25	c cleaning 29004 clauses out of 58022 with flag 454001/456008
135.00/132.51	c cleaning 30004 clauses out of 60017 with flag 485000/487007
142.61/140.05	c cleaning 31003 clauses out of 62015 with flag 517002/519009
151.63/149.02	c cleaning 32001 clauses out of 64011 with flag 550001/552008
161.53/158.89	c cleaning 33002 clauses out of 66009 with flag 584000/586007
169.90/167.14	c cleaning 33986 clauses out of 68007 with flag 619000/621007
177.92/175.16	c cleaning 35000 clauses out of 70022 with flag 655001/657008
186.23/183.48	c cleaning 36001 clauses out of 72022 with flag 692001/694008
195.30/192.46	c cleaning 36996 clauses out of 74020 with flag 730000/732007
205.95/203.00	c cleaning 38006 clauses out of 76026 with flag 769002/771009
211.57/208.55	c Got one! Elapsed wall clock time (in seconds):208.44
211.57/208.55	o -62358993
213.08/210.01	c cleaning 30414 clauses out of 60828 with flag 5000/793817
214.84/211.78	c cleaning 18207 clauses out of 36414 with flag 11000/799817
216.85/213.74	c cleaning 12602 clauses out of 25208 with flag 18001/806818
219.16/216.01	c cleaning 10300 clauses out of 20607 with flag 26002/814819
221.91/218.75	c cleaning 9653 clauses out of 19305 with flag 35000/823817
224.93/221.76	c cleaning 9825 clauses out of 19654 with flag 45002/833819
228.25/225.08	c cleaning 10411 clauses out of 20828 with flag 56001/844818
231.87/228.61	c cleaning 11208 clauses out of 22417 with flag 68001/856818
235.70/232.44	c cleaning 12104 clauses out of 24208 with flag 81000/869817
239.83/236.57	c cleaning 13051 clauses out of 26112 with flag 95008/883825
244.08/240.78	c cleaning 14027 clauses out of 28054 with flag 110001/898818
247.90/244.59	c cleaning 15001 clauses out of 30029 with flag 126003/914820
252.32/248.91	c cleaning 16007 clauses out of 32029 with flag 143004/931821
256.76/253.37	c cleaning 17000 clauses out of 34020 with flag 161002/949819
261.59/258.19	c cleaning 18004 clauses out of 36020 with flag 180002/968819
266.99/263.55	c cleaning 18995 clauses out of 38016 with flag 200002/988819
272.52/269.00	c cleaning 20008 clauses out of 40020 with flag 221001/1009818
278.28/274.74	c cleaning 20997 clauses out of 42012 with flag 243001/1031818
284.06/280.49	c cleaning 22002 clauses out of 44014 with flag 266000/1054817
290.39/286.71	c cleaning 23005 clauses out of 46014 with flag 290002/1078819
296.63/292.98	c cleaning 23997 clauses out of 48007 with flag 315000/1103817
303.28/299.59	c cleaning 25005 clauses out of 50012 with flag 341002/1129819
310.56/306.71	c cleaning 25997 clauses out of 52008 with flag 368003/1156820
317.62/313.74	c cleaning 26986 clauses out of 54009 with flag 396001/1184818
320.55/316.66	c Got one! Elapsed wall clock time (in seconds):316.55
320.55/316.66	o -62360729
322.05/318.18	c cleaning 20951 clauses out of 41901 with flag 5000/1199696
323.98/320.08	c cleaning 13470 clauses out of 26950 with flag 11000/1205696
326.09/322.11	c cleaning 10235 clauses out of 20480 with flag 18000/1212696
328.50/324.52	c cleaning 9120 clauses out of 18245 with flag 26000/1220696
331.21/327.28	c cleaning 9063 clauses out of 18125 with flag 35000/1229696
334.33/330.39	c cleaning 9526 clauses out of 19064 with flag 45002/1239698
337.65/333.66	c cleaning 10264 clauses out of 20537 with flag 56001/1250697
341.29/337.20	c cleaning 11135 clauses out of 22272 with flag 68000/1262696
345.12/341.01	c cleaning 12067 clauses out of 24138 with flag 81001/1275697
349.15/345.10	c cleaning 13036 clauses out of 26071 with flag 95001/1289697
354.31/350.15	c cleaning 14011 clauses out of 28035 with flag 110001/1304697
359.55/355.32	c cleaning 15008 clauses out of 30024 with flag 126001/1320697
364.95/360.74	c cleaning 16002 clauses out of 32015 with flag 143000/1337696
370.58/366.31	c cleaning 17006 clauses out of 34018 with flag 161005/1355701
376.57/372.37	c cleaning 17993 clauses out of 36008 with flag 180001/1374697
382.89/378.62	c cleaning 19003 clauses out of 38014 with flag 200000/1394696
389.46/385.13	c cleaning 20006 clauses out of 40011 with flag 221000/1415696
396.28/391.94	c cleaning 21000 clauses out of 42007 with flag 243002/1437698
403.55/399.20	c cleaning 21995 clauses out of 44006 with flag 266001/1460697
411.11/406.67	c cleaning 22998 clauses out of 46010 with flag 290000/1484696
419.07/414.52	c cleaning 24000 clauses out of 48012 with flag 315000/1509696
426.74/422.14	c cleaning 24990 clauses out of 50012 with flag 341000/1535696
435.27/430.60	c cleaning 26006 clauses out of 52025 with flag 368003/1562699
444.13/439.41	c cleaning 27010 clauses out of 54022 with flag 396006/1590702
452.90/448.14	c cleaning 27997 clauses out of 56006 with flag 425000/1619696
462.20/457.42	c cleaning 28997 clauses out of 58011 with flag 455002/1649698
469.77/464.99	c cleaning 30004 clauses out of 60014 with flag 486002/1680698
478.51/473.68	c cleaning 30996 clauses out of 62008 with flag 518000/1712696
487.01/482.01	c cleaning 32005 clauses out of 64013 with flag 551001/1745697
495.37/490.30	c cleaning 33005 clauses out of 66012 with flag 585005/1779701
503.40/498.34	c cleaning 33999 clauses out of 68002 with flag 620000/1814696
511.54/506.46	c cleaning 34992 clauses out of 70003 with flag 656000/1850696
519.80/514.70	c cleaning 35994 clauses out of 72012 with flag 693001/1887697
528.54/523.38	c cleaning 37005 clauses out of 74018 with flag 731001/1925697
537.10/531.88	c cleaning 37998 clauses out of 76013 with flag 770001/1964697
545.92/540.68	c cleaning 39007 clauses out of 78014 with flag 810000/2004696
555.51/550.14	c cleaning 39996 clauses out of 80008 with flag 851001/2045697
568.03/562.34	c cleaning 40998 clauses out of 82012 with flag 893001/2087697
579.78/574.08	c cleaning 42007 clauses out of 84013 with flag 936000/2130696
593.79/587.90	c cleaning 43000 clauses out of 86006 with flag 980000/2174696
606.70/600.79	c cleaning 43993 clauses out of 88006 with flag 1025000/2219696
620.96/614.94	c cleaning 45001 clauses out of 90014 with flag 1071001/2265697
633.29/627.18	c cleaning 45993 clauses out of 92012 with flag 1118000/2312696
646.21/640.10	c cleaning 47006 clauses out of 94020 with flag 1166001/2360697
660.89/654.63	c cleaning 48000 clauses out of 96014 with flag 1215001/2409697
673.81/667.41	c cleaning 49000 clauses out of 98013 with flag 1265000/2459696
687.84/681.44	c cleaning 50002 clauses out of 100013 with flag 1316000/2510696
703.51/696.94	c cleaning 51001 clauses out of 102011 with flag 1368000/2562696
719.62/712.90	c cleaning 52002 clauses out of 104011 with flag 1421001/2615697
734.55/727.72	c cleaning 53005 clauses out of 106009 with flag 1475001/2669697
747.08/740.29	c cleaning 53998 clauses out of 108003 with flag 1530000/2724696
761.82/754.92	c cleaning 54997 clauses out of 110005 with flag 1586000/2780696
777.59/770.63	c cleaning 56000 clauses out of 112009 with flag 1643001/2837697
793.48/786.28	c cleaning 56998 clauses out of 114011 with flag 1701003/2895699
810.90/803.46	c cleaning 58000 clauses out of 116011 with flag 1760001/2954697
829.07/821.12	c cleaning 59006 clauses out of 118011 with flag 1820001/3014697
850.94/842.69	c cleaning 59993 clauses out of 120004 with flag 1881000/3075696
874.48/865.75	c cleaning 61000 clauses out of 122012 with flag 1943001/3137697
896.57/887.64	c cleaning 62006 clauses out of 124012 with flag 2006001/3200697
921.70/912.47	c cleaning 63003 clauses out of 126005 with flag 2070000/3264696
942.87/933.18	c cleaning 63992 clauses out of 128002 with flag 2135000/3329696
962.64/952.80	c cleaning 65003 clauses out of 130012 with flag 2201002/3395698
981.62/971.79	c cleaning 65997 clauses out of 132008 with flag 2268001/3462697
1002.70/992.55	c cleaning 67002 clauses out of 134011 with flag 2336001/3530697
1024.58/1014.36	c cleaning 68002 clauses out of 136011 with flag 2405003/3599699
1043.29/1032.99	c cleaning 68996 clauses out of 138006 with flag 2475000/3669696
1065.92/1055.53	c cleaning 70004 clauses out of 140011 with flag 2546001/3740697
1088.94/1078.46	c cleaning 70995 clauses out of 142006 with flag 2618000/3812696
1111.42/1100.84	c cleaning 72003 clauses out of 144012 with flag 2691001/3885697
1134.28/1123.55	c cleaning 73001 clauses out of 146010 with flag 2765002/3959698
1160.70/1149.80	c cleaning 73994 clauses out of 148007 with flag 2840000/4034696
1186.59/1175.28	c cleaning 75004 clauses out of 150014 with flag 2916001/4110697
1209.30/1197.64	c cleaning 76004 clauses out of 152010 with flag 2993001/4187697
1235.98/1224.09	c cleaning 76997 clauses out of 154005 with flag 3071000/4265696
1267.61/1255.33	c cleaning 78005 clauses out of 156009 with flag 3150001/4344697
1299.23/1286.55	c cleaning 78996 clauses out of 158004 with flag 3230001/4424697
1323.30/1310.27	c cleaning 79998 clauses out of 160007 with flag 3311000/4505696
1344.70/1331.30	c cleaning 80999 clauses out of 162009 with flag 3393000/4587696
1368.84/1355.15	c cleaning 82005 clauses out of 164010 with flag 3476000/4670696
1394.05/1379.95	c cleaning 82995 clauses out of 166005 with flag 3560000/4754696
1417.40/1402.90	c cleaning 84002 clauses out of 168010 with flag 3645000/4839696
1443.22/1428.40	c cleaning 84999 clauses out of 170008 with flag 3731000/4925696
1471.15/1456.02	c cleaning 86002 clauses out of 172009 with flag 3818000/5012696
1508.83/1493.33	c cleaning 86999 clauses out of 174008 with flag 3906001/5100697
1537.41/1521.40	c cleaning 88000 clauses out of 176009 with flag 3995001/5189697
1570.00/1553.65	c cleaning 88998 clauses out of 178008 with flag 4085000/5279696
1604.51/1587.84	c cleaning 90000 clauses out of 180010 with flag 4176000/5370696
1641.19/1624.16	c cleaning 90996 clauses out of 182010 with flag 4268000/5462696
1674.39/1657.00	c cleaning 91998 clauses out of 184014 with flag 4361000/5555696
1713.24/1695.59	c cleaning 93001 clauses out of 186018 with flag 4455002/5649698
1749.10/1730.93	c cleaning 94008 clauses out of 188015 with flag 4550000/5744696
1783.71/1765.17	c cleaning 94997 clauses out of 190007 with flag 4646000/5840696
1800.00/1781.31	c starts		: 288
1800.00/1781.31	c conflicts		: 5891113
1800.00/1781.31	c decisions		: 6187930
1800.00/1781.31	c propagations		: 68828627
1800.00/1781.31	c inspects		: 6575285110
1800.00/1781.31	c shortcuts		: 0
1800.00/1781.31	c learnt literals	: 0
1800.00/1781.31	c learnt binary clauses	: 2
1800.00/1781.31	c learnt ternary clauses	: 0
1800.00/1781.31	c learnt constraints	: 5891113
1800.00/1781.31	c ignored constraints	: 0
1800.00/1781.31	c root simplifications	: 0
1800.00/1781.31	c removed literals (reason simplification)	: 0
1800.00/1781.31	c reason swapping (by a shorter reason)	: 0
1800.00/1781.31	c Calls to reduceDB	: 151
1800.00/1781.31	c number of reductions to clauses (during analyze)	: 0
1800.00/1781.31	c number of learned constraints concerned by reduction	: 0
1800.00/1781.31	c number of learning phase by resolution	: 0
1800.00/1781.31	c number of learning phase by cutting planes	: 0
1800.00/1781.31	c speed (assignments/second)	: 38645.306801943814
1800.00/1781.31	c non guided choices	23
1800.00/1781.34	c learnt constraints type 
1800.00/1781.34	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2
1800.00/1781.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 145506
1800.00/1781.34	c constraints type 
1800.00/1781.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 73
1800.00/1781.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 73
1800.00/1781.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 40
1800.00/1781.34	c 186 constraints processed.
1800.00/1781.34	s SATISFIABLE
1800.00/1781.35	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 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 
1800.00/1781.35	c objective function=-62360729
1800.00/1781.35	c Total wall clock time (in seconds): 1781.242

Verifier Data

OK	-62360729

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3689569-1337891658/watcher-3689569-1337891658 -o /tmp/evaluation-result-3689569-1337891658/solver-3689569-1337891658 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689569-1337891658.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.16 2.05 2.01 2/194 23866
/proc/meminfo: memFree=28753012/32873648 swapFree=6844/6844
[pid=23866] ppid=23864 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/23866/stat : 23866 (java) R 23864 23866 21479 0 -1 4202496 1063 0 0 0 0 0 0 0 20 0 1 0 255292589 23793664 791 33554432000 1073741824 1073778376 140733517563552 140733517552616 139841784029161 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23866/statm: 5809 812 606 9 0 128 0

[startup+0.02121 s]
/proc/loadavg: 2.16 2.05 2.01 2/194 23866
/proc/meminfo: memFree=28753012/32873648 swapFree=6844/6844
[pid=23866] ppid=23864 vsize=9016616 CPUtime=0.01 cores=1,3,5,7
/proc/23866/stat : 23866 (java) S 23864 23866 21479 0 -1 4202496 2778 0 1 0 1 0 0 0 20 0 10 0 255292589 9233014784 3478 33554432000 1073741824 1073778376 140733517563552 140733517554688 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23866/statm: 2254154 3478 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616

[startup+0.100293 s]
/proc/loadavg: 2.16 2.05 2.01 2/194 23866
/proc/meminfo: memFree=28753012/32873648 swapFree=6844/6844
[pid=23866] ppid=23864 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/23866/stat : 23866 (java) S 23864 23866 21479 0 -1 4202496 4380 0 1 0 9 1 0 0 20 0 18 0 255292589 9787813888 5584 33554432000 1073741824 1073778376 140733517563552 140733517554688 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23866/statm: 2389603 5584 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300158 s]
/proc/loadavg: 2.16 2.05 2.01 2/194 23866
/proc/meminfo: memFree=28753012/32873648 swapFree=6844/6844
[pid=23866] ppid=23864 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23866/stat : 23866 (java) S 23864 23866 21479 0 -1 4202496 6112 0 1 0 49 1 0 0 20 0 19 0 255292589 9855975424 9215 33554432000 1073741824 1073778376 140733517563552 140733517554688 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23866/statm: 2406244 9215 2228 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624976

[startup+0.700163 s]
/proc/loadavg: 2.16 2.05 2.01 2/194 23866
/proc/meminfo: memFree=28753012/32873648 swapFree=6844/6844
[pid=23866] ppid=23864 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/23866/stat : 23866 (java) S 23864 23866 21479 0 -1 4202496 10915 0 1 0 157 2 0 0 20 0 19 0 255292589 9855975424 14587 33554432000 1073741824 1073778376 140733517563552 140733517554688 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23866/statm: 2406244 14587 2245 9 0 2396937 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 9624976

[startup+1.50063 s]
/proc/loadavg: 2.16 2.05 2.01 3/213 23885
/proc/meminfo: memFree=28699236/32873648 swapFree=6844/6844
[pid=23866] ppid=23864 vsize=9624976 CPUtime=2.43 cores=1,3,5,7
/proc/23866/stat : 23866 (java) S 23864 23866 21479 0 -1 4202496 11390 0 1 0 240 3 0 0 20 0 19 0 255292589 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 140733517554688 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23866/statm: 2406244 18156 2248 9 0 2396937 0
[pid=23866/tid=23868] ppid=23864 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/23866/task/23868/stat : 23868 (java) R 23864 23866 21479 0 -1 4202560 2474 0 1 0 146 1 0 0 20 0 19 0 255292589 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841777502888 139841602472232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23869] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23869/stat : 23869 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841738996520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23870] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23870/stat : 23870 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841737943720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23871] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23871/stat : 23871 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841736891432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23872] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23872/stat : 23872 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841735838632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23873] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23873/stat : 23873 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841734785320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23874] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23874/stat : 23874 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841733732520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23875] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23875/stat : 23875 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841732680232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23876] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23876/stat : 23876 (java) S 23864 23866 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841731627432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23877] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23877/stat : 23877 (java) S 23864 23866 21479 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255292591 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841600740072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23878] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23878/stat : 23878 (java) S 23864 23866 21479 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255292591 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841599686136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23879] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23879/stat : 23879 (java) S 23864 23866 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255292592 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841598633736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23880] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23880/stat : 23880 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841597582224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23881] ppid=23864 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23866/task/23881/stat : 23881 (java) S 23864 23866 21479 0 -1 4202560 4293 0 0 0 45 0 0 0 20 0 19 0 255292594 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841596528824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23882] ppid=23864 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23866/task/23882/stat : 23882 (java) S 23864 23866 21479 0 -1 4202560 3429 0 0 0 45 0 0 0 20 0 19 0 255292594 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841595476024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23883] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23883/stat : 23883 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841594423928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23884] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23884/stat : 23884 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841593371336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23885] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23885/stat : 23885 (java) S 23864 23866 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255292616 9855975424 18156 33554432000 1073741824 1073778376 140733517563552 139841592317352 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9624976

[startup+3.10063 s]
/proc/loadavg: 2.16 2.05 2.01 3/213 23885
/proc/meminfo: memFree=28678764/32873648 swapFree=6844/6844
[pid=23866] ppid=23864 vsize=9624976 CPUtime=4.1 cores=1,3,5,7
/proc/23866/stat : 23866 (java) S 23864 23866 21479 0 -1 4202496 11480 0 1 0 406 4 0 0 20 0 19 0 255292589 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 140733517554688 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23866/statm: 2406244 28953 2274 9 0 2396937 0
[pid=23866/tid=23868] ppid=23864 vsize=9624976 CPUtime=3.05 cores=1,3,5,7
/proc/23866/task/23868/stat : 23868 (java) R 23864 23866 21479 0 -1 4202560 2484 0 1 0 303 2 0 0 20 0 19 0 255292589 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841777504696 139841602518935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23869] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23869/stat : 23869 (java) S 23864 23866 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841738996520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23870] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23870/stat : 23870 (java) S 23864 23866 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841737943720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23871] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23871/stat : 23871 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841736891432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23872] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23872/stat : 23872 (java) S 23864 23866 21479 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841735838632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23873] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23873/stat : 23873 (java) S 23864 23866 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841734785320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23874] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23874/stat : 23874 (java) S 23864 23866 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841733732520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23875] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23875/stat : 23875 (java) S 23864 23866 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841732680232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23876] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23876/stat : 23876 (java) S 23864 23866 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841731627432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23877] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23877/stat : 23877 (java) S 23864 23866 21479 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 19 0 255292591 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841600740072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23878] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23878/stat : 23878 (java) S 23864 23866 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255292591 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841599686136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23879] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23879/stat : 23879 (java) S 23864 23866 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255292592 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841598633736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23880] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23880/stat : 23880 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841597582224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23881] ppid=23864 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23866/task/23881/stat : 23881 (java) S 23864 23866 21479 0 -1 4202560 4295 0 0 0 48 0 0 0 20 0 19 0 255292594 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841596528824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23882] ppid=23864 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23866/task/23882/stat : 23882 (java) S 23864 23866 21479 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 255292594 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841595476024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23883] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23883/stat : 23883 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841594423928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23884] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23884/stat : 23884 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841593371336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23885] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23885/stat : 23885 (java) S 23864 23866 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255292616 9855975424 28953 33554432000 1073741824 1073778376 140733517563552 139841592317352 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9624976

[startup+6.30068 s]
/proc/loadavg: 2.15 2.05 2.01 3/213 23885
/proc/meminfo: memFree=28597648/32873648 swapFree=6844/6844
[pid=23866] ppid=23864 vsize=9624976 CPUtime=7.43 cores=1,3,5,7
/proc/23866/stat : 23866 (java) S 23864 23866 21479 0 -1 4202496 12037 0 1 0 735 8 0 0 20 0 19 0 255292589 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 140733517554688 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23866/statm: 2406244 42023 2274 9 0 2396937 0
[pid=23866/tid=23868] ppid=23864 vsize=9624976 CPUtime=6.18 cores=1,3,5,7
/proc/23866/task/23868/stat : 23868 (java) R 23864 23866 21479 0 -1 4202560 2485 0 1 0 616 2 0 0 20 0 19 0 255292589 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841777504608 139841602314829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23869] ppid=23864 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23866/task/23869/stat : 23869 (java) S 23864 23866 21479 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 255292590 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841738996520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23870] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23870/stat : 23870 (java) S 23864 23866 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841737943720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23871] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23871/stat : 23871 (java) S 23864 23866 21479 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841736891432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23872] ppid=23864 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23866/task/23872/stat : 23872 (java) S 23864 23866 21479 0 -1 4202560 125 0 0 0 1 0 0 0 20 0 19 0 255292590 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841735838632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23873] ppid=23864 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23866/task/23873/stat : 23873 (java) S 23864 23866 21479 0 -1 4202560 163 0 0 0 0 2 0 0 20 0 19 0 255292590 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841734785320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23874] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23874/stat : 23874 (java) S 23864 23866 21479 0 -1 4202560 139 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841733732520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23875] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23875/stat : 23875 (java) S 23864 23866 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255292590 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841732680232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23876] ppid=23864 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23866/task/23876/stat : 23876 (java) S 23864 23866 21479 0 -1 4202560 132 0 0 0 1 0 0 0 20 0 19 0 255292590 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841731627432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23877] ppid=23864 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/23866/task/23877/stat : 23877 (java) S 23864 23866 21479 0 -1 4202560 45 0 0 0 3 0 0 0 20 0 19 0 255292591 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841600740072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23878] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23878/stat : 23878 (java) S 23864 23866 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255292591 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841599686136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23879] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23879/stat : 23879 (java) S 23864 23866 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255292592 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841598633736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23880] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23880/stat : 23880 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841597582224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23881] ppid=23864 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23866/task/23881/stat : 23881 (java) S 23864 23866 21479 0 -1 4202560 4295 0 0 0 50 0 0 0 20 0 19 0 255292594 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841596528824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23882] ppid=23864 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23866/task/23882/stat : 23882 (java) S 23864 23866 21479 0 -1 4202560 3434 0 0 0 48 0 0 0 20 0 19 0 255292594 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841595476024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23883] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23883/stat : 23883 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841594423928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23884] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23884/stat : 23884 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841593371336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23885] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23885/stat : 23885 (java) S 23864 23866 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255292616 9855975424 42023 33554432000 1073741824 1073778376 140733517563552 139841592317352 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=23866/tid=23874] ppid=23864 vsize=9624976 CPUtime=2.49 cores=1,3,5,7
/proc/23866/task/23874/stat : 23874 (java) S 23864 23866 21479 0 -1 4202560 780 0 0 0 229 20 0 0 20 0 19 0 255292590 9855975424 477153 33554432000 1073741824 1073778376 140733517563552 139841733732520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23875] ppid=23864 vsize=9624976 CPUtime=2.66 cores=1,3,5,7
/proc/23866/task/23875/stat : 23875 (java) S 23864 23866 21479 0 -1 4202560 800 0 0 0 238 28 0 0 20 0 19 0 255292590 9855975424 477153 33554432000 1073741824 1073778376 140733517563552 139841732680232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23876] ppid=23864 vsize=9624976 CPUtime=3.21 cores=1,3,5,7
/proc/23866/task/23876/stat : 23876 (java) S 23864 23866 21479 0 -1 4202560 1059 0 0 0 295 26 0 0 20 0 19 0 255292590 9855975424 477153 33554432000 1073741824 1073778376 140733517563552 139841731627432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23877] ppid=23864 vsize=9624976 CPUtime=7.07 cores=1,3,5,7
/proc/23866/task/23877/stat : 23877 (java) S 23864 23866 21479 0 -1 4202560 2066 0 0 0 703 4 0 0 20 0 19 0 255292591 9855975424 477153 33554432000 1073741824 1073778376 140733517563552 139841600740072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23878] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23878/stat : 23878 (java) S 23864 23866 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255292591 9855975424 477153 33554432000 1073741824 1073778376 140733517563552 139841599686136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23879] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23879/stat : 23879 (java) S 23864 23866 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255292592 9855975424 477153 33554432000 1073741824 1073778376 140733517563552 139841598633736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23880] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23880/stat : 23880 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 477153 33554432000 1073741824 1073778376 140733517563552 139841597582224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23881] ppid=23864 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23866/task/23881/stat : 23881 (java) S 23864 23866 21479 0 -1 4202560 4296 0 0 0 50 0 0 0 20 0 19 0 255292594 9855975424 477153 33554432000 1073741824 1073778376 140733517563552 139841596528824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23882] ppid=23864 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/23866/task/23882/stat : 23882 (java) S 23864 23866 21479 0 -1 4202560 4049 0 0 0 56 0 0 0 20 0 19 0 255292594 9855975424 477153 33554432000 1073741824 1073778376 140733517563552 139841595476024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23883] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23883/stat : 23883 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 477153 33554432000 1073741824 1073778376 140733517563552 139841594423928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23884] ppid=23864 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/23866/task/23884/stat : 23884 (java) S 23864 23866 21479 0 -1 4202560 95 0 0 0 31 24 0 0 20 0 19 0 255292594 9855975424 477153 33554432000 1073741824 1073778376 140733517563552 139841593371336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23885] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23885/stat : 23885 (java) S 23864 23866 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255292616 9855975424 477153 33554432000 1073741824 1073778376 140733517563552 139841592317352 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1679.77
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.99 2.03 2.04 3/213 23923
/proc/meminfo: memFree=26612152/32873648 swapFree=6844/6844
[pid=23866] ppid=23864 vsize=9624976 CPUtime=1740.25 cores=1,3,5,7
/proc/23866/stat : 23866 (java) S 23864 23866 21479 0 -1 4202496 22334 0 1 0 173790 235 0 0 20 0 19 0 255292589 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 140733517554688 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23866/statm: 2406244 481277 2275 9 0 2396937 0
[pid=23866/tid=23868] ppid=23864 vsize=9624976 CPUtime=1708.74 cores=1,3,5,7
/proc/23866/task/23868/stat : 23868 (java) R 23864 23866 21479 0 -1 4202560 3197 0 1 0 170843 31 0 0 20 0 19 0 255292589 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841777504608 139841602416271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23869] ppid=23864 vsize=9624976 CPUtime=2.91 cores=1,3,5,7
/proc/23866/task/23869/stat : 23869 (java) S 23864 23866 21479 0 -1 4202560 725 0 0 0 266 25 0 0 20 0 19 0 255292590 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841738996520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23870] ppid=23864 vsize=9624976 CPUtime=2.97 cores=1,3,5,7
/proc/23866/task/23870/stat : 23870 (java) S 23864 23866 21479 0 -1 4202560 1036 0 0 0 264 33 0 0 20 0 19 0 255292590 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841737943720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23871] ppid=23864 vsize=9624976 CPUtime=2.94 cores=1,3,5,7
/proc/23866/task/23871/stat : 23871 (java) S 23864 23866 21479 0 -1 4202560 925 0 0 0 268 26 0 0 20 0 19 0 255292590 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841736891432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23872] ppid=23864 vsize=9624976 CPUtime=2.75 cores=1,3,5,7
/proc/23866/task/23872/stat : 23872 (java) S 23864 23866 21479 0 -1 4202560 989 0 0 0 254 21 0 0 20 0 19 0 255292590 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841735838632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23873] ppid=23864 vsize=9624976 CPUtime=2.83 cores=1,3,5,7
/proc/23866/task/23873/stat : 23873 (java) S 23864 23866 21479 0 -1 4202560 1088 0 0 0 255 28 0 0 20 0 19 0 255292590 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841734785320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23874] ppid=23864 vsize=9624976 CPUtime=2.55 cores=1,3,5,7
/proc/23866/task/23874/stat : 23874 (java) S 23864 23866 21479 0 -1 4202560 781 0 0 0 234 21 0 0 20 0 19 0 255292590 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841733732520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23875] ppid=23864 vsize=9624976 CPUtime=2.78 cores=1,3,5,7
/proc/23866/task/23875/stat : 23875 (java) S 23864 23866 21479 0 -1 4202560 808 0 0 0 250 28 0 0 20 0 19 0 255292590 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841732680232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23876] ppid=23864 vsize=9624976 CPUtime=3.36 cores=1,3,5,7
/proc/23866/task/23876/stat : 23876 (java) S 23864 23866 21479 0 -1 4202560 1060 0 0 0 310 26 0 0 20 0 19 0 255292590 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841731627432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23877] ppid=23864 vsize=9624976 CPUtime=7.14 cores=1,3,5,7
/proc/23866/task/23877/stat : 23877 (java) S 23864 23866 21479 0 -1 4202560 2101 0 0 0 710 4 0 0 20 0 19 0 255292591 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841600740072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23878] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23878/stat : 23878 (java) S 23864 23866 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255292591 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841599686136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23879] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23879/stat : 23879 (java) S 23864 23866 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255292592 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841598633736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23880] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23880/stat : 23880 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841597582224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23881] ppid=23864 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23866/task/23881/stat : 23881 (java) S 23864 23866 21479 0 -1 4202560 4296 0 0 0 50 0 0 0 20 0 19 0 255292594 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841596528824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23882] ppid=23864 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/23866/task/23882/stat : 23882 (java) S 23864 23866 21479 0 -1 4202560 4049 0 0 0 56 0 0 0 20 0 19 0 255292594 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841595476024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23883] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23883/stat : 23883 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841594423928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23884] ppid=23864 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/23866/task/23884/stat : 23884 (java) S 23864 23866 21479 0 -1 4202560 99 0 0 0 33 25 0 0 20 0 19 0 255292594 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841593371336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23885] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23885/stat : 23885 (java) S 23864 23866 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255292616 9855975424 481277 33554432000 1073741824 1073778376 140733517563552 139841592317352 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1740.25
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.3 s]
/proc/loadavg: 2.03 2.04 2.03 3/213 23982
/proc/meminfo: memFree=26885160/32873648 swapFree=6844/6844
[pid=23866] ppid=23864 vsize=9624976 CPUtime=1800 cores=1,3,5,7
/proc/23866/stat : 23866 (java) S 23864 23866 21479 0 -1 4202496 22409 0 1 0 179762 238 0 0 20 0 19 0 255292589 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 140733517554688 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23866/statm: 2406244 485882 2275 9 0 2396937 0
[pid=23866/tid=23868] ppid=23864 vsize=9624976 CPUtime=1767.25 cores=1,3,5,7
/proc/23866/task/23868/stat : 23868 (java) R 23864 23866 21479 0 -1 4202560 3201 0 1 0 176693 32 0 0 20 0 19 0 255292589 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841777504608 139841602372501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23869] ppid=23864 vsize=9624976 CPUtime=3.06 cores=1,3,5,7
/proc/23866/task/23869/stat : 23869 (java) S 23864 23866 21479 0 -1 4202560 734 0 0 0 280 26 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841738996520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23870] ppid=23864 vsize=9624976 CPUtime=3.1 cores=1,3,5,7
/proc/23866/task/23870/stat : 23870 (java) S 23864 23866 21479 0 -1 4202560 1038 0 0 0 277 33 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841737943720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23871] ppid=23864 vsize=9624976 CPUtime=3.09 cores=1,3,5,7
/proc/23866/task/23871/stat : 23871 (java) S 23864 23866 21479 0 -1 4202560 928 0 0 0 283 26 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841736891432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23872] ppid=23864 vsize=9624976 CPUtime=2.83 cores=1,3,5,7
/proc/23866/task/23872/stat : 23872 (java) S 23864 23866 21479 0 -1 4202560 992 0 0 0 262 21 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841735838632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23873] ppid=23864 vsize=9624976 CPUtime=2.99 cores=1,3,5,7
/proc/23866/task/23873/stat : 23873 (java) S 23864 23866 21479 0 -1 4202560 1089 0 0 0 271 28 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841734785320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23874] ppid=23864 vsize=9624976 CPUtime=2.64 cores=1,3,5,7
/proc/23866/task/23874/stat : 23874 (java) S 23864 23866 21479 0 -1 4202560 785 0 0 0 243 21 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841733732520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23875] ppid=23864 vsize=9624976 CPUtime=2.9 cores=1,3,5,7
/proc/23866/task/23875/stat : 23875 (java) S 23864 23866 21479 0 -1 4202560 817 0 0 0 262 28 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841732680232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23876] ppid=23864 vsize=9624976 CPUtime=3.49 cores=1,3,5,7
/proc/23866/task/23876/stat : 23876 (java) S 23864 23866 21479 0 -1 4202560 1064 0 0 0 322 27 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841731627432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23877] ppid=23864 vsize=9624976 CPUtime=7.37 cores=1,3,5,7
/proc/23866/task/23877/stat : 23877 (java) S 23864 23866 21479 0 -1 4202560 2133 0 0 0 733 4 0 0 20 0 19 0 255292591 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841600740072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23878] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23878/stat : 23878 (java) S 23864 23866 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255292591 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841599686136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23879] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23879/stat : 23879 (java) S 23864 23866 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255292592 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841598633736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23880] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23880/stat : 23880 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841597582224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23881] ppid=23864 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23866/task/23881/stat : 23881 (java) S 23864 23866 21479 0 -1 4202560 4296 0 0 0 50 0 0 0 20 0 19 0 255292594 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841596528824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23882] ppid=23864 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/23866/task/23882/stat : 23882 (java) S 23864 23866 21479 0 -1 4202560 4049 0 0 0 56 0 0 0 20 0 19 0 255292594 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841595476024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23883] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23883/stat : 23883 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841594423928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23884] ppid=23864 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23866/task/23884/stat : 23884 (java) S 23864 23866 21479 0 -1 4202560 103 0 0 0 34 26 0 0 20 0 19 0 255292594 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841593371336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23885] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23885/stat : 23885 (java) S 23864 23866 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255292616 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841592317352 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9624976

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

Solver just ended. Dumping a history of the last processes samples

[startup+1781.3 s]
/proc/loadavg: 2.03 2.04 2.03 3/213 23982
/proc/meminfo: memFree=26885160/32873648 swapFree=6844/6844
[pid=23866] ppid=23864 vsize=9624976 CPUtime=1800 cores=1,3,5,7
/proc/23866/stat : 23866 (java) S 23864 23866 21479 0 -1 4202496 22409 0 1 0 179762 238 0 0 20 0 19 0 255292589 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 140733517554688 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23866/statm: 2406244 485882 2275 9 0 2396937 0
[pid=23866/tid=23868] ppid=23864 vsize=9624976 CPUtime=1767.25 cores=1,3,5,7
/proc/23866/task/23868/stat : 23868 (java) R 23864 23866 21479 0 -1 4202560 3201 0 1 0 176693 32 0 0 20 0 19 0 255292589 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841777504608 139841602372501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23869] ppid=23864 vsize=9624976 CPUtime=3.06 cores=1,3,5,7
/proc/23866/task/23869/stat : 23869 (java) S 23864 23866 21479 0 -1 4202560 734 0 0 0 280 26 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841738996520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23870] ppid=23864 vsize=9624976 CPUtime=3.1 cores=1,3,5,7
/proc/23866/task/23870/stat : 23870 (java) S 23864 23866 21479 0 -1 4202560 1038 0 0 0 277 33 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841737943720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23871] ppid=23864 vsize=9624976 CPUtime=3.09 cores=1,3,5,7
/proc/23866/task/23871/stat : 23871 (java) S 23864 23866 21479 0 -1 4202560 928 0 0 0 283 26 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841736891432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23872] ppid=23864 vsize=9624976 CPUtime=2.83 cores=1,3,5,7
/proc/23866/task/23872/stat : 23872 (java) S 23864 23866 21479 0 -1 4202560 992 0 0 0 262 21 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841735838632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23873] ppid=23864 vsize=9624976 CPUtime=2.99 cores=1,3,5,7
/proc/23866/task/23873/stat : 23873 (java) S 23864 23866 21479 0 -1 4202560 1089 0 0 0 271 28 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841734785320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23874] ppid=23864 vsize=9624976 CPUtime=2.64 cores=1,3,5,7
/proc/23866/task/23874/stat : 23874 (java) S 23864 23866 21479 0 -1 4202560 785 0 0 0 243 21 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841733732520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23875] ppid=23864 vsize=9624976 CPUtime=2.9 cores=1,3,5,7
/proc/23866/task/23875/stat : 23875 (java) S 23864 23866 21479 0 -1 4202560 817 0 0 0 262 28 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841732680232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23876] ppid=23864 vsize=9624976 CPUtime=3.49 cores=1,3,5,7
/proc/23866/task/23876/stat : 23876 (java) S 23864 23866 21479 0 -1 4202560 1064 0 0 0 322 27 0 0 20 0 19 0 255292590 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841731627432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23877] ppid=23864 vsize=9624976 CPUtime=7.37 cores=1,3,5,7
/proc/23866/task/23877/stat : 23877 (java) S 23864 23866 21479 0 -1 4202560 2133 0 0 0 733 4 0 0 20 0 19 0 255292591 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841600740072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23866/tid=23878] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23878/stat : 23878 (java) S 23864 23866 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255292591 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841599686136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23879] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23879/stat : 23879 (java) S 23864 23866 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255292592 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841598633736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23880] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23880/stat : 23880 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841597582224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23881] ppid=23864 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23866/task/23881/stat : 23881 (java) S 23864 23866 21479 0 -1 4202560 4296 0 0 0 50 0 0 0 20 0 19 0 255292594 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841596528824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23866/tid=23882] ppid=23864 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/23866/task/23882/stat : 23882 (java) S 23864 23866 21479 0 -1 4202560 4049 0 0 0 56 0 0 0 20 0 19 0 255292594 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841595476024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23883] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23883/stat : 23883 (java) S 23864 23866 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255292594 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841594423928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23866/tid=23884] ppid=23864 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23866/task/23884/stat : 23884 (java) S 23864 23866 21479 0 -1 4202560 103 0 0 0 34 26 0 0 20 0 19 0 255292594 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841593371336 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23866/tid=23885] ppid=23864 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23866/task/23885/stat : 23885 (java) S 23864 23866 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255292616 9855975424 485882 33554432000 1073741824 1073778376 140733517563552 139841592317352 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1781.36
CPU time (s): 1800.77
CPU user time (s): 1797.89
CPU system time (s): 2.88256
CPU usage (%): 101.09
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.89
system time used= 2.88256
maximum resident set size= 1943676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22452
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42926
involuntary context switches= 30570

runsolver used 6.08308 second user time and 14.6008 second system time

The end

Launcher Data

Begin job on node115 at 2012-05-24 22:34:18
IDJOB=3689569
IDBENCH=89903
IDSOLVER=2269
FILE ID=node115/3689569-1337891658
RUNJOBID= node115-1337871882-21496
PBS_JOBID= 14620089
Free space on /tmp= 71652 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-harp2.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689569-1337891658/watcher-3689569-1337891658 -o /tmp/evaluation-result-3689569-1337891658/solver-3689569-1337891658 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689569-1337891658.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3f0afbcd16b5dd29f67967742a878949
RANDOM SEED=13199350

node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28753168 kB
Buffers:          209912 kB
Cached:          2828644 kB
SwapCached:            0 kB
Active:          1198828 kB
Inactive:        2158148 kB
Active(anon):     320552 kB
Inactive(anon):        0 kB
Active(file):     878276 kB
Inactive(file):  2158148 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               500 kB
Writeback:             4 kB
AnonPages:        324484 kB
Mapped:            22640 kB
Shmem:               200 kB
Slab:             624784 kB
SReclaimable:      69016 kB
SUnreclaim:       555768 kB
KernelStack:        1600 kB
PageTables:         4864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     830832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71648 MiB
End job on node115 at 2012-05-24 23:04:02