Trace number 3710658

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)209 1800.73 1790.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
MD5SUMa65a3b6248e07fcc15fb8d2bec9ac9bd
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark186
Best CPU time to get the best result obtained on this benchmark1789.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 182
Optimality of the best value was proved NO
Number of variables470
Total number of constraints470
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints470
Minimum length of a constraint4
Maximum length of a constraint20
Number of terms in the objective function 470
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 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
Number of bits of the biggest sum of numbers9
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.06/0.09	c version 2.3.2.v20120418
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		501472288
0.06/0.09	c Max memory 		7480803328
0.06/0.09	c Total memory 		504102912
0.06/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=true
0.09/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-3710658-1338138284.opb
0.09/0.13	c reading problem ... 
0.24/0.24	c ... done. Wall clock time 0.114s.
0.24/0.24	c declared #vars     470
0.24/0.24	c #constraints  470
0.24/0.24	c constraints type 
0.24/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 470
0.24/0.24	c 470 constraints processed.
0.24/0.25	c SATISFIABLE
0.24/0.25	c OPTIMIZING...
0.24/0.25	c Got one! Elapsed wall clock time (in seconds):0.126
0.24/0.25	o 223
0.24/0.27	c Got one! Elapsed wall clock time (in seconds):0.141
0.24/0.27	o 222
0.49/0.37	c Got one! Elapsed wall clock time (in seconds):0.242
0.49/0.37	o 221
1.05/0.68	c Got one! Elapsed wall clock time (in seconds):0.555
1.05/0.68	o 220
1.19/0.77	c cleaning 2766 clauses out of 5537 with flag 1000/5537
1.67/1.12	c cleaning 4380 clauses out of 8771 with flag 7000/11537
1.67/1.17	c Got one! Elapsed wall clock time (in seconds):1.042
1.67/1.17	o 219
1.97/1.44	c cleaning 4978 clauses out of 9968 with flag 5000/17114
2.18/1.65	c Got one! Elapsed wall clock time (in seconds):1.523
2.18/1.65	o 218
2.28/1.77	c cleaning 5307 clauses out of 10624 with flag 2002/22748
2.52/1.93	c Got one! Elapsed wall clock time (in seconds):1.802
2.52/1.93	o 217
2.63/2.07	c Got one! Elapsed wall clock time (in seconds):1.945
2.63/2.07	o 216
2.74/2.13	c cleaning 5666 clauses out of 11346 with flag 1001/28777
3.04/2.49	c cleaning 5836 clauses out of 11679 with flag 7000/34776
3.44/2.88	c cleaning 6415 clauses out of 12843 with flag 14000/41776
4.05/3.40	c cleaning 7213 clauses out of 14429 with flag 22001/49777
4.55/3.95	c cleaning 8102 clauses out of 16215 with flag 31000/58776
5.26/4.62	c cleaning 9052 clauses out of 18113 with flag 41000/68776
5.96/5.40	c cleaning 10026 clauses out of 20062 with flag 52001/79777
6.87/6.20	c cleaning 11013 clauses out of 22035 with flag 64000/91776
7.69/7.04	c cleaning 11999 clauses out of 24022 with flag 77000/104776
8.71/8.02	c cleaning 13006 clauses out of 26024 with flag 91001/118777
9.72/9.01	c cleaning 13999 clauses out of 28018 with flag 106001/133777
10.85/10.16	c cleaning 15000 clauses out of 30019 with flag 122001/149777
12.08/11.35	c cleaning 16003 clauses out of 32019 with flag 139001/166777
13.32/12.54	c cleaning 17003 clauses out of 34016 with flag 157001/184777
14.53/13.77	c cleaning 18002 clauses out of 36012 with flag 176000/203776
15.96/15.11	c cleaning 18999 clauses out of 38012 with flag 196002/223778
17.39/16.56	c cleaning 19999 clauses out of 40011 with flag 217000/244776
19.19/18.37	c cleaning 21001 clauses out of 42012 with flag 239000/266776
20.72/19.85	c cleaning 22001 clauses out of 44012 with flag 262001/289777
22.54/21.61	c cleaning 22998 clauses out of 46010 with flag 286000/313776
24.48/23.57	c cleaning 24000 clauses out of 48012 with flag 311000/338776
26.51/25.54	c cleaning 24999 clauses out of 50013 with flag 337001/364777
29.14/28.14	c cleaning 26002 clauses out of 52013 with flag 364000/391776
31.06/30.02	c cleaning 27001 clauses out of 54013 with flag 392002/419778
33.28/32.22	c cleaning 28004 clauses out of 56011 with flag 421001/448777
33.50/32.44	c Got one! Elapsed wall clock time (in seconds):32.31
33.50/32.44	o 215
33.70/32.61	c cleaning 16681 clauses out of 33374 with flag 2000/454144
34.13/33.02	c cleaning 11335 clauses out of 22693 with flag 8000/460144
34.63/33.50	c cleaning 9172 clauses out of 18358 with flag 15000/467144
35.14/34.04	c cleaning 8587 clauses out of 17186 with flag 23000/475144
35.64/34.56	c cleaning 8793 clauses out of 17600 with flag 32001/484145
36.36/35.21	c cleaning 9397 clauses out of 18807 with flag 42001/494145
37.06/35.98	c cleaning 10195 clauses out of 20410 with flag 53001/505145
37.97/36.88	c cleaning 11100 clauses out of 22214 with flag 65000/517144
38.88/37.75	c cleaning 12051 clauses out of 24115 with flag 78001/530145
39.99/38.85	c cleaning 13026 clauses out of 26064 with flag 92001/544145
41.11/39.94	c cleaning 14014 clauses out of 28038 with flag 107001/559145
42.32/41.15	c cleaning 15006 clauses out of 30023 with flag 123000/575144
43.52/42.37	c cleaning 16005 clauses out of 32017 with flag 140000/592144
44.72/43.56	c cleaning 16999 clauses out of 34012 with flag 158000/610144
46.13/44.94	c cleaning 18005 clauses out of 36015 with flag 177002/629146
47.63/46.45	c cleaning 18995 clauses out of 38008 with flag 197000/649144
49.15/47.99	c cleaning 19999 clauses out of 40014 with flag 218001/670145
50.86/49.60	c cleaning 21001 clauses out of 42014 with flag 240000/692144
52.67/51.42	c cleaning 22000 clauses out of 44014 with flag 263001/715145
54.37/53.19	c cleaning 23001 clauses out of 46013 with flag 287000/739144
56.58/55.35	c cleaning 23998 clauses out of 48012 with flag 312000/764144
58.71/57.48	c cleaning 25001 clauses out of 50014 with flag 338000/790144
61.03/59.76	c cleaning 26001 clauses out of 52013 with flag 365000/817144
63.44/62.10	c cleaning 26997 clauses out of 54013 with flag 393001/845145
65.86/64.56	c cleaning 27999 clauses out of 56015 with flag 422000/874144
68.09/66.75	c cleaning 29003 clauses out of 58016 with flag 452000/904144
70.29/68.96	c cleaning 30001 clauses out of 60013 with flag 483000/935144
72.91/71.59	c cleaning 31002 clauses out of 62012 with flag 515000/967144
75.54/74.17	c cleaning 31996 clauses out of 64010 with flag 548000/1000144
78.46/77.06	c cleaning 33001 clauses out of 66015 with flag 582001/1034145
81.59/80.19	c cleaning 34000 clauses out of 68014 with flag 617001/1069145
84.50/83.04	c cleaning 35002 clauses out of 70013 with flag 653000/1105144
87.51/86.02	c cleaning 35993 clauses out of 72011 with flag 690000/1142144
91.13/89.69	c cleaning 37004 clauses out of 74019 with flag 728001/1180145
94.75/93.27	c cleaning 37999 clauses out of 76014 with flag 767000/1219144
96.18/94.63	c Got one! Elapsed wall clock time (in seconds):94.505
96.18/94.63	o 214
96.67/95.11	c cleaning 29806 clauses out of 59627 with flag 5001/1240756
97.10/95.59	c cleaning 17903 clauses out of 35820 with flag 11000/1246755
97.60/96.08	c cleaning 12454 clauses out of 24917 with flag 18000/1253755
98.20/96.61	c cleaning 10227 clauses out of 20465 with flag 26002/1261757
98.82/97.23	c cleaning 9610 clauses out of 19236 with flag 35000/1270755
99.53/97.95	c cleaning 9805 clauses out of 19627 with flag 45001/1280756
100.33/98.71	c cleaning 10405 clauses out of 20821 with flag 56000/1291755
101.15/99.53	c cleaning 11201 clauses out of 22416 with flag 68000/1303755
102.05/100.42	c cleaning 12101 clauses out of 24216 with flag 81001/1316756
103.06/101.43	c cleaning 13056 clauses out of 26114 with flag 95000/1330755
103.97/102.32	c cleaning 14025 clauses out of 28058 with flag 110000/1345755
104.97/103.30	c cleaning 15009 clauses out of 30034 with flag 126001/1361756
106.07/104.45	c cleaning 16003 clauses out of 32025 with flag 143001/1378756
107.28/105.69	c cleaning 17004 clauses out of 34021 with flag 161000/1396755
108.49/106.80	c Got one! Elapsed wall clock time (in seconds):106.677
108.49/106.80	o 213
108.79/107.19	c cleaning 18797 clauses out of 37599 with flag 5000/1417337
109.19/107.59	c cleaning 12394 clauses out of 24802 with flag 11000/1423337
109.71/108.07	c cleaning 9700 clauses out of 19410 with flag 18002/1430339
110.32/108.64	c cleaning 8848 clauses out of 17708 with flag 26000/1438337
110.93/109.29	c cleaning 8924 clauses out of 17861 with flag 35001/1447338
111.74/110.02	c cleaning 9465 clauses out of 18937 with flag 45001/1457338
112.45/110.77	c cleaning 10231 clauses out of 20471 with flag 56000/1468337
113.26/111.59	c cleaning 11114 clauses out of 22240 with flag 68000/1480337
114.28/112.54	c cleaning 12056 clauses out of 24127 with flag 81001/1493338
115.39/113.62	c cleaning 13027 clauses out of 26071 with flag 95001/1507338
116.51/114.78	c cleaning 14013 clauses out of 28044 with flag 110001/1522338
117.71/115.96	c cleaning 15006 clauses out of 30031 with flag 126001/1538338
119.13/117.31	c cleaning 16005 clauses out of 32024 with flag 143000/1555337
120.56/118.73	c cleaning 16999 clauses out of 34020 with flag 161001/1573338
122.05/120.26	c cleaning 18002 clauses out of 36020 with flag 180000/1592337
123.77/121.91	c cleaning 19004 clauses out of 38019 with flag 200001/1612338
125.18/123.36	c cleaning 20000 clauses out of 40014 with flag 221000/1633337
126.89/125.07	c cleaning 21002 clauses out of 42015 with flag 243001/1655338
129.01/127.14	c cleaning 21993 clauses out of 44012 with flag 266000/1678337
131.21/129.39	c cleaning 22999 clauses out of 46020 with flag 290001/1702338
133.52/131.69	c cleaning 24002 clauses out of 48021 with flag 315001/1727338
135.93/134.10	c cleaning 25003 clauses out of 50019 with flag 341001/1753338
138.24/136.36	c cleaning 26004 clauses out of 52016 with flag 368001/1780338
140.46/138.57	c cleaning 27001 clauses out of 54012 with flag 396001/1808338
142.85/140.95	c cleaning 27995 clauses out of 56010 with flag 425000/1837337
145.47/143.58	c cleaning 29001 clauses out of 58017 with flag 455002/1867339
148.49/146.53	c cleaning 29998 clauses out of 60015 with flag 486001/1898338
151.52/149.56	c cleaning 31001 clauses out of 62016 with flag 518000/1930337
154.73/152.70	c cleaning 31996 clauses out of 64016 with flag 551001/1963338
158.06/156.07	c cleaning 33003 clauses out of 66020 with flag 585001/1997338
160.67/158.60	c cleaning 34003 clauses out of 68016 with flag 620000/2032337
163.60/161.59	c cleaning 35002 clauses out of 70013 with flag 656000/2068337
166.57/164.47	c cleaning 35999 clauses out of 72013 with flag 693002/2105339
169.40/167.28	c cleaning 36999 clauses out of 74012 with flag 731000/2143337
172.80/170.68	c cleaning 38000 clauses out of 76013 with flag 770000/2182337
176.04/173.87	c cleaning 39000 clauses out of 78014 with flag 810001/2222338
179.56/177.34	c cleaning 40000 clauses out of 80013 with flag 851000/2263337
182.88/180.69	c cleaning 41000 clauses out of 82013 with flag 893000/2305337
187.10/184.82	c cleaning 42001 clauses out of 84014 with flag 936001/2348338
192.02/189.73	c cleaning 43000 clauses out of 86012 with flag 980000/2392337
196.97/194.69	c cleaning 44003 clauses out of 88013 with flag 1025001/2437338
201.01/198.67	c cleaning 44998 clauses out of 90009 with flag 1071000/2483337
204.74/202.40	c cleaning 45999 clauses out of 92011 with flag 1118000/2530337
209.16/206.72	c cleaning 46998 clauses out of 94013 with flag 1166001/2578338
213.77/211.33	c cleaning 47995 clauses out of 96015 with flag 1215001/2627338
217.60/215.13	c cleaning 49002 clauses out of 98020 with flag 1265001/2677338
222.55/220.02	c cleaning 50004 clauses out of 100020 with flag 1316003/2728340
228.20/225.64	c cleaning 51002 clauses out of 102014 with flag 1368001/2780338
234.29/231.67	c cleaning 51995 clauses out of 104011 with flag 1421000/2833337
240.73/238.08	c cleaning 52997 clauses out of 106016 with flag 1475000/2887337
247.36/244.61	c cleaning 54000 clauses out of 108019 with flag 1530000/2942337
254.19/251.48	c cleaning 55003 clauses out of 110020 with flag 1586001/2998338
258.35/255.54	c cleaning 56000 clauses out of 112016 with flag 1643000/3055337
262.88/260.09	c cleaning 57002 clauses out of 114017 with flag 1701001/3113338
268.51/265.69	c cleaning 57998 clauses out of 116014 with flag 1760000/3172337
273.65/270.79	c cleaning 59002 clauses out of 118017 with flag 1820001/3232338
279.18/276.27	c cleaning 59998 clauses out of 120014 with flag 1881000/3293337
286.02/283.06	c cleaning 60999 clauses out of 122016 with flag 1943000/3355337
292.00/288.98	c cleaning 62002 clauses out of 124017 with flag 2006000/3418337
297.54/294.47	c cleaning 63001 clauses out of 126015 with flag 2070000/3482337
302.97/299.81	c cleaning 63998 clauses out of 128014 with flag 2135000/3547337
308.72/305.53	c cleaning 65005 clauses out of 130017 with flag 2201001/3613338
314.25/311.08	c cleaning 65998 clauses out of 132012 with flag 2268001/3680338
321.00/317.75	c cleaning 66999 clauses out of 134013 with flag 2336000/3748337
328.34/325.06	c cleaning 67999 clauses out of 136014 with flag 2405000/3817337
335.51/332.18	c cleaning 69003 clauses out of 138016 with flag 2475001/3887338
343.12/339.71	c cleaning 70000 clauses out of 140014 with flag 2546002/3958339
349.27/345.82	c cleaning 70999 clauses out of 142012 with flag 2618000/4030337
356.60/353.11	c cleaning 72000 clauses out of 144013 with flag 2691000/4103337
363.43/359.91	c cleaning 72999 clauses out of 146013 with flag 2765000/4177337
371.26/367.79	c cleaning 73994 clauses out of 148014 with flag 2840000/4252337
379.91/376.39	c cleaning 75000 clauses out of 150020 with flag 2916000/4328337
388.14/384.51	c cleaning 76000 clauses out of 152020 with flag 2993000/4405337
396.90/393.23	c cleaning 77004 clauses out of 154021 with flag 3071001/4483338
403.24/399.53	c cleaning 78000 clauses out of 156016 with flag 3150000/4562337
409.87/406.15	c cleaning 79001 clauses out of 158017 with flag 3230001/4642338
416.80/413.01	c cleaning 80003 clauses out of 160015 with flag 3311000/4723337
423.64/419.88	c cleaning 80999 clauses out of 162012 with flag 3393000/4805337
431.96/428.18	c cleaning 81998 clauses out of 164014 with flag 3476001/4888338
439.24/435.31	c cleaning 83000 clauses out of 166016 with flag 3560001/4972338
448.40/444.47	c cleaning 83999 clauses out of 168016 with flag 3645001/5057338
459.07/455.03	c cleaning 84996 clauses out of 170016 with flag 3731000/5143337
461.12/457.01	c Got one! Elapsed wall clock time (in seconds):456.887
461.12/457.01	o 212
461.73/457.69	c cleaning 58265 clauses out of 116543 with flag 5000/5174860
462.23/458.19	c cleaning 32135 clauses out of 64279 with flag 11001/5180861
462.75/458.62	c cleaning 19563 clauses out of 39143 with flag 18000/5187860
463.14/459.05	c cleaning 13782 clauses out of 27580 with flag 26000/5195860
463.66/459.58	c cleaning 11392 clauses out of 22798 with flag 35000/5204860
464.28/460.13	c cleaning 10699 clauses out of 21406 with flag 45000/5214860
464.92/460.76	c cleaning 10847 clauses out of 21708 with flag 56001/5225861
465.62/461.43	c cleaning 11423 clauses out of 22860 with flag 68000/5237860
466.33/462.18	c cleaning 12211 clauses out of 24437 with flag 81000/5250860
467.24/463.04	c cleaning 13108 clauses out of 26227 with flag 95001/5264861
468.24/464.02	c cleaning 14051 clauses out of 28119 with flag 110001/5279861
469.25/465.05	c cleaning 15027 clauses out of 30067 with flag 126000/5295860
470.35/466.12	c cleaning 16013 clauses out of 32040 with flag 143000/5312860
471.56/467.39	c cleaning 17005 clauses out of 34028 with flag 161001/5330861
472.87/468.66	c cleaning 18003 clauses out of 36022 with flag 180000/5349860
474.27/470.03	c cleaning 19001 clauses out of 38019 with flag 200000/5369860
475.88/471.66	c cleaning 20002 clauses out of 40018 with flag 221000/5390860
477.40/473.17	c cleaning 21001 clauses out of 42016 with flag 243000/5412860
479.12/474.82	c cleaning 22001 clauses out of 44016 with flag 266001/5435861
480.85/476.54	c cleaning 22999 clauses out of 46014 with flag 290000/5459860
482.67/478.31	c cleaning 24000 clauses out of 48016 with flag 315001/5484861
484.57/480.27	c cleaning 25000 clauses out of 50016 with flag 341001/5510861
486.78/482.48	c cleaning 25997 clauses out of 52015 with flag 368000/5537860
489.20/484.85	c cleaning 27006 clauses out of 54021 with flag 396003/5565863
491.61/487.23	c cleaning 27996 clauses out of 56012 with flag 425000/5594860
494.11/489.77	c cleaning 28999 clauses out of 58018 with flag 455002/5624862
496.82/492.47	c cleaning 30004 clauses out of 60018 with flag 486001/5655861
499.73/495.35	c cleaning 30998 clauses out of 62014 with flag 518001/5687861
499.85/495.47	c Got one! Elapsed wall clock time (in seconds):495.342
499.85/495.47	o 211
500.15/495.79	c cleaning 18479 clauses out of 36980 with flag 5000/5693825
500.58/496.16	c cleaning 12244 clauses out of 24501 with flag 11000/5699825
500.99/496.57	c cleaning 9623 clauses out of 19257 with flag 18000/5706825
501.51/497.04	c cleaning 8807 clauses out of 17634 with flag 26000/5714825
502.01/497.55	c cleaning 8905 clauses out of 17828 with flag 35001/5723826
502.64/498.12	c cleaning 9454 clauses out of 18923 with flag 45001/5733826
503.26/498.77	c cleaning 10226 clauses out of 20469 with flag 56001/5744826
503.98/499.49	c cleaning 11114 clauses out of 22243 with flag 68001/5756826
504.92/500.36	c cleaning 12053 clauses out of 24128 with flag 81000/5769825
505.82/501.25	c cleaning 13032 clauses out of 26077 with flag 95002/5783827
506.83/502.28	c cleaning 14014 clauses out of 28044 with flag 110001/5798826
507.94/503.38	c cleaning 15005 clauses out of 30029 with flag 126000/5814825
509.25/504.67	c cleaning 16006 clauses out of 32024 with flag 143000/5831825
510.66/506.06	c cleaning 17005 clauses out of 34019 with flag 161001/5849826
512.17/507.50	c cleaning 18001 clauses out of 36015 with flag 180002/5868827
513.59/508.98	c cleaning 18995 clauses out of 38012 with flag 200000/5888825
515.29/510.69	c cleaning 20001 clauses out of 40017 with flag 221000/5909825
517.11/512.45	c cleaning 21001 clauses out of 42016 with flag 243000/5931825
518.93/514.26	c cleaning 22000 clauses out of 44015 with flag 266000/5954825
521.03/516.30	c cleaning 22996 clauses out of 46016 with flag 290001/5978826
522.76/518.05	c cleaning 24006 clauses out of 48019 with flag 315000/6003825
524.56/519.90	c cleaning 25000 clauses out of 50014 with flag 341001/6029826
526.77/522.02	c cleaning 25996 clauses out of 52014 with flag 368001/6056826
529.10/524.34	c cleaning 26997 clauses out of 54017 with flag 396000/6084825
531.43/526.62	c cleaning 27998 clauses out of 56020 with flag 425000/6113825
533.73/528.95	c cleaning 29004 clauses out of 58022 with flag 455000/6143825
536.16/531.39	c cleaning 29998 clauses out of 60019 with flag 486001/6174826
538.76/533.96	c cleaning 31000 clauses out of 62020 with flag 518000/6206825
541.58/536.73	c cleaning 32004 clauses out of 64020 with flag 551000/6239825
544.59/539.75	c cleaning 32999 clauses out of 66017 with flag 585001/6273826
547.94/543.05	c cleaning 34001 clauses out of 68017 with flag 620000/6308825
551.16/546.28	c cleaning 35005 clauses out of 70017 with flag 656001/6344826
554.77/549.82	c cleaning 36000 clauses out of 72012 with flag 693001/6381826
558.29/553.33	c cleaning 36998 clauses out of 74011 with flag 731000/6419825
561.90/556.90	c cleaning 37998 clauses out of 76013 with flag 770000/6458825
565.50/560.59	c cleaning 38998 clauses out of 78015 with flag 810000/6498825
569.43/564.44	c cleaning 40002 clauses out of 80017 with flag 851000/6539825
573.45/568.48	c cleaning 41001 clauses out of 82015 with flag 893000/6581825
577.57/572.53	c cleaning 41997 clauses out of 84014 with flag 936000/6624825
581.69/576.69	c cleaning 43002 clauses out of 86017 with flag 980000/6668825
586.00/580.98	c cleaning 43995 clauses out of 88015 with flag 1025000/6713825
589.63/584.51	c cleaning 45004 clauses out of 90020 with flag 1071000/6759825
592.93/587.88	c cleaning 46001 clauses out of 92016 with flag 1118000/6806825
596.86/591.76	c cleaning 47002 clauses out of 94015 with flag 1166000/6854825
600.79/595.67	c cleaning 48002 clauses out of 96014 with flag 1215001/6903826
604.50/599.40	c cleaning 49002 clauses out of 98013 with flag 1265002/6953827
609.13/603.95	c cleaning 49998 clauses out of 100010 with flag 1316001/7004826
612.93/607.78	c cleaning 51000 clauses out of 102011 with flag 1368000/7056825
617.55/612.35	c cleaning 51999 clauses out of 104011 with flag 1421000/7109825
622.29/617.02	c cleaning 52998 clauses out of 106013 with flag 1475001/7163826
626.72/621.41	c cleaning 54002 clauses out of 108016 with flag 1530002/7218827
632.04/626.70	c cleaning 55001 clauses out of 110013 with flag 1586001/7274826
637.38/632.07	c cleaning 55999 clauses out of 112011 with flag 1643000/7331825
642.93/637.50	c cleaning 56994 clauses out of 114012 with flag 1701000/7389825
643.05/637.68	c Got one! Elapsed wall clock time (in seconds):637.552
643.05/637.68	o 210
643.48/638.03	c cleaning 31070 clauses out of 62149 with flag 3000/7394956
643.90/638.49	c cleaning 18537 clauses out of 37081 with flag 9002/7400958
644.41/638.98	c cleaning 12763 clauses out of 25542 with flag 16000/7407956
645.03/639.52	c cleaning 10387 clauses out of 20780 with flag 24001/7415957
645.66/640.16	c cleaning 9690 clauses out of 19392 with flag 33000/7424956
646.37/640.86	c cleaning 9850 clauses out of 19702 with flag 43000/7434956
647.11/641.59	c cleaning 10417 clauses out of 20852 with flag 54000/7445956
647.93/642.39	c cleaning 11208 clauses out of 22436 with flag 66001/7457957
648.83/643.25	c cleaning 12104 clauses out of 24228 with flag 79001/7470957
649.94/644.30	c cleaning 13052 clauses out of 26123 with flag 93000/7484956
650.95/645.36	c cleaning 14028 clauses out of 28072 with flag 108001/7499957
652.15/646.52	c cleaning 15014 clauses out of 30044 with flag 124001/7515957
653.38/647.80	c cleaning 16008 clauses out of 32029 with flag 141000/7532956
654.90/649.20	c cleaning 17002 clauses out of 34022 with flag 159001/7550957
656.31/650.65	c cleaning 18005 clauses out of 36020 with flag 178001/7569957
657.94/652.20	c cleaning 19001 clauses out of 38015 with flag 198001/7589957
659.55/653.85	c cleaning 19997 clauses out of 40014 with flag 219001/7610957
659.76/654.09	c Got one! Elapsed wall clock time (in seconds):653.966
659.76/654.09	o 209
659.96/654.29	c cleaning 12917 clauses out of 25848 with flag 3000/7616788
660.37/654.69	c cleaning 9459 clauses out of 18931 with flag 9000/7622788
660.89/655.14	c cleaning 8226 clauses out of 16472 with flag 16000/7629788
661.41/655.61	c cleaning 8118 clauses out of 16247 with flag 24001/7637789
661.91/656.13	c cleaning 8557 clauses out of 17129 with flag 33001/7646789
662.52/656.75	c cleaning 9275 clauses out of 18571 with flag 43000/7656788
663.22/657.47	c cleaning 10142 clauses out of 20296 with flag 54000/7667788
664.03/658.22	c cleaning 11072 clauses out of 22155 with flag 66001/7679789
664.85/659.01	c cleaning 12036 clauses out of 24082 with flag 79000/7692788
665.67/659.90	c cleaning 13017 clauses out of 26047 with flag 93001/7706789
666.70/660.86	c cleaning 14006 clauses out of 28029 with flag 108000/7721788
667.82/661.94	c cleaning 15005 clauses out of 30023 with flag 124000/7737788
669.25/663.33	c cleaning 16004 clauses out of 32019 with flag 141001/7754789
670.66/664.77	c cleaning 17003 clauses out of 34015 with flag 159001/7772789
672.18/666.24	c cleaning 17999 clauses out of 36012 with flag 178001/7791789
673.79/667.84	c cleaning 18997 clauses out of 38012 with flag 198000/7811788
675.49/669.58	c cleaning 19999 clauses out of 40015 with flag 219000/7832788
677.40/671.45	c cleaning 20999 clauses out of 42016 with flag 241000/7854788
679.42/673.47	c cleaning 22004 clauses out of 44017 with flag 264000/7877788
681.63/675.60	c cleaning 23003 clauses out of 46015 with flag 288002/7901790
683.84/677.89	c cleaning 23999 clauses out of 48011 with flag 313001/7926789
686.26/680.26	c cleaning 24996 clauses out of 50012 with flag 339001/7952789
688.69/682.66	c cleaning 25997 clauses out of 52016 with flag 366001/7979789
691.20/685.14	c cleaning 26999 clauses out of 54019 with flag 394001/8007789
693.93/687.89	c cleaning 27998 clauses out of 56020 with flag 423001/8036789
696.84/690.75	c cleaning 29001 clauses out of 58021 with flag 453000/8066788
699.85/693.74	c cleaning 30001 clauses out of 60020 with flag 484000/8097788
702.57/696.47	c cleaning 31000 clauses out of 62019 with flag 516000/8129788
705.47/699.35	c cleaning 32004 clauses out of 64020 with flag 549001/8162789
708.58/702.41	c cleaning 32999 clauses out of 66015 with flag 583000/8196788
711.30/705.20	c cleaning 34003 clauses out of 68017 with flag 618001/8231789
714.11/707.91	c cleaning 35001 clauses out of 70013 with flag 654000/8267788
717.33/711.10	c cleaning 35999 clauses out of 72014 with flag 691002/8304790
720.14/713.99	c cleaning 36998 clauses out of 74014 with flag 729001/8342789
723.25/717.08	c cleaning 37999 clauses out of 76016 with flag 768001/8381789
726.78/720.57	c cleaning 39000 clauses out of 78016 with flag 808000/8421788
730.30/724.04	c cleaning 40002 clauses out of 80016 with flag 849000/8462788
734.02/727.74	c cleaning 41000 clauses out of 82016 with flag 891002/8504790
737.62/731.33	c cleaning 41996 clauses out of 84014 with flag 934000/8547788
741.44/735.13	c cleaning 43001 clauses out of 86020 with flag 978002/8591790
745.07/738.70	c cleaning 44000 clauses out of 88017 with flag 1023000/8636788
748.89/742.51	c cleaning 45000 clauses out of 90017 with flag 1069000/8682788
752.90/746.51	c cleaning 46001 clauses out of 92018 with flag 1116001/8729789
756.71/750.36	c cleaning 46997 clauses out of 94016 with flag 1164000/8777788
761.33/754.91	c cleaning 48003 clauses out of 96020 with flag 1213001/8826789
765.84/759.49	c cleaning 48998 clauses out of 98016 with flag 1263000/8876788
770.66/764.26	c cleaning 50000 clauses out of 100018 with flag 1314000/8927788
775.37/768.97	c cleaning 51003 clauses out of 102018 with flag 1366000/8979788
779.98/773.50	c cleaning 52002 clauses out of 104015 with flag 1419000/9032788
785.23/778.74	c cleaning 52998 clauses out of 106013 with flag 1473000/9086788
791.04/784.59	c cleaning 53999 clauses out of 108015 with flag 1528000/9141788
796.37/789.81	c cleaning 55000 clauses out of 110017 with flag 1584001/9197789
801.66/795.16	c cleaning 55998 clauses out of 112017 with flag 1641001/9254789
807.49/800.97	c cleaning 56999 clauses out of 114018 with flag 1699000/9312788
813.52/806.97	c cleaning 58002 clauses out of 116019 with flag 1758000/9371788
819.65/813.05	c cleaning 58998 clauses out of 118017 with flag 1818000/9431788
825.77/819.17	c cleaning 59995 clauses out of 120019 with flag 1879000/9492788
832.11/825.44	c cleaning 61001 clauses out of 122024 with flag 1941000/9554788
838.44/831.77	c cleaning 62000 clauses out of 124023 with flag 2004000/9617788
845.47/838.70	c cleaning 63002 clauses out of 126023 with flag 2068000/9681788
852.90/846.10	c cleaning 64003 clauses out of 128021 with flag 2133000/9746788
860.32/853.51	c cleaning 65001 clauses out of 130018 with flag 2199000/9812788
866.85/860.08	c cleaning 65996 clauses out of 132017 with flag 2266000/9879788
873.96/867.17	c cleaning 67002 clauses out of 134022 with flag 2334001/9947789
881.38/874.56	c cleaning 67999 clauses out of 136019 with flag 2403000/10016788
888.72/881.84	c cleaning 69003 clauses out of 138022 with flag 2473002/10086790
894.47/887.56	c cleaning 70005 clauses out of 140017 with flag 2544000/10157788
900.69/893.74	c cleaning 71001 clauses out of 142012 with flag 2616000/10229788
907.42/900.44	c cleaning 71998 clauses out of 144012 with flag 2689001/10302789
914.75/907.79	c cleaning 73000 clauses out of 146013 with flag 2763000/10376788
921.43/914.33	c cleaning 74000 clauses out of 148013 with flag 2838000/10451788
929.86/922.78	c cleaning 74995 clauses out of 150013 with flag 2914000/10527788
937.18/930.02	c cleaning 76004 clauses out of 152019 with flag 2991001/10604789
945.31/938.18	c cleaning 77003 clauses out of 154015 with flag 3069001/10682789
953.24/946.02	c cleaning 77998 clauses out of 156012 with flag 3148001/10761789
961.27/954.01	c cleaning 79000 clauses out of 158014 with flag 3228001/10841789
969.50/962.23	c cleaning 80000 clauses out of 160014 with flag 3309001/10922789
978.41/971.16	c cleaning 80998 clauses out of 162014 with flag 3391001/11004789
986.47/979.10	c cleaning 82003 clauses out of 164017 with flag 3474002/11087790
994.19/986.88	c cleaning 82999 clauses out of 166013 with flag 3558001/11171789
1003.34/995.97	c cleaning 84000 clauses out of 168013 with flag 3643000/11256788
1014.60/1007.13	c cleaning 84998 clauses out of 170014 with flag 3729001/11342789
1025.22/1017.71	c cleaning 85998 clauses out of 172015 with flag 3816000/11429788
1035.99/1028.46	c cleaning 87007 clauses out of 174021 with flag 3904004/11517792
1044.84/1037.22	c cleaning 87998 clauses out of 176010 with flag 3993000/11606788
1056.26/1048.61	c cleaning 89001 clauses out of 178013 with flag 4083001/11696789
1066.82/1059.14	c cleaning 89995 clauses out of 180012 with flag 4174001/11787789
1078.26/1070.54	c cleaning 91002 clauses out of 182016 with flag 4266000/11879788
1091.71/1083.91	c cleaning 91999 clauses out of 184015 with flag 4359001/11972789
1104.30/1096.46	c cleaning 92998 clauses out of 186016 with flag 4453001/12066789
1115.12/1107.25	c cleaning 93999 clauses out of 188018 with flag 4548001/12161789
1129.14/1121.21	c cleaning 95001 clauses out of 190018 with flag 4644000/12257788
1140.68/1132.78	c cleaning 95999 clauses out of 192017 with flag 4741000/12354788
1151.92/1143.92	c cleaning 97002 clauses out of 194019 with flag 4839001/12452789
1162.97/1154.94	c cleaning 97996 clauses out of 196016 with flag 4938000/12551788
1175.23/1167.17	c cleaning 99003 clauses out of 198021 with flag 5038001/12651789
1188.26/1180.07	c cleaning 99995 clauses out of 200017 with flag 5139000/12752788
1201.50/1193.26	c cleaning 101002 clauses out of 202023 with flag 5241001/12854789
1214.23/1205.95	c cleaning 102003 clauses out of 204021 with flag 5344001/12957789
1229.75/1221.41	c cleaning 102995 clauses out of 206018 with flag 5448001/13061789
1244.59/1236.24	c cleaning 104001 clauses out of 208022 with flag 5553000/13166788
1257.53/1249.14	c cleaning 104999 clauses out of 210021 with flag 5659000/13272788
1270.76/1262.31	c cleaning 105999 clauses out of 212023 with flag 5766001/13379789
1283.08/1274.69	c cleaning 107004 clauses out of 214023 with flag 5874000/13487788
1296.11/1287.64	c cleaning 108005 clauses out of 216020 with flag 5983001/13596789
1309.78/1301.26	c cleaning 108998 clauses out of 218015 with flag 6093001/13706789
1322.83/1314.21	c cleaning 109999 clauses out of 220016 with flag 6204000/13817788
1336.58/1327.92	c cleaning 111001 clauses out of 222017 with flag 6316000/13929788
1350.99/1342.31	c cleaning 112001 clauses out of 224016 with flag 6429000/14042788
1363.75/1355.02	c cleaning 112997 clauses out of 226015 with flag 6543000/14156788
1377.71/1368.94	c cleaning 114002 clauses out of 228018 with flag 6658000/14271788
1392.56/1383.71	c cleaning 114998 clauses out of 230016 with flag 6774000/14387788
1405.38/1396.53	c cleaning 116003 clauses out of 232019 with flag 6891001/14504789
1418.32/1409.47	c cleaning 116999 clauses out of 234015 with flag 7009000/14622788
1435.64/1426.79	c cleaning 117998 clauses out of 236016 with flag 7128000/14741788
1449.84/1440.98	c cleaning 119002 clauses out of 238019 with flag 7248001/14861789
1468.75/1459.84	c cleaning 119997 clauses out of 240017 with flag 7369001/14982789
1483.49/1474.50	c cleaning 120999 clauses out of 242020 with flag 7491001/15104789
1495.34/1486.37	c cleaning 122006 clauses out of 244021 with flag 7614001/15227789
1506.97/1497.98	c cleaning 122999 clauses out of 246014 with flag 7738000/15351788
1520.02/1510.90	c cleaning 124001 clauses out of 248015 with flag 7863000/15476788
1534.78/1525.63	c cleaning 125001 clauses out of 250014 with flag 7989000/15602788
1552.05/1542.87	c cleaning 125994 clauses out of 252013 with flag 8116000/15729788
1566.31/1557.04	c cleaning 127002 clauses out of 254020 with flag 8244001/15857789
1582.37/1573.08	c cleaning 128000 clauses out of 256017 with flag 8373000/15986788
1601.71/1592.36	c cleaning 129003 clauses out of 258018 with flag 8503001/16116789
1615.85/1606.46	c cleaning 130001 clauses out of 260016 with flag 8634002/16247790
1632.39/1622.96	c cleaning 130996 clauses out of 262014 with flag 8766001/16379789
1650.04/1640.52	c cleaning 131998 clauses out of 264017 with flag 8899000/16512788
1667.59/1658.07	c cleaning 133004 clauses out of 266019 with flag 9033000/16646788
1684.48/1674.88	c cleaning 134000 clauses out of 268015 with flag 9168000/16781788
1702.72/1693.08	c cleaning 134995 clauses out of 270016 with flag 9304001/16917789
1720.14/1710.42	c cleaning 136003 clauses out of 272021 with flag 9441001/17054789
1738.88/1729.14	c cleaning 136998 clauses out of 274018 with flag 9579001/17192789
1758.21/1748.45	c cleaning 137999 clauses out of 276020 with flag 9718001/17331789
1773.30/1763.44	c cleaning 138998 clauses out of 278021 with flag 9858001/17471789
1795.16/1785.28	c cleaning 140006 clauses out of 280023 with flag 9999001/17612789
1800.05/1790.01	c starts		: 364
1800.05/1790.01	c conflicts		: 17669854
1800.05/1790.01	c decisions		: 21495936
1800.05/1790.01	c propagations		: 384244503
1800.05/1790.01	c inspects		: 15351795919
1800.05/1790.01	c shortcuts		: 0
1800.05/1790.01	c learnt literals	: 0
1800.05/1790.01	c learnt binary clauses	: 0
1800.05/1790.01	c learnt ternary clauses	: 0
1800.05/1790.01	c learnt constraints	: 17669855
1800.05/1790.01	c ignored constraints	: 0
1800.05/1790.01	c root simplifications	: 364
1800.05/1790.01	c removed literals (reason simplification)	: 78059
1800.05/1790.01	c reason swapping (by a shorter reason)	: 0
1800.05/1790.01	c Calls to reduceDB	: 396
1800.05/1790.01	c number of reductions to clauses (during analyze)	: 0
1800.05/1790.01	c number of learned constraints concerned by reduction	: 0
1800.05/1790.01	c number of learning phase by resolution	: 0
1800.05/1790.01	c number of learning phase by cutting planes	: 0
1800.05/1790.01	c speed (assignments/second)	: 214689.9877916933
1800.05/1790.01	c non guided choices	776
1800.05/1790.04	c learnt constraints type 
1800.05/1790.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 197353
1800.05/1790.04	c constraints type 
1800.05/1790.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1790.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 470
1800.05/1790.04	c 471 constraints processed.
1800.05/1790.04	s SATISFIABLE
1800.05/1790.04	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 
1800.05/1790.04	c objective function=209
1800.05/1790.04	c Total wall clock time (in seconds): 1789.915

