Trace number 3710699

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)-34 1800.55 1774.48

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUMc9380923d34e254cfa512f89027f1d42
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1325.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41095
Number of constraints which are clauses41095
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
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 760
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 760
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710699-1338147508.opb
0.09/0.12	c reading problem ... 
0.67/0.49	c ... done. Wall clock time 0.372s.
0.67/0.49	c declared #vars     760
0.67/0.49	c #constraints  41095
0.67/0.49	c constraints type 
0.67/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41095
0.67/0.49	c 41095 constraints processed.
0.78/0.52	c SATISFIABLE
0.78/0.52	c OPTIMIZING...
0.78/0.52	c Got one! Elapsed wall clock time (in seconds):0.394
0.78/0.52	o 0
0.78/0.53	c Got one! Elapsed wall clock time (in seconds):0.405
0.78/0.53	o -1
0.78/0.57	c Got one! Elapsed wall clock time (in seconds):0.447
0.78/0.57	o -2
0.78/0.58	c Got one! Elapsed wall clock time (in seconds):0.456
0.78/0.58	o -25
0.78/0.59	c Got one! Elapsed wall clock time (in seconds):0.465
0.78/0.59	o -27
1.01/0.65	c Got one! Elapsed wall clock time (in seconds):0.526
1.01/0.65	o -28
1.21/0.70	c Got one! Elapsed wall clock time (in seconds):0.579
1.21/0.70	o -29
1.21/0.72	c Got one! Elapsed wall clock time (in seconds):0.595
1.21/0.72	o -30
2.14/1.54	c cleaning 2730 clauses out of 5461 with flag 5001/5461
2.14/1.60	c Got one! Elapsed wall clock time (in seconds):1.473
2.14/1.60	o -31
3.02/2.34	c cleaning 3935 clauses out of 7875 with flag 5001/10605
4.03/3.35	c cleaning 4964 clauses out of 9939 with flag 11000/16604
5.25/4.56	c cleaning 5988 clauses out of 11975 with flag 18000/23604
6.73/5.96	c cleaning 6994 clauses out of 13989 with flag 26002/31606
8.27/7.49	c cleaning 7995 clauses out of 15995 with flag 35002/40606
10.29/9.40	c cleaning 8997 clauses out of 17998 with flag 45000/50604
12.26/11.33	c cleaning 9993 clauses out of 20001 with flag 56000/61604
14.83/13.88	c cleaning 10994 clauses out of 22008 with flag 68000/73604
17.35/16.38	c cleaning 12002 clauses out of 24015 with flag 81001/86605
20.51/19.49	c cleaning 13001 clauses out of 26012 with flag 95000/100604
24.48/23.32	c Got one! Elapsed wall clock time (in seconds):23.199
24.48/23.32	o -32
25.57/24.47	c cleaning 15680 clauses out of 31366 with flag 5000/118959
26.86/25.66	c cleaning 10842 clauses out of 21686 with flag 11000/124959
28.30/27.04	c cleaning 8917 clauses out of 17845 with flag 18001/131960
30.24/28.93	c cleaning 8462 clauses out of 16927 with flag 26000/139959
32.18/30.87	c cleaning 8727 clauses out of 17466 with flag 35001/148960
34.40/33.02	c cleaning 9364 clauses out of 18739 with flag 45001/158960
37.63/36.24	c cleaning 10187 clauses out of 20375 with flag 56001/169960
39.84/38.49	c cleaning 11093 clauses out of 22188 with flag 68001/181960
41.29/39.83	c Got one! Elapsed wall clock time (in seconds):39.708
41.29/39.83	o -33
42.29/40.82	c cleaning 11556 clauses out of 23120 with flag 5002/193985
43.42/41.95	c cleaning 8781 clauses out of 17564 with flag 11002/199985
44.84/43.38	c cleaning 7890 clauses out of 15781 with flag 18000/206983
46.45/44.91	c cleaning 7940 clauses out of 15893 with flag 26002/214985
48.67/47.17	c cleaning 8468 clauses out of 16951 with flag 35000/223983
50.88/49.40	c cleaning 9243 clauses out of 18486 with flag 45003/233986
53.71/52.12	c cleaning 10118 clauses out of 20241 with flag 56001/244984
57.24/55.62	c cleaning 11061 clauses out of 22122 with flag 68000/256983
59.67/58.04	c cleaning 12026 clauses out of 24061 with flag 81000/269983
62.72/61.01	c cleaning 13014 clauses out of 26036 with flag 95001/283984
66.57/64.89	c cleaning 14006 clauses out of 28022 with flag 110001/298984
71.21/69.43	c cleaning 15003 clauses out of 30015 with flag 126000/314983
75.47/73.62	c cleaning 16003 clauses out of 32012 with flag 143000/331983
80.63/78.70	c cleaning 17004 clauses out of 34010 with flag 161001/349984
86.88/84.97	c cleaning 18001 clauses out of 36007 with flag 180002/368985
95.07/93.04	c cleaning 19001 clauses out of 38004 with flag 200000/388983
99.43/97.34	c cleaning 20002 clauses out of 40004 with flag 221001/409984
105.12/102.94	c cleaning 20995 clauses out of 42002 with flag 243001/431984
111.38/109.17	c cleaning 21997 clauses out of 44006 with flag 266000/454983
119.87/117.60	c cleaning 23004 clauses out of 46013 with flag 290004/478987
128.17/125.72	c cleaning 23998 clauses out of 48007 with flag 315002/503985
135.68/133.15	c cleaning 24998 clauses out of 50007 with flag 341000/529983
146.46/143.84	c cleaning 26002 clauses out of 52015 with flag 368006/556989
158.16/155.45	c cleaning 26997 clauses out of 54007 with flag 396000/584983
165.03/162.29	c cleaning 28004 clauses out of 56010 with flag 425000/613983
173.76/170.85	c cleaning 28999 clauses out of 58006 with flag 455000/643983
185.65/182.65	c cleaning 30000 clauses out of 60007 with flag 486000/674983
197.86/194.78	c cleaning 30996 clauses out of 62007 with flag 518000/706983
208.63/205.48	c cleaning 32002 clauses out of 64012 with flag 551001/739984
229.63/226.34	c cleaning 32999 clauses out of 66011 with flag 585002/773985
242.91/239.56	c cleaning 34000 clauses out of 68010 with flag 620000/808983
264.11/260.62	c cleaning 34997 clauses out of 70012 with flag 656002/844985
289.12/285.51	c cleaning 36000 clauses out of 72013 with flag 693000/881983
298.95/295.24	c cleaning 37005 clauses out of 74013 with flag 731000/919983
311.93/308.17	c cleaning 37997 clauses out of 76009 with flag 770001/958984
326.75/322.88	c cleaning 38998 clauses out of 78012 with flag 810001/998984
340.90/336.87	c cleaning 40004 clauses out of 80014 with flag 851001/1039984
364.40/360.24	c cleaning 41004 clauses out of 82009 with flag 893000/1081983
384.61/380.38	c cleaning 41995 clauses out of 84005 with flag 936000/1124983
405.26/400.82	c cleaning 42997 clauses out of 86010 with flag 980000/1168983
421.77/417.26	c cleaning 44005 clauses out of 88013 with flag 1025000/1213983
447.60/442.99	c cleaning 44998 clauses out of 90009 with flag 1071001/1259984
472.61/467.65	c cleaning 46001 clauses out of 92010 with flag 1118000/1306983
488.99/483.87	c cleaning 47001 clauses out of 94009 with flag 1166000/1354983
504.57/499.22	c cleaning 47998 clauses out of 96009 with flag 1215001/1403984
532.56/527.08	c cleaning 49002 clauses out of 98011 with flag 1265001/1453984
556.16/549.91	c cleaning 49993 clauses out of 100008 with flag 1316000/1504983
580.72/574.04	c cleaning 51001 clauses out of 102016 with flag 1368001/1556984
614.74/607.64	c cleaning 51994 clauses out of 104015 with flag 1421001/1609984
644.09/636.48	c cleaning 53003 clauses out of 106020 with flag 1475000/1663983
682.76/674.73	c cleaning 53998 clauses out of 108017 with flag 1530000/1718983
720.44/711.81	c cleaning 55005 clauses out of 110019 with flag 1586000/1774983
768.92/759.53	c cleaning 56003 clauses out of 112014 with flag 1643000/1831983
827.05/817.08	c cleaning 57004 clauses out of 114011 with flag 1701000/1889983
880.95/869.31	c cleaning 57994 clauses out of 116009 with flag 1760002/1948985
921.78/909.35	c cleaning 59007 clauses out of 118013 with flag 1820000/2008983
942.13/928.93	c cleaning 60001 clauses out of 120009 with flag 1881003/2069986
972.56/958.82	c cleaning 61001 clauses out of 122006 with flag 1943001/2131984
1011.51/997.25	c cleaning 61993 clauses out of 124006 with flag 2006002/2194985
1057.29/1042.50	c cleaning 63003 clauses out of 126012 with flag 2070001/2258984
1088.21/1072.80	c cleaning 63999 clauses out of 128009 with flag 2135001/2323984
1148.10/1132.24	c cleaning 64996 clauses out of 130009 with flag 2201000/2389983
1192.47/1175.75	c cleaning 66007 clauses out of 132014 with flag 2268001/2456984
1253.53/1236.20	c cleaning 67000 clauses out of 134008 with flag 2336002/2524985
1317.07/1298.86	c cleaning 67996 clauses out of 136007 with flag 2405001/2593984
1325.47/1307.03	c Got one! Elapsed wall clock time (in seconds):1306.912
1325.47/1307.03	o -34
1328.05/1309.57	c cleaning 45946 clauses out of 91906 with flag 5000/2617879
1329.95/1311.32	c cleaning 25977 clauses out of 51960 with flag 11000/2623879
1331.87/1313.27	c cleaning 16482 clauses out of 32983 with flag 18000/2630879
1333.95/1315.26	c cleaning 12239 clauses out of 24501 with flag 26000/2638879
1336.70/1317.93	c cleaning 10628 clauses out of 21263 with flag 35001/2647880
1338.94/1320.15	c cleaning 10313 clauses out of 20634 with flag 45000/2657879
1341.72/1322.80	c cleaning 10655 clauses out of 21323 with flag 56002/2668881
1345.38/1326.46	c cleaning 11330 clauses out of 22667 with flag 68001/2680880
1349.23/1330.28	c cleaning 12167 clauses out of 24336 with flag 81000/2693879
1354.19/1335.19	c cleaning 13078 clauses out of 26172 with flag 95003/2707882
1360.06/1340.97	c cleaning 14046 clauses out of 28091 with flag 110000/2722879
1366.86/1347.65	c cleaning 15019 clauses out of 30046 with flag 126001/2738880
1374.84/1355.55	c cleaning 16001 clauses out of 32026 with flag 143000/2755879
1383.24/1363.84	c cleaning 17013 clauses out of 34026 with flag 161001/2773880
1392.01/1372.54	c cleaning 18003 clauses out of 36013 with flag 180001/2792880
1401.80/1382.26	c cleaning 19003 clauses out of 38009 with flag 200000/2812879
1413.26/1393.63	c cleaning 20000 clauses out of 40007 with flag 221001/2833880
1425.74/1406.06	c cleaning 21003 clauses out of 42007 with flag 243001/2855880
1439.50/1419.62	c cleaning 22002 clauses out of 44005 with flag 266002/2878881
1453.97/1434.03	c cleaning 22999 clauses out of 46003 with flag 290002/2902881
1471.17/1451.12	c cleaning 23992 clauses out of 48002 with flag 315000/2927879
1486.25/1466.02	c cleaning 25003 clauses out of 50013 with flag 341003/2953882
1505.89/1485.43	c cleaning 26003 clauses out of 52008 with flag 368001/2980880
1515.74/1494.88	c cleaning 26996 clauses out of 54006 with flag 396002/3008881
1524.24/1502.74	c cleaning 27996 clauses out of 56008 with flag 425000/3037879
1535.10/1513.35	c cleaning 29000 clauses out of 58014 with flag 455002/3067881
1546.34/1524.37	c cleaning 30003 clauses out of 60012 with flag 486000/3098879
1557.79/1535.52	c cleaning 31001 clauses out of 62010 with flag 518001/3130880
1573.45/1551.04	c cleaning 32000 clauses out of 64009 with flag 551001/3163880
1586.69/1564.09	c cleaning 32999 clauses out of 66008 with flag 585000/3197879
1606.29/1583.47	c cleaning 34005 clauses out of 68012 with flag 620003/3232882
1625.47/1602.40	c cleaning 34998 clauses out of 70005 with flag 656001/3268880
1638.70/1615.34	c cleaning 35994 clauses out of 72006 with flag 693000/3305879
1661.01/1637.36	c cleaning 37007 clauses out of 74013 with flag 731001/3343880
1683.28/1659.42	c cleaning 37987 clauses out of 76005 with flag 770000/3382879
1709.93/1685.82	c cleaning 39003 clauses out of 78019 with flag 810001/3422880
1726.52/1702.02	c cleaning 40001 clauses out of 80016 with flag 851001/3463880
1753.75/1728.81	c cleaning 41003 clauses out of 82015 with flag 893001/3505880
1782.72/1757.34	c cleaning 41996 clauses out of 84011 with flag 936000/3548879
1800.22/1774.44	c starts		: 263
1800.22/1774.44	c conflicts		: 3579158
1800.22/1774.44	c decisions		: 3614345
1800.22/1774.44	c propagations		: 19847993
1800.22/1774.44	c inspects		: 5144569828
1800.22/1774.44	c shortcuts		: 0
1800.22/1774.44	c learnt literals	: 0
1800.22/1774.44	c learnt binary clauses	: 0
1800.22/1774.44	c learnt ternary clauses	: 0
1800.22/1774.44	c learnt constraints	: 3579158
1800.22/1774.44	c ignored constraints	: 0
1800.22/1774.44	c root simplifications	: 263
1800.22/1774.44	c removed literals (reason simplification)	: 93127990
1800.22/1774.44	c reason swapping (by a shorter reason)	: 0
1800.22/1774.44	c Calls to reduceDB	: 123
1800.22/1774.44	c number of reductions to clauses (during analyze)	: 0
1800.22/1774.44	c number of learned constraints concerned by reduction	: 0
1800.22/1774.44	c number of learning phase by resolution	: 0
1800.22/1774.44	c number of learning phase by cutting planes	: 0
1800.22/1774.44	c speed (assignments/second)	: 11188.631201791715
1800.22/1774.44	c non guided choices	2277
1800.22/1774.47	c learnt constraints type 
1800.22/1774.47	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 72336
1800.22/1774.47	c constraints type 
1800.22/1774.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 0
1800.22/1774.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.22/1774.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41095
1800.22/1774.47	c 41096 constraints processed.
1800.22/1774.47	s SATISFIABLE
1800.22/1774.47	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 
1800.22/1774.47	c objective function=-34
1800.22/1774.47	c Total wall clock time (in seconds): 1774.349

