Trace number 3687747

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)60 1800.92 1789.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
MD5SUM9c27419d6022516b3a8580fda3ca43ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark50
Best CPU time to get the best result obtained on this benchmark1.46878
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50
Optimality of the best value was proved NO
Number of variables807
Total number of constraints1823
Number of constraints which are clauses1823
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
Number of terms in the objective function 807
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 807
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 807
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.2.v20120418
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		501472288
0.02/0.08	c Max memory 		7480803328
0.02/0.08	c Total memory 		504102912
0.02/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3687747-1337875509.opb
0.10/0.10	c reading problem ... 
0.58/0.33	c ... done. Wall clock time 0.227s.
0.58/0.33	c declared #vars     807
0.58/0.33	c #constraints  1711
0.58/0.33	c constraints type 
0.58/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1687
0.58/0.33	c ignored satisfied constraints => 112
0.58/0.33	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8
0.58/0.33	c org.sat4j.minisat.constraints.cnf.UnitClause => 16
0.58/0.33	c 1823 constraints processed.
0.58/0.33	c objective function length is 807 literals
0.58/0.35	c SATISFIABLE
0.58/0.35	c OPTIMIZING...
0.58/0.35	c Got one! Elapsed wall clock time (in seconds):0.245
0.58/0.35	o 68
1.06/0.54	c Got one! Elapsed wall clock time (in seconds):0.441
1.06/0.54	o 67
1.21/0.61	c Got one! Elapsed wall clock time (in seconds):0.507
1.21/0.61	o 66
1.62/1.07	c cleaning 3297 clauses out of 6608 with flag 5002/6608
2.17/1.54	c cleaning 4655 clauses out of 9310 with flag 11001/12607
2.67/2.10	c cleaning 5825 clauses out of 11655 with flag 18001/19607
3.39/2.75	c cleaning 6910 clauses out of 13829 with flag 26000/27606
4.16/3.48	c cleaning 7955 clauses out of 15919 with flag 35000/36606
4.96/4.26	c cleaning 8973 clauses out of 17965 with flag 45001/46607
5.87/5.16	c cleaning 9975 clauses out of 19991 with flag 56000/57606
6.87/6.14	c cleaning 11006 clauses out of 22018 with flag 68002/69608
7.88/7.16	c cleaning 12000 clauses out of 24010 with flag 81000/82606
8.18/7.45	c Got one! Elapsed wall clock time (in seconds):7.347
8.18/7.45	o 65
8.29/7.51	c cleaning 8939 clauses out of 17895 with flag 2000/88491
8.60/7.83	c cleaning 7455 clauses out of 14956 with flag 8000/94491
9.11/8.39	c cleaning 7239 clauses out of 14504 with flag 15003/101494
9.81/9.09	c cleaning 7621 clauses out of 15262 with flag 23000/109491
10.51/9.77	c cleaning 8320 clauses out of 16641 with flag 32000/118491
11.31/10.54	c cleaning 9160 clauses out of 18324 with flag 42003/128494
12.22/11.44	c cleaning 10075 clauses out of 20161 with flag 53000/139491
13.22/12.47	c cleaning 11040 clauses out of 22087 with flag 65001/151492
14.42/13.63	c cleaning 12003 clauses out of 24048 with flag 78002/164493
15.63/14.86	c cleaning 13018 clauses out of 26043 with flag 92000/178491
16.94/16.14	c cleaning 13997 clauses out of 28032 with flag 107007/193498
18.37/17.52	c cleaning 14993 clauses out of 30034 with flag 123006/209497
19.78/18.97	c cleaning 15990 clauses out of 32035 with flag 140000/226491
21.38/20.56	c cleaning 17020 clauses out of 34045 with flag 158000/244491
23.09/22.28	c cleaning 18003 clauses out of 36025 with flag 177000/263491
24.92/24.06	c cleaning 18997 clauses out of 38022 with flag 197000/283491
26.42/25.58	c Got one! Elapsed wall clock time (in seconds):25.485
26.42/25.58	o 64
26.65/25.79	c cleaning 20381 clauses out of 40775 with flag 5001/305241
26.97/26.01	c cleaning 13190 clauses out of 26394 with flag 11001/311241
27.18/26.30	c cleaning 10091 clauses out of 20204 with flag 18001/318241
27.88/26.94	c cleaning 9016 clauses out of 18113 with flag 26001/326241
28.58/27.66	c cleaning 9033 clauses out of 18097 with flag 35001/335241
29.39/28.46	c cleaning 9518 clauses out of 19063 with flag 45000/345240
30.29/29.31	c cleaning 10263 clauses out of 20545 with flag 56000/356240
31.19/30.26	c cleaning 11118 clauses out of 22282 with flag 68000/368240
32.30/31.31	c cleaning 12070 clauses out of 24164 with flag 81000/381240
33.42/32.44	c cleaning 13036 clauses out of 26094 with flag 95000/395240
34.74/33.71	c cleaning 13987 clauses out of 28058 with flag 110000/410240
35.95/34.96	c cleaning 15034 clauses out of 30071 with flag 126000/426240
37.46/36.44	c cleaning 16019 clauses out of 32037 with flag 143000/443240
38.88/37.88	c cleaning 17002 clauses out of 34018 with flag 161000/461240
40.49/39.43	c cleaning 17997 clauses out of 36016 with flag 180000/480240
42.20/41.15	c cleaning 19009 clauses out of 38022 with flag 200003/500243
44.02/42.90	c cleaning 19994 clauses out of 40011 with flag 221001/521241
45.71/44.67	c cleaning 20994 clauses out of 42016 with flag 243000/543240
47.73/46.62	c cleaning 22010 clauses out of 44022 with flag 266000/566240
49.75/48.66	c cleaning 22974 clauses out of 46012 with flag 290000/590240
51.95/50.80	c cleaning 24006 clauses out of 48038 with flag 315000/615240
54.25/53.15	c cleaning 24993 clauses out of 50032 with flag 341000/641240
56.57/55.48	c cleaning 26009 clauses out of 52039 with flag 368000/668240
59.08/57.91	c cleaning 26997 clauses out of 54030 with flag 396000/696240
61.70/60.53	c cleaning 27996 clauses out of 56033 with flag 425000/725240
64.51/63.32	c cleaning 29014 clauses out of 58037 with flag 455000/755240
67.22/66.01	c cleaning 30010 clauses out of 60023 with flag 486000/786240
70.34/69.10	c cleaning 30983 clauses out of 62013 with flag 518000/818240
73.55/72.32	c cleaning 32000 clauses out of 64030 with flag 551000/851240
76.68/75.49	c cleaning 33015 clauses out of 66031 with flag 585001/885241
79.90/78.62	c cleaning 33990 clauses out of 68015 with flag 620000/920240
83.13/81.84	c cleaning 35001 clauses out of 70025 with flag 656000/956240
85.14/83.85	c Got one! Elapsed wall clock time (in seconds):83.752
85.14/83.85	o 63
85.38/84.08	c cleaning 32185 clauses out of 64379 with flag 5001/985595
85.69/84.34	c cleaning 19084 clauses out of 38194 with flag 11001/991595
86.02/84.61	c cleaning 13046 clauses out of 26109 with flag 18000/998594
86.32/84.91	c cleaning 10515 clauses out of 21063 with flag 26000/1006594
86.73/85.31	c cleaning 9774 clauses out of 19548 with flag 35000/1015594
87.43/86.05	c cleaning 9886 clauses out of 19777 with flag 45003/1025597
88.25/86.90	c cleaning 10432 clauses out of 20891 with flag 56003/1036597
89.25/87.85	c cleaning 11210 clauses out of 22456 with flag 68000/1048594
90.27/88.88	c cleaning 12100 clauses out of 24246 with flag 81000/1061594
91.39/89.95	c cleaning 13059 clauses out of 26146 with flag 95000/1075594
92.61/91.17	c cleaning 14019 clauses out of 28089 with flag 110002/1090596
93.93/92.47	c cleaning 15018 clauses out of 30072 with flag 126004/1106598
95.44/93.91	c cleaning 16017 clauses out of 32050 with flag 143000/1123594
96.94/95.46	c cleaning 16991 clauses out of 34033 with flag 161000/1141594
98.56/97.03	c cleaning 18013 clauses out of 36043 with flag 180001/1160595
100.26/98.72	c cleaning 18991 clauses out of 38029 with flag 200000/1180594
101.98/100.45	c cleaning 19997 clauses out of 40038 with flag 221000/1201594
103.90/102.39	c cleaning 20995 clauses out of 42042 with flag 243001/1223595
105.90/104.33	c cleaning 22015 clauses out of 44046 with flag 266000/1246594
107.91/106.39	c cleaning 22994 clauses out of 46032 with flag 290001/1270595
110.03/108.40	c cleaning 24013 clauses out of 48038 with flag 315001/1295595
112.34/110.78	c cleaning 24989 clauses out of 50024 with flag 341000/1321594
114.56/112.93	c cleaning 25991 clauses out of 52035 with flag 368000/1348594
117.08/115.41	c cleaning 27013 clauses out of 54044 with flag 396000/1376594
119.60/117.94	c cleaning 28010 clauses out of 56031 with flag 425000/1405594
122.14/120.47	c cleaning 28970 clauses out of 58021 with flag 455000/1435594
124.87/123.17	c cleaning 30029 clauses out of 60057 with flag 486006/1466600
127.88/126.14	c cleaning 30996 clauses out of 62022 with flag 518000/1498594
130.59/128.86	c cleaning 31991 clauses out of 64026 with flag 551000/1531594
133.91/132.11	c cleaning 32985 clauses out of 66035 with flag 585000/1565594
137.13/135.39	c cleaning 34026 clauses out of 68054 with flag 620004/1600598
140.74/138.96	c cleaning 34985 clauses out of 70027 with flag 656003/1636597
144.06/142.21	c cleaning 35999 clauses out of 72044 with flag 693005/1673599
147.77/145.91	c cleaning 36994 clauses out of 74040 with flag 731000/1711594
151.41/149.50	c cleaning 38017 clauses out of 76049 with flag 770003/1750597
155.14/153.25	c cleaning 39003 clauses out of 78030 with flag 810001/1790595
159.27/157.31	c cleaning 39987 clauses out of 80026 with flag 851000/1831594
163.28/161.38	c cleaning 41011 clauses out of 82040 with flag 893001/1873595
167.02/165.08	c cleaning 42007 clauses out of 84029 with flag 936001/1916595
171.22/169.27	c cleaning 42990 clauses out of 86021 with flag 980000/1960594
175.45/173.47	c cleaning 44002 clauses out of 88031 with flag 1025000/2005594
179.98/177.99	c cleaning 44989 clauses out of 90029 with flag 1071000/2051594
184.49/182.49	c cleaning 46021 clauses out of 92042 with flag 1118002/2098596
189.02/186.91	c cleaning 46986 clauses out of 94019 with flag 1166000/2146594
193.64/191.54	c cleaning 48001 clauses out of 96033 with flag 1215000/2195594
198.58/196.43	c cleaning 49005 clauses out of 98032 with flag 1265000/2245594
203.09/200.97	c Got one! Elapsed wall clock time (in seconds):200.873
203.09/200.97	o 62
203.50/201.32	c cleaning 51370 clauses out of 102752 with flag 5001/2299319
203.87/201.65	c cleaning 28687 clauses out of 57383 with flag 11002/2305320
204.17/201.93	c cleaning 17838 clauses out of 35694 with flag 18000/2312318
204.48/202.23	c cleaning 12911 clauses out of 25856 with flag 26000/2320318
204.80/202.57	c cleaning 10969 clauses out of 21947 with flag 35002/2329320
205.20/202.95	c cleaning 10479 clauses out of 20977 with flag 45001/2339319
205.62/203.36	c cleaning 10734 clauses out of 21497 with flag 56000/2350318
206.13/203.81	c cleaning 11365 clauses out of 22763 with flag 68000/2362318
206.63/204.31	c cleaning 12194 clauses out of 24399 with flag 81001/2375319
207.14/204.84	c cleaning 13085 clauses out of 26205 with flag 95001/2389319
207.74/205.43	c cleaning 14049 clauses out of 28120 with flag 110001/2404319
208.45/206.12	c cleaning 15027 clauses out of 30071 with flag 126001/2420319
209.26/206.90	c cleaning 16022 clauses out of 32044 with flag 143001/2437319
210.67/208.38	c cleaning 16991 clauses out of 34021 with flag 161000/2455318
212.20/209.89	c cleaning 17991 clauses out of 36030 with flag 180000/2474318
213.83/211.49	c cleaning 18997 clauses out of 38040 with flag 200001/2494319
215.65/213.25	c cleaning 20016 clauses out of 40042 with flag 221000/2515318
217.47/215.09	c cleaning 21013 clauses out of 42033 with flag 243007/2537325
219.37/216.97	c cleaning 21969 clauses out of 44013 with flag 266000/2560318
221.38/218.98	c cleaning 22980 clauses out of 46044 with flag 290000/2584318
223.51/221.07	c cleaning 24024 clauses out of 48065 with flag 315001/2609319
225.61/223.19	c cleaning 25004 clauses out of 50040 with flag 341000/2635318
227.94/225.47	c cleaning 26003 clauses out of 52038 with flag 368002/2662320
230.36/227.80	c cleaning 26976 clauses out of 54034 with flag 396001/2690319
232.67/230.20	c cleaning 28007 clauses out of 56057 with flag 425000/2719318
235.40/232.82	c cleaning 28990 clauses out of 58050 with flag 455000/2749318
238.02/235.42	c cleaning 30012 clauses out of 60060 with flag 486000/2780318
240.84/238.26	c cleaning 30999 clauses out of 62048 with flag 518000/2812318
243.76/241.18	c cleaning 32007 clauses out of 64049 with flag 551000/2845318
246.78/244.20	c cleaning 33004 clauses out of 66048 with flag 585006/2879324
249.90/247.21	c cleaning 33997 clauses out of 68038 with flag 620000/2914318
253.12/250.47	c cleaning 35020 clauses out of 70041 with flag 656000/2950318
256.35/253.69	c cleaning 35996 clauses out of 72024 with flag 693003/2987321
259.96/257.21	c cleaning 36991 clauses out of 74025 with flag 731000/3025318
263.60/260.81	c cleaning 37985 clauses out of 76034 with flag 770000/3064318
267.12/264.36	c cleaning 39016 clauses out of 78051 with flag 810002/3104320
271.03/268.26	c cleaning 39982 clauses out of 80034 with flag 851001/3145319
274.85/272.05	c cleaning 41005 clauses out of 82051 with flag 893000/3187318
278.97/276.13	c cleaning 42025 clauses out of 84055 with flag 936009/3230327
283.09/280.24	c cleaning 42977 clauses out of 86021 with flag 980000/3274318
287.63/284.73	c cleaning 44001 clauses out of 88044 with flag 1025000/3319318
290.96/288.03	c Got one! Elapsed wall clock time (in seconds):287.93
290.96/288.03	o 61
291.27/288.31	c cleaning 41915 clauses out of 83839 with flag 5000/3359114
291.51/288.59	c cleaning 23953 clauses out of 47924 with flag 11000/3365114
291.82/288.87	c cleaning 15481 clauses out of 30973 with flag 18002/3372116
292.14/289.18	c cleaning 11734 clauses out of 23490 with flag 26000/3380114
292.55/289.54	c cleaning 10364 clauses out of 20756 with flag 35000/3389114
292.97/289.95	c cleaning 10188 clauses out of 20396 with flag 45004/3399118
293.53/290.40	c cleaning 10593 clauses out of 21205 with flag 56001/3410115
293.94/290.89	c cleaning 11291 clauses out of 22611 with flag 68000/3422114
294.67/291.54	c cleaning 12139 clauses out of 24322 with flag 81002/3435116
295.79/292.60	c cleaning 13079 clauses out of 26181 with flag 95000/3449114
296.91/293.75	c cleaning 14037 clauses out of 28103 with flag 110001/3464115
298.24/295.02	c cleaning 15001 clauses out of 30065 with flag 126000/3480114
299.55/296.35	c cleaning 16019 clauses out of 32066 with flag 143002/3497116
300.99/297.77	c cleaning 17008 clauses out of 34047 with flag 161002/3515116
302.51/299.26	c cleaning 18016 clauses out of 36038 with flag 180001/3534115
304.11/300.81	c cleaning 18997 clauses out of 38023 with flag 200002/3554116
305.73/302.47	c cleaning 20011 clauses out of 40024 with flag 221000/3575114
307.44/304.19	c cleaning 20984 clauses out of 42013 with flag 243000/3597114
309.45/306.13	c cleaning 21977 clauses out of 44029 with flag 266000/3620114
311.45/308.13	c cleaning 23008 clauses out of 46052 with flag 290000/3644114
313.58/310.22	c cleaning 24010 clauses out of 48047 with flag 315003/3669117
315.81/312.46	c cleaning 24987 clauses out of 50034 with flag 341000/3695114
318.02/314.66	c cleaning 25980 clauses out of 52047 with flag 368000/3722114
320.33/316.93	c cleaning 27010 clauses out of 54067 with flag 396000/3750114
322.74/319.35	c cleaning 28022 clauses out of 56057 with flag 425000/3779114
325.26/321.85	c cleaning 28989 clauses out of 58035 with flag 455000/3809114
327.90/324.47	c cleaning 30016 clauses out of 60049 with flag 486003/3840117
330.61/327.15	c cleaning 31008 clauses out of 62030 with flag 518000/3872114
333.44/330.00	c cleaning 32003 clauses out of 64022 with flag 551000/3905114
336.34/332.86	c cleaning 33010 clauses out of 66019 with flag 585000/3939114
339.26/335.76	c cleaning 33991 clauses out of 68009 with flag 620000/3974114
342.38/338.80	c cleaning 34998 clauses out of 70018 with flag 656000/4010114
345.59/342.05	c cleaning 35973 clauses out of 72020 with flag 693000/4047114
348.80/345.28	c cleaning 37022 clauses out of 74047 with flag 731000/4085114
352.21/348.68	c cleaning 38005 clauses out of 76026 with flag 770001/4124115
355.53/352.00	c cleaning 38992 clauses out of 78020 with flag 810000/4164114
359.55/355.93	c cleaning 40000 clauses out of 80029 with flag 851001/4205115
363.17/359.50	c cleaning 40992 clauses out of 82028 with flag 893000/4247114
366.90/363.29	c cleaning 41995 clauses out of 84036 with flag 936000/4290114
371.14/367.41	c cleaning 42990 clauses out of 86041 with flag 980000/4334114
375.24/371.52	c cleaning 44026 clauses out of 88051 with flag 1025000/4379114
379.68/375.93	c cleaning 44988 clauses out of 90026 with flag 1071001/4425115
384.36/380.58	c cleaning 46019 clauses out of 92044 with flag 1118007/4472121
388.48/384.67	c cleaning 47008 clauses out of 94018 with flag 1166000/4520114
392.81/388.93	c cleaning 47992 clauses out of 96011 with flag 1215001/4569115
398.02/394.13	c cleaning 48984 clauses out of 98018 with flag 1265000/4619114
402.33/398.48	c cleaning 50011 clauses out of 100035 with flag 1316001/4670115
406.76/402.85	c cleaning 50998 clauses out of 102023 with flag 1368000/4722114
411.67/407.75	c cleaning 51985 clauses out of 104026 with flag 1421001/4775115
416.49/412.57	c cleaning 53005 clauses out of 106040 with flag 1475000/4829114
421.40/417.45	c cleaning 54018 clauses out of 108037 with flag 1530002/4884116
426.35/422.37	c cleaning 54999 clauses out of 110018 with flag 1586001/4940115
431.58/427.56	c cleaning 55996 clauses out of 112018 with flag 1643000/4997114
437.10/433.08	c cleaning 56993 clauses out of 114025 with flag 1701003/5055117
442.84/438.73	c cleaning 58000 clauses out of 116029 with flag 1760000/5114114
448.68/444.50	c cleaning 58996 clauses out of 118029 with flag 1820000/5174114
454.12/449.97	c cleaning 59992 clauses out of 120033 with flag 1881000/5235114
459.93/455.70	c cleaning 61010 clauses out of 122042 with flag 1943001/5297115
465.97/461.70	c cleaning 62002 clauses out of 124032 with flag 2006001/5360115
472.09/467.81	c cleaning 62995 clauses out of 126032 with flag 2070003/5424117
478.41/474.14	c cleaning 63984 clauses out of 128034 with flag 2135000/5489114
484.92/480.67	c cleaning 64987 clauses out of 130052 with flag 2201002/5555116
491.25/486.95	c cleaning 66026 clauses out of 132063 with flag 2268000/5622114
497.77/493.44	c cleaning 66989 clauses out of 134037 with flag 2336000/5690114
505.91/501.57	c cleaning 68000 clauses out of 136054 with flag 2405006/5759120
513.14/508.71	c cleaning 69012 clauses out of 138049 with flag 2475001/5829115
520.05/515.64	c cleaning 69998 clauses out of 140036 with flag 2546000/5900114
527.07/522.65	c cleaning 71000 clauses out of 142039 with flag 2618001/5972115
534.89/530.48	c cleaning 72009 clauses out of 144039 with flag 2691001/6045115
542.75/538.23	c cleaning 73001 clauses out of 146029 with flag 2765000/6119114
550.09/545.59	c cleaning 73977 clauses out of 148028 with flag 2840000/6194114
557.60/553.00	c cleaning 75000 clauses out of 150051 with flag 2916000/6270114
565.44/560.89	c cleaning 75998 clauses out of 152055 with flag 2993004/6347118
574.67/570.08	c cleaning 76996 clauses out of 154054 with flag 3071001/6425115
582.30/577.67	c cleaning 78004 clauses out of 156057 with flag 3150000/6504114
590.53/585.85	c cleaning 78998 clauses out of 158053 with flag 3230000/6584114
598.25/593.57	c cleaning 79996 clauses out of 160055 with flag 3311000/6665114
606.29/601.58	c cleaning 81016 clauses out of 162059 with flag 3393000/6747114
615.11/610.34	c cleaning 82022 clauses out of 164044 with flag 3476001/6830115
623.66/618.81	c cleaning 82990 clauses out of 166021 with flag 3560000/6914114
633.30/628.48	c cleaning 83997 clauses out of 168033 with flag 3645002/6999116
642.52/637.65	c cleaning 85000 clauses out of 170034 with flag 3731000/7085114
651.66/646.77	c cleaning 85985 clauses out of 172034 with flag 3818000/7172114
660.59/655.66	c cleaning 87019 clauses out of 174053 with flag 3906004/7260118
670.03/665.09	c cleaning 87993 clauses out of 176030 with flag 3995000/7349114
679.15/674.16	c cleaning 88982 clauses out of 178037 with flag 4085000/7439114
689.87/684.85	c cleaning 90008 clauses out of 180056 with flag 4176001/7530115
700.81/695.79	c cleaning 91011 clauses out of 182047 with flag 4268000/7622114
712.07/706.94	c cleaning 92014 clauses out of 184037 with flag 4361001/7715115
722.31/717.15	c cleaning 92988 clauses out of 186022 with flag 4455000/7809114
733.14/727.92	c cleaning 93994 clauses out of 188034 with flag 4550000/7904114
743.67/738.45	c cleaning 95013 clauses out of 190046 with flag 4646006/8000120
753.81/748.53	c cleaning 96000 clauses out of 192027 with flag 4743000/8097114
765.76/760.47	c cleaning 97002 clauses out of 194027 with flag 4841000/8195114
777.71/772.33	c cleaning 97993 clauses out of 196025 with flag 4940000/8294114
791.88/786.44	c cleaning 98995 clauses out of 198032 with flag 5040000/8394114
804.67/799.19	c cleaning 99994 clauses out of 200037 with flag 5141000/8495114
816.23/810.64	c cleaning 101000 clauses out of 202044 with flag 5243001/8597115
829.36/823.80	c cleaning 101998 clauses out of 204043 with flag 5346000/8700114
841.53/835.80	c cleaning 103003 clauses out of 206045 with flag 5450000/8804114
855.49/849.74	c cleaning 103990 clauses out of 208042 with flag 5555000/8909114
867.15/861.39	c cleaning 105000 clauses out of 210058 with flag 5661006/9015120
882.59/876.71	c cleaning 106026 clauses out of 212052 with flag 5768000/9122114
894.46/888.58	c cleaning 107003 clauses out of 214027 with flag 5876001/9230115
909.28/903.37	c cleaning 107975 clauses out of 216025 with flag 5985002/9339116
924.48/918.47	c cleaning 109006 clauses out of 218050 with flag 6095002/9449116
937.54/931.43	c cleaning 110000 clauses out of 220042 with flag 6206000/9560114
952.11/945.98	c cleaning 111021 clauses out of 222042 with flag 6318000/9672114
968.16/961.91	c cleaning 112002 clauses out of 224025 with flag 6431004/9785118
984.11/977.86	c cleaning 112994 clauses out of 226021 with flag 6545002/9899116
998.98/992.61	c cleaning 113983 clauses out of 228025 with flag 6660000/10014114
1013.65/1007.22	c cleaning 115008 clauses out of 230042 with flag 6776000/10130114
1014.21/1007.71	c Got one! Elapsed wall clock time (in seconds):1007.61
1014.21/1007.71	o 60
1014.41/1007.90	c cleaning 60346 clauses out of 120700 with flag 1000/10135780
1014.73/1008.21	c cleaning 33165 clauses out of 66354 with flag 7000/10141780
1015.06/1008.53	c cleaning 20087 clauses out of 40190 with flag 14001/10148781
1015.49/1008.98	c cleaning 14023 clauses out of 28102 with flag 22000/10156780
1016.23/1009.68	c cleaning 11534 clauses out of 23079 with flag 31000/10165780
1017.06/1010.43	c cleaning 10756 clauses out of 21546 with flag 41001/10175781
1017.91/1011.25	c cleaning 10889 clauses out of 21790 with flag 52001/10186781
1018.83/1012.18	c cleaning 11441 clauses out of 22902 with flag 64002/10198782
1019.86/1013.19	c cleaning 12204 clauses out of 24459 with flag 77000/10211780
1020.99/1014.26	c cleaning 13124 clauses out of 26255 with flag 91000/10225780
1022.20/1015.45	c cleaning 14043 clauses out of 28132 with flag 106001/10240781
1023.53/1016.72	c cleaning 15019 clauses out of 30088 with flag 122000/10256780
1024.97/1018.12	c cleaning 16030 clauses out of 32069 with flag 139000/10273780
1026.38/1019.57	c cleaning 16997 clauses out of 34039 with flag 157000/10291780
1028.00/1021.11	c cleaning 17993 clauses out of 36043 with flag 176001/10310781
1029.61/1022.73	c cleaning 18994 clauses out of 38049 with flag 196000/10330780
1031.34/1024.42	c cleaning 20020 clauses out of 40055 with flag 217000/10351780
1033.19/1026.20	c cleaning 21016 clauses out of 42035 with flag 239000/10373780
1035.11/1028.13	c cleaning 21985 clauses out of 44022 with flag 262003/10396783
1037.14/1030.12	c cleaning 22998 clauses out of 46034 with flag 286000/10420780
1039.17/1032.18	c cleaning 24009 clauses out of 48036 with flag 311000/10445780
1041.31/1034.28	c cleaning 24994 clauses out of 50027 with flag 337000/10471780
1043.64/1036.54	c cleaning 26001 clauses out of 52033 with flag 364000/10498780
1046.06/1038.93	c cleaning 27011 clauses out of 54034 with flag 392002/10526782
1048.49/1041.34	c cleaning 27997 clauses out of 56021 with flag 421000/10555780
1051.03/1043.88	c cleaning 29009 clauses out of 58027 with flag 451003/10585783
1053.75/1046.52	c cleaning 29992 clauses out of 60015 with flag 482000/10616780
1056.58/1049.32	c cleaning 31000 clauses out of 62023 with flag 514000/10648780
1059.51/1052.20	c cleaning 32004 clauses out of 64023 with flag 547000/10681780
1062.32/1055.07	c cleaning 33000 clauses out of 66019 with flag 581000/10715780
1065.34/1058.10	c cleaning 34000 clauses out of 68020 with flag 616001/10750781
1068.48/1061.18	c cleaning 34979 clauses out of 70019 with flag 652000/10786780
1071.71/1064.35	c cleaning 36004 clauses out of 72040 with flag 689000/10823780
1075.03/1067.63	c cleaning 37006 clauses out of 74046 with flag 727010/10861790
1078.45/1071.00	c cleaning 38005 clauses out of 76031 with flag 766001/10900781
1081.77/1074.39	c cleaning 38999 clauses out of 78025 with flag 806000/10940780
1085.39/1077.98	c cleaning 40007 clauses out of 80030 with flag 847004/10981784
1089.41/1081.92	c cleaning 41003 clauses out of 82020 with flag 889001/11023781
1093.24/1085.73	c cleaning 42010 clauses out of 84021 with flag 932005/11066785
1096.97/1089.49	c cleaning 42997 clauses out of 86007 with flag 976001/11110781
1101.20/1093.67	c cleaning 43990 clauses out of 88010 with flag 1021001/11155781
1105.43/1097.87	c cleaning 44990 clauses out of 90019 with flag 1067000/11201780
1109.65/1102.05	c cleaning 45997 clauses out of 92031 with flag 1114002/11248782
1113.78/1106.18	c cleaning 47004 clauses out of 94032 with flag 1162000/11296780
1118.64/1110.93	c cleaning 47998 clauses out of 96028 with flag 1211000/11345780
1123.07/1115.31	c cleaning 48997 clauses out of 98033 with flag 1261003/11395783
1128.29/1120.59	c cleaning 50004 clauses out of 100033 with flag 1312000/11446780
1133.12/1125.36	c cleaning 50992 clauses out of 102029 with flag 1364000/11498780
1137.73/1129.99	c cleaning 52000 clauses out of 104042 with flag 1417005/11551785
1143.07/1135.27	c cleaning 52985 clauses out of 106041 with flag 1471004/11605784
1148.89/1141.06	c cleaning 53986 clauses out of 108054 with flag 1526002/11660782
1154.03/1146.17	c cleaning 55016 clauses out of 110071 with flag 1582005/11716785
1159.36/1151.49	c cleaning 55976 clauses out of 112051 with flag 1639001/11773781
1165.00/1157.07	c cleaning 57020 clauses out of 114074 with flag 1697000/11831780
1170.34/1162.36	c cleaning 57992 clauses out of 116054 with flag 1756000/11890780
1175.95/1167.95	c cleaning 59024 clauses out of 118062 with flag 1816000/11950780
1181.78/1173.76	c cleaning 60009 clauses out of 120038 with flag 1877000/12011780
1187.71/1179.69	c cleaning 61000 clauses out of 122029 with flag 1939000/12073780
1194.34/1186.22	c cleaning 61996 clauses out of 124029 with flag 2002000/12136780
1201.57/1193.47	c cleaning 63010 clauses out of 126033 with flag 2066000/12200780
1207.61/1199.46	c cleaning 64002 clauses out of 128025 with flag 2131002/12265782
1215.38/1207.16	c cleaning 64996 clauses out of 130021 with flag 2197000/12331780
1222.21/1213.98	c cleaning 66011 clauses out of 132027 with flag 2264002/12398782
1228.66/1220.39	c cleaning 67007 clauses out of 134014 with flag 2332000/12466780
1236.38/1228.08	c cleaning 67985 clauses out of 136011 with flag 2401004/12535784
1243.73/1235.34	c cleaning 69009 clauses out of 138022 with flag 2471000/12605780
1250.46/1242.01	c cleaning 69982 clauses out of 140013 with flag 2542000/12676780
1258.11/1249.68	c cleaning 70993 clauses out of 142038 with flag 2614007/12748787
1265.52/1257.01	c cleaning 71968 clauses out of 144043 with flag 2687005/12821785
1273.04/1264.51	c cleaning 73009 clauses out of 146070 with flag 2761000/12895780
1280.49/1271.91	c cleaning 74028 clauses out of 148068 with flag 2836007/12970787
1288.33/1279.75	c cleaning 75012 clauses out of 150033 with flag 2912000/13046780
1295.67/1287.04	c cleaning 75996 clauses out of 152021 with flag 2989000/13123780
1303.88/1295.23	c cleaning 77003 clauses out of 154028 with flag 3067003/13201783
1312.05/1303.33	c cleaning 77990 clauses out of 156023 with flag 3146001/13280781
1319.59/1310.89	c cleaning 79010 clauses out of 158033 with flag 3226001/13360781
1328.74/1320.00	c cleaning 79995 clauses out of 160022 with flag 3307000/13441780
1336.47/1327.64	c cleaning 80978 clauses out of 162027 with flag 3389000/13523780
1344.21/1335.36	c cleaning 82021 clauses out of 164052 with flag 3472003/13606783
1352.72/1343.83	c cleaning 82992 clauses out of 166028 with flag 3556000/13690780
1361.05/1352.19	c cleaning 84007 clauses out of 168036 with flag 3641000/13775780
1370.78/1361.82	c cleaning 85013 clauses out of 170032 with flag 3727003/13861783
1379.56/1370.50	c cleaning 85995 clauses out of 172017 with flag 3814001/13948781
1388.21/1379.10	c cleaning 87004 clauses out of 174022 with flag 3902001/14036781
1397.57/1388.40	c cleaning 87998 clauses out of 176019 with flag 3991002/14125782
1408.43/1399.22	c cleaning 89007 clauses out of 178019 with flag 4081000/14215780
1418.29/1409.09	c cleaning 89989 clauses out of 180012 with flag 4172000/14306780
1428.63/1419.35	c cleaning 90986 clauses out of 182023 with flag 4264000/14398780
1437.59/1428.26	c cleaning 91991 clauses out of 184037 with flag 4357000/14491780
1447.52/1438.16	c cleaning 93010 clauses out of 186046 with flag 4451000/14585780
1456.66/1447.28	c cleaning 94003 clauses out of 188037 with flag 4546001/14680781
1467.01/1457.57	c cleaning 94985 clauses out of 190033 with flag 4642000/14776780
1477.24/1467.73	c cleaning 96008 clauses out of 192048 with flag 4739000/14873780
1488.78/1479.28	c cleaning 96996 clauses out of 194040 with flag 4837000/14971780
1500.06/1490.47	c cleaning 98002 clauses out of 196045 with flag 4936001/15070781
1509.62/1499.97	c cleaning 98998 clauses out of 198042 with flag 5036000/15170780
1519.66/1509.99	c cleaning 100017 clauses out of 200044 with flag 5137000/15271780
1529.53/1519.71	c cleaning 101010 clauses out of 202027 with flag 5239000/15373780
1539.80/1529.95	c cleaning 102012 clauses out of 204023 with flag 5342006/15476786
1549.65/1539.76	c cleaning 103000 clauses out of 206012 with flag 5446007/15580787
1559.91/1549.94	c cleaning 103998 clauses out of 208005 with flag 5551000/15685780
1570.65/1560.62	c cleaning 104990 clauses out of 210007 with flag 5657000/15791780
1581.39/1571.38	c cleaning 105995 clauses out of 212017 with flag 5764000/15898780
1592.75/1582.63	c cleaning 106994 clauses out of 214024 with flag 5872002/16006782
1603.61/1593.42	c cleaning 108007 clauses out of 216031 with flag 5981003/16115783
1614.38/1604.15	c cleaning 108998 clauses out of 218021 with flag 6091000/16225780
1625.83/1615.52	c cleaning 110002 clauses out of 220023 with flag 6202000/16336780
1637.09/1626.77	c cleaning 110999 clauses out of 222021 with flag 6314000/16448780
1648.53/1638.10	c cleaning 111996 clauses out of 224022 with flag 6427000/16561780
1660.16/1649.71	c cleaning 112982 clauses out of 226026 with flag 6541000/16675780
1672.92/1662.46	c cleaning 113990 clauses out of 228044 with flag 6656000/16790780
1684.90/1674.30	c cleaning 115022 clauses out of 230055 with flag 6772001/16906781
1696.64/1686.10	c cleaning 115995 clauses out of 232033 with flag 6889001/17023781
1708.08/1697.47	c cleaning 117010 clauses out of 234039 with flag 7007002/17141782
1720.13/1709.41	c cleaning 117984 clauses out of 236027 with flag 7126000/17260780
1733.06/1722.37	c cleaning 119016 clauses out of 238044 with flag 7246001/17380781
1745.80/1735.09	c cleaning 119995 clauses out of 240027 with flag 7367000/17501780
1758.55/1747.72	c cleaning 121006 clauses out of 242032 with flag 7489000/17623780
1770.89/1760.05	c cleaning 122000 clauses out of 244027 with flag 7612001/17746781
1784.43/1773.51	c cleaning 122985 clauses out of 246028 with flag 7736002/17870782
1798.49/1787.53	c cleaning 124009 clauses out of 248041 with flag 7861000/17995780
1800.06/1789.01	c starts		: 358
1800.06/1789.01	c conflicts		: 18013207
1800.06/1789.01	c decisions		: 92225381
1800.06/1789.01	c propagations		: 2588094689
1800.06/1789.01	c inspects		: 5126741044
1800.06/1789.01	c shortcuts		: 0
1800.06/1789.01	c learnt literals	: 0
1800.06/1789.01	c learnt binary clauses	: 0
1800.06/1789.01	c learnt ternary clauses	: 0
1800.06/1789.01	c learnt constraints	: 18013208
1800.06/1789.01	c ignored constraints	: 0
1800.06/1789.01	c root simplifications	: 0
1800.06/1789.01	c removed literals (reason simplification)	: 0
1800.06/1789.01	c reason swapping (by a shorter reason)	: 0
1800.06/1789.01	c Calls to reduceDB	: 377
1800.06/1789.01	c number of reductions to clauses (during analyze)	: 0
1800.06/1789.01	c number of learned constraints concerned by reduction	: 0
1800.06/1789.01	c number of learning phase by resolution	: 0
1800.06/1789.01	c number of learning phase by cutting planes	: 0
1800.06/1789.01	c speed (assignments/second)	: 1446935.2112235096
1800.06/1789.01	c non guided choices	0
1800.06/1789.04	c learnt constraints type 
1800.06/1789.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 141785
1800.06/1789.04	c constraints type 
1800.06/1789.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1687
1800.06/1789.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1789.04	c ignored satisfied constraints => 112
1800.06/1789.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8
1800.06/1789.04	c org.sat4j.minisat.constraints.cnf.UnitClause => 16
1800.06/1789.04	c 1824 constraints processed.
1800.06/1789.04	s SATISFIABLE
1800.06/1789.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 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 x627 -x628 x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 x794 x795 x796 x797 -x798 -x799 -x800 -x801 -x802 x803 x804 -x805 -x806 -x807 
1800.06/1789.04	c objective function=60
1800.06/1789.04	c Total wall clock time (in seconds): 1788.943

