Trace number 3687733

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)21 1800.02 1790.56

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-jac3.opb
MD5SUM05a03b946ede4da21fcf30fd621632f5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark0.294954
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of variables1731
Total number of constraints1254
Number of constraints which are clauses1254
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint694
Number of terms in the objective function 1731
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1731
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1731
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687733-1337875502.opb
0.09/0.11	c reading problem ... 
0.57/0.30	c ... done. Wall clock time 0.194s.
0.57/0.30	c declared #vars     1731
0.57/0.30	c #constraints  1254
0.57/0.30	c constraints type 
0.57/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1056
0.57/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 198
0.57/0.31	c 1254 constraints processed.
0.57/0.31	c objective function length is 1731 literals
0.57/0.34	c SATISFIABLE
0.57/0.34	c OPTIMIZING...
0.57/0.34	c Got one! Elapsed wall clock time (in seconds):0.226
0.57/0.34	o 26
1.92/1.35	c cleaning 2501 clauses out of 5001 with flag 5000/5001
3.09/2.47	c cleaning 4250 clauses out of 8500 with flag 11000/11001
4.50/3.80	c cleaning 5625 clauses out of 11250 with flag 18000/18001
6.23/5.55	c cleaning 6792 clauses out of 13625 with flag 26000/26001
8.38/7.61	c cleaning 7884 clauses out of 15833 with flag 35000/35001
10.82/10.08	c cleaning 8916 clauses out of 17949 with flag 45000/45001
13.88/13.02	c cleaning 9999 clauses out of 20038 with flag 56005/56006
16.89/16.09	c cleaning 10949 clauses out of 22034 with flag 68000/68001
20.30/19.49	c cleaning 12043 clauses out of 24096 with flag 81011/81012
24.41/23.52	c cleaning 12872 clauses out of 26042 with flag 95000/95001
28.85/27.94	c cleaning 14082 clauses out of 28175 with flag 110005/110006
32.06/31.11	c cleaning 15046 clauses out of 30091 with flag 126003/126004
36.47/35.54	c cleaning 15994 clauses out of 32042 with flag 143000/143001
40.61/39.63	c cleaning 17004 clauses out of 34050 with flag 161002/161003
43.53/42.58	c cleaning 17998 clauses out of 36045 with flag 180001/180002
46.96/45.94	c cleaning 18972 clauses out of 38046 with flag 200000/200001
50.87/49.88	c cleaning 20019 clauses out of 40074 with flag 221000/221001
55.09/54.01	c cleaning 20997 clauses out of 42055 with flag 243000/243001
59.53/58.43	c cleaning 22004 clauses out of 44059 with flag 266001/266002
64.34/63.24	c cleaning 23006 clauses out of 46054 with flag 290000/290001
69.06/67.96	c cleaning 23996 clauses out of 48048 with flag 315000/315001
73.98/72.89	c cleaning 24833 clauses out of 50052 with flag 341000/341001
80.72/79.55	c cleaning 26037 clauses out of 52219 with flag 368000/368001
87.05/85.86	c cleaning 26973 clauses out of 54182 with flag 396000/396001
92.85/91.68	c cleaning 28067 clauses out of 56209 with flag 425000/425001
99.18/97.94	c cleaning 29009 clauses out of 58142 with flag 455000/455001
108.30/107.06	c cleaning 30004 clauses out of 60135 with flag 486002/486003
115.23/113.96	c cleaning 31034 clauses out of 62130 with flag 518001/518002
127.70/126.37	c cleaning 32017 clauses out of 64095 with flag 551000/551001
135.06/133.65	c cleaning 33008 clauses out of 66078 with flag 585000/585001
138.59/137.15	c Got one! Elapsed wall clock time (in seconds):137.043
138.59/137.15	o 25
139.39/137.91	c cleaning 28397 clauses out of 56806 with flag 5000/608737
140.44/138.94	c cleaning 17189 clauses out of 34416 with flag 11007/614744
141.85/140.32	c cleaning 12080 clauses out of 24220 with flag 18000/621737
143.25/141.70	c cleaning 10055 clauses out of 20144 with flag 26004/629741
144.77/143.25	c cleaning 9536 clauses out of 19105 with flag 35020/638757
146.69/145.13	c cleaning 9752 clauses out of 19549 with flag 45000/648737
149.49/147.93	c cleaning 10371 clauses out of 20800 with flag 56003/659740
152.40/150.88	c cleaning 11117 clauses out of 22426 with flag 68000/671737
154.92/153.34	c cleaning 12123 clauses out of 24309 with flag 81000/684737
158.23/156.67	c cleaning 13042 clauses out of 26187 with flag 95001/698738
160.84/159.29	c cleaning 14031 clauses out of 28144 with flag 110000/713737
165.14/163.56	c cleaning 15007 clauses out of 30113 with flag 126000/729737
168.56/166.97	c cleaning 16021 clauses out of 32106 with flag 143000/746737
171.88/170.26	c cleaning 16982 clauses out of 34085 with flag 161000/764737
176.18/174.51	c cleaning 18010 clauses out of 36103 with flag 180000/783737
179.70/178.04	c cleaning 19041 clauses out of 38096 with flag 200003/803740
184.33/182.66	c cleaning 20025 clauses out of 40052 with flag 221000/824737
188.86/187.13	c cleaning 20963 clauses out of 42032 with flag 243005/846742
194.48/192.73	c cleaning 22000 clauses out of 44064 with flag 266000/869737
201.52/199.72	c cleaning 22972 clauses out of 46064 with flag 290000/893737
207.34/205.58	c cleaning 23990 clauses out of 48100 with flag 315008/918745
214.37/212.53	c cleaning 25030 clauses out of 50103 with flag 341001/944738
221.21/219.38	c cleaning 26010 clauses out of 52072 with flag 368000/971737
227.83/225.93	c cleaning 27013 clauses out of 54064 with flag 396002/999739
234.85/232.98	c cleaning 27999 clauses out of 56049 with flag 425000/1028737
241.37/239.47	c cleaning 28984 clauses out of 58050 with flag 455000/1058737
249.10/247.19	c cleaning 29994 clauses out of 60066 with flag 486000/1089737
258.43/256.44	c cleaning 30958 clauses out of 62072 with flag 518000/1121737
266.47/264.45	c cleaning 31981 clauses out of 64118 with flag 551004/1154741
274.88/272.87	c cleaning 33067 clauses out of 66133 with flag 585000/1188737
281.90/279.81	c cleaning 33900 clauses out of 68067 with flag 620001/1223738
291.83/289.77	c cleaning 34988 clauses out of 70166 with flag 656000/1259737
300.48/298.31	c cleaning 36011 clauses out of 72178 with flag 693000/1296737
309.77/307.57	c cleaning 37017 clauses out of 74167 with flag 731000/1334737
319.71/317.50	c cleaning 38011 clauses out of 76150 with flag 770000/1373737
327.59/325.25	c cleaning 39070 clauses out of 78139 with flag 810000/1413737
337.13/334.70	c cleaning 39989 clauses out of 80071 with flag 851002/1454739
347.85/345.44	c cleaning 40956 clauses out of 82080 with flag 893000/1496737
358.98/356.50	c cleaning 42011 clauses out of 84124 with flag 936000/1539737
372.54/370.03	c cleaning 43050 clauses out of 86119 with flag 980006/1583743
378.33/375.77	c Got one! Elapsed wall clock time (in seconds):375.661
378.33/375.77	o 24
378.78/376.20	c cleaning 37667 clauses out of 75349 with flag 5002/1616023
379.44/376.77	c cleaning 21806 clauses out of 43680 with flag 11000/1622021
380.67/377.99	c cleaning 14407 clauses out of 28874 with flag 18000/1629021
382.19/379.46	c cleaning 11177 clauses out of 22469 with flag 26002/1637023
383.81/381.09	c cleaning 10117 clauses out of 20291 with flag 35001/1646022
385.91/383.11	c cleaning 10009 clauses out of 20173 with flag 45000/1656021
387.94/385.19	c cleaning 10529 clauses out of 21164 with flag 56000/1667021
390.17/387.39	c cleaning 11258 clauses out of 22635 with flag 68000/1679021
392.78/389.97	c cleaning 12114 clauses out of 24377 with flag 81000/1692021
395.81/392.99	c cleaning 13060 clauses out of 26263 with flag 95000/1706021
398.72/395.89	c cleaning 14088 clauses out of 28207 with flag 110004/1721025
402.15/399.26	c cleaning 15028 clauses out of 30115 with flag 126000/1737021
406.47/403.52	c cleaning 15928 clauses out of 32087 with flag 143000/1754021
409.77/406.88	c cleaning 17079 clauses out of 34159 with flag 161000/1772021
414.70/411.71	c cleaning 17962 clauses out of 36080 with flag 180000/1791021
419.14/416.16	c cleaning 18999 clauses out of 38118 with flag 200000/1811021
423.58/420.50	c cleaning 20002 clauses out of 40119 with flag 221000/1832021
428.21/425.10	c cleaning 21059 clauses out of 42118 with flag 243001/1854022
434.25/431.12	c cleaning 21990 clauses out of 44058 with flag 266000/1877021
440.08/436.99	c cleaning 23032 clauses out of 46069 with flag 290001/1901022
446.24/443.01	c cleaning 23894 clauses out of 48036 with flag 315000/1926021
454.66/451.40	c cleaning 24913 clauses out of 50142 with flag 341000/1952021
460.40/457.19	c cleaning 26085 clauses out of 52229 with flag 368000/1979021
465.73/462.48	c Got one! Elapsed wall clock time (in seconds):462.368
465.73/462.48	o 23
466.54/463.22	c cleaning 29014 clauses out of 58033 with flag 5003/2010910
467.67/464.34	c cleaning 17490 clauses out of 35019 with flag 11003/2016910
469.07/465.75	c cleaning 12209 clauses out of 24526 with flag 18000/2023907
470.58/467.23	c cleaning 10130 clauses out of 20317 with flag 26000/2031907
472.18/468.87	c cleaning 9573 clauses out of 19187 with flag 35000/2040907
474.00/470.64	c cleaning 9774 clauses out of 19617 with flag 45003/2050910
476.11/472.77	c cleaning 10346 clauses out of 20844 with flag 56004/2061911
478.42/475.01	c cleaning 11247 clauses out of 22495 with flag 68001/2073908
480.85/477.45	c cleaning 12029 clauses out of 24247 with flag 81000/2086907
483.45/480.04	c cleaning 13103 clauses out of 26218 with flag 95000/2100907
486.47/483.08	c cleaning 14035 clauses out of 28115 with flag 110000/2115907
489.69/486.28	c cleaning 15000 clauses out of 30080 with flag 126000/2131907
492.79/489.34	c cleaning 15998 clauses out of 32080 with flag 143000/2148907
495.90/492.50	c cleaning 17021 clauses out of 34082 with flag 161000/2166907
499.22/495.74	c cleaning 18000 clauses out of 36062 with flag 180001/2185908
503.14/499.65	c cleaning 19023 clauses out of 38061 with flag 200000/2205907
507.38/503.85	c cleaning 19971 clauses out of 40038 with flag 221000/2226907
511.91/508.37	c cleaning 21009 clauses out of 42074 with flag 243007/2248914
516.43/512.83	c cleaning 22017 clauses out of 44061 with flag 266003/2271910
521.05/517.41	c cleaning 22988 clauses out of 46041 with flag 290000/2295907
526.09/522.46	c cleaning 23966 clauses out of 48053 with flag 315000/2320907
530.90/527.23	c cleaning 25020 clauses out of 50087 with flag 341000/2346907
536.54/532.87	c cleaning 26004 clauses out of 52067 with flag 368000/2373907
542.99/539.29	c cleaning 26998 clauses out of 54063 with flag 396000/2401907
549.31/545.56	c cleaning 27951 clauses out of 56065 with flag 425000/2430907
554.94/551.17	c cleaning 29020 clauses out of 58114 with flag 455000/2460907
561.27/557.43	c cleaning 30008 clauses out of 60094 with flag 486000/2491907
567.50/563.67	c cleaning 30951 clauses out of 62086 with flag 518000/2523907
574.21/570.37	c cleaning 32025 clauses out of 64138 with flag 551003/2556910
581.93/578.08	c cleaning 33034 clauses out of 66118 with flag 585008/2590915
589.19/585.29	c cleaning 33988 clauses out of 68076 with flag 620000/2625907
596.32/592.31	c cleaning 34949 clauses out of 70088 with flag 656000/2661907
604.46/600.47	c cleaning 36045 clauses out of 72141 with flag 693002/2698909
612.11/608.00	c cleaning 37002 clauses out of 74094 with flag 731000/2736907
614.43/610.36	c Got one! Elapsed wall clock time (in seconds):610.246
614.43/610.36	o 22
614.86/610.76	c cleaning 27550 clauses out of 55154 with flag 5000/2754969
615.39/611.27	c cleaning 16797 clauses out of 33605 with flag 11001/2760970
616.00/611.81	c cleaning 11894 clauses out of 23807 with flag 18000/2767969
616.62/612.42	c cleaning 9948 clauses out of 19914 with flag 26001/2775970
617.23/613.06	c cleaning 9467 clauses out of 18965 with flag 35000/2784969
618.04/613.86	c cleaning 9739 clauses out of 19498 with flag 45000/2794969
618.84/614.69	c cleaning 10367 clauses out of 20759 with flag 56000/2805969
619.78/615.59	c cleaning 11181 clauses out of 22392 with flag 68000/2817969
620.90/616.61	c cleaning 12091 clauses out of 24211 with flag 81000/2830969
622.01/617.70	c cleaning 13045 clauses out of 26120 with flag 95000/2844969
623.22/618.92	c cleaning 14017 clauses out of 28075 with flag 110000/2859969
624.53/620.24	c cleaning 15019 clauses out of 30059 with flag 126001/2875970
625.95/621.69	c cleaning 16000 clauses out of 32039 with flag 143000/2892969
627.56/623.24	c cleaning 17008 clauses out of 34040 with flag 161001/2910970
629.29/624.95	c cleaning 17999 clauses out of 36031 with flag 180000/2929969
631.11/626.72	c cleaning 18990 clauses out of 38032 with flag 200000/2949969
632.91/628.57	c cleaning 20005 clauses out of 40042 with flag 221000/2970969
635.25/630.87	c cleaning 20998 clauses out of 42037 with flag 243000/2992969
641.98/637.58	c cleaning 22005 clauses out of 44039 with flag 266000/3015969
649.12/644.61	c cleaning 22988 clauses out of 46034 with flag 290000/3039969
654.55/650.05	c cleaning 23976 clauses out of 48046 with flag 315000/3064969
660.20/655.62	c cleaning 25013 clauses out of 50070 with flag 341000/3090969
666.24/661.64	c cleaning 26014 clauses out of 52057 with flag 368000/3117969
672.38/667.73	c cleaning 27012 clauses out of 54050 with flag 396007/3145976
678.92/674.21	c cleaning 27976 clauses out of 56067 with flag 425036/3175005
685.55/680.83	c cleaning 29001 clauses out of 58055 with flag 455000/3204969
694.48/689.70	c cleaning 29921 clauses out of 60055 with flag 486001/3235970
704.80/700.08	c cleaning 31010 clauses out of 62134 with flag 518001/3267970
715.08/710.20	c cleaning 32030 clauses out of 64126 with flag 551003/3300972
723.23/718.34	c cleaning 33028 clauses out of 66093 with flag 585000/3334969
732.17/727.21	c cleaning 34017 clauses out of 68065 with flag 620000/3369969
745.33/740.39	c cleaning 34967 clauses out of 70082 with flag 656034/3406003
756.27/751.27	c cleaning 36023 clauses out of 72082 with flag 693001/3442970
765.82/760.72	c cleaning 37021 clauses out of 74059 with flag 731001/3480970
774.48/769.35	c cleaning 37792 clauses out of 76037 with flag 770000/3519969
785.60/780.44	c cleaning 39107 clauses out of 78245 with flag 810000/3559969
803.75/798.55	c cleaning 40024 clauses out of 80139 with flag 851001/3600970
813.00/807.77	c cleaning 40920 clauses out of 82114 with flag 893000/3642969
822.63/817.33	c cleaning 42094 clauses out of 84194 with flag 936000/3685969
833.06/827.71	c cleaning 42924 clauses out of 86100 with flag 980000/3729969
856.38/851.05	c cleaning 43839 clauses out of 88177 with flag 1025001/3774970
867.72/862.33	c cleaning 45032 clauses out of 90337 with flag 1071000/3820969
892.46/887.06	c cleaning 46024 clauses out of 92305 with flag 1118000/3867969
904.31/898.82	c cleaning 47117 clauses out of 94281 with flag 1166000/3915969
916.06/910.54	c cleaning 47933 clauses out of 96164 with flag 1215000/3964969
944.34/938.73	c cleaning 49098 clauses out of 98231 with flag 1265000/4014969
959.93/954.28	c cleaning 50038 clauses out of 100133 with flag 1316000/4065969
977.12/971.33	c cleaning 51013 clauses out of 102095 with flag 1368000/4117969
989.99/984.11	c cleaning 52041 clauses out of 104082 with flag 1421000/4170969
1011.78/1005.86	c cleaning 52975 clauses out of 106044 with flag 1475003/4224972
1032.86/1026.83	c cleaning 54006 clauses out of 108067 with flag 1530001/4279970
1048.69/1042.58	c cleaning 54953 clauses out of 110064 with flag 1586004/4335973
1066.24/1060.01	c cleaning 55949 clauses out of 112107 with flag 1643000/4392969
1086.31/1080.10	c cleaning 57087 clauses out of 114182 with flag 1701024/4450993
1119.78/1113.44	c cleaning 57932 clauses out of 116071 with flag 1760000/4509969
1150.24/1143.86	c cleaning 58972 clauses out of 118140 with flag 1820001/4569970
1177.70/1171.26	c cleaning 60057 clauses out of 120174 with flag 1881007/4630976
1197.82/1191.21	c cleaning 60989 clauses out of 122110 with flag 1943000/4692969
1222.23/1215.52	c cleaning 62055 clauses out of 124149 with flag 2006028/4755997
1245.03/1238.20	c cleaning 62968 clauses out of 126066 with flag 2070000/4819969
1267.62/1260.77	c cleaning 64021 clauses out of 128098 with flag 2135000/4884969
1292.06/1285.15	c cleaning 65017 clauses out of 130087 with flag 2201010/4950979
1312.34/1305.30	c cleaning 65926 clauses out of 132060 with flag 2268000/5017969
1331.91/1324.87	c cleaning 67064 clauses out of 134141 with flag 2336007/5085976
1357.14/1349.93	c cleaning 67985 clauses out of 136071 with flag 2405001/5154970
1364.33/1357.08	c Got one! Elapsed wall clock time (in seconds):1356.971
1364.33/1357.08	o 21
1364.93/1357.61	c cleaning 52332 clauses out of 104691 with flag 5001/5191575
1365.47/1358.14	c cleaning 29175 clauses out of 58359 with flag 11001/5197575
1366.09/1358.70	c cleaning 18076 clauses out of 36188 with flag 18005/5204579
1366.61/1359.28	c cleaning 13047 clauses out of 26107 with flag 26000/5212574
1367.32/1359.96	c cleaning 11021 clauses out of 22060 with flag 35000/5221574
1368.14/1360.75	c cleaning 10509 clauses out of 21041 with flag 45002/5231576
1368.93/1361.54	c cleaning 10761 clauses out of 21534 with flag 56004/5242578
1369.85/1362.44	c cleaning 11378 clauses out of 22773 with flag 68004/5254578
1370.87/1363.40	c cleaning 12187 clauses out of 24391 with flag 81000/5267574
1371.89/1364.45	c cleaning 13091 clauses out of 26204 with flag 95000/5281574
1373.09/1365.60	c cleaning 14044 clauses out of 28114 with flag 110001/5296575
1374.22/1366.76	c cleaning 15026 clauses out of 30070 with flag 126001/5312575
1375.62/1368.11	c cleaning 16008 clauses out of 32043 with flag 143000/5329574
1377.23/1369.73	c cleaning 17003 clauses out of 34035 with flag 161000/5347574
1379.06/1371.52	c cleaning 18009 clauses out of 36035 with flag 180003/5366577
1380.77/1373.23	c cleaning 19002 clauses out of 38023 with flag 200000/5386574
1382.58/1375.01	c cleaning 19991 clauses out of 40021 with flag 221000/5407574
1384.50/1376.98	c cleaning 21004 clauses out of 42030 with flag 243000/5429574
1386.52/1378.96	c cleaning 22001 clauses out of 44027 with flag 266001/5452575
1388.64/1381.05	c cleaning 23002 clauses out of 46027 with flag 290002/5476576
1392.87/1385.29	c cleaning 23952 clauses out of 48023 with flag 315000/5501574
1398.61/1390.92	c cleaning 25000 clauses out of 50071 with flag 341000/5527574
1404.24/1396.56	c cleaning 26037 clauses out of 52073 with flag 368002/5554576
1409.70/1401.99	c cleaning 26986 clauses out of 54035 with flag 396001/5582575
1415.34/1407.50	c cleaning 28006 clauses out of 56048 with flag 425000/5611574
1421.50/1413.68	c cleaning 29004 clauses out of 58042 with flag 455000/5641574
1428.95/1421.06	c cleaning 29949 clauses out of 60038 with flag 486000/5672574
1436.68/1428.75	c cleaning 31012 clauses out of 62095 with flag 518006/5704580
1449.22/1441.28	c cleaning 31873 clauses out of 64077 with flag 551000/5737574
1458.55/1450.58	c cleaning 33057 clauses out of 66204 with flag 585000/5771574
1466.21/1458.18	c cleaning 34055 clauses out of 68148 with flag 620001/5806575
1475.45/1467.31	c cleaning 35019 clauses out of 70092 with flag 656000/5842574
1485.69/1477.52	c cleaning 35989 clauses out of 72073 with flag 693000/5879574
1493.86/1485.68	c cleaning 36922 clauses out of 74084 with flag 731000/5917574
1504.70/1496.45	c cleaning 38038 clauses out of 76186 with flag 770024/5956598
1513.46/1505.14	c cleaning 38982 clauses out of 78124 with flag 810000/5996574
1524.23/1515.88	c cleaning 40032 clauses out of 80142 with flag 851000/6037574
1534.75/1526.39	c cleaning 40982 clauses out of 82110 with flag 893000/6079574
1553.20/1544.79	c cleaning 41996 clauses out of 84128 with flag 936000/6122574
1566.19/1557.65	c cleaning 43018 clauses out of 86134 with flag 980002/6166576
1578.05/1569.40	c cleaning 44019 clauses out of 88114 with flag 1025000/6211574
1589.93/1581.28	c cleaning 45003 clauses out of 90099 with flag 1071004/6257578
1600.99/1592.21	c cleaning 45995 clauses out of 92092 with flag 1118000/6304574
1612.32/1603.59	c cleaning 47007 clauses out of 94097 with flag 1166000/6352574
1625.60/1616.70	c cleaning 48002 clauses out of 96090 with flag 1215000/6401574
1638.18/1629.28	c cleaning 49003 clauses out of 98088 with flag 1265000/6451574
1650.80/1641.81	c cleaning 50018 clauses out of 100087 with flag 1316002/6502576
1673.23/1664.23	c cleaning 50789 clauses out of 102067 with flag 1368000/6554574
1684.84/1675.83	c cleaning 52085 clauses out of 104283 with flag 1421005/6607579
1703.11/1694.02	c cleaning 52865 clauses out of 106193 with flag 1475000/6661574
1720.76/1711.64	c cleaning 54053 clauses out of 108330 with flag 1530002/6716576
1742.70/1733.57	c cleaning 55066 clauses out of 110275 with flag 1586000/6772574
1765.89/1756.63	c cleaning 56067 clauses out of 112214 with flag 1643005/6829579
1778.96/1769.69	c cleaning 57055 clauses out of 114148 with flag 1701006/6887580
1795.93/1786.56	c cleaning 57987 clauses out of 116087 with flag 1760000/6946574
1800.02/1790.51	c starts		: 300
1800.02/1790.51	c conflicts		: 6970445
1800.02/1790.51	c decisions		: 134396083
1800.02/1790.51	c propagations		: 1844590163
1800.02/1790.51	c inspects		: 3619085578
1800.02/1790.51	c shortcuts		: 0
1800.02/1790.51	c learnt literals	: 0
1800.02/1790.51	c learnt binary clauses	: 0
1800.02/1790.51	c learnt ternary clauses	: 0
1800.02/1790.51	c learnt constraints	: 6970445
1800.02/1790.51	c ignored constraints	: 0
1800.02/1790.51	c root simplifications	: 0
1800.02/1790.51	c removed literals (reason simplification)	: 0
1800.02/1790.51	c reason swapping (by a shorter reason)	: 0
1800.02/1790.51	c Calls to reduceDB	: 247
1800.02/1790.51	c number of reductions to clauses (during analyze)	: 0
1800.02/1790.51	c number of learned constraints concerned by reduction	: 0
1800.02/1790.51	c number of learning phase by resolution	: 0
1800.02/1790.51	c number of learning phase by cutting planes	: 0
1800.02/1790.51	c speed (assignments/second)	: 1030386.7775076639
1800.02/1790.51	c non guided choices	0
1800.02/1790.54	c learnt constraints type 
1800.02/1790.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 82126
1800.02/1790.54	c constraints type 
1800.02/1790.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1056
1800.02/1790.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.02/1790.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 198
1800.02/1790.54	c 1255 constraints processed.
1800.02/1790.54	s SATISFIABLE
1800.02/1790.55	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 
1800.02/1790.55	c objective function=21
1800.02/1790.55	c Total wall clock time (in seconds): 1790.434

