Trace number 4081417

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)14 1800.64 898.676

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir05_area_delay.opb
MD5SUMb0c7ff7d1fa11c8e15b9d528879223a9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark0.064989
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 14
Optimality of the best value was proved YES
Number of variables3659
Total number of constraints9385
Number of constraints which are clauses9385
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 1787
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1787
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1787
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081417-1465244482.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.80/0.43	c ... done. Wall clock time 0.313s.
0.80/0.43	c declared #vars     3659
0.80/0.43	c #constraints  9385
0.80/0.44	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.80/0.44	c constraints type 
0.80/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1893
0.80/0.44	c org.sat4j.specs.Constr$1 => 3
0.80/0.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 99
0.80/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7390
0.80/0.44	c 9385 constraints processed.
0.80/0.44	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.80/0.44	c constraints type 
0.80/0.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7390
0.80/0.44	c org.sat4j.specs.Constr$1 => 3
0.80/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1893
0.80/0.44	c org.sat4j.pb.constraints.pb.UnitClausePB => 99
0.80/0.44	c 9385 constraints processed.
0.80/0.44	c objective function length is 1787 literals
1.15/0.56	c And the winner is solver0
2.10/0.94	c SATISFIABLE
2.10/0.94	c OPTIMIZING...
2.10/0.94	c Got one! Elapsed wall clock time (in seconds):0.822
2.10/0.94	o 22
2.10/0.98	c And the winner is solver0
2.52/1.45	c Got one! Elapsed wall clock time (in seconds):1.334
2.52/1.45	o 21
2.65/1.54	c And the winner is solver0
2.90/1.97	c Got one! Elapsed wall clock time (in seconds):1.853
2.90/1.97	o 20
2.97/2.00	c And the winner is solver0
3.00/2.50	c Got one! Elapsed wall clock time (in seconds):2.38
3.00/2.50	o 19
3.00/2.51	c And the winner is solver0
3.02/3.01	c Got one! Elapsed wall clock time (in seconds):2.888
3.02/3.01	o 18
3.52/3.28	c And the winner is solver0
4.01/3.51	c Got one! Elapsed wall clock time (in seconds):3.393
4.01/3.51	o 17
7.46/5.15	c cleaning 3056 clauses out of 6112 with flag 17729/6112
11.86/7.19	c cleaning 4520 clauses out of 9056 with flag 37800/12112
17.26/9.80	c cleaning 5761 clauses out of 11536 with flag 65777/19112
22.72/12.56	c cleaning 6888 clauses out of 13776 with flag 96836/27113
29.01/15.65	c cleaning 7925 clauses out of 15887 with flag 134750/36112
31.21/16.76	c And the winner is solver1
31.36/17.02	c Got one! Elapsed wall clock time (in seconds):16.898
31.36/17.02	o 16
32.62/17.64	c cleaning 6669 clauses out of 13349 with flag 7726/41499
36.01/19.39	c cleaning 6340 clauses out of 12682 with flag 28121/47501
40.28/21.44	c cleaning 6666 clauses out of 13341 with flag 49423/54500
45.07/23.88	c cleaning 7334 clauses out of 14675 with flag 75209/62500
51.14/26.86	c cleaning 8166 clauses out of 16341 with flag 111413/71500
57.63/30.08	c cleaning 9085 clauses out of 18175 with flag 144489/81500
65.35/33.86	c cleaning 10047 clauses out of 20093 with flag 183834/92503
74.16/38.25	c cleaning 11007 clauses out of 22042 with flag 228411/104499
79.75/41.07	c And the winner is solver1
80.20/41.60	c Got one! Elapsed wall clock time (in seconds):41.484
80.20/41.60	o 15
83.20/43.10	c cleaning 11936 clauses out of 23871 with flag 16881/117335
86.40/44.74	c cleaning 8964 clauses out of 17935 with flag 34506/123335
90.86/46.91	c cleaning 7986 clauses out of 15972 with flag 54963/130336
96.31/49.40	c cleaning 7986 clauses out of 15985 with flag 80462/138335
102.00/52.10	c cleaning 8498 clauses out of 16999 with flag 109435/147335
108.53/55.23	c cleaning 9248 clauses out of 18501 with flag 143082/157335
115.62/58.73	c cleaning 10124 clauses out of 20254 with flag 180413/168336
124.23/63.02	c cleaning 11058 clauses out of 22129 with flag 221671/180335
133.73/67.75	c cleaning 12030 clauses out of 24071 with flag 267831/193335
143.37/72.56	c cleaning 13018 clauses out of 26041 with flag 317196/207335
153.70/77.67	c cleaning 14012 clauses out of 28024 with flag 366841/222336
164.90/83.28	c cleaning 15006 clauses out of 30013 with flag 414643/238337
177.43/89.46	c cleaning 16003 clauses out of 32007 with flag 465231/255337
190.83/96.08	c cleaning 17001 clauses out of 34004 with flag 520950/273337
203.83/102.60	c cleaning 18003 clauses out of 36005 with flag 582166/292339
218.80/109.93	c cleaning 19000 clauses out of 37999 with flag 645302/312336
233.88/117.48	c cleaning 20000 clauses out of 39999 with flag 711298/333336
250.98/126.35	c cleaning 20989 clauses out of 41998 with flag 783301/355335
268.29/134.94	c cleaning 21996 clauses out of 44009 with flag 862781/378335
286.80/144.13	c cleaning 23006 clauses out of 46014 with flag 955758/402336
306.91/154.17	c cleaning 24003 clauses out of 48008 with flag 1048508/427336
326.88/164.09	c cleaning 24990 clauses out of 50004 with flag 1134906/453335
347.79/174.44	c cleaning 26005 clauses out of 52014 with flag 1224700/480335
369.59/185.26	c cleaning 26993 clauses out of 54009 with flag 1320872/508335
393.74/197.21	c cleaning 28005 clauses out of 56017 with flag 1428787/537336
418.35/210.12	c cleaning 29006 clauses out of 58011 with flag 1525167/567335
443.79/222.85	c cleaning 30003 clauses out of 60005 with flag 1639473/598335
467.90/234.86	c cleaning 30997 clauses out of 62002 with flag 1740962/630335
493.03/247.24	c cleaning 31990 clauses out of 64005 with flag 1863391/663335
520.25/260.90	c cleaning 33006 clauses out of 66016 with flag 1987058/697336
550.44/275.83	c cleaning 34002 clauses out of 68009 with flag 2107656/732335
580.20/290.68	c cleaning 35002 clauses out of 70007 with flag 2228871/768335
611.39/306.05	c cleaning 36001 clauses out of 72009 with flag 2343541/805339
633.79/317.30	c And the winner is solver1
634.11/317.74	c Got one! Elapsed wall clock time (in seconds):317.617
634.11/317.74	o 14
637.89/319.59	c cleaning 34248 clauses out of 68510 with flag 17057/837841
641.89/321.60	c cleaning 20129 clauses out of 40262 with flag 38848/843841
646.70/323.95	c cleaning 13564 clauses out of 27133 with flag 64496/850841
652.31/326.74	c cleaning 10777 clauses out of 21569 with flag 96875/858841
658.11/329.69	c cleaning 9885 clauses out of 19792 with flag 129218/867841
665.08/333.00	c cleaning 9946 clauses out of 19907 with flag 163613/877841
672.49/336.72	c cleaning 10481 clauses out of 20961 with flag 197606/888841
680.88/340.94	c cleaning 11239 clauses out of 22480 with flag 236290/900841
690.41/345.56	c cleaning 12113 clauses out of 24241 with flag 279631/913841
700.19/350.46	c cleaning 13054 clauses out of 26129 with flag 324886/927842
710.21/355.41	c cleaning 14033 clauses out of 28074 with flag 368842/942841
722.21/361.30	c cleaning 15006 clauses out of 30041 with flag 424311/958841
734.20/367.35	c cleaning 16017 clauses out of 32035 with flag 487676/975841
747.62/374.03	c cleaning 17005 clauses out of 34018 with flag 544692/993841
762.73/381.40	c cleaning 17996 clauses out of 36013 with flag 602544/1012841
776.74/388.42	c cleaning 19001 clauses out of 38017 with flag 670176/1032841
790.73/395.49	c cleaning 19999 clauses out of 40017 with flag 745313/1053842
809.77/406.00	c cleaning 20989 clauses out of 42018 with flag 816260/1075842
826.95/414.50	c cleaning 22009 clauses out of 44029 with flag 906270/1098842
845.08/423.30	c cleaning 22999 clauses out of 46019 with flag 1002295/1122841
862.89/432.21	c cleaning 24011 clauses out of 48022 with flag 1089838/1147843
881.68/441.64	c cleaning 24999 clauses out of 50009 with flag 1180228/1173841
902.11/451.79	c cleaning 25981 clauses out of 52012 with flag 1262877/1200843
923.62/462.35	c cleaning 27014 clauses out of 54029 with flag 1384731/1228841
945.41/473.25	c cleaning 27995 clauses out of 56015 with flag 1496273/1257841
967.51/484.19	c cleaning 29002 clauses out of 58020 with flag 1593245/1287841
991.89/496.31	c cleaning 29998 clauses out of 60019 with flag 1707940/1318842
1017.94/509.17	c cleaning 31009 clauses out of 62021 with flag 1824961/1350842
1042.74/521.59	c cleaning 32006 clauses out of 64012 with flag 1932159/1383842
1068.49/534.24	c cleaning 32984 clauses out of 66005 with flag 2050270/1417841
1094.42/546.94	c cleaning 34005 clauses out of 68024 with flag 2173143/1452844
1120.02/559.79	c cleaning 34990 clauses out of 70016 with flag 2292234/1488841
1150.33/574.65	c cleaning 36010 clauses out of 72026 with flag 2416485/1525841
1179.32/589.16	c cleaning 37002 clauses out of 74016 with flag 2546351/1563841
1211.42/604.90	c cleaning 38002 clauses out of 76014 with flag 2679028/1602841
1241.84/619.98	c cleaning 38992 clauses out of 78012 with flag 2811938/1642841
1275.25/636.32	c cleaning 39998 clauses out of 80021 with flag 2954024/1683842
1309.33/653.13	c cleaning 41002 clauses out of 82024 with flag 3103547/1725843
1342.33/669.60	c cleaning 42002 clauses out of 84020 with flag 3256762/1768841
1378.88/687.89	c cleaning 43005 clauses out of 86020 with flag 3419983/1812843
1417.24/706.76	c cleaning 44005 clauses out of 88015 with flag 3585797/1857843
1440.68/718.13	c cleaning 0 clauses out of 6420 with flag 0/6422
1455.84/725.62	c cleaning 45004 clauses out of 90008 with flag 3756234/1903841
1500.35/749.71	c cleaning 45990 clauses out of 92004 with flag 3940402/1950841
1541.27/769.85	c cleaning 46994 clauses out of 94014 with flag 4128655/1998841
1580.47/789.34	c cleaning 48004 clauses out of 96020 with flag 4355752/2047841
1621.46/809.85	c cleaning 48999 clauses out of 98016 with flag 4572730/2097841
1664.05/830.99	c cleaning 50004 clauses out of 100017 with flag 4765214/2148841
1707.15/852.33	c cleaning 50991 clauses out of 102013 with flag 4973780/2200841
1748.34/872.90	c cleaning 52012 clauses out of 104027 with flag 5176925/2253846
1797.28/897.27	c cleaning 53004 clauses out of 106010 with flag 5364369/2307841
1800.08/898.60	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1800.08/898.60	c starts		: 39831
1800.08/898.60	c conflicts		: 2311468
1800.08/898.60	c decisions		: 9810967
1800.08/898.60	c propagations		: 3600807336
1800.08/898.60	c inspects		: 7467620372
1800.08/898.60	c shortcuts		: 0
1800.08/898.60	c learnt literals	: 0
1800.08/898.60	c learnt binary clauses	: 16
1800.08/898.60	c learnt ternary clauses	: 16
1800.08/898.60	c learnt constraints	: 2311468
1800.08/898.60	c ignored constraints	: 0
1800.08/898.60	c root simplifications	: 0
1800.08/898.60	c removed literals (reason simplification)	: 15175322
1800.08/898.60	c reason swapping (by a shorter reason)	: 0
1800.08/898.60	c Calls to reduceDB	: 96
1800.08/898.60	c Number of update (reduction) of LBD	: 826928
1800.08/898.60	c Imported unit clauses	: 0
1800.08/898.60	c number of reductions to clauses (during analyze)	: 0
1800.08/898.60	c number of learned constraints concerned by reduction	: 0
1800.08/898.60	c number of learning phase by resolution	: 0
1800.08/898.60	c number of learning phase by cutting planes	: 0
1800.08/898.60	c speed (assignments/second)	: 6199086.073948845
1800.08/898.60	c non guided choices	0
1800.08/898.62	c learnt constraints type 
1800.08/898.62	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 16
1800.08/898.62	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 56617
1800.08/898.62	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.08/898.62	c starts		: 35
1800.08/898.62	c conflicts		: 7466
1800.08/898.62	c decisions		: 220023
1800.08/898.62	c propagations		: 2290502
1800.08/898.62	c inspects		: 158385051
1800.08/898.62	c shortcuts		: 0
1800.08/898.62	c learnt literals	: 2
1800.08/898.62	c learnt binary clauses	: 0
1800.08/898.62	c learnt ternary clauses	: 0
1800.08/898.62	c learnt constraints	: 7463
1800.08/898.62	c ignored constraints	: 0
1800.08/898.62	c root simplifications	: 0
1800.08/898.62	c removed literals (reason simplification)	: 0
1800.08/898.62	c reason swapping (by a shorter reason)	: 0
1800.08/898.62	c Calls to reduceDB	: 1
1800.08/898.62	c Number of update (reduction) of LBD	: 0
1800.08/898.62	c Imported unit clauses	: 0
1800.08/898.62	c number of reductions to clauses (during analyze)	: 0
1800.08/898.62	c number of learned constraints concerned by reduction	: 0
1800.08/898.62	c number of learning phase by resolution	: 0
1800.08/898.62	c number of learning phase by cutting planes	: 0
1800.08/898.62	c speed (assignments/second)	: 2558.9027506085836
1800.08/898.62	c non guided choices	0
1800.08/898.63	c learnt constraints type 
1800.08/898.63	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 125
1800.08/898.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 169
1800.08/898.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7169
1800.08/898.63	s SATISFIABLE
1800.08/898.63	c Found 9 solution(s)
1800.08/898.64	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 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 
1800.08/898.64	c objective function=14
1800.08/898.64	c Total wall clock time (in seconds): 898.524

