Trace number 4105954

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)10467 1800.08 901.381

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb
MD5SUM83e4cddd78ca4f87cfb13af1d930e0cc
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8820
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8781
Optimality of the best value was proved YES
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
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 constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 365
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 525162
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 365
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 525162
Number of bits of the biggest sum of numbers20
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4105954-1466267055.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.77/0.42	c ... done. Wall clock time 0.305s.
0.77/0.42	c declared #vars     3945
0.77/0.42	c #constraints  8604
0.77/0.42	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.77/0.42	c constraints type 
0.77/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071
0.77/0.43	c org.sat4j.specs.Constr$1 => 22
0.77/0.43	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
0.77/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6506
0.77/0.43	c 8604 constraints processed.
0.77/0.43	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.77/0.43	c constraints type 
0.77/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506
0.77/0.43	c org.sat4j.specs.Constr$1 => 22
0.77/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071
0.77/0.43	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.77/0.43	c 8604 constraints processed.
0.77/0.43	c objective function length is 1872 literals
1.12/0.52	c And the winner is solver1
1.97/0.93	c SATISFIABLE
1.97/0.93	c OPTIMIZING...
1.97/0.93	c Got one! Elapsed wall clock time (in seconds):0.814
1.97/0.93	o 12142
2.21/1.02	c And the winner is solver0
2.79/1.46	c Got one! Elapsed wall clock time (in seconds):1.349
2.79/1.46	o 11917
2.79/1.49	c And the winner is solver0
2.98/1.97	c Got one! Elapsed wall clock time (in seconds):1.858
2.98/1.97	o 11692
2.98/2.00	c And the winner is solver0
3.20/2.48	c Got one! Elapsed wall clock time (in seconds):2.368
3.20/2.48	o 11467
3.24/2.50	c And the winner is solver0
3.32/2.99	c Got one! Elapsed wall clock time (in seconds):2.874
3.32/2.99	o 11242
3.32/3.02	c And the winner is solver0
3.48/3.50	c Got one! Elapsed wall clock time (in seconds):3.379
3.48/3.50	o 11017
8.55/5.81	c cleaning 2611 clauses out of 5258 with flag 21425/5258
11.50/7.27	c And the winner is solver1
11.65/7.50	c Got one! Elapsed wall clock time (in seconds):7.385
11.65/7.50	o 10805
12.24/7.74	c And the winner is solver1
12.34/8.01	c Got one! Elapsed wall clock time (in seconds):7.889
12.34/8.01	o 10795
14.22/8.93	c cleaning 4336 clauses out of 8683 with flag 9614/11294
19.84/11.75	c cleaning 5173 clauses out of 10347 with flag 41226/17294
26.50/15.00	c cleaning 6090 clauses out of 12179 with flag 77888/24299
33.65/18.52	c cleaning 7043 clauses out of 14085 with flag 116123/32295
41.72/22.55	c cleaning 8015 clauses out of 16041 with flag 155805/41294
50.62/26.93	c cleaning 9015 clauses out of 18029 with flag 200970/51297
59.96/31.58	c cleaning 9998 clauses out of 20011 with flag 251394/62294
70.70/36.84	c cleaning 11006 clauses out of 22013 with flag 316303/74294
80.81/41.88	c And the winner is solver1
80.81/42.02	c Got one! Elapsed wall clock time (in seconds):41.907
80.81/42.02	o 10767
85.84/44.51	c cleaning 13827 clauses out of 27711 with flag 20982/90998
91.46/47.33	c cleaning 9902 clauses out of 19884 with flag 52602/96998
97.91/50.58	c cleaning 8466 clauses out of 16982 with flag 85586/103998
105.66/54.10	c cleaning 8253 clauses out of 16516 with flag 121524/111998
114.35/58.43	c cleaning 8620 clauses out of 17263 with flag 165572/120998
123.60/63.05	c cleaning 9299 clauses out of 18643 with flag 214724/130998
133.07/67.79	c cleaning 10173 clauses out of 20345 with flag 261225/141999
144.36/73.30	c cleaning 11076 clauses out of 22171 with flag 317548/153998
156.51/79.35	c cleaning 12048 clauses out of 24096 with flag 379842/166999
169.19/85.67	c cleaning 13020 clauses out of 26047 with flag 444991/180998
183.78/92.98	c cleaning 13999 clauses out of 28027 with flag 517053/195998
199.48/100.76	c cleaning 15009 clauses out of 30028 with flag 590700/211998
215.64/108.73	c cleaning 16004 clauses out of 32020 with flag 661159/228999
232.44/117.11	c cleaning 17008 clauses out of 34015 with flag 742138/246998
250.96/126.66	c cleaning 18004 clauses out of 36007 with flag 826675/265998
270.84/136.56	c cleaning 19002 clauses out of 38004 with flag 920187/285999
291.32/146.75	c cleaning 19987 clauses out of 40001 with flag 1025794/306998
312.65/157.32	c cleaning 20973 clauses out of 42014 with flag 1126344/328998
334.12/168.01	c cleaning 22008 clauses out of 44041 with flag 1239196/351998
356.86/179.30	c cleaning 23010 clauses out of 46033 with flag 1358010/375998
378.57/190.15	c cleaning 24007 clauses out of 48023 with flag 1493288/400998
400.66/201.18	c cleaning 25009 clauses out of 50017 with flag 1640585/426999
426.80/214.67	c cleaning 26002 clauses out of 52007 with flag 1773714/453998
452.18/227.37	c cleaning 26988 clauses out of 54006 with flag 1927288/481999
478.09/240.26	c cleaning 27998 clauses out of 56017 with flag 2072997/510998
504.84/253.59	c cleaning 29004 clauses out of 58019 with flag 2237232/540998
533.97/267.90	c cleaning 30000 clauses out of 60015 with flag 2402703/571998
559.28/280.59	c And the winner is solver1
559.28/280.86	c Got one! Elapsed wall clock time (in seconds):280.739
559.28/280.86	o 10749
564.55/283.55	c cleaning 32332 clauses out of 64728 with flag 22085/606711
570.54/286.51	c cleaning 19172 clauses out of 38395 with flag 48691/612710
574.34/288.40	c And the winner is solver1
574.34/288.86	c Got one! Elapsed wall clock time (in seconds):288.746
574.34/288.86	o 10590
576.31/289.81	c cleaning 12580 clauses out of 25194 with flag 7868/618681
576.51/289.92	c And the winner is solver1
576.56/290.37	c Got one! Elapsed wall clock time (in seconds):290.253
576.56/290.37	o 10574
580.60/292.47	c cleaning 8899 clauses out of 17873 with flag 19911/623940
585.80/295.05	c cleaning 7431 clauses out of 14974 with flag 45006/629940
592.01/298.16	c cleaning 7255 clauses out of 14543 with flag 76732/636940
599.00/301.63	c cleaning 7636 clauses out of 15288 with flag 110415/644940
606.79/305.55	c cleaning 8325 clauses out of 16652 with flag 150422/653940
615.75/309.91	c cleaning 9164 clauses out of 18327 with flag 198573/663940
625.75/314.90	c cleaning 10073 clauses out of 20167 with flag 250639/674944
636.36/320.27	c cleaning 11034 clauses out of 22091 with flag 305037/686941
649.13/326.55	c cleaning 12021 clauses out of 24056 with flag 366433/699940
662.04/332.96	c cleaning 13010 clauses out of 26036 with flag 428792/713941
675.99/339.87	c cleaning 14011 clauses out of 28025 with flag 500932/728940
691.19/347.47	c cleaning 15005 clauses out of 30015 with flag 575319/744941
709.85/357.42	c cleaning 15975 clauses out of 32009 with flag 660250/761940
726.66/365.81	c cleaning 17019 clauses out of 34037 with flag 747909/779943
744.96/374.77	c cleaning 18003 clauses out of 36015 with flag 836480/798940
763.16/383.84	c cleaning 18997 clauses out of 38012 with flag 926857/818940
782.75/393.64	c cleaning 20006 clauses out of 40015 with flag 1026494/839940
802.75/403.65	c cleaning 21000 clauses out of 42009 with flag 1131315/861940
824.44/414.34	c cleaning 22004 clauses out of 44009 with flag 1237004/884940
846.63/425.42	c cleaning 23003 clauses out of 46005 with flag 1350508/908940
872.03/438.16	c cleaning 24002 clauses out of 48003 with flag 1464850/933941
899.03/451.68	c cleaning 25000 clauses out of 50000 with flag 1586337/959940
926.13/465.00	c cleaning 25993 clauses out of 52000 with flag 1713684/986940
953.73/478.88	c cleaning 27003 clauses out of 54007 with flag 1849472/1014940
982.86/493.20	c cleaning 28002 clauses out of 56004 with flag 1983701/1043940
1006.61/505.03	c And the winner is solver1
1006.61/505.42	c Got one! Elapsed wall clock time (in seconds):505.3
1006.61/505.42	o 10467
1011.22/507.78	c cleaning 28440 clauses out of 56897 with flag 18900/1072835
1016.42/510.31	c cleaning 17198 clauses out of 34457 with flag 43993/1078835
1022.86/513.41	c cleaning 12116 clauses out of 24258 with flag 73931/1085834
1029.66/516.88	c cleaning 10027 clauses out of 20142 with flag 109586/1093834
1038.06/521.02	c cleaning 9530 clauses out of 19116 with flag 148380/1102835
1047.45/525.73	c cleaning 9764 clauses out of 19585 with flag 193529/1112834
1057.85/530.94	c cleaning 10383 clauses out of 20821 with flag 247672/1123834
1069.56/536.62	c cleaning 11195 clauses out of 22440 with flag 306131/1135836
1081.95/542.81	c cleaning 12109 clauses out of 24244 with flag 370326/1148835
1094.75/549.28	c cleaning 13065 clauses out of 26135 with flag 437777/1162835
1108.95/556.34	c cleaning 14013 clauses out of 28069 with flag 507542/1177834
1124.36/563.96	c cleaning 15017 clauses out of 30056 with flag 582236/1193834
1141.96/572.70	c cleaning 16014 clauses out of 32039 with flag 659144/1210834
1160.17/581.87	c cleaning 17013 clauses out of 34025 with flag 742900/1228834
1181.80/594.43	c cleaning 18006 clauses out of 36012 with flag 830416/1247834
1201.08/604.07	c cleaning 19001 clauses out of 38006 with flag 920071/1267834
1221.33/614.13	c cleaning 20003 clauses out of 40005 with flag 1014302/1288834
1242.42/624.61	c cleaning 20993 clauses out of 42002 with flag 1115853/1310834
1265.25/635.95	c cleaning 22004 clauses out of 44011 with flag 1221775/1333836
1287.49/647.03	c cleaning 23001 clauses out of 46005 with flag 1326475/1357834
1310.88/658.63	c cleaning 23996 clauses out of 48004 with flag 1449362/1382834
1336.20/671.27	c cleaning 24999 clauses out of 50008 with flag 1573181/1408834
1363.35/684.71	c cleaning 25986 clauses out of 52009 with flag 1702475/1435834
1390.35/698.26	c cleaning 27012 clauses out of 54023 with flag 1841522/1463834
1418.15/712.18	c cleaning 27994 clauses out of 56011 with flag 1976267/1492834
1447.01/726.49	c cleaning 29003 clauses out of 58018 with flag 2124107/1522835
1476.61/741.27	c cleaning 30007 clauses out of 60014 with flag 2265727/1553834
1508.18/756.83	c cleaning 31004 clauses out of 62007 with flag 2418552/1585834
1541.18/773.32	c cleaning 32004 clauses out of 64008 with flag 2581102/1618839
1574.55/789.86	c cleaning 32992 clauses out of 65999 with flag 2744853/1652834
1610.34/807.72	c cleaning 34004 clauses out of 68007 with flag 2916244/1687834
1648.33/826.51	c cleaning 35002 clauses out of 70003 with flag 3082226/1723834
1684.52/844.68	c cleaning 35969 clauses out of 72001 with flag 3254649/1760834
1726.25/864.95	c cleaning 36999 clauses out of 74032 with flag 3449667/1798834
1766.21/884.56	c cleaning 38010 clauses out of 76033 with flag 3636481/1837834
1800.08/901.30	c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<<
1800.08/901.30	c starts		: 32735
1800.08/901.30	c conflicts		: 1869232
1800.08/901.30	c decisions		: 25592448
1800.08/901.30	c propagations		: 3213289972
1800.08/901.30	c inspects		: 3836248263
1800.08/901.30	c shortcuts		: 0
1800.08/901.30	c learnt literals	: 0
1800.08/901.30	c learnt binary clauses	: 1
1800.08/901.30	c learnt ternary clauses	: 4
1800.08/901.30	c learnt constraints	: 1869232
1800.08/901.30	c ignored constraints	: 0
1800.08/901.30	c root simplifications	: 0
1800.08/901.30	c removed literals (reason simplification)	: 11676039
1800.08/901.30	c reason swapping (by a shorter reason)	: 0
1800.08/901.30	c Calls to reduceDB	: 99
1800.08/901.30	c Number of update (reduction) of LBD	: 1034902
1800.08/901.30	c Imported unit clauses	: 0
1800.08/901.30	c number of reductions to clauses (during analyze)	: 0
1800.08/901.30	c number of learned constraints concerned by reduction	: 0
1800.08/901.30	c number of learning phase by resolution	: 0
1800.08/901.30	c number of learning phase by cutting planes	: 0
1800.08/901.30	c speed (assignments/second)	: 8116869.267804728
1800.08/901.30	c non guided choices	0
1800.08/901.33	c learnt constraints type 
1800.08/901.33	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.08/901.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 69420
1800.08/901.33	c >>>>>>>>>> Solver number 1 (8 answers) <<<<<<<<<<<<<<<<<<
1800.08/901.33	c starts		: 34
1800.08/901.33	c conflicts		: 4462
1800.08/901.33	c decisions		: 191240
1800.08/901.33	c propagations		: 2124813
1800.08/901.33	c inspects		: 176523691
1800.08/901.33	c shortcuts		: 0
1800.08/901.33	c learnt literals	: 0
1800.08/901.33	c learnt binary clauses	: 0
1800.08/901.33	c learnt ternary clauses	: 0
1800.08/901.33	c learnt constraints	: 4461
1800.08/901.33	c ignored constraints	: 0
1800.08/901.33	c root simplifications	: 0
1800.08/901.33	c removed literals (reason simplification)	: 0
1800.08/901.33	c reason swapping (by a shorter reason)	: 0
1800.08/901.33	c Calls to reduceDB	: 0
1800.08/901.33	c Number of update (reduction) of LBD	: 0
1800.08/901.33	c Imported unit clauses	: 0
1800.08/901.33	c number of reductions to clauses (during analyze)	: 0
1800.08/901.33	c number of learned constraints concerned by reduction	: 0
1800.08/901.33	c number of learning phase by resolution	: 0
1800.08/901.33	c number of learning phase by cutting planes	: 0
1800.08/901.33	c speed (assignments/second)	: 2366.609491774612
1800.08/901.33	c non guided choices	0
1800.08/901.33	c learnt constraints type 
1800.08/901.33	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 6
1800.08/901.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4455
1800.08/901.33	s SATISFIABLE
1800.08/901.33	c Found 13 solution(s)
1800.08/901.34	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 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 x3830 x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 x3866 x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 x3904 x3905 x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 x3940 x3941 x3942 x3943 -x3944 -x3945 
1800.08/901.35	c objective function=10467
1800.08/901.35	c Total wall clock time (in seconds): 901.23

