Trace number 3455258

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)167 1800.47 958.788

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
MD5SUMcb09f183d3805e6536d629586026461f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark4.6213
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 121
Optimality of the best value was proved YES
Number of variables4688
Total number of constraints403
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 4688
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4688
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4688
Number of bits of the biggest sum of numbers13
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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		9996466904
0.05/0.09	c Max memory 		10048897024
0.05/0.09	c Total memory 		10048897024
0.05/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3455258-1307191934.opb
0.09/0.11	c reading problem ... 
0.28/0.30	c ... done. Wall clock time 0.178s.
0.28/0.30	c #vars     4688
0.28/0.30	c #constraints  403
0.28/0.30	c constraints type 
0.28/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 402
0.28/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
0.28/0.30	c constraints type 
0.28/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
0.28/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 402
0.28/0.37	c  And the winner is Resolution
0.89/0.81	c SATISFIABLE
0.89/0.81	c OPTIMIZING...
0.89/0.81	c Got one! Elapsed wall clock time (in seconds):0.701
0.89/0.81	o 181
4.56/2.23	c  And the winner is CuttingPlanes
4.62/2.35	c Got one! Elapsed wall clock time (in seconds):2.242
4.62/2.35	o 180
4.93/2.58	c cleaning 2759 clauses out of 5525 with flag 1001/5525
9.45/4.79	c cleaning 4368 clauses out of 8765 with flag 7000/11524
14.24/7.18	c cleaning 5693 clauses out of 11397 with flag 14000/18524
15.83/7.98	c  And the winner is CuttingPlanes
16.01/8.40	c Got one! Elapsed wall clock time (in seconds):8.284
16.01/8.40	o 179
17.27/9.09	c cleaning 5495 clauses out of 10997 with flag 3000/23817
21.68/11.28	c cleaning 5745 clauses out of 11502 with flag 9000/29817
27.66/14.25	c cleaning 6375 clauses out of 12757 with flag 16000/36817
30.23/15.57	c  And the winner is CuttingPlanes
30.40/15.94	c Got one! Elapsed wall clock time (in seconds):15.828
30.40/15.94	o 178
31.21/16.39	c cleaning 6127 clauses out of 12262 with flag 2000/42697
35.38/18.41	c cleaning 6060 clauses out of 12135 with flag 8000/48697
39.74/20.68	c cleaning 6527 clauses out of 13075 with flag 15000/55697
44.91/23.27	c  And the winner is CuttingPlanes
45.06/23.48	c Got one! Elapsed wall clock time (in seconds):23.369
45.06/23.48	o 177
47.90/24.91	c cleaning 9631 clauses out of 19280 with flag 5000/68429
52.07/27.08	c cleaning 7818 clauses out of 15650 with flag 11001/74430
57.63/29.81	c cleaning 7411 clauses out of 14832 with flag 18001/81430
60.38/31.25	c  And the winner is CuttingPlanes
60.49/31.53	c Got one! Elapsed wall clock time (in seconds):31.418
60.49/31.53	o 176
61.26/31.93	c cleaning 6444 clauses out of 12893 with flag 2000/86902
65.39/34.04	c cleaning 6219 clauses out of 12449 with flag 8000/92902
70.75/36.71	c cleaning 6611 clauses out of 13230 with flag 15000/99902
76.32/39.59	c cleaning 7304 clauses out of 14619 with flag 23000/107902
82.90/42.87	c cleaning 8152 clauses out of 16317 with flag 32002/116904
90.30/46.58	c cleaning 9076 clauses out of 18164 with flag 42001/126903
96.45/49.62	c cleaning 9534 clauses out of 19087 with flag 52000/136902
105.41/54.10	c cleaning 9769 clauses out of 19553 with flag 62000/146902
111.74/57.32	c cleaning 9887 clauses out of 19784 with flag 72000/156902
116.69/59.83	c cleaning 9944 clauses out of 19898 with flag 82001/166903
123.45/63.28	c cleaning 9973 clauses out of 19953 with flag 92000/176902
130.39/66.77	c cleaning 9986 clauses out of 19981 with flag 102001/186903
135.31/69.27	c cleaning 9990 clauses out of 19995 with flag 112001/196903
140.66/71.93	c cleaning 9981 clauses out of 20004 with flag 122000/206902
149.81/76.54	c cleaning 10004 clauses out of 20023 with flag 132000/216902
154.55/78.98	c cleaning 10002 clauses out of 20020 with flag 142001/226903
159.66/81.52	c cleaning 10006 clauses out of 20017 with flag 152000/236902
164.00/83.72	c cleaning 9998 clauses out of 20011 with flag 162000/246902
168.18/85.82	c cleaning 10002 clauses out of 20013 with flag 172000/256902
173.68/88.65	c cleaning 10000 clauses out of 20011 with flag 182000/266902
181.79/92.75	c cleaning 9995 clauses out of 20011 with flag 192000/276902
186.92/95.36	c cleaning 10001 clauses out of 20017 with flag 202001/286903
187.10/95.48	c  And the winner is CuttingPlanes
187.23/95.94	c Got one! Elapsed wall clock time (in seconds):95.828
187.23/95.94	o 175
189.74/97.21	c cleaning 7633 clauses out of 15269 with flag 5001/292156
194.29/99.52	c cleaning 6814 clauses out of 13635 with flag 11000/298155
199.19/102.07	c cleaning 6902 clauses out of 13823 with flag 18002/305157
205.33/105.13	c cleaning 7455 clauses out of 14919 with flag 26000/313155
212.90/108.93	c cleaning 8229 clauses out of 16465 with flag 35001/322156
221.40/113.23	c cleaning 9110 clauses out of 18235 with flag 45000/332155
228.89/117.03	c cleaning 9553 clauses out of 19125 with flag 55000/342155
237.82/121.59	c cleaning 9783 clauses out of 19573 with flag 65001/352156
249.35/127.37	c cleaning 9892 clauses out of 19790 with flag 75001/362156
255.27/130.38	c cleaning 9945 clauses out of 19897 with flag 85000/372155
262.35/133.94	c cleaning 9968 clauses out of 19953 with flag 95001/382156
266.87/136.21	c cleaning 9985 clauses out of 19984 with flag 105000/392155
271.24/138.46	c cleaning 9996 clauses out of 20000 with flag 115001/402156
277.17/141.44	c cleaning 10000 clauses out of 20003 with flag 125000/412155
285.66/145.77	c cleaning 9996 clauses out of 20003 with flag 135000/422155
290.80/148.41	c cleaning 9997 clauses out of 20007 with flag 145000/432155
296.32/151.11	c cleaning 10000 clauses out of 20010 with flag 155000/442155
300.44/153.24	c cleaning 9998 clauses out of 20010 with flag 165000/452155
304.53/155.39	c cleaning 10001 clauses out of 20012 with flag 175000/462155
311.25/158.75	c cleaning 9997 clauses out of 20011 with flag 185000/472155
317.78/162.02	c cleaning 10000 clauses out of 20014 with flag 195000/482155
321.90/164.19	c cleaning 9999 clauses out of 20015 with flag 205001/492156
326.18/166.34	c cleaning 10003 clauses out of 20016 with flag 215001/502156
331.70/169.19	c cleaning 10001 clauses out of 20012 with flag 225000/512155
337.62/172.18	c cleaning 9996 clauses out of 20012 with flag 235001/522156
341.74/174.26	c cleaning 9999 clauses out of 20016 with flag 245001/532156
346.01/176.43	c cleaning 10007 clauses out of 20017 with flag 255001/542156
350.74/178.82	c cleaning 10003 clauses out of 20011 with flag 265002/552157
359.46/183.22	c cleaning 9999 clauses out of 20007 with flag 275001/562156
367.18/187.16	c cleaning 10001 clauses out of 20008 with flag 285001/572156
371.29/189.23	c cleaning 9995 clauses out of 20007 with flag 295001/582156
376.57/191.90	c cleaning 9999 clauses out of 20011 with flag 305000/592155
381.29/194.37	c cleaning 10002 clauses out of 20013 with flag 315001/602156
386.60/197.02	c cleaning 9999 clauses out of 20010 with flag 325000/612155
392.06/199.86	c cleaning 9994 clauses out of 20012 with flag 335001/622156
397.58/202.61	c cleaning 10004 clauses out of 20018 with flag 345001/632156
402.29/205.02	c cleaning 10000 clauses out of 20014 with flag 355001/642156
409.00/208.43	c cleaning 9998 clauses out of 20014 with flag 365001/652156
416.26/212.12	c cleaning 10002 clauses out of 20016 with flag 375001/662156
423.37/215.74	c cleaning 10002 clauses out of 20014 with flag 385001/672156
429.72/218.93	c cleaning 10002 clauses out of 20012 with flag 395001/682156
436.61/222.42	c cleaning 9997 clauses out of 20009 with flag 405000/692155
445.27/226.80	c cleaning 9996 clauses out of 20012 with flag 415000/702155
451.18/229.83	c cleaning 10001 clauses out of 20017 with flag 425001/712156
455.48/232.09	c cleaning 10002 clauses out of 20016 with flag 435001/722156
460.58/234.61	c cleaning 9997 clauses out of 20014 with flag 445001/732156
465.03/236.97	c cleaning 10002 clauses out of 20017 with flag 455001/742156
469.13/239.03	c cleaning 9998 clauses out of 20014 with flag 465000/752155
473.03/241.08	c cleaning 9997 clauses out of 20016 with flag 475000/762155
477.53/243.30	c cleaning 10006 clauses out of 20020 with flag 485001/772156
483.61/246.45	c cleaning 10003 clauses out of 20014 with flag 495001/782156
489.67/249.50	c cleaning 10000 clauses out of 20013 with flag 505003/792158
494.77/252.19	c cleaning 9998 clauses out of 20011 with flag 515001/802156
500.47/255.09	c cleaning 9999 clauses out of 20013 with flag 525001/812156
505.89/257.85	c cleaning 10004 clauses out of 20013 with flag 535000/822155
511.17/260.54	c cleaning 9997 clauses out of 20009 with flag 545000/832155
516.65/263.33	c cleaning 9998 clauses out of 20012 with flag 555000/842155
521.52/265.87	c cleaning 10001 clauses out of 20015 with flag 565001/852156
526.73/268.50	c cleaning 9996 clauses out of 20014 with flag 575001/862156
531.61/271.03	c cleaning 10001 clauses out of 20018 with flag 585001/872156
537.32/273.93	c cleaning 10007 clauses out of 20017 with flag 595001/882156
545.56/278.15	c cleaning 9999 clauses out of 20010 with flag 605001/892156
551.57/281.29	c cleaning 10000 clauses out of 20010 with flag 615000/902155
557.25/284.13	c cleaning 9999 clauses out of 20011 with flag 625001/912156
561.92/286.56	c cleaning 9998 clauses out of 20011 with flag 635000/922155
566.78/289.01	c cleaning 9997 clauses out of 20013 with flag 645000/932155
571.16/291.38	c cleaning 10000 clauses out of 20016 with flag 655000/942155
575.41/293.59	c cleaning 10001 clauses out of 20017 with flag 665001/952156
579.48/295.67	c cleaning 10003 clauses out of 20016 with flag 675001/962156
585.73/298.80	c cleaning 9999 clauses out of 20012 with flag 685000/972155
589.90/301.03	c cleaning 10001 clauses out of 20014 with flag 695001/982156
593.95/303.14	c cleaning 9998 clauses out of 20012 with flag 705000/992155
598.20/305.30	c cleaning 9998 clauses out of 20014 with flag 715000/1002155
602.25/307.45	c cleaning 10002 clauses out of 20017 with flag 725001/1012156
606.61/309.74	c cleaning 9998 clauses out of 20015 with flag 735001/1022156
611.06/312.03	c cleaning 10004 clauses out of 20017 with flag 745001/1032156
615.49/314.35	c cleaning 10002 clauses out of 20013 with flag 755001/1042156
619.74/316.58	c cleaning 9999 clauses out of 20010 with flag 765000/1052155
625.89/319.79	c cleaning 10000 clauses out of 20012 with flag 775001/1062156
632.14/322.91	c cleaning 10000 clauses out of 20011 with flag 785000/1072155
636.78/325.37	c cleaning 9999 clauses out of 20013 with flag 795002/1082157
641.42/327.79	c cleaning 9994 clauses out of 20012 with flag 805000/1092155
646.95/330.65	c cleaning 9998 clauses out of 20018 with flag 815000/1102155
651.59/333.03	c cleaning 10004 clauses out of 20021 with flag 825001/1112156
658.66/336.63	c cleaning 10004 clauses out of 20017 with flag 835001/1122156
665.45/340.15	c cleaning 9999 clauses out of 20013 with flag 845001/1132156
670.37/342.73	c cleaning 9998 clauses out of 20014 with flag 855001/1142156
677.59/346.43	c cleaning 9996 clauses out of 20015 with flag 865000/1152155
682.99/349.28	c cleaning 10002 clauses out of 20019 with flag 875000/1162155
689.40/352.54	c cleaning 10007 clauses out of 20017 with flag 885000/1172155
695.12/355.53	c cleaning 9999 clauses out of 20010 with flag 895000/1182155
704.33/360.26	c cleaning 9999 clauses out of 20012 with flag 905001/1192156
710.52/363.43	c cleaning 9997 clauses out of 20012 with flag 915000/1202155
714.72/365.61	c cleaning 9999 clauses out of 20015 with flag 925000/1212155
719.39/368.12	c cleaning 9998 clauses out of 20017 with flag 935001/1222156
723.37/370.29	c cleaning 10003 clauses out of 20018 with flag 945000/1232155
727.96/372.65	c cleaning 10003 clauses out of 20016 with flag 955001/1242156
732.34/375.01	c cleaning 10000 clauses out of 20012 with flag 965000/1252155
737.80/377.83	c cleaning 10001 clauses out of 20012 with flag 975000/1262155
741.98/380.08	c cleaning 9998 clauses out of 20012 with flag 985001/1272156
746.55/382.47	c cleaning 10001 clauses out of 20013 with flag 995000/1282155
752.13/385.31	c cleaning 9999 clauses out of 20012 with flag 1005000/1292155
757.39/388.15	c cleaning 9999 clauses out of 20013 with flag 1015000/1302155
761.76/390.50	c cleaning 10003 clauses out of 20015 with flag 1025001/1312156
766.16/392.77	c cleaning 9995 clauses out of 20011 with flag 1035000/1322155
770.47/395.06	c cleaning 10002 clauses out of 20016 with flag 1045000/1332155
775.49/397.72	c cleaning 10001 clauses out of 20015 with flag 1055001/1342156
780.05/400.12	c cleaning 9995 clauses out of 20014 with flag 1065001/1352156
784.61/402.54	c cleaning 10000 clauses out of 20018 with flag 1075000/1362155
789.35/405.10	c cleaning 10003 clauses out of 20019 with flag 1085001/1372156
793.76/407.42	c cleaning 9998 clauses out of 20016 with flag 1095001/1382156
798.11/409.71	c cleaning 10003 clauses out of 20018 with flag 1105001/1392156
802.65/412.10	c cleaning 10001 clauses out of 20014 with flag 1115000/1402155
807.63/414.77	c cleaning 9999 clauses out of 20013 with flag 1125000/1412155
811.99/417.17	c cleaning 10005 clauses out of 20015 with flag 1135001/1422156
816.12/419.31	c cleaning 9994 clauses out of 20009 with flag 1145000/1432155
820.05/421.43	c cleaning 10001 clauses out of 20015 with flag 1155000/1442155
824.03/423.59	c cleaning 9996 clauses out of 20014 with flag 1165000/1452155
828.38/425.91	c cleaning 10001 clauses out of 20018 with flag 1175000/1462155
832.71/428.22	c cleaning 10004 clauses out of 20017 with flag 1185000/1472155
837.83/430.91	c cleaning 10000 clauses out of 20013 with flag 1195000/1482155
843.75/434.01	c cleaning 10001 clauses out of 20013 with flag 1205000/1492155
850.52/437.63	c cleaning 10001 clauses out of 20012 with flag 1215000/1502155
857.04/441.08	c cleaning 9995 clauses out of 20012 with flag 1225001/1512156
863.75/444.58	c cleaning 9998 clauses out of 20017 with flag 1235001/1522156
868.84/447.22	c cleaning 10001 clauses out of 20019 with flag 1245001/1532156
873.82/449.99	c cleaning 10002 clauses out of 20018 with flag 1255001/1542156
878.87/452.64	c cleaning 10000 clauses out of 20016 with flag 1265001/1552156
883.75/455.31	c cleaning 10000 clauses out of 20016 with flag 1275001/1562156
889.03/458.00	c cleaning 9996 clauses out of 20016 with flag 1285001/1572156
894.75/461.12	c cleaning 10003 clauses out of 20020 with flag 1295001/1582156
900.42/464.16	c cleaning 10000 clauses out of 20017 with flag 1305001/1592156
906.08/467.12	c cleaning 10000 clauses out of 20017 with flag 1315001/1602156
911.74/470.19	c cleaning 9998 clauses out of 20017 with flag 1325001/1612156
917.84/473.46	c cleaning 10003 clauses out of 20018 with flag 1335000/1622155
926.09/477.79	c cleaning 10006 clauses out of 20016 with flag 1345001/1632156
933.33/481.55	c cleaning 10000 clauses out of 20010 with flag 1355001/1642156
938.18/484.18	c cleaning 10001 clauses out of 20010 with flag 1365001/1652156
943.22/486.95	c cleaning 9994 clauses out of 20009 with flag 1375001/1662156
948.25/489.62	c cleaning 10001 clauses out of 20014 with flag 1385000/1672155
953.68/492.56	c cleaning 10001 clauses out of 20013 with flag 1395000/1682155
959.30/495.56	c cleaning 9999 clauses out of 20013 with flag 1405001/1692156
965.73/499.07	c cleaning 10001 clauses out of 20014 with flag 1415001/1702156
970.75/501.77	c cleaning 10001 clauses out of 20012 with flag 1425000/1712155
975.96/504.51	c cleaning 10000 clauses out of 20011 with flag 1435000/1722155
980.97/507.20	c cleaning 10001 clauses out of 20011 with flag 1445000/1732155
985.77/509.93	c cleaning 9999 clauses out of 20010 with flag 1455000/1742155
991.98/513.24	c cleaning 9998 clauses out of 20011 with flag 1465000/1752155
997.79/516.33	c cleaning 10001 clauses out of 20014 with flag 1475001/1762156
1002.37/518.88	c cleaning 9999 clauses out of 20013 with flag 1485001/1772156
1007.18/521.55	c cleaning 10001 clauses out of 20014 with flag 1495001/1782156
1011.58/523.93	c cleaning 10000 clauses out of 20013 with flag 1505001/1792156
1015.57/526.18	c cleaning 10000 clauses out of 20013 with flag 1515001/1802156
1019.80/528.46	c cleaning 9997 clauses out of 20012 with flag 1525000/1812155
1025.64/531.63	c cleaning 9999 clauses out of 20018 with flag 1535003/1822158
1030.46/534.29	c cleaning 10002 clauses out of 20017 with flag 1545001/1832156
1034.88/536.71	c cleaning 10005 clauses out of 20015 with flag 1555001/1842156
1039.88/539.33	c cleaning 9995 clauses out of 20010 with flag 1565001/1852156
1044.51/541.99	c cleaning 10000 clauses out of 20015 with flag 1575001/1862156
1049.52/544.67	c cleaning 10000 clauses out of 20015 with flag 1585001/1872156
1054.10/547.16	c cleaning 10000 clauses out of 20015 with flag 1595001/1882156
1059.11/549.85	c cleaning 9993 clauses out of 20015 with flag 1605001/1892156
1063.92/552.52	c cleaning 10006 clauses out of 20022 with flag 1615001/1902156
1068.92/555.23	c cleaning 10004 clauses out of 20015 with flag 1625000/1912155
1073.32/557.66	c cleaning 9999 clauses out of 20012 with flag 1635001/1922156
1077.70/560.08	c cleaning 9998 clauses out of 20013 with flag 1645001/1932156
1083.69/563.32	c cleaning 9997 clauses out of 20014 with flag 1655000/1942155
1090.09/566.77	c cleaning 9997 clauses out of 20017 with flag 1665000/1952155
1095.08/569.42	c cleaning 10003 clauses out of 20020 with flag 1675000/1962155
1101.27/572.74	c cleaning 10002 clauses out of 20017 with flag 1685000/1972155
1107.44/576.19	c cleaning 9997 clauses out of 20015 with flag 1695000/1982155
1113.63/579.42	c cleaning 10001 clauses out of 20018 with flag 1705000/1992155
1119.60/582.67	c cleaning 9998 clauses out of 20017 with flag 1715000/2002155
1125.78/585.93	c cleaning 10003 clauses out of 20019 with flag 1725000/2012155
1132.15/589.41	c cleaning 9998 clauses out of 20017 with flag 1735001/2022156
1138.12/592.69	c cleaning 9998 clauses out of 20018 with flag 1745000/2032155
1143.48/595.57	c cleaning 10001 clauses out of 20020 with flag 1755000/2042155
1148.24/598.10	c cleaning 10000 clauses out of 20020 with flag 1765001/2052156
1153.39/601.04	c cleaning 9998 clauses out of 20019 with flag 1775000/2062155
1158.56/603.87	c cleaning 10002 clauses out of 20022 with flag 1785001/2072156
1163.30/606.49	c cleaning 10001 clauses out of 20021 with flag 1795002/2082157
1167.85/608.94	c cleaning 10006 clauses out of 20018 with flag 1805000/2092155
1172.60/611.69	c cleaning 9996 clauses out of 20012 with flag 1815000/2102155
1179.11/615.11	c cleaning 10000 clauses out of 20016 with flag 1825000/2112155
1184.89/618.29	c cleaning 9997 clauses out of 20016 with flag 1835000/2122155
1191.19/621.61	c cleaning 10003 clauses out of 20020 with flag 1845001/2132156
1197.91/625.37	c cleaning 9998 clauses out of 20016 with flag 1855000/2142155
1204.64/628.94	c cleaning 10000 clauses out of 20018 with flag 1865000/2152155
1211.17/632.51	c cleaning 10003 clauses out of 20019 with flag 1875001/2162156
1217.88/636.08	c cleaning 9996 clauses out of 20015 with flag 1885000/2172155
1224.77/639.89	c cleaning 9998 clauses out of 20020 with flag 1895001/2182156
1231.49/643.51	c cleaning 9999 clauses out of 20021 with flag 1905000/2192155
1238.39/647.18	c cleaning 10000 clauses out of 20022 with flag 1915000/2202155
1245.30/650.81	c cleaning 10000 clauses out of 20022 with flag 1925000/2212155
1252.18/654.65	c cleaning 10000 clauses out of 20022 with flag 1935000/2222155
1258.88/658.27	c cleaning 9998 clauses out of 20022 with flag 1945000/2232155
1265.57/661.86	c cleaning 9999 clauses out of 20024 with flag 1955000/2242155
1272.27/665.47	c cleaning 10001 clauses out of 20025 with flag 1965000/2252155
1279.32/669.33	c cleaning 10000 clauses out of 20024 with flag 1975000/2262155
1286.00/672.99	c cleaning 10007 clauses out of 20025 with flag 1985001/2272156
1292.09/676.23	c cleaning 10004 clauses out of 20018 with flag 1995001/2282156
1301.37/681.14	c cleaning 10000 clauses out of 20014 with flag 2005001/2292156
1308.59/685.11	c cleaning 10001 clauses out of 20013 with flag 2015000/2302155
1314.47/688.33	c cleaning 9998 clauses out of 20012 with flag 2025000/2312155
1319.55/691.13	c cleaning 10001 clauses out of 20015 with flag 2035001/2322156
1324.23/693.71	c cleaning 9995 clauses out of 20013 with flag 2045000/2332155
1328.84/696.47	c cleaning 10002 clauses out of 20019 with flag 2055001/2342156
1333.10/698.81	c cleaning 10000 clauses out of 20017 with flag 2065001/2352156
1337.17/701.14	c cleaning 10002 clauses out of 20017 with flag 2075001/2362156
1342.03/703.86	c cleaning 10000 clauses out of 20015 with flag 2085001/2372156
1350.03/708.21	c cleaning 10000 clauses out of 20014 with flag 2095000/2382155
1361.50/714.23	c cleaning 9997 clauses out of 20014 with flag 2105000/2392155
1373.76/720.61	c cleaning 10002 clauses out of 20017 with flag 2115000/2402155
1382.82/725.48	c cleaning 9999 clauses out of 20016 with flag 2125001/2412156
1388.59/728.74	c cleaning 9998 clauses out of 20016 with flag 2135000/2422155
1393.24/731.32	c cleaning 10001 clauses out of 20019 with flag 2145001/2432156
1397.52/733.76	c cleaning 9997 clauses out of 20017 with flag 2155000/2442155
1401.73/736.15	c cleaning 10003 clauses out of 20021 with flag 2165001/2452156
1406.13/738.74	c cleaning 10001 clauses out of 20017 with flag 2175000/2462155
1410.37/741.12	c cleaning 10002 clauses out of 20017 with flag 2185001/2472156
1417.06/744.78	c cleaning 9998 clauses out of 20014 with flag 2195000/2482155
1422.88/747.99	c cleaning 9999 clauses out of 20016 with flag 2205000/2492155
1426.06/749.93	c  And the winner is CuttingPlanes
1426.15/750.36	c Got one! Elapsed wall clock time (in seconds):750.242
1426.15/750.36	o 174
1428.82/751.77	c cleaning 10092 clauses out of 20191 with flag 5001/2502329
1434.27/754.73	c cleaning 8043 clauses out of 16098 with flag 11000/2508328
1440.31/758.02	c cleaning 7523 clauses out of 15056 with flag 18001/2515329
1447.15/761.77	c cleaning 7763 clauses out of 15534 with flag 26002/2523330
1455.91/766.55	c cleaning 8378 clauses out of 16769 with flag 35000/2532328
1463.34/770.53	c  And the winner is CuttingPlanes
1463.40/770.69	c Got one! Elapsed wall clock time (in seconds):770.575
1463.40/770.69	o 173
1466.20/772.13	c cleaning 11504 clauses out of 23021 with flag 5001/2546958
1470.63/774.65	c cleaning 8754 clauses out of 17517 with flag 11001/2552958
1477.44/778.37	c cleaning 7876 clauses out of 15762 with flag 18000/2559957
1483.58/781.88	c cleaning 7938 clauses out of 15886 with flag 26000/2567957
1492.00/786.31	c cleaning 8468 clauses out of 16949 with flag 35001/2576958
1500.67/790.93	c cleaning 9237 clauses out of 18480 with flag 45000/2586957
1509.24/795.58	c cleaning 9610 clauses out of 19243 with flag 55000/2596957
1510.76/796.79	c  And the winner is CuttingPlanes
1510.94/797.02	c Got one! Elapsed wall clock time (in seconds):796.907
1510.94/797.02	o 172
1513.88/798.54	c cleaning 7569 clauses out of 15146 with flag 5000/2602470
1519.68/801.71	c cleaning 6784 clauses out of 13577 with flag 11000/2608470
1524.90/804.60	c cleaning 6884 clauses out of 13794 with flag 18001/2615471
1530.51/807.75	c cleaning 7444 clauses out of 14909 with flag 26000/2623470
1538.61/812.25	c cleaning 8225 clauses out of 16465 with flag 35000/2632470
1543.40/814.97	c  And the winner is CuttingPlanes
1543.53/815.43	c Got one! Elapsed wall clock time (in seconds):815.317
1543.53/815.43	o 171
1546.45/816.97	c cleaning 9302 clauses out of 18611 with flag 5002/2642841
1551.86/819.97	c cleaning 7648 clauses out of 15308 with flag 11001/2648840
1557.44/823.07	c cleaning 7325 clauses out of 14660 with flag 18001/2655840
1565.52/827.57	c cleaning 7661 clauses out of 15334 with flag 26000/2663839
1572.31/831.28	c cleaning 8332 clauses out of 16674 with flag 35001/2672840
1580.89/835.88	c cleaning 9165 clauses out of 18341 with flag 45000/2682839
1588.47/839.91	c cleaning 9585 clauses out of 19176 with flag 55000/2692839
1594.33/843.32	c  And the winner is CuttingPlanes
1594.37/843.43	c Got one! Elapsed wall clock time (in seconds):843.319
1594.37/843.43	o 170
1597.48/845.04	c cleaning 10479 clauses out of 20980 with flag 5000/2704228
1602.45/847.85	c cleaning 8247 clauses out of 16504 with flag 11003/2710231
1608.03/850.98	c cleaning 7624 clauses out of 15256 with flag 18002/2717230
1614.76/854.67	c cleaning 7812 clauses out of 15631 with flag 26001/2725229
1622.11/858.89	c cleaning 8405 clauses out of 16818 with flag 35000/2734228
1631.01/863.66	c cleaning 9203 clauses out of 18414 with flag 45001/2744229
1638.71/867.83	c cleaning 9602 clauses out of 19211 with flag 55001/2754229
1646.39/872.06	c cleaning 9798 clauses out of 19610 with flag 65002/2764230
1651.93/875.38	c cleaning 9904 clauses out of 19810 with flag 75000/2774228
1658.82/879.14	c cleaning 9949 clauses out of 19906 with flag 85000/2784228
1667.12/883.60	c cleaning 9974 clauses out of 19958 with flag 95001/2794229
1668.20/884.58	c  And the winner is CuttingPlanes
1668.36/884.89	c Got one! Elapsed wall clock time (in seconds):884.778
1668.36/884.89	o 169
1671.35/886.44	c cleaning 7634 clauses out of 15285 with flag 5000/2799530
1676.98/889.75	c cleaning 6821 clauses out of 13651 with flag 11000/2805530
1683.36/893.25	c cleaning 6909 clauses out of 13831 with flag 18001/2812531
1690.01/896.99	c cleaning 7458 clauses out of 14921 with flag 26000/2820530
1697.55/901.09	c cleaning 8224 clauses out of 16463 with flag 35000/2829530
1706.76/906.13	c cleaning 9114 clauses out of 18239 with flag 45000/2839530
1714.68/910.49	c cleaning 9556 clauses out of 19125 with flag 55000/2849530
1724.22/915.54	c cleaning 9776 clauses out of 19570 with flag 65001/2859531
1729.56/918.57	c cleaning 9897 clauses out of 19794 with flag 75001/2869531
1733.69/921.11	c  And the winner is CuttingPlanes
1733.69/921.18	c Got one! Elapsed wall clock time (in seconds):921.069
1733.69/921.18	o 168
1736.52/922.65	c cleaning 10111 clauses out of 20230 with flag 5001/2879864
1742.03/925.75	c cleaning 8054 clauses out of 16120 with flag 11002/2885865
1747.13/928.69	c cleaning 7528 clauses out of 15065 with flag 18001/2892864
1754.63/932.72	c cleaning 7761 clauses out of 15536 with flag 26000/2900863
1764.81/938.37	c cleaning 8383 clauses out of 16775 with flag 35000/2909863
1774.87/943.72	c cleaning 9179 clauses out of 18393 with flag 45001/2919864
1782.95/948.21	c cleaning 9599 clauses out of 19214 with flag 55001/2929864
1784.43/949.23	c  And the winner is CuttingPlanes
1784.50/949.50	c Got one! Elapsed wall clock time (in seconds):949.386
1784.50/949.50	o 167
1787.46/951.06	c cleaning 7593 clauses out of 15200 with flag 5005/2935449
1792.81/954.24	c cleaning 6797 clauses out of 13602 with flag 11000/2941444
1798.70/957.52	c cleaning 6897 clauses out of 13805 with flag 18000/2948444
1800.20/958.62	c starts		: 30
1800.20/958.62	c conflicts		: 3662
1800.20/958.62	c decisions		: 143314
1800.20/958.62	c propagations		: 432398
1800.20/958.62	c inspects		: 14111845
1800.20/958.62	c shortcuts		: 0
1800.20/958.62	c learnt literals	: 0
1800.20/958.62	c learnt binary clauses	: 0
1800.20/958.62	c learnt ternary clauses	: 0
1800.20/958.62	c learnt constraints	: 3661
1800.20/958.62	c ignored constraints	: 0
1800.20/958.62	c root simplifications	: 0
1800.20/958.62	c removed literals (reason simplification)	: 0
1800.20/958.62	c reason swapping (by a shorter reason)	: 0
1800.20/958.62	c Calls to reduceDB	: 0
1800.20/958.62	c number of reductions to clauses (during analyze)	: 0
1800.20/958.62	c number of learned constraints concerned by reduction	: 0
1800.20/958.62	c number of learning phase by resolution	: 0
1800.20/958.62	c number of learning phase by cutting planes	: 0
1800.20/958.62	c speed (assignments/second)	: 47547.61381130416
1800.20/958.62	c non guided choices	0
1800.20/958.63	c learnt constraints type 
1800.20/958.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1708
1800.20/958.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1953
1800.20/958.63	c constraints type 
1800.20/958.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 402
1800.20/958.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.20/958.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
1800.20/958.63	c constraints type 
1800.20/958.63	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
1800.20/958.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 402
1800.20/958.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.20/958.63	s SATISFIABLE
1800.20/958.64	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 x688 -x689 -x690 x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 x723 x724 x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 
1800.20/958.64	c objective function=167
1800.20/958.64	c Total wall clock time (in seconds): 958.53

