Trace number 3453998

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 Res//CP 2.3.0SAT (TO)-37 1801.19 934.006

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_4.opb
MD5SUM468c9636f2c99e512d4c3bca04b78033
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -42
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint60
Maximum length of a constraint106
Number of terms in the objective function 500
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 500
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 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37458
Sum of products size (including duplicates)74916
Number of different products18729
Sum of products size37458

Quality of the solution as a function of time


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

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.1.v20110525
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.18-164.el5
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		9996466904
0.02/0.08	c Max memory 		10048897024
0.02/0.08	c Total memory 		10048897024
0.02/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3453998-1307194776.opb
0.11/0.11	c reading problem ... 
2.21/0.94	c ... done. Wall clock time 0.83s.
2.21/0.94	c #vars     19229
2.21/0.94	c #constraints  56687
2.21/0.94	c constraints type 
2.21/0.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18729
2.21/0.94	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
2.21/0.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18729
2.21/0.94	c constraints type 
2.21/0.94	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18729
2.21/0.94	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
2.21/0.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18729
3.02/1.12	c  And the winner is Resolution
3.11/1.46	c SATISFIABLE
3.11/1.46	c OPTIMIZING...
3.11/1.46	c Got one! Elapsed wall clock time (in seconds):1.35
3.11/1.46	o -26
3.30/1.54	c  And the winner is Resolution
3.54/1.97	c Got one! Elapsed wall clock time (in seconds):1.858
3.54/1.97	o -27
3.54/1.98	c  And the winner is Resolution
3.59/2.47	c Got one! Elapsed wall clock time (in seconds):2.367
3.59/2.47	o -28
3.66/2.52	c  And the winner is Resolution
3.85/2.98	c Got one! Elapsed wall clock time (in seconds):2.876
3.85/2.98	o -30
3.88/3.03	c  And the winner is Resolution
3.98/3.49	c Got one! Elapsed wall clock time (in seconds):3.385
3.98/3.49	o -31
4.00/3.56	c  And the winner is Resolution
4.22/4.00	c Got one! Elapsed wall clock time (in seconds):3.893
4.22/4.00	o -32
4.22/4.05	c  And the winner is Resolution
4.35/4.51	c Got one! Elapsed wall clock time (in seconds):4.401
4.35/4.51	o -33
5.02/4.80	c  And the winner is Resolution
5.07/5.02	c Got one! Elapsed wall clock time (in seconds):4.909
5.07/5.02	o -34
6.49/5.78	c cleaning 3094 clauses out of 6188 with flag 4000/6188
8.74/6.85	c cleaning 4546 clauses out of 9094 with flag 10000/12188
11.03/8.04	c cleaning 5775 clauses out of 11549 with flag 17001/19189
13.78/9.44	c cleaning 6886 clauses out of 13774 with flag 25001/27189
16.86/11.08	c cleaning 7938 clauses out of 15887 with flag 34000/36188
17.13/11.28	c  And the winner is Resolution
17.54/11.75	c Got one! Elapsed wall clock time (in seconds):11.641
17.54/11.75	o -35
19.25/12.61	c cleaning 6610 clauses out of 13221 with flag 5000/41460
21.38/13.70	c cleaning 6294 clauses out of 12611 with flag 11000/47460
23.64/14.96	c cleaning 6657 clauses out of 13318 with flag 18001/54461
26.23/16.40	c cleaning 7330 clauses out of 14660 with flag 26000/62460
29.67/18.10	c cleaning 8160 clauses out of 16330 with flag 35000/71460
33.11/19.98	c cleaning 9081 clauses out of 18171 with flag 45001/81461
37.00/21.99	c cleaning 10042 clauses out of 20089 with flag 56000/92460
41.52/24.32	c cleaning 11014 clauses out of 22048 with flag 68001/104461
46.75/27.03	c cleaning 12017 clauses out of 24033 with flag 81000/117460
51.78/29.66	c cleaning 13004 clauses out of 26017 with flag 95001/131461
57.37/32.53	c cleaning 14002 clauses out of 28012 with flag 110000/146460
64.28/36.14	c cleaning 15006 clauses out of 30011 with flag 126001/162461
69.06/38.69	c  And the winner is Resolution
69.92/39.40	c Got one! Elapsed wall clock time (in seconds):39.293
69.92/39.40	o -36
71.92/40.41	c cleaning 15346 clauses out of 30699 with flag 5002/178155
74.10/41.63	c cleaning 10668 clauses out of 21351 with flag 11000/184153
76.66/43.04	c cleaning 8840 clauses out of 17683 with flag 18000/191153
79.75/44.74	c cleaning 8415 clauses out of 16843 with flag 26000/199153
83.12/46.57	c cleaning 8710 clauses out of 17428 with flag 35000/208153
86.89/48.60	c cleaning 9359 clauses out of 18718 with flag 45000/218153
91.46/50.95	c cleaning 10176 clauses out of 20359 with flag 56000/229153
96.52/53.63	c cleaning 11092 clauses out of 22185 with flag 68002/241155
101.89/56.49	c cleaning 12045 clauses out of 24091 with flag 81000/254153
105.05/58.18	c  And the winner is Resolution
105.52/58.51	c Got one! Elapsed wall clock time (in seconds):58.403
105.52/58.51	o -37
107.33/59.49	c cleaning 12330 clauses out of 24660 with flag 5001/266767
109.84/60.89	c cleaning 9162 clauses out of 18330 with flag 11001/272767
112.84/62.57	c cleaning 8080 clauses out of 16168 with flag 18001/279767
116.36/64.41	c cleaning 8032 clauses out of 16087 with flag 26000/287766
119.89/66.35	c cleaning 8526 clauses out of 17056 with flag 35001/296767
124.21/68.64	c cleaning 9260 clauses out of 18529 with flag 45000/306766
129.65/71.52	c cleaning 10128 clauses out of 20269 with flag 56000/317766
135.32/74.50	c cleaning 11069 clauses out of 22141 with flag 68000/329766
141.66/77.80	c cleaning 12028 clauses out of 24072 with flag 81000/342766
148.18/81.29	c cleaning 13018 clauses out of 26044 with flag 95000/356766
155.96/85.34	c cleaning 14007 clauses out of 28027 with flag 110001/371767
164.26/89.63	c cleaning 15004 clauses out of 30019 with flag 126000/387766
171.37/93.40	c cleaning 16008 clauses out of 32015 with flag 143000/404766
179.85/97.75	c cleaning 16995 clauses out of 34007 with flag 161000/422766
188.68/102.32	c cleaning 17996 clauses out of 36013 with flag 180001/441767
198.91/107.63	c cleaning 19003 clauses out of 38016 with flag 200000/461766
210.59/113.65	c cleaning 20007 clauses out of 40014 with flag 221001/482767
222.98/119.99	c cleaning 20998 clauses out of 42007 with flag 243001/504767
236.03/126.71	c cleaning 22002 clauses out of 44008 with flag 266000/527766
250.51/134.20	c cleaning 23002 clauses out of 46006 with flag 290000/551766
266.12/142.11	c cleaning 24001 clauses out of 48004 with flag 315000/576766
279.53/149.00	c cleaning 25002 clauses out of 50003 with flag 341000/602766
291.98/155.51	c cleaning 25996 clauses out of 52001 with flag 368000/629766
307.03/163.22	c cleaning 26999 clauses out of 54005 with flag 396000/657766
322.64/171.25	c cleaning 27995 clauses out of 56006 with flag 425000/686766
339.83/180.07	c cleaning 28997 clauses out of 58011 with flag 455000/716766
359.66/190.27	c cleaning 30003 clauses out of 60015 with flag 486001/747767
380.22/200.71	c cleaning 31003 clauses out of 62012 with flag 518001/779767
400.19/210.96	c cleaning 32000 clauses out of 64009 with flag 551001/812767
424.95/223.57	c cleaning 33001 clauses out of 66008 with flag 585000/846766
450.32/236.57	c cleaning 34004 clauses out of 68007 with flag 620000/881766
468.01/245.61	c cleaning 35000 clauses out of 70004 with flag 656001/917767
491.24/257.46	c cleaning 35995 clauses out of 72004 with flag 693001/954767
513.56/268.87	c cleaning 37000 clauses out of 74009 with flag 731001/992767
536.64/280.76	c cleaning 37500 clauses out of 75010 with flag 769002/1030768
562.55/293.96	c cleaning 37743 clauses out of 75509 with flag 807001/1068767
594.25/310.07	c cleaning 37880 clauses out of 75765 with flag 845000/1106766
629.72/328.00	c cleaning 37937 clauses out of 75885 with flag 883000/1144766
650.35/338.80	c cleaning 0 clauses out of 6469 with flag 0/6476
667.16/347.45	c cleaning 37964 clauses out of 75948 with flag 921000/1182766
696.39/362.35	c cleaning 37972 clauses out of 75984 with flag 959000/1220766
726.20/377.53	c cleaning 38003 clauses out of 76013 with flag 997001/1258767
755.56/392.70	c cleaning 37999 clauses out of 76009 with flag 1035000/1296766
783.12/406.72	c cleaning 37998 clauses out of 76010 with flag 1073000/1334766
802.75/416.89	c cleaning 38000 clauses out of 76013 with flag 1111001/1372767
823.32/427.45	c cleaning 37992 clauses out of 76013 with flag 1149001/1410767
851.61/442.04	c cleaning 38008 clauses out of 76020 with flag 1187000/1448766
877.82/455.44	c cleaning 38003 clauses out of 76012 with flag 1225000/1486766
904.35/469.02	c cleaning 37995 clauses out of 76009 with flag 1263000/1524766
935.52/484.94	c cleaning 37995 clauses out of 76014 with flag 1301000/1562766
968.35/501.89	c cleaning 38002 clauses out of 76019 with flag 1339000/1600766
990.28/513.10	c cleaning 37987 clauses out of 76018 with flag 1377001/1638767
1016.65/526.62	c cleaning 38005 clauses out of 76031 with flag 1415001/1676767
1044.75/541.02	c cleaning 38006 clauses out of 76025 with flag 1453000/1714766
1069.91/554.11	c cleaning 38000 clauses out of 76019 with flag 1491000/1752766
1093.48/566.23	c cleaning 38003 clauses out of 76020 with flag 1529001/1790767
1119.97/579.88	c cleaning 38002 clauses out of 76016 with flag 1567000/1828766
1145.65/593.02	c cleaning 37999 clauses out of 76015 with flag 1605001/1866767
1169.97/605.72	c cleaning 38002 clauses out of 76015 with flag 1643000/1904766
1193.04/617.66	c cleaning 38004 clauses out of 76015 with flag 1681002/1942768
1220.02/631.44	c cleaning 37997 clauses out of 76009 with flag 1719000/1980766
1238.02/640.86	c cleaning 38000 clauses out of 76012 with flag 1757000/2018766
1257.78/651.22	c cleaning 37998 clauses out of 76012 with flag 1795000/2056766
1278.81/662.21	c cleaning 38004 clauses out of 76014 with flag 1833000/2094766
1301.43/673.84	c cleaning 37993 clauses out of 76010 with flag 1871000/2132766
1324.46/685.71	c cleaning 37986 clauses out of 76017 with flag 1909000/2170766
1347.34/697.71	c cleaning 37998 clauses out of 76031 with flag 1947000/2208766
1371.56/710.21	c cleaning 38002 clauses out of 76033 with flag 1985000/2246766
1397.36/723.58	c cleaning 38005 clauses out of 76031 with flag 2023000/2284766
1423.39/736.95	c cleaning 38000 clauses out of 76026 with flag 2061000/2322766
1449.78/750.72	c cleaning 38012 clauses out of 76027 with flag 2099001/2360767
1470.78/761.63	c cleaning 37989 clauses out of 76015 with flag 2137001/2398767
1496.37/774.87	c cleaning 38006 clauses out of 76025 with flag 2175000/2436766
1520.99/787.58	c cleaning 38004 clauses out of 76019 with flag 2213000/2474766
1543.98/799.65	c cleaning 38004 clauses out of 76016 with flag 2251001/2512767
1568.92/812.55	c cleaning 37993 clauses out of 76011 with flag 2289000/2550766
1589.67/823.34	c cleaning 38007 clauses out of 76019 with flag 2327001/2588767
1610.80/834.37	c cleaning 37999 clauses out of 76011 with flag 2365000/2626766
1632.80/845.99	c cleaning 38002 clauses out of 76012 with flag 2403000/2664766
1654.12/857.02	c cleaning 38006 clauses out of 76011 with flag 2441001/2702767
1677.68/869.21	c cleaning 37999 clauses out of 76005 with flag 2479001/2740767
1700.01/880.83	c cleaning 37994 clauses out of 76005 with flag 2517000/2778766
1722.55/892.70	c cleaning 38002 clauses out of 76011 with flag 2555000/2816766
1746.10/904.93	c cleaning 37998 clauses out of 76010 with flag 2593001/2854767
1772.64/918.64	c cleaning 37999 clauses out of 76011 with flag 2631000/2892766
1799.58/932.50	c cleaning 38007 clauses out of 76014 with flag 2669002/2930768
1800.96/933.87	c starts		: 242
1800.96/933.87	c conflicts		: 2930769
1800.96/933.87	c decisions		: 3072755
1800.96/933.87	c propagations		: 17546389
1800.96/933.87	c inspects		: 5096718995
1800.96/933.87	c shortcuts		: 0
1800.96/933.87	c learnt literals	: 0
1800.96/933.87	c learnt binary clauses	: 0
1800.96/933.87	c learnt ternary clauses	: 0
1800.96/933.87	c learnt constraints	: 2930769
1800.96/933.87	c ignored constraints	: 0
1800.96/933.87	c root simplifications	: 0
1800.96/933.87	c removed literals (reason simplification)	: 35954668
1800.96/933.87	c reason swapping (by a shorter reason)	: 0
1800.96/933.87	c Calls to reduceDB	: 111
1800.96/933.87	c number of reductions to clauses (during analyze)	: 0
1800.96/933.87	c number of learned constraints concerned by reduction	: 0
1800.96/933.87	c number of learning phase by resolution	: 0
1800.96/933.87	c number of learning phase by cutting planes	: 0
1800.96/933.87	c speed (assignments/second)	: 20044.794193011094
1800.96/933.87	c non guided choices	0
1800.96/933.88	c learnt constraints type 
1800.96/933.88	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 38099
1800.96/933.88	c constraints type 
1800.96/933.88	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18729
1800.96/933.88	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1800.96/933.88	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.96/933.88	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18729
1800.96/933.88	c constraints type 
1800.96/933.88	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18729
1800.96/933.88	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.96/933.88	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
1800.96/933.88	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18729
1800.96/933.88	s SATISFIABLE
1800.96/933.89	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 
1800.96/933.89	c objective function=-37
1800.96/933.89	c Total wall clock time (in seconds): 933.78

