Trace number 3688143

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 SnapshotOPT8 680.6 675.421

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_10.r.opb
MD5SUMe965a77006f54aa5fb414d88d571084c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.018996
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8
Optimality of the best value was proved YES
Number of variables99
Total number of constraints50
Number of constraints which are clauses50
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 constraint10
Maximum length of a constraint10
Number of terms in the objective function 99
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 99
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 99
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3688143-1337879828.opb
0.11/0.10	c reading problem ... 
0.11/0.12	c ... done. Wall clock time 0.026s.
0.11/0.12	c declared #vars     99
0.11/0.12	c #constraints  50
0.11/0.12	c constraints type 
0.11/0.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50
0.11/0.12	c 50 constraints processed.
0.11/0.12	c objective function length is 99 literals
0.11/0.13	c SATISFIABLE
0.11/0.13	c OPTIMIZING...
0.11/0.13	c Got one! Elapsed wall clock time (in seconds):0.031
0.11/0.13	o 13
0.11/0.13	c Got one! Elapsed wall clock time (in seconds):0.036
0.11/0.13	o 12
0.11/0.13	c Got one! Elapsed wall clock time (in seconds):0.038
0.11/0.13	o 11
0.53/0.35	c cleaning 2501 clauses out of 5008 with flag 5001/5008
0.72/0.46	c cleaning 4250 clauses out of 8506 with flag 11000/11007
0.85/0.58	c cleaning 5625 clauses out of 11256 with flag 18000/18007
0.85/0.59	c Got one! Elapsed wall clock time (in seconds):0.497
0.85/0.59	o 10
0.96/0.60	c Got one! Elapsed wall clock time (in seconds):0.5
0.96/0.60	o 9
0.96/0.67	c cleaning 5468 clauses out of 10950 with flag 5001/23326
1.08/0.78	c cleaning 5740 clauses out of 11481 with flag 11000/29325
1.27/0.90	c cleaning 6365 clauses out of 12741 with flag 18000/36325
1.38/1.04	c cleaning 7184 clauses out of 14377 with flag 26001/44326
1.58/1.20	c cleaning 8091 clauses out of 16192 with flag 35000/53325
1.70/1.39	c cleaning 9048 clauses out of 18101 with flag 45000/63325
2.01/1.61	c cleaning 10027 clauses out of 20053 with flag 56000/74325
2.21/1.84	c cleaning 11007 clauses out of 22028 with flag 68002/86327
2.54/2.12	c cleaning 12007 clauses out of 24019 with flag 81000/99325
2.85/2.41	c cleaning 13003 clauses out of 26012 with flag 95000/113325
3.17/2.74	c cleaning 14003 clauses out of 28009 with flag 110000/128325
3.48/3.06	c cleaning 14996 clauses out of 30007 with flag 126001/144326
3.89/3.44	c cleaning 15993 clauses out of 32012 with flag 143002/161327
4.31/3.82	c cleaning 17007 clauses out of 34017 with flag 161000/179325
4.73/4.24	c cleaning 18000 clauses out of 36010 with flag 180000/198325
5.14/4.67	c cleaning 19002 clauses out of 38013 with flag 200003/218328
5.67/5.19	c cleaning 19996 clauses out of 40009 with flag 221001/239326
6.17/5.66	c cleaning 20995 clauses out of 42012 with flag 243000/261325
6.68/6.18	c cleaning 22006 clauses out of 44017 with flag 266000/284325
7.39/6.80	c cleaning 23002 clauses out of 46016 with flag 290005/308330
8.01/7.48	c cleaning 24003 clauses out of 48009 with flag 315000/333325
8.72/8.11	c cleaning 25005 clauses out of 50009 with flag 341003/359328
9.34/8.76	c cleaning 25996 clauses out of 52004 with flag 368003/386328
10.15/9.51	c cleaning 26996 clauses out of 54005 with flag 396000/414325
10.95/10.33	c cleaning 28001 clauses out of 56011 with flag 425002/443327
11.77/11.16	c cleaning 28986 clauses out of 58008 with flag 455000/473325
12.70/12.08	c cleaning 30003 clauses out of 60022 with flag 486000/504325
13.62/12.96	c cleaning 31008 clauses out of 62020 with flag 518001/536326
14.63/13.90	c cleaning 32003 clauses out of 64011 with flag 551000/569325
15.65/14.98	c cleaning 32997 clauses out of 66008 with flag 585000/603325
16.77/16.01	c cleaning 34006 clauses out of 68012 with flag 620001/638326
17.88/17.10	c cleaning 34997 clauses out of 70005 with flag 656000/674325
19.00/18.20	c cleaning 36005 clauses out of 72013 with flag 693005/711330
20.11/19.32	c cleaning 36999 clauses out of 74004 with flag 731001/749326
21.22/20.40	c cleaning 37994 clauses out of 76004 with flag 770000/788325
22.45/21.67	c cleaning 39005 clauses out of 78011 with flag 810001/828326
23.66/22.86	c cleaning 39993 clauses out of 80008 with flag 851003/869328
25.18/24.33	c cleaning 41001 clauses out of 82012 with flag 893000/911325
26.58/25.74	c cleaning 42006 clauses out of 84011 with flag 936000/954325
28.10/27.24	c cleaning 42997 clauses out of 86005 with flag 980000/998325
29.73/28.87	c cleaning 44001 clauses out of 88009 with flag 1025001/1043326
31.54/30.68	c cleaning 45004 clauses out of 90008 with flag 1071001/1089326
33.19/32.21	c cleaning 45990 clauses out of 92003 with flag 1118000/1136325
35.00/34.00	c cleaning 47000 clauses out of 94013 with flag 1166000/1184325
36.81/35.88	c cleaning 48004 clauses out of 96013 with flag 1215000/1233325
38.63/37.66	c cleaning 49004 clauses out of 98009 with flag 1265000/1283325
40.64/39.68	c cleaning 49995 clauses out of 100010 with flag 1316005/1334330
42.55/41.59	c cleaning 50990 clauses out of 102010 with flag 1368000/1386325
44.68/43.67	c cleaning 52009 clauses out of 104024 with flag 1421004/1439329
47.09/46.07	c cleaning 53002 clauses out of 106011 with flag 1475000/1493325
49.31/48.30	c cleaning 54003 clauses out of 108010 with flag 1530001/1548326
51.42/50.35	c cleaning 54993 clauses out of 110006 with flag 1586000/1604325
53.84/52.73	c cleaning 55998 clauses out of 112013 with flag 1643000/1661325
55.75/54.66	c cleaning 56988 clauses out of 114015 with flag 1701000/1719325
58.27/57.19	c cleaning 58004 clauses out of 116031 with flag 1760004/1778329
60.88/59.75	c cleaning 59003 clauses out of 118024 with flag 1820001/1838326
63.40/62.29	c cleaning 60000 clauses out of 120020 with flag 1881000/1899325
65.91/64.72	c cleaning 61002 clauses out of 122020 with flag 1943000/1961325
68.74/67.54	c cleaning 62008 clauses out of 124018 with flag 2006000/2024325
71.67/70.44	c cleaning 62990 clauses out of 126011 with flag 2070001/2088326
74.88/73.62	c cleaning 64005 clauses out of 128021 with flag 2135001/2153326
77.89/76.63	c cleaning 65000 clauses out of 130015 with flag 2201000/2219325
80.51/79.27	c cleaning 66003 clauses out of 132015 with flag 2268000/2286325
83.41/82.15	c cleaning 67002 clauses out of 134012 with flag 2336000/2354325
86.42/85.15	c cleaning 67998 clauses out of 136012 with flag 2405002/2423327
89.84/88.52	c cleaning 69004 clauses out of 138013 with flag 2475001/2493326
93.29/91.64	c cleaning 69994 clauses out of 140009 with flag 2546001/2564326
96.52/94.85	c cleaning 70990 clauses out of 142014 with flag 2618000/2636325
100.13/98.41	c cleaning 72005 clauses out of 144024 with flag 2691000/2709325
102.95/101.23	c cleaning 73007 clauses out of 146019 with flag 2765000/2783325
106.57/104.88	c cleaning 74002 clauses out of 148017 with flag 2840005/2858330
110.08/108.37	c cleaning 75006 clauses out of 150011 with flag 2916001/2934326
114.02/112.26	c cleaning 75997 clauses out of 152006 with flag 2993002/3011327
118.22/116.44	c cleaning 76998 clauses out of 154007 with flag 3071000/3089325
122.63/120.83	c cleaning 77999 clauses out of 156009 with flag 3150000/3168325
126.77/124.98	c cleaning 79005 clauses out of 158010 with flag 3230000/3248325
131.28/129.47	c cleaning 79984 clauses out of 160005 with flag 3311000/3329325
135.80/133.95	c cleaning 81001 clauses out of 162021 with flag 3393000/3411325
140.61/138.77	c cleaning 82004 clauses out of 164021 with flag 3476001/3494326
144.92/143.04	c cleaning 83003 clauses out of 166018 with flag 3560002/3578327
149.42/147.53	c cleaning 84008 clauses out of 168018 with flag 3645005/3663330
154.04/152.12	c cleaning 85000 clauses out of 170006 with flag 3731001/3749326
158.76/156.85	c cleaning 85990 clauses out of 172005 with flag 3818000/3836325
163.67/161.80	c cleaning 87005 clauses out of 174017 with flag 3906002/3924327
168.77/166.81	c cleaning 88001 clauses out of 176010 with flag 3995000/4013325
172.78/170.82	c cleaning 89003 clauses out of 178009 with flag 4085000/4103325
177.68/175.71	c cleaning 90001 clauses out of 180006 with flag 4176000/4194325
182.19/180.29	c cleaning 90982 clauses out of 182005 with flag 4268000/4286325
186.91/184.94	c cleaning 91999 clauses out of 184023 with flag 4361000/4379325
192.03/190.07	c cleaning 92993 clauses out of 186024 with flag 4455000/4473325
198.47/196.43	c cleaning 94006 clauses out of 188032 with flag 4550001/4568326
204.78/202.78	c cleaning 95006 clauses out of 190025 with flag 4646000/4664325
211.50/209.41	c cleaning 95999 clauses out of 192019 with flag 4743000/4761325
217.61/215.59	c cleaning 97005 clauses out of 194022 with flag 4841002/4859327
224.33/222.27	c cleaning 98009 clauses out of 196017 with flag 4940002/4958327
230.65/228.56	c cleaning 99005 clauses out of 198013 with flag 5040007/5058332
237.73/235.59	c cleaning 99995 clauses out of 200005 with flag 5141004/5159329
244.55/242.31	c cleaning 100994 clauses out of 202006 with flag 5243000/5261325
245.77/243.57	c Got one! Elapsed wall clock time (in seconds):243.469
245.77/243.57	o 8
246.48/244.30	c cleaning 65577 clauses out of 131167 with flag 5000/5291480
246.89/244.68	c cleaning 35792 clauses out of 71591 with flag 11001/5297481
247.09/244.88	c cleaning 21392 clauses out of 42800 with flag 18002/5304482
247.29/245.05	c cleaning 14695 clauses out of 29408 with flag 26002/5312482
247.51/245.22	c cleaning 11850 clauses out of 23713 with flag 35002/5321482
247.61/245.39	c cleaning 10921 clauses out of 21861 with flag 45000/5331480
247.84/245.59	c cleaning 10962 clauses out of 21940 with flag 56000/5342480
248.16/245.81	c cleaning 11480 clauses out of 22978 with flag 68000/5354480
248.36/246.04	c cleaning 12242 clauses out of 24499 with flag 81001/5367481
248.67/246.32	c cleaning 13122 clauses out of 26258 with flag 95002/5381482
249.01/246.60	c cleaning 14064 clauses out of 28134 with flag 110000/5396480
249.32/246.91	c cleaning 15024 clauses out of 30070 with flag 126000/5412480
249.62/247.24	c cleaning 16009 clauses out of 32048 with flag 143002/5429482
250.04/247.64	c cleaning 17008 clauses out of 34037 with flag 161000/5447480
250.46/248.08	c cleaning 18000 clauses out of 36029 with flag 180000/5466480
250.99/248.53	c cleaning 19012 clauses out of 38029 with flag 200000/5486480
251.49/249.02	c cleaning 20004 clauses out of 40018 with flag 221001/5507481
252.01/249.52	c cleaning 21006 clauses out of 42013 with flag 243000/5529480
252.53/250.08	c cleaning 21998 clauses out of 44007 with flag 266000/5552480
253.13/250.63	c cleaning 22995 clauses out of 46009 with flag 290000/5576480
253.75/251.22	c cleaning 24000 clauses out of 48014 with flag 315000/5601480
254.38/251.88	c cleaning 25001 clauses out of 50014 with flag 341000/5627480
255.19/252.63	c cleaning 26000 clauses out of 52013 with flag 368000/5654480
255.92/253.39	c cleaning 26998 clauses out of 54013 with flag 396000/5682480
256.74/254.15	c cleaning 28006 clauses out of 56015 with flag 425000/5711480
257.44/254.89	c cleaning 28998 clauses out of 58009 with flag 455000/5741480
258.25/255.67	c cleaning 30000 clauses out of 60011 with flag 486000/5772480
259.27/256.64	c cleaning 31004 clauses out of 62011 with flag 518000/5804480
260.18/257.53	c cleaning 31994 clauses out of 64007 with flag 551000/5837480
261.02/258.39	c cleaning 32998 clauses out of 66013 with flag 585000/5871480
262.03/259.38	c cleaning 33995 clauses out of 68015 with flag 620000/5906480
263.04/260.36	c cleaning 35005 clauses out of 70023 with flag 656003/5942483
264.04/261.30	c cleaning 35999 clauses out of 72015 with flag 693000/5979480
265.16/262.41	c cleaning 36996 clauses out of 74016 with flag 731000/6017480
266.27/263.59	c cleaning 38006 clauses out of 76020 with flag 770000/6056480
267.38/264.66	c cleaning 39001 clauses out of 78014 with flag 810000/6096480
268.70/265.91	c cleaning 39993 clauses out of 80014 with flag 851001/6137481
269.83/267.09	c cleaning 41005 clauses out of 82020 with flag 893000/6179480
271.24/268.41	c cleaning 42007 clauses out of 84016 with flag 936001/6222481
272.44/269.61	c cleaning 43002 clauses out of 86009 with flag 980001/6266481
274.02/270.96	c cleaning 43993 clauses out of 88006 with flag 1025000/6311480
275.90/272.43	c cleaning 45005 clauses out of 90014 with flag 1071001/6357481
277.33/273.86	c cleaning 45999 clauses out of 92008 with flag 1118000/6404480
278.73/275.24	c cleaning 47001 clauses out of 94009 with flag 1166000/6452480
280.14/276.69	c cleaning 47998 clauses out of 96009 with flag 1215001/6501481
281.65/278.16	c cleaning 49000 clauses out of 98013 with flag 1265003/6551483
283.25/279.71	c cleaning 49999 clauses out of 100011 with flag 1316001/6602481
284.76/281.27	c cleaning 50997 clauses out of 102011 with flag 1368001/6654481
286.87/283.37	c cleaning 52000 clauses out of 104015 with flag 1421002/6707482
288.90/285.37	c cleaning 52996 clauses out of 106013 with flag 1475000/6761480
291.22/287.63	c cleaning 53997 clauses out of 108019 with flag 1530002/6816482
293.14/289.59	c cleaning 55005 clauses out of 110020 with flag 1586000/6872480
295.44/291.88	c cleaning 55995 clauses out of 112015 with flag 1643000/6929480
297.56/293.96	c cleaning 56998 clauses out of 114020 with flag 1701000/6987480
299.87/296.23	c cleaning 58001 clauses out of 116022 with flag 1760000/7046480
301.97/298.36	c cleaning 59009 clauses out of 118023 with flag 1820002/7106482
304.17/300.51	c cleaning 59997 clauses out of 120012 with flag 1881000/7167480
306.40/302.75	c cleaning 61000 clauses out of 122015 with flag 1943000/7229480
308.70/305.01	c cleaning 61999 clauses out of 124016 with flag 2006001/7292481
310.91/307.27	c cleaning 63006 clauses out of 126016 with flag 2070000/7356480
313.53/309.81	c cleaning 63994 clauses out of 128010 with flag 2135000/7421480
316.63/312.93	c cleaning 65002 clauses out of 130016 with flag 2201000/7487480
319.68/315.95	c cleaning 65997 clauses out of 132016 with flag 2268002/7554482
322.69/318.95	c cleaning 67004 clauses out of 134017 with flag 2336000/7622480
325.49/321.73	c cleaning 68009 clauses out of 136018 with flag 2405005/7691485
328.40/324.69	c cleaning 68983 clauses out of 138005 with flag 2475001/7761481
331.81/328.04	c cleaning 70003 clauses out of 140021 with flag 2546000/7832480
335.13/331.33	c cleaning 71003 clauses out of 142020 with flag 2618002/7904482
338.55/334.79	c cleaning 72002 clauses out of 144016 with flag 2691001/7977481
342.16/338.30	c cleaning 73001 clauses out of 146014 with flag 2765001/8051481
345.37/341.56	c cleaning 73996 clauses out of 148012 with flag 2840000/8126480
348.58/344.70	c cleaning 75004 clauses out of 150017 with flag 2916001/8202481
351.78/347.92	c cleaning 76003 clauses out of 152012 with flag 2993000/8279480
354.79/350.95	c cleaning 76999 clauses out of 154009 with flag 3071000/8357480
358.11/354.24	c cleaning 77998 clauses out of 156012 with flag 3150002/8436482
361.51/357.67	c cleaning 79008 clauses out of 158015 with flag 3230003/8516483
365.24/361.35	c cleaning 79997 clauses out of 160005 with flag 3311001/8597481
368.88/364.96	c cleaning 80997 clauses out of 162008 with flag 3393001/8679481
372.59/368.65	c cleaning 81994 clauses out of 164010 with flag 3476000/8762480
376.43/372.50	c cleaning 83006 clauses out of 166015 with flag 3560000/8846480
380.15/376.13	c cleaning 83998 clauses out of 168009 with flag 3645000/8931480
384.29/380.22	c cleaning 85000 clauses out of 170011 with flag 3731000/9017480
388.51/384.47	c cleaning 86003 clauses out of 172011 with flag 3818000/9104480
392.52/388.42	c cleaning 86999 clauses out of 174008 with flag 3906000/9192480
396.54/392.48	c cleaning 87994 clauses out of 176009 with flag 3995000/9281480
401.05/396.97	c cleaning 89003 clauses out of 178015 with flag 4085000/9371480
405.35/401.23	c cleaning 90001 clauses out of 180013 with flag 4176001/9462481
409.66/405.50	c cleaning 91000 clauses out of 182011 with flag 4268000/9554480
414.16/410.06	c cleaning 92002 clauses out of 184011 with flag 4361000/9647480
419.00/414.86	c cleaning 93000 clauses out of 186009 with flag 4455000/9741480
423.33/419.14	c cleaning 94000 clauses out of 188009 with flag 4550000/9836480
427.65/423.43	c cleaning 95001 clauses out of 190009 with flag 4646000/9932480
432.76/428.55	c cleaning 95994 clauses out of 192008 with flag 4743001/10029481
438.48/434.27	c cleaning 96998 clauses out of 194013 with flag 4841000/10127480
443.40/439.19	c cleaning 97994 clauses out of 196015 with flag 4940000/10226480
449.03/444.77	c cleaning 99005 clauses out of 198021 with flag 5040000/10326480
454.26/449.98	c cleaning 100003 clauses out of 200016 with flag 5141000/10427480
459.26/454.92	c cleaning 100994 clauses out of 202013 with flag 5243000/10529480
464.87/460.54	c cleaning 102007 clauses out of 204019 with flag 5346000/10632480
470.50/466.11	c cleaning 102994 clauses out of 206014 with flag 5450003/10736483
476.04/471.62	c cleaning 103988 clauses out of 208017 with flag 5555000/10841480
482.16/477.80	c cleaning 105008 clauses out of 210030 with flag 5661001/10947481
488.00/483.56	c cleaning 106000 clauses out of 212021 with flag 5768000/11054480
493.94/489.45	c cleaning 107001 clauses out of 214021 with flag 5876000/11162480
499.55/495.01	c cleaning 108007 clauses out of 216020 with flag 5985000/11271480
505.27/500.71	c cleaning 108998 clauses out of 218013 with flag 6095001/11381481
510.49/505.95	c cleaning 110000 clauses out of 220013 with flag 6206000/11492480
516.92/512.31	c cleaning 111004 clauses out of 222014 with flag 6318001/11604481
522.55/517.93	c cleaning 111998 clauses out of 224009 with flag 6431000/11717480
528.48/523.82	c cleaning 112993 clauses out of 226010 with flag 6545000/11831480
534.61/529.90	c cleaning 114008 clauses out of 228019 with flag 6660002/11946482
540.73/536.05	c cleaning 114996 clauses out of 230009 with flag 6776000/12062480
546.95/542.24	c cleaning 116004 clauses out of 232013 with flag 6893000/12179480
553.57/548.86	c cleaning 116994 clauses out of 234008 with flag 7011000/12297480
560.10/555.30	c cleaning 118009 clauses out of 236017 with flag 7130003/12416483
566.73/561.93	c cleaning 118996 clauses out of 238006 with flag 7250001/12536481
573.46/568.61	c cleaning 119998 clauses out of 240008 with flag 7371000/12657480
579.97/575.19	c cleaning 121000 clauses out of 242010 with flag 7493000/12779480
586.20/581.38	c cleaning 122004 clauses out of 244011 with flag 7616001/12902481
593.52/588.65	c cleaning 122999 clauses out of 246007 with flag 7740001/13026481
600.23/595.38	c cleaning 123998 clauses out of 248007 with flag 7865000/13151480
606.76/601.87	c cleaning 125003 clauses out of 250012 with flag 7991003/13277483
613.88/608.95	c cleaning 126002 clauses out of 252006 with flag 8118000/13404480
621.30/616.34	c cleaning 126995 clauses out of 254006 with flag 8246003/13532483
628.43/623.44	c cleaning 128001 clauses out of 256008 with flag 8375000/13661480
635.67/630.64	c cleaning 128997 clauses out of 258006 with flag 8505000/13791480
643.38/638.39	c cleaning 130002 clauses out of 260008 with flag 8636000/13922480
650.81/645.77	c cleaning 131000 clauses out of 262005 with flag 8768000/14054480
657.63/652.60	c cleaning 132002 clauses out of 264005 with flag 8901001/14187481
664.85/659.70	c cleaning 132998 clauses out of 266004 with flag 9035002/14321482
672.67/667.59	c cleaning 134002 clauses out of 268003 with flag 9170001/14456481
680.60/675.41	c starts		: 306
680.60/675.41	c conflicts		: 14574157
680.60/675.41	c decisions		: 28687934
680.60/675.41	c propagations		: 173301162
680.60/675.41	c inspects		: 8137269305
680.60/675.41	c shortcuts		: 0
680.60/675.41	c learnt literals	: 34
680.60/675.41	c learnt binary clauses	: 47
680.60/675.41	c learnt ternary clauses	: 102
680.60/675.41	c learnt constraints	: 14574122
680.60/675.41	c ignored constraints	: 0
680.60/675.41	c root simplifications	: 0
680.60/675.41	c removed literals (reason simplification)	: 0
680.60/675.41	c reason swapping (by a shorter reason)	: 0
680.60/675.41	c Calls to reduceDB	: 232
680.60/675.41	c number of reductions to clauses (during analyze)	: 0
680.60/675.41	c number of learned constraints concerned by reduction	: 0
680.60/675.41	c number of learning phase by resolution	: 0
680.60/675.41	c number of learning phase by cutting planes	: 0
680.60/675.41	c speed (assignments/second)	: 256633.34552568017
680.60/675.41	c non guided choices	0
680.60/675.41	c learnt constraints type 
680.60/675.41	c constraints type 
680.60/675.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50
680.60/675.41	c org.sat4j.minisat.constraints.card.MinWatchCard => 0
680.60/675.41	c 50 constraints processed.
680.60/675.41	s OPTIMUM FOUND
680.60/675.41	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 
680.60/675.41	c objective function=8
680.60/675.41	c Total wall clock time (in seconds): 675.318