Verifier Data 

OK	60

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-3687747-1337875509/watcher-3687747-1337875509 -o /tmp/evaluation-result-3687747-1337875509/solver-3687747-1337875509 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687747-1337875509.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 4/194 21988
/proc/meminfo: memFree=27649424/32873844 swapFree=6080/6080
[pid=21988] ppid=21986 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/21988/stat : 21988 (java) R 21986 21988 21352 0 -1 4202496 783 0 0 0 0 0 0 0 20 0 1 0 253679507 23793664 510 33554432000 1073741824 1073778376 140735762473520 140735762462584 240417552947 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21988/statm: 5809 522 395 9 0 128 0

[startup+0.0408551 s]
/proc/loadavg: 2.00 2.00 1.91 4/194 21988
/proc/meminfo: memFree=27649424/32873844 swapFree=6080/6080
[pid=21988] ppid=21986 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 21352 0 -1 4202496 3088 0 1 0 2 0 0 0 20 0 13 0 253679507 9446973440 3274 33554432000 1073741824 1073778376 140735762473520 140735762464656 240430121021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21988/statm: 2306390 3274 1704 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 1.91 4/194 21988
/proc/meminfo: memFree=27649424/32873844 swapFree=6080/6080
[pid=21988] ppid=21986 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 21352 0 -1 4202496 4481 0 1 0 9 1 0 0 20 0 18 0 253679507 9787813888 5637 33554432000 1073741824 1073778376 140735762473520 140735762464656 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21988/statm: 2389603 5637 2123 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300194 s]
/proc/loadavg: 2.00 2.00 1.91 4/194 21988
/proc/meminfo: memFree=27649424/32873844 swapFree=6080/6080
[pid=21988] ppid=21986 vsize=9558412 CPUtime=0.58 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 21352 0 -1 4202496 7877 0 1 0 56 2 0 0 20 0 18 0 253679507 9787813888 10280 33554432000 1073741824 1073778376 140735762473520 140735762464656 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21988/statm: 2389603 10280 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558412