Verifier Data 

OK	-37

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3453998-1307194776/watcher-3453998-1307194776 -o /tmp/evaluation-result-3453998-1307194776/solver-3453998-1307194776 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453998-1307194776.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.37 2.58 3.18 4/556 21304
/proc/meminfo: memFree=24412276/32951124 swapFree=46970528/67111528
[pid=21304] ppid=21302 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/21304/stat : 21304 (java) S 21302 21304 16282 0 -1 4202496 5845 0 1 0 0 1 0 0 25 0 2 0 811893871 10694979584 5548 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/21304/statm: 2611079 5561 917 9 0 2602235 0
[pid=21304/tid=21305] ppid=21302 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/21304/task/21305/stat : 21305 (java) R 21302 21304 16282 0 -1 4202560 8053 0 1 0 0 1 0 0 25 0 2 0 811893872 10694979584 8870 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.032164 s]
/proc/loadavg: 2.37 2.58 3.18 4/556 21304
/proc/meminfo: memFree=24412276/32951124 swapFree=46970528/67111528
[pid=21304] ppid=21302 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/21304/stat : 21304 (java) S 21302 21304 16282 0 -1 4202496 10952 0 1 0 1 1 0 0 25 0 11 0 811893871 10716594176 10652 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/21304/statm: 2616356 10653 1600 9 0 2607104 0
[pid=21304/tid=21305] ppid=21302 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/21304/task/21305/stat : 21305 (java) R 21302 21304 16282 0 -1 4202560 9829 0 1 0 1 1 0 0 25 0 11 0 811893872 10716594176 10653 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051482059 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424

