Trace number 3710566

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)74 1800.02 1790.47

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
MD5SUM4a444f89cff56050e88660d23e3d8694
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark47
Best CPU time to get the best result obtained on this benchmark0.824873
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 47
Optimality of the best value was proved NO
Number of variables607
Total number of constraints1022
Number of constraints which are clauses1022
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 constraint3
Maximum length of a constraint32
Number of terms in the objective function 607
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 607
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 607
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.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.13	c configuring ORDERS
0.08/0.14	c --- Begin Solver configuration ---
0.08/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.08/0.14	c Learn all clauses as in MiniSAT
0.08/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.14	c Expensive reason simplification
0.08/0.14	c Armin Biere (Picosat) restarts strategy
0.08/0.14	c Glucose learned constraints deletion strategy
0.08/0.14	c timeout=2147483s
0.08/0.14	c DB Simplification allowed=true
0.08/0.14	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.14	c --- End Solver configuration ---
0.08/0.14	c solving HOME/instance-3710566-1338144528.opb
0.08/0.14	c reading problem ... 
0.24/0.29	c ... done. Wall clock time 0.15s.
0.24/0.29	c declared #vars     607
0.24/0.29	c #constraints  1022
0.24/0.29	c constraints type 
0.24/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1022
0.24/0.29	c 1022 constraints processed.
0.47/0.30	c SATISFIABLE
0.47/0.30	c OPTIMIZING...
0.47/0.30	c Got one! Elapsed wall clock time (in seconds):0.163
0.47/0.30	o 82
1.03/0.67	c cleaning 2498 clauses out of 5002 with flag 5001/5002
1.38/0.96	c cleaning 4246 clauses out of 8503 with flag 11000/11001
1.71/1.29	c cleaning 5622 clauses out of 11258 with flag 18001/18002
2.14/1.70	c cleaning 6813 clauses out of 13636 with flag 26001/26002
2.65/2.15	c cleaning 7904 clauses out of 15822 with flag 35000/35001
3.15/2.63	c cleaning 8953 clauses out of 17918 with flag 45000/45001
3.36/2.88	c Got one! Elapsed wall clock time (in seconds):2.743
3.36/2.88	o 74
3.66/3.11	c cleaning 9710 clauses out of 19431 with flag 5001/55467
3.97/3.41	c cleaning 7858 clauses out of 15720 with flag 11000/61466
4.27/3.76	c cleaning 7428 clauses out of 14863 with flag 18001/68467
4.67/4.17	c cleaning 7713 clauses out of 15434 with flag 26000/76466
5.19/4.62	c cleaning 8348 clauses out of 16722 with flag 35001/85467
5.71/5.12	c cleaning 9180 clauses out of 18373 with flag 45000/95466
6.32/5.70	c cleaning 10084 clauses out of 20193 with flag 56000/106466
6.92/6.34	c cleaning 11050 clauses out of 22109 with flag 68000/118466
7.64/7.00	c cleaning 12025 clauses out of 24059 with flag 81000/131466
8.35/7.71	c cleaning 13013 clauses out of 26035 with flag 95001/145467
9.14/8.52	c cleaning 14004 clauses out of 28021 with flag 110000/160466
10.05/9.42	c cleaning 15001 clauses out of 30017 with flag 126000/176466
10.95/10.35	c cleaning 16002 clauses out of 32016 with flag 143000/193466
11.96/11.34	c cleaning 17001 clauses out of 34014 with flag 161000/211466
13.07/12.42	c cleaning 18005 clauses out of 36016 with flag 180003/230469
14.17/13.55	c cleaning 18996 clauses out of 38008 with flag 200000/250466
15.40/14.72	c cleaning 19999 clauses out of 40013 with flag 221001/271467
16.51/15.84	c cleaning 21001 clauses out of 42014 with flag 243001/293467
17.72/17.08	c cleaning 21996 clauses out of 44013 with flag 266001/316467
19.13/18.41	c cleaning 23003 clauses out of 46016 with flag 290000/340466
20.45/19.75	c cleaning 24000 clauses out of 48014 with flag 315001/365467
21.95/21.26	c cleaning 25003 clauses out of 50013 with flag 341000/391466
23.38/22.70	c cleaning 25998 clauses out of 52010 with flag 368000/418466
24.91/24.18	c cleaning 27000 clauses out of 54012 with flag 396000/446466
26.71/25.92	c cleaning 27996 clauses out of 56012 with flag 425000/475466
28.32/27.53	c cleaning 28999 clauses out of 58016 with flag 455000/505466
30.13/29.30	c cleaning 30001 clauses out of 60017 with flag 486000/536466
32.16/31.38	c cleaning 31001 clauses out of 62019 with flag 518003/568469
34.29/33.46	c cleaning 31999 clauses out of 64015 with flag 551000/601466
36.12/35.29	c cleaning 32999 clauses out of 66018 with flag 585002/635468
38.23/37.32	c cleaning 34004 clauses out of 68018 with flag 620001/670467
40.24/39.34	c cleaning 35000 clauses out of 70014 with flag 656001/706467
42.38/41.44	c cleaning 35996 clauses out of 72014 with flag 693001/743467
44.68/43.78	c cleaning 37000 clauses out of 74017 with flag 731000/781466
47.11/46.15	c cleaning 37996 clauses out of 76018 with flag 770001/820467
49.84/48.83	c cleaning 38999 clauses out of 78021 with flag 810000/860466
52.45/51.45	c cleaning 40002 clauses out of 80022 with flag 851000/901466
54.76/53.73	c cleaning 41006 clauses out of 82021 with flag 893001/943467
57.17/56.19	c cleaning 42001 clauses out of 84016 with flag 936002/986468
59.89/58.84	c cleaning 42993 clauses out of 86013 with flag 980000/1030466
62.71/61.63	c cleaning 43998 clauses out of 88020 with flag 1025000/1075466
65.33/64.22	c cleaning 45002 clauses out of 90023 with flag 1071001/1121467
68.06/66.98	c cleaning 45995 clauses out of 92020 with flag 1118000/1168466
70.77/69.67	c cleaning 47003 clauses out of 94025 with flag 1166000/1216466
73.88/72.70	c cleaning 48004 clauses out of 96023 with flag 1215001/1265467
77.00/75.89	c cleaning 48996 clauses out of 98018 with flag 1265000/1315466
79.92/78.78	c cleaning 50007 clauses out of 100022 with flag 1316000/1366466
82.99/81.76	c cleaning 51003 clauses out of 102016 with flag 1368001/1418467
86.00/84.78	c cleaning 52002 clauses out of 104013 with flag 1421001/1471467
89.42/88.10	c cleaning 52999 clauses out of 106010 with flag 1475000/1525466
92.65/91.31	c cleaning 53997 clauses out of 108011 with flag 1530000/1580466
96.09/94.76	c cleaning 54996 clauses out of 110014 with flag 1586000/1636466
100.01/98.66	c cleaning 56003 clauses out of 112018 with flag 1643000/1693466
104.33/102.90	c cleaning 56993 clauses out of 114016 with flag 1701001/1751467
107.94/106.55	c cleaning 57999 clauses out of 116024 with flag 1760002/1810468
111.96/110.56	c cleaning 59005 clauses out of 118025 with flag 1820002/1870468
115.29/113.88	c cleaning 59996 clauses out of 120018 with flag 1881000/1931466
119.54/118.02	c cleaning 61006 clauses out of 122023 with flag 1943001/1993467
123.10/121.59	c cleaning 62000 clauses out of 124016 with flag 2006000/2056466
126.81/125.27	c cleaning 62996 clauses out of 126017 with flag 2070001/2120467
131.55/129.93	c cleaning 63998 clauses out of 128020 with flag 2135000/2185466
136.20/134.57	c cleaning 65002 clauses out of 130022 with flag 2201000/2251466
140.55/138.83	c cleaning 66003 clauses out of 132021 with flag 2268001/2318467
145.08/143.36	c cleaning 66995 clauses out of 134018 with flag 2336001/2386467
149.42/147.65	c cleaning 68006 clauses out of 136024 with flag 2405002/2455468
154.45/152.65	c cleaning 68999 clauses out of 138016 with flag 2475000/2525466
159.89/158.00	c cleaning 69993 clauses out of 140017 with flag 2546000/2596466
165.24/163.33	c cleaning 71006 clauses out of 142025 with flag 2618001/2668467
170.27/168.31	c cleaning 71991 clauses out of 144019 with flag 2691001/2741467
175.19/173.22	c cleaning 73007 clauses out of 146027 with flag 2765000/2815466
180.91/178.99	c cleaning 74005 clauses out of 148020 with flag 2840000/2890466
187.15/185.14	c cleaning 74993 clauses out of 150016 with flag 2916001/2966467
191.97/189.94	c cleaning 76006 clauses out of 152025 with flag 2993003/3043469
196.71/194.69	c cleaning 77003 clauses out of 154016 with flag 3071000/3121466
202.23/200.11	c cleaning 77994 clauses out of 156013 with flag 3150000/3200466
207.88/205.73	c cleaning 79001 clauses out of 158022 with flag 3230003/3280469
214.21/212.02	c cleaning 80000 clauses out of 160018 with flag 3311000/3361466
219.66/217.42	c cleaning 80997 clauses out of 162018 with flag 3393000/3443466
226.09/223.88	c cleaning 81996 clauses out of 164021 with flag 3476000/3526466
233.04/230.79	c cleaning 83000 clauses out of 166025 with flag 3560000/3610466
238.80/236.47	c cleaning 84001 clauses out of 168025 with flag 3645000/3695466
245.53/243.11	c cleaning 85002 clauses out of 170026 with flag 3731002/3781468
253.17/250.74	c cleaning 86004 clauses out of 172022 with flag 3818000/3868466
261.03/258.54	c cleaning 86997 clauses out of 174019 with flag 3906001/3956467
267.28/264.74	c cleaning 88007 clauses out of 176023 with flag 3995002/4045468
274.51/271.90	c cleaning 88995 clauses out of 178014 with flag 4085000/4135466
281.85/279.22	c cleaning 89998 clauses out of 180019 with flag 4176000/4226466
290.40/287.77	c cleaning 90999 clauses out of 182022 with flag 4268001/4318467
298.77/296.03	c cleaning 92000 clauses out of 184023 with flag 4361001/4411467
306.52/303.77	c cleaning 93004 clauses out of 186022 with flag 4455000/4505466
312.45/309.63	c cleaning 94002 clauses out of 188018 with flag 4550000/4600466
318.47/315.67	c cleaning 95003 clauses out of 190016 with flag 4646000/4696466
325.00/322.12	c cleaning 96003 clauses out of 192014 with flag 4743001/4793467
332.46/329.51	c cleaning 96988 clauses out of 194010 with flag 4841000/4891466
338.88/335.97	c cleaning 98003 clauses out of 196025 with flag 4940003/4990469
347.43/344.43	c cleaning 99000 clauses out of 198019 with flag 5040000/5090466
353.98/350.88	c cleaning 100001 clauses out of 200020 with flag 5141001/5191467
361.92/358.76	c cleaning 100996 clauses out of 202018 with flag 5243000/5293466
370.68/367.40	c cleaning 101997 clauses out of 204023 with flag 5346001/5396467
379.93/376.60	c cleaning 103007 clauses out of 206025 with flag 5450000/5500466
388.28/384.97	c cleaning 103998 clauses out of 208018 with flag 5555000/5605466
398.44/395.03	c cleaning 104995 clauses out of 210020 with flag 5661000/5711466
407.69/404.20	c cleaning 105998 clauses out of 212025 with flag 5768000/5818466
418.49/414.95	c cleaning 107000 clauses out of 214027 with flag 5876000/5926466
425.94/422.38	c cleaning 108005 clauses out of 216028 with flag 5985001/6035467
437.68/434.10	c cleaning 109001 clauses out of 218022 with flag 6095000/6145466
449.74/446.08	c cleaning 110000 clauses out of 220021 with flag 6206000/6256466
461.20/457.41	c cleaning 111004 clauses out of 222022 with flag 6318001/6368467
470.14/466.34	c cleaning 111995 clauses out of 224019 with flag 6431002/6481468
479.37/475.58	c cleaning 112998 clauses out of 226022 with flag 6545000/6595466
490.19/486.35	c cleaning 113996 clauses out of 228025 with flag 6660001/6710467
498.04/494.14	c cleaning 115000 clauses out of 230028 with flag 6776000/6826466
506.87/502.94	c cleaning 116005 clauses out of 232028 with flag 6893000/6943466
515.51/511.51	c cleaning 117003 clauses out of 234023 with flag 7011000/7061466
524.97/520.90	c cleaning 118007 clauses out of 236021 with flag 7130001/7180467
534.95/530.88	c cleaning 118997 clauses out of 238013 with flag 7250000/7300466
544.42/540.29	c cleaning 119998 clauses out of 240016 with flag 7371000/7421466
553.58/549.39	c cleaning 121001 clauses out of 242019 with flag 7493001/7543467
563.12/558.86	c cleaning 121997 clauses out of 244017 with flag 7616000/7666466
571.46/567.16	c cleaning 122994 clauses out of 246020 with flag 7740000/7790466
581.58/577.27	c cleaning 124003 clauses out of 248026 with flag 7865000/7915466
591.92/587.57	c cleaning 125001 clauses out of 250025 with flag 7991002/8041468
602.94/598.58	c cleaning 126001 clauses out of 252022 with flag 8118000/8168466
612.60/608.16	c cleaning 127007 clauses out of 254021 with flag 8246000/8296466
626.13/621.63	c cleaning 127995 clauses out of 256014 with flag 8375000/8425466
636.79/632.25	c cleaning 128997 clauses out of 258021 with flag 8505002/8555468
647.95/643.36	c cleaning 130006 clauses out of 260023 with flag 8636001/8686467
660.02/655.34	c cleaning 130996 clauses out of 262016 with flag 8768000/8818466
673.16/668.49	c cleaning 131996 clauses out of 264020 with flag 8901000/8951466
683.33/678.53	c cleaning 132999 clauses out of 266024 with flag 9035000/9085466
695.59/690.75	c cleaning 134004 clauses out of 268026 with flag 9170001/9220467
707.27/702.38	c cleaning 135000 clauses out of 270022 with flag 9306001/9356467
720.46/715.40	c cleaning 135999 clauses out of 272021 with flag 9443000/9493466
734.95/729.86	c cleaning 136997 clauses out of 274022 with flag 9581000/9631466
748.75/743.59	c cleaning 137996 clauses out of 276025 with flag 9720000/9770466
760.77/755.59	c cleaning 139003 clauses out of 278030 with flag 9860001/9910467
775.93/770.65	c cleaning 140003 clauses out of 280027 with flag 10001001/10051467
786.31/780.93	c cleaning 141008 clauses out of 282024 with flag 10143001/10193467
796.05/790.67	c cleaning 141995 clauses out of 284015 with flag 10286000/10336466
805.72/800.26	c cleaning 142996 clauses out of 286022 with flag 10430002/10480468
815.87/810.30	c cleaning 144001 clauses out of 288024 with flag 10575000/10625466
827.47/821.83	c cleaning 145000 clauses out of 290024 with flag 10721001/10771467
839.51/833.82	c cleaning 146006 clauses out of 292023 with flag 10868000/10918466
853.44/847.72	c cleaning 146995 clauses out of 294018 with flag 11016001/11066467
864.25/858.42	c cleaning 148001 clauses out of 296023 with flag 11165001/11215467
877.50/871.60	c cleaning 149000 clauses out of 298022 with flag 11315001/11365467
890.87/884.97	c cleaning 149990 clauses out of 300021 with flag 11466000/11516466
902.60/896.65	c cleaning 151000 clauses out of 302032 with flag 11618001/11668467
920.28/914.24	c cleaning 152008 clauses out of 304034 with flag 11771003/11821469
934.97/928.86	c cleaning 153003 clauses out of 306025 with flag 11925002/11975468
952.23/946.01	c cleaning 154001 clauses out of 308023 with flag 12080003/12130469
969.87/963.64	c cleaning 154993 clauses out of 310020 with flag 12236001/12286467
982.20/975.84	c cleaning 156000 clauses out of 312026 with flag 12393000/12443466
1000.35/993.95	c cleaning 156996 clauses out of 314027 with flag 12551001/12601467
1017.46/1010.98	c cleaning 158001 clauses out of 316030 with flag 12710000/12760466
1035.33/1028.71	c cleaning 159001 clauses out of 318029 with flag 12870000/12920466
1054.30/1047.67	c cleaning 160002 clauses out of 320028 with flag 13031000/13081466
1074.13/1067.42	c cleaning 160994 clauses out of 322027 with flag 13193001/13243467
1095.74/1088.96	c cleaning 162000 clauses out of 324033 with flag 13356001/13406467
1107.91/1101.08	c cleaning 163005 clauses out of 326032 with flag 13520000/13570466
1124.84/1117.94	c cleaning 163996 clauses out of 328028 with flag 13685001/13735467
1140.60/1133.64	c cleaning 165000 clauses out of 330032 with flag 13851001/13901467
1159.76/1152.78	c cleaning 166005 clauses out of 332032 with flag 14018001/14068467
1177.72/1170.66	c cleaning 167001 clauses out of 334027 with flag 14186001/14236467
1196.83/1189.79	c cleaning 167995 clauses out of 336025 with flag 14355000/14405466
1216.81/1209.64	c cleaning 169003 clauses out of 338032 with flag 14525002/14575468
1235.03/1227.82	c cleaning 169998 clauses out of 340027 with flag 14696000/14746466
1250.36/1243.12	c cleaning 170995 clauses out of 342029 with flag 14868000/14918466
1269.90/1262.69	c cleaning 171998 clauses out of 344034 with flag 15041000/15091466
1283.20/1275.82	c cleaning 173005 clauses out of 346037 with flag 15215001/15265467
1295.25/1287.80	c cleaning 174010 clauses out of 348031 with flag 15390000/15440466
1309.97/1302.57	c cleaning 175001 clauses out of 350021 with flag 15566000/15616466
1325.05/1317.57	c cleaning 176005 clauses out of 352021 with flag 15743001/15793467
1340.63/1333.10	c cleaning 176997 clauses out of 354016 with flag 15921001/15971467
1354.52/1346.83	c cleaning 177997 clauses out of 356018 with flag 16100000/16150466
1367.81/1360.07	c cleaning 178987 clauses out of 358022 with flag 16280001/16330467
1383.66/1375.88	c cleaning 180000 clauses out of 360035 with flag 16461001/16511467
1397.18/1389.25	c cleaning 181006 clauses out of 362034 with flag 16643000/16693466
1414.61/1406.66	c cleaning 182004 clauses out of 364028 with flag 16826000/16876466
1438.13/1430.05	c cleaning 183003 clauses out of 366024 with flag 17010000/17060466
1463.59/1455.33	c cleaning 183995 clauses out of 368022 with flag 17195001/17245467
1482.64/1474.21	c cleaning 184999 clauses out of 370026 with flag 17381000/17431466
1499.61/1491.12	c cleaning 186001 clauses out of 372029 with flag 17568002/17618468
1518.36/1509.86	c cleaning 187000 clauses out of 374026 with flag 17756000/17806466
1536.74/1528.13	c cleaning 188002 clauses out of 376026 with flag 17945000/17995466
1558.65/1549.95	c cleaning 188998 clauses out of 378025 with flag 18135001/18185467
1579.69/1570.96	c cleaning 189996 clauses out of 380026 with flag 18326000/18376466
1596.32/1587.58	c cleaning 191010 clauses out of 382033 with flag 18518003/18568469
1614.77/1605.93	c cleaning 191989 clauses out of 384020 with flag 18711000/18761466
1635.54/1626.68	c cleaning 192999 clauses out of 386031 with flag 18905000/18955466
1657.34/1648.31	c cleaning 193996 clauses out of 388032 with flag 19100000/19150466
1679.09/1670.02	c cleaning 195003 clauses out of 390036 with flag 19296000/19346466
1699.64/1690.50	c cleaning 196011 clauses out of 392033 with flag 19493000/19543466
1719.62/1710.48	c cleaning 197003 clauses out of 394022 with flag 19691000/19741466
1742.01/1732.64	c cleaning 197987 clauses out of 396019 with flag 19890000/19940466
1762.11/1752.60	c cleaning 199002 clauses out of 398037 with flag 20090005/20140471
1775.44/1765.95	c cleaning 200005 clauses out of 400030 with flag 20291000/20341466
1800.02/1790.41	c starts		: 353
1800.02/1790.41	c conflicts		: 20543466
1800.02/1790.41	c decisions		: 34193276
1800.02/1790.41	c propagations		: 845221632
1800.02/1790.41	c inspects		: 8379350073
1800.02/1790.41	c shortcuts		: 0
1800.02/1790.41	c learnt literals	: 0
1800.02/1790.41	c learnt binary clauses	: 0
1800.02/1790.41	c learnt ternary clauses	: 0
1800.02/1790.41	c learnt constraints	: 20543466
1800.02/1790.41	c ignored constraints	: 0
1800.02/1790.41	c root simplifications	: 353
1800.02/1790.41	c removed literals (reason simplification)	: 2514276
1800.02/1790.41	c reason swapping (by a shorter reason)	: 0
1800.02/1790.41	c Calls to reduceDB	: 204
1800.02/1790.41	c number of reductions to clauses (during analyze)	: 0
1800.02/1790.41	c number of learned constraints concerned by reduction	: 0
1800.02/1790.41	c number of learning phase by resolution	: 0
1800.02/1790.41	c number of learning phase by cutting planes	: 0
1800.02/1790.41	c speed (assignments/second)	: 472158.67521878396
1800.02/1790.41	c non guided choices	22964
1800.02/1790.46	c learnt constraints type 
1800.02/1790.46	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 402025
1800.02/1790.46	c constraints type 
1800.02/1790.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1022
1800.02/1790.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.02/1790.46	c 1023 constraints processed.
1800.02/1790.46	s SATISFIABLE
1800.02/1790.46	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 
1800.02/1790.46	c objective function=74
1800.02/1790.46	c Total wall clock time (in seconds): 1790.321