Verifier Data 

OK	21

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687733-1337875502/watcher-3687733-1337875502 -o /tmp/evaluation-result-3687733-1337875502/solver-3687733-1337875502 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687733-1337875502.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.01 1.92 3/192 24550
/proc/meminfo: memFree=29333612/32873852 swapFree=7616/7616
[pid=24550] ppid=24548 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24550/stat : 24550 (java) D 24548 24550 23289 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 253675663 9515008 182 33554432000 1073741824 1073778376 140733633992304 140733633983336 252263087797 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/24550/statm: 2323 182 140 9 0 71 0

[startup+0.026287 s]
/proc/loadavg: 2.03 2.01 1.92 3/192 24550
/proc/meminfo: memFree=29333612/32873852 swapFree=7616/7616
[pid=24550] ppid=24548 vsize=9014776 CPUtime=0 cores=0,2,4,6
/proc/24550/stat : 24550 (java) S 24548 24550 23289 0 -1 4202496 2228 0 1 0 0 0 0 0 20 0 10 0 253675663 9231130624 2930 33554432000 1073741824 1073778376 140735998862272 140735998853408 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24550/statm: 2253694 2930 1080 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776

[startup+0.10034 s]
/proc/loadavg: 2.03 2.01 1.92 3/192 24550
/proc/meminfo: memFree=29333612/32873852 swapFree=7616/7616
[pid=24550] ppid=24548 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/24550/stat : 24550 (java) S 24548 24550 23289 0 -1 4202496 4295 0 1 0 8 1 0 0 20 0 18 0 253675663 9787813888 5493 33554432000 1073741824 1073778376 140735998862272 140735998853408 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24550/statm: 2389603 5493 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300314 s]
/proc/loadavg: 2.03 2.01 1.92 3/192 24550
/proc/meminfo: memFree=29333612/32873852 swapFree=7616/7616
[pid=24550] ppid=24548 vsize=9558412 CPUtime=0.57 cores=0,2,4,6
/proc/24550/stat : 24550 (java) S 24548 24550 23289 0 -1 4202496 7748 0 1 0 54 3 0 0 20 0 18 0 253675663 9787813888 10322 33554432000 1073741824 1073778376 140735998862272 140735998853408 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24550/statm: 2389603 10322 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558412

