Trace number 3458722

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 Resolution 2.3.0SAT (TO)-38 1800.18 1791.5

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUMe1b2be59a127acc8d929395698929541
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1797.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -45
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58549
Number of constraints which are clauses58549
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 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		12995394264
0.03/0.09	c Max memory 		13063553024
0.03/0.09	c Total memory 		13063553024
0.03/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458722-1307148604.opb
0.10/0.11	c reading problem ... 
1.04/0.58	c ... done. Wall clock time 0.472s.
1.04/0.58	c #vars     945
1.04/0.58	c #constraints  58549
1.04/0.58	c constraints type 
1.04/0.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58549
1.14/0.60	c SATISFIABLE
1.14/0.60	c OPTIMIZING...
1.14/0.60	c Got one! Elapsed wall clock time (in seconds):0.493
1.14/0.60	o -34
1.14/0.68	c Got one! Elapsed wall clock time (in seconds):0.572
1.14/0.68	o -35
2.52/1.71	c cleaning 2509 clauses out of 5018 with flag 5000/5018
2.77/1.93	c Got one! Elapsed wall clock time (in seconds):1.824
2.77/1.93	o -36
3.47/2.67	c cleaning 3793 clauses out of 7586 with flag 4001/10095
4.71/3.87	c cleaning 4897 clauses out of 9793 with flag 10001/16095
6.23/5.34	c cleaning 5947 clauses out of 11896 with flag 17001/23095
8.00/7.00	c cleaning 6971 clauses out of 13948 with flag 25000/31094
9.77/8.80	c cleaning 7987 clauses out of 15977 with flag 34000/40094
12.14/11.07	c cleaning 8992 clauses out of 17991 with flag 44001/50095
14.47/13.38	c cleaning 9997 clauses out of 19998 with flag 55000/61094
17.37/16.27	c cleaning 10993 clauses out of 22002 with flag 67001/73095
20.18/19.08	c cleaning 12002 clauses out of 24008 with flag 80000/86094
23.60/22.41	c cleaning 13001 clauses out of 26006 with flag 94000/100094
27.63/26.51	c cleaning 13996 clauses out of 28006 with flag 109001/115095
31.24/30.04	c cleaning 15000 clauses out of 30009 with flag 125000/131094
34.17/32.95	c Got one! Elapsed wall clock time (in seconds):32.839
34.17/32.95	o -37
35.38/34.13	c cleaning 15864 clauses out of 31728 with flag 5001/147813
36.80/35.57	c cleaning 10922 clauses out of 21864 with flag 11001/153813
38.51/37.21	c cleaning 8965 clauses out of 17941 with flag 18000/160812
40.41/39.14	c cleaning 8484 clauses out of 16976 with flag 26000/168812
42.63/41.37	c cleaning 8742 clauses out of 17492 with flag 35000/177812
44.73/43.48	c cleaning 9368 clauses out of 18751 with flag 45001/187813
47.34/46.03	c cleaning 10190 clauses out of 20383 with flag 56001/198813
50.36/49.09	c cleaning 11095 clauses out of 22192 with flag 68000/210812
53.67/52.30	c cleaning 12048 clauses out of 24098 with flag 81001/223813
57.19/55.88	c cleaning 13025 clauses out of 26050 with flag 95001/237813
61.42/60.06	c cleaning 14002 clauses out of 28024 with flag 110000/252812
65.63/64.29	c cleaning 15004 clauses out of 30022 with flag 126000/268812
69.57/68.21	c cleaning 16001 clauses out of 32018 with flag 143000/285812
74.21/72.76	c cleaning 17004 clauses out of 34017 with flag 161000/303812
79.51/78.09	c cleaning 18002 clauses out of 36013 with flag 180000/322812
85.48/83.96	c cleaning 19005 clauses out of 38011 with flag 200000/342812
91.42/89.82	c cleaning 19999 clauses out of 40006 with flag 221000/363812
98.34/96.76	c cleaning 21003 clauses out of 42007 with flag 243000/385812
104.10/102.49	c cleaning 21998 clauses out of 44004 with flag 266000/408812
110.10/108.47	c cleaning 23001 clauses out of 46007 with flag 290001/432813
117.14/115.41	c cleaning 23996 clauses out of 48006 with flag 315001/457813
124.49/122.74	c cleaning 24999 clauses out of 50009 with flag 341000/483812
126.55/124.72	c Got one! Elapsed wall clock time (in seconds):124.605
126.55/124.72	o -38
127.81/125.94	c cleaning 18750 clauses out of 37500 with flag 5001/496302
129.42/127.54	c cleaning 12366 clauses out of 24749 with flag 11000/502301
131.33/129.43	c cleaning 9681 clauses out of 19383 with flag 18000/509301
133.54/131.64	c cleaning 8851 clauses out of 17702 with flag 26000/517301
136.26/134.39	c cleaning 8922 clauses out of 17852 with flag 35001/526302
138.86/136.92	c cleaning 9462 clauses out of 18929 with flag 45000/536301
141.68/139.72	c cleaning 10229 clauses out of 20468 with flag 56001/547302
145.11/143.12	c cleaning 11119 clauses out of 22238 with flag 68000/559301
148.50/146.56	c cleaning 12055 clauses out of 24120 with flag 81001/572302
152.42/150.49	c cleaning 13031 clauses out of 26064 with flag 95000/586301
157.15/155.12	c cleaning 14012 clauses out of 28034 with flag 110001/601302
160.66/158.67	c cleaning 15003 clauses out of 30021 with flag 126000/617301
164.90/162.82	c cleaning 16005 clauses out of 32018 with flag 143000/634301
169.61/167.57	c cleaning 17002 clauses out of 34014 with flag 161001/652302
174.53/172.40	c cleaning 17996 clauses out of 36011 with flag 180000/671301
180.05/177.97	c cleaning 19008 clauses out of 38015 with flag 200000/691301
186.09/183.99	c cleaning 20002 clauses out of 40008 with flag 221001/712302
193.43/191.27	c cleaning 21001 clauses out of 42005 with flag 243000/734301
199.87/197.68	c cleaning 21990 clauses out of 44005 with flag 266001/757302
207.50/205.27	c cleaning 23003 clauses out of 46014 with flag 290000/781301
214.24/211.90	c cleaning 24004 clauses out of 48011 with flag 315000/806301
222.15/219.83	c cleaning 25000 clauses out of 50007 with flag 341000/832301
231.78/229.48	c cleaning 25998 clauses out of 52007 with flag 368000/859301
240.62/238.24	c cleaning 27001 clauses out of 54009 with flag 396000/887301
247.97/245.59	c cleaning 27990 clauses out of 56008 with flag 425000/916301
255.90/253.49	c cleaning 29005 clauses out of 58018 with flag 455000/946301
265.24/262.72	c cleaning 30005 clauses out of 60014 with flag 486001/977302
274.58/272.00	c cleaning 30997 clauses out of 62008 with flag 518000/1009301
283.63/281.03	c cleaning 32000 clauses out of 64011 with flag 551000/1042301
295.08/292.46	c cleaning 33005 clauses out of 66012 with flag 585001/1076302
305.54/302.83	c cleaning 34000 clauses out of 68006 with flag 620000/1111301
318.02/315.24	c cleaning 35000 clauses out of 70006 with flag 656000/1147301
330.08/327.20	c cleaning 35997 clauses out of 72006 with flag 693000/1184301
341.76/338.85	c cleaning 37003 clauses out of 74010 with flag 731001/1222302
354.79/351.88	c cleaning 38003 clauses out of 76007 with flag 770001/1261302
370.66/367.62	c cleaning 39001 clauses out of 78003 with flag 810000/1301301
385.14/382.06	c cleaning 39993 clauses out of 80002 with flag 851000/1342301
396.51/393.30	c cleaning 40994 clauses out of 82009 with flag 893000/1384301
409.97/406.70	c cleaning 42007 clauses out of 84016 with flag 936001/1427302
425.66/422.39	c cleaning 42997 clauses out of 86008 with flag 980000/1471301
443.50/440.02	c cleaning 44002 clauses out of 88012 with flag 1025001/1516302
457.47/453.93	c cleaning 44990 clauses out of 90009 with flag 1071000/1562301
473.93/470.38	c cleaning 46002 clauses out of 92019 with flag 1118000/1609301
489.42/485.77	c cleaning 47001 clauses out of 94017 with flag 1166000/1657301
507.98/504.23	c cleaning 48001 clauses out of 96016 with flag 1215000/1706301
526.16/522.31	c cleaning 49003 clauses out of 98016 with flag 1265001/1756302
542.05/538.11	c cleaning 50003 clauses out of 100012 with flag 1316000/1807301
562.43/558.43	c cleaning 51000 clauses out of 102009 with flag 1368000/1859301
587.41/583.39	c cleaning 52002 clauses out of 104010 with flag 1421001/1912302
608.21/604.07	c cleaning 53001 clauses out of 106007 with flag 1475000/1966301
627.00/622.77	c cleaning 54002 clauses out of 108008 with flag 1530002/2021303
643.42/639.01	c cleaning 54991 clauses out of 110004 with flag 1586000/2077301
663.89/659.43	c cleaning 55997 clauses out of 112013 with flag 1643000/2134301
684.88/680.38	c cleaning 56996 clauses out of 114016 with flag 1701000/2192301
705.69/701.04	c cleaning 58000 clauses out of 116021 with flag 1760001/2251302
727.10/722.32	c cleaning 58504 clauses out of 117020 with flag 1819000/2310301
751.47/746.66	c cleaning 58755 clauses out of 117517 with flag 1878001/2369302
774.29/769.31	c cleaning 58876 clauses out of 117761 with flag 1937000/2428301
794.25/789.24	c cleaning 58927 clauses out of 117886 with flag 1996001/2487302
817.44/812.31	c cleaning 58967 clauses out of 117958 with flag 2055000/2546301
842.00/836.83	c cleaning 58990 clauses out of 117991 with flag 2114000/2605301
865.51/860.26	c cleaning 58996 clauses out of 118002 with flag 2173001/2664302
887.44/882.20	c cleaning 58993 clauses out of 118005 with flag 2232000/2723301
910.72/905.36	c cleaning 58997 clauses out of 118012 with flag 2291000/2782301
934.80/929.38	c cleaning 58981 clauses out of 118015 with flag 2350000/2841301
958.17/952.66	c cleaning 59010 clauses out of 118036 with flag 2409002/2900303
980.45/974.82	c cleaning 59002 clauses out of 118025 with flag 2468001/2959302
1000.01/994.31	c cleaning 59007 clauses out of 118022 with flag 2527000/3018301
1017.11/1011.31	c cleaning 59004 clauses out of 118015 with flag 2586000/3077301
1037.54/1031.77	c cleaning 58997 clauses out of 118012 with flag 2645001/3136302
1060.99/1055.09	c cleaning 59008 clauses out of 118016 with flag 2704002/3195303
1083.18/1077.17	c cleaning 58999 clauses out of 118006 with flag 2763000/3254301
1104.07/1097.98	c cleaning 58993 clauses out of 118007 with flag 2822000/3313301
1129.77/1123.57	c cleaning 58994 clauses out of 118014 with flag 2881000/3372301
1154.25/1147.99	c cleaning 58996 clauses out of 118020 with flag 2940000/3431301
1174.65/1168.24	c cleaning 59003 clauses out of 118024 with flag 2999000/3490301
1199.73/1193.23	c cleaning 59005 clauses out of 118021 with flag 3058000/3549301
1227.34/1220.72	c cleaning 58998 clauses out of 118017 with flag 3117001/3608302
1251.15/1244.42	c cleaning 59003 clauses out of 118019 with flag 3176001/3667302
1274.06/1267.30	c cleaning 58999 clauses out of 118015 with flag 3235000/3726301
1300.15/1293.23	c cleaning 59001 clauses out of 118017 with flag 3294001/3785302
1324.57/1317.53	c cleaning 59000 clauses out of 118015 with flag 3353000/3844301
1349.24/1342.17	c cleaning 59002 clauses out of 118015 with flag 3412000/3903301
1373.69/1366.59	c cleaning 59002 clauses out of 118013 with flag 3471000/3962301
1393.37/1386.17	c cleaning 58993 clauses out of 118012 with flag 3530001/4021302
1416.79/1409.59	c cleaning 58997 clauses out of 118018 with flag 3589000/4080301
1443.57/1436.21	c cleaning 59005 clauses out of 118022 with flag 3648001/4139302
1467.95/1460.58	c cleaning 58992 clauses out of 118016 with flag 3707000/4198301
1492.85/1485.35	c cleaning 59003 clauses out of 118024 with flag 3766000/4257301
1517.86/1510.22	c cleaning 58999 clauses out of 118021 with flag 3825000/4316301
1542.06/1534.32	c cleaning 59001 clauses out of 118023 with flag 3884001/4375302
1568.08/1560.36	c cleaning 58998 clauses out of 118021 with flag 3943000/4434301
1594.43/1586.63	c cleaning 58998 clauses out of 118024 with flag 4002001/4493302
1610.89/1603.06	c cleaning 58998 clauses out of 118025 with flag 4061000/4552301
1630.37/1622.44	c cleaning 59002 clauses out of 118027 with flag 4120000/4611301
1651.27/1643.21	c cleaning 59009 clauses out of 118025 with flag 4179000/4670301
1669.93/1661.81	c cleaning 59002 clauses out of 118016 with flag 4238000/4729301
1693.09/1684.93	c cleaning 58996 clauses out of 118014 with flag 4297000/4788301
1715.48/1707.30	c cleaning 59007 clauses out of 118018 with flag 4356000/4847301
1739.80/1731.49	c cleaning 59002 clauses out of 118011 with flag 4415000/4906301
1763.19/1754.74	c cleaning 59003 clauses out of 118009 with flag 4474000/4965301
1785.95/1777.41	c cleaning 59002 clauses out of 118008 with flag 4533002/5024303
1800.05/1791.42	c starts		: 278
1800.05/1791.42	c conflicts		: 5063439
1800.05/1791.42	c decisions		: 5431036
1800.05/1791.42	c propagations		: 30496128
1800.05/1791.42	c inspects		: 7493975186
1800.05/1791.42	c shortcuts		: 0
1800.05/1791.42	c learnt literals	: 0
1800.05/1791.42	c learnt binary clauses	: 0
1800.05/1791.42	c learnt ternary clauses	: 0
1800.05/1791.42	c learnt constraints	: 5063439
1800.05/1791.42	c ignored constraints	: 0
1800.05/1791.42	c root simplifications	: 0
1800.05/1791.42	c removed literals (reason simplification)	: 71436084
1800.05/1791.42	c reason swapping (by a shorter reason)	: 0
1800.05/1791.42	c Calls to reduceDB	: 137
1800.05/1791.42	c number of reductions to clauses (during analyze)	: 0
1800.05/1791.42	c number of learned constraints concerned by reduction	: 0
1800.05/1791.42	c number of learning phase by resolution	: 0
1800.05/1791.42	c number of learning phase by cutting planes	: 0
1800.05/1791.42	c speed (assignments/second)	: 18297.246184990036
1800.05/1791.42	c non guided choices	0
1800.05/1791.45	c learnt constraints type 
1800.05/1791.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 98159
1800.05/1791.45	c constraints type 
1800.05/1791.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1791.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58549
1800.05/1791.45	s SATISFIABLE
1800.05/1791.45	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 
1800.05/1791.45	c objective function=-38
1800.05/1791.45	c Total wall clock time (in seconds): 1791.342