Verifier Data 

OK	14

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4081417-1465244482/watcher-4081417-1465244482 -o /tmp/evaluation-result-4081417-1465244482/solver-4081417-1465244482 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15693 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081417-1465244482.opb 

pid=16113
running on 4 cores: 0,2,4,6

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: 4.32 4.12 3.43 3/199 16116
/proc/meminfo: memFree=27132308/32872528 swapFree=15540/1663004
[pid=16116] ppid=16113 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/16116/stat : 16116 (java) R 16113 16116 15677 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 106380935 2560000 46 33554432000 1073741824 1073778376 140736969975376 140736969972504 273896533287 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16116/statm: 626 46 37 9 0 30 0

[startup+0.100157 s]
/proc/loadavg: 4.32 4.12 3.43 3/199 16116
/proc/meminfo: memFree=27132308/32872528 swapFree=15540/1663004
[pid=16116] ppid=16113 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 15677 0 -1 4202496 4414 0 1 0 8 1 0 0 20 0 18 0 106380935 9787879424 6039 33554432000 1073741824 1073778376 140736969975376 140736969966512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16116/statm: 2389619 6039 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20032 s]
/proc/loadavg: 4.32 4.12 3.43 3/199 16116
/proc/meminfo: memFree=27132308/32872528 swapFree=15540/1663004
[pid=16116] ppid=16113 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 15677 0 -1 4202496 4994 0 1 0 26 1 0 0 20 0 18 0 106380935 9787879424 6858 33554432000 1073741824 1073778376 140736969975376 140736969966512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16116/statm: 2389619 6858 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300219 s]
/proc/loadavg: 4.32 4.12 3.43 3/199 16116
/proc/meminfo: memFree=27132308/32872528 swapFree=15540/1663004
[pid=16116] ppid=16113 vsize=9558476 CPUtime=0.51 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 15677 0 -1 4202496 6860 0 1 0 49 2 0 0 20 0 18 0 106380935 9787879424 9624 33554432000 1073741824 1073778376 140736969975376 140736969966512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16116/statm: 2389619 9624 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.70018 s]
/proc/loadavg: 4.32 4.12 3.43 3/199 16116
/proc/meminfo: memFree=27132308/32872528 swapFree=15540/1663004
[pid=16116] ppid=16113 vsize=9825932 CPUtime=1.7 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 15677 0 -1 4202496 27300 0 1 0 161 9 0 0 20 0 19 0 106380935 10061754368 29182 33554432000 1073741824 1073778376 140736969975376 140736969966512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16116/statm: 2456483 29182 2254 9 0 2447160 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9825932

