Trace number 4090548

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.73 1782.76

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM3aafd47af6446049bcdbc11c9b966efe
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark1800.05
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3150
Total number of constraints160
Number of soft constraints101
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint45
Top cost 4835
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4834
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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.04/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.04/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.12	c See www.sat4j.org for details.
0.04/0.12	c version PB16.v20160501
0.04/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.12	c java.vm.version	19.1-b02
0.04/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.12	c sun.arch.data.model	64
0.04/0.12	c java.version		1.6.0_24
0.04/0.12	c os.name		Linux
0.04/0.12	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.12	c os.arch		amd64
0.04/0.12	c Free memory 		501472288
0.04/0.12	c Max memory 		7480803328
0.04/0.12	c Total memory 		504102912
0.04/0.12	c Number of processors 	8
0.04/0.14	c Pseudo Boolean Optimization by upper bound
0.04/0.14	c --- Begin Solver configuration ---
0.04/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.04/0.14	c Learn all clauses as in MiniSAT
0.04/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.04/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.04/0.14	c No reason simplification
0.04/0.14	c Glucose 2.1 dynamic restart strategy
0.04/0.14	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.04/0.14	c timeout=2147483s
0.04/0.14	c DB Simplification allowed=false
0.04/0.14	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.04/0.14	c --- End Solver configuration ---
0.04/0.14	c solving HOME/instance-4090548-1466063920.wbo
0.04/0.14	c reading problem ... 
0.20/0.28	c ... done. Wall clock time 0.132s.
0.20/0.28	c declared #vars     3150
0.20/0.28	c internal #vars     3251
0.20/0.28	c #constraints  160
0.20/0.28	c constraints type 
0.20/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90
0.20/0.28	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
0.20/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 40
0.20/0.28	c 160 constraints processed.
0.20/0.28	c objective function length is 101 literals
1.16/0.75	c cleaning 2492 clauses out of 5006 with flag 31479/5006
1.16/0.79	c SATISFIABLE
1.16/0.79	c OPTIMIZING...
1.16/0.79	c Got one! Elapsed wall clock time (in seconds):0.643
1.16/0.79	o 204
1.31/0.82	c Got one! Elapsed wall clock time (in seconds):0.678
1.31/0.82	o 193
1.89/1.33	c cleaning 4147 clauses out of 8300 with flag 34031/10792
2.29/1.77	c Got one! Elapsed wall clock time (in seconds):1.628
2.29/1.77	o 144
2.49/1.92	c cleaning 4822 clauses out of 9654 with flag 6704/16293
2.80/2.29	c Got one! Elapsed wall clock time (in seconds):2.146
2.80/2.29	o 130
3.13/2.57	c cleaning 5143 clauses out of 10301 with flag 13834/21762
3.54/2.99	c Got one! Elapsed wall clock time (in seconds):2.843
3.54/2.99	o 108
3.67/3.01	c Got one! Elapsed wall clock time (in seconds):2.866
3.67/3.01	o 92
4.01/3.33	c cleaning 5527 clauses out of 11072 with flag 15276/27676
4.71/4.05	c cleaning 5763 clauses out of 11545 with flag 60986/33676
4.91/4.26	c Got one! Elapsed wall clock time (in seconds):4.12
4.91/4.26	o 80
5.36/4.69	c cleaning 5555 clauses out of 11128 with flag 21827/39022
6.16/5.47	c cleaning 5775 clauses out of 11572 with flag 63909/45021
7.06/6.40	c cleaning 6389 clauses out of 12799 with flag 118367/52023
7.26/6.51	c Got one! Elapsed wall clock time (in seconds):6.363
7.26/6.51	o 72
7.76/7.06	c cleaning 5869 clauses out of 11761 with flag 29400/57374
8.26/7.60	c Got one! Elapsed wall clock time (in seconds):7.452
8.26/7.60	o 50
8.47/7.76	c cleaning 5845 clauses out of 11716 with flag 9021/63198
9.26/8.52	c cleaning 5924 clauses out of 11872 with flag 61892/69199
9.67/8.93	c Got one! Elapsed wall clock time (in seconds):8.784
9.67/8.93	o 38
9.76/9.06	c cleaning 5852 clauses out of 11739 with flag 13054/74990
9.76/9.10	c Got one! Elapsed wall clock time (in seconds):8.952
9.76/9.10	o 37
10.46/9.71	c cleaning 5751 clauses out of 11512 with flag 46832/80615
10.96/10.28	c cleaning 5869 clauses out of 11760 with flag 93737/86614
11.66/10.95	c Got one! Elapsed wall clock time (in seconds):10.808
11.66/10.95	o 35
12.27/11.50	c cleaning 8587 clauses out of 17194 with flag 45283/97917
12.87/12.17	c cleaning 7292 clauses out of 14605 with flag 95049/103915
13.69/12.95	c cleaning 7147 clauses out of 14315 with flag 151530/110917
14.59/13.88	c cleaning 7576 clauses out of 15170 with flag 219104/118919
15.79/15.02	c cleaning 8286 clauses out of 16592 with flag 295507/127917
16.69/15.93	c cleaning 9137 clauses out of 18305 with flag 371854/137916
18.52/17.80	c cleaning 10069 clauses out of 20170 with flag 459488/148918
20.61/19.84	c cleaning 11030 clauses out of 22098 with flag 562407/160915
23.01/22.23	c cleaning 12016 clauses out of 24069 with flag 670616/173916
26.21/25.42	c cleaning 13004 clauses out of 26052 with flag 800398/187915
29.91/29.17	c cleaning 14009 clauses out of 28050 with flag 939331/202917
34.24/33.49	c cleaning 15003 clauses out of 30041 with flag 1092759/218917
39.45/38.67	c cleaning 15997 clauses out of 32036 with flag 1266312/235915
44.95/44.11	c cleaning 17005 clauses out of 34039 with flag 1445678/253915
50.54/49.74	c cleaning 18006 clauses out of 36035 with flag 1623653/272916
53.94/53.13	c cleaning 18999 clauses out of 38028 with flag 1785516/292915
54.44/53.64	c Got one! Elapsed wall clock time (in seconds):53.498
54.44/53.64	o 34
54.92/54.06	c cleaning 14658 clauses out of 29334 with flag 30977/303220
55.31/54.49	c cleaning 10318 clauses out of 20677 with flag 71215/309221
56.02/55.11	c cleaning 8658 clauses out of 17359 with flag 124952/316221
56.71/55.89	c cleaning 8332 clauses out of 16701 with flag 187949/324221
57.61/56.78	c cleaning 8673 clauses out of 17369 with flag 256833/333221
58.01/57.20	c Got one! Elapsed wall clock time (in seconds):57.053
58.01/57.20	o 33
58.12/57.25	c cleaning 7247 clauses out of 14507 with flag 5580/339032
58.51/57.67	c cleaning 6618 clauses out of 13258 with flag 45489/345030
59.22/58.35	c cleaning 6804 clauses out of 13640 with flag 100255/352030
60.11/59.21	c cleaning 7408 clauses out of 14838 with flag 166341/360032
61.11/60.20	c cleaning 8205 clauses out of 16428 with flag 243697/369030
62.31/61.45	c cleaning 9100 clauses out of 18223 with flag 334403/379030
63.91/63.00	c cleaning 10050 clauses out of 20123 with flag 437609/390030
65.71/64.85	c cleaning 11021 clauses out of 22073 with flag 550611/402030
68.09/67.14	c cleaning 12018 clauses out of 24053 with flag 686302/415031
70.88/69.92	c cleaning 13002 clauses out of 26034 with flag 819340/429030
73.98/73.08	c cleaning 14007 clauses out of 28032 with flag 973996/444030
77.58/76.60	c cleaning 15005 clauses out of 30027 with flag 1142414/460032
81.39/80.42	c cleaning 16001 clauses out of 32020 with flag 1309671/477030
84.36/83.24	c cleaning 16995 clauses out of 34019 with flag 1451776/495030
86.48/85.39	c Got one! Elapsed wall clock time (in seconds):85.249
86.48/85.39	o 25
87.28/86.20	c cleaning 19137 clauses out of 38277 with flag 35549/516283
88.19/87.06	c cleaning 12563 clauses out of 25140 with flag 83361/522283
89.08/87.96	c cleaning 9785 clauses out of 19578 with flag 147498/529284
90.08/88.97	c cleaning 8892 clauses out of 17793 with flag 212338/537284
90.98/89.80	c cleaning 8930 clauses out of 17900 with flag 279743/546283
91.98/90.89	c cleaning 9463 clauses out of 18970 with flag 343569/556283
93.28/92.18	c cleaning 10236 clauses out of 20507 with flag 425665/567283
94.88/93.75	c cleaning 11116 clauses out of 22272 with flag 529548/579284
96.78/95.61	c cleaning 12060 clauses out of 24155 with flag 635777/592283
98.01/96.80	c cleaning 13027 clauses out of 26096 with flag 733113/606284
100.21/99.00	c cleaning 14011 clauses out of 28069 with flag 842384/621284
102.81/101.52	c cleaning 15003 clauses out of 30058 with flag 965323/637284
105.61/104.35	c cleaning 16007 clauses out of 32057 with flag 1091755/654286
108.71/107.47	c cleaning 17003 clauses out of 34049 with flag 1224334/672285
110.71/109.41	c cleaning 17982 clauses out of 36046 with flag 1349950/691285
113.21/111.93	c cleaning 19019 clauses out of 38062 with flag 1482028/711283
115.74/114.34	c cleaning 20011 clauses out of 40043 with flag 1610380/732283
119.25/117.87	c cleaning 21000 clauses out of 42034 with flag 1753823/754285
121.94/120.59	c cleaning 22003 clauses out of 44034 with flag 1904715/777285
126.04/124.63	c cleaning 22995 clauses out of 46030 with flag 2078349/801284
128.74/127.34	c cleaning 24006 clauses out of 48034 with flag 2253763/826283
132.18/130.61	c cleaning 25011 clauses out of 50029 with flag 2430285/852284
135.88/134.32	c cleaning 25984 clauses out of 52017 with flag 2615269/879283
139.88/138.34	c cleaning 27003 clauses out of 54033 with flag 2829149/907283
144.89/143.10	c cleaning 27987 clauses out of 56031 with flag 3060281/936284
148.98/147.20	c cleaning 29001 clauses out of 58044 with flag 3271059/966284
153.28/151.53	c cleaning 30007 clauses out of 60044 with flag 3478252/997285
158.90/156.94	c cleaning 31005 clauses out of 62035 with flag 3715597/1029283
163.20/161.21	c cleaning 31977 clauses out of 64030 with flag 3931953/1062283
167.40/165.48	c cleaning 33015 clauses out of 66053 with flag 4149585/1096283
173.09/171.00	c cleaning 33999 clauses out of 68038 with flag 4398408/1131283
178.79/176.70	c cleaning 34998 clauses out of 70041 with flag 4659283/1167285
184.61/182.43	c cleaning 36009 clauses out of 72046 with flag 4926025/1204288
191.72/189.51	c cleaning 37010 clauses out of 74032 with flag 5200594/1242283
198.15/195.85	c cleaning 37992 clauses out of 76023 with flag 5472191/1281284
205.14/202.85	c cleaning 39012 clauses out of 78030 with flag 5729902/1321283
212.83/210.40	c cleaning 39985 clauses out of 80018 with flag 5999189/1362283
222.93/220.52	c cleaning 40987 clauses out of 82033 with flag 6341585/1404283
231.45/228.99	c cleaning 42024 clauses out of 84047 with flag 6605888/1447284
239.25/236.78	c cleaning 43007 clauses out of 86024 with flag 6896322/1491285
247.28/244.69	c cleaning 43977 clauses out of 88017 with flag 7201558/1536285
255.09/252.35	c cleaning 44999 clauses out of 90038 with flag 7502709/1582283
264.28/261.53	c cleaning 46005 clauses out of 92040 with flag 7805979/1629284
275.40/272.58	c cleaning 47012 clauses out of 94035 with flag 8092245/1677284
286.00/283.14	c cleaning 48005 clauses out of 96023 with flag 8405789/1726284
302.78/299.83	c cleaning 48990 clauses out of 98019 with flag 8717824/1776285
313.78/310.75	c cleaning 50000 clauses out of 100027 with flag 9057230/1827283
326.42/323.26	c cleaning 51015 clauses out of 102030 with flag 9396671/1879286
338.72/335.60	c cleaning 51987 clauses out of 104013 with flag 9777145/1932284
352.04/348.76	c cleaning 53006 clauses out of 106025 with flag 10170808/1986283
365.84/362.49	c cleaning 53998 clauses out of 108019 with flag 10498257/2041283
379.75/376.24	c cleaning 54997 clauses out of 110022 with flag 10828074/2097284
393.92/390.30	c cleaning 55990 clauses out of 112026 with flag 11172406/2154285
407.12/403.43	c cleaning 56992 clauses out of 114035 with flag 11554393/2212284
419.72/415.94	c cleaning 58004 clauses out of 116044 with flag 11964930/2271285
435.57/431.63	c cleaning 59008 clauses out of 118039 with flag 12335574/2331284
450.96/446.98	c cleaning 60002 clauses out of 120032 with flag 12719078/2392285
467.17/463.09	c cleaning 60996 clauses out of 122029 with flag 13114048/2454284
484.64/480.49	c cleaning 62004 clauses out of 124032 with flag 13488801/2517283
499.91/495.68	c cleaning 63005 clauses out of 126029 with flag 13902976/2581284
516.99/512.65	c cleaning 64003 clauses out of 128024 with flag 14334792/2646284
534.08/529.64	c cleaning 64997 clauses out of 130020 with flag 14759308/2712283
551.74/547.23	c cleaning 65994 clauses out of 132023 with flag 15182026/2779283
570.50/565.84	c cleaning 67006 clauses out of 134029 with flag 15601267/2847283
589.39/584.68	c cleaning 68012 clauses out of 136024 with flag 16032188/2916284
607.57/602.79	c cleaning 68996 clauses out of 138012 with flag 16477535/2986284
628.41/623.48	c cleaning 69992 clauses out of 140016 with flag 16918042/3057284
649.78/644.69	c cleaning 71004 clauses out of 142024 with flag 17438221/3129284
670.65/665.35	c cleaning 71997 clauses out of 144020 with flag 17973693/3202284
692.32/686.92	c cleaning 73011 clauses out of 146022 with flag 18432815/3276283
714.76/709.21	c cleaning 73993 clauses out of 148011 with flag 18905102/3351283
742.50/736.72	c cleaning 74993 clauses out of 150018 with flag 19440850/3427283
768.69/762.73	c cleaning 75994 clauses out of 152028 with flag 19949349/3504286
795.46/789.34	c cleaning 77000 clauses out of 154031 with flag 20468614/3582283
823.95/817.63	c cleaning 77992 clauses out of 156033 with flag 20967258/3661285
855.13/848.79	c cleaning 79007 clauses out of 158039 with flag 21461007/3741283
883.37/876.73	c cleaning 80002 clauses out of 160033 with flag 21990221/3822284
909.59/902.72	c cleaning 81012 clauses out of 162032 with flag 22515589/3904285
935.74/928.71	c cleaning 81984 clauses out of 164018 with flag 23038116/3987283
963.30/956.05	c cleaning 82999 clauses out of 166034 with flag 23563398/4071283
991.74/984.29	c cleaning 84008 clauses out of 168037 with flag 24104752/4156285
1021.12/1013.39	c cleaning 84991 clauses out of 170028 with flag 24648140/4242284
1051.03/1043.05	c cleaning 86006 clauses out of 172040 with flag 25193168/4329287
1079.36/1071.02	c cleaning 87002 clauses out of 174030 with flag 25754713/4417283
1104.46/1095.86	c cleaning 88006 clauses out of 176028 with flag 26336432/4506283
1136.77/1127.81	c cleaning 88999 clauses out of 178024 with flag 26910910/4596285
1169.64/1160.37	c cleaning 89999 clauses out of 180024 with flag 27484132/4687284
1202.21/1192.57	c cleaning 91011 clauses out of 182024 with flag 28075182/4779283
1232.44/1222.41	c cleaning 91978 clauses out of 184013 with flag 28683881/4872283
1264.39/1254.00	c cleaning 93018 clauses out of 186037 with flag 29290310/4966285
1297.67/1286.87	c cleaning 93990 clauses out of 188017 with flag 29897479/5061283
1331.30/1320.08	c cleaning 95005 clauses out of 190029 with flag 30536915/5157285
1364.06/1352.39	c cleaning 95987 clauses out of 192023 with flag 31173119/5254284
1402.79/1390.76	c cleaning 97011 clauses out of 194035 with flag 31799705/5352283
1439.88/1427.24	c cleaning 98003 clauses out of 196026 with flag 32442844/5451285
1477.38/1464.27	c cleaning 98997 clauses out of 198021 with flag 33086594/5551283
1516.00/1502.35	c cleaning 100002 clauses out of 200029 with flag 33742970/5652288
1552.81/1538.63	c cleaning 100997 clauses out of 202022 with flag 34404336/5754283
1594.06/1579.38	c cleaning 102002 clauses out of 204027 with flag 35063633/5857285
1634.60/1619.35	c cleaning 103000 clauses out of 206027 with flag 35742422/5961287
1675.75/1660.00	c cleaning 104002 clauses out of 208023 with flag 36414350/6066283
1715.97/1699.69	c cleaning 104998 clauses out of 210022 with flag 37110527/6172284
1756.36/1739.52	c cleaning 105982 clauses out of 212023 with flag 37821219/6279283
1800.04/1782.70	c starts		: 37986
1800.04/1782.70	c conflicts		: 6384920
1800.04/1782.70	c decisions		: 61675779
1800.04/1782.70	c propagations		: 295722728
1800.04/1782.70	c inspects		: 25562528891
1800.04/1782.70	c shortcuts		: 0
1800.04/1782.70	c learnt literals	: 0
1800.04/1782.70	c learnt binary clauses	: 0
1800.04/1782.70	c learnt ternary clauses	: 0
1800.04/1782.70	c learnt constraints	: 6384920
1800.04/1782.70	c ignored constraints	: 0
1800.04/1782.70	c root simplifications	: 0
1800.04/1782.70	c removed literals (reason simplification)	: 0
1800.04/1782.70	c reason swapping (by a shorter reason)	: 0
1800.04/1782.70	c Calls to reduceDB	: 153
1800.04/1782.70	c Number of update (reduction) of LBD	: 2872156
1800.04/1782.70	c Imported unit clauses	: 0
1800.04/1782.70	c number of reductions to clauses (during analyze)	: 0
1800.04/1782.70	c number of learned constraints concerned by reduction	: 0
1800.04/1782.70	c number of learning phase by resolution	: 0
1800.04/1782.70	c number of learning phase by cutting planes	: 0
1800.04/1782.70	c speed (assignments/second)	: 165910.79992369923
1800.04/1782.70	c non guided choices	849692
1800.04/1782.73	c learnt constraints type 
1800.04/1782.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 211678
1800.04/1782.73	s SATISFIABLE
1800.04/1782.73	c Found 15 solution(s)
1800.04/1782.74	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 
1800.04/1782.74	c objective function=25
1800.04/1782.74	c Total wall clock time (in seconds): 1782.598