[startup+0.101214 s]
/proc/loadavg: 2.37 2.58 3.18 4/556 21304
/proc/meminfo: memFree=24412276/32951124 swapFree=46970528/67111528
[pid=21304] ppid=21302 vsize=10539980 CPUtime=0.11 cores=0,2,4,6
/proc/21304/stat : 21304 (java) S 21302 21304 16282 0 -1 4202496 13117 0 1 0 9 2 0 0 25 0 18 0 811893871 10792939520 12762 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21304/statm: 2634995 12763 2093 9 0 2625729 0
[pid=21304/tid=21305] ppid=21302 vsize=10539980 CPUtime=0.09 cores=0,2,4,6
/proc/21304/task/21305/stat : 21305 (java) R 21302 21304 16282 0 -1 4202560 11173 0 1 0 7 2 0 0 18 0 18 0 811893872 10792939520 12764 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 47023533218643 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539980

[startup+0.301178 s]
/proc/loadavg: 2.37 2.58 3.18 4/556 21304
/proc/meminfo: memFree=24412276/32951124 swapFree=46970528/67111528
[pid=21304] ppid=21302 vsize=10540688 CPUtime=0.48 cores=0,2,4,6
/proc/21304/stat : 21304 (java) S 21302 21304 16282 0 -1 4202496 15660 0 1 0 46 2 0 0 25 0 18 0 811893871 10793664512 15107 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21304/statm: 2635172 15107 2208 9 0 2625906 0
[pid=21304/tid=21305] ppid=21302 vsize=10540688 CPUtime=0.29 cores=0,2,4,6
/proc/21304/task/21305/stat : 21305 (java) R 21302 21304 16282 0 -1 4202560 12904 0 1 0 27 2 0 0 18 0 18 0 811893872 10793664512 15108 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 46912505595614 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540688

