Trace number 3718325

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 NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.86 1796.05

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-404_wcsp.wbo
MD5SUM2413d46290c8b1663f08f424871383e0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark114
Best CPU time to get the best result obtained on this benchmark0.814875
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables258
Total number of constraints1137
Number of soft constraints1037
Number of constraints which are clauses1037
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 164
Min constraint cost 1
Max constraint cost 164
Sum of constraints costs 153831
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.2.v20120528
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		501472288
0.05/0.08	c Max memory 		7480803328
0.05/0.08	c Total memory 		504102912
0.05/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
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 No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 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-3718325-1338254571.wbo
0.11/0.11	c reading problem ... 
0.26/0.22	c ... done. Wall clock time 0.118s.
0.26/0.22	c declared #vars     258
0.26/0.22	c internal #vars     1295
0.26/0.22	c #constraints  1238
0.26/0.22	c constraints type 
0.26/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 966
0.26/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 29
0.26/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 242
0.26/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.26/0.22	c 1238 constraints processed.
0.26/0.22	c objective function length is 1037 literals
0.26/0.25	c SATISFIABLE
0.26/0.25	c OPTIMIZING...
0.26/0.25	c Got one! Elapsed wall clock time (in seconds):0.147
0.26/0.25	o 119
0.26/0.28	c Got one! Elapsed wall clock time (in seconds):0.17
0.26/0.28	o 118
1.39/0.87	c cleaning 2502 clauses out of 5004 with flag 12526/5004
1.99/1.38	c cleaning 4250 clauses out of 8502 with flag 26697/11004
2.59/1.99	c cleaning 5627 clauses out of 11253 with flag 43365/18005
3.50/2.82	c cleaning 6813 clauses out of 13626 with flag 62359/26005
4.44/3.78	c cleaning 7903 clauses out of 15812 with flag 82936/35004
5.44/4.74	c cleaning 8953 clauses out of 17909 with flag 105538/45004
6.57/5.86	c cleaning 9976 clauses out of 19956 with flag 131172/56004
7.89/7.18	c cleaning 10987 clauses out of 21980 with flag 157269/68004
9.20/8.45	c cleaning 11994 clauses out of 23993 with flag 185924/81004
10.52/9.80	c cleaning 12997 clauses out of 25999 with flag 215640/95004
12.14/11.37	c cleaning 14002 clauses out of 28003 with flag 247989/110005
13.77/12.99	c cleaning 14997 clauses out of 30000 with flag 283074/126004
15.67/14.81	c cleaning 16001 clauses out of 32005 with flag 322713/143006
17.97/17.11	c cleaning 16997 clauses out of 34003 with flag 364300/161005
20.27/19.46	c cleaning 18003 clauses out of 36005 with flag 409892/180004
22.49/21.62	c cleaning 19001 clauses out of 38002 with flag 458364/200004
24.80/23.98	c cleaning 20001 clauses out of 40002 with flag 502679/221005
27.00/26.10	c cleaning 20998 clauses out of 42000 with flag 549779/243004
29.12/28.28	c cleaning 21998 clauses out of 44002 with flag 598395/266004
31.93/31.05	c cleaning 22999 clauses out of 46004 with flag 655521/290004
34.75/33.80	c cleaning 23998 clauses out of 48008 with flag 710200/315007
37.36/36.43	c cleaning 24999 clauses out of 50007 with flag 770690/341004
40.68/39.70	c cleaning 26002 clauses out of 52008 with flag 829113/368004
44.09/43.14	c cleaning 27001 clauses out of 54007 with flag 889420/396005
47.70/46.74	c cleaning 28001 clauses out of 56005 with flag 951922/425004
51.61/50.69	c cleaning 28999 clauses out of 58004 with flag 1015358/455004
56.91/55.99	c cleaning 29996 clauses out of 60005 with flag 1081713/486004
62.23/61.28	c cleaning 31000 clauses out of 62010 with flag 1149809/518005
67.64/66.60	c cleaning 32005 clauses out of 64010 with flag 1220825/551005
73.35/72.34	c cleaning 33002 clauses out of 66004 with flag 1293590/585004
78.66/77.67	c cleaning 34000 clauses out of 68003 with flag 1371031/620005
83.42/82.35	c cleaning 34997 clauses out of 70003 with flag 1457307/656005
89.25/88.17	c cleaning 36001 clauses out of 72006 with flag 1537075/693005
95.06/93.95	c cleaning 36999 clauses out of 74004 with flag 1618946/731004
100.58/99.43	c cleaning 37998 clauses out of 76006 with flag 1701520/770005
107.31/106.17	c cleaning 39000 clauses out of 78008 with flag 1786611/810005
112.82/111.60	c cleaning 39998 clauses out of 80007 with flag 1873856/851004
119.43/118.26	c cleaning 40997 clauses out of 82009 with flag 1967429/893004
126.66/125.43	c cleaning 42006 clauses out of 84015 with flag 2076034/936007
133.21/131.96	c cleaning 43002 clauses out of 86006 with flag 2176248/980004
140.52/139.24	c cleaning 43998 clauses out of 88006 with flag 2279773/1025006
147.12/145.84	c cleaning 45003 clauses out of 90006 with flag 2375889/1071004
155.34/154.03	c cleaning 46001 clauses out of 92003 with flag 2475819/1118004
163.06/161.71	c cleaning 46997 clauses out of 94002 with flag 2580974/1166004
172.57/171.23	c cleaning 48001 clauses out of 96005 with flag 2687305/1215004
181.89/180.52	c cleaning 49002 clauses out of 98004 with flag 2793604/1265004
186.52/185.18	c Got one! Elapsed wall clock time (in seconds):185.077
186.52/185.18	o 117
187.73/186.32	c cleaning 40239 clauses out of 80477 with flag 10474/1296479
188.55/187.10	c cleaning 23118 clauses out of 46236 with flag 23018/1302477
188.55/187.14	c Got one! Elapsed wall clock time (in seconds):187.038
188.55/187.14	o 116
189.18/187.73	c cleaning 14172 clauses out of 28343 with flag 11324/1307702
189.99/188.56	c cleaning 10086 clauses out of 20175 with flag 24428/1313706
190.89/189.44	c cleaning 8540 clauses out of 17085 with flag 39040/1320702
191.80/190.33	c cleaning 8264 clauses out of 16545 with flag 56141/1328702
192.60/191.18	c cleaning 8632 clauses out of 17281 with flag 76285/1337702
193.60/192.17	c cleaning 9321 clauses out of 18649 with flag 98932/1347702
194.70/193.27	c cleaning 10166 clauses out of 20331 with flag 122685/1358705
195.91/194.41	c cleaning 11079 clauses out of 22163 with flag 148082/1370703
197.22/195.77	c cleaning 12040 clauses out of 24083 with flag 177132/1383702
198.82/197.30	c cleaning 13017 clauses out of 26043 with flag 208823/1397702
200.22/198.70	c cleaning 14013 clauses out of 28026 with flag 241971/1412702
201.95/200.43	c cleaning 15003 clauses out of 30013 with flag 278152/1428702
203.86/202.37	c cleaning 16004 clauses out of 32011 with flag 315289/1445703
206.07/204.51	c cleaning 16998 clauses out of 34006 with flag 356876/1463702
208.17/206.65	c cleaning 18003 clauses out of 36010 with flag 401184/1482704
210.50/208.98	c cleaning 18998 clauses out of 38005 with flag 446638/1502702
212.81/211.25	c cleaning 19999 clauses out of 40009 with flag 493057/1523704
215.31/213.77	c cleaning 21001 clauses out of 42008 with flag 540089/1545702
218.51/216.96	c cleaning 22001 clauses out of 44008 with flag 588639/1568703
221.84/220.22	c cleaning 23004 clauses out of 46008 with flag 640185/1592704
225.04/223.49	c cleaning 23997 clauses out of 48002 with flag 694102/1617702
228.15/226.51	c cleaning 25002 clauses out of 50006 with flag 748968/1643703
231.35/229.75	c cleaning 26000 clauses out of 52003 with flag 805580/1670702
234.86/233.25	c cleaning 27000 clauses out of 54004 with flag 864320/1698703
238.36/236.77	c cleaning 28002 clauses out of 56003 with flag 925074/1727702
241.76/240.18	c cleaning 28995 clauses out of 58001 with flag 988219/1757702
245.48/243.80	c cleaning 30000 clauses out of 60006 with flag 1053834/1788702
249.19/247.58	c cleaning 31001 clauses out of 62006 with flag 1122152/1820702
252.80/251.13	c cleaning 31996 clauses out of 64005 with flag 1192956/1853702
256.82/255.16	c cleaning 33004 clauses out of 66010 with flag 1265615/1887703
261.81/260.10	c cleaning 34002 clauses out of 68006 with flag 1341059/1922703
266.64/264.94	c cleaning 34997 clauses out of 70003 with flag 1419123/1958702
271.65/269.91	c cleaning 35999 clauses out of 72007 with flag 1499204/1995703
276.26/274.57	c cleaning 36998 clauses out of 74008 with flag 1582167/2033703
280.46/278.77	c cleaning 38000 clauses out of 76010 with flag 1664806/2072703
284.98/283.23	c cleaning 39002 clauses out of 78009 with flag 1750540/2112702
289.50/287.74	c cleaning 40003 clauses out of 80009 with flag 1838144/2153704
294.31/292.59	c cleaning 41000 clauses out of 82004 with flag 1927229/2195702
299.83/298.07	c cleaning 41999 clauses out of 84004 with flag 2018571/2238702
304.84/303.02	c cleaning 43002 clauses out of 86006 with flag 2111453/2282703
310.97/309.12	c cleaning 44002 clauses out of 88003 with flag 2206654/2327702
317.99/316.17	c cleaning 45001 clauses out of 90002 with flag 2302994/2373703
325.12/323.30	c cleaning 46001 clauses out of 92001 with flag 2400870/2420703
331.54/329.62	c cleaning 46993 clauses out of 94000 with flag 2502889/2468703
338.45/336.51	c cleaning 48000 clauses out of 96006 with flag 2605756/2517702
345.46/343.55	c cleaning 48997 clauses out of 98006 with flag 2711257/2567702
351.57/349.61	c cleaning 50000 clauses out of 100009 with flag 2817992/2618702
359.20/357.29	c cleaning 51000 clauses out of 102010 with flag 2928079/2670703
367.11/365.19	c cleaning 52002 clauses out of 104011 with flag 3040870/2723704
374.94/372.93	c cleaning 53001 clauses out of 106007 with flag 3155944/2777702
381.94/380.00	c cleaning 54000 clauses out of 108007 with flag 3273675/2832703
390.75/388.75	c cleaning 55001 clauses out of 110007 with flag 3391999/2888703
399.86/397.85	c cleaning 55996 clauses out of 112005 with flag 3510720/2945702
408.67/406.66	c cleaning 57000 clauses out of 114011 with flag 3633643/3003704
417.97/415.91	c cleaning 58004 clauses out of 116010 with flag 3761021/3062703
428.70/426.60	c cleaning 58996 clauses out of 118005 with flag 3901133/3122702
439.43/437.38	c cleaning 60004 clauses out of 120009 with flag 4049187/3183702
449.38/447.25	c cleaning 60998 clauses out of 122005 with flag 4187164/3245702
461.99/459.83	c cleaning 62001 clauses out of 124008 with flag 4327847/3308703
475.23/473.04	c cleaning 62998 clauses out of 126006 with flag 4470101/3372702
486.75/484.53	c cleaning 63999 clauses out of 128008 with flag 4607301/3437702
498.76/496.55	c cleaning 65001 clauses out of 130009 with flag 4755518/3503702
510.49/508.21	c cleaning 65998 clauses out of 132008 with flag 4898129/3570702
524.41/522.10	c cleaning 67003 clauses out of 134011 with flag 5040506/3638703
544.45/542.15	c cleaning 68002 clauses out of 136008 with flag 5189339/3707703
563.68/561.31	c cleaning 68996 clauses out of 138005 with flag 5337529/3777702
582.40/580.08	c cleaning 70004 clauses out of 140010 with flag 5486817/3848703
599.32/596.93	c cleaning 71001 clauses out of 142005 with flag 5636898/3920702
622.55/620.11	c cleaning 71995 clauses out of 144005 with flag 5793470/3993703
638.77/636.35	c cleaning 73002 clauses out of 146009 with flag 5950833/4067702
656.70/654.24	c cleaning 74004 clauses out of 148007 with flag 6108394/4142702
673.62/671.19	c cleaning 75000 clauses out of 150005 with flag 6268255/4218704
686.75/684.21	c cleaning 75993 clauses out of 152003 with flag 6428307/4295702
701.28/698.75	c cleaning 77001 clauses out of 154011 with flag 6593864/4373703
714.60/712.00	c cleaning 78001 clauses out of 156010 with flag 6760338/4452703
728.01/725.44	c cleaning 78997 clauses out of 158009 with flag 6932438/4532703
743.23/740.67	c cleaning 80001 clauses out of 160012 with flag 7104251/4613703
759.45/756.86	c cleaning 80999 clauses out of 162010 with flag 7279373/4695702
778.37/775.74	c cleaning 82003 clauses out of 164014 with flag 7457728/4778705
797.10/794.49	c cleaning 83003 clauses out of 166009 with flag 7640763/4862703
815.22/812.60	c cleaning 83996 clauses out of 168006 with flag 7819614/4947703
835.45/832.70	c cleaning 85003 clauses out of 170009 with flag 8003717/5033702
854.18/851.47	c cleaning 85999 clauses out of 172008 with flag 8187625/5120704
871.90/869.15	c cleaning 87003 clauses out of 174010 with flag 8375981/5208705
888.81/886.02	c cleaning 87997 clauses out of 176005 with flag 8566791/5297703
906.14/903.36	c cleaning 89001 clauses out of 178008 with flag 8759521/5387703
923.09/920.25	c cleaning 90003 clauses out of 180006 with flag 8953274/5478702
939.70/936.80	c cleaning 91000 clauses out of 182004 with flag 9150935/5570703
958.81/955.96	c cleaning 91998 clauses out of 184003 with flag 9348974/5663702
977.93/975.02	c cleaning 92998 clauses out of 186007 with flag 9544565/5757704
996.58/993.66	c cleaning 93997 clauses out of 188008 with flag 9745734/5852703
1014.61/1011.69	c cleaning 95003 clauses out of 190010 with flag 9947708/5948702
1040.15/1037.14	c cleaning 95997 clauses out of 192007 with flag 10158917/6045702
1060.76/1057.71	c cleaning 97000 clauses out of 194011 with flag 10371312/6143703
1086.37/1083.34	c cleaning 97997 clauses out of 196011 with flag 10582313/6242703
1111.99/1108.97	c cleaning 99003 clauses out of 198013 with flag 10798566/6342702
1137.08/1133.99	c cleaning 100000 clauses out of 200010 with flag 11013353/6443702
1163.71/1160.59	c cleaning 100998 clauses out of 202010 with flag 11228047/6545702
1193.13/1189.92	c cleaning 102005 clauses out of 204014 with flag 11450314/6648704
1221.55/1218.33	c cleaning 102998 clauses out of 206007 with flag 11675669/6752702
1243.17/1239.97	c cleaning 104002 clauses out of 208010 with flag 11899285/6857703
1269.31/1266.08	c cleaning 105000 clauses out of 210007 with flag 12126948/6963702
1295.75/1292.42	c cleaning 105996 clauses out of 212007 with flag 12353185/7070702
1324.06/1320.73	c cleaning 107003 clauses out of 214014 with flag 12580293/7178705
1353.93/1350.57	c cleaning 108000 clauses out of 216010 with flag 12811815/7287704
1380.70/1377.21	c cleaning 108991 clauses out of 218008 with flag 13046079/7397702
1418.53/1415.01	c cleaning 110007 clauses out of 220018 with flag 13280625/7508703
1460.19/1456.65	c cleaning 111001 clauses out of 222010 with flag 13517347/7620702
1492.53/1488.96	c cleaning 111997 clauses out of 224009 with flag 13757084/7733702
1525.09/1521.48	c cleaning 113006 clauses out of 226012 with flag 14001795/7847702
1553.44/1549.71	c cleaning 114003 clauses out of 228007 with flag 14250254/7962703
1582.19/1578.40	c cleaning 114996 clauses out of 230004 with flag 14505844/8078703
1610.44/1606.69	c cleaning 115994 clauses out of 232007 with flag 14759222/8195702
1646.26/1642.48	c cleaning 117002 clauses out of 234013 with flag 15015269/8313702
1677.78/1673.99	c cleaning 118003 clauses out of 236012 with flag 15271324/8432703
1712.91/1709.08	c cleaning 119000 clauses out of 238008 with flag 15523832/8552702
1751.65/1747.71	c cleaning 120004 clauses out of 240008 with flag 15779135/8673702
1781.38/1777.44	c cleaning 121003 clauses out of 242005 with flag 16033932/8795703
1800.07/1796.01	c starts		: 303
1800.07/1796.01	c conflicts		: 8879614
1800.07/1796.01	c decisions		: 11141801
1800.07/1796.01	c propagations		: 522188130
1800.07/1796.01	c inspects		: 23273130971
1800.07/1796.01	c shortcuts		: 0
1800.07/1796.01	c learnt literals	: 0
1800.07/1796.01	c learnt binary clauses	: 0
1800.07/1796.01	c learnt ternary clauses	: 508
1800.07/1796.01	c learnt constraints	: 8879614
1800.07/1796.01	c ignored constraints	: 0
1800.07/1796.01	c root simplifications	: 0
1800.07/1796.01	c removed literals (reason simplification)	: 0
1800.07/1796.01	c reason swapping (by a shorter reason)	: 0
1800.07/1796.01	c Calls to reduceDB	: 166
1800.07/1796.01	c Number of update (reduction) of LBD	: 400525
1800.07/1796.01	c number of reductions to clauses (during analyze)	: 0
1800.07/1796.01	c number of learned constraints concerned by reduction	: 0
1800.07/1796.01	c number of learning phase by resolution	: 0
1800.07/1796.01	c number of learning phase by cutting planes	: 0
1800.07/1796.01	c speed (assignments/second)	: 290787.14538291265
1800.07/1796.01	c non guided choices	27
1800.07/1796.04	c learnt constraints type 
1800.07/1796.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 204978
1800.07/1796.04	c constraints type 
1800.07/1796.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 966
1800.07/1796.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 29
1800.07/1796.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 242
1800.07/1796.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.07/1796.04	c 1239 constraints processed.
1800.07/1796.04	s SATISFIABLE
1800.07/1796.05	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 
1800.07/1796.05	c objective function=116
1800.07/1796.05	c Total wall clock time (in seconds): 1795.94

