Trace number 3689479

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)-54 1800.1 1789.66

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-p6b.opb
MD5SUMf076140978d89a37e97e041a8b1e6b8f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-63
Best CPU time to get the best result obtained on this benchmark1796.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables462
Total number of constraints5852
Number of constraints which are clauses5852
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 462
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 462
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 462
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.2.v20120418
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	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.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
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 lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No 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=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3689479-1337890681.opb
0.09/0.12	c reading problem ... 
0.45/0.34	c ... done. Wall clock time 0.22s.
0.45/0.34	c declared #vars     462
0.45/0.34	c #constraints  5852
0.45/0.34	c constraints type 
0.45/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5852
0.45/0.34	c 5852 constraints processed.
0.45/0.34	c objective function length is 462 literals
0.45/0.35	c SATISFIABLE
0.45/0.35	c OPTIMIZING...
0.45/0.35	c Got one! Elapsed wall clock time (in seconds):0.231
0.45/0.35	o -53
0.45/0.36	c Got one! Elapsed wall clock time (in seconds):0.244
0.45/0.36	o -54
1.19/0.74	c cleaning 2499 clauses out of 5002 with flag 5000/5002
1.53/1.06	c cleaning 4253 clauses out of 8505 with flag 11002/11004
1.96/1.44	c cleaning 5626 clauses out of 11251 with flag 18001/18003
2.38/1.89	c cleaning 6812 clauses out of 13624 with flag 26000/26002
3.05/2.40	c cleaning 7906 clauses out of 15814 with flag 35002/35004
3.56/2.94	c cleaning 8950 clauses out of 17907 with flag 45001/45003
4.23/3.53	c cleaning 9978 clauses out of 19958 with flag 56002/56004
4.98/4.20	c cleaning 10990 clauses out of 21979 with flag 68001/68003
5.69/4.93	c cleaning 11992 clauses out of 23990 with flag 81002/81004
6.49/5.76	c cleaning 12996 clauses out of 25996 with flag 95000/95002
7.42/6.68	c cleaning 14001 clauses out of 28002 with flag 110002/110004
8.34/7.59	c cleaning 14995 clauses out of 29999 with flag 126000/126002
9.44/8.65	c cleaning 16001 clauses out of 32004 with flag 143000/143002
10.69/9.83	c cleaning 16998 clauses out of 34004 with flag 161001/161003
11.90/11.04	c cleaning 18001 clauses out of 36006 with flag 180001/180003
13.21/12.30	c cleaning 18999 clauses out of 38005 with flag 200001/200003
14.54/13.66	c cleaning 19999 clauses out of 40005 with flag 221000/221002
15.96/15.05	c cleaning 20999 clauses out of 42007 with flag 243001/243003
17.50/16.55	c cleaning 22001 clauses out of 44009 with flag 266002/266004
19.14/18.11	c cleaning 23000 clauses out of 46006 with flag 290000/290002
20.85/19.81	c cleaning 24000 clauses out of 48006 with flag 315000/315002
22.56/21.58	c cleaning 25002 clauses out of 50006 with flag 341000/341002
24.52/23.45	c cleaning 26003 clauses out of 52006 with flag 368002/368004
26.85/25.74	c cleaning 26995 clauses out of 54001 with flag 396000/396002
29.20/28.02	c cleaning 28000 clauses out of 56006 with flag 425000/425002
31.43/30.23	c cleaning 29001 clauses out of 58007 with flag 455001/455003
33.97/32.77	c cleaning 30001 clauses out of 60005 with flag 486000/486002
36.49/35.23	c cleaning 30998 clauses out of 62005 with flag 518001/518003
39.22/37.92	c cleaning 32002 clauses out of 64006 with flag 551000/551002
42.04/40.79	c cleaning 33002 clauses out of 66005 with flag 585001/585003
45.06/43.75	c cleaning 34000 clauses out of 68003 with flag 620001/620003
47.82/46.43	c cleaning 35001 clauses out of 70003 with flag 656001/656003
50.75/49.35	c cleaning 35997 clauses out of 72001 with flag 693000/693002
53.69/52.27	c cleaning 36999 clauses out of 74004 with flag 731000/731002
56.85/55.33	c cleaning 37999 clauses out of 76005 with flag 770000/770002
60.01/58.40	c cleaning 39003 clauses out of 78008 with flag 810002/810004
63.54/61.97	c cleaning 40000 clauses out of 80004 with flag 851001/851003
67.26/65.60	c cleaning 40998 clauses out of 82003 with flag 893000/893002
70.89/69.22	c cleaning 41999 clauses out of 84005 with flag 936000/936002
74.60/72.97	c cleaning 43003 clauses out of 86006 with flag 980000/980002
79.41/77.60	c cleaning 43998 clauses out of 88003 with flag 1025000/1025002
83.97/82.12	c cleaning 45000 clauses out of 90007 with flag 1071002/1071004
88.50/86.69	c cleaning 46000 clauses out of 92005 with flag 1118000/1118002
93.13/91.22	c cleaning 46999 clauses out of 94007 with flag 1166002/1166004
97.57/95.63	c cleaning 47999 clauses out of 96007 with flag 1215001/1215003
102.59/100.69	c cleaning 49001 clauses out of 98007 with flag 1265000/1265002
107.96/105.92	c cleaning 50003 clauses out of 100007 with flag 1316001/1316003
113.56/111.40	c cleaning 50997 clauses out of 102004 with flag 1368001/1368003
119.49/117.37	c cleaning 52000 clauses out of 104006 with flag 1421000/1421002
124.52/122.38	c cleaning 52999 clauses out of 106006 with flag 1475000/1475002
129.90/127.69	c cleaning 54002 clauses out of 108008 with flag 1530001/1530003
134.85/132.53	c cleaning 54998 clauses out of 110005 with flag 1586000/1586002
139.79/137.41	c cleaning 55996 clauses out of 112008 with flag 1643001/1643003
145.42/143.02	c cleaning 57005 clauses out of 114012 with flag 1701001/1701003
151.78/149.30	c cleaning 57998 clauses out of 116006 with flag 1760000/1760002
157.37/154.81	c cleaning 59001 clauses out of 118009 with flag 1820001/1820003
163.62/161.08	c cleaning 60000 clauses out of 120009 with flag 1881002/1881004
170.68/168.03	c cleaning 60998 clauses out of 122009 with flag 1943002/1943004
178.66/176.00	c cleaning 62001 clauses out of 124009 with flag 2006000/2006002
185.23/182.41	c cleaning 63001 clauses out of 126010 with flag 2070002/2070004
190.95/188.15	c cleaning 64004 clauses out of 128007 with flag 2135000/2135002
197.90/195.02	c cleaning 64998 clauses out of 130003 with flag 2201000/2201002
204.79/201.81	c cleaning 66001 clauses out of 132005 with flag 2268000/2268002
210.53/207.54	c cleaning 66998 clauses out of 134004 with flag 2336000/2336002
217.68/214.64	c cleaning 68001 clauses out of 136006 with flag 2405000/2405002
224.45/221.34	c cleaning 69001 clauses out of 138005 with flag 2475000/2475002
231.47/228.38	c cleaning 69997 clauses out of 140004 with flag 2546000/2546002
239.01/235.86	c cleaning 71003 clauses out of 142007 with flag 2618000/2618002
245.49/242.28	c cleaning 71996 clauses out of 144004 with flag 2691000/2691002
254.32/251.09	c cleaning 72999 clauses out of 146008 with flag 2765000/2765002
262.94/259.57	c cleaning 74000 clauses out of 148009 with flag 2840000/2840002
270.89/267.48	c cleaning 75003 clauses out of 150009 with flag 2916000/2916002
279.18/275.63	c cleaning 75997 clauses out of 152006 with flag 2993000/2993002
286.54/282.71	c cleaning 77003 clauses out of 154011 with flag 3071002/3071004
294.42/290.47	c cleaning 78002 clauses out of 156009 with flag 3150003/3150005
303.73/299.77	c cleaning 79002 clauses out of 158007 with flag 3230003/3230005
314.70/310.67	c cleaning 79991 clauses out of 160002 with flag 3311000/3311002
324.55/320.48	c cleaning 81002 clauses out of 162011 with flag 3393000/3393002
333.61/329.46	c cleaning 81999 clauses out of 164009 with flag 3476000/3476002
342.47/338.30	c cleaning 83000 clauses out of 166010 with flag 3560000/3560002
353.26/348.95	c cleaning 84005 clauses out of 168011 with flag 3645001/3645003
364.43/360.04	c cleaning 84998 clauses out of 170005 with flag 3731000/3731002
375.21/370.76	c cleaning 85998 clauses out of 172008 with flag 3818001/3818003
386.56/382.03	c cleaning 87000 clauses out of 174009 with flag 3906000/3906002
398.93/394.34	c cleaning 88002 clauses out of 176009 with flag 3995000/3995002
410.12/405.46	c cleaning 88999 clauses out of 178007 with flag 4085000/4085002
422.39/417.68	c cleaning 90002 clauses out of 180008 with flag 4176000/4176002
433.42/428.62	c cleaning 91000 clauses out of 182010 with flag 4268004/4268006
446.08/441.24	c cleaning 92001 clauses out of 184006 with flag 4361000/4361002
457.94/453.06	c cleaning 93000 clauses out of 186005 with flag 4455000/4455002
470.12/465.12	c cleaning 94002 clauses out of 188008 with flag 4550003/4550005
487.02/481.95	c cleaning 95002 clauses out of 190005 with flag 4646002/4646004
505.78/500.62	c cleaning 95990 clauses out of 192001 with flag 4743000/4743002
526.66/521.42	c cleaning 97006 clauses out of 194012 with flag 4841001/4841003
542.82/537.53	c cleaning 98000 clauses out of 196006 with flag 4940001/4940003
561.27/555.99	c cleaning 98995 clauses out of 198006 with flag 5040001/5040003
578.86/573.32	c cleaning 100003 clauses out of 200010 with flag 5141000/5141002
594.12/588.56	c cleaning 101004 clauses out of 202011 with flag 5243004/5243006
611.55/605.91	c cleaning 101997 clauses out of 204003 with flag 5346000/5346002
628.64/622.93	c cleaning 103004 clauses out of 206008 with flag 5450002/5450004
643.22/637.42	c cleaning 103997 clauses out of 208002 with flag 5555000/5555002
660.09/654.04	c cleaning 105000 clauses out of 210007 with flag 5661002/5661004
678.05/671.87	c cleaning 106003 clauses out of 212005 with flag 5768000/5768002
693.07/686.88	c cleaning 106997 clauses out of 214002 with flag 5876000/5876002
709.18/702.88	c cleaning 107997 clauses out of 216005 with flag 5985000/5985002
725.85/719.41	c cleaning 109003 clauses out of 218008 with flag 6095000/6095002
741.74/735.25	c cleaning 109995 clauses out of 220005 with flag 6206000/6206002
756.42/749.82	c cleaning 111000 clauses out of 222010 with flag 6318000/6318002
771.67/765.01	c cleaning 111998 clauses out of 224010 with flag 6431000/6431002
788.42/781.70	c cleaning 113005 clauses out of 226012 with flag 6545000/6545002
803.78/797.03	c cleaning 114001 clauses out of 228008 with flag 6660001/6660003
821.76/814.93	c cleaning 114997 clauses out of 230006 with flag 6776000/6776002
838.46/831.57	c cleaning 116005 clauses out of 232009 with flag 6893000/6893002
853.87/846.81	c cleaning 116996 clauses out of 234004 with flag 7011000/7011002
871.28/864.10	c cleaning 117995 clauses out of 236008 with flag 7130000/7130002
887.98/880.70	c cleaning 119007 clauses out of 238013 with flag 7250000/7250002
913.22/905.82	c cleaning 120001 clauses out of 240006 with flag 7371000/7371002
939.66/932.11	c cleaning 120996 clauses out of 242006 with flag 7493001/7493003
965.37/957.79	c cleaning 122001 clauses out of 244010 with flag 7616001/7616003
996.04/988.31	c cleaning 123003 clauses out of 246008 with flag 7740000/7740002
1020.04/1012.29	c cleaning 124001 clauses out of 248005 with flag 7865000/7865002
1044.14/1036.24	c cleaning 125002 clauses out of 250005 with flag 7991001/7991003
1069.45/1061.49	c cleaning 125998 clauses out of 252003 with flag 8118001/8118003
1094.65/1086.54	c cleaning 126995 clauses out of 254004 with flag 8246000/8246002
1118.45/1110.22	c cleaning 128002 clauses out of 256010 with flag 8375001/8375003
1143.74/1135.41	c cleaning 129001 clauses out of 258007 with flag 8505000/8505002
1166.66/1158.22	c cleaning 129998 clauses out of 260006 with flag 8636000/8636002
1191.05/1182.50	c cleaning 131002 clauses out of 262009 with flag 8768001/8768003
1213.82/1205.24	c cleaning 132002 clauses out of 264007 with flag 8901001/8901003
1240.67/1232.08	c cleaning 132995 clauses out of 266005 with flag 9035001/9035003
1271.76/1263.04	c cleaning 134002 clauses out of 268009 with flag 9170000/9170002
1304.28/1295.49	c cleaning 135003 clauses out of 270008 with flag 9306001/9306003
1334.03/1325.12	c cleaning 135998 clauses out of 272004 with flag 9443000/9443002
1364.70/1355.80	c cleaning 136998 clauses out of 274007 with flag 9581001/9581003
1393.56/1384.53	c cleaning 137997 clauses out of 276009 with flag 9720001/9720003
1428.53/1419.48	c cleaning 139002 clauses out of 278011 with flag 9860000/9860002
1461.84/1452.60	c cleaning 140003 clauses out of 280011 with flag 10001002/10001004
1491.14/1481.89	c cleaning 140997 clauses out of 282006 with flag 10143000/10143002
1525.83/1516.43	c cleaning 142000 clauses out of 284009 with flag 10286000/10286002
1550.67/1541.12	c cleaning 142999 clauses out of 286010 with flag 10430001/10430003
1576.78/1567.10	c cleaning 143998 clauses out of 288010 with flag 10575000/10575002
1602.78/1593.09	c cleaning 145002 clauses out of 290012 with flag 10721000/10721002
1638.27/1628.47	c cleaning 146001 clauses out of 292010 with flag 10868000/10868002
1674.19/1664.24	c cleaning 146998 clauses out of 294009 with flag 11016000/11016002
1710.78/1700.76	c cleaning 148006 clauses out of 296011 with flag 11165000/11165002
1756.49/1746.23	c cleaning 149000 clauses out of 298006 with flag 11315001/11315003
1790.10/1779.76	c cleaning 149994 clauses out of 300006 with flag 11466001/11466003
1800.10/1789.62	c starts		: 324
1800.10/1789.62	c conflicts		: 11528819
1800.10/1789.62	c decisions		: 11936299
1800.10/1789.62	c propagations		: 58519865
1800.10/1789.62	c inspects		: 18867649850
1800.10/1789.62	c shortcuts		: 0
1800.10/1789.62	c learnt literals	: 0
1800.10/1789.62	c learnt binary clauses	: 0
1800.10/1789.62	c learnt ternary clauses	: 0
1800.10/1789.62	c learnt constraints	: 11528819
1800.10/1789.62	c ignored constraints	: 0
1800.10/1789.62	c root simplifications	: 0
1800.10/1789.62	c removed literals (reason simplification)	: 0
1800.10/1789.62	c reason swapping (by a shorter reason)	: 0
1800.10/1789.62	c Calls to reduceDB	: 147
1800.10/1789.62	c number of reductions to clauses (during analyze)	: 0
1800.10/1789.62	c number of learned constraints concerned by reduction	: 0
1800.10/1789.62	c number of learning phase by resolution	: 0
1800.10/1789.62	c number of learning phase by cutting planes	: 0
1800.10/1789.62	c speed (assignments/second)	: 32706.00077126426
1800.10/1789.62	c non guided choices	0
1800.10/1789.65	c learnt constraints type 
1800.10/1789.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 212907
1800.10/1789.65	c constraints type 
1800.10/1789.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/1789.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5852
1800.10/1789.65	c 5853 constraints processed.
1800.10/1789.65	s SATISFIABLE
1800.10/1789.65	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 
1800.10/1789.65	c objective function=-54
1800.10/1789.65	c Total wall clock time (in seconds): 1789.531

