Trace number 3458911

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)148 1800.16 1797.38

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUMd431323968e1ca4dc95d181076d01437
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark148
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 154
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 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.09/0.10	c version 2.3.1.v20110525
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.18-164.el5
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		12995394264
0.09/0.10	c Max memory 		13063553024
0.09/0.10	c Total memory 		13063553024
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3458911-1307146393.opb
0.09/0.12	c reading problem ... 
1.09/0.57	c ... done. Wall clock time 0.451s.
1.09/0.57	c #vars     1344
1.09/0.57	c #constraints  16376
1.09/0.57	c constraints type 
1.09/0.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1.09/0.57	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1.09/0.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1.09/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
1.50/0.73	c SATISFIABLE
1.50/0.73	c OPTIMIZING...
1.50/0.73	c Got one! Elapsed wall clock time (in seconds):0.613
1.50/0.73	o 182
2.58/1.79	c cleaning 2788 clauses out of 5582 with flag 5001/5582
3.22/2.36	c Got one! Elapsed wall clock time (in seconds):2.247
3.22/2.36	o 176
3.34/2.43	c cleaning 4044 clauses out of 8096 with flag 1000/10884
3.54/2.68	c Got one! Elapsed wall clock time (in seconds):2.562
3.54/2.68	o 170
4.04/3.15	c cleaning 4919 clauses out of 9849 with flag 4000/16681
5.27/4.36	c cleaning 5456 clauses out of 10930 with flag 10000/22681
6.98/6.05	c cleaning 6217 clauses out of 12474 with flag 17000/29681
8.48/7.58	c cleaning 7120 clauses out of 14257 with flag 25000/37681
10.49/9.57	c cleaning 8029 clauses out of 16137 with flag 34000/46681
12.50/11.57	c cleaning 9019 clauses out of 18110 with flag 44002/56683
15.00/14.00	c cleaning 10035 clauses out of 20089 with flag 55000/67681
18.00/17.06	c cleaning 11011 clauses out of 22054 with flag 67000/79681
21.60/20.65	c cleaning 12000 clauses out of 24043 with flag 80000/92681
25.41/24.41	c cleaning 12982 clauses out of 26045 with flag 94002/106683
29.31/28.32	c cleaning 14011 clauses out of 28061 with flag 109000/121681
33.93/33.00	c cleaning 14993 clauses out of 30051 with flag 125001/137682
40.53/39.56	c cleaning 15918 clauses out of 32057 with flag 142000/154681
46.04/45.02	c cleaning 16488 clauses out of 33143 with flag 159004/171685
50.83/49.85	c cleaning 16800 clauses out of 33652 with flag 176001/188682
56.74/55.78	c cleaning 16862 clauses out of 33854 with flag 193003/205684
62.84/61.86	c cleaning 16973 clauses out of 33991 with flag 210002/222683
68.65/67.65	c cleaning 16952 clauses out of 34017 with flag 227001/239682
75.06/74.06	c cleaning 16962 clauses out of 34064 with flag 244000/256681
80.18/79.11	c cleaning 16993 clauses out of 34102 with flag 261000/273681
85.27/84.30	c cleaning 17009 clauses out of 34110 with flag 278001/290682
91.29/90.28	c cleaning 17007 clauses out of 34100 with flag 295000/307681
97.08/96.04	c cleaning 16968 clauses out of 34096 with flag 312003/324684
103.69/102.60	c cleaning 16940 clauses out of 34127 with flag 329002/341683
109.59/108.59	c cleaning 16994 clauses out of 34185 with flag 346000/358681
116.52/115.44	c cleaning 16992 clauses out of 34191 with flag 363000/375681
122.81/121.70	c cleaning 17089 clauses out of 34199 with flag 380000/392681
127.71/126.67	c cleaning 17009 clauses out of 34111 with flag 397001/409682
133.52/132.40	c cleaning 17009 clauses out of 34104 with flag 414003/426684
139.02/137.91	c cleaning 16965 clauses out of 34092 with flag 431000/443681
145.33/144.27	c cleaning 17019 clauses out of 34127 with flag 448000/460681
153.23/152.11	c cleaning 16972 clauses out of 34108 with flag 465000/477681
159.57/158.41	c cleaning 17043 clauses out of 34139 with flag 482003/494684
166.76/165.65	c cleaning 16995 clauses out of 34093 with flag 499000/511681
171.47/170.41	c cleaning 17020 clauses out of 34100 with flag 516002/528683
177.28/176.16	c cleaning 17007 clauses out of 34080 with flag 533002/545683
183.58/182.48	c cleaning 16992 clauses out of 34073 with flag 550002/562683
189.99/188.81	c cleaning 16977 clauses out of 34079 with flag 567000/579681
195.20/194.00	c cleaning 17019 clauses out of 34102 with flag 584000/596681
200.00/198.80	c cleaning 17010 clauses out of 34083 with flag 601000/613681
205.11/203.92	c cleaning 17023 clauses out of 34074 with flag 618001/630682
210.61/209.42	c cleaning 17000 clauses out of 34051 with flag 635001/647682
215.92/214.71	c cleaning 16991 clauses out of 34051 with flag 652001/664682
220.93/219.74	c cleaning 16971 clauses out of 34060 with flag 669001/681682
226.43/225.26	c cleaning 16909 clauses out of 34088 with flag 686000/698681
232.25/231.09	c cleaning 16963 clauses out of 34184 with flag 703005/715686
237.65/236.45	c cleaning 17024 clauses out of 34216 with flag 720000/732681
244.74/243.58	c cleaning 17006 clauses out of 34194 with flag 737002/749683
251.35/250.13	c cleaning 17016 clauses out of 34188 with flag 754002/766683
258.25/257.07	c cleaning 17009 clauses out of 34174 with flag 771004/783685
264.07/262.85	c cleaning 16973 clauses out of 34163 with flag 788002/800683
268.86/267.61	c cleaning 16996 clauses out of 34189 with flag 805001/817682
274.97/273.72	c cleaning 17053 clauses out of 34192 with flag 822000/834681
280.78/279.56	c cleaning 17014 clauses out of 34139 with flag 839000/851681
286.20/284.99	c cleaning 16999 clauses out of 34125 with flag 856000/868681
292.39/291.17	c cleaning 17046 clauses out of 34127 with flag 873001/885682
296.50/295.27	c cleaning 17005 clauses out of 34081 with flag 890001/902682
301.80/300.56	c cleaning 16966 clauses out of 34076 with flag 907001/919682
306.31/305.03	c cleaning 17030 clauses out of 34110 with flag 924001/936682
310.21/308.98	c Got one! Elapsed wall clock time (in seconds):308.864
310.21/308.98	o 168
310.85/309.47	c cleaning 18185 clauses out of 36380 with flag 5001/955982
312.47/311.06	c cleaning 12058 clauses out of 24195 with flag 11001/961982
313.67/312.21	c Got one! Elapsed wall clock time (in seconds):312.089
313.67/312.22	o 166
313.67/312.29	c cleaning 8775 clauses out of 17566 with flag 1000/967411
314.21/312.71	c Got one! Elapsed wall clock time (in seconds):312.599
314.21/312.71	o 162
314.42/312.97	c cleaning 7171 clauses out of 14397 with flag 2000/973017
315.32/313.88	c cleaning 6583 clauses out of 13228 with flag 8002/979019
316.62/315.18	c Got one! Elapsed wall clock time (in seconds):315.066
316.62/315.18	o 156
317.72/316.29	c cleaning 9150 clauses out of 18348 with flag 5001/990722
318.83/317.32	c Got one! Elapsed wall clock time (in seconds):317.202
318.83/317.32	o 150
318.95/317.48	c cleaning 7586 clauses out of 15187 with flag 2000/996711
319.85/318.33	c cleaning 6762 clauses out of 13602 with flag 8001/1002712
320.15/318.63	c Got one! Elapsed wall clock time (in seconds):318.509
320.15/318.63	o 148
320.67/319.15	c cleaning 6366 clauses out of 12773 with flag 4000/1008645
321.87/320.35	c cleaning 6146 clauses out of 12409 with flag 10002/1014647
323.38/321.85	c cleaning 6604 clauses out of 13261 with flag 17000/1021645
325.18/323.64	c cleaning 7288 clauses out of 14657 with flag 25000/1029645
327.10/325.56	c cleaning 8139 clauses out of 16371 with flag 34002/1038647
329.88/328.34	c cleaning 9075 clauses out of 18232 with flag 44002/1048647
333.29/331.74	c cleaning 10030 clauses out of 20155 with flag 55000/1059645
336.89/335.39	c cleaning 11027 clauses out of 22126 with flag 67001/1071646
340.60/339.00	c cleaning 12017 clauses out of 24098 with flag 80000/1084645
344.40/342.81	c cleaning 13005 clauses out of 26081 with flag 94000/1098645
349.81/348.26	c cleaning 14020 clauses out of 28077 with flag 109001/1113646
355.31/353.75	c cleaning 14980 clauses out of 30056 with flag 125000/1129645
361.42/359.81	c cleaning 16007 clauses out of 32076 with flag 142000/1146645
366.93/365.34	c cleaning 16503 clauses out of 33069 with flag 159000/1163645
373.45/371.85	c cleaning 16724 clauses out of 33566 with flag 176000/1180645
379.63/378.02	c cleaning 16882 clauses out of 33843 with flag 193001/1197646
385.94/384.34	c cleaning 16942 clauses out of 33962 with flag 210002/1214647
392.45/390.85	c cleaning 16995 clauses out of 34018 with flag 227000/1231645
398.36/396.74	c cleaning 16982 clauses out of 34024 with flag 244001/1248646
404.17/402.56	c cleaning 16966 clauses out of 34043 with flag 261002/1265647
410.17/408.52	c cleaning 16971 clauses out of 34075 with flag 278000/1282645
416.87/415.22	c cleaning 16981 clauses out of 34108 with flag 295004/1299649
423.28/421.66	c cleaning 16991 clauses out of 34123 with flag 312000/1316645
428.89/427.22	c cleaning 16971 clauses out of 34132 with flag 329000/1333645
434.69/433.02	c cleaning 17035 clauses out of 34162 with flag 346001/1350646
440.89/439.29	c cleaning 17008 clauses out of 34126 with flag 363000/1367645
447.00/445.37	c cleaning 16989 clauses out of 34119 with flag 380001/1384646
451.80/450.12	c cleaning 17012 clauses out of 34129 with flag 397000/1401645
456.21/454.51	c cleaning 17048 clauses out of 34117 with flag 414000/1418645
460.91/459.21	c cleaning 17000 clauses out of 34070 with flag 431001/1435646
466.42/464.79	c cleaning 16982 clauses out of 34069 with flag 448000/1452645
473.54/471.88	c cleaning 17009 clauses out of 34090 with flag 465003/1469648
478.73/477.08	c cleaning 17003 clauses out of 34078 with flag 482000/1486645
484.65/482.99	c cleaning 16979 clauses out of 34075 with flag 499000/1503645
490.64/488.99	c cleaning 17016 clauses out of 34098 with flag 516002/1520647
495.84/494.17	c cleaning 17009 clauses out of 34081 with flag 533001/1537646
501.95/500.26	c cleaning 16987 clauses out of 34071 with flag 550000/1554645
508.95/507.23	c cleaning 16992 clauses out of 34085 with flag 567001/1571646
514.27/512.58	c cleaning 17033 clauses out of 34092 with flag 584000/1588645
520.26/518.58	c cleaning 16991 clauses out of 34060 with flag 601001/1605646
525.77/524.03	c cleaning 16952 clauses out of 34068 with flag 618000/1622645
531.47/529.72	c cleaning 17019 clauses out of 34116 with flag 635000/1639645
536.78/535.09	c cleaning 16972 clauses out of 34097 with flag 652000/1656645
542.38/540.66	c cleaning 17009 clauses out of 34125 with flag 669000/1673645
547.18/545.49	c cleaning 17027 clauses out of 34117 with flag 686001/1690646
553.49/551.71	c cleaning 17000 clauses out of 34090 with flag 703001/1707646
559.90/558.10	c cleaning 17026 clauses out of 34091 with flag 720002/1724647
565.60/563.89	c cleaning 16999 clauses out of 34063 with flag 737000/1741645
571.52/569.71	c cleaning 16981 clauses out of 34064 with flag 754000/1758645
577.61/575.89	c cleaning 16994 clauses out of 34084 with flag 771001/1775646
583.52/581.73	c cleaning 17010 clauses out of 34092 with flag 788003/1792648
589.92/588.11	c cleaning 16987 clauses out of 34080 with flag 805001/1809646
595.53/593.75	c cleaning 17002 clauses out of 34094 with flag 822002/1826647
600.83/599.08	c cleaning 17010 clauses out of 34090 with flag 839000/1843645
606.94/605.12	c cleaning 16997 clauses out of 34080 with flag 856000/1860645
613.46/611.69	c cleaning 17006 clauses out of 34084 with flag 873001/1877646
620.06/618.28	c cleaning 16982 clauses out of 34077 with flag 890000/1894645
626.57/624.72	c cleaning 17010 clauses out of 34095 with flag 907000/1911645
632.36/630.53	c cleaning 17005 clauses out of 34086 with flag 924001/1928646
638.16/636.30	c cleaning 16993 clauses out of 34081 with flag 941001/1945646
643.27/641.42	c cleaning 16980 clauses out of 34088 with flag 958001/1962646
649.17/647.35	c cleaning 17020 clauses out of 34109 with flag 975002/1979647
656.18/654.30	c cleaning 16947 clauses out of 34087 with flag 992000/1996645
663.19/661.39	c cleaning 17010 clauses out of 34140 with flag 1009000/2013645
669.29/667.47	c cleaning 17038 clauses out of 34131 with flag 1026001/2030646
675.90/674.09	c cleaning 16993 clauses out of 34092 with flag 1043000/2047645
680.90/679.02	c cleaning 17012 clauses out of 34100 with flag 1060001/2064646
685.51/683.68	c cleaning 16984 clauses out of 34088 with flag 1077001/2081646
689.92/688.04	c cleaning 17025 clauses out of 34103 with flag 1094000/2098645
695.62/693.75	c cleaning 16989 clauses out of 34078 with flag 1111000/2115645
702.43/700.52	c cleaning 16955 clauses out of 34090 with flag 1128001/2132646
708.53/706.65	c cleaning 17008 clauses out of 34137 with flag 1145003/2149648
715.34/713.40	c cleaning 16987 clauses out of 34126 with flag 1162000/2166645
722.84/720.91	c cleaning 16993 clauses out of 34142 with flag 1179003/2183648
728.96/727.03	c cleaning 16964 clauses out of 34147 with flag 1196001/2200646
735.46/733.56	c cleaning 17002 clauses out of 34184 with flag 1213002/2217647
741.46/739.58	c cleaning 16992 clauses out of 34180 with flag 1230000/2234645
747.16/745.23	c cleaning 17076 clauses out of 34192 with flag 1247004/2251649
753.29/751.37	c cleaning 17007 clauses out of 34112 with flag 1264000/2268645
759.68/757.71	c cleaning 17022 clauses out of 34105 with flag 1281000/2285645
766.08/764.11	c cleaning 17001 clauses out of 34085 with flag 1298002/2302647
772.19/770.22	c cleaning 16984 clauses out of 34083 with flag 1315001/2319646
778.29/776.38	c cleaning 17017 clauses out of 34099 with flag 1332001/2336646
784.01/782.07	c cleaning 16983 clauses out of 34081 with flag 1349000/2353645
789.62/787.69	c cleaning 16967 clauses out of 34098 with flag 1366000/2370645
794.81/792.80	c cleaning 17014 clauses out of 34131 with flag 1383000/2387645
799.43/797.48	c cleaning 17017 clauses out of 34120 with flag 1400003/2404648
805.11/803.15	c cleaning 16990 clauses out of 34100 with flag 1417000/2421645
810.02/808.06	c cleaning 16991 clauses out of 34110 with flag 1434000/2438645
815.42/813.48	c cleaning 16996 clauses out of 34122 with flag 1451003/2455648
821.23/819.27	c cleaning 17000 clauses out of 34123 with flag 1468000/2472645
827.05/825.05	c cleaning 16980 clauses out of 34123 with flag 1485000/2489645
831.64/829.63	c cleaning 17006 clauses out of 34144 with flag 1502001/2506646
836.96/834.98	c cleaning 16981 clauses out of 34139 with flag 1519002/2523647
843.65/841.63	c cleaning 17003 clauses out of 34156 with flag 1536000/2540645
850.07/848.04	c cleaning 16978 clauses out of 34156 with flag 1553003/2557648
856.68/854.62	c cleaning 17006 clauses out of 34177 with flag 1570002/2574647
862.48/860.42	c cleaning 17005 clauses out of 34170 with flag 1587001/2591646
868.79/866.72	c cleaning 16987 clauses out of 34164 with flag 1604000/2608645
874.59/872.51	c cleaning 16977 clauses out of 34177 with flag 1621000/2625645
880.49/878.44	c cleaning 17006 clauses out of 34200 with flag 1638000/2642645
886.79/884.75	c cleaning 16972 clauses out of 34194 with flag 1655000/2659645
893.20/891.18	c cleaning 17019 clauses out of 34222 with flag 1672000/2676645
899.90/897.87	c cleaning 17012 clauses out of 34203 with flag 1689000/2693645
906.32/904.26	c cleaning 17026 clauses out of 34193 with flag 1706002/2710647
911.51/909.44	c cleaning 17039 clauses out of 34165 with flag 1723000/2727645
917.33/915.28	c cleaning 17026 clauses out of 34128 with flag 1740002/2744647
923.22/921.20	c cleaning 16995 clauses out of 34101 with flag 1757001/2761646
928.72/926.67	c cleaning 16981 clauses out of 34106 with flag 1774001/2778646
933.93/931.87	c cleaning 17002 clauses out of 34124 with flag 1791000/2795645
938.83/936.72	c cleaning 16995 clauses out of 34122 with flag 1808000/2812645
943.94/941.83	c cleaning 17007 clauses out of 34128 with flag 1825001/2829646
948.94/946.86	c cleaning 16959 clauses out of 34120 with flag 1842000/2846645
954.45/952.30	c cleaning 17018 clauses out of 34162 with flag 1859001/2863646
959.45/957.38	c cleaning 17013 clauses out of 34143 with flag 1876000/2880645
965.16/963.06	c cleaning 17014 clauses out of 34130 with flag 1893000/2897645
970.26/968.11	c cleaning 17020 clauses out of 34119 with flag 1910003/2914648
975.36/973.21	c cleaning 16994 clauses out of 34097 with flag 1927001/2931646
980.56/978.49	c cleaning 16970 clauses out of 34102 with flag 1944000/2948645
985.97/983.81	c cleaning 17004 clauses out of 34132 with flag 1961000/2965645
991.17/989.03	c cleaning 16990 clauses out of 34129 with flag 1978001/2982646
996.59/994.47	c cleaning 16993 clauses out of 34139 with flag 1995001/2999646
1002.28/1000.17	c cleaning 16998 clauses out of 34146 with flag 2012001/3016646
1008.09/1005.99	c cleaning 16976 clauses out of 34148 with flag 2029001/3033646
1013.39/1011.20	c cleaning 17028 clauses out of 34172 with flag 2046001/3050646
1017.60/1015.47	c cleaning 17046 clauses out of 34143 with flag 2063000/3067645
1021.81/1019.68	c cleaning 17022 clauses out of 34099 with flag 2080002/3084647
1026.70/1024.59	c cleaning 17015 clauses out of 34075 with flag 2097000/3101645
1033.01/1030.89	c cleaning 16988 clauses out of 34063 with flag 2114003/3118648
1039.12/1036.97	c cleaning 16942 clauses out of 34072 with flag 2131000/3135645
1044.32/1042.13	c cleaning 16904 clauses out of 34130 with flag 2148000/3152645
1049.13/1046.94	c cleaning 16999 clauses out of 34227 with flag 2165001/3169646
1053.84/1051.66	c cleaning 17083 clauses out of 34227 with flag 2182000/3186645
1059.24/1057.02	c cleaning 17023 clauses out of 34146 with flag 2199002/3203647
1065.24/1063.07	c cleaning 17007 clauses out of 34121 with flag 2216000/3220645
1071.75/1069.59	c cleaning 17004 clauses out of 34114 with flag 2233000/3237645
1077.25/1075.00	c cleaning 17002 clauses out of 34110 with flag 2250000/3254645
1082.16/1079.97	c cleaning 17025 clauses out of 34108 with flag 2267000/3271645
1087.16/1084.96	c cleaning 17002 clauses out of 34083 with flag 2284000/3288645
1092.76/1090.51	c cleaning 17014 clauses out of 34083 with flag 2301002/3305647
1098.17/1095.96	c cleaning 16990 clauses out of 34067 with flag 2318000/3322645
1103.87/1101.69	c cleaning 16997 clauses out of 34078 with flag 2335001/3339646
1109.28/1107.03	c cleaning 16992 clauses out of 34080 with flag 2352000/3356645
1115.78/1113.56	c cleaning 16984 clauses out of 34088 with flag 2369000/3373645
1121.88/1119.69	c cleaning 16996 clauses out of 34104 with flag 2386000/3390645
1128.39/1126.12	c cleaning 16986 clauses out of 34108 with flag 2403000/3407645
1134.49/1132.27	c cleaning 17034 clauses out of 34124 with flag 2420002/3424647
1140.99/1138.77	c cleaning 17011 clauses out of 34090 with flag 2437002/3441647
1147.59/1145.33	c cleaning 17014 clauses out of 34078 with flag 2454001/3458646
1154.40/1152.10	c cleaning 16993 clauses out of 34064 with flag 2471001/3475646
1160.71/1158.49	c cleaning 16990 clauses out of 34072 with flag 2488002/3492647
1165.71/1163.44	c cleaning 16958 clauses out of 34081 with flag 2505001/3509646
1171.53/1169.21	c cleaning 16990 clauses out of 34122 with flag 2522000/3526645
1176.72/1174.44	c cleaning 16994 clauses out of 34132 with flag 2539000/3543645
1182.22/1179.98	c cleaning 17012 clauses out of 34141 with flag 2556003/3560648
1187.82/1185.53	c cleaning 16978 clauses out of 34126 with flag 2573000/3577645
1193.54/1191.23	c cleaning 16998 clauses out of 34148 with flag 2590000/3594645
1199.73/1197.43	c cleaning 17035 clauses out of 34151 with flag 2607001/3611646
1205.13/1202.85	c cleaning 16996 clauses out of 34116 with flag 2624001/3628646
1210.84/1208.55	c cleaning 17038 clauses out of 34121 with flag 2641002/3645647
1216.34/1214.03	c cleaning 16989 clauses out of 34083 with flag 2658002/3662647
1222.16/1219.86	c cleaning 16984 clauses out of 34094 with flag 2675002/3679647
1227.55/1225.28	c cleaning 16997 clauses out of 34109 with flag 2692001/3696646
1233.05/1230.79	c cleaning 16990 clauses out of 34111 with flag 2709000/3713645
1238.56/1236.28	c cleaning 17040 clauses out of 34122 with flag 2726001/3730646
1244.56/1242.27	c cleaning 16982 clauses out of 34081 with flag 2743000/3747645
1250.66/1248.33	c cleaning 17012 clauses out of 34099 with flag 2760000/3764645
1256.67/1254.32	c cleaning 17032 clauses out of 34087 with flag 2777000/3781645
1262.89/1260.51	c cleaning 16958 clauses out of 34056 with flag 2794001/3798646
1269.27/1267.00	c cleaning 17008 clauses out of 34100 with flag 2811003/3815648
1274.88/1272.58	c cleaning 17002 clauses out of 34089 with flag 2828000/3832645
1281.09/1278.78	c cleaning 16997 clauses out of 34087 with flag 2845000/3849645
1288.21/1285.84	c cleaning 17039 clauses out of 34092 with flag 2862002/3866647
1294.81/1292.51	c cleaning 16977 clauses out of 34053 with flag 2879002/3883647
1301.80/1299.49	c cleaning 17012 clauses out of 34074 with flag 2896000/3900645
1308.12/1305.78	c cleaning 16969 clauses out of 34063 with flag 2913001/3917646
1313.81/1311.45	c cleaning 17023 clauses out of 34095 with flag 2930002/3934647
1320.71/1318.34	c cleaning 16999 clauses out of 34073 with flag 2947003/3951648
1327.72/1325.36	c cleaning 17017 clauses out of 34071 with flag 2964000/3968645
1334.32/1331.99	c cleaning 17006 clauses out of 34055 with flag 2981001/3985646
1340.93/1338.55	c cleaning 16964 clauses out of 34049 with flag 2998001/4002646
1347.43/1345.09	c cleaning 17009 clauses out of 34085 with flag 3015001/4019646
1354.03/1351.67	c cleaning 16992 clauses out of 34075 with flag 3032000/4036645
1360.74/1358.30	c cleaning 16965 clauses out of 34083 with flag 3049000/4053645
1366.94/1364.52	c cleaning 16978 clauses out of 34118 with flag 3066000/4070645
1372.75/1370.38	c cleaning 16970 clauses out of 34143 with flag 3083003/4087648
1380.45/1378.00	c cleaning 17002 clauses out of 34171 with flag 3100001/4104646
1387.06/1384.64	c cleaning 16980 clauses out of 34169 with flag 3117001/4121646
1393.88/1391.49	c cleaning 17002 clauses out of 34189 with flag 3134001/4138646
1401.77/1399.32	c cleaning 16975 clauses out of 34186 with flag 3151000/4155645
1409.98/1407.59	c cleaning 17029 clauses out of 34213 with flag 3168002/4172647
1416.68/1414.28	c cleaning 17000 clauses out of 34183 with flag 3185001/4189646
1423.78/1421.35	c cleaning 16990 clauses out of 34182 with flag 3202000/4206645
1430.69/1428.29	c cleaning 17006 clauses out of 34193 with flag 3219001/4223646
1438.69/1436.22	c cleaning 17008 clauses out of 34187 with flag 3236001/4240646
1445.90/1443.43	c cleaning 17005 clauses out of 34178 with flag 3253000/4257645
1452.60/1450.18	c cleaning 17011 clauses out of 34174 with flag 3270001/4274646
1459.41/1456.96	c cleaning 16994 clauses out of 34164 with flag 3287002/4291647
1466.11/1463.62	c cleaning 17029 clauses out of 34172 with flag 3304004/4308649
1473.23/1470.75	c cleaning 17004 clauses out of 34140 with flag 3321001/4325646
1480.02/1477.52	c cleaning 16988 clauses out of 34137 with flag 3338002/4342647
1486.72/1484.22	c cleaning 16988 clauses out of 34150 with flag 3355003/4359648
1492.94/1490.45	c cleaning 16995 clauses out of 34159 with flag 3372000/4376645
1500.43/1497.92	c cleaning 17042 clauses out of 34165 with flag 3389001/4393646
1507.04/1504.55	c cleaning 17001 clauses out of 34125 with flag 3406003/4410648
1514.24/1511.74	c cleaning 16992 clauses out of 34124 with flag 3423003/4427648
1521.45/1518.97	c cleaning 16972 clauses out of 34129 with flag 3440000/4444645
1527.75/1525.26	c cleaning 16991 clauses out of 34157 with flag 3457000/4461645
1534.56/1532.09	c cleaning 16979 clauses out of 34166 with flag 3474000/4478645
1541.37/1538.90	c cleaning 17001 clauses out of 34188 with flag 3491001/4495646
1548.36/1545.80	c cleaning 16980 clauses out of 34188 with flag 3508002/4512647
1555.56/1553.03	c cleaning 17038 clauses out of 34207 with flag 3525001/4529646
1562.47/1559.94	c cleaning 16987 clauses out of 34168 with flag 3542000/4546645
1566.87/1564.31	c cleaning 17050 clauses out of 34181 with flag 3559000/4563645
1572.19/1569.65	c cleaning 16986 clauses out of 34131 with flag 3576000/4580645
1577.79/1575.25	c cleaning 17030 clauses out of 34146 with flag 3593001/4597646
1582.88/1580.35	c cleaning 16963 clauses out of 34118 with flag 3610003/4614648
1588.70/1586.15	c cleaning 17005 clauses out of 34153 with flag 3627001/4631646
1594.22/1591.61	c cleaning 16970 clauses out of 34147 with flag 3644000/4648645
1600.40/1597.82	c cleaning 16996 clauses out of 34177 with flag 3661000/4665645
1606.11/1603.52	c cleaning 17041 clauses out of 34181 with flag 3678000/4682645
1611.22/1608.65	c cleaning 16996 clauses out of 34140 with flag 3695000/4699645
1617.12/1614.58	c cleaning 17020 clauses out of 34144 with flag 3712000/4716645
1622.53/1619.95	c cleaning 16976 clauses out of 34124 with flag 3729000/4733645
1627.35/1624.74	c cleaning 17006 clauses out of 34148 with flag 3746000/4750645
1633.14/1630.53	c cleaning 16942 clauses out of 34142 with flag 3763000/4767645
1639.64/1637.02	c cleaning 16963 clauses out of 34200 with flag 3780000/4784645
1646.35/1643.70	c cleaning 17008 clauses out of 34237 with flag 3797000/4801645
1652.05/1649.47	c cleaning 17018 clauses out of 34230 with flag 3814001/4818646
1657.85/1655.20	c cleaning 16965 clauses out of 34211 with flag 3831000/4835645
1663.16/1660.50	c cleaning 17082 clauses out of 34247 with flag 3848001/4852646
1669.27/1666.67	c cleaning 16960 clauses out of 34164 with flag 3865000/4869645
1675.87/1673.20	c cleaning 16988 clauses out of 34204 with flag 3882000/4886645
1682.17/1679.59	c cleaning 16989 clauses out of 34216 with flag 3899000/4903645
1688.18/1685.55	c cleaning 16973 clauses out of 34228 with flag 3916001/4920646
1694.88/1692.24	c cleaning 17029 clauses out of 34254 with flag 3933000/4937645
1701.38/1698.74	c cleaning 16999 clauses out of 34225 with flag 3950000/4954645
1707.98/1705.30	c cleaning 16995 clauses out of 34228 with flag 3967002/4971647
1714.59/1711.93	c cleaning 17044 clauses out of 34232 with flag 3984001/4988646
1720.29/1717.66	c cleaning 17050 clauses out of 34187 with flag 4001000/5005645
1726.19/1723.56	c cleaning 17022 clauses out of 34138 with flag 4018001/5022646
1732.10/1729.47	c cleaning 16985 clauses out of 34116 with flag 4035001/5039646
1738.10/1735.41	c cleaning 16980 clauses out of 34131 with flag 4052001/5056646
1743.92/1741.26	c cleaning 17035 clauses out of 34154 with flag 4069004/5073649
1750.22/1747.51	c cleaning 17020 clauses out of 34115 with flag 4086000/5090645
1756.32/1753.61	c cleaning 17011 clauses out of 34095 with flag 4103000/5107645
1762.23/1759.53	c cleaning 16989 clauses out of 34084 with flag 4120000/5124645
1768.63/1765.93	c cleaning 16974 clauses out of 34095 with flag 4137000/5141645
1775.54/1772.88	c cleaning 16963 clauses out of 34121 with flag 4154000/5158645
1782.94/1780.22	c cleaning 17006 clauses out of 34158 with flag 4171000/5175645
1790.17/1787.43	c cleaning 17001 clauses out of 34153 with flag 4188001/5192646
1797.06/1794.37	c cleaning 16964 clauses out of 34151 with flag 4205000/5209645
1800.08/1797.33	c starts		: 283
1800.08/1797.33	c conflicts		: 5219000
1800.08/1797.33	c decisions		: 7558817
1800.08/1797.33	c propagations		: 630728160
1800.08/1797.33	c inspects		: 14555230402
1800.08/1797.33	c shortcuts		: 0
1800.08/1797.33	c learnt literals	: 0
1800.08/1797.33	c learnt binary clauses	: 0
1800.08/1797.33	c learnt ternary clauses	: 17
1800.08/1797.33	c learnt constraints	: 5219000
1800.08/1797.33	c ignored constraints	: 0
1800.08/1797.33	c root simplifications	: 0
1800.08/1797.33	c removed literals (reason simplification)	: 213666509
1800.08/1797.33	c reason swapping (by a shorter reason)	: 0
1800.08/1797.33	c Calls to reduceDB	: 321
1800.08/1797.33	c number of reductions to clauses (during analyze)	: 0
1800.08/1797.33	c number of learned constraints concerned by reduction	: 0
1800.08/1797.33	c number of learning phase by resolution	: 0
1800.08/1797.33	c number of learning phase by cutting planes	: 0
1800.08/1797.33	c speed (assignments/second)	: 426539.84590612486
1800.08/1797.33	c non guided choices	723
1800.08/1797.35	c learnt constraints type 
1800.08/1797.35	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 26558
1800.08/1797.35	c constraints type 
1800.08/1797.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1800.08/1797.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1800.08/1797.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1800.08/1797.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7393
1800.08/1797.35	s SATISFIABLE
1800.08/1797.35	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.35	c objective function=148
1800.08/1797.35	c Total wall clock time (in seconds): 1797.233