[startup+0.700251 s]
/proc/loadavg: 2.00 2.00 1.91 4/194 21988
/proc/meminfo: memFree=27649424/32873844 swapFree=6080/6080
[pid=21988] ppid=21986 vsize=9624976 CPUtime=1.31 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 21352 0 -1 4202496 8845 0 1 0 128 3 0 0 20 0 19 0 253679507 9855975424 12927 33554432000 1073741824 1073778376 140735762473520 140735762464656 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21988/statm: 2406244 12927 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9624976

[startup+1.50065 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 22007
/proc/meminfo: memFree=27604348/32873844 swapFree=6080/6080
[pid=21988] ppid=21986 vsize=9624976 CPUtime=2.17 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 21352 0 -1 4202496 8987 0 1 0 214 3 0 0 20 0 19 0 253679507 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 140735762464656 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21988/statm: 2406244 15542 2275 9 0 2396937 0
[pid=21988/tid=21990] ppid=21986 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/21988/task/21990/stat : 21990 (java) R 21986 21988 21352 0 -1 4202560 2520 0 1 0 144 2 0 0 20 0 19 0 253679507 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814336900648 139814277092273 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21991] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21991/stat : 21991 (java) S 21986 21988 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814275631656 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21992] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21992/stat : 21992 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814274578856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=21993] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21993/stat : 21993 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814273526056 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=21994] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21994/stat : 21994 (java) S 21986 21988 21352 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814177028264 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21995] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21995/stat : 21995 (java) S 21986 21988 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814175976488 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=21996] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814174923688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814173870888 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814172818088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 21352 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 253679509 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814160620008 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814159566072 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814158513160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814157461648 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22003] ppid=21986 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/21988/task/22003/stat : 22003 (java) S 21986 21988 21352 0 -1 4202560 2811 0 0 0 37 0 0 0 20 0 19 0 253679512 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814156409784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22004] ppid=21986 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/21988/task/22004/stat : 22004 (java) S 21986 21988 21352 0 -1 4202560 2408 0 0 0 28 0 0 0 20 0 19 0 253679512 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814155356984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=22005] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22005/stat : 22005 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814154304376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=22006] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22006/stat : 22006 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814153251784 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22007] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22007/stat : 22007 (java) S 21986 21988 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253679541 9855975424 15542 33554432000 1073741824 1073778376 140735762473520 139814152197288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9624976