Verifier Data

OK	8

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

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

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


[startup+0 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 10497
/proc/meminfo: memFree=28458704/32873844 swapFree=6592/6592
[pid=10497] ppid=10495 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/10497/stat : 10497 (java) R 10495 10497 8709 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 254107653 23793664 714 33554432000 1073741824 1073778376 140734148497344 140734148486408 213410428264 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10497/statm: 5809 714 529 9 0 128 0

[startup+0.0863161 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 10497
/proc/meminfo: memFree=28458704/32873844 swapFree=6592/6592
[pid=10497] ppid=10495 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/10497/stat : 10497 (java) S 10495 10497 8709 0 -1 4202496 4294 0 1 0 8 0 0 0 20 0 18 0 254107653 9787813888 5502 33554432000 1073741824 1073778376 140734148497344 140734148488480 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10497/statm: 2389603 5502 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.100317 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 10497
/proc/meminfo: memFree=28458704/32873844 swapFree=6592/6592
[pid=10497] ppid=10495 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/10497/stat : 10497 (java) S 10495 10497 8709 0 -1 4202496 4459 0 1 0 10 1 0 0 20 0 18 0 254107653 9787813888 6140 33554432000 1073741824 1073778376 140734148497344 140734148488480 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10497/statm: 2389603 6140 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300159 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 10497
/proc/meminfo: memFree=28458704/32873844 swapFree=6592/6592
[pid=10497] ppid=10495 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/10497/stat : 10497 (java) S 10495 10497 8709 0 -1 4202496 7425 0 1 0 52 1 0 0 20 0 19 0 254107653 9855975424 7574 33554432000 1073741824 1073778376 140734148497344 140734148488480 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10497/statm: 2406244 7574 2224 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9624976

[startup+0.700306 s]
/proc/loadavg: 1.99 2.00 2.00 3/194 10497
/proc/meminfo: memFree=28458704/32873844 swapFree=6592/6592
[pid=10497] ppid=10495 vsize=9624976 CPUtime=1.08 cores=0,2,4,6
/proc/10497/stat : 10497 (java) S 10495 10497 8709 0 -1 4202496 8184 0 1 0 106 2 0 0 20 0 19 0 254107653 9855975424 9197 33554432000 1073741824 1073778376 140734148497344 140734148488480 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10497/statm: 2406244 9197 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9624976

[startup+1.50064 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 10516
/proc/meminfo: memFree=28429964/32873844 swapFree=6592/6592
[pid=10497] ppid=10495 vsize=9624976 CPUtime=1.91 cores=0,2,4,6
/proc/10497/stat : 10497 (java) S 10495 10497 8709 0 -1 4202496 8202 0 1 0 189 2 0 0 20 0 19 0 254107653 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140734148488480 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10497/statm: 2406244 9721 2263 9 0 2396937 0
[pid=10497/tid=10499] ppid=10495 vsize=9624976 CPUtime=1.37 cores=0,2,4,6
/proc/10497/task/10499/stat : 10499 (java) R 10495 10497 8709 0 -1 4202560 2450 0 1 0 137 0 0 0 20 0 19 0 254107653 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338814611864 140338677600007 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10500] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10500/stat : 10500 (java) S 10495 10497 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254107654 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338803674024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10501] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10501/stat : 10501 (java) S 10495 10497 8709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254107654 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338802621480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10502] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10502/stat : 10502 (java) S 10495 10497 8709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254107654 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338801568424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10503] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10503/stat : 10503 (java) S 10495 10497 8709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254107654 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338800515880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10504] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10504/stat : 10504 (java) S 10495 10497 8709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254107654 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338799462824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10505] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10505/stat : 10505 (java) S 10495 10497 8709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254107654 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338798410280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10506] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10506/stat : 10506 (java) S 10495 10497 8709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254107654 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338797357224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10507] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10507/stat : 10507 (java) S 10495 10497 8709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254107654 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338796304680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10508] ppid=10495 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/10497/task/10508/stat : 10508 (java) S 10495 10497 8709 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 19 0 254107655 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338638433128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10509] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10509/stat : 10509 (java) S 10495 10497 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254107655 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338637379448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10510] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10510/stat : 10510 (java) S 10495 10497 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254107656 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338636326280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10511] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10511/stat : 10511 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338635275024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10512] ppid=10495 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/10497/task/10512/stat : 10512 (java) S 10495 10497 8709 0 -1 4202560 1101 0 0 0 17 0 0 0 20 0 19 0 254107658 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338634221880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10513] ppid=10495 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/10497/task/10513/stat : 10513 (java) S 10495 10497 8709 0 -1 4202560 3381 0 0 0 17 2 0 0 20 0 19 0 254107658 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338633169336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10514] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10514/stat : 10514 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338632116472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10515] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10515/stat : 10515 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338631064136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10516] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10516/stat : 10516 (java) S 10495 10497 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254107666 9855975424 9721 33554432000 1073741824 1073778376 140734148497344 140338630010408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9624976