Verifier Data 

OK	148

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-3458911-1307146393/watcher-3458911-1307146393 -o /tmp/evaluation-result-3458911-1307146393/solver-3458911-1307146393 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458911-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.87 2.01 1.99 6/424 29658
/proc/meminfo: memFree=25916512/32951124 swapFree=44043516/67111528
[pid=29658] ppid=29656 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/29658/stat : 29658 (java) S 29656 29658 27631 0 -1 4202496 1346 0 1 0 0 0 0 0 22 0 2 0 826237501 36679680 1048 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/29658/statm: 8955 1055 818 9 0 386 0
[pid=29658/tid=29660] ppid=29656 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29660/stat : 29660 (java) R 29656 29658 27631 0 -1 4202560 545 0 1 0 0 0 0 0 23 0 2 0 826237501 13833195520 1361 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.016149 s]
/proc/loadavg: 1.87 2.01 1.99 6/424 29658
/proc/meminfo: memFree=25916512/32951124 swapFree=44043516/67111528
[pid=29658] ppid=29656 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/29658/stat : 29658 (java) S 29656 29658 27631 0 -1 4202496 2105 0 1 0 0 0 0 0 22 0 2 0 826237501 13833195520 1806 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/29658/statm: 3377245 1821 906 9 0 3368401 0
[pid=29658/tid=29660] ppid=29656 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29660/stat : 29660 (java) R 29656 29658 27631 0 -1 4202560 1016 0 1 0 0 0 0 0 23 0 2 0 826237501 13833195520 1832 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13508980

