Trace number 3458877

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 Resolution 2.3.0SAT (TO)43470 1800.18 1797.56

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
MD5SUMc3720ea5d84e92b781414b36064971fe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark43470
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 46478
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 279536
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 279536
Number of bits of the biggest sum of numbers19
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.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		12995394264
0.02/0.09	c Max memory 		13063553024
0.02/0.09	c Total memory 		13063553024
0.02/0.09	c Number of processors 	8
0.02/0.11	c Pseudo Boolean Optimization
0.02/0.11	c --- Begin Solver configuration ---
0.02/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.02/0.11	c Learn all clauses as in MiniSAT
0.02/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.02/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.02/0.11	c Expensive reason simplification
0.02/0.11	c Armin Biere (Picosat) restarts strategy
0.02/0.11	c Glucose learned constraints deletion strategy
0.02/0.11	c timeout=2147483s
0.02/0.11	c DB Simplification allowed=false
0.02/0.11	c --- End Solver configuration ---
0.02/0.11	c solving HOME/instance-3458877-1307146393.opb
0.02/0.11	c reading problem ... 
1.06/0.57	c ... done. Wall clock time 0.457s.
1.06/0.57	c #vars     1344
1.06/0.57	c #constraints  16376
1.06/0.57	c constraints type 
1.06/0.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1.06/0.57	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1.06/0.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1.06/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
1.43/0.70	c SATISFIABLE
1.43/0.70	c OPTIMIZING...
1.43/0.70	c Got one! Elapsed wall clock time (in seconds):0.584
1.43/0.70	o 52468
1.43/0.73	c Got one! Elapsed wall clock time (in seconds):0.621
1.43/0.74	o 51345
1.43/0.77	c Got one! Elapsed wall clock time (in seconds):0.661
1.43/0.77	o 46507
2.57/1.71	c cleaning 2910 clauses out of 5826 with flag 5001/5826
3.72/2.80	c cleaning 4458 clauses out of 8918 with flag 11003/11828
5.01/4.19	c cleaning 5714 clauses out of 11458 with flag 18001/18826
6.72/5.88	c cleaning 6852 clauses out of 13746 with flag 26003/26828
8.97/8.08	c cleaning 7938 clauses out of 15891 with flag 35000/35825
11.88/11.01	c cleaning 8947 clauses out of 17954 with flag 45001/45826
14.97/14.07	c cleaning 9970 clauses out of 20008 with flag 56002/56827
18.78/17.86	c cleaning 11003 clauses out of 22038 with flag 68002/68827
22.38/21.48	c cleaning 11974 clauses out of 24035 with flag 81002/81827
26.78/25.83	c cleaning 13017 clauses out of 26059 with flag 95000/95825
31.70/30.78	c cleaning 13986 clauses out of 28042 with flag 110000/110825
36.39/35.48	c cleaning 15027 clauses out of 30058 with flag 126002/126827
42.60/41.67	c cleaning 15982 clauses out of 32031 with flag 143002/143827
49.10/48.17	c cleaning 16452 clauses out of 33048 with flag 160001/160826
55.61/54.60	c cleaning 16783 clauses out of 33595 with flag 177000/177825
61.61/60.67	c cleaning 16887 clauses out of 33812 with flag 194000/194825
67.62/66.69	c cleaning 16931 clauses out of 33925 with flag 211000/211825
73.12/72.18	c cleaning 16956 clauses out of 33995 with flag 228001/228826
80.03/79.02	c cleaning 16958 clauses out of 34039 with flag 245001/245826
86.53/85.58	c cleaning 17028 clauses out of 34080 with flag 262000/262825
92.44/91.48	c cleaning 16975 clauses out of 34052 with flag 279000/279825
98.96/97.98	c cleaning 16963 clauses out of 34077 with flag 296000/296825
105.15/104.18	c cleaning 16969 clauses out of 34114 with flag 313000/313825
111.66/110.63	c cleaning 17032 clauses out of 34145 with flag 330000/330825
118.67/117.69	c cleaning 17052 clauses out of 34114 with flag 347001/347826
125.57/124.57	c cleaning 16991 clauses out of 34061 with flag 364000/364825
133.87/132.88	c cleaning 16972 clauses out of 34070 with flag 381000/381825
140.08/139.00	c cleaning 17028 clauses out of 34098 with flag 398000/398825
146.08/145.07	c cleaning 16981 clauses out of 34070 with flag 415000/415825
151.59/150.51	c cleaning 17009 clauses out of 34095 with flag 432006/432831
158.10/157.09	c cleaning 17019 clauses out of 34080 with flag 449000/449825
164.70/163.65	c cleaning 16986 clauses out of 34061 with flag 466000/466825
171.01/169.98	c cleaning 16998 clauses out of 34077 with flag 483002/483827
177.81/176.72	c cleaning 16983 clauses out of 34081 with flag 500004/500829
185.62/184.56	c cleaning 16950 clauses out of 34095 with flag 517001/517826
192.54/191.43	c cleaning 16968 clauses out of 34144 with flag 534000/534825
199.63/198.55	c cleaning 16999 clauses out of 34178 with flag 551002/551827
206.53/205.47	c cleaning 16985 clauses out of 34177 with flag 568000/568825
214.04/212.90	c cleaning 17022 clauses out of 34195 with flag 585003/585828
218.44/217.37	c cleaning 17036 clauses out of 34170 with flag 602000/602825
224.35/223.30	c cleaning 17004 clauses out of 34135 with flag 619001/619826
230.25/229.14	c cleaning 16930 clauses out of 34131 with flag 636001/636826
235.05/233.97	c cleaning 17079 clauses out of 34200 with flag 653000/653825
240.36/239.24	c cleaning 17056 clauses out of 34122 with flag 670001/670826
246.27/245.11	c cleaning 16996 clauses out of 34069 with flag 687004/687829
252.57/251.48	c cleaning 16996 clauses out of 34070 with flag 704001/704826
259.27/258.10	c cleaning 16998 clauses out of 34073 with flag 721000/721825
266.19/265.07	c cleaning 16990 clauses out of 34076 with flag 738001/738826
274.08/273.00	c cleaning 16985 clauses out of 34085 with flag 755000/755825
281.09/279.92	c cleaning 17019 clauses out of 34100 with flag 772000/772825
287.79/286.60	c cleaning 17005 clauses out of 34083 with flag 789002/789827
294.50/293.35	c cleaning 16976 clauses out of 34076 with flag 806000/806825
302.00/300.84	c cleaning 16978 clauses out of 34100 with flag 823000/823825
309.41/308.29	c cleaning 17000 clauses out of 34122 with flag 840000/840825
317.41/316.29	c cleaning 16971 clauses out of 34122 with flag 857000/857825
325.02/323.85	c cleaning 17002 clauses out of 34151 with flag 874000/874825
330.23/329.01	c cleaning 17064 clauses out of 34149 with flag 891000/891825
335.93/334.75	c cleaning 17027 clauses out of 34085 with flag 908000/908825
342.15/340.95	c cleaning 16999 clauses out of 34058 with flag 925000/925825
348.86/347.62	c cleaning 16997 clauses out of 34060 with flag 942001/942826
353.95/352.76	c cleaning 16972 clauses out of 34063 with flag 959001/959826
359.77/358.58	c cleaning 16990 clauses out of 34090 with flag 976000/976825
365.56/364.38	c cleaning 16948 clauses out of 34101 with flag 993001/993826
371.36/370.10	c cleaning 17014 clauses out of 34152 with flag 1010000/1010825
376.56/375.35	c cleaning 17032 clauses out of 34139 with flag 1027001/1027826
382.68/381.44	c cleaning 17032 clauses out of 34107 with flag 1044001/1044826
389.08/387.84	c cleaning 17002 clauses out of 34074 with flag 1061000/1061825
395.39/394.11	c cleaning 17030 clauses out of 34072 with flag 1078000/1078825
401.20/399.98	c cleaning 16954 clauses out of 34044 with flag 1095002/1095827
407.40/406.10	c cleaning 16979 clauses out of 34089 with flag 1112001/1112826
413.90/412.69	c cleaning 16977 clauses out of 34109 with flag 1129000/1129825
420.10/418.84	c cleaning 16986 clauses out of 34132 with flag 1146000/1146825
426.92/425.62	c cleaning 17009 clauses out of 34146 with flag 1163000/1163825
433.52/432.29	c cleaning 17031 clauses out of 34137 with flag 1180000/1180825
439.91/438.60	c cleaning 17041 clauses out of 34109 with flag 1197003/1197828
446.51/445.25	c cleaning 17002 clauses out of 34065 with flag 1214000/1214825
453.33/452.07	c cleaning 16948 clauses out of 34063 with flag 1231000/1231825
460.92/459.71	c cleaning 16945 clauses out of 34117 with flag 1248002/1248827
469.72/468.46	c cleaning 16973 clauses out of 34171 with flag 1265001/1265826
478.83/477.51	c cleaning 17013 clauses out of 34197 with flag 1282000/1282825
487.03/485.74	c cleaning 16973 clauses out of 34184 with flag 1299000/1299825
495.94/494.64	c cleaning 17034 clauses out of 34211 with flag 1316000/1316825
501.65/500.35	c cleaning 17077 clauses out of 34179 with flag 1333002/1333827
507.15/505.88	c cleaning 16995 clauses out of 34100 with flag 1350000/1350825
513.56/512.23	c cleaning 16979 clauses out of 34105 with flag 1367000/1367825
520.26/518.98	c cleaning 17035 clauses out of 34127 with flag 1384001/1384826
526.97/525.64	c cleaning 17028 clauses out of 34097 with flag 1401006/1401831
533.17/531.84	c cleaning 17002 clauses out of 34063 with flag 1418000/1418825
539.37/538.04	c cleaning 16989 clauses out of 34061 with flag 1435000/1435825
546.68/545.37	c cleaning 16995 clauses out of 34073 with flag 1452001/1452826
552.68/551.39	c cleaning 16960 clauses out of 34078 with flag 1469001/1469826
559.49/558.13	c cleaning 16919 clauses out of 34117 with flag 1486000/1486825
566.09/564.72	c cleaning 16965 clauses out of 34198 with flag 1503000/1503825
573.60/572.23	c cleaning 16979 clauses out of 34234 with flag 1520001/1520826
579.40/578.02	c cleaning 17078 clauses out of 34256 with flag 1537002/1537827
586.11/584.70	c cleaning 17053 clauses out of 34177 with flag 1554001/1554826
592.61/591.27	c cleaning 17038 clauses out of 34125 with flag 1571002/1571827
599.21/597.80	c cleaning 16990 clauses out of 34087 with flag 1588002/1588827
605.92/604.57	c cleaning 17020 clauses out of 34097 with flag 1605002/1605827
612.22/610.89	c cleaning 16951 clauses out of 34078 with flag 1622003/1622828
618.03/616.68	c cleaning 17001 clauses out of 34129 with flag 1639005/1639830
624.43/623.03	c cleaning 16934 clauses out of 34123 with flag 1656000/1656825
630.65/629.23	c cleaning 16994 clauses out of 34189 with flag 1673000/1673825
636.74/635.38	c cleaning 16972 clauses out of 34195 with flag 1690000/1690825
644.14/642.75	c cleaning 17012 clauses out of 34224 with flag 1707001/1707826
650.84/649.49	c cleaning 17042 clauses out of 34211 with flag 1724000/1724825
657.95/656.52	c cleaning 16959 clauses out of 34169 with flag 1741000/1741825
663.45/662.11	c cleaning 17011 clauses out of 34212 with flag 1758002/1758827
668.65/667.22	c cleaning 17069 clauses out of 34200 with flag 1775001/1775826
674.35/672.95	c cleaning 17020 clauses out of 34130 with flag 1792000/1792825
679.56/678.18	c cleaning 17021 clauses out of 34110 with flag 1809000/1809825
685.26/683.88	c cleaning 17032 clauses out of 34091 with flag 1826002/1826827
690.97/689.55	c cleaning 17015 clauses out of 34057 with flag 1843000/1843825
696.07/694.68	c cleaning 17001 clauses out of 34043 with flag 1860001/1860826
702.68/701.26	c cleaning 16989 clauses out of 34041 with flag 1877000/1877825
708.28/706.89	c cleaning 17010 clauses out of 34055 with flag 1894003/1894828
714.20/712.74	c cleaning 16989 clauses out of 34042 with flag 1911000/1911825
719.89/718.42	c cleaning 16995 clauses out of 34053 with flag 1928000/1928825
725.31/723.83	c cleaning 17016 clauses out of 34060 with flag 1945002/1945827
730.71/729.29	c cleaning 17008 clauses out of 34045 with flag 1962003/1962828
736.01/734.52	c cleaning 16970 clauses out of 34034 with flag 1979000/1979825
741.02/739.59	c cleaning 16984 clauses out of 34066 with flag 1996002/1996827
746.33/744.82	c cleaning 17002 clauses out of 34081 with flag 2013001/2013826
751.75/750.25	c cleaning 16990 clauses out of 34082 with flag 2030004/2030829
757.63/756.14	c cleaning 16979 clauses out of 34088 with flag 2047000/2047825
763.75/762.28	c cleaning 16959 clauses out of 34109 with flag 2064000/2064825
770.14/768.68	c cleaning 17050 clauses out of 34150 with flag 2081000/2081825
776.64/775.18	c cleaning 17008 clauses out of 34100 with flag 2098000/2098825
783.66/782.12	c cleaning 17006 clauses out of 34093 with flag 2115001/2115826
789.45/787.94	c cleaning 17016 clauses out of 34087 with flag 2132001/2132826
795.55/794.01	c cleaning 17008 clauses out of 34071 with flag 2149001/2149826
802.37/800.89	c cleaning 16994 clauses out of 34065 with flag 2166003/2166828
809.46/807.97	c cleaning 16984 clauses out of 34074 with flag 2183006/2183831
814.77/813.29	c cleaning 17003 clauses out of 34084 with flag 2200000/2200825
821.09/819.56	c cleaning 16916 clauses out of 34082 with flag 2217001/2217826
826.88/825.34	c cleaning 17022 clauses out of 34165 with flag 2234000/2234825
832.78/831.28	c cleaning 16998 clauses out of 34143 with flag 2251000/2251825
838.98/837.43	c cleaning 17026 clauses out of 34146 with flag 2268001/2268826
845.20/843.65	c cleaning 16986 clauses out of 34119 with flag 2285000/2285825
850.59/849.01	c cleaning 17034 clauses out of 34134 with flag 2302001/2302826
856.20/854.68	c cleaning 17002 clauses out of 34099 with flag 2319000/2319825
862.10/860.52	c cleaning 16984 clauses out of 34097 with flag 2336000/2336825
868.00/866.49	c cleaning 17022 clauses out of 34114 with flag 2353001/2353826
874.11/872.55	c cleaning 16991 clauses out of 34091 with flag 2370000/2370825
879.91/878.33	c cleaning 17007 clauses out of 34101 with flag 2387001/2387826
885.82/884.30	c cleaning 16999 clauses out of 34093 with flag 2404000/2404825
891.72/890.10	c cleaning 17014 clauses out of 34096 with flag 2421002/2421827
896.82/895.27	c cleaning 17009 clauses out of 34080 with flag 2438000/2438825
902.44/900.89	c cleaning 17016 clauses out of 34076 with flag 2455005/2455830
908.05/906.47	c cleaning 17014 clauses out of 34059 with flag 2472004/2472829
913.64/912.06	c cleaning 16974 clauses out of 34041 with flag 2489000/2489825
919.06/917.49	c cleaning 17019 clauses out of 34070 with flag 2506003/2506828
924.85/923.25	c cleaning 17007 clauses out of 34048 with flag 2523000/2523825
930.45/928.87	c cleaning 16989 clauses out of 34042 with flag 2540001/2540826
936.45/934.90	c cleaning 16988 clauses out of 34057 with flag 2557005/2557830
942.26/940.65	c cleaning 16994 clauses out of 34064 with flag 2574000/2574825
947.68/946.05	c cleaning 17014 clauses out of 34071 with flag 2591001/2591826
953.28/951.67	c cleaning 17012 clauses out of 34057 with flag 2608001/2608826
958.88/957.24	c cleaning 17003 clauses out of 34048 with flag 2625004/2625829
964.48/962.89	c cleaning 16993 clauses out of 34041 with flag 2642000/2642825
969.89/968.23	c cleaning 16984 clauses out of 34049 with flag 2659001/2659826
976.59/974.94	c cleaning 16952 clauses out of 34066 with flag 2676002/2676827
983.30/981.60	c cleaning 16971 clauses out of 34113 with flag 2693001/2693826
990.52/988.87	c cleaning 17015 clauses out of 34141 with flag 2710000/2710825
996.71/995.06	c cleaning 17008 clauses out of 34128 with flag 2727002/2727827
1002.82/1001.14	c cleaning 16988 clauses out of 34118 with flag 2744000/2744825
1009.02/1007.32	c cleaning 16995 clauses out of 34132 with flag 2761002/2761827
1015.63/1013.96	c cleaning 16970 clauses out of 34135 with flag 2778000/2778825
1021.93/1020.23	c cleaning 17020 clauses out of 34167 with flag 2795002/2795827
1028.24/1026.57	c cleaning 16964 clauses out of 34145 with flag 2812000/2812825
1035.25/1033.54	c cleaning 17038 clauses out of 34183 with flag 2829002/2829827
1042.36/1040.68	c cleaning 16971 clauses out of 34144 with flag 2846001/2846826
1049.45/1047.71	c cleaning 16979 clauses out of 34172 with flag 2863000/2863825
1055.57/1053.84	c cleaning 17012 clauses out of 34194 with flag 2880001/2880826
1061.65/1060.00	c cleaning 17005 clauses out of 34182 with flag 2897001/2897826
1067.96/1066.21	c cleaning 17000 clauses out of 34176 with flag 2914000/2914825
1074.46/1072.71	c cleaning 17002 clauses out of 34178 with flag 2931002/2931827
1081.67/1079.95	c cleaning 16978 clauses out of 34174 with flag 2948000/2948825
1088.67/1086.96	c cleaning 17018 clauses out of 34198 with flag 2965002/2965827
1095.47/1093.73	c cleaning 17044 clauses out of 34180 with flag 2982002/2982827
1100.38/1098.66	c cleaning 17049 clauses out of 34134 with flag 2999000/2999825
1105.68/1103.91	c cleaning 16993 clauses out of 34087 with flag 3016002/3016827
1112.49/1110.76	c cleaning 16984 clauses out of 34092 with flag 3033000/3033825
1119.09/1117.35	c cleaning 16955 clauses out of 34108 with flag 3050000/3050825
1124.81/1123.08	c cleaning 16971 clauses out of 34155 with flag 3067002/3067827
1130.70/1128.95	c cleaning 16920 clauses out of 34182 with flag 3084000/3084825
1137.21/1135.45	c cleaning 16977 clauses out of 34264 with flag 3101002/3101827
1143.63/1141.83	c cleaning 16975 clauses out of 34285 with flag 3118000/3118825
1148.51/1146.78	c cleaning 17060 clauses out of 34314 with flag 3135004/3135829
1154.42/1152.70	c cleaning 17037 clauses out of 34250 with flag 3152000/3152825
1160.83/1159.05	c cleaning 17008 clauses out of 34213 with flag 3169000/3169825
1167.55/1165.72	c cleaning 17074 clauses out of 34206 with flag 3186001/3186826
1174.36/1172.58	c cleaning 17029 clauses out of 34131 with flag 3203000/3203825
1181.66/1179.89	c cleaning 16980 clauses out of 34104 with flag 3220002/3220827
1189.46/1187.61	c cleaning 16998 clauses out of 34127 with flag 3237005/3237830
1196.67/1194.86	c cleaning 16993 clauses out of 34124 with flag 3254000/3254825
1203.78/1201.93	c cleaning 17022 clauses out of 34134 with flag 3271003/3271828
1210.18/1208.35	c cleaning 17017 clauses out of 34109 with flag 3288000/3288825
1216.88/1215.05	c cleaning 16962 clauses out of 34092 with flag 3305000/3305825
1223.39/1221.50	c cleaning 17014 clauses out of 34130 with flag 3322000/3322825
1230.61/1228.75	c cleaning 16940 clauses out of 34117 with flag 3339001/3339826
1238.40/1236.50	c cleaning 17024 clauses out of 34176 with flag 3356000/3356825
1246.02/1244.19	c cleaning 17001 clauses out of 34154 with flag 3373002/3373827
1253.62/1251.72	c cleaning 17005 clauses out of 34152 with flag 3390001/3390826
1261.11/1259.22	c cleaning 16995 clauses out of 34147 with flag 3407001/3407826
1268.72/1266.80	c cleaning 17021 clauses out of 34152 with flag 3424001/3424826
1274.72/1272.87	c cleaning 17014 clauses out of 34133 with flag 3441003/3441828
1281.24/1279.35	c cleaning 16935 clauses out of 34116 with flag 3458000/3458825
1288.43/1286.50	c cleaning 16985 clauses out of 34181 with flag 3475000/3475825
1294.63/1292.72	c cleaning 17055 clauses out of 34197 with flag 3492001/3492826
1301.24/1299.30	c cleaning 16959 clauses out of 34141 with flag 3509000/3509825
1307.04/1305.13	c cleaning 16958 clauses out of 34182 with flag 3526000/3526825
1313.45/1311.50	c cleaning 17042 clauses out of 34226 with flag 3543002/3543827
1319.77/1317.83	c cleaning 16983 clauses out of 34182 with flag 3560000/3560825
1326.15/1324.22	c cleaning 17011 clauses out of 34199 with flag 3577000/3577825
1332.36/1330.48	c cleaning 17008 clauses out of 34188 with flag 3594000/3594825
1338.96/1337.08	c cleaning 17006 clauses out of 34183 with flag 3611003/3611828
1345.46/1343.56	c cleaning 16955 clauses out of 34174 with flag 3628000/3628825
1351.77/1349.86	c cleaning 17012 clauses out of 34219 with flag 3645000/3645825
1356.77/1354.88	c cleaning 17087 clauses out of 34209 with flag 3662002/3662827
1356.98/1355.02	c Got one! Elapsed wall clock time (in seconds):1354.911
1356.98/1355.02	o 46055
1357.40/1355.48	c Got one! Elapsed wall clock time (in seconds):1355.367
1357.40/1355.48	o 46024
1358.33/1356.27	c cleaning 11707 clauses out of 23530 with flag 3000/3669235
1359.22/1357.12	c Got one! Elapsed wall clock time (in seconds):1357.007
1359.22/1357.12	o 45584
1360.02/1357.91	c cleaning 8745 clauses out of 17634 with flag 3001/3675046
1361.52/1359.49	c cleaning 7348 clauses out of 14892 with flag 9004/3681049
1363.62/1361.54	c cleaning 7191 clauses out of 14543 with flag 16003/3688048
1365.83/1363.70	c cleaning 7629 clauses out of 15350 with flag 24001/3696046
1368.43/1366.34	c cleaning 8330 clauses out of 16721 with flag 33001/3705046
1371.65/1369.56	c cleaning 9142 clauses out of 18390 with flag 43000/3715045
1371.94/1369.83	c Got one! Elapsed wall clock time (in seconds):1369.718
1371.94/1369.83	o 45508
1373.45/1371.30	c cleaning 7496 clauses out of 15186 with flag 5000/3720983
1375.15/1373.06	c cleaning 6788 clauses out of 13691 with flag 11001/3726984
1377.35/1375.25	c cleaning 6919 clauses out of 13904 with flag 18002/3733985
1379.76/1377.61	c cleaning 7455 clauses out of 14983 with flag 26000/3741983
1382.57/1380.47	c cleaning 8213 clauses out of 16528 with flag 35000/3750983
1383.56/1381.47	c Got one! Elapsed wall clock time (in seconds):1381.355
1383.56/1381.47	o 45153
1383.68/1381.53	c Got one! Elapsed wall clock time (in seconds):1381.414
1383.68/1381.53	o 44313
1383.99/1381.89	c cleaning 7190 clauses out of 14449 with flag 2000/3757117
1385.90/1383.76	c cleaning 6561 clauses out of 13261 with flag 8002/3763119
1387.89/1385.79	c cleaning 6789 clauses out of 13700 with flag 15002/3770119
1390.70/1388.53	c cleaning 7383 clauses out of 14909 with flag 23000/3778117
1393.61/1391.50	c cleaning 8218 clauses out of 16528 with flag 32002/3787119
1395.20/1393.05	c Got one! Elapsed wall clock time (in seconds):1392.936
1395.20/1393.05	o 44245
1396.51/1394.32	c cleaning 9386 clauses out of 18836 with flag 5000/3797645
1398.42/1396.24	c cleaning 7646 clauses out of 15450 with flag 11000/3803645
1400.42/1398.22	c cleaning 7356 clauses out of 14804 with flag 18000/3810645
1402.62/1400.42	c cleaning 7675 clauses out of 15451 with flag 26003/3818648
1405.43/1403.22	c cleaning 8367 clauses out of 16775 with flag 35002/3827647
1408.13/1405.91	c cleaning 9169 clauses out of 18407 with flag 45001/3837646
1410.03/1407.80	c Got one! Elapsed wall clock time (in seconds):1407.687
1410.03/1407.80	o 44230
1411.15/1408.91	c cleaning 10796 clauses out of 21637 with flag 5000/3850045
1412.75/1410.58	c cleaning 8408 clauses out of 16842 with flag 11001/3856046
1414.36/1412.18	c cleaning 7663 clauses out of 15436 with flag 18003/3863048
1416.46/1414.22	c cleaning 7807 clauses out of 15770 with flag 26000/3871045
1418.66/1416.49	c cleaning 8462 clauses out of 16963 with flag 35000/3880045
1421.18/1419.00	c cleaning 9194 clauses out of 18502 with flag 45001/3890046
1424.49/1422.26	c cleaning 10129 clauses out of 20308 with flag 56001/3901046
1428.28/1426.07	c cleaning 11027 clauses out of 22178 with flag 68000/3913045
1432.88/1430.67	c cleaning 12007 clauses out of 24153 with flag 81002/3926047
1437.80/1435.51	c cleaning 12982 clauses out of 26144 with flag 95000/3940045
1443.59/1441.37	c cleaning 14054 clauses out of 28163 with flag 110001/3955046
1450.39/1448.12	c cleaning 14974 clauses out of 30108 with flag 126000/3971045
1457.00/1454.71	c cleaning 16002 clauses out of 32134 with flag 143000/3988045
1458.20/1455.90	c Got one! Elapsed wall clock time (in seconds):1455.787
1458.20/1455.90	o 43618
1458.72/1456.41	c cleaning 10732 clauses out of 21662 with flag 2001/3993575
1460.31/1458.02	c cleaning 8429 clauses out of 16931 with flag 8002/3999576
1462.41/1460.10	c cleaning 7675 clauses out of 15500 with flag 15000/4006574
1464.92/1462.62	c cleaning 7861 clauses out of 15825 with flag 23000/4014574
1467.92/1465.66	c cleaning 8436 clauses out of 16964 with flag 32000/4023574
1470.62/1468.38	c cleaning 9248 clauses out of 18528 with flag 42000/4033574
1473.93/1471.67	c cleaning 10103 clauses out of 20281 with flag 53001/4044575
1477.94/1475.69	c cleaning 11045 clauses out of 22177 with flag 65000/4056574
1481.86/1479.52	c cleaning 12014 clauses out of 24132 with flag 78000/4069574
1487.04/1484.75	c cleaning 13018 clauses out of 26118 with flag 92000/4083574
1493.65/1491.33	c cleaning 13980 clauses out of 28103 with flag 107003/4098577
1500.15/1497.86	c cleaning 15016 clauses out of 30120 with flag 123000/4114574
1507.46/1505.15	c cleaning 15968 clauses out of 32106 with flag 140002/4131576
1514.26/1511.96	c cleaning 16520 clauses out of 33138 with flag 157002/4148576
1522.77/1520.40	c cleaning 16758 clauses out of 33617 with flag 174001/4165575
1530.18/1527.85	c cleaning 16888 clauses out of 33859 with flag 191001/4182575
1530.68/1528.39	c Got one! Elapsed wall clock time (in seconds):1528.277
1530.68/1528.39	o 43606
1532.68/1530.36	c cleaning 11129 clauses out of 22382 with flag 4001/4187986
1534.88/1532.51	c cleaning 8576 clauses out of 17256 with flag 10004/4193989
1536.80/1534.48	c cleaning 7780 clauses out of 15676 with flag 17000/4200985
1538.79/1536.44	c cleaning 7855 clauses out of 15896 with flag 25000/4208985
1540.89/1538.51	c cleaning 8490 clauses out of 17043 with flag 34002/4217987
1543.51/1541.13	c cleaning 9199 clauses out of 18551 with flag 44000/4227985
1547.00/1544.63	c cleaning 10130 clauses out of 20353 with flag 55001/4238986
1550.50/1548.18	c cleaning 11048 clauses out of 22222 with flag 67000/4250985
1554.91/1552.57	c cleaning 12023 clauses out of 24175 with flag 80001/4263986
1560.11/1557.71	c cleaning 12976 clauses out of 26151 with flag 94000/4277985
1566.12/1563.79	c cleaning 14034 clauses out of 28177 with flag 109002/4292987
1571.72/1569.39	c cleaning 15026 clauses out of 30141 with flag 125000/4308985
1578.33/1575.92	c cleaning 16015 clauses out of 32115 with flag 142000/4325985
1586.63/1584.26	c cleaning 16487 clauses out of 33100 with flag 159000/4342985
1593.54/1591.18	c cleaning 16760 clauses out of 33615 with flag 176002/4359987
1598.94/1596.56	c Got one! Elapsed wall clock time (in seconds):1596.445
1598.94/1596.56	o 43470
1600.65/1598.29	c cleaning 16882 clauses out of 33788 with flag 5001/4376920
1602.65/1600.23	c cleaning 11357 clauses out of 22905 with flag 11000/4382919
1604.65/1602.24	c cleaning 9197 clauses out of 18550 with flag 18002/4389921
1606.75/1604.30	c cleaning 8628 clauses out of 17352 with flag 26001/4397920
1609.35/1606.96	c cleaning 8829 clauses out of 17724 with flag 35001/4406920
1612.46/1610.07	c cleaning 9414 clauses out of 18897 with flag 45003/4416922
1615.76/1613.35	c cleaning 10219 clauses out of 20482 with flag 56002/4427921
1619.56/1617.12	c cleaning 11093 clauses out of 22262 with flag 68001/4439920
1623.56/1621.14	c cleaning 12027 clauses out of 24170 with flag 81002/4452921
1628.18/1625.79	c cleaning 13049 clauses out of 26141 with flag 95000/4466919
1633.27/1630.90	c cleaning 13999 clauses out of 28093 with flag 110001/4481920
1639.30/1636.82	c cleaning 15012 clauses out of 30096 with flag 126003/4497922
1646.68/1644.29	c cleaning 15990 clauses out of 32081 with flag 143000/4514919
1653.60/1651.14	c cleaning 16505 clauses out of 33091 with flag 160000/4531919
1660.59/1658.15	c cleaning 16762 clauses out of 33587 with flag 177001/4548920
1668.19/1665.75	c cleaning 16854 clauses out of 33825 with flag 194001/4565920
1675.40/1672.91	c cleaning 16970 clauses out of 33972 with flag 211002/4582921
1682.60/1680.15	c cleaning 16938 clauses out of 34002 with flag 228002/4599921
1689.71/1687.20	c cleaning 16978 clauses out of 34065 with flag 245003/4616922
1697.11/1694.69	c cleaning 17012 clauses out of 34084 with flag 262000/4633919
1704.12/1701.69	c cleaning 16948 clauses out of 34072 with flag 279000/4650919
1710.92/1708.42	c cleaning 16989 clauses out of 34124 with flag 296000/4667919
1717.92/1715.44	c cleaning 16973 clauses out of 34135 with flag 313000/4684919
1725.83/1723.38	c cleaning 16997 clauses out of 34162 with flag 330000/4701919
1732.74/1730.28	c cleaning 17020 clauses out of 34166 with flag 347001/4718920
1740.45/1737.97	c cleaning 17033 clauses out of 34145 with flag 364000/4735919
1748.16/1745.71	c cleaning 17030 clauses out of 34112 with flag 381000/4752919
1755.75/1753.26	c cleaning 17024 clauses out of 34082 with flag 398000/4769919
1763.85/1761.31	c cleaning 17010 clauses out of 34058 with flag 415000/4786919
1771.16/1768.71	c cleaning 17005 clauses out of 34050 with flag 432002/4803921
1778.56/1776.04	c cleaning 17002 clauses out of 34043 with flag 449000/4820919
1786.17/1783.61	c cleaning 16993 clauses out of 34042 with flag 466001/4837920
1793.57/1791.05	c cleaning 17007 clauses out of 34049 with flag 483001/4854920
1800.08/1797.52	c starts		: 267
1800.08/1797.52	c conflicts		: 4870680
1800.08/1797.52	c decisions		: 7532118
1800.08/1797.52	c propagations		: 567923400
1800.08/1797.52	c inspects		: 13724509458
1800.08/1797.52	c shortcuts		: 0
1800.08/1797.52	c learnt literals	: 0
1800.08/1797.52	c learnt binary clauses	: 0
1800.08/1797.52	c learnt ternary clauses	: 26
1800.08/1797.52	c learnt constraints	: 4870680
1800.08/1797.52	c ignored constraints	: 0
1800.08/1797.52	c root simplifications	: 0
1800.08/1797.52	c removed literals (reason simplification)	: 189800394
1800.08/1797.52	c reason swapping (by a shorter reason)	: 0
1800.08/1797.52	c Calls to reduceDB	: 320
1800.08/1797.52	c number of reductions to clauses (during analyze)	: 0
1800.08/1797.52	c number of learned constraints concerned by reduction	: 0
1800.08/1797.52	c number of learning phase by resolution	: 0
1800.08/1797.52	c number of learning phase by cutting planes	: 0
1800.08/1797.52	c speed (assignments/second)	: 2826010.121266104
1800.08/1797.52	c non guided choices	872
1800.08/1797.54	c learnt constraints type 
1800.08/1797.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 32843
1800.08/1797.54	c constraints type 
1800.08/1797.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1800.08/1797.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1800.08/1797.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1800.08/1797.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7393
1800.08/1797.54	s SATISFIABLE
1800.08/1797.55	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 
1800.08/1797.55	c objective function=43470
1800.08/1797.55	c Total wall clock time (in seconds): 1797.435