[startup+1.50068 s]
/proc/loadavg: 4.32 4.12 3.43 3/218 16141
/proc/meminfo: memFree=27025432/32872528 swapFree=15540/1663004
[pid=16116] ppid=16113 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 15677 0 -1 4202496 29042 0 1 0 254 11 0 0 20 0 22 0 106380935 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140736969966512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16116/statm: 2456183 29917 2268 9 0 2446860 0
[pid=16116/tid=16118] ppid=16113 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) S 16113 16116 15677 0 -1 4202560 2482 0 1 0 41 2 0 0 20 0 22 0 106380936 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388550697848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16119] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388393855528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16120] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388392802728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16121] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388391749928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16122] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388390697128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16123] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388389645352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16124] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388052495272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16125] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388051442472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16126] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388050389672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16127] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388038191592 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16128] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 15677 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388037137656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16129] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388036084744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16130] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380941 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388035033232 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16131] ppid=16113 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) R 16113 16116 15677 0 -1 4202560 12883 0 0 0 85 3 0 0 20 0 22 0 106380942 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388033968896 140388556523488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16132] ppid=16113 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/16116/task/16132/stat : 16132 (java) R 16113 16116 15677 0 -1 4202560 12311 0 0 0 85 3 0 0 20 0 22 0 106380942 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388032928448 140388554213361 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16133] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16133/stat : 16133 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380942 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388031875960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16134] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16134/stat : 16134 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380942 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388030823368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16138] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16138/stat : 16138 (java) S 16113 16116 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106380981 10060525568 29917 33554432000 1073741824 1073778376 140736969975376 140388024746792 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 9824732