Verifier Data 

OK	167

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3455258-1307191934/watcher-3455258-1307191934 -o /tmp/evaluation-result-3455258-1307191934/solver-3455258-1307191934 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455258-1307191934.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.72 2.48 3.12 3/518 1018
/proc/meminfo: memFree=21532800/32951124 swapFree=58800704/67111528
[pid=1018] ppid=1016 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/1018/stat : 1018 (java) S 1016 1018 30263 0 -1 4202496 234 0 0 0 0 0 0 0 22 0 1 0 811608881 9318400 171 33554432000 1073741824 1073778376 140734221684688 18446744073709551615 228095446885 0 2147483391 4096 0 18446744071699207358 0 0 17 2 0 0 0
/proc/1018/statm: 2275 171 130 9 0 67 0
[pid=1018/tid=1019] ppid=1016 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1019/stat : 1019 (java) R 1016 1018 30263 0 -1 4202560 5552 0 1 0 0 0 0 0 23 0 2 0 811608882 10694979584 6368 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.062766 s]
/proc/loadavg: 1.72 2.48 3.12 3/518 1018
/proc/meminfo: memFree=21532800/32951124 swapFree=58800704/67111528
[pid=1018] ppid=1016 vsize=10472784 CPUtime=0.05 cores=0,2,4,6
/proc/1018/stat : 1018 (java) S 1016 1018 30263 0 -1 4202496 11630 0 1 0 4 1 0 0 22 0 18 0 811608881 10724130816 11327 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1018/statm: 2618196 11328 1730 9 0 2608937 0
[pid=1018/tid=1019] ppid=1016 vsize=10472784 CPUtime=0.04 cores=0,2,4,6
/proc/1018/task/1019/stat : 1019 (java) R 1016 1018 30263 0 -1 4202560 10456 0 1 0 3 1 0 0 22 0 18 0 811608882 10724130816 11328 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107277771 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472784