Verifier Data 

OK	43470

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458877-1307146393/watcher-3458877-1307146393 -o /tmp/evaluation-result-3458877-1307146393/solver-3458877-1307146393 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458877-1307146393.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.91 1.98 1.99 2/450 20935
/proc/meminfo: memFree=24606388/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 2846 0 1 0 0 0 0 0 22 0 2 0 807055254 13833195520 2548 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3377245 2562 906 9 0 3368401 0
[pid=20935/tid=20941] ppid=20933 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 4818 0 1 0 0 0 0 0 23 0 2 0 807055254 13850947584 5634 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.035033 s]
/proc/loadavg: 1.91 1.98 1.99 2/450 20935
/proc/meminfo: memFree=24606388/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13537012 CPUtime=0.02 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 13212 0 1 0 1 1 0 0 22 0 10 0 807055254 13861900288 12911 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3384253 12911 1514 9 0 3375001 0
[pid=20935/tid=20941] ppid=20933 vsize=13537012 CPUtime=0.01 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 12090 0 1 0 1 0 0 0 25 0 10 0 807055254 13861900288 12911 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 47629550084945 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13537012

[startup+0.127089 s]
/proc/loadavg: 1.91 1.98 1.99 2/450 20935
/proc/meminfo: memFree=24606388/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13621968 CPUtime=0.13 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 15717 0 1 0 12 1 0 0 22 0 18 0 807055254 13948895232 15414 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3405492 15414 2133 9 0 3396226 0
[pid=20935/tid=20941] ppid=20933 vsize=13621968 CPUtime=0.11 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 13842 0 1 0 10 1 0 0 18 0 18 0 807055254 13948895232 15414 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13621968