Verifier Data 

OK	25

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-4090548-1466063920/watcher-4090548-1466063920 -o /tmp/evaluation-result-4090548-1466063920/solver-4090548-1466063920 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466062122-10382 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090548-1466063920.wbo 

pid=10572
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.26 2.21 1.88 2/171 10575
/proc/meminfo: memFree=30611664/32872528 swapFree=1370072/1517240
[pid=10575] ppid=10572 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10575/stat : 10575 (java) D 10572 10575 10365 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 8438523 9515008 185 33554432000 1073741824 1073778376 140733270939264 140733270928328 229346733351 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/10575/statm: 2323 185 143 9 0 71 0

[startup+0.100061 s]
/proc/loadavg: 2.26 2.21 1.88 2/171 10575
/proc/meminfo: memFree=30611664/32872528 swapFree=1370072/1517240
[pid=10575] ppid=10572 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/10575/stat : 10575 (java) S 10572 10575 10365 0 -1 4202496 3306 0 1 0 4 0 0 0 20 0 18 0 8438523 9787879424 4437 33554432000 1073741824 1073778376 140733270939264 140733270930400 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10575/statm: 2389619 4437 1775 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558476

[startup+0.20023 s]
/proc/loadavg: 2.26 2.21 1.88 2/171 10575
/proc/meminfo: memFree=30611664/32872528 swapFree=1370072/1517240
[pid=10575] ppid=10572 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/10575/stat : 10575 (java) S 10572 10575 10365 0 -1 4202496 4643 0 1 0 19 1 0 0 20 0 18 0 8438523 9787879424 6752 33554432000 1073741824 1073778376 140733270939264 140733270930400 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10575/statm: 2389619 6752 2196 9 0 2380296 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 9558476

