Trace number 3710871

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)13 1800.57 1796.67

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir03_area_delay.opb
MD5SUM2b747b2caed6577698c928a521fdc3c2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.094985
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved YES
Number of variables3540
Total number of constraints9890
Number of constraints which are clauses9890
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 1681
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 1681
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1681
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.03/0.09	c version 2.3.2.v20120418
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710871-1338160416.opb
0.09/0.12	c reading problem ... 
0.49/0.37	c ... done. Wall clock time 0.243s.
0.49/0.39	c declared #vars     3540
0.49/0.39	c #constraints  9889
0.49/0.39	c constraints type 
0.49/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1864
0.49/0.39	c ignored satisfied constraints => 1
0.49/0.39	c org.sat4j.minisat.constraints.cnf.UnitClause => 132
0.49/0.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7893
0.49/0.39	c 9890 constraints processed.
0.73/0.41	c SATISFIABLE
0.73/0.41	c OPTIMIZING...
0.73/0.41	c Got one! Elapsed wall clock time (in seconds):0.292
0.73/0.42	o 18
2.51/1.88	c cleaning 2496 clauses out of 5005 with flag 5000/5005
4.31/3.56	c cleaning 4238 clauses out of 8509 with flag 11000/11005
6.23/5.50	c cleaning 5630 clauses out of 11271 with flag 18000/18005
6.74/5.99	c Got one! Elapsed wall clock time (in seconds):5.867
6.74/5.99	o 17
7.84/7.10	c cleaning 5662 clauses out of 11335 with flag 4002/23699
9.59/8.76	c cleaning 5828 clauses out of 11671 with flag 10000/29697
11.50/10.65	c cleaning 6415 clauses out of 12843 with flag 17000/36697
13.70/12.87	c cleaning 7209 clauses out of 14428 with flag 25000/44697
16.21/15.33	c cleaning 8102 clauses out of 16219 with flag 34000/53697
18.91/18.01	c cleaning 9049 clauses out of 18117 with flag 44000/63697
21.91/21.00	c cleaning 10021 clauses out of 20068 with flag 55000/74697
25.21/24.39	c cleaning 11021 clauses out of 22047 with flag 67000/86697
28.93/28.04	c cleaning 12003 clauses out of 24028 with flag 80002/99699
33.03/32.13	c cleaning 13012 clauses out of 26024 with flag 94001/113698
37.17/36.29	c cleaning 13982 clauses out of 28012 with flag 109001/128698
40.77/39.51	c Got one! Elapsed wall clock time (in seconds):39.388
40.77/39.51	o 16
42.21/40.95	c cleaning 15198 clauses out of 30428 with flag 5000/145096
44.16/42.62	c cleaning 10609 clauses out of 21230 with flag 11000/151096
46.07/44.52	c cleaning 8787 clauses out of 17623 with flag 18002/158098
48.18/46.64	c cleaning 8407 clauses out of 16834 with flag 26000/166096
50.68/49.10	c cleaning 8698 clauses out of 17427 with flag 35000/175096
53.48/51.93	c cleaning 9348 clauses out of 18729 with flag 45000/185096
56.38/54.88	c cleaning 10176 clauses out of 20383 with flag 56002/196098
59.79/58.21	c cleaning 11095 clauses out of 22205 with flag 68000/208096
63.28/61.79	c cleaning 12042 clauses out of 24110 with flag 81000/221096
67.19/65.66	c cleaning 13005 clauses out of 26068 with flag 95000/235096
71.40/69.82	c cleaning 14013 clauses out of 28063 with flag 110000/250096
75.80/74.25	c cleaning 15016 clauses out of 30050 with flag 126000/266096
80.50/78.91	c cleaning 15978 clauses out of 32034 with flag 143000/283096
85.21/83.69	c cleaning 17012 clauses out of 34056 with flag 161000/301096
90.21/88.63	c cleaning 18019 clauses out of 36045 with flag 180001/320097
95.62/94.00	c cleaning 18996 clauses out of 38025 with flag 200000/340096
101.02/99.48	c cleaning 19998 clauses out of 40030 with flag 221001/361097
105.52/103.98	c Got one! Elapsed wall clock time (in seconds):103.857
105.52/103.98	o 15
106.95/105.34	c cleaning 21029 clauses out of 42073 with flag 5002/383138
108.65/107.07	c cleaning 13515 clauses out of 27043 with flag 11001/389137
110.66/109.02	c cleaning 10243 clauses out of 20527 with flag 18000/396136
112.86/111.22	c cleaning 9136 clauses out of 18284 with flag 26000/404136
115.16/113.57	c cleaning 9068 clauses out of 18148 with flag 35000/413136
117.88/116.24	c cleaning 9520 clauses out of 19080 with flag 45000/423136
120.98/119.33	c cleaning 10272 clauses out of 20561 with flag 56001/434137
124.28/122.67	c cleaning 11123 clauses out of 22288 with flag 68000/446136
127.78/126.14	c cleaning 12069 clauses out of 24167 with flag 81002/459138
131.50/129.85	c cleaning 13018 clauses out of 26096 with flag 95000/473136
135.70/134.03	c cleaning 14035 clauses out of 28078 with flag 110000/488136
140.21/138.60	c cleaning 15005 clauses out of 30043 with flag 126000/504136
145.20/143.51	c cleaning 16002 clauses out of 32038 with flag 143000/521136
149.90/148.20	c cleaning 16996 clauses out of 34036 with flag 161000/539136
155.01/153.34	c cleaning 18000 clauses out of 36040 with flag 180000/558136
160.22/158.57	c cleaning 19007 clauses out of 38040 with flag 200000/578136
166.02/164.31	c cleaning 20009 clauses out of 40033 with flag 221000/599136
172.14/170.47	c cleaning 20990 clauses out of 42024 with flag 243000/621136
178.34/176.65	c cleaning 22002 clauses out of 44034 with flag 266000/644136
184.85/183.14	c cleaning 23000 clauses out of 46033 with flag 290001/668137
191.65/189.91	c cleaning 23974 clauses out of 48032 with flag 315000/693136
198.96/197.25	c cleaning 25022 clauses out of 50059 with flag 341001/719137
206.28/204.54	c cleaning 25999 clauses out of 52037 with flag 368001/746137
214.17/212.40	c cleaning 26992 clauses out of 54037 with flag 396000/774136
222.27/220.56	c cleaning 28007 clauses out of 56045 with flag 425000/803136
230.97/229.23	c cleaning 28999 clauses out of 58038 with flag 455000/833136
239.78/238.06	c cleaning 30013 clauses out of 60040 with flag 486001/864137
249.08/247.39	c cleaning 31001 clauses out of 62027 with flag 518001/896137
258.30/256.58	c cleaning 31994 clauses out of 64025 with flag 551000/929136
268.01/266.24	c cleaning 33001 clauses out of 66031 with flag 585000/963136
277.61/275.84	c cleaning 34001 clauses out of 68031 with flag 620001/998137
287.72/285.97	c cleaning 35001 clauses out of 70029 with flag 656000/1034136
298.52/296.76	c cleaning 35990 clauses out of 72030 with flag 693002/1071138
309.34/307.59	c cleaning 37003 clauses out of 74038 with flag 731000/1109136
319.94/318.19	c cleaning 37993 clauses out of 76035 with flag 770000/1148136
331.15/329.30	c cleaning 39016 clauses out of 78045 with flag 810003/1188139
342.75/340.97	c cleaning 39979 clauses out of 80026 with flag 851000/1229136
354.96/353.15	c cleaning 41013 clauses out of 82047 with flag 893000/1271136
367.19/365.39	c cleaning 42001 clauses out of 84034 with flag 936000/1314136
380.01/378.19	c cleaning 43006 clauses out of 86033 with flag 980000/1358136
392.91/391.04	c cleaning 44003 clauses out of 88027 with flag 1025000/1403136
405.82/403.95	c cleaning 45001 clauses out of 90027 with flag 1071003/1449139
419.72/417.90	c cleaning 45996 clauses out of 92023 with flag 1118000/1496136
433.64/431.79	c cleaning 47006 clauses out of 94028 with flag 1166001/1544137
447.45/445.58	c cleaning 47982 clauses out of 96022 with flag 1215001/1593137
461.45/459.59	c cleaning 48989 clauses out of 98039 with flag 1265000/1643136
476.56/474.62	c cleaning 50009 clauses out of 100050 with flag 1316000/1694136
492.30/490.32	c cleaning 51001 clauses out of 102042 with flag 1368001/1746137
507.62/505.62	c cleaning 52005 clauses out of 104040 with flag 1421000/1799136
522.84/520.87	c cleaning 53003 clauses out of 106035 with flag 1475000/1853136
538.57/536.50	c cleaning 53996 clauses out of 108032 with flag 1530000/1908136
555.31/553.24	c cleaning 54980 clauses out of 110036 with flag 1586000/1964136
571.93/569.88	c cleaning 55994 clauses out of 112056 with flag 1643000/2021136
588.35/586.27	c cleaning 57013 clauses out of 114064 with flag 1701002/2079138
605.07/602.95	c cleaning 58011 clauses out of 116050 with flag 1760001/2138137
622.49/620.32	c cleaning 59000 clauses out of 118038 with flag 1820000/2198136
640.49/638.38	c cleaning 60001 clauses out of 120040 with flag 1881002/2259138
655.71/653.57	c Got one! Elapsed wall clock time (in seconds):653.444
655.71/653.57	o 14
657.46/655.27	c cleaning 59778 clauses out of 119605 with flag 5000/2318704
659.17/656.96	c cleaning 32890 clauses out of 65827 with flag 11000/2324704
661.07/658.84	c cleaning 19950 clauses out of 39938 with flag 18001/2331705
663.19/660.93	c cleaning 13987 clauses out of 27988 with flag 26001/2339705
665.60/663.35	c cleaning 11486 clauses out of 23000 with flag 35000/2348704
668.30/666.09	c cleaning 10737 clauses out of 21516 with flag 45002/2358706
671.21/668.95	c cleaning 10877 clauses out of 21777 with flag 56000/2369704
674.51/672.29	c cleaning 11429 clauses out of 22900 with flag 68000/2381704
678.02/675.72	c cleaning 12228 clauses out of 24475 with flag 81004/2394708
681.72/679.49	c cleaning 13108 clauses out of 26243 with flag 95000/2408704
685.72/683.45	c cleaning 14050 clauses out of 28135 with flag 110000/2423704
690.03/687.72	c cleaning 15035 clauses out of 30086 with flag 126001/2439705
692.64/690.35	c Got one! Elapsed wall clock time (in seconds):690.223
692.64/690.35	o 13
693.94/691.62	c cleaning 14572 clauses out of 29166 with flag 5000/2453820
695.46/693.14	c cleaning 10293 clauses out of 20595 with flag 11001/2459821
697.36/695.00	c cleaning 8639 clauses out of 17301 with flag 18000/2466820
699.46/697.11	c cleaning 8303 clauses out of 16662 with flag 26000/2474820
701.76/699.50	c cleaning 8658 clauses out of 17359 with flag 35000/2483820
704.47/702.15	c cleaning 9348 clauses out of 18704 with flag 45003/2493823
707.48/705.18	c cleaning 10163 clauses out of 20353 with flag 56000/2504820
710.79/708.48	c cleaning 11079 clauses out of 22190 with flag 68000/2516820
714.29/711.97	c cleaning 12043 clauses out of 24111 with flag 81000/2529820
717.99/715.67	c cleaning 13016 clauses out of 26069 with flag 95001/2543821
722.19/719.84	c cleaning 13991 clauses out of 28053 with flag 110001/2558821
726.49/724.19	c cleaning 15018 clauses out of 30061 with flag 126000/2574820
731.19/728.85	c cleaning 16007 clauses out of 32043 with flag 143000/2591820
735.90/733.58	c cleaning 16994 clauses out of 34036 with flag 161000/2609820
741.11/738.77	c cleaning 18009 clauses out of 36042 with flag 180000/2628820
746.72/744.32	c cleaning 18995 clauses out of 38033 with flag 200000/2648820
752.43/750.09	c cleaning 20005 clauses out of 40041 with flag 221003/2669823
758.43/756.04	c cleaning 20995 clauses out of 42035 with flag 243002/2691822
764.65/762.23	c cleaning 22008 clauses out of 44039 with flag 266001/2714821
771.14/768.73	c cleaning 23004 clauses out of 46030 with flag 290000/2738820
777.95/775.58	c cleaning 23993 clauses out of 48028 with flag 315002/2763822
785.45/783.08	c cleaning 24991 clauses out of 50033 with flag 341000/2789820
792.97/790.58	c cleaning 25995 clauses out of 52042 with flag 368000/2816820
800.79/798.31	c cleaning 27003 clauses out of 54048 with flag 396001/2844821
808.80/806.38	c cleaning 28009 clauses out of 56044 with flag 425000/2873820
816.60/814.17	c cleaning 29006 clauses out of 58036 with flag 455001/2903821
824.80/822.39	c cleaning 30001 clauses out of 60029 with flag 486000/2934820
833.71/831.23	c cleaning 30992 clauses out of 62029 with flag 518001/2966821
842.82/840.33	c cleaning 32008 clauses out of 64037 with flag 551001/2999821
852.52/850.03	c cleaning 33008 clauses out of 66029 with flag 585001/3033821
862.02/859.58	c cleaning 34001 clauses out of 68021 with flag 620001/3068821
872.03/869.58	c cleaning 34984 clauses out of 70019 with flag 656000/3104820
882.75/880.26	c cleaning 36002 clauses out of 72035 with flag 693000/3141820
893.36/890.85	c cleaning 37004 clauses out of 74036 with flag 731003/3179823
903.86/901.34	c cleaning 37996 clauses out of 76030 with flag 770001/3218821
914.86/912.35	c cleaning 38995 clauses out of 78033 with flag 810000/3258820
926.16/923.63	c cleaning 40010 clauses out of 80039 with flag 851001/3299821
937.27/934.75	c cleaning 41002 clauses out of 82031 with flag 893003/3341823
948.48/945.92	c cleaning 41988 clauses out of 84026 with flag 936000/3384820
960.62/958.03	c cleaning 42996 clauses out of 86038 with flag 980000/3428820
973.43/970.84	c cleaning 44009 clauses out of 88042 with flag 1025000/3473820
986.23/983.64	c cleaning 44993 clauses out of 90035 with flag 1071002/3519822
999.14/996.52	c cleaning 45990 clauses out of 92041 with flag 1118001/3566821
1013.26/1010.61	c cleaning 47014 clauses out of 94050 with flag 1166000/3614820
1027.06/1024.40	c cleaning 48016 clauses out of 96037 with flag 1215001/3663821
1041.18/1038.53	c cleaning 48990 clauses out of 98020 with flag 1265000/3713820
1055.39/1052.78	c cleaning 49994 clauses out of 100030 with flag 1316000/3764820
1070.31/1067.69	c cleaning 50980 clauses out of 102036 with flag 1368000/3816820
1085.92/1083.25	c cleaning 52004 clauses out of 104056 with flag 1421000/3869820
1101.73/1099.07	c cleaning 53010 clauses out of 106052 with flag 1475000/3923820
1117.85/1115.10	c cleaning 53996 clauses out of 108042 with flag 1530000/3978820
1133.97/1131.23	c cleaning 55016 clauses out of 110049 with flag 1586003/4034823
1149.59/1146.81	c cleaning 55986 clauses out of 112030 with flag 1643000/4091820
1165.74/1162.91	c cleaning 57004 clauses out of 114045 with flag 1701001/4149821
1182.17/1179.34	c cleaning 58005 clauses out of 116040 with flag 1760000/4208820
1199.09/1196.20	c cleaning 58995 clauses out of 118035 with flag 1820000/4268820
1216.10/1213.29	c cleaning 59980 clauses out of 120040 with flag 1881000/4329820
1233.71/1230.86	c cleaning 60989 clauses out of 122060 with flag 1943000/4391820
1251.12/1248.25	c cleaning 62017 clauses out of 124075 with flag 2006004/4454824
1269.23/1266.35	c cleaning 63008 clauses out of 126054 with flag 2070000/4518820
1287.05/1284.11	c cleaning 64006 clauses out of 128046 with flag 2135000/4583820
1305.96/1303.02	c cleaning 65007 clauses out of 130040 with flag 2201000/4649820
1325.39/1322.43	c cleaning 65981 clauses out of 132034 with flag 2268001/4716821
1344.92/1341.95	c cleaning 66999 clauses out of 134052 with flag 2336000/4784820
1365.43/1362.45	c cleaning 68013 clauses out of 136053 with flag 2405000/4853820
1385.94/1382.98	c cleaning 69007 clauses out of 138041 with flag 2475001/4923821
1406.76/1403.70	c cleaning 69993 clauses out of 140033 with flag 2546000/4994820
1428.17/1425.13	c cleaning 71008 clauses out of 142040 with flag 2618000/5066820
1449.68/1446.67	c cleaning 71992 clauses out of 144032 with flag 2691000/5139820
1471.01/1467.93	c cleaning 72992 clauses out of 146040 with flag 2765000/5213820
1492.62/1489.53	c cleaning 74003 clauses out of 148050 with flag 2840002/5288822
1515.05/1511.96	c cleaning 74985 clauses out of 150045 with flag 2916000/5364820
1538.18/1535.07	c cleaning 76006 clauses out of 152060 with flag 2993000/5441820
1560.60/1557.49	c cleaning 77015 clauses out of 154055 with flag 3071001/5519821
1583.50/1580.37	c cleaning 77998 clauses out of 156039 with flag 3150000/5598820
1606.04/1602.88	c cleaning 78998 clauses out of 158041 with flag 3230000/5678820
1628.36/1625.12	c cleaning 80006 clauses out of 160043 with flag 3311000/5759820
1651.69/1648.44	c cleaning 80998 clauses out of 162037 with flag 3393000/5841820
1674.22/1670.98	c cleaning 81999 clauses out of 164039 with flag 3476000/5924820
1698.23/1694.93	c cleaning 83001 clauses out of 166040 with flag 3560000/6008820
1721.65/1718.37	c cleaning 84005 clauses out of 168039 with flag 3645000/6093820
1747.78/1744.41	c cleaning 84979 clauses out of 170034 with flag 3731000/6179820
1772.99/1769.64	c cleaning 85999 clauses out of 172055 with flag 3818000/6266820
1798.71/1795.37	c cleaning 87007 clauses out of 174056 with flag 3906000/6354820
1800.04/1796.61	c starts		: 282
1800.04/1796.61	c conflicts		: 6358978
1800.04/1796.61	c decisions		: 20502557
1800.04/1796.61	c propagations		: 9436202325
1800.04/1796.61	c inspects		: 11223498773
1800.04/1796.61	c shortcuts		: 0
1800.04/1796.61	c learnt literals	: 0
1800.04/1796.61	c learnt binary clauses	: 39
1800.04/1796.61	c learnt ternary clauses	: 61
1800.04/1796.61	c learnt constraints	: 6358978
1800.04/1796.61	c ignored constraints	: 0
1800.04/1796.61	c root simplifications	: 282
1800.04/1796.61	c removed literals (reason simplification)	: 19533762
1800.04/1796.61	c reason swapping (by a shorter reason)	: 0
1800.04/1796.61	c Calls to reduceDB	: 184
1800.04/1796.61	c number of reductions to clauses (during analyze)	: 0
1800.04/1796.61	c number of learned constraints concerned by reduction	: 0
1800.04/1796.61	c number of learning phase by resolution	: 0
1800.04/1796.61	c number of learning phase by cutting planes	: 0
1800.04/1796.61	c speed (assignments/second)	: 5253320.5942871645
1800.04/1796.61	c non guided choices	1642
1800.04/1796.64	c learnt constraints type 
1800.04/1796.64	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 39
1800.04/1796.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 91256
1800.04/1796.64	c constraints type 
1800.04/1796.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1864
1800.04/1796.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1796.64	c ignored satisfied constraints => 1
1800.04/1796.64	c org.sat4j.minisat.constraints.cnf.UnitClause => 132
1800.04/1796.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7893
1800.04/1796.64	c 9891 constraints processed.
1800.04/1796.64	s SATISFIABLE
1800.04/1796.65	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 
1800.04/1796.65	c objective function=13
1800.04/1796.65	c Total wall clock time (in seconds): 1796.526