[startup+3.10064 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 10516
/proc/meminfo: memFree=28428040/32873844 swapFree=6592/6592
[pid=10497] ppid=10495 vsize=9624976 CPUtime=3.59 cores=0,2,4,6
/proc/10497/stat : 10497 (java) S 10495 10497 8709 0 -1 4202496 8225 0 1 0 357 2 0 0 20 0 19 0 254107653 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140734148488480 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10497/statm: 2406244 10248 2263 9 0 2396937 0
[pid=10497/tid=10499] ppid=10495 vsize=9624976 CPUtime=2.88 cores=0,2,4,6
/proc/10497/task/10499/stat : 10499 (java) R 10495 10497 8709 0 -1 4202560 2456 0 1 0 288 0 0 0 20 0 19 0 254107653 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338814611864 140338677600012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10500] ppid=10495 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/10497/task/10500/stat : 10500 (java) S 10495 10497 8709 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254107654 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338803674024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10501] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10501/stat : 10501 (java) S 10495 10497 8709 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254107654 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338802621480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10502] ppid=10495 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/10497/task/10502/stat : 10502 (java) S 10495 10497 8709 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 254107654 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338801568424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10503] ppid=10495 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/10497/task/10503/stat : 10503 (java) S 10495 10497 8709 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 254107654 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338800515880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10504] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10504/stat : 10504 (java) S 10495 10497 8709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254107654 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338799462824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10505] ppid=10495 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/10497/task/10505/stat : 10505 (java) S 10495 10497 8709 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 254107654 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338798410280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10506] ppid=10495 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/10497/task/10506/stat : 10506 (java) S 10495 10497 8709 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 254107654 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338797357224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10507] ppid=10495 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/10497/task/10507/stat : 10507 (java) S 10495 10497 8709 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 254107654 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338796304680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10508] ppid=10495 vsize=9624976 CPUtime=0.11 cores=0,2,4,6
/proc/10497/task/10508/stat : 10508 (java) S 10495 10497 8709 0 -1 4202560 33 0 0 0 11 0 0 0 20 0 19 0 254107655 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338638433128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10509] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10509/stat : 10509 (java) S 10495 10497 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254107655 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338637379448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10510] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10510/stat : 10510 (java) S 10495 10497 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254107656 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338636326280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10511] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10511/stat : 10511 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338635275024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10512] ppid=10495 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/10497/task/10512/stat : 10512 (java) S 10495 10497 8709 0 -1 4202560 1101 0 0 0 17 0 0 0 20 0 19 0 254107658 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338634221880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10513] ppid=10495 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/10497/task/10513/stat : 10513 (java) S 10495 10497 8709 0 -1 4202560 3381 0 0 0 17 2 0 0 20 0 19 0 254107658 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338633169336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10514] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10514/stat : 10514 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338632116472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10515] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10515/stat : 10515 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338631064136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10516] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10516/stat : 10516 (java) S 10495 10497 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254107666 9855975424 10248 33554432000 1073741824 1073778376 140734148497344 140338630010408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 9624976