Verifier Data 

OK	-38

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-3458722-1307148604/watcher-3458722-1307148604 -o /tmp/evaluation-result-3458722-1307148604/solver-3458722-1307148604 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458722-1307148604.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.39 2.13 1.98 3/532 22583
/proc/meminfo: memFree=21566628/32951124 swapFree=62999000/67111528
[pid=22583] ppid=22581 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/22583/stat : 22583 (java) S 22581 22583 20485 0 -1 4202496 4677 0 1 0 0 0 0 0 25 0 2 0 807276051 13850947584 4378 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22583/statm: 3381579 4392 917 9 0 3372735 0
[pid=22583/tid=22584] ppid=22581 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22584/stat : 22584 (java) R 22581 22583 20485 0 -1 4202560 6336 0 1 0 0 0 0 0 25 0 2 0 807276052 13850947584 7152 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0466279 s]
/proc/loadavg: 2.39 2.13 1.98 3/532 22583
/proc/meminfo: memFree=21566628/32951124 swapFree=62999000/67111528
[pid=22583] ppid=22581 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/22583/stat : 22583 (java) S 22581 22583 20485 0 -1 4202496 13724 0 1 0 2 1 0 0 25 0 13 0 807276051 13874667520 13420 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22583/statm: 3387370 13421 1669 9 0 3378118 0
[pid=22583/tid=22584] ppid=22581 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/22583/task/22584/stat : 22584 (java) R 22581 22583 20485 0 -1 4202560 12577 0 1 0 2 1 0 0 25 0 13 0 807276052 13874667520 13421 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 47075882862104 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480