Verifier Data 

OK	116

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718325-1338254571/watcher-3718325-1338254571 -o /tmp/evaluation-result-3718325-1338254571/solver-3718325-1338254571 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718325-1338254571.wbo 

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.13 2.04 2.01 2/194 3393
/proc/meminfo: memFree=30328688/32873648 swapFree=6852/6852
[pid=3393] ppid=3391 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/3393/stat : 3393 (java) S 3391 3393 28718 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 291583873 95129600 927 33554432000 1073741824 1073778376 140733968203136 140733968194272 271790932029 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3393/statm: 23225 927 703 9 0 16769 0
[pid=3393/tid=3394] ppid=3391 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3394/stat : 3394 (java) R 3391 3393 28718 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 2 0 291583874 98570240 970 33554432000 1073741824 1073778376 140733968203136 140425234148904 271787574160 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.067509 s]
/proc/loadavg: 2.13 2.04 2.01 2/194 3393
/proc/meminfo: memFree=30328688/32873648 swapFree=6852/6852
[pid=3393] ppid=3391 vsize=9558416 CPUtime=0.05 cores=1,3,5,7
/proc/3393/stat : 3393 (java) S 3391 3393 28718 0 -1 4202496 3338 0 1 0 5 0 0 0 20 0 18 0 291583873 9787817984 4546 33554432000 1073741824 1073778376 140733968203136 140733968194272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3393/statm: 2389604 4546 1772 9 0 2380296 0
[pid=3393/tid=3394] ppid=3391 vsize=9558416 CPUtime=0.04 cores=1,3,5,7
/proc/3393/task/3394/stat : 3394 (java) R 3391 3393 28718 0 -1 4202560 2127 0 1 0 4 0 0 0 20 0 18 0 291583874 9787817984 4546 33554432000 1073741824 1073778376 140733968203136 140425234156192 271790957837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558416