[startup+0.101119 s]
/proc/loadavg: 1.87 2.01 1.99 6/424 29658
/proc/meminfo: memFree=25916512/32951124 swapFree=44043516/67111528
[pid=29658] ppid=29656 vsize=13621268 CPUtime=0.09 cores=0,2,4,6
/proc/29658/stat : 29658 (java) S 29656 29658 27631 0 -1 4202496 15239 0 1 0 7 2 0 0 22 0 18 0 826237501 13948178432 14935 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29658/statm: 3405317 14935 2078 9 0 3396051 0
[pid=29658/tid=29660] ppid=29656 vsize=13621268 CPUtime=0.08 cores=0,2,4,6
/proc/29658/task/29660/stat : 29660 (java) R 29656 29658 27631 0 -1 4202560 13540 0 1 0 6 2 0 0 18 0 18 0 826237501 13948178432 14935 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 47349683876887 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621268

[startup+0.313841 s]
/proc/loadavg: 1.87 2.01 1.99 6/424 29658
/proc/meminfo: memFree=25916512/32951124 swapFree=44043516/67111528
[pid=29658] ppid=29656 vsize=13624264 CPUtime=0.52 cores=0,2,4,6
/proc/29658/stat : 29658 (java) S 29656 29658 27631 0 -1 4202496 20323 0 1 0 49 3 0 0 22 0 18 0 826237501 13951246336 19360 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29658/statm: 3406066 19361 2201 9 0 3396800 0
[pid=29658/tid=29660] ppid=29656 vsize=13624264 CPUtime=0.28 cores=0,2,4,6
/proc/29658/task/29660/stat : 29660 (java) R 29656 29658 27631 0 -1 4202560 16759 0 1 0 26 2 0 0 18 0 18 0 826237501 13951246336 19361 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13624264