Verifier Data 

OK	10467

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-4105954-1466267055/watcher-4105954-1466267055 -o /tmp/evaluation-result-4105954-1466267055/solver-4105954-1466267055 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466265252-30107 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105954-1466267055.opb 

pid=30583
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.02 4.11 3.80 5/197 30586
/proc/meminfo: memFree=29797988/32872528 swapFree=1556504/1720024
[pid=30586] ppid=30583 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/30586/stat : 30586 (java) R 30583 30586 30091 0 -1 4202496 381 0 0 0 0 0 0 0 20 0 1 0 28754133 3653632 52 33554432000 1073741824 1073778376 140735623568048 140735623565176 270320889642 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30586/statm: 1408 55 43 9 0 30 0

[startup+0.100114 s]
/proc/loadavg: 4.02 4.11 3.80 5/197 30586
/proc/meminfo: memFree=29797988/32872528 swapFree=1556504/1720024
[pid=30586] ppid=30583 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/30586/stat : 30586 (java) S 30583 30586 30091 0 -1 4202496 4413 0 1 0 9 1 0 0 20 0 18 0 28754133 9787879424 6035 33554432000 1073741824 1073778376 140735623568048 140735623559184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30586/statm: 2389619 6035 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200279 s]
/proc/loadavg: 4.02 4.11 3.80 5/197 30586
/proc/meminfo: memFree=29797988/32872528 swapFree=1556504/1720024
[pid=30586] ppid=30583 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/30586/stat : 30586 (java) S 30583 30586 30091 0 -1 4202496 4983 0 1 0 26 1 0 0 20 0 18 0 28754133 9787879424 6912 33554432000 1073741824 1073778376 140735623568048 140735623559184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30586/statm: 2389619 6912 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300288 s]
/proc/loadavg: 4.02 4.11 3.80 5/197 30586
/proc/meminfo: memFree=29797988/32872528 swapFree=1556504/1720024
[pid=30586] ppid=30583 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/30586/stat : 30586 (java) S 30583 30586 30091 0 -1 4202496 5886 0 1 0 48 2 0 0 20 0 18 0 28754133 9787879424 9556 33554432000 1073741824 1073778376 140735623568048 140735623559184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30586/statm: 2389619 9581 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700305 s]
/proc/loadavg: 4.02 4.11 3.80 5/197 30586
/proc/meminfo: memFree=29797988/32872528 swapFree=1556504/1720024
[pid=30586] ppid=30583 vsize=9825340 CPUtime=1.58 cores=0,2,4,6
/proc/30586/stat : 30586 (java) S 30583 30586 30091 0 -1 4202496 25097 0 1 0 151 7 0 0 20 0 19 0 28754133 10061148160 27571 33554432000 1073741824 1073778376 140735623568048 140735623559184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30586/statm: 2456335 27571 2255 9 0 2447012 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9825340