[startup+0.701124 s]
/proc/loadavg: 2.37 2.58 3.18 4/556 21304
/proc/meminfo: memFree=24412276/32951124 swapFree=46970528/67111528
[pid=21304] ppid=21302 vsize=10558744 CPUtime=1.6 cores=0,2,4,6
/proc/21304/stat : 21304 (java) S 21302 21304 16282 0 -1 4202496 36804 0 1 0 155 5 0 0 25 0 18 0 811893871 10812153856 30153 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21304/statm: 2639686 30154 2229 9 0 2630420 0
[pid=21304/tid=21305] ppid=21302 vsize=10558744 CPUtime=0.68 cores=0,2,4,6
/proc/21304/task/21305/stat : 21305 (java) R 21302 21304 16282 0 -1 4202560 20450 0 1 0 65 3 0 0 18 0 18 0 811893872 10812153856 30154 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 46912505738585 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10558744

[startup+1.50091 s]
/proc/loadavg: 2.37 2.58 3.18 7/576 21324
/proc/meminfo: memFree=24238212/32951124 swapFree=46970528/67111528
[pid=21304] ppid=21302 vsize=10563640 CPUtime=3.3 cores=0,2,4,6
/proc/21304/stat : 21304 (java) S 21302 21304 16282 0 -1 4202496 54116 0 1 0 322 8 0 0 25 0 22 0 811893871 10817167360 47463 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21304/statm: 2640910 47463 2246 9 0 2631644 0
[pid=21304/tid=21305] ppid=21302 vsize=10563640 CPUtime=0.95 cores=0,2,4,6
/proc/21304/task/21305/stat : 21305 (java) S 21302 21304 16282 0 -1 4202560 33479 0 1 0 90 5 0 0 17 0 22 0 811893872 10817167360 47463 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21307] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21307/stat : 21307 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893873 10817167360 47463 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21308] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21308/stat : 21308 (java) S 21302 21304 16282 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811893873 10817167360 47463 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21309] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21309/stat : 21309 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893873 10817167360 47463 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21310] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21310/stat : 21310 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893873 10817167360 47463 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21311] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21311/stat : 21311 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893873 10817167360 47463 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21312] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21312/stat : 21312 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893873 10817167360 47463 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21313] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21313/stat : 21313 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893873 10817167360 47464 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21314] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21314/stat : 21314 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893873 10817167360 47464 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21315] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21315/stat : 21315 (java) S 21302 21304 16282 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 811893874 10817167360 47464 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 0 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21316] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21316/stat : 21316 (java) S 21302 21304 16282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811893875 10817167360 47464 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21317] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21317/stat : 21317 (java) S 21302 21304 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811893875 10817167360 47464 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21318] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21318/stat : 21318 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893877 10817167360 47464 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051478961 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21319] ppid=21302 vsize=10563640 CPUtime=0.96 cores=0,2,4,6
/proc/21304/task/21319/stat : 21319 (java) R 21302 21304 16282 0 -1 4202560 7547 0 0 0 96 0 0 0 16 0 22 0 811893877 10817167360 47464 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 47023528329328 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21304/tid=21320] ppid=21302 vsize=10563640 CPUtime=0.93 cores=0,2,4,6
/proc/21304/task/21320/stat : 21320 (java) R 21302 21304 16282 0 -1 4202560 8096 0 0 0 92 1 0 0 15 0 22 0 811893877 10817167360 47464 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 47023527925491 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21304/tid=21321] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21321/stat : 21321 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893877 10817167360 47464 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21322] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21322/stat : 21322 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811893877 10817167360 47464 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21325] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21325/stat : 21325 (java) S 21302 21304 16282 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811893972 10817167360 47464 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 10563640