[startup+6.30074 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 10516
/proc/meminfo: memFree=28421524/32873844 swapFree=6592/6592
[pid=10497] ppid=10495 vsize=9624976 CPUtime=6.89 cores=0,2,4,6
/proc/10497/stat : 10497 (java) S 10495 10497 8709 0 -1 4202496 8247 0 1 0 686 3 0 0 20 0 19 0 254107653 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140734148488480 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10497/statm: 2406244 11211 2263 9 0 2396937 0
[pid=10497/tid=10499] ppid=10495 vsize=9624976 CPUtime=5.93 cores=0,2,4,6
/proc/10497/task/10499/stat : 10499 (java) R 10495 10497 8709 0 -1 4202560 2464 0 1 0 593 0 0 0 20 0 19 0 254107653 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338814611864 140338677599865 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10500] ppid=10495 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/10497/task/10500/stat : 10500 (java) S 10495 10497 8709 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 254107654 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338803674024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10501] ppid=10495 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/10497/task/10501/stat : 10501 (java) S 10495 10497 8709 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254107654 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338802621480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10502] ppid=10495 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/10497/task/10502/stat : 10502 (java) S 10495 10497 8709 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 254107654 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338801568424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10503] ppid=10495 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/10497/task/10503/stat : 10503 (java) S 10495 10497 8709 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 254107654 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338800515880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10504] ppid=10495 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/10497/task/10504/stat : 10504 (java) S 10495 10497 8709 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 254107654 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338799462824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10505] ppid=10495 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/10497/task/10505/stat : 10505 (java) S 10495 10497 8709 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 254107654 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338798410280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10506] ppid=10495 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/10497/task/10506/stat : 10506 (java) S 10495 10497 8709 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 19 0 254107654 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338797357224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10507] ppid=10495 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/10497/task/10507/stat : 10507 (java) S 10495 10497 8709 0 -1 4202560 7 0 0 0 3 0 0 0 20 0 19 0 254107654 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338796304680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10508] ppid=10495 vsize=9624976 CPUtime=0.2 cores=0,2,4,6
/proc/10497/task/10508/stat : 10508 (java) S 10495 10497 8709 0 -1 4202560 34 0 0 0 20 0 0 0 20 0 19 0 254107655 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338638433128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10509] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10509/stat : 10509 (java) S 10495 10497 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254107655 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338637379448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10510] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10510/stat : 10510 (java) S 10495 10497 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254107656 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338636326280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10511] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10511/stat : 10511 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338635275024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10512] ppid=10495 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/10497/task/10512/stat : 10512 (java) S 10495 10497 8709 0 -1 4202560 1101 0 0 0 17 0 0 0 20 0 19 0 254107658 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338634221880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10513] ppid=10495 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/10497/task/10513/stat : 10513 (java) S 10495 10497 8709 0 -1 4202560 3381 0 0 0 17 2 0 0 20 0 19 0 254107658 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338633169336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10514] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10514/stat : 10514 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338632116472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10515] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10515/stat : 10515 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338631064136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10516] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10516/stat : 10516 (java) S 10495 10497 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254107666 9855975424 11211 33554432000 1073741824 1073778376 140734148497344 140338630010408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