[startup+0.100581 s]
/proc/loadavg: 2.39 2.13 1.98 3/532 22583
/proc/meminfo: memFree=21566628/32951124 swapFree=62999000/67111528
[pid=22583] ppid=22581 vsize=13622016 CPUtime=0.1 cores=1,3,5,7
/proc/22583/stat : 22583 (java) S 22581 22583 20485 0 -1 4202496 15504 0 1 0 8 2 0 0 25 0 18 0 807276051 13948944384 15200 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22583/statm: 3405504 15202 2092 9 0 3396238 0
[pid=22583/tid=22584] ppid=22581 vsize=13622016 CPUtime=0.08 cores=1,3,5,7
/proc/22583/task/22584/stat : 22584 (java) R 22581 22583 20485 0 -1 4202560 13605 0 1 0 7 1 0 0 18 0 18 0 807276052 13948944384 15202 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 47075884297012 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622016

[startup+0.334247 s]
/proc/loadavg: 2.39 2.13 1.98 3/532 22583
/proc/meminfo: memFree=21566628/32951124 swapFree=62999000/67111528
[pid=22583] ppid=22581 vsize=13623928 CPUtime=0.55 cores=1,3,5,7
/proc/22583/stat : 22583 (java) S 22581 22583 20485 0 -1 4202496 19354 0 1 0 53 2 0 0 25 0 18 0 807276051 13950902272 18600 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22583/statm: 3405982 18601 2201 9 0 3396716 0
[pid=22583/tid=22584] ppid=22581 vsize=13623928 CPUtime=0.31 cores=1,3,5,7
/proc/22583/task/22584/stat : 22584 (java) R 22581 22583 20485 0 -1 4202560 16205 0 1 0 29 2 0 0 18 0 18 0 807276052 13950902272 18602 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 46912505583054 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13623928