Verifier Data 

OK	-54

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 24527
/proc/meminfo: memFree=28988580/32873844 swapFree=6584/6584
[pid=24527] ppid=24525 vsize=124 CPUtime=0 cores=0,2,4,6
/proc/24527/stat : 24527 (java) R 24525 24527 21531 0 -1 4194304 250 0 0 0 0 0 0 0 20 0 1 0 255193394 126976 1 33554432000 0 0 140734487918092 140735089956632 273588841911 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24527/statm: 67 5 0 0 0 24 0

[startup+0.0954669 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 24527
/proc/meminfo: memFree=28988580/32873844 swapFree=6584/6584
[pid=24527] ppid=24525 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/24527/stat : 24527 (java) S 24525 24527 21531 0 -1 4202496 3927 0 1 0 7 1 0 0 20 0 18 0 255193394 9787813888 5127 33554432000 1073741824 1073778376 140734487912080 140734487903216 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24527/statm: 2389603 5128 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.100198 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 24527
/proc/meminfo: memFree=28988580/32873844 swapFree=6584/6584
[pid=24527] ppid=24525 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/24527/stat : 24527 (java) S 24525 24527 21531 0 -1 4202496 4229 0 1 0 8 1 0 0 20 0 18 0 255193394 9787813888 5428 33554432000 1073741824 1073778376 140734487912080 140734487903216 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24527/statm: 2389603 5428 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300157 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 24527
/proc/meminfo: memFree=28988580/32873844 swapFree=6584/6584
[pid=24527] ppid=24525 vsize=9558412 CPUtime=0.45 cores=0,2,4,6
/proc/24527/stat : 24527 (java) S 24525 24527 21531 0 -1 4202496 5224 0 1 0 43 2 0 0 20 0 18 0 255193394 9787813888 7733 33554432000 1073741824 1073778376 140734487912080 140734487903216 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24527/statm: 2389603 7733 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558412

[startup+0.700262 s]
/proc/loadavg: 2.00 2.01 2.00 3/196 24527
/proc/meminfo: memFree=28988580/32873844 swapFree=6584/6584
[pid=24527] ppid=24525 vsize=9624976 CPUtime=1.19 cores=0,2,4,6
/proc/24527/stat : 24527 (java) S 24525 24527 21531 0 -1 4202496 8814 0 1 0 116 3 0 0 20 0 19 0 255193394 9855975424 12837 33554432000 1073741824 1073778376 140734487912080 140734487903216 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24527/statm: 2406244 12837 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9624976

[startup+1.50068 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 24546
/proc/meminfo: memFree=28929356/32873844 swapFree=6584/6584
[pid=24527] ppid=24525 vsize=9624976 CPUtime=2.08 cores=0,2,4,6
/proc/24527/stat : 24527 (java) S 24525 24527 21531 0 -1 4202496 8903 0 1 0 204 4 0 0 20 0 19 0 255193394 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140734487903216 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24527/statm: 2406244 22620 2277 9 0 2396937 0
[pid=24527/tid=24529] ppid=24525 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/24527/task/24529/stat : 24529 (java) R 24525 24527 21531 0 -1 4202560 2499 0 1 0 140 2 0 0 20 0 19 0 255193395 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182884110744 140182716773551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24530] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24530/stat : 24530 (java) S 24525 24527 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182845601960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24531] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24531/stat : 24531 (java) S 24525 24527 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182844549416 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24532] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24532/stat : 24532 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182843496872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24533] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24533/stat : 24533 (java) S 24525 24527 21531 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182842444328 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24534] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24534/stat : 24534 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182841391784 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24535] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24535/stat : 24535 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182840339240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24536] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24536/stat : 24536 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182839286696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24537] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24537/stat : 24537 (java) S 24525 24527 21531 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182838234152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24538] ppid=24525 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/24527/task/24538/stat : 24538 (java) S 24525 24527 21531 0 -1 4202560 36 0 0 0 2 0 0 0 20 0 19 0 255193398 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182707726440 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24539] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24539/stat : 24539 (java) S 24525 24527 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255193398 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182706672760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24540] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24540/stat : 24540 (java) S 24525 24527 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255193398 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182705620104 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24541] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24541/stat : 24541 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182704568848 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24542] ppid=24525 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/24527/task/24542/stat : 24542 (java) S 24525 24527 21531 0 -1 4202560 2848 0 0 0 29 0 0 0 20 0 19 0 255193401 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182703516216 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24543] ppid=24525 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/24527/task/24543/stat : 24543 (java) S 24525 24527 21531 0 -1 4202560 2284 0 0 0 26 0 0 0 20 0 19 0 255193401 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182702463672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24544] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24544/stat : 24544 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140182701411320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24545] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24545/stat : 24545 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140181692738888 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24546] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24546/stat : 24546 (java) S 24525 24527 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255193429 9855975424 22620 33554432000 1073741824 1073778376 140734487912080 140181691683624 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9624976