[startup+3.1007 s]
/proc/loadavg: 2.37 2.58 3.18 2/575 21332
/proc/meminfo: memFree=24209696/32951124 swapFree=46970528/67111528
[pid=21304] ppid=21302 vsize=10563640 CPUtime=3.98 cores=0,2,4,6
/proc/21304/stat : 21304 (java) S 21302 21304 16282 0 -1 4202496 63313 0 1 0 390 8 0 0 25 0 19 0 811893871 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21304/statm: 2640910 56659 2247 9 0 2631644 0
[pid=21304/tid=21305] ppid=21302 vsize=10563640 CPUtime=0.96 cores=0,2,4,6
/proc/21304/task/21305/stat : 21305 (java) S 21302 21304 16282 0 -1 4202560 33719 0 1 0 91 5 0 0 16 0 19 0 811893872 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21307] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21307/stat : 21307 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811893873 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21308] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21308/stat : 21308 (java) S 21302 21304 16282 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811893873 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21309] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21309/stat : 21309 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811893873 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21310] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21310/stat : 21310 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811893873 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21311] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21311/stat : 21311 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811893873 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21312] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21312/stat : 21312 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811893873 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21313] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21313/stat : 21313 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811893873 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21314] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21314/stat : 21314 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811893873 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21315] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21315/stat : 21315 (java) S 21302 21304 16282 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 811893874 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 0 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21316] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21316/stat : 21316 (java) S 21302 21304 16282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811893875 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21317] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21317/stat : 21317 (java) S 21302 21304 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811893875 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21318] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21318/stat : 21318 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811893877 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051478961 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21319] ppid=21302 vsize=10563640 CPUtime=1.14 cores=0,2,4,6
/proc/21304/task/21319/stat : 21319 (java) S 21302 21304 16282 0 -1 4202560 7571 0 0 0 114 0 0 0 15 0 19 0 811893877 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21320] ppid=21302 vsize=10563640 CPUtime=1.11 cores=0,2,4,6
/proc/21304/task/21320/stat : 21320 (java) S 21302 21304 16282 0 -1 4202560 8122 0 0 0 110 1 0 0 15 0 19 0 811893877 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21321] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21321/stat : 21321 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811893877 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21322] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21322/stat : 21322 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811893877 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21325] ppid=21302 vsize=10563640 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21325/stat : 21325 (java) S 21302 21304 16282 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811893972 10817167360 56659 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 10563640