/proc/10497/task/10507/stat : 10507 (java) S 10495 10497 8709 0 -1 4202560 173 0 0 0 64 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338796304680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10508] ppid=10495 vsize=9624976 CPUtime=6.66 cores=0,2,4,6
/proc/10497/task/10508/stat : 10508 (java) S 10495 10497 8709 0 -1 4202560 86 0 0 0 666 0 0 0 20 0 19 0 254107655 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338638433128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10509] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10509/stat : 10509 (java) S 10495 10497 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254107655 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338637379448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10510] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10510/stat : 10510 (java) S 10495 10497 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254107656 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338636326280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10511] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10511/stat : 10511 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338635275024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10512] ppid=10495 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/10497/task/10512/stat : 10512 (java) S 10495 10497 8709 0 -1 4202560 8787 0 0 0 60 0 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338634221880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10513] ppid=10495 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/10497/task/10513/stat : 10513 (java) S 10495 10497 8709 0 -1 4202560 13198 0 0 0 84 3 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338633169336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10514] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10514/stat : 10514 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338632116472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10515] ppid=10495 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/10497/task/10515/stat : 10515 (java) S 10495 10497 8709 0 -1 4202560 39 0 0 0 8 11 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338631064136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10516] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10516/stat : 10516 (java) S 10495 10497 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254107666 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338630010408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 679.5
Current children cumulated vsize (KiB) 9624976