[startup+0.100345 s]
/proc/loadavg: 2.13 2.04 2.01 2/194 3393
/proc/meminfo: memFree=30328688/32873648 swapFree=6852/6852
[pid=3393] ppid=3391 vsize=9558416 CPUtime=0.11 cores=1,3,5,7
/proc/3393/stat : 3393 (java) S 3391 3393 28718 0 -1 4202496 4449 0 1 0 10 1 0 0 20 0 18 0 291583873 9787817984 5639 33554432000 1073741824 1073778376 140733968203136 140733968194272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3393/statm: 2389604 5639 2109 9 0 2380296 0
[pid=3393/tid=3394] ppid=3391 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/3393/task/3394/stat : 3394 (java) R 3391 3393 28718 0 -1 4202560 2483 0 1 0 8 0 0 0 20 0 18 0 291583874 9787817984 5639 33554432000 1073741824 1073778376 140733968203136 140425234152368 140425241918291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558416

[startup+0.300316 s]
/proc/loadavg: 2.13 2.04 2.01 2/194 3393
/proc/meminfo: memFree=30328688/32873648 swapFree=6852/6852
[pid=3393] ppid=3391 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/3393/stat : 3393 (java) S 3391 3393 28718 0 -1 4202496 9277 0 1 0 48 2 0 0 20 0 19 0 291583873 9855979520 9918 33554432000 1073741824 1073778376 140733968203136 140733968194272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3393/statm: 2406245 9918 2228 9 0 2396937 0
[pid=3393/tid=3394] ppid=3391 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/3393/task/3394/stat : 3394 (java) R 3391 3393 28718 0 -1 4202560 2508 0 1 0 28 0 0 0 20 0 19 0 291583874 9855979520 9918 33554432000 1073741824 1073778376 140733968203136 140425234145728 140425237167851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624980