[startup+0.700294 s]
/proc/loadavg: 2.03 2.01 1.92 3/192 24550
/proc/meminfo: memFree=29333612/32873852 swapFree=7616/7616
[pid=24550] ppid=24548 vsize=9624976 CPUtime=1.31 cores=0,2,4,6
/proc/24550/stat : 24550 (java) S 24548 24550 23289 0 -1 4202496 9390 0 1 0 128 3 0 0 20 0 19 0 253675663 9855975424 12247 33554432000 1073741824 1073778376 140735998862272 140735998853408 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24550/statm: 2406244 12247 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9624976

[startup+1.50073 s]
/proc/loadavg: 2.03 2.01 1.92 3/211 24569
/proc/meminfo: memFree=29290584/32873852 swapFree=7616/7616
[pid=24550] ppid=24548 vsize=9624976 CPUtime=2.16 cores=0,2,4,6
/proc/24550/stat : 24550 (java) S 24548 24550 23289 0 -1 4202496 9451 0 1 0 213 3 0 0 20 0 19 0 253675663 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140735998853408 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24550/statm: 2406244 15878 2275 9 0 2396937 0
[pid=24550/tid=24552] ppid=24548 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/24550/task/24552/stat : 24552 (java) R 24548 24550 23289 0 -1 4202560 2462 0 1 0 143 1 0 0 20 0 19 0 253675664 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323746316696 140323577724074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24553] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24553/stat : 24553 (java) S 24548 24550 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323707808040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24554] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24554/stat : 24554 (java) S 24548 24550 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323706755240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24555] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24555/stat : 24555 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323705702952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24556] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24556/stat : 24556 (java) S 24548 24550 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323704650152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24557] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24557/stat : 24557 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323703597864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24558] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24558/stat : 24558 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323702545064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24559] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24559/stat : 24559 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323701492776 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24560] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24560/stat : 24560 (java) S 24548 24550 23289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323700439976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24561] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24561/stat : 24561 (java) S 24548 24550 23289 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 253675666 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323570284776 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24562] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24562/stat : 24562 (java) S 24548 24550 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253675667 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323569230840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24563] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24563/stat : 24563 (java) S 24548 24550 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675667 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323568178440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24564] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24564/stat : 24564 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323567126928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24565] ppid=24548 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/24550/task/24565/stat : 24565 (java) S 24548 24550 23289 0 -1 4202560 2830 0 0 0 32 0 0 0 20 0 19 0 253675669 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323566074552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24566] ppid=24548 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/24550/task/24566/stat : 24566 (java) S 24548 24550 23289 0 -1 4202560 2919 0 0 0 32 0 0 0 20 0 19 0 253675669 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323565021752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24567] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24567/stat : 24567 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323563969656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24568] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24568/stat : 24568 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140323562917064 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24569] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24569/stat : 24569 (java) S 24548 24550 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675695 9855975424 15878 33554432000 1073741824 1073778376 140735998862272 140322554241960 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9624976