Verifier Data 

OK	13

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3710871-1338160416/watcher-3710871-1338160416 -o /tmp/evaluation-result-3710871-1338160416/solver-3710871-1338160416 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710871-1338160416.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: 2.06 2.01 1.95 2/174 13531
/proc/meminfo: memFree=30544976/32873648 swapFree=6860/6860
[pid=13531] ppid=13529 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/13531/stat : 13531 (runsolver) D 13529 13531 13368 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 282167685 12095488 56 33554432000 4194304 5436572 140736922587648 140736922583528 5057063 0 0 4096 24578 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/13531/statm: 2953 56 36 304 0 2645 0

[startup+0.067734 s]
/proc/loadavg: 2.06 2.01 1.95 2/174 13531
/proc/meminfo: memFree=30544976/32873648 swapFree=6860/6860
[pid=13531] ppid=13529 vsize=9558440 CPUtime=0.03 cores=0,2,4,6
/proc/13531/stat : 13531 (java) S 13529 13531 13368 0 -1 4202496 3248 0 1 0 3 0 0 0 20 0 18 0 282167685 9787842560 3945 33554432000 1073741824 1073778376 140733880381552 140733880372688 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13531/statm: 2389610 3945 1764 9 0 2380296 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558440

[startup+0.100267 s]
/proc/loadavg: 2.06 2.01 1.95 2/174 13531
/proc/meminfo: memFree=30544976/32873648 swapFree=6860/6860
[pid=13531] ppid=13529 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/13531/stat : 13531 (java) S 13529 13531 13368 0 -1 4202496 4280 0 1 0 8 1 0 0 20 0 18 0 282167685 9787842560 4975 33554432000 1073741824 1073778376 140733880381552 140733880372688 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13531/statm: 2389610 4981 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300167 s]
/proc/loadavg: 2.06 2.01 1.95 2/174 13531
/proc/meminfo: memFree=30544976/32873648 swapFree=6860/6860
[pid=13531] ppid=13529 vsize=9558440 CPUtime=0.49 cores=0,2,4,6
/proc/13531/stat : 13531 (java) S 13529 13531 13368 0 -1 4202496 6174 0 1 0 48 1 0 0 20 0 18 0 282167685 9787842560 8270 33554432000 1073741824 1073778376 140733880381552 140733880372688 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13531/statm: 2389610 8270 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440