Verifier Data 

OK	-34

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-3710699-1338147508/watcher-3710699-1338147508 -o /tmp/evaluation-result-3710699-1338147508/solver-3710699-1338147508 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710699-1338147508.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: 1.94 1.99 1.99 3/194 21305
/proc/meminfo: memFree=30583144/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21305/stat : 21305 (java) D 21303 21305 18146 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 280875374 9515008 183 33554432000 1073741824 1073778376 140736606340272 140736606331304 225444708021 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21305/statm: 2323 183 140 9 0 71 0

[startup+0.010992 s]
/proc/loadavg: 1.94 1.99 1.99 3/194 21305
/proc/meminfo: memFree=30583144/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 1148 0 0 0 0 0 0 0 20 0 2 0 280875374 24780800 867 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 6050 868 655 9 0 385 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24200

[startup+0.100266 s]
/proc/loadavg: 1.94 1.99 1.99 3/194 21305
/proc/meminfo: memFree=30583144/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 4256 0 1 0 8 1 0 0 20 0 18 0 280875374 9787842560 5462 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2389610 5462 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300296 s]
/proc/loadavg: 1.94 1.99 1.99 3/194 21305
/proc/meminfo: memFree=30583144/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9558440 CPUtime=0.43 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 5237 0 1 0 42 1 0 0 20 0 18 0 280875374 9787842560 8092 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2389610 8092 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558440