[startup+6.30111 s]
/proc/loadavg: 2.42 2.59 3.18 6/578 21350
/proc/meminfo: memFree=23994396/32951124 swapFree=46970528/67111528
[pid=21304] ppid=21302 vsize=10561228 CPUtime=7.61 cores=0,2,4,6
/proc/21304/stat : 21304 (java) S 21302 21304 16282 0 -1 4202496 150982 0 1 0 741 20 0 0 25 0 22 0 811893871 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21304/statm: 2640307 143715 2273 9 0 2631041 0
[pid=21304/tid=21305] ppid=21302 vsize=10561228 CPUtime=0.98 cores=0,2,4,6
/proc/21304/task/21305/stat : 21305 (java) S 21302 21304 16282 0 -1 4202560 34041 0 1 0 93 5 0 0 15 0 22 0 811893872 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21307] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21307/stat : 21307 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811893873 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21308] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21308/stat : 21308 (java) S 21302 21304 16282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811893873 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21309] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21309/stat : 21309 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811893873 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21310] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21310/stat : 21310 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811893873 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21311] ppid=21302 vsize=10561228 CPUtime=0.02 cores=0,2,4,6
/proc/21304/task/21311/stat : 21311 (java) S 21302 21304 16282 0 -1 4202560 1800 0 0 0 2 0 0 0 18 0 22 0 811893873 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21312] ppid=21302 vsize=10561228 CPUtime=0.02 cores=0,2,4,6
/proc/21304/task/21312/stat : 21312 (java) S 21302 21304 16282 0 -1 4202560 2679 0 0 0 2 0 0 0 18 0 22 0 811893873 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21313] ppid=21302 vsize=10561228 CPUtime=0.03 cores=0,2,4,6
/proc/21304/task/21313/stat : 21313 (java) S 21302 21304 16282 0 -1 4202560 3786 0 0 0 3 0 0 0 18 0 22 0 811893873 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21314] ppid=21302 vsize=10561228 CPUtime=0.03 cores=0,2,4,6
/proc/21304/task/21314/stat : 21314 (java) S 21302 21304 16282 0 -1 4202560 2791 0 0 0 3 0 0 0 18 0 22 0 811893873 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21315] ppid=21302 vsize=10561228 CPUtime=0.15 cores=0,2,4,6
/proc/21304/task/21315/stat : 21315 (java) S 21302 21304 16282 0 -1 4202560 12300 0 0 0 14 1 0 0 16 0 22 0 811893874 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 0 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21316] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21316/stat : 21316 (java) S 21302 21304 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811893875 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21317] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21317/stat : 21317 (java) S 21302 21304 16282 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811893875 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21318] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21318/stat : 21318 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893877 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051478961 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21319] ppid=21302 vsize=10561228 CPUtime=1.3 cores=0,2,4,6
/proc/21304/task/21319/stat : 21319 (java) S 21302 21304 16282 0 -1 4202560 7583 0 0 0 130 0 0 0 15 0 22 0 811893877 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21320] ppid=21302 vsize=10561228 CPUtime=1.23 cores=0,2,4,6
/proc/21304/task/21320/stat : 21320 (java) S 21302 21304 16282 0 -1 4202560 8137 0 0 0 122 1 0 0 15 0 22 0 811893877 10814697472 143715 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0

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

Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+932.902 s]
/proc/loadavg: 3.57 3.69 3.54 3/578 21391
/proc/meminfo: memFree=21288696/32951124 swapFree=46970528/67111528
[pid=21304] ppid=21302 vsize=10561228 CPUtime=1800.06 cores=0,2,4,6
/proc/21304/stat : 21304 (java) S 21302 21304 16282 0 -1 4202496 693604 0 1 0 179921 85 0 0 25 0 22 0 811893871 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21304/statm: 2640307 686084 2274 9 0 2631041 0
[pid=21304/tid=21305] ppid=21302 vsize=10561228 CPUtime=0.99 cores=0,2,4,6
/proc/21304/task/21305/stat : 21305 (java) S 21302 21304 16282 0 -1 4202560 34095 0 1 0 94 5 0 0 15 0 22 0 811893872 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21307] ppid=21302 vsize=10561228 CPUtime=0.99 cores=0,2,4,6
/proc/21304/task/21307/stat : 21307 (java) S 21302 21304 16282 0 -1 4202560 4127 0 0 0 99 0 0 0 15 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21308] ppid=21302 vsize=10561228 CPUtime=0.93 cores=0,2,4,6
/proc/21304/task/21308/stat : 21308 (java) S 21302 21304 16282 0 -1 4202560 1974 0 0 0 93 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21309] ppid=21302 vsize=10561228 CPUtime=1.05 cores=0,2,4,6
/proc/21304/task/21309/stat : 21309 (java) S 21302 21304 16282 0 -1 4202560 3130 0 0 0 105 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21310] ppid=21302 vsize=10561228 CPUtime=1.09 cores=0,2,4,6
/proc/21304/task/21310/stat : 21310 (java) S 21302 21304 16282 0 -1 4202560 4881 0 0 0 109 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21311] ppid=21302 vsize=10561228 CPUtime=0.97 cores=0,2,4,6
/proc/21304/task/21311/stat : 21311 (java) S 21302 21304 16282 0 -1 4202560 3265 0 0 0 97 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21312] ppid=21302 vsize=10561228 CPUtime=1.09 cores=0,2,4,6
/proc/21304/task/21312/stat : 21312 (java) S 21302 21304 16282 0 -1 4202560 4051 0 0 0 109 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21313] ppid=21302 vsize=10561228 CPUtime=0.99 cores=0,2,4,6
/proc/21304/task/21313/stat : 21313 (java) S 21302 21304 16282 0 -1 4202560 6782 0 0 0 99 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21314] ppid=21302 vsize=10561228 CPUtime=1.15 cores=0,2,4,6
/proc/21304/task/21314/stat : 21314 (java) S 21302 21304 16282 0 -1 4202560 6659 0 0 0 114 1 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21315] ppid=21302 vsize=10561228 CPUtime=63.32 cores=0,2,4,6
/proc/21304/task/21315/stat : 21315 (java) R 21302 21304 16282 0 -1 4202560 151311 0 0 0 6316 16 0 0 16 0 22 0 811893874 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 47023531580559 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=21304/tid=21316] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21316/stat : 21316 (java) S 21302 21304 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811893875 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21317] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21317/stat : 21317 (java) S 21302 21304 16282 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 811893875 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21318] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21318/stat : 21318 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051478961 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21319] ppid=21302 vsize=10561228 CPUtime=1.56 cores=0,2,4,6
/proc/21304/task/21319/stat : 21319 (java) S 21302 21304 16282 0 -1 4202560 7607 0 0 0 156 0 0 0 16 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21320] ppid=21302 vsize=10561228 CPUtime=1.52 cores=0,2,4,6
/proc/21304/task/21320/stat : 21320 (java) S 21302 21304 16282 0 -1 4202560 8167 0 0 0 151 1 0 0 15 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21321] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21321/stat : 21321 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21322] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21322/stat : 21322 (java) S 21302 21304 16282 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21325] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21325/stat : 21325 (java) S 21302 21304 16282 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811893972 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21365] ppid=21302 vsize=10561228 CPUtime=814.75 cores=0,2,4,6
/proc/21304/task/21365/stat : 21365 (java) S 21302 21304 16282 0 -1 4202560 2539 0 0 0 81471 4 0 0 25 0 22 0 811899723 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21366] ppid=21302 vsize=10561228 CPUtime=814.7 cores=0,2,4,6
/proc/21304/task/21366/stat : 21366 (java) S 21302 21304 16282 0 -1 4202560 275351 0 0 0 81441 29 0 0 25 0 22 0 811899723 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21367] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21367/stat : 21367 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811899723 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10561228

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

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