[startup+0.716034 s]
/proc/loadavg: 1.87 2.01 1.99 6/424 29658
/proc/meminfo: memFree=25916512/32951124 swapFree=44043516/67111528
[pid=29658] ppid=29656 vsize=13630296 CPUtime=1.5 cores=0,2,4,6
/proc/29658/stat : 29658 (java) S 29656 29658 27631 0 -1 4202496 40407 0 1 0 145 5 0 0 22 0 19 0 826237501 13957423104 37758 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29658/statm: 3407574 37758 2236 9 0 3398308 0
[pid=29658/tid=29660] ppid=29656 vsize=13630296 CPUtime=0.69 cores=0,2,4,6
/proc/29658/task/29660/stat : 29660 (java) R 29656 29658 27631 0 -1 4202560 32851 0 1 0 65 4 0 0 19 0 19 0 826237501 13957423104 37758 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 46912505711179 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13630296

[startup+1.50094 s]
/proc/loadavg: 1.87 2.01 1.99 3/461 29695
/proc/meminfo: memFree=25705068/32951124 swapFree=44043516/67111528
[pid=29658] ppid=29656 vsize=13630296 CPUtime=2.38 cores=0,2,4,6
/proc/29658/stat : 29658 (java) S 29656 29658 27631 0 -1 4202496 41148 0 1 0 233 5 0 0 22 0 19 0 826237501 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29658/statm: 3407574 38499 2239 9 0 3398308 0
[pid=29658/tid=29660] ppid=29656 vsize=13630296 CPUtime=1.47 cores=0,2,4,6
/proc/29658/task/29660/stat : 29660 (java) R 29656 29658 27631 0 -1 4202560 33568 0 1 0 143 4 0 0 20 0 19 0 826237501 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 46912505711286 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29658/tid=29673] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29673/stat : 29673 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826237504 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29674] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29674/stat : 29674 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237504 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29675] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29675/stat : 29675 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237504 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29676] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29676/stat : 29676 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237504 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29677] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29677/stat : 29677 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237504 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29678] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29678/stat : 29678 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237504 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29679] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29679/stat : 29679 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237504 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29680] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29680/stat : 29680 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237504 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29681] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29681/stat : 29681 (java) S 29656 29658 27631 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 826237505 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 0 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29682] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29682/stat : 29682 (java) S 29656 29658 27631 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826237506 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29683] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29683/stat : 29683 (java) S 29656 29658 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826237506 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29689] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29689/stat : 29689 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13957423104 38499 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528657841 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29690] ppid=29656 vsize=13630296 CPUtime=0.46 cores=0,2,4,6
/proc/29658/task/29690/stat : 29690 (java) S 29656 29658 27631 0 -1 4202560 3012 0 0 0 46 0 0 0 15 0 19 0 826237508 13957423104 38500 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29691] ppid=29656 vsize=13630296 CPUtime=0.42 cores=0,2,4,6
/proc/29658/task/29691/stat : 29691 (java) S 29656 29658 27631 0 -1 4202560 3407 0 0 0 42 0 0 0 16 0 19 0 826237508 13957423104 38500 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29692] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29692/stat : 29692 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13957423104 38500 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29693] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29693/stat : 29693 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826237508 13957423104 38500 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29695] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29695/stat : 29695 (java) S 29656 29658 27631 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826237559 13957423104 38500 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 13630296