[startup+0.300979 s]
/proc/loadavg: 1.91 1.98 1.99 2/450 20935
/proc/meminfo: memFree=24606388/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13624696 CPUtime=0.48 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 19565 0 1 0 46 2 0 0 22 0 18 0 807055254 13951688704 19131 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3406174 19132 2198 9 0 3396908 0
[pid=20935/tid=20941] ppid=20933 vsize=13624696 CPUtime=0.28 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 16521 0 1 0 26 2 0 0 18 0 18 0 807055254 13951688704 19133 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505556376 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13624696

[startup+0.700905 s]
/proc/loadavg: 1.91 1.98 1.99 2/450 20935
/proc/meminfo: memFree=24606388/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=1.43 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 40149 0 1 0 138 5 0 0 22 0 19 0 807055254 13957689344 37731 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 37731 2234 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=0.67 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 32783 0 1 0 63 4 0 0 19 0 19 0 807055254 13957689344 37731 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505201599 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 13630556

[startup+1.50083 s]
/proc/loadavg: 1.91 1.98 1.99 5/491 21023
/proc/meminfo: memFree=24394340/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=2.37 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 41001 0 1 0 231 6 0 0 22 0 19 0 807055254 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 38583 2238 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=1.47 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 33612 0 1 0 143 4 0 0 20 0 19 0 807055254 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505329190 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20935/tid=20945] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20945/stat : 20945 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20946] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20946/stat : 20946 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20947] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20947/stat : 20947 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20948] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20948/stat : 20948 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20949] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20949/stat : 20949 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38583 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055257 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 807055258 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807055258 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807055258 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.43 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3118 0 0 0 43 0 0 0 17 0 19 0 807055260 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.44 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 3111 0 0 0 44 0 0 0 15 0 19 0 807055260 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20970] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20970/stat : 20970 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20971] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20971/stat : 20971 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807055260 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20979] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20979/stat : 20979 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807055312 13957689344 38584 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 13630556