[startup+0.71222 s]
/proc/loadavg: 2.39 2.13 1.98 3/532 22583
/proc/meminfo: memFree=21566628/32951124 swapFree=62999000/67111528
[pid=22583] ppid=22581 vsize=13627684 CPUtime=1.42 cores=1,3,5,7
/proc/22583/stat : 22583 (java) S 22581 22583 20485 0 -1 4202496 45263 0 1 0 136 6 0 0 25 0 19 0 807276051 13954748416 42716 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22583/statm: 3406921 42716 2230 9 0 3397655 0
[pid=22583/tid=22584] ppid=22581 vsize=13627684 CPUtime=0.69 cores=1,3,5,7
/proc/22583/task/22584/stat : 22584 (java) R 22581 22583 20485 0 -1 4202560 38126 0 1 0 64 5 0 0 19 0 19 0 807276052 13954748416 42717 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 47075884297043 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 13627684

[startup+1.50135 s]
/proc/loadavg: 2.39 2.13 1.98 3/551 22602
/proc/meminfo: memFree=21355376/32951124 swapFree=62999000/67111528
[pid=22583] ppid=22581 vsize=13627684 CPUtime=2.3 cores=1,3,5,7
/proc/22583/stat : 22583 (java) S 22581 22583 20485 0 -1 4202496 49083 0 1 0 224 6 0 0 25 0 19 0 807276051 13954748416 46535 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22583/statm: 3406921 46536 2233 9 0 3397655 0
[pid=22583/tid=22584] ppid=22581 vsize=13627684 CPUtime=1.48 cores=1,3,5,7
/proc/22583/task/22584/stat : 22584 (java) R 22581 22583 20485 0 -1 4202560 41929 0 1 0 143 5 0 0 18 0 19 0 807276052 13954748416 46536 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 47075884297043 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22583/tid=22586] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22586/stat : 22586 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276054 13954748416 46536 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22587] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22587/stat : 22587 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276054 13954748416 46536 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22588] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22588/stat : 22588 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276054 13954748416 46536 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22589] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22589/stat : 22589 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276054 13954748416 46536 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22590] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22590/stat : 22590 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276054 13954748416 46536 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22591] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22591/stat : 22591 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276054 13954748416 46536 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22592] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22592/stat : 22592 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276054 13954748416 46537 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22593] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22593/stat : 22593 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276054 13954748416 46537 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22594] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22594/stat : 22594 (java) S 22581 22583 20485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 46537 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 0 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22595] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22595/stat : 22595 (java) S 22581 22583 20485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807276055 13954748416 46537 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22596] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22596/stat : 22596 (java) S 22581 22583 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807276055 13954748416 46537 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22597] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22597/stat : 22597 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276057 13954748416 46537 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738228657 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22598] ppid=22581 vsize=13627684 CPUtime=0.41 cores=1,3,5,7
/proc/22583/task/22598/stat : 22598 (java) S 22581 22583 20485 0 -1 4202560 4108 0 0 0 41 0 0 0 24 0 19 0 807276057 13954748416 46537 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22599] ppid=22581 vsize=13627684 CPUtime=0.39 cores=1,3,5,7
/proc/22583/task/22599/stat : 22599 (java) S 22581 22583 20485 0 -1 4202560 1886 0 0 0 39 0 0 0 15 0 19 0 807276058 13954748416 46538 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22600] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22600/stat : 22600 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276058 13954748416 46538 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22601] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22601/stat : 22601 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807276058 13954748416 46538 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22602] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22602/stat : 22602 (java) S 22581 22583 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807276111 13954748416 46538 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 13627684