[startup+3.10063 s]
/proc/loadavg: 1.88 2.01 1.99 3/461 29695
/proc/meminfo: memFree=25687216/32951124 swapFree=44043516/67111528
[pid=29658] ppid=29656 vsize=13630296 CPUtime=4.04 cores=0,2,4,6
/proc/29658/stat : 29658 (java) S 29656 29658 27631 0 -1 4202496 44170 0 1 0 398 6 0 0 22 0 19 0 826237501 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29658/statm: 3407574 41513 2264 9 0 3398308 0
[pid=29658/tid=29660] ppid=29656 vsize=13630296 CPUtime=3.02 cores=0,2,4,6
/proc/29658/task/29660/stat : 29660 (java) R 29656 29658 27631 0 -1 4202560 33764 0 1 0 298 4 0 0 18 0 19 0 826237501 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 46912505799632 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29658/tid=29673] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29673/stat : 29673 (java) S 29656 29658 27631 0 -1 4202560 671 0 0 0 0 0 0 0 15 0 19 0 826237504 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29674] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29674/stat : 29674 (java) S 29656 29658 27631 0 -1 4202560 383 0 0 0 0 0 0 0 15 0 19 0 826237504 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29675] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29675/stat : 29675 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 826237504 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29676] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29676/stat : 29676 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826237504 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29677] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29677/stat : 29677 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826237504 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29678] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29678/stat : 29678 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826237504 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29679] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29679/stat : 29679 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826237504 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29680] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29680/stat : 29680 (java) S 29656 29658 27631 0 -1 4202560 500 0 0 0 0 0 0 0 15 0 19 0 826237504 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29681] ppid=29656 vsize=13630296 CPUtime=0.04 cores=0,2,4,6
/proc/29658/task/29681/stat : 29681 (java) S 29656 29658 27631 0 -1 4202560 1258 0 0 0 4 0 0 0 16 0 19 0 826237505 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 0 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29682] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29682/stat : 29682 (java) S 29656 29658 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826237506 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29683] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29683/stat : 29683 (java) S 29656 29658 27631 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826237506 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29689] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29689/stat : 29689 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528657841 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29690] ppid=29656 vsize=13630296 CPUtime=0.49 cores=0,2,4,6
/proc/29658/task/29690/stat : 29690 (java) S 29656 29658 27631 0 -1 4202560 3022 0 0 0 49 0 0 0 15 0 19 0 826237508 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29691] ppid=29656 vsize=13630296 CPUtime=0.45 cores=0,2,4,6
/proc/29658/task/29691/stat : 29691 (java) S 29656 29658 27631 0 -1 4202560 3415 0 0 0 45 0 0 0 15 0 19 0 826237508 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29692] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29692/stat : 29692 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29693] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29693/stat : 29693 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826237508 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29695] ppid=29656 vsize=13630296 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29695/stat : 29695 (java) S 29656 29658 27631 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826237559 13957423104 41513 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 13630296