[startup+3.10147 s]
/proc/loadavg: 1.91 1.98 1.99 3/492 21024
/proc/meminfo: memFree=24363144/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=4.02 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 44112 0 1 0 396 6 0 0 22 0 19 0 807055254 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 41687 2263 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=3.02 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 33746 0 1 0 298 4 0 0 19 0 19 0 807055254 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505831324 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20935/tid=20945] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20945/stat : 20945 (java) S 20933 20935 19226 0 -1 4202560 378 0 0 0 0 0 0 0 18 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20946] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20946/stat : 20946 (java) S 20933 20935 19226 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20947] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20947/stat : 20947 (java) S 20933 20935 19226 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20948] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20948/stat : 20948 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20949] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20949/stat : 20949 (java) S 20933 20935 19226 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 349 0 0 0 0 0 0 0 18 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 364 0 0 0 0 0 0 0 18 0 19 0 807055257 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=0.04 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 1249 0 0 0 4 0 0 0 15 0 19 0 807055258 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.45 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3122 0 0 0 45 0 0 0 15 0 19 0 807055260 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.47 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 3122 0 0 0 47 0 0 0 16 0 19 0 807055260 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20970] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20970/stat : 20970 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20971] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20971/stat : 20971 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807055260 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20979] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20979/stat : 20979 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807055312 13957689344 41687 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 13630556