[startup+0.100764 s]
/proc/loadavg: 1.72 2.48 3.12 3/518 1018
/proc/meminfo: memFree=21532800/32951124 swapFree=58800704/67111528
[pid=1018] ppid=1016 vsize=10539812 CPUtime=0.09 cores=0,2,4,6
/proc/1018/stat : 1018 (java) S 1016 1018 30263 0 -1 4202496 13007 0 1 0 8 1 0 0 22 0 18 0 811608881 10792767488 12704 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1018/statm: 2634953 12704 2092 9 0 2625687 0
[pid=1018/tid=1019] ppid=1016 vsize=10539812 CPUtime=0.08 cores=0,2,4,6
/proc/1018/task/1019/stat : 1019 (java) R 1016 1018 30263 0 -1 4202560 11114 0 1 0 7 1 0 0 18 0 18 0 811608882 10792767488 12704 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 46912496201380 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539812

[startup+0.383645 s]
/proc/loadavg: 1.72 2.48 3.12 3/518 1018
/proc/meminfo: memFree=21532800/32951124 swapFree=58800704/67111528
[pid=1018] ppid=1016 vsize=10549292 CPUtime=0.86 cores=0,2,4,6
/proc/1018/stat : 1018 (java) S 1016 1018 30263 0 -1 4202496 19435 0 1 0 83 3 0 0 22 0 21 0 811608881 10802475008 17447 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1018/statm: 2637323 17447 2220 9 0 2628057 0
[pid=1018/tid=1019] ppid=1016 vsize=10549292 CPUtime=0.27 cores=0,2,4,6
/proc/1018/task/1019/stat : 1019 (java) S 1016 1018 30263 0 -1 4202560 13883 0 1 0 26 1 0 0 19 0 21 0 811608882 10802475008 17447 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10549292