[startup+3.10066 s]
/proc/loadavg: 2.03 2.01 1.92 3/211 24569
/proc/meminfo: memFree=29278668/32873852 swapFree=7616/7616
[pid=24550] ppid=24548 vsize=9624976 CPUtime=3.8 cores=0,2,4,6
/proc/24550/stat : 24550 (java) S 24548 24550 23289 0 -1 4202496 9479 0 1 0 376 4 0 0 20 0 19 0 253675663 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140735998853408 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24550/statm: 2406244 17939 2275 9 0 2396937 0
[pid=24550/tid=24552] ppid=24548 vsize=9624976 CPUtime=3.02 cores=0,2,4,6
/proc/24550/task/24552/stat : 24552 (java) R 24548 24550 23289 0 -1 4202560 2464 0 1 0 301 1 0 0 20 0 19 0 253675664 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323746316576 140323578322369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24553] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24553/stat : 24553 (java) S 24548 24550 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323707808040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24554] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24554/stat : 24554 (java) S 24548 24550 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323706755240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24555] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24555/stat : 24555 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323705702952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24556] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24556/stat : 24556 (java) S 24548 24550 23289 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323704650152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24557] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24557/stat : 24557 (java) S 24548 24550 23289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323703597864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24558] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24558/stat : 24558 (java) S 24548 24550 23289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323702545064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24559] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24559/stat : 24559 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323701492776 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24560] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24560/stat : 24560 (java) S 24548 24550 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323700439976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24561] ppid=24548 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24550/task/24561/stat : 24561 (java) S 24548 24550 23289 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 253675666 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323570284776 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24562] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24562/stat : 24562 (java) S 24548 24550 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253675667 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323569230840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24563] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24563/stat : 24563 (java) S 24548 24550 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675667 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323568178440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24564] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24564/stat : 24564 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323567126928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24565] ppid=24548 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/24550/task/24565/stat : 24565 (java) S 24548 24550 23289 0 -1 4202560 2830 0 0 0 34 0 0 0 20 0 19 0 253675669 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323566074552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24566] ppid=24548 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/24550/task/24566/stat : 24566 (java) S 24548 24550 23289 0 -1 4202560 2919 0 0 0 34 0 0 0 20 0 19 0 253675669 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323565021752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24567] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24567/stat : 24567 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323563969656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24568] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24568/stat : 24568 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140323562917064 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24569] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24569/stat : 24569 (java) S 24548 24550 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675695 9855975424 17939 33554432000 1073741824 1073778376 140735998862272 140322554241960 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9624976