[startup+6.30087 s]
/proc/loadavg: 1.91 1.98 1.99 3/492 21024
/proc/meminfo: memFree=24354836/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=7.27 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 44768 0 1 0 721 6 0 0 22 0 19 0 807055254 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 42138 2263 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=6.16 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 33748 0 1 0 612 4 0 0 25 0 19 0 807055254 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505887265 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20935/tid=20945] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20945/stat : 20945 (java) S 20933 20935 19226 0 -1 4202560 381 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20946] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20946/stat : 20946 (java) S 20933 20935 19226 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20947] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20947/stat : 20947 (java) S 20933 20935 19226 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20948] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20948/stat : 20948 (java) S 20933 20935 19226 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20949] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20949/stat : 20949 (java) S 20933 20935 19226 0 -1 4202560 494 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 486 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 606 0 0 0 0 0 0 0 15 0 19 0 807055257 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=0.08 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 1376 0 0 0 8 0 0 0 15 0 19 0 807055258 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.5 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3140 0 0 0 50 0 0 0 15 0 19 0 807055260 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.47 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 3122 0 0 0 47 0 0 0 15 0 19 0 807055260 13957689344 42138 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0

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

[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0.29 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 228 0 0 0 29 0 0 0 16 0 19 0 807055257 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 1155 0 0 0 32 0 0 0 16 0 19 0 807055257 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0.3 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 1086 0 0 0 30 0 0 0 15 0 19 0 807055257 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=9.07 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 5292 0 0 0 904 3 0 0 15 0 19 0 807055258 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.53 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3144 0 0 0 53 0 0 0 16 0 19 0 807055260 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.66 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 6222 0 0 0 66 0 0 0 15 0 19 0 807055260 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20970] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20970/stat : 20970 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20971] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20971/stat : 20971 (java) S 20933 20935 19226 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807055260 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20979] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20979/stat : 20979 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807055312 13957689344 49479 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1724.83
Current children cumulated vsize (KiB) 13630556

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/492 21075
/proc/meminfo: memFree=24309108/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=1784.87 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 55539 0 1 0 178473 14 0 0 22 0 19 0 807055254 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 49491 2264 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=1771.71 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 34062 0 1 0 177164 7 0 0 25 0 19 0 807055254 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505796682 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20935/tid=20945] ppid=20933 vsize=13630556 CPUtime=0.34 cores=0,2,4,6
/proc/20935/task/20945/stat : 20945 (java) S 20933 20935 19226 0 -1 4202560 419 0 0 0 34 0 0 0 15 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20946] ppid=20933 vsize=13630556 CPUtime=0.3 cores=0,2,4,6
/proc/20935/task/20946/stat : 20946 (java) S 20933 20935 19226 0 -1 4202560 454 0 0 0 30 0 0 0 15 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20947] ppid=20933 vsize=13630556 CPUtime=0.34 cores=0,2,4,6
/proc/20935/task/20947/stat : 20947 (java) S 20933 20935 19226 0 -1 4202560 469 0 0 0 34 0 0 0 15 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20948] ppid=20933 vsize=13630556 CPUtime=0.33 cores=0,2,4,6
/proc/20935/task/20948/stat : 20948 (java) S 20933 20935 19226 0 -1 4202560 772 0 0 0 33 0 0 0 15 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20949] ppid=20933 vsize=13630556 CPUtime=0.29 cores=0,2,4,6
/proc/20935/task/20949/stat : 20949 (java) S 20933 20935 19226 0 -1 4202560 973 0 0 0 29 0 0 0 15 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0.29 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 228 0 0 0 29 0 0 0 15 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 1155 0 0 0 32 0 0 0 16 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 1091 0 0 0 32 0 0 0 16 0 19 0 807055257 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=9.33 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 5296 0 0 0 930 3 0 0 15 0 19 0 807055258 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.53 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3144 0 0 0 53 0 0 0 16 0 19 0 807055260 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.66 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 6222 0 0 0 66 0 0 0 15 0 19 0 807055260 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20970] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20970/stat : 20970 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20971] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20971/stat : 20971 (java) S 20933 20935 19226 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807055260 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20979] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20979/stat : 20979 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807055312 13957689344 49491 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1784.87
Current children cumulated vsize (KiB) 13630556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/492 21075
/proc/meminfo: memFree=24308960/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=1800.08 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 55542 0 1 0 179994 14 0 0 22 0 19 0 807055254 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 49492 2264 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=1786.85 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 34064 0 1 0 178678 7 0 0 25 0 19 0 807055254 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505711280 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20935/tid=20945] ppid=20933 vsize=13630556 CPUtime=0.34 cores=0,2,4,6
/proc/20935/task/20945/stat : 20945 (java) S 20933 20935 19226 0 -1 4202560 419 0 0 0 34 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20946] ppid=20933 vsize=13630556 CPUtime=0.3 cores=0,2,4,6
/proc/20935/task/20946/stat : 20946 (java) S 20933 20935 19226 0 -1 4202560 454 0 0 0 30 0 0 0 16 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20947] ppid=20933 vsize=13630556 CPUtime=0.34 cores=0,2,4,6
/proc/20935/task/20947/stat : 20947 (java) S 20933 20935 19226 0 -1 4202560 469 0 0 0 34 0 0 0 16 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20948] ppid=20933 vsize=13630556 CPUtime=0.33 cores=0,2,4,6
/proc/20935/task/20948/stat : 20948 (java) S 20933 20935 19226 0 -1 4202560 772 0 0 0 33 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20949] ppid=20933 vsize=13630556 CPUtime=0.3 cores=0,2,4,6
/proc/20935/task/20949/stat : 20949 (java) S 20933 20935 19226 0 -1 4202560 974 0 0 0 30 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0.29 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 228 0 0 0 29 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 1155 0 0 0 32 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 1091 0 0 0 32 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=9.39 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 5296 0 0 0 936 3 0 0 15 0 19 0 807055258 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.53 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3144 0 0 0 53 0 0 0 16 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.66 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 6222 0 0 0 66 0 0 0 15 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20970] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20970/stat : 20970 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20971] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20971/stat : 20971 (java) S 20933 20935 19226 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20979] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20979/stat : 20979 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807055312 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13630556

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

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