[startup+0.700313 s]
/proc/loadavg: 1.94 1.99 1.99 3/194 21305
/proc/meminfo: memFree=30583144/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 8535 0 1 0 118 3 0 0 20 0 19 0 280875374 9856004096 25734 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 25734 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9625004

[startup+1.50081 s]
/proc/loadavg: 1.94 1.99 1.99 3/213 21324
/proc/meminfo: memFree=30482948/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=2.14 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 8947 0 1 0 210 4 0 0 20 0 19 0 280875374 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 29807 2263 9 0 2396937 0
[pid=21305/tid=21307] ppid=21303 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/21305/task/21307/stat : 21307 (java) R 21303 21305 18146 0 -1 4202560 2553 0 1 0 144 2 0 0 20 0 19 0 280875375 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027494777000 140027502541651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21308] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21308/stat : 21308 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027483839400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21309] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21309/stat : 21309 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027482786856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21310] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21310/stat : 21310 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027481733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21311] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21311/stat : 21311 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027480681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21312] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21312/stat : 21312 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027479628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875377 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280875377 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2495 0 0 0 35 0 0 0 20 0 19 0 280875380 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2704 0 0 0 29 0 0 0 20 0 19 0 280875380 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 29807 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9625004

[startup+3.10077 s]
/proc/loadavg: 1.94 1.99 1.99 3/213 21324
/proc/meminfo: memFree=30445580/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=3.82 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 9207 0 1 0 377 5 0 0 20 0 19 0 280875374 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 42140 2289 9 0 2396937 0
[pid=21305/tid=21307] ppid=21303 vsize=9625004 CPUtime=3 cores=1,3,5,7
/proc/21305/task/21307/stat : 21307 (java) R 21303 21305 18146 0 -1 4202560 2558 0 1 0 297 3 0 0 20 0 19 0 280875375 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027494777136 140027359822522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21308] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21308/stat : 21308 (java) S 21303 21305 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027483839400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21309] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21309/stat : 21309 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027482786856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21310] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21310/stat : 21310 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027481733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21311] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21311/stat : 21311 (java) S 21303 21305 18146 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027480681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21312] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21312/stat : 21312 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027479628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875377 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280875377 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 38 0 0 0 3 0 0 0 20 0 19 0 280875378 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2496 0 0 0 38 0 0 0 20 0 19 0 280875380 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2890 0 0 0 33 0 0 0 20 0 19 0 280875380 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 42140 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9625004