[startup+0.700275 s]
/proc/loadavg: 2.13 2.04 2.01 2/194 3393
/proc/meminfo: memFree=30328688/32873648 swapFree=6852/6852
[pid=3393] ppid=3391 vsize=9624980 CPUtime=1.26 cores=1,3,5,7
/proc/3393/stat : 3393 (java) S 3391 3393 28718 0 -1 4202496 11389 0 1 0 124 2 0 0 20 0 19 0 291583873 9855979520 10846 33554432000 1073741824 1073778376 140733968203136 140733968194272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3393/statm: 2406245 10846 2240 9 0 2396937 0
[pid=3393/tid=3394] ppid=3391 vsize=9624980 CPUtime=0.67 cores=1,3,5,7
/proc/3393/task/3394/stat : 3394 (java) R 3391 3393 28718 0 -1 4202560 2510 0 1 0 67 0 0 0 20 0 19 0 291583874 9855979520 10846 33554432000 1073741824 1073778376 140733968203136 140425234153928 140425107179764 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9624980

[startup+1.50077 s]
/proc/loadavg: 2.13 2.04 2.01 3/213 3412
/proc/meminfo: memFree=30284540/32873648 swapFree=6852/6852
[pid=3393] ppid=3391 vsize=9624980 CPUtime=2.19 cores=1,3,5,7
/proc/3393/stat : 3393 (java) S 3391 3393 28718 0 -1 4202496 11962 0 1 0 216 3 0 0 20 0 19 0 291583873 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140733968194272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3393/statm: 2406245 14089 2272 9 0 2396937 0
[pid=3393/tid=3394] ppid=3391 vsize=9624980 CPUtime=1.45 cores=1,3,5,7
/proc/3393/task/3394/stat : 3394 (java) R 3391 3393 28718 0 -1 4202560 2514 0 1 0 145 0 0 0 20 0 19 0 291583874 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425234153880 140425107179756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3396] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3396/stat : 3396 (java) S 3391 3393 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425078176680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3397] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3397/stat : 3397 (java) S 3391 3393 28718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425077124136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3398] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3398/stat : 3398 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425076071080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3399] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3399/stat : 3399 (java) S 3391 3393 28718 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425075018536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3400] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3400/stat : 3400 (java) S 3391 3393 28718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425073965480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3401] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3401/stat : 3401 (java) S 3391 3393 28718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425072912936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3402] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3402/stat : 3402 (java) S 3391 3393 28718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425071859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3403] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3403/stat : 3403 (java) S 3391 3393 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425070807336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3404] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3404/stat : 3404 (java) S 3391 3393 28718 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 291583875 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425058397032 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3405] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3405/stat : 3405 (java) S 3391 3393 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425057343352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3406] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3406/stat : 3406 (java) S 3391 3393 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425056290184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3407] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3407/stat : 3407 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583878 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425055238928 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3408] ppid=3391 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/3393/task/3408/stat : 3408 (java) S 3391 3393 28718 0 -1 4202560 4711 0 0 0 32 0 0 0 20 0 19 0 291583878 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425054185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3409] ppid=3391 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/3393/task/3409/stat : 3409 (java) S 3391 3393 28718 0 -1 4202560 3489 0 0 0 34 0 0 0 20 0 19 0 291583878 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425053133240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3410] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3410/stat : 3410 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583879 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425052080376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3411] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3411/stat : 3411 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583879 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425051028040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3412] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3412/stat : 3412 (java) S 3391 3393 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291583897 9855979520 14089 33554432000 1073741824 1073778376 140733968203136 140425049974312 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9624980