[startup+1797.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/492 21075
/proc/meminfo: memFree=24308960/32951124 swapFree=60476376/67111528
[pid=20935] ppid=20933 vsize=13630556 CPUtime=1800.08 cores=0,2,4,6
/proc/20935/stat : 20935 (java) S 20933 20935 19226 0 -1 4202496 55542 0 1 0 179994 14 0 0 22 0 19 0 807055254 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20935/statm: 3407639 49492 2264 9 0 3398373 0
[pid=20935/tid=20941] ppid=20933 vsize=13630556 CPUtime=1786.85 cores=0,2,4,6
/proc/20935/task/20941/stat : 20941 (java) R 20933 20935 19226 0 -1 4202560 34064 0 1 0 178678 7 0 0 25 0 19 0 807055254 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 46912505711280 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20935/tid=20945] ppid=20933 vsize=13630556 CPUtime=0.34 cores=0,2,4,6
/proc/20935/task/20945/stat : 20945 (java) S 20933 20935 19226 0 -1 4202560 419 0 0 0 34 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20946] ppid=20933 vsize=13630556 CPUtime=0.3 cores=0,2,4,6
/proc/20935/task/20946/stat : 20946 (java) S 20933 20935 19226 0 -1 4202560 454 0 0 0 30 0 0 0 16 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20947] ppid=20933 vsize=13630556 CPUtime=0.34 cores=0,2,4,6
/proc/20935/task/20947/stat : 20947 (java) S 20933 20935 19226 0 -1 4202560 469 0 0 0 34 0 0 0 16 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20948] ppid=20933 vsize=13630556 CPUtime=0.33 cores=0,2,4,6
/proc/20935/task/20948/stat : 20948 (java) S 20933 20935 19226 0 -1 4202560 772 0 0 0 33 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20949] ppid=20933 vsize=13630556 CPUtime=0.3 cores=0,2,4,6
/proc/20935/task/20949/stat : 20949 (java) S 20933 20935 19226 0 -1 4202560 974 0 0 0 30 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20950] ppid=20933 vsize=13630556 CPUtime=0.29 cores=0,2,4,6
/proc/20935/task/20950/stat : 20950 (java) S 20933 20935 19226 0 -1 4202560 228 0 0 0 29 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 2 0 0 0
[pid=20935/tid=20951] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20951/stat : 20951 (java) S 20933 20935 19226 0 -1 4202560 1155 0 0 0 32 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20952] ppid=20933 vsize=13630556 CPUtime=0.32 cores=0,2,4,6
/proc/20935/task/20952/stat : 20952 (java) S 20933 20935 19226 0 -1 4202560 1091 0 0 0 32 0 0 0 15 0 19 0 807055257 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20961] ppid=20933 vsize=13630556 CPUtime=9.39 cores=0,2,4,6
/proc/20935/task/20961/stat : 20961 (java) S 20933 20935 19226 0 -1 4202560 5296 0 0 0 936 3 0 0 15 0 19 0 807055258 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 0 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20963] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20963/stat : 20963 (java) S 20933 20935 19226 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20964] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20964/stat : 20964 (java) S 20933 20935 19226 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807055258 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20967] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20967/stat : 20967 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828060081 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20968] ppid=20933 vsize=13630556 CPUtime=0.53 cores=0,2,4,6
/proc/20935/task/20968/stat : 20968 (java) S 20933 20935 19226 0 -1 4202560 3144 0 0 0 53 0 0 0 16 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20969] ppid=20933 vsize=13630556 CPUtime=0.66 cores=0,2,4,6
/proc/20935/task/20969/stat : 20969 (java) S 20933 20935 19226 0 -1 4202560 6222 0 0 0 66 0 0 0 15 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 4 0 0 0
[pid=20935/tid=20970] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20970/stat : 20970 (java) S 20933 20935 19226 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052377 0 4 0 16800975 18446604453937780032 0 0 -1 6 0 0 0
[pid=20935/tid=20971] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20971/stat : 20971 (java) S 20933 20935 19226 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807055260 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
[pid=20935/tid=20979] ppid=20933 vsize=13630556 CPUtime=0 cores=0,2,4,6
/proc/20935/task/20979/stat : 20979 (java) S 20933 20935 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807055312 13957689344 49492 33554432000 1073741824 1073778376 140736279490192 18446744073709551615 220828052992 0 4 0 16800975 18446604453937780032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13630556