Verifier Data

OK	209

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-3710658-1338138284/watcher-3710658-1338138284 -o /tmp/evaluation-result-3710658-1338138284/solver-3710658-1338138284 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710658-1338138284.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.66 1.92 1.97 3/174 27051
/proc/meminfo: memFree=29052152/32873844 swapFree=6856/6856
[pid=27051] ppid=27049 vsize=8 CPUtime=0 cores=0,2,4,6
/proc/27051/stat : 27051 (java) R 27049 27051 24682 0 -1 0 252 0 0 0 0 0 0 0 20 0 1 0 279953327 8192 1 33554432000 0 0 0 140735939114920 223651458487 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27051/statm: 66 3 0 0 0 23 0

[startup+0.0806471 s]
/proc/loadavg: 1.66 1.92 1.97 3/174 27051
/proc/meminfo: memFree=29052152/32873844 swapFree=6856/6856
[pid=27051] ppid=27049 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/27051/stat : 27051 (java) S 27049 27051 24682 0 -1 4202496 3424 0 1 0 5 1 0 0 20 0 18 0 279953327 9787842560 4121 33554432000 1073741824 1073778376 140735128482448 140735128473584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27051/statm: 2389610 4121 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.100255 s]
/proc/loadavg: 1.66 1.92 1.97 3/174 27051
/proc/meminfo: memFree=29052152/32873844 swapFree=6856/6856
[pid=27051] ppid=27049 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/27051/stat : 27051 (java) S 27049 27051 24682 0 -1 4202496 4261 0 1 0 8 1 0 0 20 0 18 0 279953327 9787842560 4957 33554432000 1073741824 1073778376 140735128482448 140735128473584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27051/statm: 2389610 4958 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300213 s]
/proc/loadavg: 1.66 1.92 1.97 3/174 27051
/proc/meminfo: memFree=29052152/32873844 swapFree=6856/6856
[pid=27051] ppid=27049 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/27051/stat : 27051 (java) S 27049 27051 24682 0 -1 4202496 6954 0 1 0 47 2 0 0 20 0 19 0 279953327 9856004096 9030 33554432000 1073741824 1073778376 140735128482448 140735128473584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27051/statm: 2406251 9030 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625004