[startup+3.10068 s]
/proc/loadavg: 2.13 2.04 2.01 3/213 3412
/proc/meminfo: memFree=30277900/32873648 swapFree=6852/6852
[pid=3393] ppid=3391 vsize=9624980 CPUtime=3.84 cores=1,3,5,7
/proc/3393/stat : 3393 (java) S 3391 3393 28718 0 -1 4202496 11984 0 1 0 381 3 0 0 20 0 19 0 291583873 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140733968194272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3393/statm: 2406245 14620 2273 9 0 2396937 0
[pid=3393/tid=3394] ppid=3391 vsize=9624980 CPUtime=3.02 cores=1,3,5,7
/proc/3393/task/3394/stat : 3394 (java) R 3391 3393 28718 0 -1 4202560 2514 0 1 0 302 0 0 0 20 0 19 0 291583874 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425234153760 140425107306944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3396] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3396/stat : 3396 (java) S 3391 3393 28718 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425078176680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3397] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3397/stat : 3397 (java) S 3391 3393 28718 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425077124136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3398] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3398/stat : 3398 (java) S 3391 3393 28718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425076071080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3399] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3399/stat : 3399 (java) S 3391 3393 28718 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425075018536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3400] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3400/stat : 3400 (java) S 3391 3393 28718 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425073965480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3401] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3401/stat : 3401 (java) S 3391 3393 28718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425072912936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3402] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3402/stat : 3402 (java) S 3391 3393 28718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425071859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3403] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3403/stat : 3403 (java) S 3391 3393 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425070807336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3404] ppid=3391 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/3393/task/3404/stat : 3404 (java) S 3391 3393 28718 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 291583875 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425058397032 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3405] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3405/stat : 3405 (java) S 3391 3393 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425057343352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3406] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3406/stat : 3406 (java) S 3391 3393 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425056290184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3407] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3407/stat : 3407 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583878 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425055238928 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3408] ppid=3391 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/3393/task/3408/stat : 3408 (java) S 3391 3393 28718 0 -1 4202560 4712 0 0 0 32 0 0 0 20 0 19 0 291583878 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425054185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3409] ppid=3391 vsize=9624980 CPUtime=0.39 cores=1,3,5,7
/proc/3393/task/3409/stat : 3409 (java) S 3391 3393 28718 0 -1 4202560 3491 0 0 0 39 0 0 0 20 0 19 0 291583878 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425053133240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3410] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3410/stat : 3410 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583879 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425052080376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3411] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3411/stat : 3411 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583879 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425051028040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3412] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3412/stat : 3412 (java) S 3391 3393 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291583897 9855979520 14620 33554432000 1073741824 1073778376 140733968203136 140425049974312 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9624980