Verifier Data 

OK	74

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-3710566-1338144528/watcher-3710566-1338144528 -o /tmp/evaluation-result-3710566-1338144528/solver-3710566-1338144528 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710566-1338144528.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 2.00 3/194 17322
/proc/meminfo: memFree=28783172/32873844 swapFree=7116/7116
[pid=17322] ppid=17320 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17322/stat : 17322 (java) D 17320 17322 14200 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 280577841 9515008 182 33554432000 1073741824 1073778376 140736904132400 140736904123432 227141303989 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17322/statm: 2323 182 140 9 0 71 0

[startup+0.069827 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 17322
/proc/meminfo: memFree=28783172/32873844 swapFree=7116/7116
[pid=17322] ppid=17320 vsize=9226588 CPUtime=0.05 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17322 14200 0 -1 4202496 3148 0 1 0 4 1 0 0 20 0 13 0 280577841 9448026112 3845 33554432000 1073741824 1073778376 140735933920656 140735933911792 227144663101 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17322/statm: 2306647 3847 1714 9 0 2297348 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9226588

[startup+0.100329 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 17322
/proc/meminfo: memFree=28783172/32873844 swapFree=7116/7116
[pid=17322] ppid=17320 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17322 14200 0 -1 4202496 3727 0 1 0 7 1 0 0 20 0 18 0 280577841 9787842560 4424 33554432000 1073741824 1073778376 140735933920656 140735933911792 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17322/statm: 2389610 4424 1938 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300282 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 17322
/proc/meminfo: memFree=28783172/32873844 swapFree=7116/7116
[pid=17322] ppid=17320 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17322 14200 0 -1 4202496 6203 0 1 0 45 2 0 0 20 0 19 0 280577841 9856004096 8279 33554432000 1073741824 1073778376 140735933920656 140735933911792 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17322/statm: 2406251 8279 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625004

[startup+0.700277 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 17322
/proc/meminfo: memFree=28783172/32873844 swapFree=7116/7116
[pid=17322] ppid=17320 vsize=9625004 CPUtime=1.17 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17322 14200 0 -1 4202496 8149 0 1 0 114 3 0 0 20 0 19 0 280577841 9856004096 10908 33554432000 1073741824 1073778376 140735933920656 140735933911792 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17322/statm: 2406251 10908 2274 9 0 2396937 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9625004

[startup+1.50078 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17341
/proc/meminfo: memFree=28743204/32873844 swapFree=7116/7116
[pid=17322] ppid=17320 vsize=9625004 CPUtime=2.02 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17322 14200 0 -1 4202496 8177 0 1 0 199 3 0 0 20 0 19 0 280577841 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140735933911792 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17322/statm: 2406251 12454 2274 9 0 2396937 0
[pid=17322/tid=17324] ppid=17320 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) R 17320 17322 14200 0 -1 4202560 2573 0 1 0 141 2 0 0 20 0 19 0 280577842 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140594144010792 140594084190964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17325] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17322 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140594082741032 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17326] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17322 14200 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140594081688232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17327] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140594080635944 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17328] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17322 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140594079583144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17329] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17322 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140594078529832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17330] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17322 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140593982027944 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17331] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17322 14200 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140593980975656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17332] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) S 17320 17322 14200 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140593979922856 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17333] ppid=17320 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17322 14200 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 280577845 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140593967725288 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17334] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17322 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280577845 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140593966671352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17335] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17322 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280577845 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140593965618952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17336] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140593964567440 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17337] ppid=17320 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/17322/task/17337/stat : 17337 (java) S 17320 17322 14200 0 -1 4202560 2274 0 0 0 26 0 0 0 20 0 19 0 280577848 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140593963514040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17338] ppid=17320 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/17322/task/17338/stat : 17338 (java) S 17320 17322 14200 0 -1 4202560 2074 0 0 0 24 0 0 0 20 0 19 0 280577848 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140593962461240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17339] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17339/stat : 17339 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140593961409144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17340] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17340/stat : 17340 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140593960356552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17341] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17341/stat : 17341 (java) S 17320 17322 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280577871 9856004096 12454 33554432000 1073741824 1073778376 140735933920656 140593959302568 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9625004