[startup+3.10071 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 24546
/proc/meminfo: memFree=28902236/32873844 swapFree=6584/6584
[pid=24527] ppid=24525 vsize=9624976 CPUtime=3.83 cores=0,2,4,6
/proc/24527/stat : 24527 (java) S 24525 24527 21531 0 -1 4202496 9263 0 1 0 378 5 0 0 20 0 19 0 255193394 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140734487903216 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24527/statm: 2406244 25190 2278 9 0 2396937 0
[pid=24527/tid=24529] ppid=24525 vsize=9624976 CPUtime=2.95 cores=0,2,4,6
/proc/24527/task/24529/stat : 24529 (java) R 24525 24527 21531 0 -1 4202560 2500 0 1 0 293 2 0 0 20 0 19 0 255193395 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182884110744 140182716764071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24530] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24530/stat : 24530 (java) S 24525 24527 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182845601960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24531] ppid=24525 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24527/task/24531/stat : 24531 (java) S 24525 24527 21531 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 255193397 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182844549416 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24532] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24532/stat : 24532 (java) S 24525 24527 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182843496872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24533] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24533/stat : 24533 (java) S 24525 24527 21531 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182842444328 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24534] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24534/stat : 24534 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182841391784 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24535] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24535/stat : 24535 (java) S 24525 24527 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182840339240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24536] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24536/stat : 24536 (java) S 24525 24527 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182839286696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24537] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24537/stat : 24537 (java) S 24525 24527 21531 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182838234152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24538] ppid=24525 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/24527/task/24538/stat : 24538 (java) S 24525 24527 21531 0 -1 4202560 39 0 0 0 6 0 0 0 20 0 19 0 255193398 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182707726440 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24539] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24539/stat : 24539 (java) S 24525 24527 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255193398 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182706672760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24540] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24540/stat : 24540 (java) S 24525 24527 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255193398 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182705620104 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24541] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24541/stat : 24541 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182704568848 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24542] ppid=24525 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/24527/task/24542/stat : 24542 (java) S 24525 24527 21531 0 -1 4202560 2849 0 0 0 30 0 0 0 20 0 19 0 255193401 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182703516216 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24543] ppid=24525 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/24527/task/24543/stat : 24543 (java) S 24525 24527 21531 0 -1 4202560 2624 0 0 0 34 0 0 0 20 0 19 0 255193401 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182702463672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24544] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24544/stat : 24544 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140182701411320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24545] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24545/stat : 24545 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140181692738888 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24546] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24546/stat : 24546 (java) S 24525 24527 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255193429 9855975424 25190 33554432000 1073741824 1073778376 140734487912080 140181691683624 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9624976