[startup+0.300467 s]
/proc/loadavg: 2.26 2.21 1.88 2/171 10575
/proc/meminfo: memFree=30611664/32872528 swapFree=1370072/1517240
[pid=10575] ppid=10572 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/10575/stat : 10575 (java) S 10572 10575 10365 0 -1 4202496 5847 0 1 0 41 1 0 0 20 0 19 0 8438523 9856040960 9114 33554432000 1073741824 1073778376 140733270939264 140733270930400 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10575/statm: 2406260 9114 2237 9 0 2396937 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9625040

[startup+0.700257 s]
/proc/loadavg: 2.26 2.21 1.88 2/171 10575
/proc/meminfo: memFree=30611664/32872528 swapFree=1370072/1517240
[pid=10575] ppid=10572 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/10575/stat : 10575 (java) S 10572 10575 10365 0 -1 4202496 7993 0 1 0 114 2 0 0 20 0 19 0 8438523 9856040960 10892 33554432000 1073741824 1073778376 140733270939264 140733270930400 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10575/statm: 2406260 10892 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.26 2.21 1.88 3/213 10625
/proc/meminfo: memFree=30534596/32872528 swapFree=1370072/1517240
[pid=10575] ppid=10572 vsize=9625040 CPUtime=2.09 cores=1,3,5,7
/proc/10575/stat : 10575 (java) S 10572 10575 10365 0 -1 4202496 8236 0 1 0 207 2 0 0 20 0 19 0 8438523 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 140733270930400 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10575/statm: 2406260 13227 2259 9 0 2396937 0
[pid=10575/tid=10577] ppid=10572 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (java) R 10572 10575 10365 0 -1 4202560 2425 0 1 0 142 1 0 0 20 0 19 0 8438524 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820750094032 139820597259077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10580] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10580/stat : 10580 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820722555048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10581] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10581/stat : 10581 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820721502504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10582] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10582/stat : 10582 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820720449960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10583] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10583/stat : 10583 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820719397416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10584] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10584/stat : 10584 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820718344872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10585] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10585/stat : 10585 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820717292328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10586] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10586/stat : 10586 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820716239784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10587] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10587/stat : 10587 (java) S 10572 10575 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820585757736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10589] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10589/stat : 10589 (java) S 10572 10575 10365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8438529 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820102809704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10593] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10593/stat : 10593 (java) S 10572 10575 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820101756024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10594] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10594/stat : 10594 (java) S 10572 10575 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820100703368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10603] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10603/stat : 10603 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820099652112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10604] ppid=10572 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/10575/task/10604/stat : 10604 (java) S 10572 10575 10365 0 -1 4202560 1531 0 0 0 29 0 0 0 20 0 19 0 8438532 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820098599480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10605] ppid=10572 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/10575/task/10605/stat : 10605 (java) S 10572 10575 10365 0 -1 4202560 3003 0 0 0 32 0 0 0 20 0 19 0 8438532 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820097546936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10606] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10606/stat : 10606 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820096494584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10607] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10607/stat : 10607 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820095442248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10625] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10625/stat : 10625 (java) S 10572 10575 10365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8438552 9856040960 13227 33554432000 1073741824 1073778376 140733270939264 139820094386984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.24 2.21 1.89 3/213 10625
/proc/meminfo: memFree=30513496/32872528 swapFree=1370072/1517240
[pid=10575] ppid=10572 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/10575/stat : 10575 (java) S 10572 10575 10365 0 -1 4202496 9190 0 1 0 378 2 0 0 20 0 19 0 8438523 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 140733270930400 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10575/statm: 2406260 17323 2259 9 0 2396937 0
[pid=10575/tid=10577] ppid=10572 vsize=9625040 CPUtime=3.03 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (java) R 10572 10575 10365 0 -1 4202560 2434 0 1 0 302 1 0 0 20 0 19 0 8438524 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820750101080 139820597253381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10580] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10580/stat : 10580 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820722555048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10581] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10581/stat : 10581 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820721502504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10582] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10582/stat : 10582 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820720449960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10583] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10583/stat : 10583 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820719397416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10584] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10584/stat : 10584 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820718344872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10585] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10585/stat : 10585 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820717292328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10586] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10586/stat : 10586 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820716239784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10587] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10587/stat : 10587 (java) S 10572 10575 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820585757736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10589] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10589/stat : 10589 (java) S 10572 10575 10365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8438529 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820102809704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10593] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10593/stat : 10593 (java) S 10572 10575 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820101756024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10594] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10594/stat : 10594 (java) S 10572 10575 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820100703368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10603] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10603/stat : 10603 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820099652112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10604] ppid=10572 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/10575/task/10604/stat : 10604 (java) S 10572 10575 10365 0 -1 4202560 2476 0 0 0 38 0 0 0 20 0 19 0 8438532 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820098599480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10605] ppid=10572 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/10575/task/10605/stat : 10605 (java) S 10572 10575 10365 0 -1 4202560 3003 0 0 0 35 0 0 0 20 0 19 0 8438532 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820097546936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10606] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10606/stat : 10606 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820096494584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10607] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10607/stat : 10607 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820095442248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10625] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10625/stat : 10625 (java) S 10572 10575 10365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8438552 9856040960 17323 33554432000 1073741824 1073778376 140733270939264 139820094386984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 2.24 2.21 1.89 3/213 10625
/proc/meminfo: memFree=30448092/32872528 swapFree=1370072/1517240
[pid=10575] ppid=10572 vsize=9625040 CPUtime=7.06 cores=1,3,5,7
/proc/10575/stat : 10575 (java) S 10572 10575 10365 0 -1 4202496 10023 0 1 0 703 3 0 0 20 0 19 0 8438523 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 140733270930400 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10575/statm: 2406260 23868 2260 9 0 2396937 0
[pid=10575/tid=10577] ppid=10572 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (java) R 10572 10575 10365 0 -1 4202560 2449 0 1 0 621 2 0 0 20 0 19 0 8438524 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820750094032 139820597282415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10580] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10580/stat : 10580 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820722555048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10581] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10581/stat : 10581 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820721502504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10582] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10582/stat : 10582 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820720449960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10583] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10583/stat : 10583 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820719397416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10584] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10584/stat : 10584 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820718344872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10585] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10585/stat : 10585 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820717292328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10586] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10586/stat : 10586 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820716239784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10587] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10587/stat : 10587 (java) S 10572 10575 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8438528 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820585757736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10589] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10589/stat : 10589 (java) S 10572 10575 10365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8438529 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820102809704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10593] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10593/stat : 10593 (java) S 10572 10575 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820101756024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10594] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10594/stat : 10594 (java) S 10572 10575 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820100703368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10603] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10603/stat : 10603 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820099652112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10604] ppid=10572 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/10575/task/10604/stat : 10604 (java) S 10572 10575 10365 0 -1 4202560 3293 0 0 0 43 0 0 0 20 0 19 0 8438532 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820098599480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10605] ppid=10572 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/10575/task/10605/stat : 10605 (java) S 10572 10575 10365 0 -1 4202560 3003 0 0 0 35 0 0 0 20 0 19 0 8438532 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820097546936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10606] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10606/stat : 10606 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820096494584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10607] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10607/stat : 10607 (java) S 10572 10575 10365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820095442248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10625] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10625/stat : 10625 (java) S 10572 10575 10365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8438552 9856040960 23868 33554432000 1073741824 1073778376 140733270939264 139820094386984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 9625040


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