[startup+1.50068 s]
/proc/loadavg: 4.02 4.11 3.80 6/217 30611
/proc/meminfo: memFree=29644616/32872528 swapFree=1556504/1720024
[pid=30586] ppid=30583 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/30586/stat : 30586 (java) S 30583 30586 30091 0 -1 4202496 31199 0 1 0 280 11 0 0 20 0 20 0 28754133 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140735623559184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30586/statm: 2456183 28463 2265 9 0 2446860 0
[pid=30586/tid=30588] ppid=30583 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/30586/task/30588/stat : 30588 (java) S 30583 30586 30091 0 -1 4202560 2510 0 1 0 43 2 0 0 20 0 20 0 28754134 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044709585784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30589] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30589/stat : 30589 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 28754135 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044671077160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30590] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30590/stat : 30590 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 28754135 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044670024360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30591] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30591/stat : 30591 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 28754135 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044668972072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30592] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30592/stat : 30592 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 28754135 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044667919272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30593] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30593/stat : 30593 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 28754135 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044666865960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30594] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30594/stat : 30594 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 28754135 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044665813160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30595] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30595/stat : 30595 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 28754135 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044664760872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30596] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30596/stat : 30596 (java) S 30583 30586 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 28754135 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044663708072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30597] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30597/stat : 30597 (java) S 30583 30586 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 28754136 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044533734120 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30598] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30598/stat : 30598 (java) S 30583 30586 30091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 28754137 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044532680184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30599] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30599/stat : 30599 (java) S 30583 30586 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 28754137 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044531627784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30600] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30600/stat : 30600 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 28754139 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044530576272 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30601] ppid=30583 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/30586/task/30601/stat : 30601 (java) R 30583 30586 30091 0 -1 4202560 10951 0 0 0 94 2 0 0 20 0 20 0 28754139 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044529522872 140044715542656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30602] ppid=30583 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/30586/task/30602/stat : 30602 (java) R 30583 30586 30091 0 -1 4202560 16365 0 0 0 92 3 0 0 20 0 20 0 28754139 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044528470072 140044717324012 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30603] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30603/stat : 30603 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 28754139 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044527417976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30604] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30604/stat : 30604 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 28754139 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140044526365384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30611] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30611/stat : 30611 (java) S 30583 30586 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 28754230 10060525568 28463 33554432000 1073741824 1073778376 140735623568048 140043515585704 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 9824732