[startup+0.700223 s]
/proc/loadavg: 1.66 1.92 1.97 3/174 27051
/proc/meminfo: memFree=29052152/32873844 swapFree=6856/6856
[pid=27051] ppid=27049 vsize=9625004 CPUtime=1.19 cores=0,2,4,6
/proc/27051/stat : 27051 (java) S 27049 27051 24682 0 -1 4202496 9268 0 1 0 117 2 0 0 20 0 19 0 279953327 9856004096 11148 33554432000 1073741824 1073778376 140735128482448 140735128473584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27051/statm: 2406251 11148 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9625004

[startup+1.50068 s]
/proc/loadavg: 1.66 1.92 1.97 3/213 27093
/proc/meminfo: memFree=28831692/32873844 swapFree=6856/6856
[pid=27051] ppid=27049 vsize=9625004 CPUtime=2.08 cores=0,2,4,6
/proc/27051/stat : 27051 (java) S 27049 27051 24682 0 -1 4202496 9360 0 1 0 204 4 0 0 20 0 19 0 279953327 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140735128473584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27051/statm: 2406251 16842 2276 9 0 2396937 0
[pid=27051/tid=27057] ppid=27049 vsize=9625004 CPUtime=1.43 cores=0,2,4,6
/proc/27051/task/27057/stat : 27057 (java) R 27049 27051 24682 0 -1 4202560 2575 0 1 0 141 2 0 0 20 0 19 0 279953329 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665409933736 140665350171786 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27060] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27060/stat : 27060 (java) S 27049 27051 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665348663976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27061] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27061/stat : 27061 (java) S 27049 27051 24682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665347611432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27062] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27062/stat : 27062 (java) S 27049 27051 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665251642280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27063] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27063/stat : 27063 (java) S 27049 27051 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665250589736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27064] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27064/stat : 27064 (java) S 27049 27051 24682 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665249536168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27067] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27067/stat : 27067 (java) S 27049 27051 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665248483624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27068] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27068/stat : 27068 (java) S 27049 27051 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665247431080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27070] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27070/stat : 27070 (java) S 27049 27051 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665246378536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27077] ppid=27049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/27051/task/27077/stat : 27077 (java) S 27049 27051 24682 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 279953331 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665234180712 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27079] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27079/stat : 27079 (java) S 27049 27051 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665233127032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27081] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27081/stat : 27081 (java) S 27049 27051 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665232074376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27083] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27083/stat : 27083 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665231023120 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27084] ppid=27049 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/27051/task/27084/stat : 27084 (java) S 27049 27051 24682 0 -1 4202560 3176 0 0 0 29 0 0 0 20 0 19 0 279953334 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665229969464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27086] ppid=27049 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/27051/task/27086/stat : 27086 (java) S 27049 27051 24682 0 -1 4202560 2350 0 0 0 27 0 0 0 20 0 19 0 279953334 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665228916920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27089] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27089/stat : 27089 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665227864568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27091] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27091/stat : 27091 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665226812232 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27092] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27092/stat : 27092 (java) S 27049 27051 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279953352 9856004096 16842 33554432000 1073741824 1073778376 140735128482448 140665225757992 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9625004