[startup+3.10072 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17341
/proc/meminfo: memFree=28738612/32873844 swapFree=7116/7116
[pid=17322] ppid=17320 vsize=9625004 CPUtime=3.66 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17322 14200 0 -1 4202496 8461 0 1 0 363 3 0 0 20 0 19 0 280577841 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140735933911792 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17322/statm: 2406251 13492 2275 9 0 2396937 0
[pid=17322/tid=17324] ppid=17320 vsize=9625004 CPUtime=2.97 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) R 17320 17322 14200 0 -1 4202560 2576 0 1 0 295 2 0 0 20 0 19 0 280577842 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140594144010504 140594084256330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17325] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17322 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140594082741032 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17326] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17322 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140594081688232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17327] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17322 14200 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140594080635944 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17328] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17322 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140594079583144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17329] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17322 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140594078529832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17330] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17322 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140593982027944 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17331] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17322 14200 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140593980975656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17332] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) S 17320 17322 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140593979922856 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17333] ppid=17320 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17322 14200 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 280577845 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140593967725288 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17334] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17322 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280577845 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140593966671352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17335] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17322 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280577845 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140593965618952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17336] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140593964567440 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17337] ppid=17320 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/17322/task/17337/stat : 17337 (java) S 17320 17322 14200 0 -1 4202560 2543 0 0 0 29 0 0 0 20 0 19 0 280577848 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140593963514040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17338] ppid=17320 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/17322/task/17338/stat : 17338 (java) S 17320 17322 14200 0 -1 4202560 2074 0 0 0 24 0 0 0 20 0 19 0 280577848 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140593962461240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17339] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17339/stat : 17339 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140593961409144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17340] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17340/stat : 17340 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140593960356552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17341] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17341/stat : 17341 (java) S 17320 17322 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280577871 9856004096 13492 33554432000 1073741824 1073778376 140735933920656 140593959302568 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9625004