[startup+0.70017 s]
/proc/loadavg: 2.06 2.01 1.95 2/174 13531
/proc/meminfo: memFree=30544976/32873648 swapFree=6860/6860
[pid=13531] ppid=13529 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/13531/stat : 13531 (java) S 13529 13531 13368 0 -1 4202496 8364 0 1 0 131 2 0 0 20 0 19 0 282167685 9856004096 13178 33554432000 1073741824 1073778376 140733880381552 140733880372688 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13531/statm: 2406251 13178 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9625004

[startup+1.50053 s]
/proc/loadavg: 2.06 2.01 1.95 5/212 13605
/proc/meminfo: memFree=30479304/32873648 swapFree=6860/6860
[pid=13531] ppid=13529 vsize=9625004 CPUtime=2.2 cores=0,2,4,6
/proc/13531/stat : 13531 (java) S 13529 13531 13368 0 -1 4202496 8381 0 1 0 218 2 0 0 20 0 19 0 282167685 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 140733880372688 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13531/statm: 2406251 13192 2262 9 0 2396937 0
[pid=13531/tid=13533] ppid=13529 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/13531/task/13533/stat : 13533 (java) R 13529 13531 13368 0 -1 4202560 2567 0 1 0 144 2 0 0 20 0 19 0 282167687 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948834832776 139948707079774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13534] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13534/stat : 13534 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948678838952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13535] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13535/stat : 13535 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948677786408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13536] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13536/stat : 13536 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948676733864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13537] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13537/stat : 13537 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948675681320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13538] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13538/stat : 13538 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948674627752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13539] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13539/stat : 13539 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948673575208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13540] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13540/stat : 13540 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948672522664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13541] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13541/stat : 13541 (java) S 13529 13531 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948671470120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13542] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13542/stat : 13542 (java) S 13529 13531 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948659059304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13543] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13543/stat : 13543 (java) S 13529 13531 13368 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948658005624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13544] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13544/stat : 13544 (java) S 13529 13531 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948656952968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13545] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13545/stat : 13545 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948655901712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13546] ppid=13529 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/13531/task/13546/stat : 13546 (java) S 13529 13531 13368 0 -1 4202560 1781 0 0 0 34 0 0 0 20 0 19 0 282167692 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948654848056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13547] ppid=13529 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/13531/task/13547/stat : 13547 (java) S 13529 13531 13368 0 -1 4202560 2832 0 0 0 35 0 0 0 20 0 19 0 282167692 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948653795512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13548] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13548/stat : 13548 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948652743160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13549] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13549/stat : 13549 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948651690824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13550] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13550/stat : 13550 (java) S 13529 13531 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282167723 9856004096 13192 33554432000 1073741824 1073778376 140733880381552 139948650636584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9625004

