Trace number 4111375

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 Resolution PB16SAT (TO)149911808 1800.09 1796.66

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-2-irEDCBA.opb
MD5SUMe2b6e7831a8f585231b016a7f51eecbb
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark134183168
Best CPU time to get the best result obtained on this benchmark322.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3564
Total number of constraints11685
Number of constraints which are clauses11625
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint1
Maximum length of a constraint84
Number of terms in the objective function 166
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 461373439
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 461373439
Number of bits of the biggest sum of numbers29
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4111375-1466409175.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
0.80/0.40	c ... done. Wall clock time 0.3s.
0.80/0.40	c declared #vars     3564
0.80/0.40	c #constraints  11685
0.80/0.40	c constraints type 
0.80/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3461
0.80/0.40	c org.sat4j.specs.Constr$1 => 880
0.80/0.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
0.80/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7198
0.80/0.40	c org.sat4j.minisat.constraints.cnf.UnitClause => 131
0.80/0.40	c 11685 constraints processed.
0.80/0.40	c objective function length is 166 literals
0.80/0.46	c SATISFIABLE
0.80/0.46	c OPTIMIZING...
0.80/0.46	c Got one! Elapsed wall clock time (in seconds):0.361
0.80/0.46	o 165645998
1.55/0.75	c Got one! Elapsed wall clock time (in seconds):0.648
1.55/0.75	o 165645743
1.55/0.78	c Got one! Elapsed wall clock time (in seconds):0.684
1.55/0.78	o 165645563
1.55/0.79	c Got one! Elapsed wall clock time (in seconds):0.694
1.55/0.79	o 165644288
2.59/1.68	c cleaning 2989 clauses out of 5988 with flag 12347/5988
3.46/2.47	c cleaning 4499 clauses out of 9000 with flag 46467/11989
4.66/3.66	c cleaning 5750 clauses out of 11500 with flag 145585/18988
5.77/4.71	c cleaning 6876 clauses out of 13751 with flag 257975/26989
7.10/6.01	c cleaning 7937 clauses out of 15874 with flag 400574/35988
8.57/7.41	c cleaning 8962 clauses out of 17938 with flag 469176/45989
10.47/9.39	c cleaning 9988 clauses out of 19977 with flag 537760/56990
12.87/11.74	c cleaning 10995 clauses out of 21989 with flag 621254/68990
15.28/14.17	c cleaning 11994 clauses out of 23994 with flag 709722/81990
18.16/16.66	c cleaning 13000 clauses out of 26000 with flag 807987/95990
21.51/19.67	c cleaning 13993 clauses out of 28000 with flag 879682/110990
25.02/23.20	c cleaning 15003 clauses out of 30005 with flag 941728/126988
29.01/27.13	c cleaning 16002 clauses out of 32006 with flag 1008503/143992
33.10/31.25	c cleaning 17002 clauses out of 34003 with flag 1081862/161991
37.91/36.01	c cleaning 17997 clauses out of 35998 with flag 1164317/180988
43.21/41.40	c cleaning 18997 clauses out of 38002 with flag 1262947/200989
49.55/47.67	c cleaning 19992 clauses out of 40004 with flag 1385005/221988
54.25/52.36	c cleaning 21007 clauses out of 42013 with flag 1488925/243989
57.95/56.08	c Got one! Elapsed wall clock time (in seconds):55.982
57.95/56.08	o 165641198
59.60/57.61	c cleaning 21426 clauses out of 42855 with flag 17273/265838
60.50/58.58	c cleaning 13714 clauses out of 27428 with flag 38651/271837
60.60/58.65	c Got one! Elapsed wall clock time (in seconds):58.55
60.60/58.65	o 165641183
61.40/59.45	c Got one! Elapsed wall clock time (in seconds):59.351
61.40/59.45	o 165640928
61.40/59.47	c Got one! Elapsed wall clock time (in seconds):59.372
61.40/59.47	o 165640448
61.70/59.71	c cleaning 9781 clauses out of 19584 with flag 3960/277707
62.20/60.26	c Got one! Elapsed wall clock time (in seconds):60.156
62.20/60.26	o 161454559
62.20/60.26	c Got one! Elapsed wall clock time (in seconds):60.165
62.20/60.26	o 161449984
62.20/60.27	c Got one! Elapsed wall clock time (in seconds):60.168
62.20/60.27	o 161447104
62.20/60.28	c Got one! Elapsed wall clock time (in seconds):60.18
62.20/60.28	o 161446624
62.20/60.28	c Got one! Elapsed wall clock time (in seconds):60.182
62.20/60.28	o 161446144
62.41/60.46	c Got one! Elapsed wall clock time (in seconds):60.362
62.41/60.46	o 160401663
62.41/60.46	c Got one! Elapsed wall clock time (in seconds):60.365
62.41/60.46	o 160401408
62.41/60.47	c Got one! Elapsed wall clock time (in seconds):60.369
62.41/60.47	o 160397568
62.95/60.86	c cleaning 8196 clauses out of 16399 with flag 15011/284303
63.55/61.45	c cleaning 7097 clauses out of 14204 with flag 41016/290304
64.35/62.26	c cleaning 7039 clauses out of 14105 with flag 65948/297302
65.25/63.12	c cleaning 7525 clauses out of 15066 with flag 91581/305302
66.25/64.11	c cleaning 8263 clauses out of 16541 with flag 120229/314302
67.15/65.05	c cleaning 9136 clauses out of 18278 with flag 154088/324302
68.26/66.11	c cleaning 10060 clauses out of 20142 with flag 192269/335302
69.95/67.86	c cleaning 11034 clauses out of 22082 with flag 231802/347302
70.95/68.85	c Got one! Elapsed wall clock time (in seconds):68.751
70.95/68.85	o 156216299
70.95/68.86	c Got one! Elapsed wall clock time (in seconds):68.757
70.95/68.86	o 156203264
71.68/69.56	c cleaning 11621 clauses out of 23256 with flag 23531/359510
72.21/70.00	c Got one! Elapsed wall clock time (in seconds):69.899
72.21/70.00	o 155176348
72.21/70.00	c Got one! Elapsed wall clock time (in seconds):69.904
72.21/70.00	o 150960384
72.31/70.19	c Got one! Elapsed wall clock time (in seconds):70.092
72.31/70.19	o 149929943
72.41/70.21	c Got one! Elapsed wall clock time (in seconds):70.109
72.41/70.21	o 149911808
72.81/70.68	c cleaning 9307 clauses out of 18643 with flag 7769/366518
73.41/71.29	c cleaning 7663 clauses out of 15336 with flag 35176/372518
73.91/71.72	c cleaning 7330 clauses out of 14673 with flag 66225/379518
74.71/72.51	c cleaning 7662 clauses out of 15346 with flag 99883/387521
75.51/73.32	c cleaning 8332 clauses out of 16682 with flag 131953/396519
76.31/74.11	c cleaning 9173 clauses out of 18349 with flag 167021/406518
77.51/75.38	c cleaning 10082 clauses out of 20176 with flag 203555/417518
78.61/76.45	c cleaning 11047 clauses out of 22097 with flag 244006/429521
80.82/78.67	c cleaning 12019 clauses out of 24048 with flag 367578/442519
83.12/80.94	c cleaning 13013 clauses out of 26028 with flag 522994/456518
85.12/82.99	c cleaning 14000 clauses out of 28015 with flag 677284/471518
87.44/85.28	c cleaning 15005 clauses out of 30015 with flag 856129/487518
90.04/87.82	c cleaning 16000 clauses out of 32010 with flag 1046384/504518
92.83/90.68	c cleaning 17002 clauses out of 34010 with flag 1247661/522518
96.03/93.84	c cleaning 18003 clauses out of 36009 with flag 1460019/541519
99.53/97.37	c cleaning 18997 clauses out of 38005 with flag 1683817/561518
103.44/101.22	c cleaning 19998 clauses out of 40008 with flag 1918615/582518
107.63/105.44	c cleaning 21002 clauses out of 42011 with flag 2164519/604519
112.24/110.02	c cleaning 22003 clauses out of 44009 with flag 2421587/627519
116.83/114.62	c cleaning 22999 clauses out of 46006 with flag 2583009/651519
123.03/120.80	c cleaning 23999 clauses out of 48006 with flag 2722994/676518
129.73/127.53	c cleaning 25000 clauses out of 50007 with flag 2868631/702518
137.02/134.81	c cleaning 26001 clauses out of 52008 with flag 3020940/729519
145.12/142.92	c cleaning 27000 clauses out of 54007 with flag 3178634/757519
153.91/151.72	c cleaning 28000 clauses out of 56006 with flag 3341746/786518
163.27/161.02	c cleaning 29002 clauses out of 58006 with flag 3510496/816518
173.06/170.82	c cleaning 30001 clauses out of 60005 with flag 3684884/847519
183.36/181.18	c cleaning 30996 clauses out of 62003 with flag 3868401/879518
195.17/192.97	c cleaning 32003 clauses out of 64007 with flag 4070881/912518
208.08/205.89	c cleaning 33000 clauses out of 66004 with flag 4279602/946518
219.17/216.95	c cleaning 34000 clauses out of 68004 with flag 4489788/981518
225.07/222.87	c cleaning 34998 clauses out of 70004 with flag 4701915/1017518
231.67/229.45	c cleaning 35997 clauses out of 72006 with flag 4984166/1054518
241.27/239.01	c cleaning 37004 clauses out of 74009 with flag 5239291/1092518
251.44/249.18	c cleaning 38000 clauses out of 76005 with flag 5498855/1131518
262.14/259.89	c cleaning 38998 clauses out of 78005 with flag 5763241/1171518
273.94/271.65	c cleaning 40001 clauses out of 80007 with flag 6035125/1212518
286.74/284.43	c cleaning 41002 clauses out of 82006 with flag 6235800/1254518
301.14/298.84	c cleaning 42000 clauses out of 84006 with flag 6397001/1297520
314.34/312.05	c cleaning 43000 clauses out of 86004 with flag 6559417/1341518
330.14/327.82	c cleaning 43998 clauses out of 88004 with flag 6752477/1386518
343.03/340.76	c cleaning 45004 clauses out of 90008 with flag 6969692/1432520
357.94/355.64	c cleaning 45999 clauses out of 92004 with flag 7152545/1479520
375.20/372.89	c cleaning 47002 clauses out of 94005 with flag 7309094/1527520
392.51/390.16	c cleaning 47997 clauses out of 96001 with flag 7465930/1576518
411.41/409.06	c cleaning 49001 clauses out of 98004 with flag 7625930/1626518
431.01/428.62	c cleaning 50001 clauses out of 100003 with flag 7789130/1677518
452.02/449.64	c cleaning 50998 clauses out of 102002 with flag 7955530/1729518
474.52/472.15	c cleaning 52000 clauses out of 104004 with flag 8125130/1782518
498.52/496.15	c cleaning 52999 clauses out of 106004 with flag 8297930/1836518
524.44/521.99	c cleaning 54000 clauses out of 108005 with flag 8473932/1891518
551.15/548.67	c cleaning 55002 clauses out of 110005 with flag 8653132/1947518
580.94/578.45	c cleaning 55999 clauses out of 112003 with flag 8835532/2004518
611.15/608.60	c cleaning 57002 clauses out of 114004 with flag 9021132/2062518
634.85/632.38	c cleaning 57996 clauses out of 116002 with flag 9223444/2121518
659.76/657.20	c cleaning 59002 clauses out of 118006 with flag 9433344/2181518
684.76/682.12	c cleaning 60001 clauses out of 120007 with flag 9641493/2242521
711.16/708.58	c cleaning 61000 clauses out of 122003 with flag 9854041/2304518
737.57/734.99	c cleaning 61998 clauses out of 124003 with flag 10066776/2367518
765.67/763.05	c cleaning 63003 clauses out of 126005 with flag 10282703/2431518
796.01/793.29	c cleaning 63999 clauses out of 128002 with flag 10501983/2496518
828.30/825.50	c cleaning 65000 clauses out of 130003 with flag 10726184/2562518
861.61/858.89	c cleaning 65997 clauses out of 132003 with flag 10954002/2629518
896.21/893.47	c cleaning 66999 clauses out of 134006 with flag 11184493/2697518
933.12/930.38	c cleaning 67999 clauses out of 136007 with flag 11413008/2766518
971.31/968.49	c cleaning 69002 clauses out of 138008 with flag 11651016/2836518
1010.03/1007.11	c cleaning 69999 clauses out of 140006 with flag 11884644/2907518
1050.54/1047.60	c cleaning 71000 clauses out of 142007 with flag 12129457/2979518
1095.45/1092.59	c cleaning 72002 clauses out of 144007 with flag 12370100/3052518
1143.45/1140.45	c cleaning 73001 clauses out of 146005 with flag 12621497/3126518
1190.55/1187.57	c cleaning 73998 clauses out of 148004 with flag 12871317/3201518
1240.96/1237.92	c cleaning 74998 clauses out of 150006 with flag 13127153/3277518
1292.77/1289.73	c cleaning 76001 clauses out of 152008 with flag 13383988/3354518
1348.22/1345.03	c cleaning 77002 clauses out of 154009 with flag 13653706/3432520
1406.73/1403.58	c cleaning 78002 clauses out of 156007 with flag 13921977/3511520
1466.05/1462.82	c cleaning 79000 clauses out of 158005 with flag 14190597/3591520
1526.87/1523.60	c cleaning 80001 clauses out of 160005 with flag 14461753/3672520
1591.18/1587.82	c cleaning 81001 clauses out of 162004 with flag 14736305/3754520
1656.30/1652.98	c cleaning 82002 clauses out of 164003 with flag 15014722/3837520
1727.39/1724.01	c cleaning 82995 clauses out of 165999 with flag 15291367/3921518
1800.09/1796.60	c starts		: 2836
1800.09/1796.60	c conflicts		: 4006518
1800.09/1796.60	c decisions		: 4795964
1800.09/1796.60	c propagations		: 450850638
1800.09/1796.60	c inspects		: 29817654506
1800.09/1796.60	c shortcuts		: 0
1800.09/1796.60	c learnt literals	: 0
1800.09/1796.60	c learnt binary clauses	: 5
1800.09/1796.60	c learnt ternary clauses	: 1
1800.09/1796.60	c learnt constraints	: 4006518
1800.09/1796.60	c ignored constraints	: 0
1800.09/1796.60	c root simplifications	: 0
1800.09/1796.60	c removed literals (reason simplification)	: 0
1800.09/1796.60	c reason swapping (by a shorter reason)	: 0
1800.09/1796.60	c Calls to reduceDB	: 111
1800.09/1796.60	c Number of update (reduction) of LBD	: 304478
1800.09/1796.60	c Imported unit clauses	: 0
1800.09/1796.60	c number of reductions to clauses (during analyze)	: 0
1800.09/1796.60	c number of learned constraints concerned by reduction	: 0
1800.09/1796.60	c number of learning phase by resolution	: 0
1800.09/1796.60	c number of learning phase by cutting planes	: 0
1800.09/1796.60	c speed (assignments/second)	: 251003.02973617578
1800.09/1796.60	c non guided choices	1374
1800.09/1796.63	c learnt constraints type 
1800.09/1796.63	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5
1800.09/1796.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 167999
1800.09/1796.63	s SATISFIABLE
1800.09/1796.63	c Found 22 solution(s)
1800.09/1796.64	v x1 x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10 x11 x12 -x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 x22 -x23 -x24 -x25 x26 x27 -x28 -x29 x30 x31 x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 x41 x42 -x43 -x44 x45 x46 x47 -x48 -x49 -x50 x51 x52 -x53 -x54 x55 x56 x57 -x58 -x59 x60 x61 x62 -x63 -x64 -x65 x66 x67 -x68 -x69 x70 x71 x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 x721 x722 x723 x724 -x725 -x726 -x727 x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 x777 x778 x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 x865 -x866 -x867 -x868 -x869 x870 x871 x872 x873 -x874 -x875 -x876 -x877 x878 x879 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 x897 -x898 -x899 -x900 -x901 x902 x903 x904 x905 x906 x907 x908 -x909 -x910 -x911 -x912 -x913 x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 x941 -x942 -x943 -x944 -x945 x946 x947 x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 x990 x991 x992 x993 -x994 -x995 x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 x1020 x1021 x1022 x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 x1031 -x1032 x1033 x1034 x1035 x1036 -x1037 -x1038 x1039 x1040 x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 x1281 x1282 x1283 x1284 x1285 -x1286 -x1287 -x1288 x1289 x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 x1339 x1340 x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 x1364 x1365 x1366 x1367 x1368 x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 x1440 x1441 x1442 x1443 -x1444 -x1445 x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 x1486 x1487 x1488 x1489 -x1490 -x1491 -x1492 -x1493 x1494 x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 x1569 -x1570 -x1571 -x1572 x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 x1633 x1634 x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 x1643 x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 x1764 x1765 x1766 x1767 -x1768 x1769 -x1770 -x1771 x1772 x1773 x1774 x1775 -x1776 x1777 x1778 x1779 x1780 -x1781 -x1782 -x1783 -x1784 x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 x1898 x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 x2004 x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 x2183 x2184 x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 x2278 x2279 x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 x2306 -x2307 -x2308 -x2309 x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 x2328 x2329 x2330 x2331 x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 x2361 x2362 x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 x2420 x2421 x2422 x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 x2438 x2439 x2440 x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 -x2520 -x2521 -x2522 x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x2640 -x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 x2940 -x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 -x3109 x3110 -x3111 -x3112 -x3113 -x3114 -x3115 x3116 x3117 x3118 x3119 x3120 x3121 x3122 x3123 x3124 x3125 x3126 x3127 x3128 x3129 x3130 x3131 x3132 x3133 x3134 x3135 x3136 x3137 x3138 x3139 x3140 x3141 x3142 x3143 x3144 x3145 x3146 x3147 x3148 x3149 x3150 x3151 x3152 x3153 x3154 x3155 x3156 x3157 x3158 x3159 x3160 x3161 x3162 x3163 x3164 x3165 x3166 x3167 x3168 x3169 x3170 x3171 x3172 x3173 x3174 x3175 x3176 x3177 x3178 x3179 x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 -x3430 -x3431 x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 x3441 x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 x3495 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 x3533 x3534 -x3535 -x3536 -x3537 -x3538 -x3539 x3540 x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 x3561 -x3562 -x3563 -x3564 
1800.09/1796.65	c objective function=149911808
1800.09/1796.65	c Total wall clock time (in seconds): 1796.548