[startup+0.700618 s]
/proc/loadavg: 1.72 2.48 3.12 3/518 1018
/proc/meminfo: memFree=21532800/32951124 swapFree=58800704/67111528
[pid=1018] ppid=1016 vsize=10549292 CPUtime=0.89 cores=0,2,4,6
/proc/1018/stat : 1018 (java) S 1016 1018 30263 0 -1 4202496 19458 0 1 0 86 3 0 0 22 0 19 0 811608881 10802475008 17454 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1018/statm: 2637323 17454 2221 9 0 2628057 0
[pid=1018/tid=1019] ppid=1016 vsize=10549292 CPUtime=0.27 cores=0,2,4,6
/proc/1018/task/1019/stat : 1019 (java) S 1016 1018 30263 0 -1 4202560 13883 0 1 0 26 1 0 0 19 0 19 0 811608882 10802475008 17454 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10549292

[startup+1.50144 s]
/proc/loadavg: 1.72 2.48 3.12 4/561 1070
/proc/meminfo: memFree=21273428/32951124 swapFree=58800704/67111528
[pid=1018] ppid=1016 vsize=10550044 CPUtime=2.79 cores=0,2,4,6
/proc/1018/stat : 1018 (java) S 1016 1018 30263 0 -1 4202496 25050 0 1 0 276 3 0 0 22 0 22 0 811608881 10803245056 20619 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1018/statm: 2637511 20619 2231 9 0 2628245 0
[pid=1018/tid=1019] ppid=1016 vsize=10550044 CPUtime=0.31 cores=0,2,4,6
/proc/1018/task/1019/stat : 1019 (java) S 1016 1018 30263 0 -1 4202560 14332 0 1 0 30 1 0 0 15 0 22 0 811608882 10803245056 20619 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1021] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1021/stat : 1021 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811608883 10803245056 20619 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1022] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1022/stat : 1022 (java) S 1016 1018 30263 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811608883 10803245056 20619 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1023] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1023/stat : 1023 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811608883 10803245056 20619 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1024] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1024/stat : 1024 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811608883 10803245056 20619 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1025] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1025/stat : 1025 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811608883 10803245056 20619 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1026] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1026/stat : 1026 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811608883 10803245056 20619 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1027] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1027/stat : 1027 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811608883 10803245056 20619 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1028] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1028/stat : 1028 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811608883 10803245056 20619 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1029] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1029/stat : 1029 (java) S 1016 1018 30263 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 811608884 10803245056 20628 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 0 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1030] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1030/stat : 1030 (java) S 1016 1018 30263 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811608885 10803245056 20647 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1031] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1031/stat : 1031 (java) S 1016 1018 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811608885 10803245056 20663 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1038] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1038/stat : 1038 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811608887 10803245056 20683 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107274673 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1039] ppid=1016 vsize=10550044 CPUtime=0.48 cores=0,2,4,6
/proc/1018/task/1039/stat : 1039 (java) R 1016 1018 30263 0 -1 4202560 2909 0 0 0 48 0 0 0 15 0 22 0 811608887 10803245056 20700 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 47488634169374 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1018/tid=1040] ppid=1016 vsize=10550044 CPUtime=0.49 cores=0,2,4,6
/proc/1018/task/1040/stat : 1040 (java) R 1016 1018 30263 0 -1 4202560 4724 0 0 0 49 0 0 0 15 0 22 0 811608887 10803245056 20715 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228095144926 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1018/tid=1041] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1041/stat : 1041 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811608887 10803245056 20730 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1042] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1042/stat : 1042 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811608887 10803245056 20743 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1062] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1062/stat : 1062 (java) S 1016 1018 30263 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811608915 10803245056 20749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1068] ppid=1016 vsize=10550044 CPUtime=0.65 cores=0,2,4,6
/proc/1018/task/1068/stat : 1068 (java) R 1016 1018 30263 0 -1 4202560 676 0 0 0 65 0 0 0 18 0 22 0 811608965 10803245056 20749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 46912505854045 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=1018/tid=1069] ppid=1016 vsize=10550044 CPUtime=0.65 cores=0,2,4,6
/proc/1018/task/1069/stat : 1069 (java) R 1016 1018 30263 0 -1 4202560 1130 0 0 0 65 0 0 0 18 0 22 0 811608965 10803245056 20749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 46912505874487 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1018/tid=1070] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1070/stat : 1070 (java) S 1016 1018 30263 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 811608965 10803245056 20749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 10550044