[startup+675.101 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 10522
/proc/meminfo: memFree=28299756/32873844 swapFree=6592/6592
[pid=10497] ppid=10495 vsize=9624976 CPUtime=680.29 cores=0,2,4,6
/proc/10497/stat : 10497 (java) S 10495 10497 8709 0 -1 4202496 27441 0 1 0 68007 22 0 0 20 0 19 0 254107653 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140734148488480 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10497/statm: 2406244 34871 2268 9 0 2396937 0
[pid=10497/tid=10499] ppid=10495 vsize=9624976 CPUtime=664.97 cores=0,2,4,6
/proc/10497/task/10499/stat : 10499 (java) R 10495 10497 8709 0 -1 4202560 2689 0 1 0 66486 11 0 0 20 0 19 0 254107653 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338814612376 140338677767763 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10500] ppid=10495 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/10497/task/10500/stat : 10500 (java) S 10495 10497 8709 0 -1 4202560 165 0 0 0 67 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338803674024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10501] ppid=10495 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/10497/task/10501/stat : 10501 (java) S 10495 10497 8709 0 -1 4202560 113 0 0 0 62 2 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338802621480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10502] ppid=10495 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/10497/task/10502/stat : 10502 (java) S 10495 10497 8709 0 -1 4202560 203 0 0 0 64 2 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338801568424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10503] ppid=10495 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/10497/task/10503/stat : 10503 (java) S 10495 10497 8709 0 -1 4202560 250 0 0 0 64 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338800515880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10504] ppid=10495 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/10497/task/10504/stat : 10504 (java) S 10495 10497 8709 0 -1 4202560 144 0 0 0 70 2 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338799462824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10505] ppid=10495 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/10497/task/10505/stat : 10505 (java) S 10495 10497 8709 0 -1 4202560 264 0 0 0 67 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338798410280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10506] ppid=10495 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/10497/task/10506/stat : 10506 (java) S 10495 10497 8709 0 -1 4202560 151 0 0 0 71 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338797357224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10507] ppid=10495 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/10497/task/10507/stat : 10507 (java) S 10495 10497 8709 0 -1 4202560 173 0 0 0 64 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338796304680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10508] ppid=10495 vsize=9624976 CPUtime=6.66 cores=0,2,4,6
/proc/10497/task/10508/stat : 10508 (java) S 10495 10497 8709 0 -1 4202560 86 0 0 0 666 0 0 0 20 0 19 0 254107655 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338638433128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10509] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10509/stat : 10509 (java) S 10495 10497 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254107655 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338637379448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10510] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10510/stat : 10510 (java) S 10495 10497 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254107656 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338636326280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10511] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10511/stat : 10511 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338635275024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10512] ppid=10495 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/10497/task/10512/stat : 10512 (java) S 10495 10497 8709 0 -1 4202560 8787 0 0 0 60 0 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338634221880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10513] ppid=10495 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/10497/task/10513/stat : 10513 (java) S 10495 10497 8709 0 -1 4202560 13198 0 0 0 84 3 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338633169336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10514] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10514/stat : 10514 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338632116472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10515] ppid=10495 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/10497/task/10515/stat : 10515 (java) S 10495 10497 8709 0 -1 4202560 39 0 0 0 8 11 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338631064136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10516] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10516/stat : 10516 (java) S 10495 10497 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254107666 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338630010408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 680.29
Current children cumulated vsize (KiB) 9624976