[startup+6.30072 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 24546
/proc/meminfo: memFree=28889328/32873844 swapFree=6584/6584
[pid=24527] ppid=24525 vsize=9624976 CPUtime=7.11 cores=0,2,4,6
/proc/24527/stat : 24527 (java) S 24525 24527 21531 0 -1 4202496 10032 0 1 0 705 6 0 0 20 0 19 0 255193394 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140734487903216 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24527/statm: 2406244 30791 2278 9 0 2396937 0
[pid=24527/tid=24529] ppid=24525 vsize=9624976 CPUtime=6.06 cores=0,2,4,6
/proc/24527/task/24529/stat : 24529 (java) R 24525 24527 21531 0 -1 4202560 2506 0 1 0 604 2 0 0 20 0 19 0 255193395 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182884110744 140182716773871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24530] ppid=24525 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/24527/task/24530/stat : 24530 (java) S 24525 24527 21531 0 -1 4202560 113 0 0 0 2 0 0 0 20 0 19 0 255193397 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182845601960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24531] ppid=24525 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24527/task/24531/stat : 24531 (java) S 24525 24527 21531 0 -1 4202560 168 0 0 0 1 0 0 0 20 0 19 0 255193397 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182844549416 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24532] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24532/stat : 24532 (java) S 24525 24527 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182843496872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24533] ppid=24525 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24527/task/24533/stat : 24533 (java) S 24525 24527 21531 0 -1 4202560 110 0 0 0 1 0 0 0 20 0 19 0 255193397 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182842444328 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24534] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24534/stat : 24534 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182841391784 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24535] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24535/stat : 24535 (java) S 24525 24527 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182840339240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24536] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24536/stat : 24536 (java) S 24525 24527 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255193397 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182839286696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24537] ppid=24525 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24527/task/24537/stat : 24537 (java) S 24525 24527 21531 0 -1 4202560 171 0 0 0 1 0 0 0 20 0 19 0 255193397 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182838234152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24538] ppid=24525 vsize=9624976 CPUtime=0.12 cores=0,2,4,6
/proc/24527/task/24538/stat : 24538 (java) S 24525 24527 21531 0 -1 4202560 44 0 0 0 12 0 0 0 20 0 19 0 255193398 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182707726440 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24539] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24539/stat : 24539 (java) S 24525 24527 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255193398 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182706672760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24540] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24540/stat : 24540 (java) S 24525 24527 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255193398 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182705620104 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24541] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24541/stat : 24541 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182704568848 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24542] ppid=24525 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/24527/task/24542/stat : 24542 (java) S 24525 24527 21531 0 -1 4202560 2849 0 0 0 30 0 0 0 20 0 19 0 255193401 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182703516216 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24543] ppid=24525 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/24527/task/24543/stat : 24543 (java) S 24525 24527 21531 0 -1 4202560 2869 0 0 0 39 0 0 0 20 0 19 0 255193401 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182702463672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24544] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24544/stat : 24544 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140182701411320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24545] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24545/stat : 24545 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140181692738888 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24546] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24546/stat : 24546 (java) S 24525 24527 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255193429 9855975424 30791 33554432000 1073741824 1073778376 140734487912080 140181691683624 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=24527/tid=24542] ppid=24525 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/24527/task/24542/stat : 24542 (java) S 24525 24527 21531 0 -1 4202560 2849 0 0 0 30 0 0 0 20 0 19 0 255193401 9855975424 200856 33554432000 1073741824 1073778376 140734487912080 140182703516216 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24543] ppid=24525 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/24527/task/24543/stat : 24543 (java) S 24525 24527 21531 0 -1 4202560 2879 0 0 0 41 0 0 0 20 0 19 0 255193401 9855975424 200856 33554432000 1073741824 1073778376 140734487912080 140182702463672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24544] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24544/stat : 24544 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 200856 33554432000 1073741824 1073778376 140734487912080 140182701411320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24545] ppid=24525 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/24527/task/24545/stat : 24545 (java) S 24525 24527 21531 0 -1 4202560 93 0 0 0 32 30 0 0 20 0 19 0 255193401 9855975424 200856 33554432000 1073741824 1073778376 140734487912080 140181692738888 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24546] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24546/stat : 24546 (java) S 24525 24527 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255193429 9855975424 200856 33554432000 1073741824 1073778376 140734487912080 140181691683624 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1672.28
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 24677
/proc/meminfo: memFree=27996868/32873844 swapFree=6584/6584
[pid=24527] ppid=24525 vsize=9624976 CPUtime=1732.58 cores=0,2,4,6
/proc/24527/stat : 24527 (java) S 24525 24527 21531 0 -1 4202496 15049 0 1 0 173150 108 0 0 20 0 19 0 255193394 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140734487903216 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24527/statm: 2406244 219288 2279 9 0 2396937 0
[pid=24527/tid=24529] ppid=24525 vsize=9624976 CPUtime=1704.38 cores=0,2,4,6
/proc/24527/task/24529/stat : 24529 (java) R 24525 24527 21531 0 -1 4202560 2740 0 1 0 170409 29 0 0 20 0 19 0 255193395 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182884110624 140182716706038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24530] ppid=24525 vsize=9624976 CPUtime=1.52 cores=0,2,4,6
/proc/24527/task/24530/stat : 24530 (java) S 24525 24527 21531 0 -1 4202560 503 0 0 0 143 9 0 0 20 0 19 0 255193397 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182845601960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24531] ppid=24525 vsize=9624976 CPUtime=1.61 cores=0,2,4,6
/proc/24527/task/24531/stat : 24531 (java) S 24525 24527 21531 0 -1 4202560 587 0 0 0 155 6 0 0 20 0 19 0 255193397 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182844549416 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24532] ppid=24525 vsize=9624976 CPUtime=1.77 cores=0,2,4,6
/proc/24527/task/24532/stat : 24532 (java) S 24525 24527 21531 0 -1 4202560 408 0 0 0 167 10 0 0 20 0 19 0 255193397 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182843496872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24533] ppid=24525 vsize=9624976 CPUtime=1.54 cores=0,2,4,6
/proc/24527/task/24533/stat : 24533 (java) S 24525 24527 21531 0 -1 4202560 583 0 0 0 146 8 0 0 20 0 19 0 255193397 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182842444328 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24534] ppid=24525 vsize=9624976 CPUtime=1.54 cores=0,2,4,6
/proc/24527/task/24534/stat : 24534 (java) S 24525 24527 21531 0 -1 4202560 601 0 0 0 146 8 0 0 20 0 19 0 255193397 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182841391784 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24535] ppid=24525 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/24527/task/24535/stat : 24535 (java) S 24525 24527 21531 0 -1 4202560 558 0 0 0 133 9 0 0 20 0 19 0 255193397 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182840339240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24536] ppid=24525 vsize=9624976 CPUtime=1.65 cores=0,2,4,6
/proc/24527/task/24536/stat : 24536 (java) S 24525 24527 21531 0 -1 4202560 665 0 0 0 155 10 0 0 20 0 19 0 255193397 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182839286696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24537] ppid=24525 vsize=9624976 CPUtime=1.63 cores=0,2,4,6
/proc/24527/task/24537/stat : 24537 (java) S 24525 24527 21531 0 -1 4202560 559 0 0 0 155 8 0 0 20 0 19 0 255193397 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182838234152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24538] ppid=24525 vsize=9624976 CPUtime=9.8 cores=0,2,4,6
/proc/24527/task/24538/stat : 24538 (java) S 24525 24527 21531 0 -1 4202560 836 0 0 0 976 4 0 0 20 0 19 0 255193398 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182707726440 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24539] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24539/stat : 24539 (java) S 24525 24527 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255193398 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182706672760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24540] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24540/stat : 24540 (java) S 24525 24527 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255193398 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182705620104 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24541] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24541/stat : 24541 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182704568848 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24542] ppid=24525 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/24527/task/24542/stat : 24542 (java) S 24525 24527 21531 0 -1 4202560 2849 0 0 0 30 0 0 0 20 0 19 0 255193401 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182703516216 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24543] ppid=24525 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/24527/task/24543/stat : 24543 (java) S 24525 24527 21531 0 -1 4202560 2879 0 0 0 41 0 0 0 20 0 19 0 255193401 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182702463672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24544] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24544/stat : 24544 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140182701411320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24545] ppid=24525 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/24527/task/24545/stat : 24545 (java) S 24525 24527 21531 0 -1 4202560 97 0 0 0 33 31 0 0 20 0 19 0 255193401 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140181692738888 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24546] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24546/stat : 24546 (java) S 24525 24527 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255193429 9855975424 219288 33554432000 1073741824 1073778376 140734487912080 140181691683624 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1732.58
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 24678
/proc/meminfo: memFree=27988544/32873844 swapFree=6584/6584
[pid=24527] ppid=24525 vsize=9624976 CPUtime=1792.79 cores=0,2,4,6
/proc/24527/stat : 24527 (java) S 24525 24527 21531 0 -1 4202496 15067 0 1 0 179170 109 0 0 20 0 19 0 255193394 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140734487903216 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24527/statm: 2406244 220824 2279 9 0 2396937 0
[pid=24527/tid=24529] ppid=24525 vsize=9624976 CPUtime=1763.84 cores=0,2,4,6
/proc/24527/task/24529/stat : 24529 (java) R 24525 24527 21531 0 -1 4202560 2743 0 1 0 176354 30 0 0 20 0 19 0 255193395 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182884110624 140182716764063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24530] ppid=24525 vsize=9624976 CPUtime=1.58 cores=0,2,4,6
/proc/24527/task/24530/stat : 24530 (java) S 24525 24527 21531 0 -1 4202560 505 0 0 0 149 9 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182845601960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24531] ppid=24525 vsize=9624976 CPUtime=1.63 cores=0,2,4,6
/proc/24527/task/24531/stat : 24531 (java) S 24525 24527 21531 0 -1 4202560 588 0 0 0 157 6 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182844549416 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24532] ppid=24525 vsize=9624976 CPUtime=1.81 cores=0,2,4,6
/proc/24527/task/24532/stat : 24532 (java) S 24525 24527 21531 0 -1 4202560 409 0 0 0 171 10 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182843496872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24533] ppid=24525 vsize=9624976 CPUtime=1.57 cores=0,2,4,6
/proc/24527/task/24533/stat : 24533 (java) S 24525 24527 21531 0 -1 4202560 583 0 0 0 149 8 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182842444328 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24534] ppid=24525 vsize=9624976 CPUtime=1.57 cores=0,2,4,6
/proc/24527/task/24534/stat : 24534 (java) S 24525 24527 21531 0 -1 4202560 602 0 0 0 149 8 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182841391784 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24535] ppid=24525 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/24527/task/24535/stat : 24535 (java) S 24525 24527 21531 0 -1 4202560 560 0 0 0 136 9 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182840339240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24536] ppid=24525 vsize=9624976 CPUtime=1.71 cores=0,2,4,6
/proc/24527/task/24536/stat : 24536 (java) S 24525 24527 21531 0 -1 4202560 665 0 0 0 161 10 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182839286696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24537] ppid=24525 vsize=9624976 CPUtime=1.65 cores=0,2,4,6
/proc/24527/task/24537/stat : 24537 (java) S 24525 24527 21531 0 -1 4202560 559 0 0 0 157 8 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182838234152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24538] ppid=24525 vsize=9624976 CPUtime=10.11 cores=0,2,4,6
/proc/24527/task/24538/stat : 24538 (java) S 24525 24527 21531 0 -1 4202560 840 0 0 0 1007 4 0 0 20 0 19 0 255193398 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182707726440 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24539] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24539/stat : 24539 (java) S 24525 24527 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255193398 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182706672760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24540] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24540/stat : 24540 (java) S 24525 24527 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255193398 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182705620104 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24541] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24541/stat : 24541 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182704568848 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24542] ppid=24525 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/24527/task/24542/stat : 24542 (java) S 24525 24527 21531 0 -1 4202560 2849 0 0 0 30 0 0 0 20 0 19 0 255193401 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182703516216 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24543] ppid=24525 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/24527/task/24543/stat : 24543 (java) S 24525 24527 21531 0 -1 4202560 2879 0 0 0 41 0 0 0 20 0 19 0 255193401 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182702463672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24544] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24544/stat : 24544 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182701411320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24545] ppid=24525 vsize=9624976 CPUtime=0.68 cores=0,2,4,6
/proc/24527/task/24545/stat : 24545 (java) S 24525 24527 21531 0 -1 4202560 101 0 0 0 35 33 0 0 20 0 19 0 255193401 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140181692738888 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24546] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24546/stat : 24546 (java) S 24525 24527 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255193429 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140181691683624 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1792.79
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 24678
/proc/meminfo: memFree=27988420/32873844 swapFree=6584/6584
[pid=24527] ppid=24525 vsize=9624976 CPUtime=1800.1 cores=0,2,4,6
/proc/24527/stat : 24527 (java) S 24525 24527 21531 0 -1 4202496 15067 0 1 0 179901 109 0 0 20 0 19 0 255193394 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140734487903216 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24527/statm: 2406244 220824 2279 9 0 2396937 0
[pid=24527/tid=24529] ppid=24525 vsize=9624976 CPUtime=1771.14 cores=0,2,4,6
/proc/24527/task/24529/stat : 24529 (java) R 24525 24527 21531 0 -1 4202560 2743 0 1 0 177084 30 0 0 20 0 19 0 255193395 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182884110624 140182716793502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24530] ppid=24525 vsize=9624976 CPUtime=1.58 cores=0,2,4,6
/proc/24527/task/24530/stat : 24530 (java) S 24525 24527 21531 0 -1 4202560 505 0 0 0 149 9 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182845601960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24531] ppid=24525 vsize=9624976 CPUtime=1.63 cores=0,2,4,6
/proc/24527/task/24531/stat : 24531 (java) S 24525 24527 21531 0 -1 4202560 588 0 0 0 157 6 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182844549416 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24532] ppid=24525 vsize=9624976 CPUtime=1.81 cores=0,2,4,6
/proc/24527/task/24532/stat : 24532 (java) S 24525 24527 21531 0 -1 4202560 409 0 0 0 171 10 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182843496872 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24533] ppid=24525 vsize=9624976 CPUtime=1.57 cores=0,2,4,6
/proc/24527/task/24533/stat : 24533 (java) S 24525 24527 21531 0 -1 4202560 583 0 0 0 149 8 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182842444328 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24534] ppid=24525 vsize=9624976 CPUtime=1.57 cores=0,2,4,6
/proc/24527/task/24534/stat : 24534 (java) S 24525 24527 21531 0 -1 4202560 602 0 0 0 149 8 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182841391784 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24535] ppid=24525 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/24527/task/24535/stat : 24535 (java) S 24525 24527 21531 0 -1 4202560 560 0 0 0 136 9 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182840339240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24536] ppid=24525 vsize=9624976 CPUtime=1.71 cores=0,2,4,6
/proc/24527/task/24536/stat : 24536 (java) S 24525 24527 21531 0 -1 4202560 665 0 0 0 161 10 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182839286696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24537] ppid=24525 vsize=9624976 CPUtime=1.65 cores=0,2,4,6
/proc/24527/task/24537/stat : 24537 (java) S 24525 24527 21531 0 -1 4202560 559 0 0 0 157 8 0 0 20 0 19 0 255193397 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182838234152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24527/tid=24538] ppid=24525 vsize=9624976 CPUtime=10.11 cores=0,2,4,6
/proc/24527/task/24538/stat : 24538 (java) S 24525 24527 21531 0 -1 4202560 840 0 0 0 1007 4 0 0 20 0 19 0 255193398 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182707726440 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24539] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24539/stat : 24539 (java) S 24525 24527 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255193398 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182706672760 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24540] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24540/stat : 24540 (java) S 24525 24527 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255193398 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182705620104 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24541] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24541/stat : 24541 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182704568848 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24542] ppid=24525 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/24527/task/24542/stat : 24542 (java) S 24525 24527 21531 0 -1 4202560 2849 0 0 0 30 0 0 0 20 0 19 0 255193401 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182703516216 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24543] ppid=24525 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/24527/task/24543/stat : 24543 (java) S 24525 24527 21531 0 -1 4202560 2879 0 0 0 41 0 0 0 20 0 19 0 255193401 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182702463672 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24527/tid=24544] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24544/stat : 24544 (java) S 24525 24527 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255193401 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140182701411320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24527/tid=24545] ppid=24525 vsize=9624976 CPUtime=0.68 cores=0,2,4,6
/proc/24527/task/24545/stat : 24545 (java) S 24525 24527 21531 0 -1 4202560 101 0 0 0 35 33 0 0 20 0 19 0 255193401 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140181692738888 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24527/tid=24546] ppid=24525 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24527/task/24546/stat : 24546 (java) S 24525 24527 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255193429 9855975424 220824 33554432000 1073741824 1073778376 140734487912080 140181691683624 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24527 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=470199
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=500771
# CPU time returned by wait4() is 1795.97
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1789.66
CPU time (s): 1800.1
CPU user time (s): 1799.01
CPU system time (s): 1.09
CPU usage (%): 100.583
Max. virtual memory (cumulated for all children) (KiB): 9625200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.47
system time used= 1.50077
maximum resident set size= 883428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15102
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42090
involuntary context switches= 23662