[startup+6.30105 s]
/proc/loadavg: 1.88 2.01 1.99 3/461 29696
/proc/meminfo: memFree=25678360/32951124 swapFree=44043516/67111528
[pid=29658] ppid=29656 vsize=13629636 CPUtime=7.28 cores=0,2,4,6
/proc/29658/stat : 29658 (java) S 29656 29658 27631 0 -1 4202496 44568 0 1 0 722 6 0 0 22 0 19 0 826237501 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29658/statm: 3407409 41716 2264 9 0 3398143 0
[pid=29658/tid=29660] ppid=29656 vsize=13629636 CPUtime=6.15 cores=0,2,4,6
/proc/29658/task/29660/stat : 29660 (java) R 29656 29658 27631 0 -1 4202560 33767 0 1 0 611 4 0 0 20 0 19 0 826237501 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 46912505786147 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29658/tid=29673] ppid=29656 vsize=13629636 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29673/stat : 29673 (java) S 29656 29658 27631 0 -1 4202560 671 0 0 0 0 0 0 0 15 0 19 0 826237504 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29674] ppid=29656 vsize=13629636 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29674/stat : 29674 (java) S 29656 29658 27631 0 -1 4202560 383 0 0 0 0 0 0 0 15 0 19 0 826237504 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29675] ppid=29656 vsize=13629636 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29675/stat : 29675 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826237504 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29676] ppid=29656 vsize=13629636 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29676/stat : 29676 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826237504 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29677] ppid=29656 vsize=13629636 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29677/stat : 29677 (java) S 29656 29658 27631 0 -1 4202560 31 0 0 0 0 0 0 0 16 0 19 0 826237504 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29678] ppid=29656 vsize=13629636 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29678/stat : 29678 (java) S 29656 29658 27631 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 19 0 826237504 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29679] ppid=29656 vsize=13629636 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29679/stat : 29679 (java) S 29656 29658 27631 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 19 0 826237504 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29680] ppid=29656 vsize=13629636 CPUtime=0.01 cores=0,2,4,6
/proc/29658/task/29680/stat : 29680 (java) S 29656 29658 27631 0 -1 4202560 604 0 0 0 1 0 0 0 15 0 19 0 826237504 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29681] ppid=29656 vsize=13629636 CPUtime=0.1 cores=0,2,4,6
/proc/29658/task/29681/stat : 29681 (java) S 29656 29658 27631 0 -1 4202560 1374 0 0 0 10 0 0 0 16 0 19 0 826237505 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 0 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29682] ppid=29656 vsize=13629636 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29682/stat : 29682 (java) S 29656 29658 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826237506 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29683] ppid=29656 vsize=13629636 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29683/stat : 29683 (java) S 29656 29658 27631 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826237506 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29689] ppid=29656 vsize=13629636 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29689/stat : 29689 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528657841 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29690] ppid=29656 vsize=13629636 CPUtime=0.52 cores=0,2,4,6
/proc/29658/task/29690/stat : 29690 (java) S 29656 29658 27631 0 -1 4202560 3030 0 0 0 52 0 0 0 15 0 19 0 826237508 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29691] ppid=29656 vsize=13629636 CPUtime=0.45 cores=0,2,4,6
/proc/29658/task/29691/stat : 29691 (java) S 29656 29658 27631 0 -1 4202560 3416 0 0 0 45 0 0 0 15 0 19 0 826237508 13956747264 41716 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0

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