[startup+3.10105 s]
/proc/loadavg: 2.39 2.13 1.98 3/551 22602
/proc/meminfo: memFree=21313340/32951124 swapFree=62999000/67111528
[pid=22583] ppid=22581 vsize=13627684 CPUtime=4.01 cores=1,3,5,7
/proc/22583/stat : 22583 (java) S 22581 22583 20485 0 -1 4202496 63472 0 1 0 392 9 0 0 25 0 19 0 807276051 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22583/statm: 3406921 60801 2262 9 0 3397655 0
[pid=22583/tid=22584] ppid=22581 vsize=13627684 CPUtime=3.01 cores=1,3,5,7
/proc/22583/task/22584/stat : 22584 (java) R 22581 22583 20485 0 -1 4202560 42813 0 1 0 296 5 0 0 18 0 19 0 807276052 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 46912505874907 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22583/tid=22586] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22586/stat : 22586 (java) S 22581 22583 20485 0 -1 4202560 1716 0 0 0 0 0 0 0 15 0 19 0 807276054 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22587] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22587/stat : 22587 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807276054 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22588] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22588/stat : 22588 (java) S 22581 22583 20485 0 -1 4202560 1600 0 0 0 0 0 0 0 15 0 19 0 807276054 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22589] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22589/stat : 22589 (java) S 22581 22583 20485 0 -1 4202560 1397 0 0 0 0 0 0 0 16 0 19 0 807276054 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22590] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22590/stat : 22590 (java) S 22581 22583 20485 0 -1 4202560 1070 0 0 0 0 0 0 0 18 0 19 0 807276054 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22591] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22591/stat : 22591 (java) S 22581 22583 20485 0 -1 4202560 1165 0 0 0 0 0 0 0 18 0 19 0 807276054 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22592] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22592/stat : 22592 (java) S 22581 22583 20485 0 -1 4202560 545 0 0 0 0 0 0 0 18 0 19 0 807276054 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22593] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22593/stat : 22593 (java) S 22581 22583 20485 0 -1 4202560 614 0 0 0 0 0 0 0 18 0 19 0 807276054 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22594] ppid=22581 vsize=13627684 CPUtime=0.04 cores=1,3,5,7
/proc/22583/task/22594/stat : 22594 (java) S 22581 22583 20485 0 -1 4202560 5264 0 0 0 4 0 0 0 15 0 19 0 807276055 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 0 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22595] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22595/stat : 22595 (java) S 22581 22583 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22596] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22596/stat : 22596 (java) S 22581 22583 20485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22597] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22597/stat : 22597 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276057 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738228657 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22598] ppid=22581 vsize=13627684 CPUtime=0.46 cores=1,3,5,7
/proc/22583/task/22598/stat : 22598 (java) S 22581 22583 20485 0 -1 4202560 4240 0 0 0 46 0 0 0 15 0 19 0 807276057 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22599] ppid=22581 vsize=13627684 CPUtime=0.42 cores=1,3,5,7
/proc/22583/task/22599/stat : 22599 (java) S 22581 22583 20485 0 -1 4202560 1896 0 0 0 42 0 0 0 16 0 19 0 807276058 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22600] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22600/stat : 22600 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276058 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22601] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22601/stat : 22601 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807276058 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22602] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22602/stat : 22602 (java) S 22581 22583 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807276111 13954748416 60801 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 13627684

[startup+6.30145 s]
/proc/loadavg: 2.52 2.16 1.99 4/551 22602
/proc/meminfo: memFree=21239936/32951124 swapFree=62999000/67111528
[pid=22583] ppid=22581 vsize=13627684 CPUtime=7.3 cores=1,3,5,7
/proc/22583/stat : 22583 (java) S 22581 22583 20485 0 -1 4202496 69788 0 1 0 720 10 0 0 25 0 19 0 807276051 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22583/statm: 3406921 67106 2262 9 0 3397655 0
[pid=22583/tid=22584] ppid=22581 vsize=13627684 CPUtime=6.12 cores=1,3,5,7
/proc/22583/task/22584/stat : 22584 (java) R 22581 22583 20485 0 -1 4202560 42815 0 1 0 607 5 0 0 24 0 19 0 807276052 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 46912505874310 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22583/tid=22586] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22586/stat : 22586 (java) S 22581 22583 20485 0 -1 4202560 1716 0 0 0 0 0 0 0 15 0 19 0 807276054 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22587] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22587/stat : 22587 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807276054 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22588] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22588/stat : 22588 (java) S 22581 22583 20485 0 -1 4202560 1600 0 0 0 0 0 0 0 15 0 19 0 807276054 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22589] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22589/stat : 22589 (java) S 22581 22583 20485 0 -1 4202560 2046 0 0 0 0 0 0 0 16 0 19 0 807276054 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22590] ppid=22581 vsize=13627684 CPUtime=0.02 cores=1,3,5,7
/proc/22583/task/22590/stat : 22590 (java) S 22581 22583 20485 0 -1 4202560 2475 0 0 0 2 0 0 0 18 0 19 0 807276054 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22591] ppid=22581 vsize=13627684 CPUtime=0.01 cores=1,3,5,7
/proc/22583/task/22591/stat : 22591 (java) S 22581 22583 20485 0 -1 4202560 1881 0 0 0 1 0 0 0 15 0 19 0 807276054 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22592] ppid=22581 vsize=13627684 CPUtime=0.01 cores=1,3,5,7
/proc/22583/task/22592/stat : 22592 (java) S 22581 22583 20485 0 -1 4202560 545 0 0 0 1 0 0 0 15 0 19 0 807276054 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22593] ppid=22581 vsize=13627684 CPUtime=0.01 cores=1,3,5,7
/proc/22583/task/22593/stat : 22593 (java) S 22581 22583 20485 0 -1 4202560 1212 0 0 0 1 0 0 0 16 0 19 0 807276054 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22594] ppid=22581 vsize=13627684 CPUtime=0.11 cores=1,3,5,7
/proc/22583/task/22594/stat : 22594 (java) S 22581 22583 20485 0 -1 4202560 8198 0 0 0 10 1 0 0 16 0 19 0 807276055 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 0 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22595] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22595/stat : 22595 (java) S 22581 22583 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22596] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22596/stat : 22596 (java) S 22581 22583 20485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22597] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22597/stat : 22597 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276057 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738228657 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22598] ppid=22581 vsize=13627684 CPUtime=0.46 cores=1,3,5,7
/proc/22583/task/22598/stat : 22598 (java) S 22581 22583 20485 0 -1 4202560 4241 0 0 0 46 0 0 0 15 0 19 0 807276057 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22599] ppid=22581 vsize=13627684 CPUtime=0.46 cores=1,3,5,7
/proc/22583/task/22599/stat : 22599 (java) S 22581 22583 20485 0 -1 4202560 1907 0 0 0 46 0 0 0 15 0 19 0 807276058 13954748416 67106 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0

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