[startup+3.10066 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 22007
/proc/meminfo: memFree=27591464/32873844 swapFree=6080/6080
[pid=21988] ppid=21986 vsize=9624976 CPUtime=3.86 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 21352 0 -1 4202496 9561 0 1 0 383 3 0 0 20 0 19 0 253679507 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 140735762464656 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21988/statm: 2406244 16587 2275 9 0 2396937 0
[pid=21988/tid=21990] ppid=21986 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/21988/task/21990/stat : 21990 (java) R 21986 21988 21352 0 -1 4202560 2521 0 1 0 299 2 0 0 20 0 19 0 253679507 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814336901368 139814277194585 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21991] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21991/stat : 21991 (java) S 21986 21988 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814275631656 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21992] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21992/stat : 21992 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814274578856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21993] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21993/stat : 21993 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814273526056 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=21994] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21994/stat : 21994 (java) S 21986 21988 21352 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814177028264 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21995] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21995/stat : 21995 (java) S 21986 21988 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814175976488 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=21996] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814174923688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814173870888 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814172818088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 21352 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 253679509 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814160620008 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814159566072 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814158513160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814157461648 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22003] ppid=21986 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/21988/task/22003/stat : 22003 (java) S 21986 21988 21352 0 -1 4202560 3370 0 0 0 43 0 0 0 20 0 19 0 253679512 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814156409784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22004] ppid=21986 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/21988/task/22004/stat : 22004 (java) S 21986 21988 21352 0 -1 4202560 2409 0 0 0 29 0 0 0 20 0 19 0 253679512 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814155356984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22005] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22005/stat : 22005 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814154304376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=22006] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22006/stat : 22006 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814153251784 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22007] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22007/stat : 22007 (java) S 21986 21988 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253679541 9855975424 16587 33554432000 1073741824 1073778376 140735762473520 139814152197288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9624976