Verifier Data 

OK	149911808

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-4111375-1466409175/watcher-4111375-1466409175 -o /tmp/evaluation-result-4111375-1466409175/solver-4111375-1466409175 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466384038-10369 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4111375-1466409175.opb 

pid=13243
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.19 2.19 2.13 2/194 13246
/proc/meminfo: memFree=30307296/32872528 swapFree=1431120/1543540
[pid=13246] ppid=13243 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13246/stat : 13246 (java) S 13243 13246 10352 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 42966221 98570240 977 33554432000 1073741824 1073778376 140736302211568 140736302202704 266439000125 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13246/statm: 24065 977 744 9 0 16771 0
[pid=13246/tid=13247] ppid=13243 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13247/stat : 13247 (java) R 13243 13246 10352 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 42966221 98570240 977 33554432000 1073741824 1073778376 140736302211568 140052719627816 266435642752 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.19 2.19 2.13 2/194 13246
/proc/meminfo: memFree=30307296/32872528 swapFree=1431120/1543540
[pid=13246] ppid=13243 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/13246/stat : 13246 (java) S 13243 13246 10352 0 -1 4202496 4502 0 1 0 10 1 0 0 20 0 18 0 42966221 9787879424 6132 33554432000 1073741824 1073778376 140736302211568 140736302202704 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13246/statm: 2389619 6132 2157 9 0 2380296 0
[pid=13246/tid=13247] ppid=13243 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13246/task/13247/stat : 13247 (java) R 13243 13246 10352 0 -1 4202560 2378 0 1 0 7 0 0 0 20 0 18 0 42966221 9787879424 6132 33554432000 1073741824 1073778376 140736302211568 140052719632728 266439025933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.20028 s]
/proc/loadavg: 2.19 2.19 2.13 2/194 13246
/proc/meminfo: memFree=30307296/32872528 swapFree=1431120/1543540
[pid=13246] ppid=13243 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/13246/stat : 13246 (java) S 13243 13246 10352 0 -1 4202496 4975 0 1 0 27 1 0 0 20 0 18 0 42966221 9787879424 7003 33554432000 1073741824 1073778376 140736302211568 140736302202704 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13246/statm: 2389619 7003 2215 9 0 2380296 0
[pid=13246/tid=13247] ppid=13243 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13246/task/13247/stat : 13247 (java) R 13243 13246 10352 0 -1 4202560 2395 0 1 0 17 0 0 0 20 0 18 0 42966221 9787879424 7003 33554432000 1073741824 1073778376 140736302211568 140052719632728 140052592129444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300276 s]
/proc/loadavg: 2.19 2.19 2.13 2/194 13246
/proc/meminfo: memFree=30307296/32872528 swapFree=1431120/1543540
[pid=13246] ppid=13243 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/13246/stat : 13246 (java) S 13243 13246 10352 0 -1 4202496 6336 0 1 0 50 1 0 0 20 0 18 0 42966221 9787879424 8910 33554432000 1073741824 1073778376 140736302211568 140736302202704 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13246/statm: 2389619 8910 2233 9 0 2380296 0
[pid=13246/tid=13247] ppid=13243 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/13246/task/13247/stat : 13247 (java) R 13243 13246 10352 0 -1 4202560 2397 0 1 0 27 0 0 0 20 0 18 0 42966221 9787879424 8910 33554432000 1073741824 1073778376 140736302211568 140052719632728 140052592181800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.700303 s]
/proc/loadavg: 2.19 2.19 2.13 2/194 13246
/proc/meminfo: memFree=30307296/32872528 swapFree=1431120/1543540
[pid=13246] ppid=13243 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/13246/stat : 13246 (java) S 13243 13246 10352 0 -1 4202496 12424 0 1 0 152 3 0 0 20 0 19 0 42966221 9856040960 16748 33554432000 1073741824 1073778376 140736302211568 140736302202704 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13246/statm: 2406260 16748 2261 9 0 2396937 0
[pid=13246/tid=13247] ppid=13243 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/13246/task/13247/stat : 13247 (java) R 13243 13246 10352 0 -1 4202560 2418 0 1 0 66 1 0 0 20 0 19 0 42966221 9856040960 16748 33554432000 1073741824 1073778376 140736302211568 140052719632216 140052592793240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.19 2.19 2.13 3/213 13265
/proc/meminfo: memFree=30244624/32872528 swapFree=1431120/1543540
[pid=13246] ppid=13243 vsize=9625040 CPUtime=2.45 cores=1,3,5,7
/proc/13246/stat : 13246 (java) S 13243 13246 10352 0 -1 4202496 12429 0 1 0 242 3 0 0 20 0 19 0 42966221 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140736302202704 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13246/statm: 2406260 17263 2263 9 0 2396937 0
[pid=13246/tid=13247] ppid=13243 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/13246/task/13247/stat : 13247 (java) R 13243 13246 10352 0 -1 4202560 2420 0 1 0 146 1 0 0 20 0 19 0 42966221 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052719632520 140052592186878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13249] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13249/stat : 13249 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052563536168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13250] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13250/stat : 13250 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052562483368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13251] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13251/stat : 13251 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052561431080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13246/tid=13252] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13252/stat : 13252 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052560378280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13253] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13253/stat : 13253 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052559325992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13254] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13254/stat : 13254 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052558273192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13255] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13255/stat : 13255 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052557220904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13256] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13256/stat : 13256 (java) S 13243 13246 10352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052556168104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13257] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13257/stat : 13257 (java) S 13243 13246 10352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052543756520 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13258] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13258/stat : 13258 (java) S 13243 13246 10352 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052542702584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13259] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13259/stat : 13259 (java) S 13243 13246 10352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052541650184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13260] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13260/stat : 13260 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052540598672 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13261] ppid=13243 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/13246/task/13261/stat : 13261 (java) S 13243 13246 10352 0 -1 4202560 3488 0 0 0 44 0 0 0 20 0 19 0 42966225 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052539546296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13262] ppid=13243 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13246/task/13262/stat : 13262 (java) S 13243 13246 10352 0 -1 4202560 5245 0 0 0 50 0 0 0 20 0 19 0 42966225 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052538493496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13246/tid=13263] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13263/stat : 13263 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052537441400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13246/tid=13264] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13264/stat : 13264 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052536388808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13265] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13265/stat : 13265 (java) S 13243 13246 10352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42966262 9856040960 17263 33554432000 1073741824 1073778376 140736302211568 140052535333800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.19 2.19 2.13 3/213 13265
/proc/meminfo: memFree=30240652/32872528 swapFree=1431120/1543540
[pid=13246] ppid=13243 vsize=9625040 CPUtime=4.16 cores=1,3,5,7
/proc/13246/stat : 13246 (java) S 13243 13246 10352 0 -1 4202496 12956 0 1 0 412 4 0 0 20 0 19 0 42966221 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140736302202704 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13246/statm: 2406260 18806 2270 9 0 2396937 0
[pid=13246/tid=13247] ppid=13243 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/13246/task/13247/stat : 13247 (java) R 13243 13246 10352 0 -1 4202560 2424 0 1 0 305 1 0 0 20 0 19 0 42966221 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052719630816 140052592793173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13249] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13249/stat : 13249 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052563536168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13250] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13250/stat : 13250 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052562483368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13251] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13251/stat : 13251 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052561431080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13246/tid=13252] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13252/stat : 13252 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052560378280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13253] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13253/stat : 13253 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052559325992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13254] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13254/stat : 13254 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052558273192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13255] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13255/stat : 13255 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052557220904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13256] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13256/stat : 13256 (java) S 13243 13246 10352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052556168104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13257] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13257/stat : 13257 (java) S 13243 13246 10352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052543756520 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13258] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13258/stat : 13258 (java) S 13243 13246 10352 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052542702584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13259] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13259/stat : 13259 (java) S 13243 13246 10352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052541650184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13260] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13260/stat : 13260 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052540598672 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13261] ppid=13243 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/13246/task/13261/stat : 13261 (java) S 13243 13246 10352 0 -1 4202560 3489 0 0 0 47 0 0 0 20 0 19 0 42966225 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052539546296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13262] ppid=13243 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/13246/task/13262/stat : 13262 (java) S 13243 13246 10352 0 -1 4202560 5767 0 0 0 55 2 0 0 20 0 19 0 42966225 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052538493496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13246/tid=13263] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13263/stat : 13263 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052537441400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13246/tid=13264] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13264/stat : 13264 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052536388808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13265] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13265/stat : 13265 (java) S 13243 13246 10352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42966262 9856040960 18806 33554432000 1073741824 1073778376 140736302211568 140052535333800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.33 2.22 2.14 3/213 13265
/proc/meminfo: memFree=30220468/32872528 swapFree=1431120/1543540
[pid=13246] ppid=13243 vsize=9625040 CPUtime=7.4 cores=1,3,5,7
/proc/13246/stat : 13246 (java) S 13243 13246 10352 0 -1 4202496 12964 0 1 0 736 4 0 0 20 0 19 0 42966221 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140736302202704 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13246/statm: 2406260 21203 2271 9 0 2396937 0
[pid=13246/tid=13247] ppid=13243 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/13246/task/13247/stat : 13247 (java) R 13243 13246 10352 0 -1 4202560 2431 0 1 0 625 1 0 0 20 0 19 0 42966221 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052719623888 140052593007186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13249] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13249/stat : 13249 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052563536168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13250] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13250/stat : 13250 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052562483368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13251] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13251/stat : 13251 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052561431080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13246/tid=13252] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13252/stat : 13252 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052560378280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13253] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13253/stat : 13253 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052559325992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13254] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13254/stat : 13254 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052558273192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13255] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13255/stat : 13255 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052557220904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13256] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13256/stat : 13256 (java) S 13243 13246 10352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 42966222 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052556168104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13257] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13257/stat : 13257 (java) S 13243 13246 10352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052543756520 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13258] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13258/stat : 13258 (java) S 13243 13246 10352 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052542702584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13259] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13259/stat : 13259 (java) S 13243 13246 10352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052541650184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13260] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13260/stat : 13260 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052540598672 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13261] ppid=13243 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/13246/task/13261/stat : 13261 (java) S 13243 13246 10352 0 -1 4202560 3489 0 0 0 51 0 0 0 20 0 19 0 42966225 9856040960 21203 33554432000 1073741824 1073778376 140736302211568 140052539546296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13262] ppid=13243 vsize=9625040 CPUtime=0.58 cores=1,3,5,7

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