[startup+933.401 s]
/proc/loadavg: 3.57 3.69 3.54 3/578 21391
/proc/meminfo: memFree=21288696/32951124 swapFree=46970528/67111528
[pid=21304] ppid=21302 vsize=10561228 CPUtime=1800.54 cores=0,2,4,6
/proc/21304/stat : 21304 (java) S 21302 21304 16282 0 -1 4202496 693604 0 1 0 179969 85 0 0 18 0 22 0 811893871 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21304/statm: 2640307 686084 2274 9 0 2631041 0
[pid=21304/tid=21305] ppid=21302 vsize=10561228 CPUtime=0.99 cores=0,2,4,6
/proc/21304/task/21305/stat : 21305 (java) S 21302 21304 16282 0 -1 4202560 34095 0 1 0 94 5 0 0 15 0 22 0 811893872 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21307] ppid=21302 vsize=10561228 CPUtime=0.99 cores=0,2,4,6
/proc/21304/task/21307/stat : 21307 (java) S 21302 21304 16282 0 -1 4202560 4127 0 0 0 99 0 0 0 15 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21308] ppid=21302 vsize=10561228 CPUtime=0.93 cores=0,2,4,6
/proc/21304/task/21308/stat : 21308 (java) S 21302 21304 16282 0 -1 4202560 1974 0 0 0 93 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21309] ppid=21302 vsize=10561228 CPUtime=1.05 cores=0,2,4,6
/proc/21304/task/21309/stat : 21309 (java) S 21302 21304 16282 0 -1 4202560 3130 0 0 0 105 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21310] ppid=21302 vsize=10561228 CPUtime=1.09 cores=0,2,4,6
/proc/21304/task/21310/stat : 21310 (java) S 21302 21304 16282 0 -1 4202560 4881 0 0 0 109 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21311] ppid=21302 vsize=10561228 CPUtime=0.97 cores=0,2,4,6
/proc/21304/task/21311/stat : 21311 (java) S 21302 21304 16282 0 -1 4202560 3265 0 0 0 97 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21312] ppid=21302 vsize=10561228 CPUtime=1.09 cores=0,2,4,6
/proc/21304/task/21312/stat : 21312 (java) S 21302 21304 16282 0 -1 4202560 4051 0 0 0 109 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21313] ppid=21302 vsize=10561228 CPUtime=0.99 cores=0,2,4,6
/proc/21304/task/21313/stat : 21313 (java) S 21302 21304 16282 0 -1 4202560 6782 0 0 0 99 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21314] ppid=21302 vsize=10561228 CPUtime=1.15 cores=0,2,4,6
/proc/21304/task/21314/stat : 21314 (java) S 21302 21304 16282 0 -1 4202560 6659 0 0 0 114 1 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21315] ppid=21302 vsize=10561228 CPUtime=63.8 cores=0,2,4,6
/proc/21304/task/21315/stat : 21315 (java) R 21302 21304 16282 0 -1 4202560 151311 0 0 0 6364 16 0 0 16 0 22 0 811893874 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 47023531962440 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=21304/tid=21316] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21316/stat : 21316 (java) S 21302 21304 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811893875 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21317] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21317/stat : 21317 (java) S 21302 21304 16282 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 811893875 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21318] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21318/stat : 21318 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21319] ppid=21302 vsize=10561228 CPUtime=1.56 cores=0,2,4,6
/proc/21304/task/21319/stat : 21319 (java) S 21302 21304 16282 0 -1 4202560 7607 0 0 0 156 0 0 0 16 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21320] ppid=21302 vsize=10561228 CPUtime=1.52 cores=0,2,4,6
/proc/21304/task/21320/stat : 21320 (java) S 21302 21304 16282 0 -1 4202560 8167 0 0 0 151 1 0 0 15 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21321] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21321/stat : 21321 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21322] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21322/stat : 21322 (java) S 21302 21304 16282 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21325] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21325/stat : 21325 (java) S 21302 21304 16282 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811893972 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21365] ppid=21302 vsize=10561228 CPUtime=814.75 cores=0,2,4,6
/proc/21304/task/21365/stat : 21365 (java) S 21302 21304 16282 0 -1 4202560 2539 0 0 0 81471 4 0 0 25 0 22 0 811899723 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21366] ppid=21302 vsize=10561228 CPUtime=814.7 cores=0,2,4,6
/proc/21304/task/21366/stat : 21366 (java) S 21302 21304 16282 0 -1 4202560 275351 0 0 0 81441 29 0 0 25 0 22 0 811899723 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21367] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21367/stat : 21367 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811899723 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 10561228