[startup+3.10073 s]
/proc/loadavg: 4.32 4.12 3.43 4/219 16147
/proc/meminfo: memFree=27012392/32872528 swapFree=15540/1663004
[pid=16116] ppid=16113 vsize=9824732 CPUtime=3.23 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 15677 0 -1 4202496 29080 0 1 0 309 14 0 0 20 0 22 0 106380935 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140736969966512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16116/statm: 2456183 34024 2270 9 0 2446860 0
[pid=16116/tid=16118] ppid=16113 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) S 16113 16116 15677 0 -1 4202560 2484 0 1 0 43 2 0 0 20 0 22 0 106380936 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388550697848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16119] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388393855528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16120] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388392802728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16121] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388391749928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16122] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388390697128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16123] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388389645352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16124] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388052495272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16125] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388051442472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16126] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388050389672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16127] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388038191592 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16128] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 15677 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388037137656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16129] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388036084744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16130] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380941 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388035033232 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16131] ppid=16113 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) R 16113 16116 15677 0 -1 4202560 12884 0 0 0 97 3 0 0 20 0 22 0 106380942 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388033981368 140388554789093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16132] ppid=16113 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/16116/task/16132/stat : 16132 (java) R 16113 16116 15677 0 -1 4202560 12312 0 0 0 98 3 0 0 20 0 22 0 106380942 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388032928568 273909068860 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16133] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16133/stat : 16133 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380942 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388031875960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16134] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16134/stat : 16134 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380942 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388030823368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16138] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16138/stat : 16138 (java) S 16113 16116 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106380981 10060525568 34024 33554432000 1073741824 1073778376 140736969975376 140388024746792 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 9824732