[startup+675.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 10522
/proc/meminfo: memFree=28299756/32873844 swapFree=6592/6592
[pid=10497] ppid=10495 vsize=9624976 CPUtime=680.5 cores=0,2,4,6
/proc/10497/stat : 10497 (java) S 10495 10497 8709 0 -1 4202496 27441 0 1 0 68028 22 0 0 20 0 19 0 254107653 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140734148488480 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10497/statm: 2406244 34871 2268 9 0 2396937 0
[pid=10497/tid=10499] ppid=10495 vsize=9624976 CPUtime=665.18 cores=0,2,4,6
/proc/10497/task/10499/stat : 10499 (java) R 10495 10497 8709 0 -1 4202560 2689 0 1 0 66507 11 0 0 20 0 19 0 254107653 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338814612376 140338677767728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10500] ppid=10495 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/10497/task/10500/stat : 10500 (java) S 10495 10497 8709 0 -1 4202560 165 0 0 0 67 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338803674024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10501] ppid=10495 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/10497/task/10501/stat : 10501 (java) S 10495 10497 8709 0 -1 4202560 113 0 0 0 62 2 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338802621480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10502] ppid=10495 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/10497/task/10502/stat : 10502 (java) S 10495 10497 8709 0 -1 4202560 203 0 0 0 64 2 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338801568424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10503] ppid=10495 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/10497/task/10503/stat : 10503 (java) S 10495 10497 8709 0 -1 4202560 250 0 0 0 64 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338800515880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10504] ppid=10495 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/10497/task/10504/stat : 10504 (java) S 10495 10497 8709 0 -1 4202560 144 0 0 0 70 2 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338799462824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10505] ppid=10495 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/10497/task/10505/stat : 10505 (java) S 10495 10497 8709 0 -1 4202560 264 0 0 0 67 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338798410280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10506] ppid=10495 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/10497/task/10506/stat : 10506 (java) S 10495 10497 8709 0 -1 4202560 151 0 0 0 71 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338797357224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10507] ppid=10495 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/10497/task/10507/stat : 10507 (java) S 10495 10497 8709 0 -1 4202560 173 0 0 0 64 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338796304680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10508] ppid=10495 vsize=9624976 CPUtime=6.66 cores=0,2,4,6
/proc/10497/task/10508/stat : 10508 (java) S 10495 10497 8709 0 -1 4202560 86 0 0 0 666 0 0 0 20 0 19 0 254107655 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338638433128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10509] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10509/stat : 10509 (java) S 10495 10497 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254107655 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338637379448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10510] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10510/stat : 10510 (java) S 10495 10497 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254107656 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338636326280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10511] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10511/stat : 10511 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338635275024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10512] ppid=10495 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/10497/task/10512/stat : 10512 (java) S 10495 10497 8709 0 -1 4202560 8787 0 0 0 60 0 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338634221880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10513] ppid=10495 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/10497/task/10513/stat : 10513 (java) S 10495 10497 8709 0 -1 4202560 13198 0 0 0 84 3 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338633169336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10514] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10514/stat : 10514 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338632116472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10515] ppid=10495 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/10497/task/10515/stat : 10515 (java) S 10495 10497 8709 0 -1 4202560 39 0 0 0 8 11 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338631064136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10516] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10516/stat : 10516 (java) S 10495 10497 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254107666 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338630010408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 680.5
Current children cumulated vsize (KiB) 9624976