[startup+3.10083 s]
/proc/loadavg: 4.18 4.14 3.81 3/216 30617
/proc/meminfo: memFree=29638712/32872528 swapFree=1556504/1720024
[pid=30586] ppid=30583 vsize=9824732 CPUtime=3.47 cores=0,2,4,6
/proc/30586/stat : 30586 (java) S 30583 30586 30091 0 -1 4202496 31236 0 1 0 330 17 0 0 20 0 19 0 28754133 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140735623559184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30586/statm: 2456183 34099 2270 9 0 2446860 0
[pid=30586/tid=30588] ppid=30583 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/30586/task/30588/stat : 30588 (java) S 30583 30586 30091 0 -1 4202560 2512 0 1 0 45 2 0 0 20 0 19 0 28754134 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044709585784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30589] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30589/stat : 30589 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28754135 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044671077160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30590] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30590/stat : 30590 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28754135 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044670024360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30591] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30591/stat : 30591 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28754135 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044668972072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30592] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30592/stat : 30592 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28754135 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044667919272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30593] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30593/stat : 30593 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28754135 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044666865960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30594] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30594/stat : 30594 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28754135 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044665813160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30595] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30595/stat : 30595 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28754135 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044664760872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30596] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30596/stat : 30596 (java) S 30583 30586 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28754135 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044663708072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30597] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30597/stat : 30597 (java) S 30583 30586 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28754136 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044533734120 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30598] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30598/stat : 30598 (java) S 30583 30586 30091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28754137 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044532680184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30599] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30599/stat : 30599 (java) S 30583 30586 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28754137 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044531627784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30600] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30600/stat : 30600 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28754139 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044530576272 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30601] ppid=30583 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/30586/task/30601/stat : 30601 (java) S 30583 30586 30091 0 -1 4202560 10955 0 0 0 109 2 0 0 20 0 19 0 28754139 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044529522872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30602] ppid=30583 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/30586/task/30602/stat : 30602 (java) S 30583 30586 30091 0 -1 4202560 16367 0 0 0 107 3 0 0 20 0 19 0 28754139 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044528470072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30603] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30603/stat : 30603 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28754139 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044527417976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30604] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30604/stat : 30604 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28754139 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140044526365384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30611] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30611/stat : 30611 (java) S 30583 30586 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28754230 10060525568 34099 33554432000 1073741824 1073778376 140735623568048 140043515585704 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 9824732