[startup+3.10068 s]
/proc/loadavg: 1.69 1.92 1.97 3/213 27093
/proc/meminfo: memFree=28814068/32873844 swapFree=6856/6856
[pid=27051] ppid=27049 vsize=9625004 CPUtime=3.75 cores=0,2,4,6
/proc/27051/stat : 27051 (java) S 27049 27051 24682 0 -1 4202496 9414 0 1 0 371 4 0 0 20 0 19 0 279953327 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140735128473584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27051/statm: 2406251 17911 2277 9 0 2396937 0
[pid=27051/tid=27057] ppid=27049 vsize=9625004 CPUtime=2.98 cores=0,2,4,6
/proc/27051/task/27057/stat : 27057 (java) R 27049 27051 24682 0 -1 4202560 2578 0 1 0 296 2 0 0 20 0 19 0 279953329 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665409933616 140665350106996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27060] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27060/stat : 27060 (java) S 27049 27051 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665348663976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27061] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27061/stat : 27061 (java) S 27049 27051 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665347611432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27062] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27062/stat : 27062 (java) S 27049 27051 24682 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665251642280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27063] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27063/stat : 27063 (java) S 27049 27051 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665250589736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27064] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27064/stat : 27064 (java) S 27049 27051 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665249536168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27067] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27067/stat : 27067 (java) S 27049 27051 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665248483624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27068] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27068/stat : 27068 (java) S 27049 27051 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665247431080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27070] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27070/stat : 27070 (java) S 27049 27051 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665246378536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27077] ppid=27049 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/27051/task/27077/stat : 27077 (java) S 27049 27051 24682 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 19 0 279953331 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665234180712 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27079] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27079/stat : 27079 (java) S 27049 27051 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665233127032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27081] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27081/stat : 27081 (java) S 27049 27051 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665232074376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27083] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27083/stat : 27083 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665231023120 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27084] ppid=27049 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/27051/task/27084/stat : 27084 (java) S 27049 27051 24682 0 -1 4202560 3210 0 0 0 34 0 0 0 20 0 19 0 279953334 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665229969464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27086] ppid=27049 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/27051/task/27086/stat : 27086 (java) S 27049 27051 24682 0 -1 4202560 2350 0 0 0 27 0 0 0 20 0 19 0 279953334 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665228916920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27089] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27089/stat : 27089 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665227864568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27091] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27091/stat : 27091 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665226812232 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27092] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27092/stat : 27092 (java) S 27049 27051 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279953352 9856004096 17911 33554432000 1073741824 1073778376 140735128482448 140665225757992 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 9625004