[startup+6.30067 s]
/proc/loadavg: 2.03 2.01 1.92 3/211 24569
/proc/meminfo: memFree=29266132/32873852 swapFree=7616/7616
[pid=24550] ppid=24548 vsize=9624976 CPUtime=7.07 cores=0,2,4,6
/proc/24550/stat : 24550 (java) S 24548 24550 23289 0 -1 4202496 9688 0 1 0 702 5 0 0 20 0 19 0 253675663 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140735998853408 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24550/statm: 2406244 18928 2275 9 0 2396937 0
[pid=24550/tid=24552] ppid=24548 vsize=9624976 CPUtime=6.18 cores=0,2,4,6
/proc/24550/task/24552/stat : 24552 (java) R 24548 24550 23289 0 -1 4202560 2465 0 1 0 617 1 0 0 20 0 19 0 253675664 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323746316576 140323578287228 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24553] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24553/stat : 24553 (java) S 24548 24550 23289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323707808040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24554] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24554/stat : 24554 (java) S 24548 24550 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323706755240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24555] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24555/stat : 24555 (java) S 24548 24550 23289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323705702952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24556] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24556/stat : 24556 (java) S 24548 24550 23289 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323704650152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24557] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24557/stat : 24557 (java) S 24548 24550 23289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323703597864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24558] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24558/stat : 24558 (java) S 24548 24550 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323702545064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24559] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24559/stat : 24559 (java) S 24548 24550 23289 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323701492776 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24560] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24560/stat : 24560 (java) S 24548 24550 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675665 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323700439976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24561] ppid=24548 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/24550/task/24561/stat : 24561 (java) S 24548 24550 23289 0 -1 4202560 51 0 0 0 4 0 0 0 20 0 19 0 253675666 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323570284776 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24562] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24562/stat : 24562 (java) S 24548 24550 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253675667 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323569230840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24563] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24563/stat : 24563 (java) S 24548 24550 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675667 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323568178440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24564] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24564/stat : 24564 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323567126928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24565] ppid=24548 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/24550/task/24565/stat : 24565 (java) S 24548 24550 23289 0 -1 4202560 3004 0 0 0 39 0 0 0 20 0 19 0 253675669 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323566074552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24566] ppid=24548 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/24550/task/24566/stat : 24566 (java) S 24548 24550 23289 0 -1 4202560 2925 0 0 0 34 0 0 0 20 0 19 0 253675669 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323565021752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24567] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24567/stat : 24567 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323563969656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24568] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24568/stat : 24568 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140323562917064 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24569] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24569/stat : 24569 (java) S 24548 24550 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675695 9855975424 18928 33554432000 1073741824 1073778376 140735998862272 140322554241960 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=24550/tid=24565] ppid=24548 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/24550/task/24565/stat : 24565 (java) S 24548 24550 23289 0 -1 4202560 3294 0 0 0 54 0 0 0 20 0 19 0 253675669 9855975424 90235 33554432000 1073741824 1073778376 140735998862272 140323566074552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24566] ppid=24548 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/24550/task/24566/stat : 24566 (java) S 24548 24550 23289 0 -1 4202560 2942 0 0 0 40 0 0 0 20 0 19 0 253675669 9855975424 90235 33554432000 1073741824 1073778376 140735998862272 140323565021752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24567] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24567/stat : 24567 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 90235 33554432000 1073741824 1073778376 140735998862272 140323563969656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24568] ppid=24548 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/24550/task/24568/stat : 24568 (java) S 24548 24550 23289 0 -1 4202560 99 0 0 0 21 24 0 0 20 0 19 0 253675669 9855975424 90235 33554432000 1073741824 1073778376 140735998862272 140323562917064 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24569] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24569/stat : 24569 (java) S 24548 24550 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675695 9855975424 90235 33554432000 1073741824 1073778376 140735998862272 140322554241960 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1731.49
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/211 24645
/proc/meminfo: memFree=28861048/32873852 swapFree=7616/7616
[pid=24550] ppid=24548 vsize=9624976 CPUtime=1791.73 cores=0,2,4,6
/proc/24550/stat : 24550 (java) S 24548 24550 23289 0 -1 4202496 12106 0 1 0 179111 62 0 0 20 0 19 0 253675663 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140735998853408 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24550/statm: 2406244 93307 2276 9 0 2396937 0
[pid=24550/tid=24552] ppid=24548 vsize=9624976 CPUtime=1762.87 cores=0,2,4,6
/proc/24550/task/24552/stat : 24552 (java) R 24548 24550 23289 0 -1 4202560 2747 0 1 0 176256 31 0 0 20 0 19 0 253675664 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323746316576 140323578353810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24553] ppid=24548 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/24550/task/24553/stat : 24553 (java) S 24548 24550 23289 0 -1 4202560 252 0 0 0 140 4 0 0 20 0 19 0 253675665 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323707808040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24554] ppid=24548 vsize=9624976 CPUtime=1.36 cores=0,2,4,6
/proc/24550/task/24554/stat : 24554 (java) S 24548 24550 23289 0 -1 4202560 206 0 0 0 133 3 0 0 20 0 19 0 253675665 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323706755240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24555] ppid=24548 vsize=9624976 CPUtime=1.5 cores=0,2,4,6
/proc/24550/task/24555/stat : 24555 (java) S 24548 24550 23289 0 -1 4202560 215 0 0 0 147 3 0 0 20 0 19 0 253675665 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323705702952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24556] ppid=24548 vsize=9624976 CPUtime=1.66 cores=0,2,4,6
/proc/24550/task/24556/stat : 24556 (java) S 24548 24550 23289 0 -1 4202560 169 0 0 0 162 4 0 0 20 0 19 0 253675665 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323704650152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24557] ppid=24548 vsize=9624976 CPUtime=1.43 cores=0,2,4,6
/proc/24550/task/24557/stat : 24557 (java) S 24548 24550 23289 0 -1 4202560 273 0 0 0 139 4 0 0 20 0 19 0 253675665 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323703597864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24558] ppid=24548 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/24550/task/24558/stat : 24558 (java) S 24548 24550 23289 0 -1 4202560 153 0 0 0 141 4 0 0 20 0 19 0 253675665 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323702545064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24559] ppid=24548 vsize=9624976 CPUtime=1.49 cores=0,2,4,6
/proc/24550/task/24559/stat : 24559 (java) S 24548 24550 23289 0 -1 4202560 151 0 0 0 144 5 0 0 20 0 19 0 253675665 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323701492776 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24560] ppid=24548 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/24550/task/24560/stat : 24560 (java) S 24548 24550 23289 0 -1 4202560 260 0 0 0 140 4 0 0 20 0 19 0 253675665 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323700439976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24561] ppid=24548 vsize=9624976 CPUtime=11.28 cores=0,2,4,6
/proc/24550/task/24561/stat : 24561 (java) S 24548 24550 23289 0 -1 4202560 162 0 0 0 1126 2 0 0 20 0 19 0 253675666 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323570284776 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24562] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24562/stat : 24562 (java) S 24548 24550 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253675667 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323569230840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24563] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24563/stat : 24563 (java) S 24548 24550 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675667 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323568178440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24564] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24564/stat : 24564 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323567126928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24565] ppid=24548 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/24550/task/24565/stat : 24565 (java) S 24548 24550 23289 0 -1 4202560 3294 0 0 0 54 0 0 0 20 0 19 0 253675669 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323566074552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24566] ppid=24548 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/24550/task/24566/stat : 24566 (java) S 24548 24550 23289 0 -1 4202560 2942 0 0 0 40 0 0 0 20 0 19 0 253675669 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323565021752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24567] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24567/stat : 24567 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323563969656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24568] ppid=24548 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/24550/task/24568/stat : 24568 (java) S 24548 24550 23289 0 -1 4202560 103 0 0 0 22 26 0 0 20 0 19 0 253675669 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140323562917064 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24569] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24569/stat : 24569 (java) S 24548 24550 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675695 9855975424 93307 33554432000 1073741824 1073778376 140735998862272 140322554241960 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1791.73
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/211 24645
/proc/meminfo: memFree=28861048/32873852 swapFree=7616/7616
[pid=24550] ppid=24548 vsize=9624976 CPUtime=1800.02 cores=0,2,4,6
/proc/24550/stat : 24550 (java) S 24548 24550 23289 0 -1 4202496 12115 0 1 0 179940 62 0 0 20 0 19 0 253675663 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140735998853408 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24550/statm: 2406244 93315 2276 9 0 2396937 0
[pid=24550/tid=24552] ppid=24548 vsize=9624976 CPUtime=1770.95 cores=0,2,4,6
/proc/24550/task/24552/stat : 24552 (java) R 24548 24550 23289 0 -1 4202560 2748 0 1 0 177064 31 0 0 20 0 19 0 253675664 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323746316576 140323578330192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24553] ppid=24548 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/24550/task/24553/stat : 24553 (java) S 24548 24550 23289 0 -1 4202560 260 0 0 0 141 4 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323707808040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24554] ppid=24548 vsize=9624976 CPUtime=1.37 cores=0,2,4,6
/proc/24550/task/24554/stat : 24554 (java) S 24548 24550 23289 0 -1 4202560 206 0 0 0 134 3 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323706755240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24555] ppid=24548 vsize=9624976 CPUtime=1.51 cores=0,2,4,6
/proc/24550/task/24555/stat : 24555 (java) S 24548 24550 23289 0 -1 4202560 215 0 0 0 148 3 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323705702952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24556] ppid=24548 vsize=9624976 CPUtime=1.69 cores=0,2,4,6
/proc/24550/task/24556/stat : 24556 (java) S 24548 24550 23289 0 -1 4202560 169 0 0 0 165 4 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323704650152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24557] ppid=24548 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/24550/task/24557/stat : 24557 (java) S 24548 24550 23289 0 -1 4202560 273 0 0 0 140 4 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323703597864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24558] ppid=24548 vsize=9624976 CPUtime=1.46 cores=0,2,4,6
/proc/24550/task/24558/stat : 24558 (java) S 24548 24550 23289 0 -1 4202560 153 0 0 0 142 4 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323702545064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24559] ppid=24548 vsize=9624976 CPUtime=1.5 cores=0,2,4,6
/proc/24550/task/24559/stat : 24559 (java) S 24548 24550 23289 0 -1 4202560 151 0 0 0 145 5 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323701492776 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24560] ppid=24548 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/24550/task/24560/stat : 24560 (java) S 24548 24550 23289 0 -1 4202560 260 0 0 0 141 4 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323700439976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24561] ppid=24548 vsize=9624976 CPUtime=11.36 cores=0,2,4,6
/proc/24550/task/24561/stat : 24561 (java) S 24548 24550 23289 0 -1 4202560 162 0 0 0 1134 2 0 0 20 0 19 0 253675666 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323570284776 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24562] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24562/stat : 24562 (java) S 24548 24550 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253675667 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323569230840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24563] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24563/stat : 24563 (java) S 24548 24550 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675667 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323568178440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24564] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24564/stat : 24564 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323567126928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24565] ppid=24548 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/24550/task/24565/stat : 24565 (java) S 24548 24550 23289 0 -1 4202560 3294 0 0 0 54 0 0 0 20 0 19 0 253675669 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323566074552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24566] ppid=24548 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/24550/task/24566/stat : 24566 (java) S 24548 24550 23289 0 -1 4202560 2942 0 0 0 40 0 0 0 20 0 19 0 253675669 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323565021752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24567] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24567/stat : 24567 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323563969656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24568] ppid=24548 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/24550/task/24568/stat : 24568 (java) S 24548 24550 23289 0 -1 4202560 103 0 0 0 22 26 0 0 20 0 19 0 253675669 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323562917064 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24569] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24569/stat : 24569 (java) S 24548 24550 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675695 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140322554241960 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/211 24645
/proc/meminfo: memFree=28861048/32873852 swapFree=7616/7616
[pid=24550] ppid=24548 vsize=9624976 CPUtime=1800.02 cores=0,2,4,6
/proc/24550/stat : 24550 (java) S 24548 24550 23289 0 -1 4202496 12115 0 1 0 179940 62 0 0 20 0 19 0 253675663 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140735998853408 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24550/statm: 2406244 93315 2276 9 0 2396937 0
[pid=24550/tid=24552] ppid=24548 vsize=9624976 CPUtime=1770.95 cores=0,2,4,6
/proc/24550/task/24552/stat : 24552 (java) R 24548 24550 23289 0 -1 4202560 2748 0 1 0 177064 31 0 0 20 0 19 0 253675664 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323746316576 140323578330192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24553] ppid=24548 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/24550/task/24553/stat : 24553 (java) S 24548 24550 23289 0 -1 4202560 260 0 0 0 141 4 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323707808040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24554] ppid=24548 vsize=9624976 CPUtime=1.37 cores=0,2,4,6
/proc/24550/task/24554/stat : 24554 (java) S 24548 24550 23289 0 -1 4202560 206 0 0 0 134 3 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323706755240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24555] ppid=24548 vsize=9624976 CPUtime=1.51 cores=0,2,4,6
/proc/24550/task/24555/stat : 24555 (java) S 24548 24550 23289 0 -1 4202560 215 0 0 0 148 3 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323705702952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24550/tid=24556] ppid=24548 vsize=9624976 CPUtime=1.69 cores=0,2,4,6
/proc/24550/task/24556/stat : 24556 (java) S 24548 24550 23289 0 -1 4202560 169 0 0 0 165 4 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323704650152 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24557] ppid=24548 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/24550/task/24557/stat : 24557 (java) S 24548 24550 23289 0 -1 4202560 273 0 0 0 140 4 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323703597864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24558] ppid=24548 vsize=9624976 CPUtime=1.46 cores=0,2,4,6
/proc/24550/task/24558/stat : 24558 (java) S 24548 24550 23289 0 -1 4202560 153 0 0 0 142 4 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323702545064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24559] ppid=24548 vsize=9624976 CPUtime=1.5 cores=0,2,4,6
/proc/24550/task/24559/stat : 24559 (java) S 24548 24550 23289 0 -1 4202560 151 0 0 0 145 5 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323701492776 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24560] ppid=24548 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/24550/task/24560/stat : 24560 (java) S 24548 24550 23289 0 -1 4202560 260 0 0 0 141 4 0 0 20 0 19 0 253675665 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323700439976 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24561] ppid=24548 vsize=9624976 CPUtime=11.36 cores=0,2,4,6
/proc/24550/task/24561/stat : 24561 (java) S 24548 24550 23289 0 -1 4202560 162 0 0 0 1134 2 0 0 20 0 19 0 253675666 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323570284776 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24562] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24562/stat : 24562 (java) S 24548 24550 23289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253675667 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323569230840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24563] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24563/stat : 24563 (java) S 24548 24550 23289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253675667 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323568178440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24564] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24564/stat : 24564 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323567126928 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24550/tid=24565] ppid=24548 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/24550/task/24565/stat : 24565 (java) S 24548 24550 23289 0 -1 4202560 3294 0 0 0 54 0 0 0 20 0 19 0 253675669 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323566074552 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24566] ppid=24548 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/24550/task/24566/stat : 24566 (java) S 24548 24550 23289 0 -1 4202560 2942 0 0 0 40 0 0 0 20 0 19 0 253675669 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323565021752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24567] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24567/stat : 24567 (java) S 24548 24550 23289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253675669 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323563969656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24550/tid=24568] ppid=24548 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/24550/task/24568/stat : 24568 (java) S 24548 24550 23289 0 -1 4202560 103 0 0 0 22 26 0 0 20 0 19 0 253675669 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140323562917064 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24550/tid=24569] ppid=24548 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24550/task/24569/stat : 24569 (java) S 24548 24550 23289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253675695 9855975424 93315 33554432000 1073741824 1073778376 140735998862272 140322554241960 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24550 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=928129
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=43841
# CPU time returned by wait4() is 1795.97
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.56
CPU time (s): 1800.02
CPU user time (s): 1799.4
CPU system time (s): 0.62
CPU usage (%): 100.528
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.93
system time used= 1.04384
maximum resident set size= 373392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12151
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44922
involuntary context switches= 32001