[pid=29658/tid=29678] ppid=29656 vsize=13629604 CPUtime=0.33 cores=0,2,4,6
/proc/29658/task/29678/stat : 29678 (java) S 29656 29658 27631 0 -1 4202560 362 0 0 0 33 0 0 0 16 0 19 0 826237504 13956714496 49967 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29679] ppid=29656 vsize=13629604 CPUtime=0.3 cores=0,2,4,6
/proc/29658/task/29679/stat : 29679 (java) S 29656 29658 27631 0 -1 4202560 500 0 0 0 30 0 0 0 15 0 19 0 826237504 13956714496 49967 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29680] ppid=29656 vsize=13629604 CPUtime=0.3 cores=0,2,4,6
/proc/29658/task/29680/stat : 29680 (java) S 29656 29658 27631 0 -1 4202560 1346 0 0 0 30 0 0 0 15 0 19 0 826237504 13956714496 49967 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 4 0 0 0
[pid=29658/tid=29681] ppid=29656 vsize=13629604 CPUtime=9.08 cores=0,2,4,6
/proc/29658/task/29681/stat : 29681 (java) S 29656 29658 27631 0 -1 4202560 5355 0 0 0 905 3 0 0 15 0 19 0 826237505 13956714496 49967 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 0 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29682] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29682/stat : 29682 (java) S 29656 29658 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826237506 13956714496 49967 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29683] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29683/stat : 29683 (java) S 29656 29658 27631 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826237506 13956714496 49967 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29689] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29689/stat : 29689 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13956714496 49967 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528657841 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29690] ppid=29656 vsize=13629604 CPUtime=0.67 cores=0,2,4,6
/proc/29658/task/29690/stat : 29690 (java) S 29656 29658 27631 0 -1 4202560 4190 0 0 0 67 0 0 0 15 0 19 0 826237508 13956714496 49967 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29691] ppid=29656 vsize=13629604 CPUtime=0.52 cores=0,2,4,6
/proc/29658/task/29691/stat : 29691 (java) S 29656 29658 27631 0 -1 4202560 3417 0 0 0 52 0 0 0 15 0 19 0 826237508 13956714496 49967 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29692] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29692/stat : 29692 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13956714496 49967 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29693] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29693/stat : 29693 (java) S 29656 29658 27631 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 826237508 13956714496 49967 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29695] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29695/stat : 29695 (java) S 29656 29658 27631 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826237559 13956714496 49967 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1724.99
Current children cumulated vsize (KiB) 13629604

[startup+1782.3 s]
/proc/loadavg: 2.08 2.07 2.00 3/461 29743
/proc/meminfo: memFree=25630168/32951124 swapFree=44043516/67111528
[pid=29658] ppid=29656 vsize=13629604 CPUtime=1785.05 cores=0,2,4,6
/proc/29658/stat : 29658 (java) S 29656 29658 27631 0 -1 4202496 54469 0 1 0 178492 13 0 0 22 0 19 0 826237501 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29658/statm: 3407401 50030 2265 9 0 3398135 0
[pid=29658/tid=29660] ppid=29656 vsize=13629604 CPUtime=1771.77 cores=0,2,4,6
/proc/29658/task/29660/stat : 29660 (java) R 29656 29658 27631 0 -1 4202560 34081 0 1 0 177172 5 0 0 25 0 19 0 826237501 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 46912505711279 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29658/tid=29673] ppid=29656 vsize=13629604 CPUtime=0.36 cores=0,2,4,6
/proc/29658/task/29673/stat : 29673 (java) S 29656 29658 27631 0 -1 4202560 977 0 0 0 36 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29674] ppid=29656 vsize=13629604 CPUtime=0.3 cores=0,2,4,6
/proc/29658/task/29674/stat : 29674 (java) S 29656 29658 27631 0 -1 4202560 852 0 0 0 30 0 0 0 16 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 4 0 0 0
[pid=29658/tid=29675] ppid=29656 vsize=13629604 CPUtime=0.34 cores=0,2,4,6
/proc/29658/task/29675/stat : 29675 (java) S 29656 29658 27631 0 -1 4202560 1059 0 0 0 34 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29676] ppid=29656 vsize=13629604 CPUtime=0.32 cores=0,2,4,6
/proc/29658/task/29676/stat : 29676 (java) S 29656 29658 27631 0 -1 4202560 302 0 0 0 32 0 0 0 16 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29677] ppid=29656 vsize=13629604 CPUtime=0.31 cores=0,2,4,6
/proc/29658/task/29677/stat : 29677 (java) S 29656 29658 27631 0 -1 4202560 715 0 0 0 31 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29678] ppid=29656 vsize=13629604 CPUtime=0.33 cores=0,2,4,6
/proc/29658/task/29678/stat : 29678 (java) S 29656 29658 27631 0 -1 4202560 362 0 0 0 33 0 0 0 16 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29679] ppid=29656 vsize=13629604 CPUtime=0.31 cores=0,2,4,6
/proc/29658/task/29679/stat : 29679 (java) S 29656 29658 27631 0 -1 4202560 500 0 0 0 31 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29680] ppid=29656 vsize=13629604 CPUtime=0.31 cores=0,2,4,6
/proc/29658/task/29680/stat : 29680 (java) S 29656 29658 27631 0 -1 4202560 1346 0 0 0 31 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29681] ppid=29656 vsize=13629604 CPUtime=9.4 cores=0,2,4,6
/proc/29658/task/29681/stat : 29681 (java) S 29656 29658 27631 0 -1 4202560 5415 0 0 0 937 3 0 0 15 0 19 0 826237505 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 0 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29682] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29682/stat : 29682 (java) S 29656 29658 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826237506 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29683] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29683/stat : 29683 (java) S 29656 29658 27631 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826237506 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29689] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29689/stat : 29689 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528657841 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29690] ppid=29656 vsize=13629604 CPUtime=0.67 cores=0,2,4,6
/proc/29658/task/29690/stat : 29690 (java) S 29656 29658 27631 0 -1 4202560 4190 0 0 0 67 0 0 0 15 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29691] ppid=29656 vsize=13629604 CPUtime=0.52 cores=0,2,4,6
/proc/29658/task/29691/stat : 29691 (java) S 29656 29658 27631 0 -1 4202560 3417 0 0 0 52 0 0 0 15 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29692] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29692/stat : 29692 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29693] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29693/stat : 29693 (java) S 29656 29658 27631 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29695] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29695/stat : 29695 (java) S 29656 29658 27631 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826237559 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 13629604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.3 s]
/proc/loadavg: 2.06 2.06 2.00 4/461 29743
/proc/meminfo: memFree=25630260/32951124 swapFree=44043516/67111528
[pid=29658] ppid=29656 vsize=13629604 CPUtime=1800.08 cores=0,2,4,6
/proc/29658/stat : 29658 (java) S 29656 29658 27631 0 -1 4202496 54475 0 1 0 179995 13 0 0 22 0 19 0 826237501 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29658/statm: 3407401 50030 2265 9 0 3398135 0
[pid=29658/tid=29660] ppid=29656 vsize=13629604 CPUtime=1786.72 cores=0,2,4,6
/proc/29658/task/29660/stat : 29660 (java) R 29656 29658 27631 0 -1 4202560 34083 0 1 0 178666 6 0 0 22 0 19 0 826237501 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 46912505783400 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29658/tid=29673] ppid=29656 vsize=13629604 CPUtime=0.36 cores=0,2,4,6
/proc/29658/task/29673/stat : 29673 (java) S 29656 29658 27631 0 -1 4202560 977 0 0 0 36 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29674] ppid=29656 vsize=13629604 CPUtime=0.31 cores=0,2,4,6
/proc/29658/task/29674/stat : 29674 (java) S 29656 29658 27631 0 -1 4202560 852 0 0 0 31 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 4 0 0 0
[pid=29658/tid=29675] ppid=29656 vsize=13629604 CPUtime=0.35 cores=0,2,4,6
/proc/29658/task/29675/stat : 29675 (java) S 29656 29658 27631 0 -1 4202560 1059 0 0 0 35 0 0 0 16 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29676] ppid=29656 vsize=13629604 CPUtime=0.32 cores=0,2,4,6
/proc/29658/task/29676/stat : 29676 (java) S 29656 29658 27631 0 -1 4202560 302 0 0 0 32 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29677] ppid=29656 vsize=13629604 CPUtime=0.31 cores=0,2,4,6
/proc/29658/task/29677/stat : 29677 (java) S 29656 29658 27631 0 -1 4202560 715 0 0 0 31 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29678] ppid=29656 vsize=13629604 CPUtime=0.34 cores=0,2,4,6
/proc/29658/task/29678/stat : 29678 (java) S 29656 29658 27631 0 -1 4202560 362 0 0 0 34 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29679] ppid=29656 vsize=13629604 CPUtime=0.32 cores=0,2,4,6
/proc/29658/task/29679/stat : 29679 (java) S 29656 29658 27631 0 -1 4202560 500 0 0 0 32 0 0 0 16 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29680] ppid=29656 vsize=13629604 CPUtime=0.31 cores=0,2,4,6
/proc/29658/task/29680/stat : 29680 (java) S 29656 29658 27631 0 -1 4202560 1346 0 0 0 31 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29681] ppid=29656 vsize=13629604 CPUtime=9.47 cores=0,2,4,6
/proc/29658/task/29681/stat : 29681 (java) S 29656 29658 27631 0 -1 4202560 5417 0 0 0 944 3 0 0 15 0 19 0 826237505 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 0 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29682] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29682/stat : 29682 (java) S 29656 29658 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826237506 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29683] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29683/stat : 29683 (java) S 29656 29658 27631 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826237506 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29689] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29689/stat : 29689 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528657841 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29690] ppid=29656 vsize=13629604 CPUtime=0.67 cores=0,2,4,6
/proc/29658/task/29690/stat : 29690 (java) S 29656 29658 27631 0 -1 4202560 4190 0 0 0 67 0 0 0 15 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29691] ppid=29656 vsize=13629604 CPUtime=0.52 cores=0,2,4,6
/proc/29658/task/29691/stat : 29691 (java) S 29656 29658 27631 0 -1 4202560 3417 0 0 0 52 0 0 0 15 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29692] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29692/stat : 29692 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29693] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29693/stat : 29693 (java) S 29656 29658 27631 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29695] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29695/stat : 29695 (java) S 29656 29658 27631 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826237559 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13629604

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

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