[startup+675.407 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 10522
/proc/meminfo: memFree=28299756/32873844 swapFree=6592/6592
[pid=10497] ppid=10495 vsize=9624976 CPUtime=680.6 cores=0,2,4,6
/proc/10497/stat : 10497 (java) S 10495 10497 8709 0 -1 4202496 27441 0 1 0 68038 22 0 0 20 0 19 0 254107653 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140734148488480 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10497/statm: 2406244 34871 2268 9 0 2396937 0
[pid=10497/tid=10499] ppid=10495 vsize=9624976 CPUtime=665.28 cores=0,2,4,6
/proc/10497/task/10499/stat : 10499 (java) R 10495 10497 8709 0 -1 4202560 2689 0 1 0 66517 11 0 0 20 0 19 0 254107653 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338814612376 140338677767775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10500] ppid=10495 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/10497/task/10500/stat : 10500 (java) S 10495 10497 8709 0 -1 4202560 165 0 0 0 67 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338803674024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10501] ppid=10495 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/10497/task/10501/stat : 10501 (java) S 10495 10497 8709 0 -1 4202560 113 0 0 0 62 2 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338802621480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10502] ppid=10495 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/10497/task/10502/stat : 10502 (java) S 10495 10497 8709 0 -1 4202560 203 0 0 0 64 2 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338801568424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10503] ppid=10495 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/10497/task/10503/stat : 10503 (java) S 10495 10497 8709 0 -1 4202560 250 0 0 0 64 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338800515880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10504] ppid=10495 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/10497/task/10504/stat : 10504 (java) S 10495 10497 8709 0 -1 4202560 144 0 0 0 70 2 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338799462824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10497/tid=10505] ppid=10495 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/10497/task/10505/stat : 10505 (java) S 10495 10497 8709 0 -1 4202560 264 0 0 0 67 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338798410280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10506] ppid=10495 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/10497/task/10506/stat : 10506 (java) S 10495 10497 8709 0 -1 4202560 151 0 0 0 71 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338797357224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10507] ppid=10495 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/10497/task/10507/stat : 10507 (java) S 10495 10497 8709 0 -1 4202560 173 0 0 0 64 0 0 0 20 0 19 0 254107654 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338796304680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10508] ppid=10495 vsize=9624976 CPUtime=6.66 cores=0,2,4,6
/proc/10497/task/10508/stat : 10508 (java) S 10495 10497 8709 0 -1 4202560 86 0 0 0 666 0 0 0 20 0 19 0 254107655 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338638433128 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10509] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10509/stat : 10509 (java) S 10495 10497 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254107655 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338637379448 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10510] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10510/stat : 10510 (java) S 10495 10497 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254107656 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338636326280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10511] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10511/stat : 10511 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338635275024 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10512] ppid=10495 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/10497/task/10512/stat : 10512 (java) S 10495 10497 8709 0 -1 4202560 8787 0 0 0 60 0 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338634221880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10497/tid=10513] ppid=10495 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/10497/task/10513/stat : 10513 (java) S 10495 10497 8709 0 -1 4202560 13198 0 0 0 84 3 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338633169336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10514] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10514/stat : 10514 (java) S 10495 10497 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338632116472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10497/tid=10515] ppid=10495 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/10497/task/10515/stat : 10515 (java) S 10495 10497 8709 0 -1 4202560 39 0 0 0 8 11 0 0 20 0 19 0 254107658 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338631064136 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10497/tid=10516] ppid=10495 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10497/task/10516/stat : 10516 (java) S 10495 10497 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254107666 9855975424 34871 33554432000 1073741824 1073778376 140734148497344 140338630010408 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 680.6
Current children cumulated vsize (KiB) 9624976

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10497 and gives
#  childrusage.ru_utime.tv_sec=678
#  childrusage.ru_utime.tv_usec=779809
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=439933
# CPU time returned by wait4() is 679.22
# while last known CPU time is 680.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 675.421
CPU time (s): 680.6
CPU user time (s): 680.38
CPU system time (s): 0.22
CPU usage (%): 100.767
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 678.78
system time used= 0.439933
maximum resident set size= 139544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27459
page faults= 1
swaps= 0
block input operations= 0
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20799
involuntary context switches= 15069

runsolver used 2.68559 second user time and 5.78912 second system time

The end

Launcher Data

Begin job on node140 at 2012-05-24 19:17:08
IDJOB=3688143
IDBENCH=2843
IDSOLVER=2269
FILE ID=node140/3688143-1337879828
RUNJOBID= node140-1337871881-8725
PBS_JOBID= 14620064
Free space on /tmp= 71680 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_10.r.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688143-1337879828/watcher-3688143-1337879828 -o /tmp/evaluation-result-3688143-1337879828/solver-3688143-1337879828 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688143-1337879828.opb

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

MD5SUM BENCH= e965a77006f54aa5fb414d88d571084c
RANDOM SEED=413812369

node140.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		: 2667.094
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	: 5334.18
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		: 2667.094
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		: 2667.094
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		: 2667.094
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		: 2667.094
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.92
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		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.88
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		: 2667.094
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		: 2667.094
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:        28458868 kB
Buffers:          226720 kB
Cached:          3264112 kB
SwapCached:            0 kB
Active:           525312 kB
Inactive:        3110128 kB
Active(anon):     145884 kB
Inactive(anon):        0 kB
Active(file):     379428 kB
Inactive(file):  3110128 kB
Unevictable:        6592 kB
Mlocked:            6592 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:                72 kB
Writeback:             0 kB
AnonPages:        151596 kB
Mapped:            22524 kB
Shmem:               200 kB
Slab:             640092 kB
SReclaimable:      82620 kB
SUnreclaim:       557472 kB
KernelStack:        1608 kB
PageTables:         4184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 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= 71680 MiB
End job on node140 at 2012-05-24 19:28:24