[startup+3.10115 s]
/proc/loadavg: 1.72 2.48 3.12 5/564 1076
/proc/meminfo: memFree=21144072/32951124 swapFree=58800704/67111528
[pid=1018] ppid=1016 vsize=10550044 CPUtime=6.14 cores=0,2,4,6
/proc/1018/stat : 1018 (java) S 1016 1018 30263 0 -1 4202496 38500 0 1 0 608 6 0 0 22 0 22 0 811608881 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1018/statm: 2637511 31510 2257 9 0 2628245 0
[pid=1018/tid=1019] ppid=1016 vsize=10550044 CPUtime=0.34 cores=0,2,4,6
/proc/1018/task/1019/stat : 1019 (java) S 1016 1018 30263 0 -1 4202560 14753 0 1 0 32 2 0 0 15 0 22 0 811608882 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1021] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1021/stat : 1021 (java) S 1016 1018 30263 0 -1 4202560 884 0 0 0 0 0 0 0 18 0 22 0 811608883 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1022] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1022/stat : 1022 (java) S 1016 1018 30263 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811608883 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1023] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1023/stat : 1023 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811608883 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1024] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1024/stat : 1024 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811608883 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1025] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1025/stat : 1025 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811608883 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1026] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1026/stat : 1026 (java) S 1016 1018 30263 0 -1 4202560 194 0 0 0 0 0 0 0 18 0 22 0 811608883 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1027] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1027/stat : 1027 (java) S 1016 1018 30263 0 -1 4202560 297 0 0 0 0 0 0 0 18 0 22 0 811608883 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1028] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1028/stat : 1028 (java) S 1016 1018 30263 0 -1 4202560 459 0 0 0 0 0 0 0 18 0 22 0 811608883 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1029] ppid=1016 vsize=10550044 CPUtime=0.02 cores=0,2,4,6
/proc/1018/task/1029/stat : 1029 (java) S 1016 1018 30263 0 -1 4202560 1823 0 0 0 2 0 0 0 16 0 22 0 811608884 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 0 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1030] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1030/stat : 1030 (java) S 1016 1018 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811608885 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1031] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1031/stat : 1031 (java) S 1016 1018 30263 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811608885 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1038] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1038/stat : 1038 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811608887 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107274673 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1039] ppid=1016 vsize=10550044 CPUtime=0.58 cores=0,2,4,6
/proc/1018/task/1039/stat : 1039 (java) S 1016 1018 30263 0 -1 4202560 2930 0 0 0 58 0 0 0 16 0 22 0 811608887 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1040] ppid=1016 vsize=10550044 CPUtime=0.81 cores=0,2,4,6
/proc/1018/task/1040/stat : 1040 (java) S 1016 1018 30263 0 -1 4202560 10866 0 0 0 80 1 0 0 15 0 22 0 811608887 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1041] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1041/stat : 1041 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811608887 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1042] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1042/stat : 1042 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811608887 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1070] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1070/stat : 1070 (java) S 1016 1018 30263 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 811608965 10803245056 31510 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 10550044