[startup+6.30084 s]
/proc/loadavg: 1.94 1.99 1.99 3/213 21324
/proc/meminfo: memFree=30405800/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=7.17 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 9403 0 1 0 710 7 0 0 20 0 19 0 280875374 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 47403 2289 9 0 2396937 0
[pid=21305/tid=21307] ppid=21303 vsize=9625004 CPUtime=6.08 cores=1,3,5,7
/proc/21305/task/21307/stat : 21307 (java) R 21303 21305 18146 0 -1 4202560 2560 0 1 0 605 3 0 0 20 0 19 0 280875375 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027494777136 140027359822522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21308] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21308/stat : 21308 (java) S 21303 21305 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027483839400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21309] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21309/stat : 21309 (java) S 21303 21305 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027482786856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21310] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21310/stat : 21310 (java) S 21303 21305 18146 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027481733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21311] ppid=21303 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21305/task/21311/stat : 21311 (java) S 21303 21305 18146 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 280875376 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027480681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21312] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21312/stat : 21312 (java) S 21303 21305 18146 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027479628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280875376 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 48 0 0 0 1 0 0 0 20 0 19 0 280875377 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 40 0 0 0 1 0 0 0 20 0 19 0 280875377 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=0.11 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 44 0 0 0 11 0 0 0 20 0 19 0 280875378 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2521 0 0 0 44 0 0 0 20 0 19 0 280875380 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2890 0 0 0 33 0 0 0 20 0 19 0 280875380 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 47403 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=4.02 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 2205 0 0 0 380 22 0 0 20 0 19 0 280875376 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=3.81 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 1733 0 0 0 363 18 0 0 20 0 19 0 280875377 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=3.74 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 1994 0 0 0 355 19 0 0 20 0 19 0 280875377 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=8.36 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 1121 0 0 0 828 8 0 0 20 0 19 0 280875378 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2525 0 0 0 46 0 0 0 20 0 19 0 280875380 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2890 0 0 0 33 0 0 0 20 0 19 0 280875380 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 92 0 0 0 35 38 0 0 20 0 19 0 280875381 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 180098 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1625.37
Current children cumulated vsize (KiB) 9625004

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 21420
/proc/meminfo: memFree=29119208/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=1686.21 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 28024 0 1 0 168398 223 0 0 20 0 19 0 280875374 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 194042 2290 9 0 2396937 0
[pid=21305/tid=21307] ppid=21303 vsize=9625004 CPUtime=1644.55 cores=1,3,5,7
/proc/21305/task/21307/stat : 21307 (java) R 21303 21305 18146 0 -1 4202560 3003 0 1 0 164425 30 0 0 20 0 19 0 280875375 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027494777136 140027359761484 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21308] ppid=21303 vsize=9625004 CPUtime=3.76 cores=1,3,5,7
/proc/21305/task/21308/stat : 21308 (java) S 21303 21305 18146 0 -1 4202560 3261 0 0 0 358 18 0 0 20 0 19 0 280875376 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027483839400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21309] ppid=21303 vsize=9625004 CPUtime=3.94 cores=1,3,5,7
/proc/21305/task/21309/stat : 21309 (java) S 21303 21305 18146 0 -1 4202560 2558 0 0 0 371 23 0 0 20 0 19 0 280875376 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027482786856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21310] ppid=21303 vsize=9625004 CPUtime=3.75 cores=1,3,5,7
/proc/21305/task/21310/stat : 21310 (java) S 21303 21305 18146 0 -1 4202560 2036 0 0 0 357 18 0 0 20 0 19 0 280875376 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027481733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21311] ppid=21303 vsize=9625004 CPUtime=3.93 cores=1,3,5,7
/proc/21305/task/21311/stat : 21311 (java) S 21303 21305 18146 0 -1 4202560 1370 0 0 0 370 23 0 0 20 0 19 0 280875376 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027480681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21312] ppid=21303 vsize=9625004 CPUtime=3.98 cores=1,3,5,7
/proc/21305/task/21312/stat : 21312 (java) S 21303 21305 18146 0 -1 4202560 1830 0 0 0 381 17 0 0 20 0 19 0 280875376 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027479628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=4.17 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 2276 0 0 0 393 24 0 0 20 0 19 0 280875376 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=3.94 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 1829 0 0 0 374 20 0 0 20 0 19 0 280875377 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=3.86 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 2012 0 0 0 366 20 0 0 20 0 19 0 280875377 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=8.74 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 1158 0 0 0 866 8 0 0 20 0 19 0 280875378 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2525 0 0 0 46 0 0 0 20 0 19 0 280875380 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2890 0 0 0 33 0 0 0 20 0 19 0 280875380 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 94 0 0 0 36 40 0 0 20 0 19 0 280875381 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 194042 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1686.21
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 21420
/proc/meminfo: memFree=29037948/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=1747.25 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 28882 0 1 0 174493 232 0 0 20 0 19 0 280875374 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 203629 2290 9 0 2396937 0
[pid=21305/tid=21307] ppid=21303 vsize=9625004 CPUtime=1704.02 cores=1,3,5,7
/proc/21305/task/21307/stat : 21307 (java) R 21303 21305 18146 0 -1 4202560 3016 0 1 0 170371 31 0 0 20 0 19 0 280875375 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027494776192 140027359738280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21308] ppid=21303 vsize=9625004 CPUtime=3.89 cores=1,3,5,7
/proc/21305/task/21308/stat : 21308 (java) S 21303 21305 18146 0 -1 4202560 3396 0 0 0 370 19 0 0 20 0 19 0 280875376 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027483839400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21309] ppid=21303 vsize=9625004 CPUtime=4.17 cores=1,3,5,7
/proc/21305/task/21309/stat : 21309 (java) S 21303 21305 18146 0 -1 4202560 2685 0 0 0 393 24 0 0 20 0 19 0 280875376 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027482786856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21310] ppid=21303 vsize=9625004 CPUtime=3.98 cores=1,3,5,7
/proc/21305/task/21310/stat : 21310 (java) S 21303 21305 18146 0 -1 4202560 2101 0 0 0 379 19 0 0 20 0 19 0 280875376 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027481733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21311] ppid=21303 vsize=9625004 CPUtime=4.06 cores=1,3,5,7
/proc/21305/task/21311/stat : 21311 (java) S 21303 21305 18146 0 -1 4202560 1395 0 0 0 382 24 0 0 20 0 19 0 280875376 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027480681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21312] ppid=21303 vsize=9625004 CPUtime=4.13 cores=1,3,5,7
/proc/21305/task/21312/stat : 21312 (java) S 21303 21305 18146 0 -1 4202560 1974 0 0 0 395 18 0 0 20 0 19 0 280875376 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027479628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=4.33 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 2398 0 0 0 409 24 0 0 20 0 19 0 280875376 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=4.09 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 1904 0 0 0 388 21 0 0 20 0 19 0 280875377 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=4.04 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 2098 0 0 0 384 20 0 0 20 0 19 0 280875377 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=8.91 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 1220 0 0 0 883 8 0 0 20 0 19 0 280875378 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2525 0 0 0 46 0 0 0 20 0 19 0 280875380 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2890 0 0 0 33 0 0 0 20 0 19 0 280875380 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 98 0 0 0 38 42 0 0 20 0 19 0 280875381 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 203629 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1747.25
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1774.43 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 21421
/proc/meminfo: memFree=29017588/32873844 swapFree=7900/7900
[pid=21305] ppid=21303 vsize=9625004 CPUtime=1800.22 cores=1,3,5,7
/proc/21305/stat : 21305 (java) S 21303 21305 18146 0 -1 4202496 29318 0 1 0 179786 236 0 0 20 0 19 0 280875374 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140733713198976 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21305/statm: 2406251 208593 2290 9 0 2396937 0
[pid=21305/tid=21307] ppid=21303 vsize=9625004 CPUtime=1755.61 cores=1,3,5,7
/proc/21305/task/21307/stat : 21307 (java) R 21303 21305 18146 0 -1 4202560 3026 0 1 0 175529 32 0 0 20 0 19 0 280875375 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027494776312 140027359887198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21308] ppid=21303 vsize=9625004 CPUtime=3.97 cores=1,3,5,7
/proc/21305/task/21308/stat : 21308 (java) S 21303 21305 18146 0 -1 4202560 3503 0 0 0 377 20 0 0 20 0 19 0 280875376 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027483839400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21305/tid=21309] ppid=21303 vsize=9625004 CPUtime=4.27 cores=1,3,5,7
/proc/21305/task/21309/stat : 21309 (java) S 21303 21305 18146 0 -1 4202560 2703 0 0 0 403 24 0 0 20 0 19 0 280875376 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027482786856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21310] ppid=21303 vsize=9625004 CPUtime=4.18 cores=1,3,5,7
/proc/21305/task/21310/stat : 21310 (java) S 21303 21305 18146 0 -1 4202560 2214 0 0 0 398 20 0 0 20 0 19 0 280875376 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027481733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21311] ppid=21303 vsize=9625004 CPUtime=4.15 cores=1,3,5,7
/proc/21305/task/21311/stat : 21311 (java) S 21303 21305 18146 0 -1 4202560 1395 0 0 0 391 24 0 0 20 0 19 0 280875376 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027480681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21312] ppid=21303 vsize=9625004 CPUtime=4.34 cores=1,3,5,7
/proc/21305/task/21312/stat : 21312 (java) S 21303 21305 18146 0 -1 4202560 2103 0 0 0 416 18 0 0 20 0 19 0 280875376 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027479628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21313] ppid=21303 vsize=9625004 CPUtime=4.44 cores=1,3,5,7
/proc/21305/task/21313/stat : 21313 (java) S 21303 21305 18146 0 -1 4202560 2398 0 0 0 419 25 0 0 20 0 19 0 280875376 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027478575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21314] ppid=21303 vsize=9625004 CPUtime=4.3 cores=1,3,5,7
/proc/21305/task/21314/stat : 21314 (java) S 21303 21305 18146 0 -1 4202560 1929 0 0 0 409 21 0 0 20 0 19 0 280875377 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027331557544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21315] ppid=21303 vsize=9625004 CPUtime=4.17 cores=1,3,5,7
/proc/21305/task/21315/stat : 21315 (java) S 21303 21305 18146 0 -1 4202560 2102 0 0 0 396 21 0 0 20 0 19 0 280875377 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027330505000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21316] ppid=21303 vsize=9625004 CPUtime=9.15 cores=1,3,5,7
/proc/21305/task/21316/stat : 21316 (java) S 21303 21305 18146 0 -1 4202560 1246 0 0 0 907 8 0 0 20 0 19 0 280875378 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027318307688 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21317] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21317/stat : 21317 (java) S 21303 21305 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027317254008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21318] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21318/stat : 21318 (java) S 21303 21305 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280875378 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027316200840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21319] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21319/stat : 21319 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875380 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027315149584 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21305/tid=21320] ppid=21303 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/21305/task/21320/stat : 21320 (java) S 21303 21305 18146 0 -1 4202560 2525 0 0 0 46 0 0 0 20 0 19 0 280875380 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027314096440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21321] ppid=21303 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21305/task/21321/stat : 21321 (java) S 21303 21305 18146 0 -1 4202560 2890 0 0 0 33 0 0 0 20 0 19 0 280875380 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027313043896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21322] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21322/stat : 21322 (java) S 21303 21305 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280875381 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027311991032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21305/tid=21323] ppid=21303 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/21305/task/21323/stat : 21323 (java) S 21303 21305 18146 0 -1 4202560 102 0 0 0 39 43 0 0 20 0 19 0 280875381 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027310938696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21305/tid=21324] ppid=21303 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21305/task/21324/stat : 21324 (java) S 21303 21305 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280875424 9856004096 208593 33554432000 1073741824 1073778376 140733713207840 140027309884968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143
Real time (s): 1774.48
CPU time (s): 1800.55
CPU user time (s): 1797.84
CPU system time (s): 2.71359
CPU usage (%): 101.469
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.84
system time used= 2.71359
maximum resident set size= 835244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29540
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51262
involuntary context switches= 56089