[startup+6.30088 s]
/proc/loadavg: 4.18 4.14 3.81 5/219 30626
/proc/meminfo: memFree=29510632/32872528 swapFree=1556504/1720024
[pid=30586] ppid=30583 vsize=9824732 CPUtime=9.67 cores=0,2,4,6
/proc/30586/stat : 30586 (java) S 30583 30586 30091 0 -1 4202496 31348 0 1 0 947 20 0 0 20 0 22 0 28754133 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140735623559184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30586/statm: 2456183 52613 2291 9 0 2446860 0
[pid=30586/tid=30588] ppid=30583 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/30586/task/30588/stat : 30588 (java) S 30583 30586 30091 0 -1 4202560 2512 0 1 0 46 2 0 0 20 0 22 0 28754134 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044709585784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30589] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30589/stat : 30589 (java) S 30583 30586 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28754135 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044671077160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30590] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30590/stat : 30590 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28754135 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044670024360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30591] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30591/stat : 30591 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28754135 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044668972072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30592] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30592/stat : 30592 (java) S 30583 30586 30091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 28754135 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044667919272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30593] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30593/stat : 30593 (java) S 30583 30586 30091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28754135 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044666865960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30594] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30594/stat : 30594 (java) S 30583 30586 30091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28754135 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044665813160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30595] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30595/stat : 30595 (java) S 30583 30586 30091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28754135 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044664760872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30596] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30596/stat : 30596 (java) S 30583 30586 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28754135 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044663708072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30597] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30597/stat : 30597 (java) S 30583 30586 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28754136 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044533734120 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30598] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30598/stat : 30598 (java) S 30583 30586 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28754137 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044532680184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30599] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30599/stat : 30599 (java) S 30583 30586 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28754137 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044531627784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30600] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30600/stat : 30600 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28754139 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044530576272 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30601] ppid=30583 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/30586/task/30601/stat : 30601 (java) S 30583 30586 30091 0 -1 4202560 10959 0 0 0 129 2 0 0 20 0 22 0 28754139 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044529522872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30602] ppid=30583 vsize=9824732 CPUtime=1.51 cores=0,2,4,6
/proc/30586/task/30602/stat : 30602 (java) S 30583 30586 30091 0 -1 4202560 16389 0 0 0 148 3 0 0 20 0 22 0 28754139 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044528470072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30603] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30603/stat : 30603 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28754139 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044527417976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30604] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30604/stat : 30604 (java) S 30583 30586 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28754139 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140044526365384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30611] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30611/stat : 30611 (java) S 30583 30586 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28754230 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140043515585704 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30624] ppid=30583 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/30586/task/30624/stat : 30624 (java) R 30583 30586 30091 0 -1 4202560 5 0 0 0 276 0 0 0 20 0 22 0 28754484 10060525568 52613 33554432000 1073741824 1073778376 140735623568048 140043513962912 140044539815076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30625] ppid=30583 vsize=9824732 CPUtime=2.73 cores=0,2,4,6

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