[startup+6.30161 s]
/proc/loadavg: 1.90 2.51 3.12 5/564 1082
/proc/meminfo: memFree=20553708/32951124 swapFree=58800704/67111528
[pid=1018] ppid=1016 vsize=10550044 CPUtime=12.63 cores=0,2,4,6
/proc/1018/stat : 1018 (java) S 1016 1018 30263 0 -1 4202496 44949 0 1 0 1256 7 0 0 22 0 22 0 811608881 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1018/statm: 2637511 37502 2257 9 0 2628245 0
[pid=1018/tid=1019] ppid=1016 vsize=10550044 CPUtime=0.34 cores=0,2,4,6
/proc/1018/task/1019/stat : 1019 (java) S 1016 1018 30263 0 -1 4202560 14753 0 1 0 32 2 0 0 15 0 22 0 811608882 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1021] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1021/stat : 1021 (java) S 1016 1018 30263 0 -1 4202560 884 0 0 0 0 0 0 0 17 0 22 0 811608883 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1022] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1022/stat : 1022 (java) S 1016 1018 30263 0 -1 4202560 851 0 0 0 0 0 0 0 15 0 22 0 811608883 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1023] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1023/stat : 1023 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811608883 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1024] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1024/stat : 1024 (java) S 1016 1018 30263 0 -1 4202560 581 0 0 0 0 0 0 0 15 0 22 0 811608883 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1025] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1025/stat : 1025 (java) S 1016 1018 30263 0 -1 4202560 410 0 0 0 0 0 0 0 16 0 22 0 811608883 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1026] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1026/stat : 1026 (java) S 1016 1018 30263 0 -1 4202560 194 0 0 0 0 0 0 0 15 0 22 0 811608883 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1027] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1027/stat : 1027 (java) S 1016 1018 30263 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 22 0 811608883 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1028] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1028/stat : 1028 (java) S 1016 1018 30263 0 -1 4202560 459 0 0 0 0 0 0 0 17 0 22 0 811608883 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1029] ppid=1016 vsize=10550044 CPUtime=0.05 cores=0,2,4,6
/proc/1018/task/1029/stat : 1029 (java) S 1016 1018 30263 0 -1 4202560 2943 0 0 0 5 0 0 0 15 0 22 0 811608884 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 0 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1030] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1030/stat : 1030 (java) S 1016 1018 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811608885 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1031] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1031/stat : 1031 (java) S 1016 1018 30263 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811608885 10803245056 37502 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0

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