[startup+6.30074 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 22007
/proc/meminfo: memFree=27584824/32873844 swapFree=6080/6080
[pid=21988] ppid=21986 vsize=9624976 CPUtime=7.08 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 21352 0 -1 4202496 9573 0 1 0 705 3 0 0 20 0 19 0 253679507 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 140735762464656 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21988/statm: 2406244 17011 2275 9 0 2396937 0
[pid=21988/tid=21990] ppid=21986 vsize=9624976 CPUtime=6.14 cores=1,3,5,7
/proc/21988/task/21990/stat : 21990 (java) R 21986 21988 21352 0 -1 4202560 2526 0 1 0 612 2 0 0 20 0 19 0 253679507 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814336901528 139814277275430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21991] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21991/stat : 21991 (java) S 21986 21988 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814275631656 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21992] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21992/stat : 21992 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814274578856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=21993] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21993/stat : 21993 (java) S 21986 21988 21352 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814273526056 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21994] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21994/stat : 21994 (java) S 21986 21988 21352 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814177028264 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=21995] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21995/stat : 21995 (java) S 21986 21988 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814175976488 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=21996] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814174923688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814173870888 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253679508 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814172818088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 21352 0 -1 4202560 33 0 0 0 9 0 0 0 20 0 19 0 253679509 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814160620008 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814159566072 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814158513160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814157461648 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22003] ppid=21986 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/21988/task/22003/stat : 22003 (java) S 21986 21988 21352 0 -1 4202560 3370 0 0 0 44 0 0 0 20 0 19 0 253679512 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814156409784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22004] ppid=21986 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/21988/task/22004/stat : 22004 (java) S 21986 21988 21352 0 -1 4202560 2409 0 0 0 29 0 0 0 20 0 19 0 253679512 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814155356984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22005] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22005/stat : 22005 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814154304376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=22006] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22006/stat : 22006 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814153251784 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22007] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22007/stat : 22007 (java) S 21986 21988 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253679541 9855975424 17011 33554432000 1073741824 1073778376 140735762473520 139814152197288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=21988/tid=21996] ppid=21986 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 21352 0 -1 4202560 256 0 0 0 171 3 0 0 20 0 19 0 253679508 9855975424 57158 33554432000 1073741824 1073778376 140735762473520 139814174923688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=9624976 CPUtime=1.69 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 21352 0 -1 4202560 267 0 0 0 166 3 0 0 20 0 19 0 253679508 9855975424 57158 33554432000 1073741824 1073778376 140735762473520 139814173870888 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=9624976 CPUtime=1.7 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 21352 0 -1 4202560 228 0 0 0 167 3 0 0 20 0 19 0 253679508 9855975424 57158 33554432000 1073741824 1073778376 140735762473520 139814172818088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=9624976 CPUtime=16.95 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 21352 0 -1 4202560 161 0 0 0 1691 4 0 0 20 0 19 0 253679509 9855975424 57158 33554432000 1073741824 1073778376 140735762473520 139814160620008 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 57158 33554432000 1073741824 1073778376 140735762473520 139814159566072 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 57158 33554432000 1073741824 1073778376 140735762473520 139814158513160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 57158 33554432000 1073741824 1073778376 140735762473520 139814157461648 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22003] ppid=21986 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/21988/task/22003/stat : 22003 (java) S 21986 21988 21352 0 -1 4202560 3373 0 0 0 50 0 0 0 20 0 19 0 253679512 9855975424 57158 33554432000 1073741824 1073778376 140735762473520 139814156409784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22004] ppid=21986 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/21988/task/22004/stat : 22004 (java) S 21986 21988 21352 0 -1 4202560 2425 0 0 0 32 0 0 0 20 0 19 0 253679512 9855975424 57158 33554432000 1073741824 1073778376 140735762473520 139814155356984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22005] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22005/stat : 22005 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 57158 33554432000 1073741824 1073778376 140735762473520 139814154304376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=22006] ppid=21986 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/21988/task/22006/stat : 22006 (java) S 21986 21988 21352 0 -1 4202560 95 0 0 0 17 21 0 0 20 0 19 0 253679512 9855975424 57158 33554432000 1073741824 1073778376 140735762473520 139814153251784 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22007] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22007/stat : 22007 (java) S 21986 21988 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253679541 9855975424 57158 33554432000 1073741824 1073778376 140735762473520 139814152197288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1672.82
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/213 22024
/proc/meminfo: memFree=27201624/32873844 swapFree=6080/6080
[pid=21988] ppid=21986 vsize=9624976 CPUtime=1733.06 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 21352 0 -1 4202496 12142 0 1 0 173266 40 0 0 20 0 19 0 253679507 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 140735762464656 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21988/statm: 2406244 57670 2276 9 0 2396937 0
[pid=21988/tid=21990] ppid=21986 vsize=9624976 CPUtime=1700.75 cores=1,3,5,7
/proc/21988/task/21990/stat : 21990 (java) R 21986 21988 21352 0 -1 4202560 2900 0 1 0 170047 28 0 0 20 0 19 0 253679507 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814336901408 139814277387500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21991] ppid=21986 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/21988/task/21991/stat : 21991 (java) S 21986 21988 21352 0 -1 4202560 279 0 0 0 180 3 0 0 20 0 19 0 253679508 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814275631656 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21992] ppid=21986 vsize=9624976 CPUtime=1.86 cores=1,3,5,7
/proc/21988/task/21992/stat : 21992 (java) S 21986 21988 21352 0 -1 4202560 350 0 0 0 183 3 0 0 20 0 19 0 253679508 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814274578856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=21993] ppid=21986 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/21988/task/21993/stat : 21993 (java) S 21986 21988 21352 0 -1 4202560 210 0 0 0 172 2 0 0 20 0 19 0 253679508 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814273526056 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21994] ppid=21986 vsize=9624976 CPUtime=1.77 cores=1,3,5,7
/proc/21988/task/21994/stat : 21994 (java) S 21986 21988 21352 0 -1 4202560 157 0 0 0 175 2 0 0 20 0 19 0 253679508 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814177028264 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21995] ppid=21986 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/21988/task/21995/stat : 21995 (java) S 21986 21988 21352 0 -1 4202560 247 0 0 0 164 3 0 0 20 0 19 0 253679508 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814175976488 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=21996] ppid=21986 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 21352 0 -1 4202560 256 0 0 0 175 3 0 0 20 0 19 0 253679508 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814174923688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 21352 0 -1 4202560 267 0 0 0 171 3 0 0 20 0 19 0 253679508 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814173870888 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=9624976 CPUtime=1.75 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 21352 0 -1 4202560 228 0 0 0 172 3 0 0 20 0 19 0 253679508 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814172818088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=9624976 CPUtime=17.43 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 21352 0 -1 4202560 166 0 0 0 1739 4 0 0 20 0 19 0 253679509 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814160620008 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814159566072 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814158513160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814157461648 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22003] ppid=21986 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/21988/task/22003/stat : 22003 (java) S 21986 21988 21352 0 -1 4202560 3373 0 0 0 50 0 0 0 20 0 19 0 253679512 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814156409784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22004] ppid=21986 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/21988/task/22004/stat : 22004 (java) S 21986 21988 21352 0 -1 4202560 2425 0 0 0 32 0 0 0 20 0 19 0 253679512 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814155356984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22005] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22005/stat : 22005 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814154304376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=22006] ppid=21986 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/21988/task/22006/stat : 22006 (java) S 21986 21988 21352 0 -1 4202560 99 0 0 0 18 21 0 0 20 0 19 0 253679512 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814153251784 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22007] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22007/stat : 22007 (java) S 21986 21988 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253679541 9855975424 57670 33554432000 1073741824 1073778376 140735762473520 139814152197288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1733.06
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/213 22024
/proc/meminfo: memFree=27197280/32873844 swapFree=6080/6080
[pid=21988] ppid=21986 vsize=9624976 CPUtime=1793.29 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 21352 0 -1 4202496 12155 0 1 0 179288 41 0 0 20 0 19 0 253679507 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 140735762464656 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21988/statm: 2406244 58694 2276 9 0 2396937 0
[pid=21988/tid=21990] ppid=21986 vsize=9624976 CPUtime=1760.14 cores=1,3,5,7
/proc/21988/task/21990/stat : 21990 (java) R 21986 21988 21352 0 -1 4202560 2905 0 1 0 175985 29 0 0 20 0 19 0 253679507 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814336901408 139814277219988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21991] ppid=21986 vsize=9624976 CPUtime=1.87 cores=1,3,5,7
/proc/21988/task/21991/stat : 21991 (java) S 21986 21988 21352 0 -1 4202560 279 0 0 0 184 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814275631656 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=21992] ppid=21986 vsize=9624976 CPUtime=1.9 cores=1,3,5,7
/proc/21988/task/21992/stat : 21992 (java) S 21986 21988 21352 0 -1 4202560 350 0 0 0 187 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814274578856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21993] ppid=21986 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/21988/task/21993/stat : 21993 (java) S 21986 21988 21352 0 -1 4202560 210 0 0 0 175 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814273526056 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=21994] ppid=21986 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/21988/task/21994/stat : 21994 (java) S 21986 21988 21352 0 -1 4202560 157 0 0 0 178 2 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814177028264 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21995] ppid=21986 vsize=9624976 CPUtime=1.72 cores=1,3,5,7
/proc/21988/task/21995/stat : 21995 (java) S 21986 21988 21352 0 -1 4202560 247 0 0 0 169 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814175976488 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=21996] ppid=21986 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 21352 0 -1 4202560 256 0 0 0 177 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814174923688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 21352 0 -1 4202560 267 0 0 0 175 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814173870888 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=9624976 CPUtime=1.79 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 21352 0 -1 4202560 228 0 0 0 176 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814172818088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=9624976 CPUtime=17.96 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 21352 0 -1 4202560 170 0 0 0 1792 4 0 0 20 0 19 0 253679509 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814160620008 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814159566072 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814158513160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814157461648 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22003] ppid=21986 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/21988/task/22003/stat : 22003 (java) S 21986 21988 21352 0 -1 4202560 3373 0 0 0 50 0 0 0 20 0 19 0 253679512 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814156409784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22004] ppid=21986 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/21988/task/22004/stat : 22004 (java) S 21986 21988 21352 0 -1 4202560 2425 0 0 0 32 0 0 0 20 0 19 0 253679512 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814155356984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22005] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22005/stat : 22005 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814154304376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=22006] ppid=21986 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/21988/task/22006/stat : 22006 (java) S 21986 21988 21352 0 -1 4202560 103 0 0 0 19 22 0 0 20 0 19 0 253679512 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814153251784 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22007] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22007/stat : 22007 (java) S 21986 21988 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253679541 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814152197288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1793.29
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789 s]
/proc/loadavg: 2.56 2.12 2.01 3/213 22083
/proc/meminfo: memFree=27276200/32873844 swapFree=6080/6080
[pid=21988] ppid=21986 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/21988/stat : 21988 (java) S 21986 21988 21352 0 -1 4202496 12158 0 1 0 179965 41 0 0 20 0 19 0 253679507 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 140735762464656 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21988/statm: 2406244 58694 2276 9 0 2396937 0
[pid=21988/tid=21990] ppid=21986 vsize=9624976 CPUtime=1766.73 cores=1,3,5,7
/proc/21988/task/21990/stat : 21990 (java) R 21986 21988 21352 0 -1 4202560 2906 0 1 0 176644 29 0 0 20 0 19 0 253679507 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814336901408 139814277203264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21991] ppid=21986 vsize=9624976 CPUtime=1.89 cores=1,3,5,7
/proc/21988/task/21991/stat : 21991 (java) S 21986 21988 21352 0 -1 4202560 279 0 0 0 186 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814275631656 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21992] ppid=21986 vsize=9624976 CPUtime=1.91 cores=1,3,5,7
/proc/21988/task/21992/stat : 21992 (java) S 21986 21988 21352 0 -1 4202560 350 0 0 0 188 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814274578856 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21993] ppid=21986 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/21988/task/21993/stat : 21993 (java) S 21986 21988 21352 0 -1 4202560 210 0 0 0 178 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814273526056 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21994] ppid=21986 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/21988/task/21994/stat : 21994 (java) S 21986 21988 21352 0 -1 4202560 157 0 0 0 179 2 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814177028264 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21988/tid=21995] ppid=21986 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/21988/task/21995/stat : 21995 (java) S 21986 21988 21352 0 -1 4202560 247 0 0 0 171 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814175976488 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21996] ppid=21986 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/21988/task/21996/stat : 21996 (java) S 21986 21988 21352 0 -1 4202560 256 0 0 0 177 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814174923688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21997] ppid=21986 vsize=9624976 CPUtime=1.79 cores=1,3,5,7
/proc/21988/task/21997/stat : 21997 (java) S 21986 21988 21352 0 -1 4202560 267 0 0 0 176 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814173870888 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=21998] ppid=21986 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/21988/task/21998/stat : 21998 (java) S 21986 21988 21352 0 -1 4202560 228 0 0 0 177 3 0 0 20 0 19 0 253679508 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814172818088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=21999] ppid=21986 vsize=9624976 CPUtime=18.05 cores=1,3,5,7
/proc/21988/task/21999/stat : 21999 (java) S 21986 21988 21352 0 -1 4202560 172 0 0 0 1801 4 0 0 20 0 19 0 253679509 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814160620008 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22000] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22000/stat : 22000 (java) S 21986 21988 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814159566072 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22001] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22001/stat : 22001 (java) S 21986 21988 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253679510 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814158513160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22002] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22002/stat : 22002 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814157461648 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22003] ppid=21986 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/21988/task/22003/stat : 22003 (java) S 21986 21988 21352 0 -1 4202560 3373 0 0 0 50 0 0 0 20 0 19 0 253679512 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814156409784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21988/tid=22004] ppid=21986 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/21988/task/22004/stat : 22004 (java) S 21986 21988 21352 0 -1 4202560 2425 0 0 0 32 0 0 0 20 0 19 0 253679512 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814155356984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22005] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22005/stat : 22005 (java) S 21986 21988 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253679512 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814154304376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21988/tid=22006] ppid=21986 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/21988/task/22006/stat : 22006 (java) S 21986 21988 21352 0 -1 4202560 103 0 0 0 19 22 0 0 20 0 19 0 253679512 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814153251784 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21988/tid=22007] ppid=21986 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21988/task/22007/stat : 22007 (java) S 21986 21988 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253679541 9855975424 58694 33554432000 1073741824 1073778376 140735762473520 139814152197288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143
Real time (s): 1789.05
CPU time (s): 1800.92
CPU user time (s): 1800
CPU system time (s): 0.92086
CPU usage (%): 100.663
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.92086
maximum resident set size= 234916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12195
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48265
involuntary context switches= 29750

runsolver used 6.50101 second user time and 14.4738 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-24 18:05:09
IDJOB=3687747
IDBENCH=2052
IDSOLVER=2269
FILE ID=node108/3687747-1337875509
RUNJOBID= node108-1337871881-21369
PBS_JOBID= 14620096
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee
RANDOM SEED=2137734220

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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:        27649696 kB
Buffers:          191200 kB
Cached:          4182352 kB
SwapCached:            0 kB
Active:           570788 kB
Inactive:        3885388 kB
Active(anon):      85152 kB
Inactive(anon):        0 kB
Active(file):     485636 kB
Inactive(file):  3885388 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1800 kB
Writeback:             0 kB
AnonPages:         88612 kB
Mapped:            22596 kB
Shmem:               200 kB
Slab:             630172 kB
SReclaimable:      72140 kB
SUnreclaim:       558032 kB
KernelStack:        1592 kB
PageTables:         4392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 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= 71716 MiB
End job on node108 at 2012-05-24 18:35:00