[pid=22583/tid=22591] ppid=22581 vsize=13627684 CPUtime=1.34 cores=1,3,5,7
/proc/22583/task/22591/stat : 22591 (java) S 22581 22583 20485 0 -1 4202560 10234 0 0 0 133 1 0 0 16 0 19 0 807276054 13954748416 243321 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22592] ppid=22581 vsize=13627684 CPUtime=1.25 cores=1,3,5,7
/proc/22583/task/22592/stat : 22592 (java) S 22581 22583 20485 0 -1 4202560 9253 0 0 0 124 1 0 0 16 0 19 0 807276054 13954748416 243321 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22593] ppid=22581 vsize=13627684 CPUtime=1.39 cores=1,3,5,7
/proc/22583/task/22593/stat : 22593 (java) S 22581 22583 20485 0 -1 4202560 14432 0 0 0 137 2 0 0 15 0 19 0 807276054 13954748416 243321 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22594] ppid=22581 vsize=13627684 CPUtime=9.18 cores=1,3,5,7
/proc/22583/task/22594/stat : 22594 (java) S 22581 22583 20485 0 -1 4202560 75965 0 0 0 908 10 0 0 15 0 19 0 807276055 13954748416 243321 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 0 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22595] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22595/stat : 22595 (java) S 22581 22583 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 243321 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22596] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22596/stat : 22596 (java) S 22581 22583 20485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 243321 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22597] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22597/stat : 22597 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276057 13954748416 243321 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738228657 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22598] ppid=22581 vsize=13627684 CPUtime=0.59 cores=1,3,5,7
/proc/22583/task/22598/stat : 22598 (java) S 22581 22583 20485 0 -1 4202560 4261 0 0 0 59 0 0 0 15 0 19 0 807276057 13954748416 243321 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22599] ppid=22581 vsize=13627684 CPUtime=0.52 cores=1,3,5,7
/proc/22583/task/22599/stat : 22599 (java) S 22581 22583 20485 0 -1 4202560 1913 0 0 0 52 0 0 0 15 0 19 0 807276058 13954748416 243321 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22600] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22600/stat : 22600 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276058 13954748416 243321 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22601] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22601/stat : 22601 (java) S 22581 22583 20485 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807276058 13954748416 243321 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22602] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22602/stat : 22602 (java) S 22581 22583 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807276111 13954748416 243321 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1730.68
Current children cumulated vsize (KiB) 13627684