[pid=13246/tid=13265] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13265/stat : 13265 (java) S 13243 13246 10352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42966262 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052535333800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1665.7
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/213 13330
/proc/meminfo: memFree=29701404/32872528 swapFree=1431120/1543540
[pid=13246] ppid=13243 vsize=9625040 CPUtime=1725.69 cores=1,3,5,7
/proc/13246/stat : 13246 (java) S 13243 13246 10352 0 -1 4202496 26310 0 1 0 172507 62 0 0 20 0 19 0 42966221 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140736302202704 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13246/statm: 2406260 103473 2286 9 0 2396937 0
[pid=13246/tid=13247] ppid=13243 vsize=9625040 CPUtime=1717.31 cores=1,3,5,7
/proc/13246/task/13247/stat : 13247 (java) R 13243 13246 10352 0 -1 4202560 2494 0 1 0 171702 29 0 0 20 0 19 0 42966221 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052719623888 140052593016728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13249] ppid=13243 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/13246/task/13249/stat : 13249 (java) S 13243 13246 10352 0 -1 4202560 210 0 0 0 11 3 0 0 20 0 19 0 42966222 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052563536168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13250] ppid=13243 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/13246/task/13250/stat : 13250 (java) S 13243 13246 10352 0 -1 4202560 321 0 0 0 14 3 0 0 20 0 19 0 42966222 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052562483368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13246/tid=13251] ppid=13243 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/13246/task/13251/stat : 13251 (java) S 13243 13246 10352 0 -1 4202560 130 0 0 0 12 2 0 0 20 0 19 0 42966222 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052561431080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13252] ppid=13243 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/13246/task/13252/stat : 13252 (java) S 13243 13246 10352 0 -1 4202560 343 0 0 0 13 4 0 0 20 0 19 0 42966222 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052560378280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13246/tid=13253] ppid=13243 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/13246/task/13253/stat : 13253 (java) S 13243 13246 10352 0 -1 4202560 97 0 0 0 11 3 0 0 20 0 19 0 42966222 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052559325992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13254] ppid=13243 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/13246/task/13254/stat : 13254 (java) S 13243 13246 10352 0 -1 4202560 236 0 0 0 14 3 0 0 20 0 19 0 42966222 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052558273192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13255] ppid=13243 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/13246/task/13255/stat : 13255 (java) S 13243 13246 10352 0 -1 4202560 191 0 0 0 11 3 0 0 20 0 19 0 42966222 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052557220904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13256] ppid=13243 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/13246/task/13256/stat : 13256 (java) S 13243 13246 10352 0 -1 4202560 177 0 0 0 13 3 0 0 20 0 19 0 42966222 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052556168104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13257] ppid=13243 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/13246/task/13257/stat : 13257 (java) S 13243 13246 10352 0 -1 4202560 72 0 0 0 0 2 0 0 20 0 19 0 42966223 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052543756520 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13258] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13258/stat : 13258 (java) S 13243 13246 10352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052542702584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13259] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13259/stat : 13259 (java) S 13243 13246 10352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052541650184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13260] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13260/stat : 13260 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052540598672 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13261] ppid=13243 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/13246/task/13261/stat : 13261 (java) S 13243 13246 10352 0 -1 4202560 14905 0 0 0 155 3 0 0 20 0 19 0 42966225 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052539546296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13262] ppid=13243 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/13246/task/13262/stat : 13262 (java) S 13243 13246 10352 0 -1 4202560 5772 0 0 0 61 2 0 0 20 0 19 0 42966225 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052538493496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13263] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13263/stat : 13263 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052537441400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13246/tid=13264] ppid=13243 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/13246/task/13264/stat : 13264 (java) S 13243 13246 10352 0 -1 4202560 100 0 0 0 28 37 0 0 20 0 19 0 42966225 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052536388808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13265] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13265/stat : 13265 (java) S 13243 13246 10352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42966262 9856040960 103473 33554432000 1073741824 1073778376 140736302211568 140052535333800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1725.69
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.22 2.23 2.18 4/213 13331
/proc/meminfo: memFree=29676828/32872528 swapFree=1431120/1543540
[pid=13246] ppid=13243 vsize=9625040 CPUtime=1785.78 cores=1,3,5,7
/proc/13246/stat : 13246 (java) S 13243 13246 10352 0 -1 4202496 26362 0 1 0 178513 65 0 0 20 0 19 0 42966221 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140736302202704 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13246/statm: 2406260 109621 2286 9 0 2396937 0
[pid=13246/tid=13247] ppid=13243 vsize=9625040 CPUtime=1777.12 cores=1,3,5,7
/proc/13246/task/13247/stat : 13247 (java) R 13243 13246 10352 0 -1 4202560 2495 0 1 0 177682 30 0 0 20 0 19 0 42966221 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052719631568 140052592793647 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13249] ppid=13243 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13246/task/13249/stat : 13249 (java) S 13243 13246 10352 0 -1 4202560 219 0 0 0 12 3 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052563536168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13250] ppid=13243 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/13246/task/13250/stat : 13250 (java) S 13243 13246 10352 0 -1 4202560 327 0 0 0 16 3 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052562483368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13251] ppid=13243 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13246/task/13251/stat : 13251 (java) S 13243 13246 10352 0 -1 4202560 133 0 0 0 12 3 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052561431080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13252] ppid=13243 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/13246/task/13252/stat : 13252 (java) S 13243 13246 10352 0 -1 4202560 346 0 0 0 15 4 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052560378280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13253] ppid=13243 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13246/task/13253/stat : 13253 (java) S 13243 13246 10352 0 -1 4202560 103 0 0 0 12 3 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052559325992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13254] ppid=13243 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/13246/task/13254/stat : 13254 (java) S 13243 13246 10352 0 -1 4202560 240 0 0 0 15 3 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052558273192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13255] ppid=13243 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13246/task/13255/stat : 13255 (java) S 13243 13246 10352 0 -1 4202560 196 0 0 0 12 3 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052557220904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13256] ppid=13243 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/13246/task/13256/stat : 13256 (java) S 13243 13246 10352 0 -1 4202560 186 0 0 0 15 4 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052556168104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13257] ppid=13243 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/13246/task/13257/stat : 13257 (java) S 13243 13246 10352 0 -1 4202560 74 0 0 0 0 2 0 0 20 0 19 0 42966223 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052543756520 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13258] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13258/stat : 13258 (java) S 13243 13246 10352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052542702584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13259] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13259/stat : 13259 (java) S 13243 13246 10352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052541650184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13260] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13260/stat : 13260 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052540598672 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13261] ppid=13243 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/13246/task/13261/stat : 13261 (java) S 13243 13246 10352 0 -1 4202560 14905 0 0 0 155 3 0 0 20 0 19 0 42966225 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052539546296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13262] ppid=13243 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/13246/task/13262/stat : 13262 (java) S 13243 13246 10352 0 -1 4202560 5772 0 0 0 61 2 0 0 20 0 19 0 42966225 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052538493496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13263] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13263/stat : 13263 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052537441400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13246/tid=13264] ppid=13243 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/13246/task/13264/stat : 13264 (java) S 13243 13246 10352 0 -1 4202560 104 0 0 0 30 38 0 0 20 0 19 0 42966225 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052536388808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13265] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13265/stat : 13265 (java) S 13243 13246 10352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42966262 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052535333800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1785.78
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.24 2.23 2.18 3/213 13397
/proc/meminfo: memFree=29907148/32872528 swapFree=1431120/1543540
[pid=13246] ppid=13243 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/13246/stat : 13246 (java) S 13243 13246 10352 0 -1 4202496 26362 0 1 0 179943 66 0 0 20 0 19 0 42966221 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140736302202704 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13246/statm: 2406260 109621 2286 9 0 2396937 0
[pid=13246/tid=13247] ppid=13243 vsize=9625040 CPUtime=1791.38 cores=1,3,5,7
/proc/13246/task/13247/stat : 13247 (java) R 13243 13246 10352 0 -1 4202560 2495 0 1 0 179108 30 0 0 20 0 19 0 42966221 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052719631568 140052593269749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13249] ppid=13243 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13246/task/13249/stat : 13249 (java) S 13243 13246 10352 0 -1 4202560 219 0 0 0 12 3 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052563536168 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13250] ppid=13243 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/13246/task/13250/stat : 13250 (java) S 13243 13246 10352 0 -1 4202560 327 0 0 0 16 3 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052562483368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13251] ppid=13243 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13246/task/13251/stat : 13251 (java) S 13243 13246 10352 0 -1 4202560 133 0 0 0 12 3 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052561431080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13252] ppid=13243 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/13246/task/13252/stat : 13252 (java) S 13243 13246 10352 0 -1 4202560 346 0 0 0 15 4 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052560378280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13253] ppid=13243 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13246/task/13253/stat : 13253 (java) S 13243 13246 10352 0 -1 4202560 103 0 0 0 12 3 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052559325992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13254] ppid=13243 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/13246/task/13254/stat : 13254 (java) S 13243 13246 10352 0 -1 4202560 240 0 0 0 15 3 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052558273192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13255] ppid=13243 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/13246/task/13255/stat : 13255 (java) S 13243 13246 10352 0 -1 4202560 196 0 0 0 12 3 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052557220904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13256] ppid=13243 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/13246/task/13256/stat : 13256 (java) S 13243 13246 10352 0 -1 4202560 186 0 0 0 15 4 0 0 20 0 19 0 42966222 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052556168104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13257] ppid=13243 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/13246/task/13257/stat : 13257 (java) S 13243 13246 10352 0 -1 4202560 74 0 0 0 0 2 0 0 20 0 19 0 42966223 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052543756520 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13258] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13258/stat : 13258 (java) S 13243 13246 10352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052542702584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13259] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13259/stat : 13259 (java) S 13243 13246 10352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 42966223 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052541650184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13246/tid=13260] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13260/stat : 13260 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052540598672 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13261] ppid=13243 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/13246/task/13261/stat : 13261 (java) S 13243 13246 10352 0 -1 4202560 14905 0 0 0 155 3 0 0 20 0 19 0 42966225 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052539546296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13246/tid=13262] ppid=13243 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/13246/task/13262/stat : 13262 (java) S 13243 13246 10352 0 -1 4202560 5772 0 0 0 61 2 0 0 20 0 19 0 42966225 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052538493496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13263] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13263/stat : 13263 (java) S 13243 13246 10352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42966225 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052537441400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13246/tid=13264] ppid=13243 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/13246/task/13264/stat : 13264 (java) S 13243 13246 10352 0 -1 4202560 104 0 0 0 30 39 0 0 20 0 19 0 42966225 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052536388808 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13246/tid=13265] ppid=13243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13246/task/13265/stat : 13265 (java) S 13243 13246 10352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42966262 9856040960 109621 33554432000 1073741824 1073778376 140736302211568 140052535333800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

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 13246 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13246 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=878137
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=161823
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.66
CPU time (s): 1800.09
CPU user time (s): 1799.43
CPU system time (s): 0.66
CPU usage (%): 100.191
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.88
system time used= 1.16182
maximum resident set size= 438616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26403
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38442
involuntary context switches= 7277

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.97248 second user time and 14.0039 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-20 09:52:55
IDJOB=4111375
IDBENCH=109201
IDSOLVER=2546
FILE ID=node116/4111375-1466409175
RUNJOBID= node116-1466384038-10369
PBS_JOBID= 19923258
Free space on /tmp= 71692 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-2-irEDCBA.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111375-1466409175/watcher-4111375-1466409175 -o /tmp/evaluation-result-4111375-1466409175/solver-4111375-1466409175 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466384038-10369 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4111375-1466409175.opb

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

MD5SUM BENCH= e2b6e7831a8f585231b016a7f51eecbb
RANDOM SEED=1459809248

node116.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.781
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.56
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.781
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.781
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.781
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.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
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.781
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.55
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.781
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30308280 kB
Buffers:           84048 kB
Cached:            65852 kB
SwapCached:         1612 kB
Active:           161996 kB
Inactive:         113472 kB
Active(anon):     125916 kB
Inactive(anon):     2192 kB
Active(file):      36080 kB
Inactive(file):   111280 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099760 kB
Dirty:              3340 kB
Writeback:             0 kB
AnonPages:       1672680 kB
Mapped:            15216 kB
Shmem:                 0 kB
Slab:             602524 kB
SReclaimable:      45940 kB
SUnreclaim:       556584 kB
KernelStack:        1608 kB
PageTables:         7612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2231900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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= 71692 MiB
End job on node116 at 2016-06-20 10:22:52