[startup+6.30085 s]
/proc/loadavg: 4.30 4.12 3.43 6/221 16155
/proc/meminfo: memFree=26938920/32872528 swapFree=15540/1663004
[pid=16116] ppid=16113 vsize=9824732 CPUtime=10.18 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 15677 0 -1 4202496 33381 0 1 0 999 19 0 0 20 0 22 0 106380935 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140736969966512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16116/statm: 2456183 53388 2291 9 0 2446860 0
[pid=16116/tid=16118] ppid=16113 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) S 16113 16116 15677 0 -1 4202560 2484 0 1 0 43 2 0 0 20 0 22 0 106380936 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388550697848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16119] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) S 16113 16116 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388393855528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16120] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) S 16113 16116 15677 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388392802728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16121] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) S 16113 16116 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388391749928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16122] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) S 16113 16116 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388390697128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16123] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388389645352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16124] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388052495272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16125] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388051442472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16126] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 15677 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 106380938 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388050389672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16127] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388038191592 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16128] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388037137656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16129] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388036084744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16130] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380941 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388035033232 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16131] ppid=16113 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) S 16113 16116 15677 0 -1 4202560 17081 0 0 0 168 3 0 0 20 0 22 0 106380942 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388033981368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16132] ppid=16113 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/16116/task/16132/stat : 16132 (java) S 16113 16116 15677 0 -1 4202560 12315 0 0 0 134 3 0 0 20 0 22 0 106380942 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388032928568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16133] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16133/stat : 16133 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380942 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388031875960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16134] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16134/stat : 16134 (java) S 16113 16116 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106380942 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388030823368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16138] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16138/stat : 16138 (java) S 16113 16116 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106380981 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388024746792 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16153] ppid=16113 vsize=9824732 CPUtime=2.68 cores=0,2,4,6
/proc/16116/task/16153/stat : 16153 (java) R 16113 16116 15677 0 -1 4202560 5 0 0 0 268 0 0 0 20 0 22 0 106381287 10060525568 53388 33554432000 1073741824 1073778376 140736969975376 140388025798744 140388405928156 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16154] ppid=16113 vsize=9824732 CPUtime=2.75 cores=0,2,4,6

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