[startup+1782.3 s]
/proc/loadavg: 2.16 2.12 2.03 3/551 22663
/proc/meminfo: memFree=19773152/32951124 swapFree=62999000/67111528
[pid=22583] ppid=22581 vsize=13627684 CPUtime=1790.94 cores=1,3,5,7
/proc/22583/stat : 22583 (java) S 22581 22583 20485 0 -1 4202496 250045 0 1 0 179053 41 0 0 25 0 19 0 807276051 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22583/statm: 3406921 246875 2263 9 0 3397655 0
[pid=22583/tid=22584] ppid=22581 vsize=13627684 CPUtime=1769.76 cores=1,3,5,7
/proc/22583/task/22584/stat : 22584 (java) R 22581 22583 20485 0 -1 4202560 67067 0 1 0 176966 10 0 0 25 0 19 0 807276052 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 46912505874585 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22583/tid=22586] ppid=22581 vsize=13627684 CPUtime=1.1 cores=1,3,5,7
/proc/22583/task/22586/stat : 22586 (java) S 22581 22583 20485 0 -1 4202560 15302 0 0 0 108 2 0 0 15 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22587] ppid=22581 vsize=13627684 CPUtime=1.31 cores=1,3,5,7
/proc/22583/task/22587/stat : 22587 (java) S 22581 22583 20485 0 -1 4202560 7648 0 0 0 130 1 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22588] ppid=22581 vsize=13627684 CPUtime=1.07 cores=1,3,5,7
/proc/22583/task/22588/stat : 22588 (java) S 22581 22583 20485 0 -1 4202560 9538 0 0 0 106 1 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22589] ppid=22581 vsize=13627684 CPUtime=1.43 cores=1,3,5,7
/proc/22583/task/22589/stat : 22589 (java) S 22581 22583 20485 0 -1 4202560 16803 0 0 0 141 2 0 0 15 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22590] ppid=22581 vsize=13627684 CPUtime=1.36 cores=1,3,5,7
/proc/22583/task/22590/stat : 22590 (java) S 22581 22583 20485 0 -1 4202560 12860 0 0 0 134 2 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22591] ppid=22581 vsize=13627684 CPUtime=1.38 cores=1,3,5,7
/proc/22583/task/22591/stat : 22591 (java) S 22581 22583 20485 0 -1 4202560 10234 0 0 0 137 1 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22592] ppid=22581 vsize=13627684 CPUtime=1.31 cores=1,3,5,7
/proc/22583/task/22592/stat : 22592 (java) S 22581 22583 20485 0 -1 4202560 9253 0 0 0 130 1 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22593] ppid=22581 vsize=13627684 CPUtime=1.43 cores=1,3,5,7
/proc/22583/task/22593/stat : 22593 (java) S 22581 22583 20485 0 -1 4202560 14438 0 0 0 141 2 0 0 15 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22594] ppid=22581 vsize=13627684 CPUtime=9.54 cores=1,3,5,7
/proc/22583/task/22594/stat : 22594 (java) S 22581 22583 20485 0 -1 4202560 79475 0 0 0 943 11 0 0 15 0 19 0 807276055 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 0 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22595] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22595/stat : 22595 (java) S 22581 22583 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22596] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22596/stat : 22596 (java) S 22581 22583 20485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22597] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22597/stat : 22597 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276057 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738228657 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22598] ppid=22581 vsize=13627684 CPUtime=0.59 cores=1,3,5,7
/proc/22583/task/22598/stat : 22598 (java) S 22581 22583 20485 0 -1 4202560 4261 0 0 0 59 0 0 0 15 0 19 0 807276057 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22599] ppid=22581 vsize=13627684 CPUtime=0.52 cores=1,3,5,7
/proc/22583/task/22599/stat : 22599 (java) S 22581 22583 20485 0 -1 4202560 1913 0 0 0 52 0 0 0 15 0 19 0 807276058 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22600] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22600/stat : 22600 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276058 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22601] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22601/stat : 22601 (java) S 22581 22583 20485 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807276058 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22602] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22602/stat : 22602 (java) S 22581 22583 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807276111 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1790.94
Current children cumulated vsize (KiB) 13627684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.4 s]
/proc/loadavg: 2.13 2.11 2.03 3/530 22670
/proc/meminfo: memFree=20788976/32951124 swapFree=62999000/67111528
[pid=22583] ppid=22581 vsize=13627684 CPUtime=1800.05 cores=1,3,5,7
/proc/22583/stat : 22583 (java) S 22581 22583 20485 0 -1 4202496 250047 0 1 0 179964 41 0 0 25 0 19 0 807276051 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22583/statm: 3406921 246875 2263 9 0 3397655 0
[pid=22583/tid=22584] ppid=22581 vsize=13627684 CPUtime=1778.88 cores=1,3,5,7
/proc/22583/task/22584/stat : 22584 (java) R 22581 22583 20485 0 -1 4202560 67067 0 1 0 177878 10 0 0 25 0 19 0 807276052 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 46912505874721 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22583/tid=22586] ppid=22581 vsize=13627684 CPUtime=1.1 cores=1,3,5,7
/proc/22583/task/22586/stat : 22586 (java) S 22581 22583 20485 0 -1 4202560 15302 0 0 0 108 2 0 0 15 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22587] ppid=22581 vsize=13627684 CPUtime=1.31 cores=1,3,5,7
/proc/22583/task/22587/stat : 22587 (java) S 22581 22583 20485 0 -1 4202560 7648 0 0 0 130 1 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22588] ppid=22581 vsize=13627684 CPUtime=1.07 cores=1,3,5,7
/proc/22583/task/22588/stat : 22588 (java) S 22581 22583 20485 0 -1 4202560 9538 0 0 0 106 1 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22589] ppid=22581 vsize=13627684 CPUtime=1.43 cores=1,3,5,7
/proc/22583/task/22589/stat : 22589 (java) S 22581 22583 20485 0 -1 4202560 16803 0 0 0 141 2 0 0 15 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22590] ppid=22581 vsize=13627684 CPUtime=1.36 cores=1,3,5,7
/proc/22583/task/22590/stat : 22590 (java) S 22581 22583 20485 0 -1 4202560 12860 0 0 0 134 2 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22591] ppid=22581 vsize=13627684 CPUtime=1.38 cores=1,3,5,7
/proc/22583/task/22591/stat : 22591 (java) S 22581 22583 20485 0 -1 4202560 10234 0 0 0 137 1 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22592] ppid=22581 vsize=13627684 CPUtime=1.31 cores=1,3,5,7
/proc/22583/task/22592/stat : 22592 (java) S 22581 22583 20485 0 -1 4202560 9253 0 0 0 130 1 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22593] ppid=22581 vsize=13627684 CPUtime=1.43 cores=1,3,5,7
/proc/22583/task/22593/stat : 22593 (java) S 22581 22583 20485 0 -1 4202560 14438 0 0 0 141 2 0 0 15 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22594] ppid=22581 vsize=13627684 CPUtime=9.54 cores=1,3,5,7
/proc/22583/task/22594/stat : 22594 (java) S 22581 22583 20485 0 -1 4202560 79475 0 0 0 943 11 0 0 15 0 19 0 807276055 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 0 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22595] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22595/stat : 22595 (java) S 22581 22583 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22596] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22596/stat : 22596 (java) S 22581 22583 20485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22597] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22597/stat : 22597 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276057 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738228657 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22598] ppid=22581 vsize=13627684 CPUtime=0.59 cores=1,3,5,7
/proc/22583/task/22598/stat : 22598 (java) S 22581 22583 20485 0 -1 4202560 4261 0 0 0 59 0 0 0 15 0 19 0 807276057 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22599] ppid=22581 vsize=13627684 CPUtime=0.52 cores=1,3,5,7
/proc/22583/task/22599/stat : 22599 (java) S 22581 22583 20485 0 -1 4202560 1913 0 0 0 52 0 0 0 15 0 19 0 807276058 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22600] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22600/stat : 22600 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276058 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22601] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22601/stat : 22601 (java) S 22581 22583 20485 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807276058 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22602] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22602/stat : 22602 (java) S 22581 22583 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807276111 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13627684

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

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