[startup+6.30079 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 17341
/proc/meminfo: memFree=28734516/32873844 swapFree=7116/7116
[pid=17322] ppid=17320 vsize=9625004 CPUtime=6.92 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17322 14200 0 -1 4202496 8479 0 1 0 689 3 0 0 20 0 19 0 280577841 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140735933911792 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17322/statm: 2406251 13938 2275 9 0 2396937 0
[pid=17322/tid=17324] ppid=17320 vsize=9625004 CPUtime=6.03 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) R 17320 17322 14200 0 -1 4202560 2584 0 1 0 601 2 0 0 20 0 19 0 280577842 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140594144010544 140594084256054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17325] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17322 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140594082741032 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17326] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17322 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140594081688232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17327] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17322 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140594080635944 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17328] ppid=17320 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17322 14200 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 280577844 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140594079583144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17329] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17322 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140594078529832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17330] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17322 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140593982027944 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17331] ppid=17320 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17322 14200 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 280577844 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140593980975656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17332] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) S 17320 17322 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280577844 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140593979922856 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17333] ppid=17320 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17322 14200 0 -1 4202560 33 0 0 0 17 0 0 0 20 0 19 0 280577845 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140593967725288 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17334] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17322 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280577845 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140593966671352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17335] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17322 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280577845 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140593965618952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17336] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140593964567440 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17337] ppid=17320 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/17322/task/17337/stat : 17337 (java) S 17320 17322 14200 0 -1 4202560 2543 0 0 0 29 0 0 0 20 0 19 0 280577848 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140593963514040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17338] ppid=17320 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/17322/task/17338/stat : 17338 (java) S 17320 17322 14200 0 -1 4202560 2074 0 0 0 24 0 0 0 20 0 19 0 280577848 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140593962461240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17339] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17339/stat : 17339 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140593961409144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17340] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17340/stat : 17340 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140593960356552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17341] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17341/stat : 17341 (java) S 17320 17322 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280577871 9856004096 13938 33554432000 1073741824 1073778376 140735933920656 140593959302568 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=17322/tid=17337] ppid=17320 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/17322/task/17337/stat : 17337 (java) S 17320 17322 14200 0 -1 4202560 2764 0 0 0 31 0 0 0 20 0 19 0 280577848 9856004096 85723 33554432000 1073741824 1073778376 140735933920656 140593963514040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17338] ppid=17320 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/17322/task/17338/stat : 17338 (java) S 17320 17322 14200 0 -1 4202560 2074 0 0 0 24 0 0 0 20 0 19 0 280577848 9856004096 85723 33554432000 1073741824 1073778376 140735933920656 140593962461240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17339] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17339/stat : 17339 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 85723 33554432000 1073741824 1073778376 140735933920656 140593961409144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17340] ppid=17320 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/17322/task/17340/stat : 17340 (java) S 17320 17322 14200 0 -1 4202560 97 0 0 0 22 20 0 0 20 0 19 0 280577848 9856004096 85723 33554432000 1073741824 1073778376 140735933920656 140593960356552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17341] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17341/stat : 17341 (java) S 17320 17322 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280577871 9856004096 85723 33554432000 1073741824 1073778376 140735933920656 140593959302568 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1671.39
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 17493
/proc/meminfo: memFree=28449960/32873844 swapFree=7116/7116
[pid=17322] ppid=17320 vsize=9625004 CPUtime=1731.71 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17322 14200 0 -1 4202496 11598 0 1 0 173113 58 0 0 20 0 19 0 280577841 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140735933911792 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17322/statm: 2406251 89819 2276 9 0 2396937 0
[pid=17322/tid=17324] ppid=17320 vsize=9625004 CPUtime=1699.95 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) R 17320 17322 14200 0 -1 4202560 2805 0 1 0 169966 29 0 0 20 0 19 0 280577842 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140594144010544 140594084273942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17325] ppid=17320 vsize=9625004 CPUtime=1.49 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17322 14200 0 -1 4202560 329 0 0 0 146 3 0 0 20 0 19 0 280577844 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140594082741032 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17326] ppid=17320 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17322 14200 0 -1 4202560 443 0 0 0 147 3 0 0 20 0 19 0 280577844 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140594081688232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17327] ppid=17320 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17322 14200 0 -1 4202560 300 0 0 0 161 4 0 0 20 0 19 0 280577844 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140594080635944 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17328] ppid=17320 vsize=9625004 CPUtime=1.49 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17322 14200 0 -1 4202560 449 0 0 0 145 4 0 0 20 0 19 0 280577844 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140594079583144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17329] ppid=17320 vsize=9625004 CPUtime=1.55 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17322 14200 0 -1 4202560 307 0 0 0 150 5 0 0 20 0 19 0 280577844 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140594078529832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17330] ppid=17320 vsize=9625004 CPUtime=1.55 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17322 14200 0 -1 4202560 326 0 0 0 151 4 0 0 20 0 19 0 280577844 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140593982027944 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17331] ppid=17320 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17322 14200 0 -1 4202560 154 0 0 0 139 3 0 0 20 0 19 0 280577844 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140593980975656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17332] ppid=17320 vsize=9625004 CPUtime=1.51 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) S 17320 17322 14200 0 -1 4202560 201 0 0 0 148 3 0 0 20 0 19 0 280577844 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140593979922856 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17333] ppid=17320 vsize=9625004 CPUtime=14.27 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17322 14200 0 -1 4202560 161 0 0 0 1425 2 0 0 20 0 19 0 280577845 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140593967725288 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17334] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17322 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280577845 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140593966671352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17335] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17322 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280577845 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140593965618952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17336] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140593964567440 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17337] ppid=17320 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/17322/task/17337/stat : 17337 (java) S 17320 17322 14200 0 -1 4202560 2764 0 0 0 31 0 0 0 20 0 19 0 280577848 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140593963514040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17338] ppid=17320 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/17322/task/17338/stat : 17338 (java) S 17320 17322 14200 0 -1 4202560 2074 0 0 0 24 0 0 0 20 0 19 0 280577848 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140593962461240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17339] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17339/stat : 17339 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140593961409144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17340] ppid=17320 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/17322/task/17340/stat : 17340 (java) S 17320 17322 14200 0 -1 4202560 99 0 0 0 24 20 0 0 20 0 19 0 280577848 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140593960356552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17341] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17341/stat : 17341 (java) S 17320 17322 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280577871 9856004096 89819 33554432000 1073741824 1073778376 140735933920656 140593959302568 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1731.71
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17493
/proc/meminfo: memFree=28447788/32873844 swapFree=7116/7116
[pid=17322] ppid=17320 vsize=9625004 CPUtime=1791.91 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17322 14200 0 -1 4202496 11608 0 1 0 179131 60 0 0 20 0 19 0 280577841 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140735933911792 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17322/statm: 2406251 90331 2276 9 0 2396937 0
[pid=17322/tid=17324] ppid=17320 vsize=9625004 CPUtime=1759.35 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) R 17320 17322 14200 0 -1 4202560 2809 0 1 0 175905 30 0 0 20 0 19 0 280577842 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140594144010544 140594083968962 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17325] ppid=17320 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17322 14200 0 -1 4202560 329 0 0 0 150 3 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140594082741032 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17326] ppid=17320 vsize=9625004 CPUtime=1.54 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17322 14200 0 -1 4202560 443 0 0 0 151 3 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140594081688232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17327] ppid=17320 vsize=9625004 CPUtime=1.69 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17322 14200 0 -1 4202560 300 0 0 0 165 4 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140594080635944 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17328] ppid=17320 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17322 14200 0 -1 4202560 449 0 0 0 149 4 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140594079583144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17329] ppid=17320 vsize=9625004 CPUtime=1.59 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17322 14200 0 -1 4202560 307 0 0 0 154 5 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140594078529832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17330] ppid=17320 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17322 14200 0 -1 4202560 326 0 0 0 152 4 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593982027944 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17331] ppid=17320 vsize=9625004 CPUtime=1.44 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17322 14200 0 -1 4202560 154 0 0 0 141 3 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593980975656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17332] ppid=17320 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) S 17320 17322 14200 0 -1 4202560 201 0 0 0 150 3 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593979922856 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17333] ppid=17320 vsize=9625004 CPUtime=14.65 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17322 14200 0 -1 4202560 163 0 0 0 1463 2 0 0 20 0 19 0 280577845 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593967725288 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17334] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17322 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280577845 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593966671352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17335] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17322 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280577845 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593965618952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17336] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593964567440 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17337] ppid=17320 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/17322/task/17337/stat : 17337 (java) S 17320 17322 14200 0 -1 4202560 2764 0 0 0 31 0 0 0 20 0 19 0 280577848 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593963514040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17338] ppid=17320 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/17322/task/17338/stat : 17338 (java) S 17320 17322 14200 0 -1 4202560 2074 0 0 0 24 0 0 0 20 0 19 0 280577848 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593962461240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17339] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17339/stat : 17339 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593961409144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17340] ppid=17320 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/17322/task/17340/stat : 17340 (java) S 17320 17322 14200 0 -1 4202560 103 0 0 0 25 21 0 0 20 0 19 0 280577848 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593960356552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17341] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17341/stat : 17341 (java) S 17320 17322 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280577871 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593959302568 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1791.91
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17493
/proc/meminfo: memFree=28447788/32873844 swapFree=7116/7116
[pid=17322] ppid=17320 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7
/proc/17322/stat : 17322 (java) S 17320 17322 14200 0 -1 4202496 11608 0 1 0 179942 60 0 0 20 0 19 0 280577841 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140735933911792 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17322/statm: 2406251 90331 2276 9 0 2396937 0
[pid=17322/tid=17324] ppid=17320 vsize=9625004 CPUtime=1767.44 cores=1,3,5,7
/proc/17322/task/17324/stat : 17324 (java) R 17320 17322 14200 0 -1 4202560 2809 0 1 0 176714 30 0 0 20 0 19 0 280577842 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140594144010544 140594084417324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17325] ppid=17320 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/17322/task/17325/stat : 17325 (java) S 17320 17322 14200 0 -1 4202560 329 0 0 0 150 3 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140594082741032 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17326] ppid=17320 vsize=9625004 CPUtime=1.54 cores=1,3,5,7
/proc/17322/task/17326/stat : 17326 (java) S 17320 17322 14200 0 -1 4202560 443 0 0 0 151 3 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140594081688232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17327] ppid=17320 vsize=9625004 CPUtime=1.69 cores=1,3,5,7
/proc/17322/task/17327/stat : 17327 (java) S 17320 17322 14200 0 -1 4202560 300 0 0 0 165 4 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140594080635944 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17328] ppid=17320 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/17322/task/17328/stat : 17328 (java) S 17320 17322 14200 0 -1 4202560 449 0 0 0 149 4 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140594079583144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17329] ppid=17320 vsize=9625004 CPUtime=1.59 cores=1,3,5,7
/proc/17322/task/17329/stat : 17329 (java) S 17320 17322 14200 0 -1 4202560 307 0 0 0 154 5 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140594078529832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17330] ppid=17320 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/17322/task/17330/stat : 17330 (java) S 17320 17322 14200 0 -1 4202560 326 0 0 0 152 4 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593982027944 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17331] ppid=17320 vsize=9625004 CPUtime=1.44 cores=1,3,5,7
/proc/17322/task/17331/stat : 17331 (java) S 17320 17322 14200 0 -1 4202560 154 0 0 0 141 3 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593980975656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17332] ppid=17320 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/17322/task/17332/stat : 17332 (java) S 17320 17322 14200 0 -1 4202560 201 0 0 0 150 3 0 0 20 0 19 0 280577844 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593979922856 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17333] ppid=17320 vsize=9625004 CPUtime=14.65 cores=1,3,5,7
/proc/17322/task/17333/stat : 17333 (java) S 17320 17322 14200 0 -1 4202560 163 0 0 0 1463 2 0 0 20 0 19 0 280577845 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593967725288 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17334] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17334/stat : 17334 (java) S 17320 17322 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280577845 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593966671352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17335] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17335/stat : 17335 (java) S 17320 17322 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280577845 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593965618952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17336] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17336/stat : 17336 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593964567440 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17322/tid=17337] ppid=17320 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/17322/task/17337/stat : 17337 (java) S 17320 17322 14200 0 -1 4202560 2764 0 0 0 31 0 0 0 20 0 19 0 280577848 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593963514040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17322/tid=17338] ppid=17320 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/17322/task/17338/stat : 17338 (java) S 17320 17322 14200 0 -1 4202560 2074 0 0 0 24 0 0 0 20 0 19 0 280577848 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593962461240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17339] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17339/stat : 17339 (java) S 17320 17322 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280577848 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593961409144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17322/tid=17340] ppid=17320 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/17322/task/17340/stat : 17340 (java) S 17320 17322 14200 0 -1 4202560 103 0 0 0 25 21 0 0 20 0 19 0 280577848 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593960356552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17322/tid=17341] ppid=17320 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17322/task/17341/stat : 17341 (java) S 17320 17322 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280577871 9856004096 90331 33554432000 1073741824 1073778376 140735933920656 140593959302568 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

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