[pid=30586/tid=30596] ppid=30583 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/30586/task/30596/stat : 30596 (java) S 30583 30586 30091 0 -1 4202560 1680 0 0 0 223 35 0 0 20 0 22 0 28754135 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140044663708072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30597] ppid=30583 vsize=9824732 CPUtime=7.04 cores=0,2,4,6
/proc/30586/task/30597/stat : 30597 (java) S 30583 30586 30091 0 -1 4202560 3090 0 0 0 696 8 0 0 20 0 22 0 28754136 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140044533734120 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30598] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30598/stat : 30598 (java) S 30583 30586 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28754137 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140044532680184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30599] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30599/stat : 30599 (java) S 30583 30586 30091 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 28754137 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140044531627784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30600] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30600/stat : 30600 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28754139 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140044530576272 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30601] ppid=30583 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/30586/task/30601/stat : 30601 (java) S 30583 30586 30091 0 -1 4202560 10962 0 0 0 148 2 0 0 20 0 22 0 28754139 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140044529522872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30602] ppid=30583 vsize=9824732 CPUtime=2.59 cores=0,2,4,6
/proc/30586/task/30602/stat : 30602 (java) S 30583 30586 30091 0 -1 4202560 18833 0 0 0 255 4 0 0 20 0 22 0 28754139 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140044528470072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30603] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30603/stat : 30603 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28754139 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140044527417976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30604] ppid=30583 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/30586/task/30604/stat : 30604 (java) S 30583 30586 30091 0 -1 4202560 52 0 0 0 12 11 0 0 20 0 22 0 28754139 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140044526365384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30626] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30626/stat : 30626 (java) S 30583 30586 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28754484 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140043512918824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30697] ppid=30583 vsize=9824732 CPUtime=369.42 cores=0,2,4,6
/proc/30586/task/30697/stat : 30697 (java) R 30583 30586 30091 0 -1 4202560 8 0 0 0 36937 5 0 0 20 0 22 0 28804676 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140043513970560 140044539848372 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30698] ppid=30583 vsize=9824732 CPUtime=369.45 cores=0,2,4,6
/proc/30586/task/30698/stat : 30698 (java) R 30583 30586 30091 0 -1 4202560 44 0 0 0 36940 5 0 0 20 0 22 0 28804676 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140044523813296 140044540133646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30699] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30699/stat : 30699 (java) S 30583 30586 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28804676 10060525568 1087873 33554432000 1073741824 1073778376 140735623568048 140043515586216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1759.85
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.301 s]
/proc/loadavg: 4.64 4.50 4.17 7/219 30779
/proc/meminfo: memFree=25280420/32872528 swapFree=1556504/1720024
[pid=30586] ppid=30583 vsize=9824732 CPUtime=1798.12 cores=0,2,4,6
/proc/30586/stat : 30586 (java) S 30583 30586 30091 0 -1 4202496 56236 0 1 0 179419 393 0 0 20 0 22 0 28754133 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140735623559184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30586/statm: 2456183 1106848 2302 9 0 2446860 0
[pid=30586/tid=30588] ppid=30583 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/30586/task/30588/stat : 30588 (java) S 30583 30586 30091 0 -1 4202560 2528 0 1 0 52 3 0 0 20 0 22 0 28754134 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044709585784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30589] ppid=30583 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/30586/task/30589/stat : 30589 (java) S 30583 30586 30091 0 -1 4202560 1881 0 0 0 259 36 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044671077160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30590] ppid=30583 vsize=9824732 CPUtime=2.87 cores=0,2,4,6
/proc/30586/task/30590/stat : 30590 (java) S 30583 30586 30091 0 -1 4202560 2584 0 0 0 250 37 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044670024360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30591] ppid=30583 vsize=9824732 CPUtime=3.39 cores=0,2,4,6
/proc/30586/task/30591/stat : 30591 (java) S 30583 30586 30091 0 -1 4202560 1860 0 0 0 295 44 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044668972072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30592] ppid=30583 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/30586/task/30592/stat : 30592 (java) S 30583 30586 30091 0 -1 4202560 3221 0 0 0 273 41 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044667919272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30593] ppid=30583 vsize=9824732 CPUtime=3.18 cores=0,2,4,6
/proc/30586/task/30593/stat : 30593 (java) S 30583 30586 30091 0 -1 4202560 2855 0 0 0 272 46 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044666865960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30594] ppid=30583 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/30586/task/30594/stat : 30594 (java) S 30583 30586 30091 0 -1 4202560 1757 0 0 0 238 38 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044665813160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30595] ppid=30583 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/30586/task/30595/stat : 30595 (java) S 30583 30586 30091 0 -1 4202560 1646 0 0 0 240 37 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044664760872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30596] ppid=30583 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/30586/task/30596/stat : 30596 (java) S 30583 30586 30091 0 -1 4202560 1688 0 0 0 228 35 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044663708072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30597] ppid=30583 vsize=9824732 CPUtime=7.04 cores=0,2,4,6
/proc/30586/task/30597/stat : 30597 (java) S 30583 30586 30091 0 -1 4202560 3103 0 0 0 696 8 0 0 20 0 22 0 28754136 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044533734120 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30598] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30598/stat : 30598 (java) S 30583 30586 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28754137 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044532680184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30599] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30599/stat : 30599 (java) S 30583 30586 30091 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 28754137 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044531627784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30600] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30600/stat : 30600 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28754139 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044530576272 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30601] ppid=30583 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/30586/task/30601/stat : 30601 (java) S 30583 30586 30091 0 -1 4202560 10962 0 0 0 148 2 0 0 20 0 22 0 28754139 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044529522872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30602] ppid=30583 vsize=9824732 CPUtime=2.59 cores=0,2,4,6
/proc/30586/task/30602/stat : 30602 (java) S 30583 30586 30091 0 -1 4202560 18833 0 0 0 255 4 0 0 20 0 22 0 28754139 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044528470072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30603] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30603/stat : 30603 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28754139 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044527417976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30604] ppid=30583 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/30586/task/30604/stat : 30604 (java) S 30583 30586 30091 0 -1 4202560 54 0 0 0 13 12 0 0 20 0 22 0 28754139 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044526365384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30626] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30626/stat : 30626 (java) S 30583 30586 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28754484 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140043512918824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30697] ppid=30583 vsize=9824732 CPUtime=388.19 cores=0,2,4,6
/proc/30586/task/30697/stat : 30697 (java) R 30583 30586 30091 0 -1 4202560 11 0 0 0 38814 5 0 0 20 0 22 0 28804676 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140043513970560 140044539847899 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30698] ppid=30583 vsize=9824732 CPUtime=388.23 cores=0,2,4,6
/proc/30586/task/30698/stat : 30698 (java) R 30583 30586 30091 0 -1 4202560 44 0 0 0 38818 5 0 0 20 0 22 0 28804676 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044523813696 140044540093845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30699] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30699/stat : 30699 (java) S 30583 30586 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28804676 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140043515586216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.12
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 30586 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+901.301 s]
/proc/loadavg: 4.64 4.50 4.17 7/219 30779
/proc/meminfo: memFree=25280420/32872528 swapFree=1556504/1720024
[pid=30586] ppid=30583 vsize=9824732 CPUtime=1798.12 cores=0,2,4,6
/proc/30586/stat : 30586 (java) S 30583 30586 30091 0 -1 4202496 56236 0 1 0 179419 393 0 0 20 0 22 0 28754133 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140735623559184 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30586/statm: 2456183 1106848 2302 9 0 2446860 0
[pid=30586/tid=30588] ppid=30583 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/30586/task/30588/stat : 30588 (java) S 30583 30586 30091 0 -1 4202560 2528 0 1 0 52 3 0 0 20 0 22 0 28754134 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044709585784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30589] ppid=30583 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/30586/task/30589/stat : 30589 (java) S 30583 30586 30091 0 -1 4202560 1881 0 0 0 259 36 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044671077160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30590] ppid=30583 vsize=9824732 CPUtime=2.87 cores=0,2,4,6
/proc/30586/task/30590/stat : 30590 (java) S 30583 30586 30091 0 -1 4202560 2584 0 0 0 250 37 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044670024360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30591] ppid=30583 vsize=9824732 CPUtime=3.39 cores=0,2,4,6
/proc/30586/task/30591/stat : 30591 (java) S 30583 30586 30091 0 -1 4202560 1860 0 0 0 295 44 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044668972072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30592] ppid=30583 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/30586/task/30592/stat : 30592 (java) S 30583 30586 30091 0 -1 4202560 3221 0 0 0 273 41 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044667919272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30593] ppid=30583 vsize=9824732 CPUtime=3.18 cores=0,2,4,6
/proc/30586/task/30593/stat : 30593 (java) S 30583 30586 30091 0 -1 4202560 2855 0 0 0 272 46 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044666865960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30594] ppid=30583 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/30586/task/30594/stat : 30594 (java) S 30583 30586 30091 0 -1 4202560 1757 0 0 0 238 38 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044665813160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30595] ppid=30583 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/30586/task/30595/stat : 30595 (java) S 30583 30586 30091 0 -1 4202560 1646 0 0 0 240 37 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044664760872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30596] ppid=30583 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/30586/task/30596/stat : 30596 (java) S 30583 30586 30091 0 -1 4202560 1688 0 0 0 228 35 0 0 20 0 22 0 28754135 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044663708072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30597] ppid=30583 vsize=9824732 CPUtime=7.04 cores=0,2,4,6
/proc/30586/task/30597/stat : 30597 (java) S 30583 30586 30091 0 -1 4202560 3103 0 0 0 696 8 0 0 20 0 22 0 28754136 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044533734120 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30598] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30598/stat : 30598 (java) S 30583 30586 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28754137 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044532680184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30599] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30599/stat : 30599 (java) S 30583 30586 30091 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 28754137 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044531627784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30600] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30600/stat : 30600 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28754139 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044530576272 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30601] ppid=30583 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/30586/task/30601/stat : 30601 (java) S 30583 30586 30091 0 -1 4202560 10962 0 0 0 148 2 0 0 20 0 22 0 28754139 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044529522872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30602] ppid=30583 vsize=9824732 CPUtime=2.59 cores=0,2,4,6
/proc/30586/task/30602/stat : 30602 (java) S 30583 30586 30091 0 -1 4202560 18833 0 0 0 255 4 0 0 20 0 22 0 28754139 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044528470072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30586/tid=30603] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30603/stat : 30603 (java) S 30583 30586 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28754139 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044527417976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30604] ppid=30583 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/30586/task/30604/stat : 30604 (java) S 30583 30586 30091 0 -1 4202560 54 0 0 0 13 12 0 0 20 0 22 0 28754139 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044526365384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30586/tid=30626] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30626/stat : 30626 (java) S 30583 30586 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28754484 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140043512918824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30697] ppid=30583 vsize=9824732 CPUtime=388.19 cores=0,2,4,6
/proc/30586/task/30697/stat : 30697 (java) R 30583 30586 30091 0 -1 4202560 11 0 0 0 38814 5 0 0 20 0 22 0 28804676 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140043513970560 140044539847899 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30586/tid=30698] ppid=30583 vsize=9824732 CPUtime=388.23 cores=0,2,4,6
/proc/30586/task/30698/stat : 30698 (java) R 30583 30586 30091 0 -1 4202560 44 0 0 0 38818 5 0 0 20 0 22 0 28804676 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140044523813696 140044540093845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30586/tid=30699] ppid=30583 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/30586/task/30699/stat : 30699 (java) S 30583 30586 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28804676 10060525568 1106848 33554432000 1073741824 1073778376 140735623568048 140043515586216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.12
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30586 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=218541
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=223357
# CPU time returned by wait4() is 1796.44
# while last known CPU time is 1798.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.95996
#  lost CPU user time (s): 2.11998
#  lost CPU system time (s): -0.16