[startup+1797.3 s]
/proc/loadavg: 2.06 2.06 2.00 4/461 29743
/proc/meminfo: memFree=25630260/32951124 swapFree=44043516/67111528
[pid=29658] ppid=29656 vsize=13629604 CPUtime=1800.08 cores=0,2,4,6
/proc/29658/stat : 29658 (java) S 29656 29658 27631 0 -1 4202496 54475 0 1 0 179995 13 0 0 22 0 19 0 826237501 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29658/statm: 3407401 50030 2265 9 0 3398135 0
[pid=29658/tid=29660] ppid=29656 vsize=13629604 CPUtime=1786.72 cores=0,2,4,6
/proc/29658/task/29660/stat : 29660 (java) R 29656 29658 27631 0 -1 4202560 34083 0 1 0 178666 6 0 0 22 0 19 0 826237501 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 46912505783400 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29658/tid=29673] ppid=29656 vsize=13629604 CPUtime=0.36 cores=0,2,4,6
/proc/29658/task/29673/stat : 29673 (java) S 29656 29658 27631 0 -1 4202560 977 0 0 0 36 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29674] ppid=29656 vsize=13629604 CPUtime=0.31 cores=0,2,4,6
/proc/29658/task/29674/stat : 29674 (java) S 29656 29658 27631 0 -1 4202560 852 0 0 0 31 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 4 0 0 0
[pid=29658/tid=29675] ppid=29656 vsize=13629604 CPUtime=0.35 cores=0,2,4,6
/proc/29658/task/29675/stat : 29675 (java) S 29656 29658 27631 0 -1 4202560 1059 0 0 0 35 0 0 0 16 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29676] ppid=29656 vsize=13629604 CPUtime=0.32 cores=0,2,4,6
/proc/29658/task/29676/stat : 29676 (java) S 29656 29658 27631 0 -1 4202560 302 0 0 0 32 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29677] ppid=29656 vsize=13629604 CPUtime=0.31 cores=0,2,4,6
/proc/29658/task/29677/stat : 29677 (java) S 29656 29658 27631 0 -1 4202560 715 0 0 0 31 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29678] ppid=29656 vsize=13629604 CPUtime=0.34 cores=0,2,4,6
/proc/29658/task/29678/stat : 29678 (java) S 29656 29658 27631 0 -1 4202560 362 0 0 0 34 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29679] ppid=29656 vsize=13629604 CPUtime=0.32 cores=0,2,4,6
/proc/29658/task/29679/stat : 29679 (java) S 29656 29658 27631 0 -1 4202560 500 0 0 0 32 0 0 0 16 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29680] ppid=29656 vsize=13629604 CPUtime=0.31 cores=0,2,4,6
/proc/29658/task/29680/stat : 29680 (java) S 29656 29658 27631 0 -1 4202560 1346 0 0 0 31 0 0 0 15 0 19 0 826237504 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29681] ppid=29656 vsize=13629604 CPUtime=9.47 cores=0,2,4,6
/proc/29658/task/29681/stat : 29681 (java) S 29656 29658 27631 0 -1 4202560 5417 0 0 0 944 3 0 0 15 0 19 0 826237505 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 0 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29682] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29682/stat : 29682 (java) S 29656 29658 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826237506 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29683] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29683/stat : 29683 (java) S 29656 29658 27631 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826237506 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29689] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29689/stat : 29689 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528657841 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29690] ppid=29656 vsize=13629604 CPUtime=0.67 cores=0,2,4,6
/proc/29658/task/29690/stat : 29690 (java) S 29656 29658 27631 0 -1 4202560 4190 0 0 0 67 0 0 0 15 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 6 0 0 0
[pid=29658/tid=29691] ppid=29656 vsize=13629604 CPUtime=0.52 cores=0,2,4,6
/proc/29658/task/29691/stat : 29691 (java) S 29656 29658 27631 0 -1 4202560 3417 0 0 0 52 0 0 0 15 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29692] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29692/stat : 29692 (java) S 29656 29658 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650137 0 4 0 16800975 18446604445818296384 0 0 -1 2 0 0 0
[pid=29658/tid=29693] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29693/stat : 29693 (java) S 29656 29658 27631 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826237508 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
[pid=29658/tid=29695] ppid=29656 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/29658/task/29695/stat : 29695 (java) S 29656 29658 27631 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826237559 13956714496 50030 33554432000 1073741824 1073778376 140735914071168 18446744073709551615 246528650752 0 4 0 16800975 18446604445818296384 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13629604

Child status: 143
Real time (s): 1797.38
CPU time (s): 1800.16
CPU user time (s): 1800.01
CPU system time (s): 0.147977
CPU usage (%): 100.155
Max. virtual memory (cumulated for all children) (KiB): 13631900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54529
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= 45829
involuntary context switches= 23319

runsolver used 8.12776 second user time and 16.6855 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-04 02:13:13
IDJOB=3458911
IDBENCH=2006
IDSOLVER=1952
FILE ID=node134/3458911-1307146393
RUNJOBID= node134-1307146393-29638
PBS_JOBID= 13508782
Free space on /tmp= 74000 MiB

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

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

MD5SUM BENCH= d431323968e1ca4dc95d181076d01437
RANDOM SEED=581828589

node134.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.831
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.66
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.831
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.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
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.83
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.831
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.75
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25922000 kB
Buffers:        281476 kB
Cached:         624784 kB
SwapCached:       9536 kB
Active:        6132412 kB
Inactive:       604348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25922000 kB
SwapTotal:    67111528 kB
SwapFree:     44043516 kB
Dirty:            1644 kB
Writeback:          56 kB
AnonPages:     5828820 kB
Mapped:          23996 kB
Slab:           136404 kB
PageTables:      89448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115210124 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74000 MiB
End job on node134 at 2011-06-04 02:43:12