runsolver used 7.46186 second user time and 13.031 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-24 18:05:02
IDJOB=3687733
IDBENCH=2045
IDSOLVER=2269
FILE ID=node131/3687733-1337875502
RUNJOBID= node131-1337871881-23305
PBS_JOBID= 14620073
Free space on /tmp= 71600 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-jac3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687733-1337875502/watcher-3687733-1337875502 -o /tmp/evaluation-result-3687733-1337875502/solver-3687733-1337875502 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687733-1337875502.opb

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

MD5SUM BENCH= 05a03b946ede4da21fcf30fd621632f5
RANDOM SEED=387823464

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29334140 kB
Buffers:          210028 kB
Cached:          2127644 kB
SwapCached:            0 kB
Active:           931812 kB
Inactive:        1841684 kB
Active(anon):     438688 kB
Inactive(anon):        0 kB
Active(file):     493124 kB
Inactive(file):  1841684 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               456 kB
Writeback:             0 kB
AnonPages:        443640 kB
Mapped:            22524 kB
Shmem:               204 kB
Slab:             628568 kB
SReclaimable:      71172 kB
SUnreclaim:       557396 kB
KernelStack:        1584 kB
PageTables:         5044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     696908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71600 MiB
End job on node131 at 2012-05-24 18:34:55