[startup+1791.4 s]
/proc/loadavg: 2.13 2.11 2.03 3/530 22670
/proc/meminfo: memFree=20788976/32951124 swapFree=62999000/67111528
[pid=22583] ppid=22581 vsize=13627684 CPUtime=1800.05 cores=1,3,5,7
/proc/22583/stat : 22583 (java) S 22581 22583 20485 0 -1 4202496 250047 0 1 0 179964 41 0 0 25 0 19 0 807276051 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22583/statm: 3406921 246875 2263 9 0 3397655 0
[pid=22583/tid=22584] ppid=22581 vsize=13627684 CPUtime=1778.88 cores=1,3,5,7
/proc/22583/task/22584/stat : 22584 (java) R 22581 22583 20485 0 -1 4202560 67067 0 1 0 177878 10 0 0 25 0 19 0 807276052 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 46912505874721 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22583/tid=22586] ppid=22581 vsize=13627684 CPUtime=1.1 cores=1,3,5,7
/proc/22583/task/22586/stat : 22586 (java) S 22581 22583 20485 0 -1 4202560 15302 0 0 0 108 2 0 0 15 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22587] ppid=22581 vsize=13627684 CPUtime=1.31 cores=1,3,5,7
/proc/22583/task/22587/stat : 22587 (java) S 22581 22583 20485 0 -1 4202560 7648 0 0 0 130 1 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22588] ppid=22581 vsize=13627684 CPUtime=1.07 cores=1,3,5,7
/proc/22583/task/22588/stat : 22588 (java) S 22581 22583 20485 0 -1 4202560 9538 0 0 0 106 1 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22589] ppid=22581 vsize=13627684 CPUtime=1.43 cores=1,3,5,7
/proc/22583/task/22589/stat : 22589 (java) S 22581 22583 20485 0 -1 4202560 16803 0 0 0 141 2 0 0 15 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 1 0 0 0
[pid=22583/tid=22590] ppid=22581 vsize=13627684 CPUtime=1.36 cores=1,3,5,7
/proc/22583/task/22590/stat : 22590 (java) S 22581 22583 20485 0 -1 4202560 12860 0 0 0 134 2 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22591] ppid=22581 vsize=13627684 CPUtime=1.38 cores=1,3,5,7
/proc/22583/task/22591/stat : 22591 (java) S 22581 22583 20485 0 -1 4202560 10234 0 0 0 137 1 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22592] ppid=22581 vsize=13627684 CPUtime=1.31 cores=1,3,5,7
/proc/22583/task/22592/stat : 22592 (java) S 22581 22583 20485 0 -1 4202560 9253 0 0 0 130 1 0 0 16 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22593] ppid=22581 vsize=13627684 CPUtime=1.43 cores=1,3,5,7
/proc/22583/task/22593/stat : 22593 (java) S 22581 22583 20485 0 -1 4202560 14438 0 0 0 141 2 0 0 15 0 19 0 807276054 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22594] ppid=22581 vsize=13627684 CPUtime=9.54 cores=1,3,5,7
/proc/22583/task/22594/stat : 22594 (java) S 22581 22583 20485 0 -1 4202560 79475 0 0 0 943 11 0 0 15 0 19 0 807276055 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 0 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22595] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22595/stat : 22595 (java) S 22581 22583 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22596] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22596/stat : 22596 (java) S 22581 22583 20485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807276055 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22597] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22597/stat : 22597 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276057 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738228657 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22598] ppid=22581 vsize=13627684 CPUtime=0.59 cores=1,3,5,7
/proc/22583/task/22598/stat : 22598 (java) S 22581 22583 20485 0 -1 4202560 4261 0 0 0 59 0 0 0 15 0 19 0 807276057 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22599] ppid=22581 vsize=13627684 CPUtime=0.52 cores=1,3,5,7
/proc/22583/task/22599/stat : 22599 (java) S 22581 22583 20485 0 -1 4202560 1913 0 0 0 52 0 0 0 15 0 19 0 807276058 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 7 0 0 0
[pid=22583/tid=22600] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22600/stat : 22600 (java) S 22581 22583 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807276058 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738220953 0 4 0 16800975 18446604463504765056 0 0 -1 3 0 0 0
[pid=22583/tid=22601] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22601/stat : 22601 (java) S 22581 22583 20485 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807276058 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
[pid=22583/tid=22602] ppid=22581 vsize=13627684 CPUtime=0 cores=1,3,5,7
/proc/22583/task/22602/stat : 22602 (java) S 22581 22583 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807276111 13954748416 246875 33554432000 1073741824 1073778376 140736384325568 18446744073709551615 264738221568 0 4 0 16800975 18446604463504765056 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13627684

Child status: 143
Real time (s): 1791.5
CPU time (s): 1800.18
CPU user time (s): 1799.72
CPU system time (s): 0.45693
CPU usage (%): 100.485
Max. virtual memory (cumulated for all children) (KiB): 13627684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.45693
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250097
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= 40708
involuntary context switches= 8974

runsolver used 9.31758 second user time and 21.6827 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-04 02:50:04
IDJOB=3458722
IDBENCH=2253
IDSOLVER=1952
FILE ID=node141/3458722-1307148604
RUNJOBID= node141-1307146805-22398
PBS_JOBID= 13508775
Free space on /tmp= 73884 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458722-1307148604/watcher-3458722-1307148604 -o /tmp/evaluation-result-3458722-1307148604/solver-3458722-1307148604 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458722-1307148604.opb

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

MD5SUM BENCH= e1b2be59a127acc8d929395698929541
RANDOM SEED=1152890644

node141.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.806
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.61
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.806
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	: 5362.96
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.806
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.82
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.806
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.75
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.806
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.84
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.806
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.806
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.806
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:      21566784 kB
Buffers:        269156 kB
Cached:         655356 kB
SwapCached:       8848 kB
Active:       10551368 kB
Inactive:       567280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21566784 kB
SwapTotal:    67111528 kB
SwapFree:     62999000 kB
Dirty:            3404 kB
Writeback:           0 kB
AnonPages:    10191984 kB
Mapped:          33784 kB
Slab:           125384 kB
PageTables:      70468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 164091180 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= 73884 MiB
End job on node141 at 2011-06-04 03:19:58