[startup+822.301 s]
/proc/loadavg: 4.51 4.36 3.94 5/221 16281
/proc/meminfo: memFree=25357920/32872528 swapFree=15540/1663004
[pid=16116] ppid=16113 vsize=9824732 CPUtime=1646.85 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 15677 0 -1 4202496 49537 0 1 0 164228 457 0 0 20 0 22 0 106380935 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140736969966512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16116/statm: 2456183 1050573 2302 9 0 2446860 0
[pid=16116/tid=16118] ppid=16113 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) S 16113 16116 15677 0 -1 4202560 2501 0 1 0 46 2 0 0 20 0 22 0 106380936 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388550697848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16119] ppid=16113 vsize=9824732 CPUtime=3.62 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) S 16113 16116 15677 0 -1 4202560 1408 0 0 0 315 47 0 0 20 0 22 0 106380938 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388393855528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16120] ppid=16113 vsize=9824732 CPUtime=3.54 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) S 16113 16116 15677 0 -1 4202560 1231 0 0 0 305 49 0 0 20 0 22 0 106380938 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388392802728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16121] ppid=16113 vsize=9824732 CPUtime=3.32 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) S 16113 16116 15677 0 -1 4202560 1447 0 0 0 291 41 0 0 20 0 22 0 106380938 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388391749928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16122] ppid=16113 vsize=9824732 CPUtime=3.68 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) S 16113 16116 15677 0 -1 4202560 1694 0 0 0 316 52 0 0 20 0 22 0 106380938 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388390697128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16123] ppid=16113 vsize=9824732 CPUtime=4.14 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 15677 0 -1 4202560 1536 0 0 0 356 58 0 0 20 0 22 0 106380938 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388389645352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16124] ppid=16113 vsize=9824732 CPUtime=3.84 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 15677 0 -1 4202560 1324 0 0 0 335 49 0 0 20 0 22 0 106380938 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388052495272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16125] ppid=16113 vsize=9824732 CPUtime=4.04 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 15677 0 -1 4202560 2127 0 0 0 346 58 0 0 20 0 22 0 106380938 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388051442472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16126] ppid=16113 vsize=9824732 CPUtime=3.34 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 15677 0 -1 4202560 1203 0 0 0 285 49 0 0 20 0 22 0 106380938 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388050389672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16127] ppid=16113 vsize=9824732 CPUtime=8.72 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 15677 0 -1 4202560 3429 0 0 0 865 7 0 0 20 0 22 0 106380939 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388038191592 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16128] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388037137656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16129] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388036084744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16130] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380941 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388035033232 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16131] ppid=16113 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) S 16113 16116 15677 0 -1 4202560 17100 0 0 0 214 3 0 0 20 0 22 0 106380942 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388033981368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16132] ppid=16113 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/16116/task/16132/stat : 16132 (java) S 16113 16116 15677 0 -1 4202560 12382 0 0 0 263 3 0 0 20 0 22 0 106380942 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388032928568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16133] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16133/stat : 16133 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380942 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388031875960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16134] ppid=16113 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/16116/task/16134/stat : 16134 (java) S 16113 16116 15677 0 -1 4202560 48 0 0 0 11 13 0 0 20 0 22 0 106380942 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388030823368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16155] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16155/stat : 16155 (java) S 16113 16116 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106381287 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388028442280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16168] ppid=16113 vsize=9824732 CPUtime=492.57 cores=0,2,4,6
/proc/16116/task/16168/stat : 16168 (java) R 16113 16116 15677 0 -1 4202560 5 0 0 0 49248 9 0 0 20 0 22 0 106412710 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388025797888 140388405559958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16169] ppid=16113 vsize=9824732 CPUtime=492.51 cores=0,2,4,6
/proc/16116/task/16169/stat : 16169 (java) R 16113 16116 15677 0 -1 4202560 21 0 0 0 49244 7 0 0 20 0 22 0 106412710 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388024744704 140388405986500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16170] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16170/stat : 16170 (java) S 16113 16116 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106412710 10060525568 1050573 33554432000 1073741824 1073778376 140736969975376 140388026852904 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1646.85
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.24 4.31 3.95 6/221 16282
/proc/meminfo: memFree=25268708/32872528 swapFree=15540/1663004
[pid=16116] ppid=16113 vsize=9824732 CPUtime=1767.5 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 15677 0 -1 4202496 49736 0 1 0 176292 458 0 0 20 0 22 0 106380935 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140736969966512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16116/statm: 2456183 1050750 2302 9 0 2446860 0
[pid=16116/tid=16118] ppid=16113 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) S 16113 16116 15677 0 -1 4202560 2501 0 1 0 46 2 0 0 20 0 22 0 106380936 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388550697848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16119] ppid=16113 vsize=9824732 CPUtime=3.72 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) S 16113 16116 15677 0 -1 4202560 1408 0 0 0 325 47 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388393855528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16120] ppid=16113 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) S 16113 16116 15677 0 -1 4202560 1326 0 0 0 322 49 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388392802728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16121] ppid=16113 vsize=9824732 CPUtime=3.57 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) S 16113 16116 15677 0 -1 4202560 1537 0 0 0 316 41 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388391749928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16122] ppid=16113 vsize=9824732 CPUtime=3.91 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) S 16113 16116 15677 0 -1 4202560 1694 0 0 0 339 52 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388390697128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16123] ppid=16113 vsize=9824732 CPUtime=4.27 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 15677 0 -1 4202560 1537 0 0 0 369 58 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388389645352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16124] ppid=16113 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 15677 0 -1 4202560 1324 0 0 0 344 49 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388052495272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16125] ppid=16113 vsize=9824732 CPUtime=4.22 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 15677 0 -1 4202560 2127 0 0 0 364 58 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388051442472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16126] ppid=16113 vsize=9824732 CPUtime=3.55 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 15677 0 -1 4202560 1204 0 0 0 306 49 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388050389672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16127] ppid=16113 vsize=9824732 CPUtime=8.73 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 15677 0 -1 4202560 3433 0 0 0 866 7 0 0 20 0 22 0 106380939 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388038191592 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16128] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388037137656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16129] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388036084744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16130] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380941 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388035033232 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16131] ppid=16113 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) S 16113 16116 15677 0 -1 4202560 17101 0 0 0 214 3 0 0 20 0 22 0 106380942 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388033981368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16132] ppid=16113 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/16116/task/16132/stat : 16132 (java) S 16113 16116 15677 0 -1 4202560 12382 0 0 0 263 3 0 0 20 0 22 0 106380942 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388032928568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16133] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16133/stat : 16133 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380942 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388031875960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16134] ppid=16113 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/16116/task/16134/stat : 16134 (java) S 16113 16116 15677 0 -1 4202560 52 0 0 0 12 14 0 0 20 0 22 0 106380942 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388030823368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16155] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16155/stat : 16155 (java) S 16113 16116 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106381287 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388028442280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16168] ppid=16113 vsize=9824732 CPUtime=552.23 cores=0,2,4,6
/proc/16116/task/16168/stat : 16168 (java) R 16113 16116 15677 0 -1 4202560 6 0 0 0 55213 10 0 0 20 0 22 0 106412710 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388025796944 140388405560153 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16169] ppid=16113 vsize=9824732 CPUtime=552.17 cores=0,2,4,6
/proc/16116/task/16169/stat : 16169 (java) R 16113 16116 15677 0 -1 4202560 23 0 0 0 55209 8 0 0 20 0 22 0 106412710 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388024745888 140388405600291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16170] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16170/stat : 16170 (java) S 16113 16116 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106412710 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388026852904 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1767.5
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.601 s]
/proc/loadavg: 4.19 4.29 3.95 5/221 16282
/proc/meminfo: memFree=25268468/32872528 swapFree=15540/1663004
[pid=16116] ppid=16113 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6
/proc/16116/stat : 16116 (java) S 16113 16116 15677 0 -1 4202496 49737 0 1 0 179550 458 0 0 20 0 22 0 106380935 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140736969966512 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16116/statm: 2456183 1050750 2302 9 0 2446860 0
[pid=16116/tid=16118] ppid=16113 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/16116/task/16118/stat : 16118 (java) S 16113 16116 15677 0 -1 4202560 2501 0 1 0 46 3 0 0 20 0 22 0 106380936 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388550697848 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16119] ppid=16113 vsize=9824732 CPUtime=3.72 cores=0,2,4,6
/proc/16116/task/16119/stat : 16119 (java) S 16113 16116 15677 0 -1 4202560 1408 0 0 0 325 47 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388393855528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16120] ppid=16113 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/16116/task/16120/stat : 16120 (java) S 16113 16116 15677 0 -1 4202560 1326 0 0 0 322 49 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388392802728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16121] ppid=16113 vsize=9824732 CPUtime=3.57 cores=0,2,4,6
/proc/16116/task/16121/stat : 16121 (java) S 16113 16116 15677 0 -1 4202560 1537 0 0 0 316 41 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388391749928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16122] ppid=16113 vsize=9824732 CPUtime=3.91 cores=0,2,4,6
/proc/16116/task/16122/stat : 16122 (java) S 16113 16116 15677 0 -1 4202560 1694 0 0 0 339 52 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388390697128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16123] ppid=16113 vsize=9824732 CPUtime=4.27 cores=0,2,4,6
/proc/16116/task/16123/stat : 16123 (java) S 16113 16116 15677 0 -1 4202560 1537 0 0 0 369 58 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388389645352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16124] ppid=16113 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (java) S 16113 16116 15677 0 -1 4202560 1324 0 0 0 344 49 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388052495272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16125] ppid=16113 vsize=9824732 CPUtime=4.22 cores=0,2,4,6
/proc/16116/task/16125/stat : 16125 (java) S 16113 16116 15677 0 -1 4202560 2127 0 0 0 364 58 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388051442472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16126] ppid=16113 vsize=9824732 CPUtime=3.55 cores=0,2,4,6
/proc/16116/task/16126/stat : 16126 (java) S 16113 16116 15677 0 -1 4202560 1204 0 0 0 306 49 0 0 20 0 22 0 106380938 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388050389672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16127] ppid=16113 vsize=9824732 CPUtime=8.73 cores=0,2,4,6
/proc/16116/task/16127/stat : 16127 (java) S 16113 16116 15677 0 -1 4202560 3433 0 0 0 866 7 0 0 20 0 22 0 106380939 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388038191592 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16116/tid=16128] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16128/stat : 16128 (java) S 16113 16116 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388037137656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16129] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16129/stat : 16129 (java) S 16113 16116 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106380939 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388036084744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16130] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16130/stat : 16130 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380941 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388035033232 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16131] ppid=16113 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/16116/task/16131/stat : 16131 (java) S 16113 16116 15677 0 -1 4202560 17101 0 0 0 214 3 0 0 20 0 22 0 106380942 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388033981368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16132] ppid=16113 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/16116/task/16132/stat : 16132 (java) S 16113 16116 15677 0 -1 4202560 12382 0 0 0 263 3 0 0 20 0 22 0 106380942 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388032928568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16133] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16133/stat : 16133 (java) S 16113 16116 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106380942 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388031875960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16116/tid=16134] ppid=16113 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/16116/task/16134/stat : 16134 (java) S 16113 16116 15677 0 -1 4202560 52 0 0 0 12 14 0 0 20 0 22 0 106380942 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388030823368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16155] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16155/stat : 16155 (java) S 16113 16116 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106381287 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388028442280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16168] ppid=16113 vsize=9824732 CPUtime=568.51 cores=0,2,4,6
/proc/16116/task/16168/stat : 16168 (java) R 16113 16116 15677 0 -1 4202560 6 0 0 0 56841 10 0 0 20 0 22 0 106412710 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388025797144 140388405594492 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16116/tid=16169] ppid=16113 vsize=9824732 CPUtime=568.46 cores=0,2,4,6
/proc/16116/task/16169/stat : 16169 (java) R 16113 16116 15677 0 -1 4202560 24 0 0 0 56838 8 0 0 20 0 22 0 106412710 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388024744704 140388405600215 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16116/tid=16170] ppid=16113 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16170/stat : 16170 (java) S 16113 16116 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106412710 10060525568 1050750 33554432000 1073741824 1073778376 140736969975376 140388026852904 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16116 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 898.676
CPU time (s): 1800.64
CPU user time (s): 1795.68
CPU system time (s): 4.96225
CPU usage (%): 200.366
Max. virtual memory (cumulated for all children) (KiB): 9826652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.68
system time used= 4.96225
maximum resident set size= 4203112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49774
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23369
involuntary context switches= 22513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.52746 second user time and 4.09338 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-06 22:21:22
IDJOB=4081417
IDBENCH=25007
IDSOLVER=2543
FILE ID=node134/4081417-1465244482
RUNJOBID= node134-1465243580-15693
PBS_JOBID= 19843249
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081417-1465244482/watcher-4081417-1465244482 -o /tmp/evaluation-result-4081417-1465244482/solver-4081417-1465244482 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15693 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081417-1465244482.opb

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

MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9
RANDOM SEED=1187169267

node134.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.403
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.80
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.403
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	: 5332.55
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.403
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	: 5332.56
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.403
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	: 5332.56
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.403
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	: 5332.55
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.403
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	: 5332.55
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.403
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	: 5332.56
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.403
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27133100 kB
Buffers:           38284 kB
Cached:           105844 kB
SwapCached:         1804 kB
Active:          3278476 kB
Inactive:          76584 kB
Active(anon):    3212424 kB
Inactive(anon):     1036 kB
Active(file):      66052 kB
Inactive(file):    75548 kB
Unevictable:     1663004 kB
Mlocked:           15540 kB
SwapTotal:      67108856 kB
SwapFree:       67098292 kB
Dirty:               996 kB
Writeback:             0 kB
AnonPages:       4887820 kB
Mapped:            15504 kB
Shmem:                 0 kB
Slab:             567424 kB
SReclaimable:      11492 kB
SUnreclaim:       555932 kB
KernelStack:        1640 kB
PageTables:        13988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5126752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4816896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node134 at 2016-06-06 22:36:20