[startup+3.10053 s]
/proc/loadavg: 2.06 2.01 1.95 4/213 13606
/proc/meminfo: memFree=30437676/32873648 swapFree=6860/6860
[pid=13531] ppid=13529 vsize=9625004 CPUtime=3.86 cores=0,2,4,6
/proc/13531/stat : 13531 (java) S 13529 13531 13368 0 -1 4202496 8455 0 1 0 384 2 0 0 20 0 19 0 282167685 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 140733880372688 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13531/statm: 2406251 15807 2287 9 0 2396937 0
[pid=13531/tid=13533] ppid=13529 vsize=9625004 CPUtime=3.05 cores=0,2,4,6
/proc/13531/task/13533/stat : 13533 (java) R 13529 13531 13368 0 -1 4202560 2570 0 1 0 303 2 0 0 20 0 19 0 282167687 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948834840712 139948707120033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13534] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13534/stat : 13534 (java) S 13529 13531 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948678838952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13535] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13535/stat : 13535 (java) S 13529 13531 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948677786408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13536] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13536/stat : 13536 (java) S 13529 13531 13368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948676733864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13537] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13537/stat : 13537 (java) S 13529 13531 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948675681320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13538] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13538/stat : 13538 (java) S 13529 13531 13368 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948674627752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13539] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13539/stat : 13539 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948673575208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13540] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13540/stat : 13540 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948672522664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13541] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13541/stat : 13541 (java) S 13529 13531 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948671470120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13542] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13542/stat : 13542 (java) S 13529 13531 13368 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948659059304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13543] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13543/stat : 13543 (java) S 13529 13531 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948658005624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13544] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13544/stat : 13544 (java) S 13529 13531 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948656952968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13545] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13545/stat : 13545 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948655901712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13546] ppid=13529 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/13531/task/13546/stat : 13546 (java) S 13529 13531 13368 0 -1 4202560 1790 0 0 0 37 0 0 0 20 0 19 0 282167692 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948654848056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13547] ppid=13529 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/13531/task/13547/stat : 13547 (java) S 13529 13531 13368 0 -1 4202560 2841 0 0 0 38 0 0 0 20 0 19 0 282167692 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948653795512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13548] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13548/stat : 13548 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948652743160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13549] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13549/stat : 13549 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948651690824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13550] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13550/stat : 13550 (java) S 13529 13531 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282167723 9856004096 15807 33554432000 1073741824 1073778376 140733880381552 139948650636584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9625004