Real time (s): 1790.47
CPU time (s): 1800.02
CPU user time (s): 1799.42
CPU system time (s): 0.6
CPU usage (%): 100.534
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.93
system time used= 0.962853
maximum resident set size= 367616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11684
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43493
involuntary context switches= 36222

runsolver used 7.64084 second user time and 13.7729 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-27 20:48:48
IDJOB=3710566
IDBENCH=2053
IDSOLVER=2289
FILE ID=node138/3710566-1338144528
RUNJOBID= node138-1338139170-16911
PBS_JOBID= 14624507
Free space on /tmp= 71496 MiB

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

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

MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694
RANDOM SEED=1531082008

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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:        28783552 kB
Buffers:          428480 kB
Cached:          2393124 kB
SwapCached:          212 kB
Active:          1261308 kB
Inactive:        1930992 kB
Active(anon):     361680 kB
Inactive(anon):    11368 kB
Active(file):     899628 kB
Inactive(file):  1919624 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108644 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:        401848 kB
Mapped:            22544 kB
Shmem:               200 kB
Slab:             732420 kB
SReclaimable:     174732 kB
SUnreclaim:       557688 kB
KernelStack:        1600 kB
PageTables:         4972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    368640 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= 71496 MiB
End job on node138 at 2012-05-27 21:18:40