/proc/meminfo: memFree=14863072/32951124 swapFree=58800704/67111528
[pid=1018] ppid=1016 vsize=10550044 CPUtime=1664.52 cores=0,2,4,6
/proc/1018/stat : 1018 (java) S 1016 1018 30263 0 -1 4202496 876293 0 1 0 166350 102 0 0 22 0 22 0 811608881 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1018/statm: 2637511 868286 2258 9 0 2628245 0
[pid=1018/tid=1019] ppid=1016 vsize=10550044 CPUtime=0.55 cores=0,2,4,6
/proc/1018/task/1019/stat : 1019 (java) S 1016 1018 30263 0 -1 4202560 15210 0 1 0 53 2 0 0 15 0 22 0 811608882 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1021] ppid=1016 vsize=10550044 CPUtime=1.19 cores=0,2,4,6
/proc/1018/task/1021/stat : 1021 (java) S 1016 1018 30263 0 -1 4202560 2883 0 0 0 119 0 0 0 15 0 22 0 811608883 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1022] ppid=1016 vsize=10550044 CPUtime=1.19 cores=0,2,4,6
/proc/1018/task/1022/stat : 1022 (java) S 1016 1018 30263 0 -1 4202560 2348 0 0 0 119 0 0 0 15 0 22 0 811608883 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1023] ppid=1016 vsize=10550044 CPUtime=1.28 cores=0,2,4,6
/proc/1018/task/1023/stat : 1023 (java) S 1016 1018 30263 0 -1 4202560 853 0 0 0 128 0 0 0 16 0 22 0 811608883 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1024] ppid=1016 vsize=10550044 CPUtime=1.3 cores=0,2,4,6
/proc/1018/task/1024/stat : 1024 (java) S 1016 1018 30263 0 -1 4202560 1832 0 0 0 130 0 0 0 16 0 22 0 811608883 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1025] ppid=1016 vsize=10550044 CPUtime=1.17 cores=0,2,4,6
/proc/1018/task/1025/stat : 1025 (java) S 1016 1018 30263 0 -1 4202560 1655 0 0 0 117 0 0 0 16 0 22 0 811608883 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1026] ppid=1016 vsize=10550044 CPUtime=1.21 cores=0,2,4,6
/proc/1018/task/1026/stat : 1026 (java) S 1016 1018 30263 0 -1 4202560 2234 0 0 0 121 0 0 0 16 0 22 0 811608883 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1027] ppid=1016 vsize=10550044 CPUtime=1.25 cores=0,2,4,6
/proc/1018/task/1027/stat : 1027 (java) S 1016 1018 30263 0 -1 4202560 1415 0 0 0 125 0 0 0 15 0 22 0 811608883 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1028] ppid=1016 vsize=10550044 CPUtime=1.22 cores=0,2,4,6
/proc/1018/task/1028/stat : 1028 (java) S 1016 1018 30263 0 -1 4202560 2921 0 0 0 122 0 0 0 15 0 22 0 811608883 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1029] ppid=1016 vsize=10550044 CPUtime=98.12 cores=0,2,4,6
/proc/1018/task/1029/stat : 1029 (java) S 1016 1018 30263 0 -1 4202560 92720 0 0 0 9801 11 0 0 15 0 22 0 811608884 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 0 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1030] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1030/stat : 1030 (java) S 1016 1018 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811608885 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1031] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1031/stat : 1031 (java) S 1016 1018 30263 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 811608885 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1038] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1038/stat : 1038 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811608887 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107274673 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1039] ppid=1016 vsize=10550044 CPUtime=1.02 cores=0,2,4,6
/proc/1018/task/1039/stat : 1039 (java) S 1016 1018 30263 0 -1 4202560 3010 0 0 0 102 0 0 0 15 0 22 0 811608887 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1040] ppid=1016 vsize=10550044 CPUtime=1 cores=0,2,4,6
/proc/1018/task/1040/stat : 1040 (java) S 1016 1018 30263 0 -1 4202560 10881 0 0 0 99 1 0 0 16 0 22 0 811608887 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1041] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1041/stat : 1041 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811608887 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1042] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1042/stat : 1042 (java) S 1016 1018 30263 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811608887 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1070] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1070/stat : 1070 (java) S 1016 1018 30263 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 811608965 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1297] ppid=1016 vsize=10550044 CPUtime=30.78 cores=0,2,4,6
/proc/1018/task/1297/stat : 1297 (java) R 1016 1018 30263 0 -1 4202560 1 0 0 0 3078 0 0 0 18 0 22 0 811693227 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 46912505806303 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1018/tid=1298] ppid=1016 vsize=10550044 CPUtime=30.78 cores=0,2,4,6
/proc/1018/task/1298/stat : 1298 (java) R 1016 1018 30263 0 -1 4202560 0 0 0 0 3078 0 0 0 18 0 22 0 811693227 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 46912505874531 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1018/tid=1299] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1299/stat : 1299 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811693227 10803245056 868286 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1664.52
Current children cumulated vsize (KiB) 10550044