[startup+6.30068 s]
/proc/loadavg: 2.12 2.04 2.01 3/213 3412
/proc/meminfo: memFree=30279548/32873648 swapFree=6852/6852
[pid=3393] ppid=3391 vsize=9624980 CPUtime=7.09 cores=1,3,5,7
/proc/3393/stat : 3393 (java) S 3391 3393 28718 0 -1 4202496 11997 0 1 0 706 3 0 0 20 0 19 0 291583873 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140733968194272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3393/statm: 2406245 14112 2273 9 0 2396937 0
[pid=3393/tid=3394] ppid=3391 vsize=9624980 CPUtime=6.18 cores=1,3,5,7
/proc/3393/task/3394/stat : 3394 (java) R 3391 3393 28718 0 -1 4202560 2517 0 1 0 618 0 0 0 20 0 19 0 291583874 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425234153760 140425107362208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3396] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3396/stat : 3396 (java) S 3391 3393 28718 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425078176680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3397] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3397/stat : 3397 (java) S 3391 3393 28718 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425077124136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3398] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3398/stat : 3398 (java) S 3391 3393 28718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425076071080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3399] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3399/stat : 3399 (java) S 3391 3393 28718 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425075018536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3400] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3400/stat : 3400 (java) S 3391 3393 28718 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425073965480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3401] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3401/stat : 3401 (java) S 3391 3393 28718 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425072912936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3402] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3402/stat : 3402 (java) S 3391 3393 28718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425071859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3403] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3403/stat : 3403 (java) S 3391 3393 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583874 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425070807336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3404] ppid=3391 vsize=9624980 CPUtime=0.06 cores=1,3,5,7
/proc/3393/task/3404/stat : 3404 (java) S 3391 3393 28718 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 291583875 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425058397032 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3405] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3405/stat : 3405 (java) S 3391 3393 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425057343352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3406] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3406/stat : 3406 (java) S 3391 3393 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425056290184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3407] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3407/stat : 3407 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583878 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425055238928 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3408] ppid=3391 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/3393/task/3408/stat : 3408 (java) S 3391 3393 28718 0 -1 4202560 4712 0 0 0 32 0 0 0 20 0 19 0 291583878 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425054185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3409] ppid=3391 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/3393/task/3409/stat : 3409 (java) S 3391 3393 28718 0 -1 4202560 3494 0 0 0 43 0 0 0 20 0 19 0 291583878 9855979520 14112 33554432000 1073741824 1073778376 140733968203136 140425053133240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0

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