[startup+6.30061 s]
/proc/loadavg: 2.13 2.03 1.96 3/213 13663
/proc/meminfo: memFree=30453292/32873648 swapFree=6860/6860
[pid=13531] ppid=13529 vsize=9625004 CPUtime=7.14 cores=0,2,4,6
/proc/13531/stat : 13531 (java) S 13529 13531 13368 0 -1 4202496 8485 0 1 0 711 3 0 0 20 0 19 0 282167685 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 140733880372688 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13531/statm: 2406251 15754 2287 9 0 2396937 0
[pid=13531/tid=13533] ppid=13529 vsize=9625004 CPUtime=6.22 cores=0,2,4,6
/proc/13531/task/13533/stat : 13533 (java) R 13529 13531 13368 0 -1 4202560 2572 0 1 0 620 2 0 0 20 0 19 0 282167687 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948834832832 139948707066749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13534] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13534/stat : 13534 (java) S 13529 13531 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948678838952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13535] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13535/stat : 13535 (java) S 13529 13531 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948677786408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13536] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13536/stat : 13536 (java) S 13529 13531 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948676733864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13537] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13537/stat : 13537 (java) S 13529 13531 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948675681320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13538] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13538/stat : 13538 (java) S 13529 13531 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948674627752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13539] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13539/stat : 13539 (java) S 13529 13531 13368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948673575208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13540] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13540/stat : 13540 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948672522664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13541] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13541/stat : 13541 (java) S 13529 13531 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282167688 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948671470120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13542] ppid=13529 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/13531/task/13542/stat : 13542 (java) S 13529 13531 13368 0 -1 4202560 41 0 0 0 2 0 0 0 20 0 19 0 282167689 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948659059304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13543] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13543/stat : 13543 (java) S 13529 13531 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948658005624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13544] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13544/stat : 13544 (java) S 13529 13531 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948656952968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13545] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13545/stat : 13545 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948655901712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13546] ppid=13529 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/13531/task/13546/stat : 13546 (java) S 13529 13531 13368 0 -1 4202560 1792 0 0 0 40 0 0 0 20 0 19 0 282167692 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948654848056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13547] ppid=13529 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/13531/task/13547/stat : 13547 (java) S 13529 13531 13368 0 -1 4202560 2848 0 0 0 43 0 0 0 20 0 19 0 282167692 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948653795512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13548] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13548/stat : 13548 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948652743160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13549] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13549/stat : 13549 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948651690824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13550] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13550/stat : 13550 (java) S 13529 13531 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282167723 9856004096 15754 33554432000 1073741824 1073778376 140733880381552 139948650636584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=13531/tid=13539] ppid=13529 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/13531/task/13539/stat : 13539 (java) S 13529 13531 13368 0 -1 4202560 73 0 0 0 29 0 0 0 20 0 19 0 282167688 9856004096 29693 33554432000 1073741824 1073778376 140733880381552 139948673575208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13540] ppid=13529 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/13531/task/13540/stat : 13540 (java) S 13529 13531 13368 0 -1 4202560 55 0 0 0 34 0 0 0 20 0 19 0 282167688 9856004096 29693 33554432000 1073741824 1073778376 140733880381552 139948672522664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13541] ppid=13529 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/13531/task/13541/stat : 13541 (java) S 13529 13531 13368 0 -1 4202560 54 0 0 0 30 0 0 0 20 0 19 0 282167688 9856004096 29693 33554432000 1073741824 1073778376 140733880381552 139948671470120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13542] ppid=13529 vsize=9625004 CPUtime=4.02 cores=0,2,4,6
/proc/13531/task/13542/stat : 13542 (java) S 13529 13531 13368 0 -1 4202560 169 0 0 0 400 2 0 0 20 0 19 0 282167689 9856004096 29693 33554432000 1073741824 1073778376 140733880381552 139948659059304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13543] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13543/stat : 13543 (java) S 13529 13531 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 29693 33554432000 1073741824 1073778376 140733880381552 139948658005624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13544] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13544/stat : 13544 (java) S 13529 13531 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 29693 33554432000 1073741824 1073778376 140733880381552 139948656952968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13545] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13545/stat : 13545 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 29693 33554432000 1073741824 1073778376 140733880381552 139948655901712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13546] ppid=13529 vsize=9625004 CPUtime=0.77 cores=0,2,4,6
/proc/13531/task/13546/stat : 13546 (java) S 13529 13531 13368 0 -1 4202560 9666 0 0 0 75 2 0 0 20 0 19 0 282167692 9856004096 29693 33554432000 1073741824 1073778376 140733880381552 139948654848056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13547] ppid=13529 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/13531/task/13547/stat : 13547 (java) S 13529 13531 13368 0 -1 4202560 9074 0 0 0 85 2 0 0 20 0 19 0 282167692 9856004096 29693 33554432000 1073741824 1073778376 140733880381552 139948653795512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13548] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13548/stat : 13548 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 29693 33554432000 1073741824 1073778376 140733880381552 139948652743160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13549] ppid=13529 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/13531/task/13549/stat : 13549 (java) S 13529 13531 13368 0 -1 4202560 95 0 0 0 11 11 0 0 20 0 19 0 282167692 9856004096 29693 33554432000 1073741824 1073778376 140733880381552 139948651690824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13550] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13550/stat : 13550 (java) S 13529 13531 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282167723 9856004096 29693 33554432000 1073741824 1073778376 140733880381552 139948650636584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.61
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 1.98 3/213 13678
/proc/meminfo: memFree=30312040/32873648 swapFree=6860/6860
[pid=13531] ppid=13529 vsize=9625004 CPUtime=1725.68 cores=0,2,4,6
/proc/13531/stat : 13531 (java) S 13529 13531 13368 0 -1 4202496 23575 0 1 0 172548 20 0 0 20 0 19 0 282167685 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 140733880372688 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13531/statm: 2406251 29700 2288 9 0 2396937 0
[pid=13531/tid=13533] ppid=13529 vsize=9625004 CPUtime=1717.2 cores=0,2,4,6
/proc/13531/task/13533/stat : 13533 (java) R 13529 13531 13368 0 -1 4202560 2750 0 1 0 171691 29 0 0 20 0 19 0 282167687 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948834840864 139948707066973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13534] ppid=13529 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/13531/task/13534/stat : 13534 (java) S 13529 13531 13368 0 -1 4202560 107 0 0 0 33 0 0 0 20 0 19 0 282167688 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948678838952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13535] ppid=13529 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/13531/task/13535/stat : 13535 (java) S 13529 13531 13368 0 -1 4202560 60 0 0 0 38 0 0 0 20 0 19 0 282167688 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948677786408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13536] ppid=13529 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/13531/task/13536/stat : 13536 (java) S 13529 13531 13368 0 -1 4202560 58 0 0 0 29 0 0 0 20 0 19 0 282167688 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948676733864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13537] ppid=13529 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/13531/task/13537/stat : 13537 (java) S 13529 13531 13368 0 -1 4202560 70 0 0 0 34 0 0 0 20 0 19 0 282167688 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948675681320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13538] ppid=13529 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/13531/task/13538/stat : 13538 (java) S 13529 13531 13368 0 -1 4202560 144 0 0 0 33 0 0 0 20 0 19 0 282167688 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948674627752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13539] ppid=13529 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/13531/task/13539/stat : 13539 (java) S 13529 13531 13368 0 -1 4202560 73 0 0 0 30 0 0 0 20 0 19 0 282167688 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948673575208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13540] ppid=13529 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/13531/task/13540/stat : 13540 (java) S 13529 13531 13368 0 -1 4202560 61 0 0 0 34 0 0 0 20 0 19 0 282167688 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948672522664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13541] ppid=13529 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/13531/task/13541/stat : 13541 (java) S 13529 13531 13368 0 -1 4202560 54 0 0 0 31 0 0 0 20 0 19 0 282167688 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948671470120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13542] ppid=13529 vsize=9625004 CPUtime=4.14 cores=0,2,4,6
/proc/13531/task/13542/stat : 13542 (java) S 13529 13531 13368 0 -1 4202560 173 0 0 0 412 2 0 0 20 0 19 0 282167689 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948659059304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13543] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13543/stat : 13543 (java) S 13529 13531 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948658005624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13544] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13544/stat : 13544 (java) S 13529 13531 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948656952968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13545] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13545/stat : 13545 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948655901712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13546] ppid=13529 vsize=9625004 CPUtime=0.77 cores=0,2,4,6
/proc/13531/task/13546/stat : 13546 (java) S 13529 13531 13368 0 -1 4202560 9666 0 0 0 75 2 0 0 20 0 19 0 282167692 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948654848056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13547] ppid=13529 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/13531/task/13547/stat : 13547 (java) S 13529 13531 13368 0 -1 4202560 9074 0 0 0 85 2 0 0 20 0 19 0 282167692 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948653795512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13548] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13548/stat : 13548 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948652743160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13549] ppid=13529 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/13531/task/13549/stat : 13549 (java) S 13529 13531 13368 0 -1 4202560 99 0 0 0 11 12 0 0 20 0 19 0 282167692 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948651690824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13550] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13550/stat : 13550 (java) S 13529 13531 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282167723 9856004096 29700 33554432000 1073741824 1073778376 140733880381552 139948650636584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.68
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/213 13678
/proc/meminfo: memFree=30311672/32873648 swapFree=6860/6860
[pid=13531] ppid=13529 vsize=9625004 CPUtime=1785.7 cores=0,2,4,6
/proc/13531/stat : 13531 (java) S 13529 13531 13368 0 -1 4202496 23629 0 1 0 178550 20 0 0 20 0 19 0 282167685 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 140733880372688 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13531/statm: 2406251 29746 2288 9 0 2396937 0
[pid=13531/tid=13533] ppid=13529 vsize=9625004 CPUtime=1777.12 cores=0,2,4,6
/proc/13531/task/13533/stat : 13533 (java) R 13529 13531 13368 0 -1 4202560 2752 0 1 0 177682 30 0 0 20 0 19 0 282167687 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948834840864 139948707155416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13534] ppid=13529 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/13531/task/13534/stat : 13534 (java) S 13529 13531 13368 0 -1 4202560 107 0 0 0 33 0 0 0 20 0 19 0 282167688 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948678838952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13535] ppid=13529 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/13531/task/13535/stat : 13535 (java) S 13529 13531 13368 0 -1 4202560 60 0 0 0 38 0 0 0 20 0 19 0 282167688 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948677786408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13536] ppid=13529 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/13531/task/13536/stat : 13536 (java) S 13529 13531 13368 0 -1 4202560 58 0 0 0 29 0 0 0 20 0 19 0 282167688 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948676733864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13537] ppid=13529 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/13531/task/13537/stat : 13537 (java) S 13529 13531 13368 0 -1 4202560 70 0 0 0 34 0 0 0 20 0 19 0 282167688 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948675681320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13538] ppid=13529 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/13531/task/13538/stat : 13538 (java) S 13529 13531 13368 0 -1 4202560 144 0 0 0 33 0 0 0 20 0 19 0 282167688 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948674627752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13539] ppid=13529 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/13531/task/13539/stat : 13539 (java) S 13529 13531 13368 0 -1 4202560 80 0 0 0 31 0 0 0 20 0 19 0 282167688 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948673575208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13540] ppid=13529 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/13531/task/13540/stat : 13540 (java) S 13529 13531 13368 0 -1 4202560 100 0 0 0 34 0 0 0 20 0 19 0 282167688 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948672522664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13541] ppid=13529 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/13531/task/13541/stat : 13541 (java) S 13529 13531 13368 0 -1 4202560 54 0 0 0 31 0 0 0 20 0 19 0 282167688 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948671470120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13542] ppid=13529 vsize=9625004 CPUtime=4.21 cores=0,2,4,6
/proc/13531/task/13542/stat : 13542 (java) S 13529 13531 13368 0 -1 4202560 176 0 0 0 419 2 0 0 20 0 19 0 282167689 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948659059304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13543] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13543/stat : 13543 (java) S 13529 13531 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948658005624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13544] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13544/stat : 13544 (java) S 13529 13531 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948656952968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13545] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13545/stat : 13545 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948655901712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13546] ppid=13529 vsize=9625004 CPUtime=0.77 cores=0,2,4,6
/proc/13531/task/13546/stat : 13546 (java) S 13529 13531 13368 0 -1 4202560 9666 0 0 0 75 2 0 0 20 0 19 0 282167692 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948654848056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13547] ppid=13529 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/13531/task/13547/stat : 13547 (java) S 13529 13531 13368 0 -1 4202560 9074 0 0 0 85 2 0 0 20 0 19 0 282167692 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948653795512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13548] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13548/stat : 13548 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948652743160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13549] ppid=13529 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/13531/task/13549/stat : 13549 (java) S 13529 13531 13368 0 -1 4202560 102 0 0 0 12 12 0 0 20 0 19 0 282167692 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948651690824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13550] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13550/stat : 13550 (java) S 13529 13531 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282167723 9856004096 29746 33554432000 1073741824 1073778376 140733880381552 139948650636584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.7
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.00 2.00 1.98 3/213 13678
/proc/meminfo: memFree=30311676/32873648 swapFree=6860/6860
[pid=13531] ppid=13529 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/13531/stat : 13531 (java) S 13529 13531 13368 0 -1 4202496 23667 0 1 0 179983 21 0 0 20 0 19 0 282167685 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 140733880372688 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13531/statm: 2406251 29781 2288 9 0 2396937 0
[pid=13531/tid=13533] ppid=13529 vsize=9625004 CPUtime=1791.37 cores=0,2,4,6
/proc/13531/task/13533/stat : 13533 (java) R 13529 13531 13368 0 -1 4202560 2753 0 1 0 179107 30 0 0 20 0 19 0 282167687 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948834840864 139948706944837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13534] ppid=13529 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/13531/task/13534/stat : 13534 (java) S 13529 13531 13368 0 -1 4202560 107 0 0 0 34 0 0 0 20 0 19 0 282167688 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948678838952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13535] ppid=13529 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/13531/task/13535/stat : 13535 (java) S 13529 13531 13368 0 -1 4202560 60 0 0 0 39 0 0 0 20 0 19 0 282167688 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948677786408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13536] ppid=13529 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/13531/task/13536/stat : 13536 (java) S 13529 13531 13368 0 -1 4202560 58 0 0 0 29 0 0 0 20 0 19 0 282167688 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948676733864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13537] ppid=13529 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/13531/task/13537/stat : 13537 (java) S 13529 13531 13368 0 -1 4202560 70 0 0 0 34 0 0 0 20 0 19 0 282167688 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948675681320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13538] ppid=13529 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/13531/task/13538/stat : 13538 (java) S 13529 13531 13368 0 -1 4202560 144 0 0 0 34 0 0 0 20 0 19 0 282167688 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948674627752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13539] ppid=13529 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/13531/task/13539/stat : 13539 (java) S 13529 13531 13368 0 -1 4202560 115 0 0 0 32 0 0 0 20 0 19 0 282167688 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948673575208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13540] ppid=13529 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/13531/task/13540/stat : 13540 (java) S 13529 13531 13368 0 -1 4202560 100 0 0 0 34 0 0 0 20 0 19 0 282167688 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948672522664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13541] ppid=13529 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/13531/task/13541/stat : 13541 (java) S 13529 13531 13368 0 -1 4202560 54 0 0 0 31 0 0 0 20 0 19 0 282167688 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948671470120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13531/tid=13542] ppid=13529 vsize=9625004 CPUtime=4.26 cores=0,2,4,6
/proc/13531/task/13542/stat : 13542 (java) S 13529 13531 13368 0 -1 4202560 178 0 0 0 424 2 0 0 20 0 19 0 282167689 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948659059304 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13543] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13543/stat : 13543 (java) S 13529 13531 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948658005624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13544] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13544/stat : 13544 (java) S 13529 13531 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282167689 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948656952968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13545] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13545/stat : 13545 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948655901712 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13546] ppid=13529 vsize=9625004 CPUtime=0.77 cores=0,2,4,6
/proc/13531/task/13546/stat : 13546 (java) S 13529 13531 13368 0 -1 4202560 9666 0 0 0 75 2 0 0 20 0 19 0 282167692 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948654848056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13547] ppid=13529 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/13531/task/13547/stat : 13547 (java) S 13529 13531 13368 0 -1 4202560 9074 0 0 0 85 2 0 0 20 0 19 0 282167692 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948653795512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13531/tid=13548] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13548/stat : 13548 (java) S 13529 13531 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282167692 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948652743160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13531/tid=13549] ppid=13529 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/13531/task/13549/stat : 13549 (java) S 13529 13531 13368 0 -1 4202560 102 0 0 0 12 13 0 0 20 0 19 0 282167692 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948651690824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13531/tid=13550] ppid=13529 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13531/task/13550/stat : 13550 (java) S 13529 13531 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282167723 9856004096 29781 33554432000 1073741824 1073778376 140733880381552 139948650636584 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143
Real time (s): 1796.67
CPU time (s): 1800.57
CPU user time (s): 1799.93
CPU system time (s): 0.641902
CPU usage (%): 100.217
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.641902
maximum resident set size= 119244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23699
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43056
involuntary context switches= 26903