[startup+933.801 s]
/proc/loadavg: 3.57 3.69 3.54 4/579 21392
/proc/meminfo: memFree=21288564/32951124 swapFree=46970528/67111528
[pid=21304] ppid=21302 vsize=10561228 CPUtime=1800.96 cores=0,2,4,6
/proc/21304/stat : 21304 (java) S 21302 21304 16282 0 -1 4202496 693604 0 1 0 180011 85 0 0 18 0 22 0 811893871 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21304/statm: 2640307 686084 2274 9 0 2631041 0
[pid=21304/tid=21305] ppid=21302 vsize=10561228 CPUtime=0.99 cores=0,2,4,6
/proc/21304/task/21305/stat : 21305 (java) S 21302 21304 16282 0 -1 4202560 34095 0 1 0 94 5 0 0 15 0 22 0 811893872 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21307] ppid=21302 vsize=10561228 CPUtime=0.99 cores=0,2,4,6
/proc/21304/task/21307/stat : 21307 (java) S 21302 21304 16282 0 -1 4202560 4127 0 0 0 99 0 0 0 15 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21308] ppid=21302 vsize=10561228 CPUtime=0.93 cores=0,2,4,6
/proc/21304/task/21308/stat : 21308 (java) S 21302 21304 16282 0 -1 4202560 1974 0 0 0 93 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21309] ppid=21302 vsize=10561228 CPUtime=1.05 cores=0,2,4,6
/proc/21304/task/21309/stat : 21309 (java) S 21302 21304 16282 0 -1 4202560 3130 0 0 0 105 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21310] ppid=21302 vsize=10561228 CPUtime=1.09 cores=0,2,4,6
/proc/21304/task/21310/stat : 21310 (java) S 21302 21304 16282 0 -1 4202560 4881 0 0 0 109 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21311] ppid=21302 vsize=10561228 CPUtime=0.97 cores=0,2,4,6
/proc/21304/task/21311/stat : 21311 (java) S 21302 21304 16282 0 -1 4202560 3265 0 0 0 97 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21312] ppid=21302 vsize=10561228 CPUtime=1.09 cores=0,2,4,6
/proc/21304/task/21312/stat : 21312 (java) S 21302 21304 16282 0 -1 4202560 4051 0 0 0 109 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21313] ppid=21302 vsize=10561228 CPUtime=0.99 cores=0,2,4,6
/proc/21304/task/21313/stat : 21313 (java) S 21302 21304 16282 0 -1 4202560 6782 0 0 0 99 0 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21314] ppid=21302 vsize=10561228 CPUtime=1.15 cores=0,2,4,6
/proc/21304/task/21314/stat : 21314 (java) S 21302 21304 16282 0 -1 4202560 6659 0 0 0 114 1 0 0 16 0 22 0 811893873 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21315] ppid=21302 vsize=10561228 CPUtime=64.22 cores=0,2,4,6
/proc/21304/task/21315/stat : 21315 (java) R 21302 21304 16282 0 -1 4202560 151311 0 0 0 6406 16 0 0 17 0 22 0 811893874 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212039352974 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=21304/tid=21316] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21316/stat : 21316 (java) S 21302 21304 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811893875 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21317] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21317/stat : 21317 (java) S 21302 21304 16282 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 811893875 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21318] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21318/stat : 21318 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 6 0 0 0
[pid=21304/tid=21319] ppid=21302 vsize=10561228 CPUtime=1.56 cores=0,2,4,6
/proc/21304/task/21319/stat : 21319 (java) S 21302 21304 16282 0 -1 4202560 7607 0 0 0 156 0 0 0 16 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21320] ppid=21302 vsize=10561228 CPUtime=1.52 cores=0,2,4,6
/proc/21304/task/21320/stat : 21320 (java) S 21302 21304 16282 0 -1 4202560 8167 0 0 0 151 1 0 0 15 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21321] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21321/stat : 21321 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21322] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21322/stat : 21322 (java) S 21302 21304 16282 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811893877 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 0 0 0 0
[pid=21304/tid=21325] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21325/stat : 21325 (java) S 21302 21304 16282 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811893972 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 4 0 0 0
[pid=21304/tid=21365] ppid=21302 vsize=10561228 CPUtime=814.75 cores=0,2,4,6
/proc/21304/task/21365/stat : 21365 (java) S 21302 21304 16282 0 -1 4202560 2539 0 0 0 81471 4 0 0 25 0 22 0 811899723 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21366] ppid=21302 vsize=10561228 CPUtime=814.7 cores=0,2,4,6
/proc/21304/task/21366/stat : 21366 (java) S 21302 21304 16282 0 -1 4202560 275351 0 0 0 81441 29 0 0 25 0 22 0 811899723 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471257 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
[pid=21304/tid=21367] ppid=21302 vsize=10561228 CPUtime=0 cores=0,2,4,6
/proc/21304/task/21367/stat : 21367 (java) S 21302 21304 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811899723 10814697472 686084 33554432000 1073741824 1073778376 140733404610560 18446744073709551615 212051471872 0 4 0 16800975 18446604441686765760 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 10561228

[startup+934 s]
/proc/loadavg: 3.57 3.69 3.54 4/579 21392
/proc/meminfo: memFree=21288564/32951124 swapFree=46970528/67111528
[pid=21304] ppid=21302 vsize=0 CPUtime=1801.18 cores=0,2,4,6
/proc/21304/stat : 21304 (java) Z 21302 21304 16282 0 -1 4203548 694694 0 1 0 180023 95 0 0 18 0 2 0 811893871 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/21304/statm: 0 0 0 0 0 0 0
[pid=21304/tid=21367] ppid=21302 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/21304/task/21367/stat : 21367 (java) R 21302 21304 16282 0 -1 4203588 1 0 0 0 0 9 0 0 18 0 2 0 811899723 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1801.18
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 934.006
CPU time (s): 1801.19
CPU user time (s): 1800.23
CPU system time (s): 0.955854
CPU usage (%): 192.845
Max. virtual memory (cumulated for all children) (KiB): 10563640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.23
system time used= 0.955854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 694694
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24676
involuntary context switches= 15983

runsolver used 5.50116 second user time and 11.5292 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-04 15:39:36
IDJOB=3453998
IDBENCH=48202
IDSOLVER=1950
FILE ID=node146/3453998-1307194776
RUNJOBID= node146-1307194750-21166
PBS_JOBID= 13508858
Free space on /tmp= 73784 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_4.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453998-1307194776/watcher-3453998-1307194776 -o /tmp/evaluation-result-3453998-1307194776/solver-3453998-1307194776 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453998-1307194776.opb

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

MD5SUM BENCH= 468c9636f2c99e512d4c3bca04b78033
RANDOM SEED=2041298753

node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24412432 kB
Buffers:        178476 kB
Cached:         312548 kB
SwapCached:      60452 kB
Active:         930972 kB
Inactive:      7362504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24412432 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:            1556 kB
Writeback:          16 kB
AnonPages:     7753308 kB
Mapped:          24860 kB
Slab:            77468 kB
PageTables:      99016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 171061284 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73784 MiB
End job on node146 at 2011-06-04 15:55:11