[pid=3393/tid=3401] ppid=3391 vsize=9624980 CPUtime=0.52 cores=1,3,5,7
/proc/3393/task/3401/stat : 3401 (java) S 3391 3393 28718 0 -1 4202560 184 0 0 0 52 0 0 0 20 0 19 0 291583874 9855979520 54227 33554432000 1073741824 1073778376 140733968203136 140425072912936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3402] ppid=3391 vsize=9624980 CPUtime=0.52 cores=1,3,5,7
/proc/3393/task/3402/stat : 3402 (java) S 3391 3393 28718 0 -1 4202560 254 0 0 0 51 1 0 0 20 0 19 0 291583874 9855979520 54227 33554432000 1073741824 1073778376 140733968203136 140425071859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3403] ppid=3391 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/3393/task/3403/stat : 3403 (java) S 3391 3393 28718 0 -1 4202560 186 0 0 0 57 2 0 0 20 0 19 0 291583874 9855979520 54227 33554432000 1073741824 1073778376 140733968203136 140425070807336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3404] ppid=3391 vsize=9624980 CPUtime=4.84 cores=1,3,5,7
/proc/3393/task/3404/stat : 3404 (java) S 3391 3393 28718 0 -1 4202560 153 0 0 0 481 3 0 0 20 0 19 0 291583875 9855979520 54227 33554432000 1073741824 1073778376 140733968203136 140425058397032 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3405] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3405/stat : 3405 (java) S 3391 3393 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 54227 33554432000 1073741824 1073778376 140733968203136 140425057343352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3406] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3406/stat : 3406 (java) S 3391 3393 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 54227 33554432000 1073741824 1073778376 140733968203136 140425056290184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3407] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3407/stat : 3407 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583878 9855979520 54227 33554432000 1073741824 1073778376 140733968203136 140425055238928 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3408] ppid=3391 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/3393/task/3408/stat : 3408 (java) S 3391 3393 28718 0 -1 4202560 4712 0 0 0 34 0 0 0 20 0 19 0 291583878 9855979520 54227 33554432000 1073741824 1073778376 140733968203136 140425054185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3409] ppid=3391 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/3393/task/3409/stat : 3409 (java) S 3391 3393 28718 0 -1 4202560 3498 0 0 0 47 0 0 0 20 0 19 0 291583878 9855979520 54227 33554432000 1073741824 1073778376 140733968203136 140425053133240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3410] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3410/stat : 3410 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583879 9855979520 54227 33554432000 1073741824 1073778376 140733968203136 140425052080376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3411] ppid=3391 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/3393/task/3411/stat : 3411 (java) S 3391 3393 28718 0 -1 4202560 94 0 0 0 31 26 0 0 20 0 19 0 291583879 9855979520 54227 33554432000 1073741824 1073778376 140733968203136 140425051028040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3412] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3412/stat : 3412 (java) S 3391 3393 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291583897 9855979520 54227 33554432000 1073741824 1073778376 140733968203136 140425049974312 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.18
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/213 3487
/proc/meminfo: memFree=30703628/32873648 swapFree=6852/6852
[pid=3393] ppid=3391 vsize=9624980 CPUtime=1726.24 cores=1,3,5,7
/proc/3393/stat : 3393 (java) S 3391 3393 28718 0 -1 4202496 14218 0 1 0 172590 34 0 0 20 0 19 0 291583873 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140733968194272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3393/statm: 2406245 55251 2274 9 0 2396937 0
[pid=3393/tid=3394] ppid=3391 vsize=9624980 CPUtime=1715.87 cores=1,3,5,7
/proc/3393/task/3394/stat : 3394 (java) R 3391 3393 28718 0 -1 4202560 2701 0 1 0 171557 30 0 0 20 0 19 0 291583874 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425234153760 140425107306567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3396] ppid=3391 vsize=9624980 CPUtime=0.54 cores=1,3,5,7
/proc/3393/task/3396/stat : 3396 (java) S 3391 3393 28718 0 -1 4202560 400 0 0 0 52 2 0 0 20 0 19 0 291583874 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425078176680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3397] ppid=3391 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/3393/task/3397/stat : 3397 (java) S 3391 3393 28718 0 -1 4202560 265 0 0 0 56 0 0 0 20 0 19 0 291583874 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425077124136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3398] ppid=3391 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/3393/task/3398/stat : 3398 (java) S 3391 3393 28718 0 -1 4202560 267 0 0 0 55 2 0 0 20 0 19 0 291583874 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425076071080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3399] ppid=3391 vsize=9624980 CPUtime=0.52 cores=1,3,5,7
/proc/3393/task/3399/stat : 3399 (java) S 3391 3393 28718 0 -1 4202560 195 0 0 0 50 2 0 0 20 0 19 0 291583874 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425075018536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3400] ppid=3391 vsize=9624980 CPUtime=0.54 cores=1,3,5,7
/proc/3393/task/3400/stat : 3400 (java) S 3391 3393 28718 0 -1 4202560 120 0 0 0 52 2 0 0 20 0 19 0 291583874 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425073965480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3401] ppid=3391 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/3393/task/3401/stat : 3401 (java) S 3391 3393 28718 0 -1 4202560 184 0 0 0 53 0 0 0 20 0 19 0 291583874 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425072912936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3402] ppid=3391 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/3393/task/3402/stat : 3402 (java) S 3391 3393 28718 0 -1 4202560 254 0 0 0 52 1 0 0 20 0 19 0 291583874 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425071859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3403] ppid=3391 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/3393/task/3403/stat : 3403 (java) S 3391 3393 28718 0 -1 4202560 186 0 0 0 58 2 0 0 20 0 19 0 291583874 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425070807336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3404] ppid=3391 vsize=9624980 CPUtime=4.97 cores=1,3,5,7
/proc/3393/task/3404/stat : 3404 (java) S 3391 3393 28718 0 -1 4202560 157 0 0 0 494 3 0 0 20 0 19 0 291583875 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425058397032 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3405] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3405/stat : 3405 (java) S 3391 3393 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425057343352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3406] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3406/stat : 3406 (java) S 3391 3393 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425056290184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3407] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3407/stat : 3407 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583878 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425055238928 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3408] ppid=3391 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/3393/task/3408/stat : 3408 (java) S 3391 3393 28718 0 -1 4202560 4712 0 0 0 34 0 0 0 20 0 19 0 291583878 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425054185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3409] ppid=3391 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/3393/task/3409/stat : 3409 (java) S 3391 3393 28718 0 -1 4202560 3498 0 0 0 47 0 0 0 20 0 19 0 291583878 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425053133240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3410] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3410/stat : 3410 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583879 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425052080376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3411] ppid=3391 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/3393/task/3411/stat : 3411 (java) S 3391 3393 28718 0 -1 4202560 98 0 0 0 33 26 0 0 20 0 19 0 291583879 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425051028040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3412] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3412/stat : 3412 (java) S 3391 3393 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291583897 9855979520 55251 33554432000 1073741824 1073778376 140733968203136 140425049974312 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.24
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/213 3487
/proc/meminfo: memFree=30695068/32873648 swapFree=6852/6852
[pid=3393] ppid=3391 vsize=9624980 CPUtime=1786.36 cores=1,3,5,7
/proc/3393/stat : 3393 (java) S 3391 3393 28718 0 -1 4202496 14232 0 1 0 178601 35 0 0 20 0 19 0 291583873 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140733968194272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3393/statm: 2406245 55766 2274 9 0 2396937 0
[pid=3393/tid=3394] ppid=3391 vsize=9624980 CPUtime=1775.72 cores=1,3,5,7
/proc/3393/task/3394/stat : 3394 (java) R 3391 3393 28718 0 -1 4202560 2703 0 1 0 177542 30 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425234153760 140425107306949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3396] ppid=3391 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/3393/task/3396/stat : 3396 (java) S 3391 3393 28718 0 -1 4202560 400 0 0 0 54 2 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425078176680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3397] ppid=3391 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/3393/task/3397/stat : 3397 (java) S 3391 3393 28718 0 -1 4202560 265 0 0 0 58 0 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425077124136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3398] ppid=3391 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/3393/task/3398/stat : 3398 (java) S 3391 3393 28718 0 -1 4202560 267 0 0 0 57 2 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425076071080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3399] ppid=3391 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/3393/task/3399/stat : 3399 (java) S 3391 3393 28718 0 -1 4202560 195 0 0 0 51 2 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425075018536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3400] ppid=3391 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/3393/task/3400/stat : 3400 (java) S 3391 3393 28718 0 -1 4202560 123 0 0 0 54 2 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425073965480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3401] ppid=3391 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/3393/task/3401/stat : 3401 (java) S 3391 3393 28718 0 -1 4202560 184 0 0 0 55 0 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425072912936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3402] ppid=3391 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/3393/task/3402/stat : 3402 (java) S 3391 3393 28718 0 -1 4202560 254 0 0 0 54 2 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425071859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3403] ppid=3391 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/3393/task/3403/stat : 3403 (java) S 3391 3393 28718 0 -1 4202560 186 0 0 0 60 2 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425070807336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3404] ppid=3391 vsize=9624980 CPUtime=5.08 cores=1,3,5,7
/proc/3393/task/3404/stat : 3404 (java) S 3391 3393 28718 0 -1 4202560 162 0 0 0 505 3 0 0 20 0 19 0 291583875 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425058397032 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3405] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3405/stat : 3405 (java) S 3391 3393 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425057343352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3406] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3406/stat : 3406 (java) S 3391 3393 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425056290184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3407] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3407/stat : 3407 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583878 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425055238928 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3408] ppid=3391 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/3393/task/3408/stat : 3408 (java) S 3391 3393 28718 0 -1 4202560 4712 0 0 0 34 0 0 0 20 0 19 0 291583878 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425054185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3409] ppid=3391 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/3393/task/3409/stat : 3409 (java) S 3391 3393 28718 0 -1 4202560 3498 0 0 0 47 0 0 0 20 0 19 0 291583878 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425053133240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3410] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3410/stat : 3410 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583879 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425052080376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3411] ppid=3391 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/3393/task/3411/stat : 3411 (java) S 3391 3393 28718 0 -1 4202560 102 0 0 0 34 28 0 0 20 0 19 0 291583879 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425051028040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3412] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3412/stat : 3412 (java) S 3391 3393 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291583897 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425049974312 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.36
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796 s]
/proc/loadavg: 2.00 1.99 1.99 3/213 3487
/proc/meminfo: memFree=30695072/32873648 swapFree=6852/6852
[pid=3393] ppid=3391 vsize=9624980 CPUtime=1800.07 cores=1,3,5,7
/proc/3393/stat : 3393 (java) S 3391 3393 28718 0 -1 4202496 14232 0 1 0 179972 35 0 0 20 0 19 0 291583873 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140733968194272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3393/statm: 2406245 55766 2274 9 0 2396937 0
[pid=3393/tid=3394] ppid=3391 vsize=9624980 CPUtime=1789.42 cores=1,3,5,7
/proc/3393/task/3394/stat : 3394 (java) R 3391 3393 28718 0 -1 4202560 2703 0 1 0 178911 31 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425234153760 140425107306562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3396] ppid=3391 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/3393/task/3396/stat : 3396 (java) S 3391 3393 28718 0 -1 4202560 400 0 0 0 54 2 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425078176680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3397] ppid=3391 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/3393/task/3397/stat : 3397 (java) S 3391 3393 28718 0 -1 4202560 265 0 0 0 58 0 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425077124136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3398] ppid=3391 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/3393/task/3398/stat : 3398 (java) S 3391 3393 28718 0 -1 4202560 267 0 0 0 57 2 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425076071080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3399] ppid=3391 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/3393/task/3399/stat : 3399 (java) S 3391 3393 28718 0 -1 4202560 195 0 0 0 51 2 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425075018536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3400] ppid=3391 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/3393/task/3400/stat : 3400 (java) S 3391 3393 28718 0 -1 4202560 123 0 0 0 54 2 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425073965480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3401] ppid=3391 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/3393/task/3401/stat : 3401 (java) S 3391 3393 28718 0 -1 4202560 184 0 0 0 55 0 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425072912936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3402] ppid=3391 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/3393/task/3402/stat : 3402 (java) S 3391 3393 28718 0 -1 4202560 254 0 0 0 54 2 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425071859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3403] ppid=3391 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/3393/task/3403/stat : 3403 (java) S 3391 3393 28718 0 -1 4202560 186 0 0 0 60 2 0 0 20 0 19 0 291583874 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425070807336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3404] ppid=3391 vsize=9624980 CPUtime=5.08 cores=1,3,5,7
/proc/3393/task/3404/stat : 3404 (java) S 3391 3393 28718 0 -1 4202560 162 0 0 0 505 3 0 0 20 0 19 0 291583875 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425058397032 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3405] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3405/stat : 3405 (java) S 3391 3393 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425057343352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3406] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3406/stat : 3406 (java) S 3391 3393 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583876 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425056290184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3407] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3407/stat : 3407 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583878 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425055238928 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3393/tid=3408] ppid=3391 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/3393/task/3408/stat : 3408 (java) S 3391 3393 28718 0 -1 4202560 4712 0 0 0 34 0 0 0 20 0 19 0 291583878 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425054185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3409] ppid=3391 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/3393/task/3409/stat : 3409 (java) S 3391 3393 28718 0 -1 4202560 3498 0 0 0 47 0 0 0 20 0 19 0 291583878 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425053133240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3393/tid=3410] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3410/stat : 3410 (java) S 3391 3393 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583879 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425052080376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3393/tid=3411] ppid=3391 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/3393/task/3411/stat : 3411 (java) S 3391 3393 28718 0 -1 4202560 102 0 0 0 35 28 0 0 20 0 19 0 291583879 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425051028040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3393/tid=3412] ppid=3391 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3393/task/3412/stat : 3412 (java) S 3391 3393 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291583897 9855979520 55766 33554432000 1073741824 1073778376 140733968203136 140425049974312 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980

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

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