runsolver used 6.35203 second user time and 14.0719 second system time

The end

Launcher Data 

Begin job on node132 at 2012-05-24 22:18:01
IDJOB=3689479
IDBENCH=89841
IDSOLVER=2269
FILE ID=node132/3689479-1337890681
RUNJOBID= node132-1337871880-21547
PBS_JOBID= 14620072
Free space on /tmp= 71636 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-p6b.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689479-1337890681/watcher-3689479-1337890681 -o /tmp/evaluation-result-3689479-1337890681/solver-3689479-1337890681 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689479-1337890681.opb

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

MD5SUM BENCH= f076140978d89a37e97e041a8b1e6b8f
RANDOM SEED=386900185

node132.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.832
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.66
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28988844 kB
Buffers:          224248 kB
Cached:          2710916 kB
SwapCached:            0 kB
Active:           843904 kB
Inactive:        2275412 kB
Active(anon):     186240 kB
Inactive(anon):        0 kB
Active(file):     657664 kB
Inactive(file):  2275412 kB
Unevictable:        6584 kB
Mlocked:            6584 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               372 kB
Writeback:             0 kB
AnonPages:        190172 kB
Mapped:            22692 kB
Shmem:               212 kB
Slab:             628556 kB
SReclaimable:      70932 kB
SUnreclaim:       557624 kB
KernelStack:        1608 kB
PageTables:         4580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     695964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 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= 71636 MiB
End job on node132 at 2012-05-24 22:47:52