runsolver used 6.69998 second user time and 16.3625 second system time

The end

Launcher Data 

Begin job on node137 at 2012-05-27 21:38:28
IDJOB=3710699
IDBENCH=2241
IDSOLVER=2289
FILE ID=node137/3710699-1338147508
RUNJOBID= node137-1338140231-20454
PBS_JOBID= 14624475
Free space on /tmp= 71492 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.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-3710699-1338147508/watcher-3710699-1338147508 -o /tmp/evaluation-result-3710699-1338147508/solver-3710699-1338147508 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710699-1338147508.opb

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

MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42
RANDOM SEED=1296698391

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
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:        30583788 kB
Buffers:          326732 kB
Cached:           574784 kB
SwapCached:        20904 kB
Active:          1318680 kB
Inactive:         121256 kB
Active(anon):     517412 kB
Inactive(anon):    23688 kB
Active(file):     801268 kB
Inactive(file):    97568 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67082664 kB
Dirty:              1584 kB
Writeback:             0 kB
AnonPages:        531440 kB
Mapped:            17776 kB
Shmem:                 0 kB
Slab:             704428 kB
SReclaimable:     145872 kB
SUnreclaim:       558556 kB
KernelStack:        1608 kB
PageTables:         5076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     971664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    503808 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= 71488 MiB
End job on node137 at 2012-05-27 22:08:05