Child status: 143
Real time (s): 1797.56
CPU time (s): 1800.18
CPU user time (s): 1800.02
CPU system time (s): 0.159975
CPU usage (%): 100.145
Max. virtual memory (cumulated for all children) (KiB): 13630556

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

runsolver used 8.87665 second user time and 18.0972 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-04 02:13:14
IDJOB=3458877
IDBENCH=2008
IDSOLVER=1952
FILE ID=node147/3458877-1307146393
RUNJOBID= node147-1307146393-20921
PBS_JOBID= 13508769
Free space on /tmp= 73684 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458877-1307146393/watcher-3458877-1307146393 -o /tmp/evaluation-result-3458877-1307146393/solver-3458877-1307146393 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458877-1307146393.opb

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

MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe
RANDOM SEED=581828589

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24606428 kB
Buffers:        302012 kB
Cached:        1464292 kB
SwapCached:      11164 kB
Active:        6741096 kB
Inactive:      1344748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24606428 kB
SwapTotal:    67111528 kB
SwapFree:     60476376 kB
Dirty:            1268 kB
Writeback:           0 kB
AnonPages:     6316596 kB
Mapped:          21896 kB
Slab:           133188 kB
PageTables:      58604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 120755536 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73684 MiB
End job on node147 at 2011-06-04 02:43:13