[pid=10575/tid=10593] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10593/stat : 10593 (java) S 10572 10575 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 101800 33554432000 1073741824 1073778376 140733270939264 139820101756024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10594] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10594/stat : 10594 (java) S 10572 10575 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 101800 33554432000 1073741824 1073778376 140733270939264 139820100703368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10603] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10603/stat : 10603 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 101800 33554432000 1073741824 1073778376 140733270939264 139820099652112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10604] ppid=10572 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/10575/task/10604/stat : 10604 (java) S 10572 10575 10365 0 -1 4202560 3694 0 0 0 47 0 0 0 20 0 19 0 8438532 9856040960 101800 33554432000 1073741824 1073778376 140733270939264 139820098599480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10605] ppid=10572 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/10575/task/10605/stat : 10605 (java) S 10572 10575 10365 0 -1 4202560 3003 0 0 0 35 0 0 0 20 0 19 0 8438532 9856040960 101800 33554432000 1073741824 1073778376 140733270939264 139820097546936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10606] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10606/stat : 10606 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 101800 33554432000 1073741824 1073778376 140733270939264 139820096494584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10607] ppid=10572 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/10575/task/10607/stat : 10607 (java) S 10572 10575 10365 0 -1 4202560 99 0 0 0 23 33 0 0 20 0 19 0 8438532 9856040960 101800 33554432000 1073741824 1073778376 140733270939264 139820095442248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10625] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10625/stat : 10625 (java) S 10572 10575 10365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8438552 9856040960 101800 33554432000 1073741824 1073778376 140733270939264 139820094386984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1738.98
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.14 2.20 2.11 3/213 10692
/proc/meminfo: memFree=29986368/32872528 swapFree=1370072/1517240
[pid=10575] ppid=10572 vsize=9625040 CPUtime=1799.64 cores=1,3,5,7
/proc/10575/stat : 10575 (java) S 10572 10575 10365 0 -1 4202496 19373 0 1 0 179842 122 0 0 20 0 19 0 8438523 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 140733270930400 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10575/statm: 2406260 98327 2285 9 0 2396937 0
[pid=10575/tid=10577] ppid=10572 vsize=9625040 CPUtime=1771.2 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (java) R 10572 10575 10365 0 -1 4202560 2730 0 1 0 177087 33 0 0 20 0 19 0 8438524 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820750101840 139820597238445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10580] ppid=10572 vsize=9625040 CPUtime=2.86 cores=1,3,5,7
/proc/10575/task/10580/stat : 10580 (java) S 10572 10575 10365 0 -1 4202560 1318 0 0 0 277 9 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820722555048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10581] ppid=10572 vsize=9625040 CPUtime=2.91 cores=1,3,5,7
/proc/10575/task/10581/stat : 10581 (java) S 10572 10575 10365 0 -1 4202560 1065 0 0 0 282 9 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820721502504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10582] ppid=10572 vsize=9625040 CPUtime=2.83 cores=1,3,5,7
/proc/10575/task/10582/stat : 10582 (java) S 10572 10575 10365 0 -1 4202560 1052 0 0 0 271 12 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820720449960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10583] ppid=10572 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/10575/task/10583/stat : 10583 (java) S 10572 10575 10365 0 -1 4202560 416 0 0 0 282 11 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820719397416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10584] ppid=10572 vsize=9625040 CPUtime=2.97 cores=1,3,5,7
/proc/10575/task/10584/stat : 10584 (java) S 10572 10575 10365 0 -1 4202560 1452 0 0 0 285 12 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820718344872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10585] ppid=10572 vsize=9625040 CPUtime=2.69 cores=1,3,5,7
/proc/10575/task/10585/stat : 10585 (java) S 10572 10575 10365 0 -1 4202560 1080 0 0 0 259 10 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820717292328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10586] ppid=10572 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/10575/task/10586/stat : 10586 (java) S 10572 10575 10365 0 -1 4202560 693 0 0 0 266 10 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820716239784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10587] ppid=10572 vsize=9625040 CPUtime=2.79 cores=1,3,5,7
/proc/10575/task/10587/stat : 10587 (java) S 10572 10575 10365 0 -1 4202560 875 0 0 0 267 12 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820585757736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10589] ppid=10572 vsize=9625040 CPUtime=4.62 cores=1,3,5,7
/proc/10575/task/10589/stat : 10589 (java) S 10572 10575 10365 0 -1 4202560 629 0 0 0 458 4 0 0 20 0 19 0 8438529 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820102809704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10593] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10593/stat : 10593 (java) S 10572 10575 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820101756024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10594] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10594/stat : 10594 (java) S 10572 10575 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820100703368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10603] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10603/stat : 10603 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820099652112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10604] ppid=10572 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/10575/task/10604/stat : 10604 (java) S 10572 10575 10365 0 -1 4202560 3694 0 0 0 47 0 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820098599480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10605] ppid=10572 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/10575/task/10605/stat : 10605 (java) S 10572 10575 10365 0 -1 4202560 3003 0 0 0 35 0 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820097546936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10606] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10606/stat : 10606 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820096494584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10607] ppid=10572 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/10575/task/10607/stat : 10607 (java) S 10572 10575 10365 0 -1 4202560 103 0 0 0 25 34 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820095442248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10625] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10625/stat : 10625 (java) S 10572 10575 10365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8438552 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820094386984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.7 s]
/proc/loadavg: 2.14 2.20 2.11 3/213 10692
/proc/meminfo: memFree=29986368/32872528 swapFree=1370072/1517240
[pid=10575] ppid=10572 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/10575/stat : 10575 (java) S 10572 10575 10365 0 -1 4202496 19373 0 1 0 179882 122 0 0 20 0 19 0 8438523 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 140733270930400 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10575/statm: 2406260 98327 2285 9 0 2396937 0
[pid=10575/tid=10577] ppid=10572 vsize=9625040 CPUtime=1771.6 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (java) R 10572 10575 10365 0 -1 4202560 2730 0 1 0 177127 33 0 0 20 0 19 0 8438524 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820750101840 139820597238366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10580] ppid=10572 vsize=9625040 CPUtime=2.86 cores=1,3,5,7
/proc/10575/task/10580/stat : 10580 (java) S 10572 10575 10365 0 -1 4202560 1318 0 0 0 277 9 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820722555048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10581] ppid=10572 vsize=9625040 CPUtime=2.91 cores=1,3,5,7
/proc/10575/task/10581/stat : 10581 (java) S 10572 10575 10365 0 -1 4202560 1065 0 0 0 282 9 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820721502504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10582] ppid=10572 vsize=9625040 CPUtime=2.83 cores=1,3,5,7
/proc/10575/task/10582/stat : 10582 (java) S 10572 10575 10365 0 -1 4202560 1052 0 0 0 271 12 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820720449960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10583] ppid=10572 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/10575/task/10583/stat : 10583 (java) S 10572 10575 10365 0 -1 4202560 416 0 0 0 282 11 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820719397416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10584] ppid=10572 vsize=9625040 CPUtime=2.97 cores=1,3,5,7
/proc/10575/task/10584/stat : 10584 (java) S 10572 10575 10365 0 -1 4202560 1452 0 0 0 285 12 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820718344872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10585] ppid=10572 vsize=9625040 CPUtime=2.69 cores=1,3,5,7
/proc/10575/task/10585/stat : 10585 (java) S 10572 10575 10365 0 -1 4202560 1080 0 0 0 259 10 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820717292328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10586] ppid=10572 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/10575/task/10586/stat : 10586 (java) S 10572 10575 10365 0 -1 4202560 693 0 0 0 266 10 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820716239784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10587] ppid=10572 vsize=9625040 CPUtime=2.79 cores=1,3,5,7
/proc/10575/task/10587/stat : 10587 (java) S 10572 10575 10365 0 -1 4202560 875 0 0 0 267 12 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820585757736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10589] ppid=10572 vsize=9625040 CPUtime=4.62 cores=1,3,5,7
/proc/10575/task/10589/stat : 10589 (java) S 10572 10575 10365 0 -1 4202560 629 0 0 0 458 4 0 0 20 0 19 0 8438529 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820102809704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10593] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10593/stat : 10593 (java) S 10572 10575 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820101756024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10594] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10594/stat : 10594 (java) S 10572 10575 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820100703368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10603] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10603/stat : 10603 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820099652112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10604] ppid=10572 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/10575/task/10604/stat : 10604 (java) S 10572 10575 10365 0 -1 4202560 3694 0 0 0 47 0 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820098599480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10605] ppid=10572 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/10575/task/10605/stat : 10605 (java) S 10572 10575 10365 0 -1 4202560 3003 0 0 0 35 0 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820097546936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10606] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10606/stat : 10606 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820096494584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10607] ppid=10572 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/10575/task/10607/stat : 10607 (java) S 10572 10575 10365 0 -1 4202560 103 0 0 0 25 34 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820095442248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10625] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10625/stat : 10625 (java) S 10572 10575 10365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8438552 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820094386984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 10575 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1782.7 s]
/proc/loadavg: 2.14 2.20 2.11 3/213 10692
/proc/meminfo: memFree=29986368/32872528 swapFree=1370072/1517240
[pid=10575] ppid=10572 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/10575/stat : 10575 (java) S 10572 10575 10365 0 -1 4202496 19373 0 1 0 179882 122 0 0 20 0 19 0 8438523 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 140733270930400 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10575/statm: 2406260 98327 2285 9 0 2396937 0
[pid=10575/tid=10577] ppid=10572 vsize=9625040 CPUtime=1771.6 cores=1,3,5,7
/proc/10575/task/10577/stat : 10577 (java) R 10572 10575 10365 0 -1 4202560 2730 0 1 0 177127 33 0 0 20 0 19 0 8438524 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820750101840 139820597238366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10580] ppid=10572 vsize=9625040 CPUtime=2.86 cores=1,3,5,7
/proc/10575/task/10580/stat : 10580 (java) S 10572 10575 10365 0 -1 4202560 1318 0 0 0 277 9 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820722555048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10581] ppid=10572 vsize=9625040 CPUtime=2.91 cores=1,3,5,7
/proc/10575/task/10581/stat : 10581 (java) S 10572 10575 10365 0 -1 4202560 1065 0 0 0 282 9 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820721502504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10582] ppid=10572 vsize=9625040 CPUtime=2.83 cores=1,3,5,7
/proc/10575/task/10582/stat : 10582 (java) S 10572 10575 10365 0 -1 4202560 1052 0 0 0 271 12 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820720449960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10583] ppid=10572 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/10575/task/10583/stat : 10583 (java) S 10572 10575 10365 0 -1 4202560 416 0 0 0 282 11 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820719397416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10584] ppid=10572 vsize=9625040 CPUtime=2.97 cores=1,3,5,7
/proc/10575/task/10584/stat : 10584 (java) S 10572 10575 10365 0 -1 4202560 1452 0 0 0 285 12 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820718344872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10585] ppid=10572 vsize=9625040 CPUtime=2.69 cores=1,3,5,7
/proc/10575/task/10585/stat : 10585 (java) S 10572 10575 10365 0 -1 4202560 1080 0 0 0 259 10 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820717292328 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10586] ppid=10572 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/10575/task/10586/stat : 10586 (java) S 10572 10575 10365 0 -1 4202560 693 0 0 0 266 10 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820716239784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10587] ppid=10572 vsize=9625040 CPUtime=2.79 cores=1,3,5,7
/proc/10575/task/10587/stat : 10587 (java) S 10572 10575 10365 0 -1 4202560 875 0 0 0 267 12 0 0 20 0 19 0 8438528 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820585757736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10575/tid=10589] ppid=10572 vsize=9625040 CPUtime=4.62 cores=1,3,5,7
/proc/10575/task/10589/stat : 10589 (java) S 10572 10575 10365 0 -1 4202560 629 0 0 0 458 4 0 0 20 0 19 0 8438529 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820102809704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10593] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10593/stat : 10593 (java) S 10572 10575 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820101756024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10594] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10594/stat : 10594 (java) S 10572 10575 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8438530 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820100703368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10603] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10603/stat : 10603 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820099652112 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10604] ppid=10572 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/10575/task/10604/stat : 10604 (java) S 10572 10575 10365 0 -1 4202560 3694 0 0 0 47 0 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820098599480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10575/tid=10605] ppid=10572 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/10575/task/10605/stat : 10605 (java) S 10572 10575 10365 0 -1 4202560 3003 0 0 0 35 0 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820097546936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10606] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10606/stat : 10606 (java) S 10572 10575 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820096494584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10575/tid=10607] ppid=10572 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/10575/task/10607/stat : 10607 (java) S 10572 10575 10365 0 -1 4202560 103 0 0 0 25 34 0 0 20 0 19 0 8438532 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820095442248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10575/tid=10625] ppid=10572 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10575/task/10625/stat : 10625 (java) S 10572 10575 10365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8438552 9856040960 98327 33554432000 1073741824 1073778376 140733270939264 139820094386984 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1782.76
CPU time (s): 1800.73
CPU user time (s): 1799.03
CPU system time (s): 1.70274
CPU usage (%): 101.008
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.70274
maximum resident set size= 658168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19419
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44956
involuntary context switches= 46818

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6114 second user time and 13.363 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-16 09:58:40
IDJOB=4090548
IDBENCH=78702
IDSOLVER=2551
FILE ID=node129/4090548-1466063920
RUNJOBID= node129-1466062122-10382
PBS_JOBID= 19904010
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090548-1466063920/watcher-4090548-1466063920 -o /tmp/evaluation-result-4090548-1466063920/solver-4090548-1466063920 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466062122-10382 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090548-1466063920.wbo

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

MD5SUM BENCH= 3aafd47af6446049bcdbc11c9b966efe
RANDOM SEED=624121319

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30611828 kB
Buffers:            3752 kB
Cached:            37088 kB
SwapCached:          652 kB
Active:            23464 kB
Inactive:          21176 kB
Active(anon):       4956 kB
Inactive(anon):      884 kB
Active(file):      18508 kB
Inactive(file):    20292 kB
Unevictable:     1517240 kB
Mlocked:         1370072 kB
SwapTotal:      67108856 kB
SwapFree:       67100220 kB
Dirty:               668 kB
Writeback:             0 kB
AnonPages:       1519964 kB
Mapped:             7136 kB
Shmem:                 0 kB
Slab:             565036 kB
SReclaimable:       8876 kB
SUnreclaim:       556160 kB
KernelStack:        1440 kB
PageTables:         6656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1613564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71736 MiB
End job on node129 at 2016-06-16 10:28:23