Real time (s): 901.381
CPU time (s): 1800.08
CPU user time (s): 1796.31
CPU system time (s): 3.77
CPU usage (%): 199.702
Max. virtual memory (cumulated for all children) (KiB): 9825932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.22
system time used= 4.22336
maximum resident set size= 4427508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56276
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24328
involuntary context switches= 26569

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66414 second user time and 7.2139 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-18 18:24:15
IDJOB=4105954
IDBENCH=24963
IDSOLVER=2543
FILE ID=node117/4105954-1466267055
RUNJOBID= node117-1466265252-30107
PBS_JOBID= 19918233
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105954-1466267055/watcher-4105954-1466267055 -o /tmp/evaluation-result-4105954-1466267055/solver-4105954-1466267055 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466265252-30107 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105954-1466267055.opb

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

MD5SUM BENCH= 83e4cddd78ca4f87cfb13af1d930e0cc
RANDOM SEED=1819346806

node117.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.912
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	: 5333.82
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.912
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.912
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.55
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.912
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.55
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.912
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.54
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.912
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.54
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.912
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.54
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.912
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:        29798516 kB
Buffers:          131880 kB
Cached:           316616 kB
SwapCached:            0 kB
Active:           242924 kB
Inactive:         351056 kB
Active(anon):     137456 kB
Inactive(anon):    10748 kB
Active(file):     105468 kB
Inactive(file):   340308 kB
Unevictable:     1720024 kB
Mlocked:         1556504 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2292 kB
Writeback:             0 kB
AnonPages:       1793576 kB
Mapped:            21184 kB
Shmem:               204 kB
Slab:             621056 kB
SReclaimable:      64760 kB
SUnreclaim:       556296 kB
KernelStack:        1792 kB
PageTables:         7680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2410776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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= 71740 MiB
End job on node117 at 2016-06-18 18:39:17