[startup+942.301 s]
/proc/loadavg: 3.58 3.64 3.50 5/564 1307
/proc/meminfo: memFree=14824584/32951124 swapFree=58800704/67111528
[pid=1018] ppid=1016 vsize=10550044 CPUtime=1772.06 cores=0,2,4,6
/proc/1018/stat : 1018 (java) S 1016 1018 30263 0 -1 4202496 884425 0 1 0 177103 103 0 0 22 0 22 0 811608881 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1018/statm: 2637511 876395 2258 9 0 2628245 0
[pid=1018/tid=1019] ppid=1016 vsize=10550044 CPUtime=0.63 cores=0,2,4,6
/proc/1018/task/1019/stat : 1019 (java) S 1016 1018 30263 0 -1 4202560 15224 0 1 0 61 2 0 0 15 0 22 0 811608882 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1021] ppid=1016 vsize=10550044 CPUtime=1.39 cores=0,2,4,6
/proc/1018/task/1021/stat : 1021 (java) S 1016 1018 30263 0 -1 4202560 2885 0 0 0 139 0 0 0 15 0 22 0 811608883 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1022] ppid=1016 vsize=10550044 CPUtime=1.28 cores=0,2,4,6
/proc/1018/task/1022/stat : 1022 (java) S 1016 1018 30263 0 -1 4202560 2348 0 0 0 128 0 0 0 16 0 22 0 811608883 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1023] ppid=1016 vsize=10550044 CPUtime=1.41 cores=0,2,4,6
/proc/1018/task/1023/stat : 1023 (java) S 1016 1018 30263 0 -1 4202560 857 0 0 0 141 0 0 0 15 0 22 0 811608883 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1024] ppid=1016 vsize=10550044 CPUtime=1.46 cores=0,2,4,6
/proc/1018/task/1024/stat : 1024 (java) S 1016 1018 30263 0 -1 4202560 1832 0 0 0 146 0 0 0 16 0 22 0 811608883 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1025] ppid=1016 vsize=10550044 CPUtime=1.23 cores=0,2,4,6
/proc/1018/task/1025/stat : 1025 (java) S 1016 1018 30263 0 -1 4202560 1655 0 0 0 123 0 0 0 15 0 22 0 811608883 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1026] ppid=1016 vsize=10550044 CPUtime=1.41 cores=0,2,4,6
/proc/1018/task/1026/stat : 1026 (java) S 1016 1018 30263 0 -1 4202560 2248 0 0 0 141 0 0 0 15 0 22 0 811608883 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1027] ppid=1016 vsize=10550044 CPUtime=1.45 cores=0,2,4,6
/proc/1018/task/1027/stat : 1027 (java) S 1016 1018 30263 0 -1 4202560 1415 0 0 0 145 0 0 0 16 0 22 0 811608883 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1028] ppid=1016 vsize=10550044 CPUtime=1.41 cores=0,2,4,6
/proc/1018/task/1028/stat : 1028 (java) S 1016 1018 30263 0 -1 4202560 2922 0 0 0 141 0 0 0 15 0 22 0 811608883 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1029] ppid=1016 vsize=10550044 CPUtime=110.27 cores=0,2,4,6
/proc/1018/task/1029/stat : 1029 (java) S 1016 1018 30263 0 -1 4202560 100810 0 0 0 11015 12 0 0 15 0 22 0 811608884 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 0 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1030] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1030/stat : 1030 (java) S 1016 1018 30263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811608885 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1031] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1031/stat : 1031 (java) S 1016 1018 30263 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 811608885 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1038] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1038/stat : 1038 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811608887 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107274673 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1039] ppid=1016 vsize=10550044 CPUtime=1.02 cores=0,2,4,6
/proc/1018/task/1039/stat : 1039 (java) S 1016 1018 30263 0 -1 4202560 3010 0 0 0 102 0 0 0 15 0 22 0 811608887 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1040] ppid=1016 vsize=10550044 CPUtime=1 cores=0,2,4,6
/proc/1018/task/1040/stat : 1040 (java) S 1016 1018 30263 0 -1 4202560 10881 0 0 0 99 1 0 0 16 0 22 0 811608887 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1041] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1041/stat : 1041 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811608887 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1042] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1042/stat : 1042 (java) S 1016 1018 30263 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811608887 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1070] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1070/stat : 1070 (java) S 1016 1018 30263 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 811608965 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1305] ppid=1016 vsize=10550044 CPUtime=16.92 cores=0,2,4,6
/proc/1018/task/1305/stat : 1305 (java) R 1016 1018 30263 0 -1 4202560 0 0 0 0 1692 0 0 0 25 0 22 0 811701003 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 46912505806273 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1018/tid=1306] ppid=1016 vsize=10550044 CPUtime=16.93 cores=0,2,4,6
/proc/1018/task/1306/stat : 1306 (java) R 1016 1018 30263 0 -1 4202560 0 0 0 0 1693 0 0 0 25 0 22 0 811701003 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 46912505874556 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1018/tid=1307] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1307/stat : 1307 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811701003 10803245056 876395 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1772.06
Current children cumulated vsize (KiB) 10550044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+958.601 s]
/proc/loadavg: 3.52 3.62 3.49 5/564 1312
/proc/meminfo: memFree=14808456/32951124 swapFree=58800704/67111528
[pid=1018] ppid=1016 vsize=10550044 CPUtime=1800.2 cores=0,2,4,6
/proc/1018/stat : 1018 (java) S 1016 1018 30263 0 -1 4202496 885790 0 1 0 179917 103 0 0 22 0 22 0 811608881 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1018/statm: 2637511 877749 2258 9 0 2628245 0
[pid=1018/tid=1019] ppid=1016 vsize=10550044 CPUtime=0.67 cores=0,2,4,6
/proc/1018/task/1019/stat : 1019 (java) S 1016 1018 30263 0 -1 4202560 15227 0 1 0 65 2 0 0 15 0 22 0 811608882 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1021] ppid=1016 vsize=10550044 CPUtime=1.42 cores=0,2,4,6
/proc/1018/task/1021/stat : 1021 (java) S 1016 1018 30263 0 -1 4202560 2886 0 0 0 142 0 0 0 15 0 22 0 811608883 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1022] ppid=1016 vsize=10550044 CPUtime=1.31 cores=0,2,4,6
/proc/1018/task/1022/stat : 1022 (java) S 1016 1018 30263 0 -1 4202560 2348 0 0 0 131 0 0 0 15 0 22 0 811608883 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1023] ppid=1016 vsize=10550044 CPUtime=1.47 cores=0,2,4,6
/proc/1018/task/1023/stat : 1023 (java) S 1016 1018 30263 0 -1 4202560 857 0 0 0 147 0 0 0 16 0 22 0 811608883 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1024] ppid=1016 vsize=10550044 CPUtime=1.52 cores=0,2,4,6
/proc/1018/task/1024/stat : 1024 (java) S 1016 1018 30263 0 -1 4202560 1832 0 0 0 152 0 0 0 15 0 22 0 811608883 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1025] ppid=1016 vsize=10550044 CPUtime=1.31 cores=0,2,4,6
/proc/1018/task/1025/stat : 1025 (java) S 1016 1018 30263 0 -1 4202560 1656 0 0 0 131 0 0 0 15 0 22 0 811608883 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1026] ppid=1016 vsize=10550044 CPUtime=1.5 cores=0,2,4,6
/proc/1018/task/1026/stat : 1026 (java) S 1016 1018 30263 0 -1 4202560 2250 0 0 0 150 0 0 0 16 0 22 0 811608883 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1027] ppid=1016 vsize=10550044 CPUtime=1.5 cores=0,2,4,6
/proc/1018/task/1027/stat : 1027 (java) S 1016 1018 30263 0 -1 4202560 1415 0 0 0 150 0 0 0 16 0 22 0 811608883 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1028] ppid=1016 vsize=10550044 CPUtime=1.46 cores=0,2,4,6
/proc/1018/task/1028/stat : 1028 (java) S 1016 1018 30263 0 -1 4202560 2922 0 0 0 146 0 0 0 16 0 22 0 811608883 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1029] ppid=1016 vsize=10550044 CPUtime=114.35 cores=0,2,4,6
/proc/1018/task/1029/stat : 1029 (java) S 1016 1018 30263 0 -1 4202560 102160 0 0 0 11423 12 0 0 16 0 22 0 811608884 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 0 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1030] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1030/stat : 1030 (java) S 1016 1018 30263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811608885 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1031] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1031/stat : 1031 (java) S 1016 1018 30263 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 811608885 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 6 0 0 0
[pid=1018/tid=1038] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1038/stat : 1038 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811608887 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107274673 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1039] ppid=1016 vsize=10550044 CPUtime=1.02 cores=0,2,4,6
/proc/1018/task/1039/stat : 1039 (java) S 1016 1018 30263 0 -1 4202560 3010 0 0 0 102 0 0 0 15 0 22 0 811608887 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 0 0 0 0
[pid=1018/tid=1040] ppid=1016 vsize=10550044 CPUtime=1 cores=0,2,4,6
/proc/1018/task/1040/stat : 1040 (java) S 1016 1018 30263 0 -1 4202560 10881 0 0 0 99 1 0 0 16 0 22 0 811608887 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1041] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1041/stat : 1041 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811608887 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107266969 0 4 0 16800975 18446604445356123328 0 0 -1 2 0 0 0
[pid=1018/tid=1042] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1042/stat : 1042 (java) S 1016 1018 30263 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 811608887 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1070] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1070/stat : 1070 (java) S 1016 1018 30263 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 811608965 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
[pid=1018/tid=1309] ppid=1016 vsize=10550044 CPUtime=6.4 cores=0,2,4,6
/proc/1018/task/1309/stat : 1309 (java) R 1016 1018 30263 0 -1 4202560 3 0 0 0 640 0 0 0 16 0 22 0 811703834 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 46912505725811 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1018/tid=1310] ppid=1016 vsize=10550044 CPUtime=6.41 cores=0,2,4,6
/proc/1018/task/1310/stat : 1310 (java) R 1016 1018 30263 0 -1 4202560 0 0 0 0 641 0 0 0 16 0 22 0 811703834 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 46912505874797 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1018/tid=1311] ppid=1016 vsize=10550044 CPUtime=0 cores=0,2,4,6
/proc/1018/task/1311/stat : 1311 (java) S 1016 1018 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811703835 10803245056 877749 33554432000 1073741824 1073778376 140733931047104 18446744073709551615 228107267584 0 4 0 16800975 18446604445356123328 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 10550044

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

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

[startup+958.726 s]
/proc/loadavg: 3.52 3.62 3.49 5/564 1312
/proc/meminfo: memFree=14808456/32951124 swapFree=58800704/67111528
[pid=1018] ppid=1016 vsize=0 CPUtime=1800.39 cores=0,2,4,6
/proc/1018/stat : 1018 (java) Z 1016 1018 30263 0 -1 4203548 885820 0 1 0 179928 111 0 0 17 0 2 0 811608881 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/1018/statm: 0 0 0 0 0 0 0
[pid=1018/tid=1311] ppid=1016 vsize=0 CPUtime=0.07 cores=0,2,4,6
/proc/1018/task/1311/stat : 1311 (java) R 1016 1018 30263 0 -1 4203588 1 0 0 0 0 7 0 0 18 0 2 0 811703835 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 958.788
CPU time (s): 1800.47
CPU user time (s): 1799.29
CPU system time (s): 1.17882
CPU usage (%): 187.786
Max. virtual memory (cumulated for all children) (KiB): 10550044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 1.17882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 885820
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31382
involuntary context switches= 22722

runsolver used 5.41418 second user time and 11.2453 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-04 14:52:14
IDJOB=3455258
IDBENCH=2837
IDSOLVER=1950
FILE ID=node142/3455258-1307191934
RUNJOBID= node142-1307191934-1004
PBS_JOBID= 13508862
Free space on /tmp= 73940 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455258-1307191934/watcher-3455258-1307191934 -o /tmp/evaluation-result-3455258-1307191934/solver-3455258-1307191934 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455258-1307191934.opb

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

MD5SUM BENCH= cb09f183d3805e6536d629586026461f
RANDOM SEED=522551683

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5131.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21533212 kB
Buffers:        284584 kB
Cached:         455764 kB
SwapCached:      11452 kB
Active:        9339688 kB
Inactive:      1816088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21533212 kB
SwapTotal:    67111528 kB
SwapFree:     58800704 kB
Dirty:             608 kB
Writeback:           0 kB
AnonPages:    10412956 kB
Mapped:          31192 kB
Slab:           116800 kB
PageTables:      75188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145381424 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73936 MiB
End job on node142 at 2011-06-04 15:08:15