[startup+6.30065 s]
/proc/loadavg: 1.69 1.92 1.97 5/213 27093
/proc/meminfo: memFree=28792596/32873844 swapFree=6856/6856
[pid=27051] ppid=27049 vsize=9625004 CPUtime=6.99 cores=0,2,4,6
/proc/27051/stat : 27051 (java) S 27049 27051 24682 0 -1 4202496 9440 0 1 0 695 4 0 0 20 0 19 0 279953327 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140735128473584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27051/statm: 2406251 20992 2277 9 0 2396937 0
[pid=27051/tid=27057] ppid=27049 vsize=9625004 CPUtime=6.08 cores=0,2,4,6
/proc/27051/task/27057/stat : 27057 (java) R 27049 27051 24682 0 -1 4202560 2584 0 1 0 606 2 0 0 20 0 19 0 279953329 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665409933576 140665350206287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27060] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27060/stat : 27060 (java) S 27049 27051 24682 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665348663976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27061] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27061/stat : 27061 (java) S 27049 27051 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665347611432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27062] ppid=27049 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/27051/task/27062/stat : 27062 (java) S 27049 27051 24682 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 279953330 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665251642280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27063] ppid=27049 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/27051/task/27063/stat : 27063 (java) S 27049 27051 24682 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 279953330 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665250589736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27064] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27064/stat : 27064 (java) S 27049 27051 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665249536168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27067] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27067/stat : 27067 (java) S 27049 27051 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665248483624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27068] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27068/stat : 27068 (java) S 27049 27051 24682 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 279953330 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665247431080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27070] ppid=27049 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/27051/task/27070/stat : 27070 (java) S 27049 27051 24682 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 279953330 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665246378536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27077] ppid=27049 vsize=9625004 CPUtime=0.13 cores=0,2,4,6
/proc/27051/task/27077/stat : 27077 (java) S 27049 27051 24682 0 -1 4202560 38 0 0 0 13 0 0 0 20 0 19 0 279953331 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665234180712 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27079] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27079/stat : 27079 (java) S 27049 27051 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665233127032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27081] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27081/stat : 27081 (java) S 27049 27051 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665232074376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27083] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27083/stat : 27083 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665231023120 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27084] ppid=27049 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/27051/task/27084/stat : 27084 (java) S 27049 27051 24682 0 -1 4202560 3210 0 0 0 34 0 0 0 20 0 19 0 279953334 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665229969464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27086] ppid=27049 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/27051/task/27086/stat : 27086 (java) S 27049 27051 24682 0 -1 4202560 2350 0 0 0 27 0 0 0 20 0 19 0 279953334 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665228916920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27089] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27089/stat : 27089 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665227864568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27091] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27091/stat : 27091 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665226812232 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27092] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27092/stat : 27092 (java) S 27049 27051 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279953352 9856004096 20992 33554432000 1073741824 1073778376 140735128482448 140665225757992 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=27051/tid=27067] ppid=27049 vsize=9625004 CPUtime=1.64 cores=0,2,4,6
/proc/27051/task/27067/stat : 27067 (java) S 27049 27051 24682 0 -1 4202560 218 0 0 0 158 6 0 0 20 0 19 0 279953330 9856004096 104447 33554432000 1073741824 1073778376 140735128482448 140665248483624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27068] ppid=27049 vsize=9625004 CPUtime=1.6 cores=0,2,4,6
/proc/27051/task/27068/stat : 27068 (java) S 27049 27051 24682 0 -1 4202560 402 0 0 0 157 3 0 0 20 0 19 0 279953330 9856004096 104447 33554432000 1073741824 1073778376 140735128482448 140665247431080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27070] ppid=27049 vsize=9625004 CPUtime=1.6 cores=0,2,4,6
/proc/27051/task/27070/stat : 27070 (java) S 27049 27051 24682 0 -1 4202560 319 0 0 0 155 5 0 0 20 0 19 0 279953330 9856004096 104447 33554432000 1073741824 1073778376 140735128482448 140665246378536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27077] ppid=27049 vsize=9625004 CPUtime=14.48 cores=0,2,4,6
/proc/27051/task/27077/stat : 27077 (java) S 27049 27051 24682 0 -1 4202560 152 0 0 0 1444 4 0 0 20 0 19 0 279953331 9856004096 104447 33554432000 1073741824 1073778376 140735128482448 140665234180712 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27079] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27079/stat : 27079 (java) S 27049 27051 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 104447 33554432000 1073741824 1073778376 140735128482448 140665233127032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27081] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27081/stat : 27081 (java) S 27049 27051 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 104447 33554432000 1073741824 1073778376 140735128482448 140665232074376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27083] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27083/stat : 27083 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 104447 33554432000 1073741824 1073778376 140735128482448 140665231023120 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27084] ppid=27049 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/27051/task/27084/stat : 27084 (java) S 27049 27051 24682 0 -1 4202560 3222 0 0 0 38 0 0 0 20 0 19 0 279953334 9856004096 104447 33554432000 1073741824 1073778376 140735128482448 140665229969464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27086] ppid=27049 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/27051/task/27086/stat : 27086 (java) S 27049 27051 24682 0 -1 4202560 2353 0 0 0 28 0 0 0 20 0 19 0 279953334 9856004096 104447 33554432000 1073741824 1073778376 140735128482448 140665228916920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27089] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27089/stat : 27089 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 104447 33554432000 1073741824 1073778376 140735128482448 140665227864568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27091] ppid=27049 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/27051/task/27091/stat : 27091 (java) S 27049 27051 24682 0 -1 4202560 95 0 0 0 18 23 0 0 20 0 19 0 279953334 9856004096 104447 33554432000 1073741824 1073778376 140735128482448 140665226812232 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27092] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27092/stat : 27092 (java) S 27049 27051 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279953352 9856004096 104447 33554432000 1073741824 1073778376 140735128482448 140665225757992 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1671.97
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/213 27108
/proc/meminfo: memFree=26965236/32873844 swapFree=6856/6856
[pid=27051] ppid=27049 vsize=9625004 CPUtime=1732.08 cores=0,2,4,6
/proc/27051/stat : 27051 (java) S 27049 27051 24682 0 -1 4202496 12715 0 1 0 173144 64 0 0 20 0 19 0 279953327 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140735128473584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27051/statm: 2406251 104959 2278 9 0 2396937 0
[pid=27051/tid=27057] ppid=27049 vsize=9625004 CPUtime=1703.51 cores=0,2,4,6
/proc/27051/task/27057/stat : 27057 (java) R 27049 27051 24682 0 -1 4202560 3018 0 1 0 170319 32 0 0 20 0 19 0 279953329 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665409933616 140665350156606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27060] ppid=27049 vsize=9625004 CPUtime=1.7 cores=0,2,4,6
/proc/27051/task/27060/stat : 27060 (java) S 27049 27051 24682 0 -1 4202560 328 0 0 0 164 6 0 0 20 0 19 0 279953330 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665348663976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27061] ppid=27049 vsize=9625004 CPUtime=1.63 cores=0,2,4,6
/proc/27051/task/27061/stat : 27061 (java) S 27049 27051 24682 0 -1 4202560 208 0 0 0 160 3 0 0 20 0 19 0 279953330 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665347611432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27062] ppid=27049 vsize=9625004 CPUtime=1.62 cores=0,2,4,6
/proc/27051/task/27062/stat : 27062 (java) S 27049 27051 24682 0 -1 4202560 410 0 0 0 159 3 0 0 20 0 19 0 279953330 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665251642280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27063] ppid=27049 vsize=9625004 CPUtime=1.57 cores=0,2,4,6
/proc/27051/task/27063/stat : 27063 (java) S 27049 27051 24682 0 -1 4202560 298 0 0 0 153 4 0 0 20 0 19 0 279953330 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665250589736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27064] ppid=27049 vsize=9625004 CPUtime=1.66 cores=0,2,4,6
/proc/27051/task/27064/stat : 27064 (java) S 27049 27051 24682 0 -1 4202560 503 0 0 0 162 4 0 0 20 0 19 0 279953330 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665249536168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27067] ppid=27049 vsize=9625004 CPUtime=1.65 cores=0,2,4,6
/proc/27051/task/27067/stat : 27067 (java) S 27049 27051 24682 0 -1 4202560 218 0 0 0 159 6 0 0 20 0 19 0 279953330 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665248483624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27068] ppid=27049 vsize=9625004 CPUtime=1.62 cores=0,2,4,6
/proc/27051/task/27068/stat : 27068 (java) S 27049 27051 24682 0 -1 4202560 402 0 0 0 159 3 0 0 20 0 19 0 279953330 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665247431080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27070] ppid=27049 vsize=9625004 CPUtime=1.61 cores=0,2,4,6
/proc/27051/task/27070/stat : 27070 (java) S 27049 27051 24682 0 -1 4202560 319 0 0 0 156 5 0 0 20 0 19 0 279953330 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665246378536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27077] ppid=27049 vsize=9625004 CPUtime=14.75 cores=0,2,4,6
/proc/27051/task/27077/stat : 27077 (java) S 27049 27051 24682 0 -1 4202560 156 0 0 0 1471 4 0 0 20 0 19 0 279953331 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665234180712 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27079] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27079/stat : 27079 (java) S 27049 27051 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665233127032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27081] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27081/stat : 27081 (java) S 27049 27051 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665232074376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27083] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27083/stat : 27083 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665231023120 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27084] ppid=27049 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/27051/task/27084/stat : 27084 (java) S 27049 27051 24682 0 -1 4202560 3222 0 0 0 38 0 0 0 20 0 19 0 279953334 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665229969464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27086] ppid=27049 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/27051/task/27086/stat : 27086 (java) S 27049 27051 24682 0 -1 4202560 2353 0 0 0 28 0 0 0 20 0 19 0 279953334 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665228916920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27089] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27089/stat : 27089 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665227864568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27091] ppid=27049 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/27051/task/27091/stat : 27091 (java) S 27049 27051 24682 0 -1 4202560 99 0 0 0 18 24 0 0 20 0 19 0 279953334 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665226812232 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27092] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27092/stat : 27092 (java) S 27049 27051 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279953352 9856004096 104959 33554432000 1073741824 1073778376 140735128482448 140665225757992 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1732.08
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/213 27108
/proc/meminfo: memFree=26946556/32873844 swapFree=6856/6856
[pid=27051] ppid=27049 vsize=9625004 CPUtime=1792.25 cores=0,2,4,6
/proc/27051/stat : 27051 (java) S 27049 27051 24682 0 -1 4202496 12754 0 1 0 179159 66 0 0 20 0 19 0 279953327 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140735128473584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27051/statm: 2406251 109567 2278 9 0 2396937 0
[pid=27051/tid=27057] ppid=27049 vsize=9625004 CPUtime=1763.2 cores=0,2,4,6
/proc/27051/task/27057/stat : 27057 (java) R 27049 27051 24682 0 -1 4202560 3023 0 1 0 176287 33 0 0 20 0 19 0 279953329 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665409933616 140665350347740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27060] ppid=27049 vsize=9625004 CPUtime=1.74 cores=0,2,4,6
/proc/27051/task/27060/stat : 27060 (java) S 27049 27051 24682 0 -1 4202560 330 0 0 0 168 6 0 0 20 0 19 0 279953330 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665348663976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27061] ppid=27049 vsize=9625004 CPUtime=1.67 cores=0,2,4,6
/proc/27051/task/27061/stat : 27061 (java) S 27049 27051 24682 0 -1 4202560 214 0 0 0 163 4 0 0 20 0 19 0 279953330 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665347611432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27062] ppid=27049 vsize=9625004 CPUtime=1.65 cores=0,2,4,6
/proc/27051/task/27062/stat : 27062 (java) S 27049 27051 24682 0 -1 4202560 415 0 0 0 162 3 0 0 20 0 19 0 279953330 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665251642280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27063] ppid=27049 vsize=9625004 CPUtime=1.57 cores=0,2,4,6
/proc/27051/task/27063/stat : 27063 (java) S 27049 27051 24682 0 -1 4202560 298 0 0 0 153 4 0 0 20 0 19 0 279953330 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665250589736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27064] ppid=27049 vsize=9625004 CPUtime=1.69 cores=0,2,4,6
/proc/27051/task/27064/stat : 27064 (java) S 27049 27051 24682 0 -1 4202560 504 0 0 0 165 4 0 0 20 0 19 0 279953330 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665249536168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27067] ppid=27049 vsize=9625004 CPUtime=1.69 cores=0,2,4,6
/proc/27051/task/27067/stat : 27067 (java) S 27049 27051 24682 0 -1 4202560 225 0 0 0 163 6 0 0 20 0 19 0 279953330 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665248483624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27068] ppid=27049 vsize=9625004 CPUtime=1.66 cores=0,2,4,6
/proc/27051/task/27068/stat : 27068 (java) S 27049 27051 24682 0 -1 4202560 408 0 0 0 162 4 0 0 20 0 19 0 279953330 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665247431080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27070] ppid=27049 vsize=9625004 CPUtime=1.63 cores=0,2,4,6
/proc/27051/task/27070/stat : 27070 (java) S 27049 27051 24682 0 -1 4202560 320 0 0 0 158 5 0 0 20 0 19 0 279953330 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665246378536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27077] ppid=27049 vsize=9625004 CPUtime=14.99 cores=0,2,4,6
/proc/27051/task/27077/stat : 27077 (java) S 27049 27051 24682 0 -1 4202560 158 0 0 0 1495 4 0 0 20 0 19 0 279953331 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665234180712 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27079] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27079/stat : 27079 (java) S 27049 27051 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665233127032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27081] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27081/stat : 27081 (java) S 27049 27051 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665232074376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27083] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27083/stat : 27083 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665231023120 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27084] ppid=27049 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/27051/task/27084/stat : 27084 (java) S 27049 27051 24682 0 -1 4202560 3222 0 0 0 38 0 0 0 20 0 19 0 279953334 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665229969464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27086] ppid=27049 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/27051/task/27086/stat : 27086 (java) S 27049 27051 24682 0 -1 4202560 2353 0 0 0 28 0 0 0 20 0 19 0 279953334 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665228916920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27089] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27089/stat : 27089 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665227864568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27091] ppid=27049 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/27051/task/27091/stat : 27091 (java) S 27049 27051 24682 0 -1 4202560 103 0 0 0 19 24 0 0 20 0 19 0 279953334 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665226812232 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27092] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27092/stat : 27092 (java) S 27049 27051 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279953352 9856004096 109567 33554432000 1073741824 1073778376 140735128482448 140665225757992 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1792.25
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790 s]
/proc/loadavg: 2.00 2.00 1.99 4/213 27167
/proc/meminfo: memFree=28205624/32873844 swapFree=6856/6856
[pid=27051] ppid=27049 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6
/proc/27051/stat : 27051 (java) S 27049 27051 24682 0 -1 4202496 12769 0 1 0 179938 67 0 0 20 0 19 0 279953327 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140735128473584 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27051/statm: 2406251 111103 2278 9 0 2396937 0
[pid=27051/tid=27057] ppid=27049 vsize=9625004 CPUtime=1770.75 cores=0,2,4,6
/proc/27051/task/27057/stat : 27057 (java) R 27049 27051 24682 0 -1 4202560 3024 0 1 0 177042 33 0 0 20 0 19 0 279953329 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665409933616 140665350249552 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27060] ppid=27049 vsize=9625004 CPUtime=1.77 cores=0,2,4,6
/proc/27051/task/27060/stat : 27060 (java) S 27049 27051 24682 0 -1 4202560 333 0 0 0 171 6 0 0 20 0 19 0 279953330 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665348663976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27061] ppid=27049 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/27051/task/27061/stat : 27061 (java) S 27049 27051 24682 0 -1 4202560 217 0 0 0 164 4 0 0 20 0 19 0 279953330 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665347611432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27062] ppid=27049 vsize=9625004 CPUtime=1.67 cores=0,2,4,6
/proc/27051/task/27062/stat : 27062 (java) S 27049 27051 24682 0 -1 4202560 418 0 0 0 163 4 0 0 20 0 19 0 279953330 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665251642280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27063] ppid=27049 vsize=9625004 CPUtime=1.59 cores=0,2,4,6
/proc/27051/task/27063/stat : 27063 (java) S 27049 27051 24682 0 -1 4202560 298 0 0 0 155 4 0 0 20 0 19 0 279953330 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665250589736 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27064] ppid=27049 vsize=9625004 CPUtime=1.7 cores=0,2,4,6
/proc/27051/task/27064/stat : 27064 (java) S 27049 27051 24682 0 -1 4202560 507 0 0 0 166 4 0 0 20 0 19 0 279953330 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665249536168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27067] ppid=27049 vsize=9625004 CPUtime=1.7 cores=0,2,4,6
/proc/27051/task/27067/stat : 27067 (java) S 27049 27051 24682 0 -1 4202560 225 0 0 0 164 6 0 0 20 0 19 0 279953330 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665248483624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27068] ppid=27049 vsize=9625004 CPUtime=1.67 cores=0,2,4,6
/proc/27051/task/27068/stat : 27068 (java) S 27049 27051 24682 0 -1 4202560 408 0 0 0 163 4 0 0 20 0 19 0 279953330 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665247431080 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27070] ppid=27049 vsize=9625004 CPUtime=1.64 cores=0,2,4,6
/proc/27051/task/27070/stat : 27070 (java) S 27049 27051 24682 0 -1 4202560 320 0 0 0 159 5 0 0 20 0 19 0 279953330 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665246378536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27051/tid=27077] ppid=27049 vsize=9625004 CPUtime=15.12 cores=0,2,4,6
/proc/27051/task/27077/stat : 27077 (java) S 27049 27051 24682 0 -1 4202560 160 0 0 0 1508 4 0 0 20 0 19 0 279953331 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665234180712 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27079] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27079/stat : 27079 (java) S 27049 27051 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665233127032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27081] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27081/stat : 27081 (java) S 27049 27051 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279953331 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665232074376 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27083] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27083/stat : 27083 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665231023120 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27084] ppid=27049 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/27051/task/27084/stat : 27084 (java) S 27049 27051 24682 0 -1 4202560 3222 0 0 0 38 0 0 0 20 0 19 0 279953334 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665229969464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27051/tid=27086] ppid=27049 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/27051/task/27086/stat : 27086 (java) S 27049 27051 24682 0 -1 4202560 2353 0 0 0 28 0 0 0 20 0 19 0 279953334 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665228916920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27089] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27089/stat : 27089 (java) S 27049 27051 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279953334 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665227864568 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27051/tid=27091] ppid=27049 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/27051/task/27091/stat : 27091 (java) S 27049 27051 24682 0 -1 4202560 103 0 0 0 19 24 0 0 20 0 19 0 279953334 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665226812232 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27051/tid=27092] ppid=27049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27051/task/27092/stat : 27092 (java) S 27049 27051 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279953352 9856004096 111103 33554432000 1073741824 1073778376 140735128482448 140665225757992 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143
Real time (s): 1790.05
CPU time (s): 1800.73
CPU user time (s): 1799.61
CPU system time (s): 1.12183
CPU usage (%): 100.597
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 1.12183
maximum resident set size= 444580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12814
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48991
involuntary context switches= 37947