Child status: 143
Real time (s): 1796.05
CPU time (s): 1800.86
CPU user time (s): 1799.97
CPU system time (s): 0.892864
CPU usage (%): 100.268
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.892864
maximum resident set size= 223216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14273
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42401
involuntary context switches= 22373

runsolver used 6.19206 second user time and 15.3827 second system time

The end

Launcher Data 

Begin job on node115 at 2012-05-29 03:22:51
IDJOB=3718325
IDBENCH=79432
IDSOLVER=2301
FILE ID=node115/3718325-1338254571
RUNJOBID= node115-1338248169-32131
PBS_JOBID= 14624652
Free space on /tmp= 71644 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/spot5/normalized-spot5-404_wcsp.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718325-1338254571/watcher-3718325-1338254571 -o /tmp/evaluation-result-3718325-1338254571/solver-3718325-1338254571 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718325-1338254571.wbo

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

MD5SUM BENCH= 2413d46290c8b1663f08f424871383e0
RANDOM SEED=1925274410

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30329232 kB
Buffers:          498732 kB
Cached:           392808 kB
SwapCached:          972 kB
Active:          1425288 kB
Inactive:         221700 kB
Active(anon):     748076 kB
Inactive(anon):     9244 kB
Active(file):     677212 kB
Inactive(file):   212456 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106424 kB
Dirty:               708 kB
Writeback:             0 kB
AnonPages:        764940 kB
Mapped:            19776 kB
Shmem:                96 kB
Slab:             754580 kB
SReclaimable:     196572 kB
SUnreclaim:       558008 kB
KernelStack:        1576 kB
PageTables:         5640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1177332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    724992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71644 MiB
End job on node115 at 2012-05-29 03:52:49