runsolver used 5.87111 second user time and 13.9619 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-28 01:13:36
IDJOB=3710871
IDBENCH=25004
IDSOLVER=2289
FILE ID=node116/3710871-1338160416
RUNJOBID= node116-1338158618-13384
PBS_JOBID= 14624543
Free space on /tmp= 71472 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710871-1338160416/watcher-3710871-1338160416 -o /tmp/evaluation-result-3710871-1338160416/solver-3710871-1338160416 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710871-1338160416.opb

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

MD5SUM BENCH= 2b747b2caed6577698c928a521fdc3c2
RANDOM SEED=186464614

node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30545132 kB
Buffers:          366932 kB
Cached:          1112336 kB
SwapCached:         3236 kB
Active:           783400 kB
Inactive:         709676 kB
Active(anon):       4616 kB
Inactive(anon):     8960 kB
Active(file):     778784 kB
Inactive(file):   700716 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103668 kB
Dirty:              1336 kB
Writeback:             0 kB
AnonPages:         15976 kB
Mapped:            12660 kB
Shmem:                96 kB
Slab:             699592 kB
SReclaimable:     144012 kB
SUnreclaim:       555580 kB
KernelStack:        1448 kB
PageTables:         3960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     136232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71472 MiB
End job on node116 at 2012-05-28 01:43:35