runsolver used 5.86211 second user time and 14.5118 second system time

The end

Launcher Data

Begin job on node144 at 2012-05-27 19:04:44
IDJOB=3710658
IDBENCH=1948
IDSOLVER=2289
FILE ID=node144/3710658-1338138284
RUNJOBID= node144-1338138284-27028
PBS_JOBID= 14624480
Free space on /tmp= 71500 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710658-1338138284/watcher-3710658-1338138284 -o /tmp/evaluation-result-3710658-1338138284/solver-3710658-1338138284 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710658-1338138284.opb

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

MD5SUM BENCH= a65a3b6248e07fcc15fb8d2bec9ac9bd
RANDOM SEED=489200344

node144.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.196
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	: 5332.39
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.196
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.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29054060 kB
Buffers:          369252 kB
Cached:          2603472 kB
SwapCached:            0 kB
Active:           805276 kB
Inactive:        2179700 kB
Active(anon):      13156 kB
Inactive(anon):        0 kB
Active(file):     792120 kB
Inactive(file):  2179700 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1168 kB
Writeback:            32 kB
AnonPages:         17636 kB
Mapped:            13556 kB
Shmem:               200 kB
Slab:             696444 kB
SReclaimable:     138944 kB
SUnreclaim:       557500 kB
KernelStack:        1384 kB
PageTables:         3968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71480 MiB
End job on node144 at 2012-05-27 19:34:36