Trace number 3458293

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)40 1800.19 1796.87

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_3.opb
MD5SUM0f5da0a781de7969842ad5c8dd7a6f1b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark1797.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint26
Maximum length of a constraint50
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15722
Sum of products size (including duplicates)31444
Number of different products15722
Sum of products size31444

Quality of the solution as a function of time


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

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		12995394264
0.01/0.09	c Max memory 		13063553024
0.01/0.09	c Total memory 		13063553024
0.01/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3458293-1307158558.opb
0.11/0.11	c reading problem ... 
1.36/0.61	c ... done. Wall clock time 0.501s.
1.36/0.61	c #vars     16222
1.36/0.61	c #constraints  31944
1.36/0.61	c constraints type 
1.36/0.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16222
1.36/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15722
1.65/0.75	c SATISFIABLE
1.65/0.75	c OPTIMIZING...
1.65/0.75	c Got one! Elapsed wall clock time (in seconds):0.64
1.65/0.75	o 42
3.84/2.53	c cleaning 2497 clauses out of 5000 with flag 5000/5000
5.74/4.32	c cleaning 4249 clauses out of 8504 with flag 11001/11001
7.64/6.27	c cleaning 5622 clauses out of 11255 with flag 18001/18001
10.16/8.74	c cleaning 6813 clauses out of 13633 with flag 26001/26001
12.79/11.33	c cleaning 7903 clauses out of 15819 with flag 35000/35000
15.49/14.04	c cleaning 8952 clauses out of 17916 with flag 45000/45000
18.70/17.22	c cleaning 9979 clauses out of 19965 with flag 56001/56001
22.60/21.13	c cleaning 10984 clauses out of 21985 with flag 68000/68000
26.83/25.34	c cleaning 11999 clauses out of 24001 with flag 81000/81000
30.22/28.75	c Got one! Elapsed wall clock time (in seconds):28.643
30.22/28.75	o 41
30.93/29.45	c Got one! Elapsed wall clock time (in seconds):29.335
30.93/29.45	o 40
31.45/29.90	c cleaning 14701 clauses out of 29417 with flag 2000/98415
32.77/31.22	c cleaning 10346 clauses out of 20716 with flag 8000/104415
35.07/33.53	c cleaning 8678 clauses out of 17370 with flag 15000/111415
37.67/36.20	c cleaning 8344 clauses out of 16692 with flag 23000/119415
40.68/39.14	c cleaning 8665 clauses out of 17348 with flag 32000/128415
43.99/42.42	c cleaning 9332 clauses out of 18683 with flag 42000/138415
47.70/46.21	c cleaning 10169 clauses out of 20351 with flag 53000/149415
51.90/50.31	c cleaning 11079 clauses out of 22182 with flag 65000/161415
56.30/54.73	c cleaning 12042 clauses out of 24104 with flag 78001/174416
60.71/59.12	c cleaning 13024 clauses out of 26061 with flag 92000/188415
65.61/64.08	c cleaning 14014 clauses out of 28037 with flag 107000/203415
70.32/68.76	c cleaning 15005 clauses out of 30024 with flag 123001/219416
75.43/73.82	c cleaning 16004 clauses out of 32018 with flag 140000/236415
80.64/79.11	c cleaning 16999 clauses out of 34015 with flag 158001/254416
86.45/84.87	c cleaning 18000 clauses out of 36016 with flag 177001/273416
93.05/91.46	c cleaning 18998 clauses out of 38016 with flag 197001/293416
100.06/98.42	c cleaning 19999 clauses out of 40017 with flag 218000/314415
106.77/105.14	c cleaning 21001 clauses out of 42018 with flag 240000/336415
114.09/112.44	c cleaning 21997 clauses out of 44017 with flag 263000/359415
122.61/120.94	c cleaning 22999 clauses out of 46020 with flag 287000/383415
130.81/129.15	c cleaning 24007 clauses out of 48022 with flag 312001/408416
139.92/138.27	c cleaning 25001 clauses out of 50014 with flag 338000/434415
149.53/147.83	c cleaning 25999 clauses out of 52014 with flag 365001/461416
159.75/158.05	c cleaning 26995 clauses out of 54016 with flag 393002/489417
169.56/167.85	c cleaning 27996 clauses out of 56019 with flag 422000/518415
179.58/177.80	c cleaning 29005 clauses out of 58023 with flag 452000/548415
190.29/188.52	c cleaning 29998 clauses out of 60019 with flag 483001/579416
200.50/198.73	c cleaning 31005 clauses out of 62021 with flag 515001/611416
210.83/209.07	c cleaning 31498 clauses out of 63016 with flag 547001/643416
221.52/219.79	c cleaning 31751 clauses out of 63517 with flag 579000/675415
233.64/231.85	c cleaning 31876 clauses out of 63766 with flag 611000/707415
244.76/242.92	c cleaning 31936 clauses out of 63891 with flag 643001/739416
255.67/253.87	c cleaning 31968 clauses out of 63955 with flag 675001/771416
266.58/264.72	c cleaning 31986 clauses out of 63987 with flag 707001/803416
277.79/276.01	c cleaning 31991 clauses out of 64001 with flag 739001/835416
289.41/287.56	c cleaning 31994 clauses out of 64010 with flag 771001/867416
300.12/298.30	c cleaning 32001 clauses out of 64015 with flag 803000/899415
310.43/308.57	c cleaning 32003 clauses out of 64015 with flag 835001/931416
321.44/319.51	c cleaning 31998 clauses out of 64011 with flag 867000/963415
333.16/331.27	c cleaning 31995 clauses out of 64014 with flag 899001/995416
344.18/342.23	c cleaning 32006 clauses out of 64018 with flag 931000/1027415
356.10/354.20	c cleaning 31996 clauses out of 64012 with flag 963000/1059415
367.50/365.57	c cleaning 32002 clauses out of 64017 with flag 995001/1091416
379.91/377.95	c cleaning 32000 clauses out of 64014 with flag 1027000/1123415
391.64/389.66	c cleaning 32000 clauses out of 64014 with flag 1059000/1155415
403.35/401.35	c cleaning 32002 clauses out of 64015 with flag 1091001/1187416
415.36/413.34	c cleaning 31997 clauses out of 64013 with flag 1123001/1219416
427.69/425.68	c cleaning 31996 clauses out of 64015 with flag 1155000/1251415
440.19/438.12	c cleaning 31998 clauses out of 64020 with flag 1187001/1283416
453.20/451.16	c cleaning 32002 clauses out of 64022 with flag 1219001/1315416
464.13/462.09	c cleaning 32003 clauses out of 64019 with flag 1251000/1347415
475.52/473.43	c cleaning 31999 clauses out of 64016 with flag 1283000/1379415
486.23/484.18	c cleaning 32004 clauses out of 64018 with flag 1315001/1411416
498.04/495.94	c cleaning 31998 clauses out of 64013 with flag 1347000/1443415
509.76/507.62	c cleaning 32002 clauses out of 64015 with flag 1379000/1475415
521.57/519.42	c cleaning 31998 clauses out of 64013 with flag 1411000/1507415
533.09/530.92	c cleaning 32001 clauses out of 64018 with flag 1443003/1539418
543.91/541.78	c cleaning 31997 clauses out of 64014 with flag 1475000/1571415
555.04/552.88	c cleaning 32003 clauses out of 64019 with flag 1507002/1603417
565.76/563.56	c cleaning 32001 clauses out of 64015 with flag 1539001/1635416
577.27/575.05	c cleaning 31998 clauses out of 64014 with flag 1571001/1667416
588.98/586.77	c cleaning 32001 clauses out of 64015 with flag 1603000/1699415
600.39/598.17	c cleaning 32000 clauses out of 64014 with flag 1635000/1731415
612.21/609.94	c cleaning 31999 clauses out of 64015 with flag 1667001/1763416
623.02/620.80	c cleaning 32000 clauses out of 64016 with flag 1699001/1795416
634.13/631.89	c cleaning 31999 clauses out of 64015 with flag 1731000/1827415
645.05/642.74	c cleaning 31997 clauses out of 64016 with flag 1763000/1859415
656.88/654.58	c cleaning 32001 clauses out of 64021 with flag 1795002/1891417
668.47/666.15	c cleaning 32001 clauses out of 64021 with flag 1827003/1923418
679.48/677.19	c cleaning 31995 clauses out of 64018 with flag 1859001/1955416
690.79/688.43	c cleaning 32001 clauses out of 64022 with flag 1891000/1987415
701.50/699.13	c cleaning 32003 clauses out of 64022 with flag 1923001/2019416
712.31/709.94	c cleaning 32002 clauses out of 64018 with flag 1955000/2051415
723.22/720.88	c cleaning 32002 clauses out of 64016 with flag 1987000/2083415
734.73/732.33	c cleaning 31998 clauses out of 64015 with flag 2019001/2115416
746.35/743.91	c cleaning 31999 clauses out of 64017 with flag 2051001/2147416
758.27/755.88	c cleaning 31999 clauses out of 64019 with flag 2083002/2179417
770.88/768.46	c cleaning 32001 clauses out of 64019 with flag 2115001/2211416
784.50/782.05	c cleaning 32003 clauses out of 64017 with flag 2147000/2243415
797.82/795.32	c cleaning 31994 clauses out of 64014 with flag 2179000/2275415
810.31/807.85	c cleaning 32003 clauses out of 64021 with flag 2211001/2307416
824.02/821.58	c cleaning 31999 clauses out of 64017 with flag 2243000/2339415
837.45/834.99	c cleaning 32004 clauses out of 64018 with flag 2275000/2371415
850.56/848.05	c cleaning 31998 clauses out of 64015 with flag 2307001/2403416
863.87/861.33	c cleaning 31998 clauses out of 64016 with flag 2339000/2435415
877.96/875.48	c cleaning 32001 clauses out of 64018 with flag 2371000/2467415
892.68/890.17	c cleaning 31998 clauses out of 64018 with flag 2403001/2499416
908.19/905.66	c cleaning 32001 clauses out of 64019 with flag 2435000/2531415
924.10/921.52	c cleaning 32000 clauses out of 64018 with flag 2467000/2563415
938.81/936.25	c cleaning 32004 clauses out of 64019 with flag 2499001/2595416
953.23/950.61	c cleaning 31999 clauses out of 64014 with flag 2531000/2627415
967.14/964.52	c cleaning 31998 clauses out of 64015 with flag 2563000/2659415
981.85/979.26	c cleaning 32002 clauses out of 64018 with flag 2595001/2691416
996.27/993.65	c cleaning 31999 clauses out of 64016 with flag 2627001/2723416
1011.67/1009.05	c cleaning 31995 clauses out of 64017 with flag 2659001/2755416
1026.59/1023.97	c cleaning 32002 clauses out of 64023 with flag 2691002/2787417
1042.30/1039.60	c cleaning 31998 clauses out of 64019 with flag 2723000/2819415
1057.31/1054.66	c cleaning 31999 clauses out of 64021 with flag 2755000/2851415
1072.82/1070.21	c cleaning 32004 clauses out of 64024 with flag 2787002/2883417
1087.35/1084.68	c cleaning 32001 clauses out of 64022 with flag 2819004/2915419
1101.84/1099.13	c cleaning 31999 clauses out of 64018 with flag 2851001/2947416
1116.96/1114.26	c cleaning 31997 clauses out of 64019 with flag 2883001/2979416
1129.06/1126.34	c cleaning 32005 clauses out of 64023 with flag 2915002/3011417
1141.86/1139.19	c cleaning 31999 clauses out of 64019 with flag 2947003/3043418
1154.57/1151.86	c cleaning 32003 clauses out of 64018 with flag 2979001/3075416
1166.99/1164.29	c cleaning 31997 clauses out of 64015 with flag 3011001/3107416
1180.00/1177.29	c cleaning 32002 clauses out of 64018 with flag 3043001/3139416
1194.31/1191.50	c cleaning 32000 clauses out of 64015 with flag 3075000/3171415
1206.82/1204.05	c cleaning 31999 clauses out of 64016 with flag 3107001/3203416
1218.63/1215.82	c cleaning 31995 clauses out of 64016 with flag 3139000/3235415
1231.14/1228.30	c cleaning 32003 clauses out of 64021 with flag 3171000/3267415
1242.95/1240.15	c cleaning 31998 clauses out of 64018 with flag 3203000/3299415
1254.68/1251.84	c cleaning 32001 clauses out of 64021 with flag 3235001/3331416
1266.87/1264.08	c cleaning 32001 clauses out of 64020 with flag 3267001/3363416
1278.69/1275.84	c cleaning 32001 clauses out of 64021 with flag 3299003/3395418
1290.59/1287.76	c cleaning 31997 clauses out of 64017 with flag 3331000/3427415
1302.10/1299.22	c cleaning 32000 clauses out of 64021 with flag 3363001/3459416
1314.32/1311.47	c cleaning 32003 clauses out of 64021 with flag 3395001/3491416
1325.83/1322.93	c cleaning 32002 clauses out of 64019 with flag 3427002/3523417
1337.74/1334.89	c cleaning 31993 clauses out of 64016 with flag 3459001/3555416
1350.25/1347.37	c cleaning 32002 clauses out of 64022 with flag 3491000/3587415
1362.48/1359.55	c cleaning 32005 clauses out of 64021 with flag 3523001/3619416
1374.27/1371.34	c cleaning 31998 clauses out of 64017 with flag 3555002/3651417
1386.18/1383.29	c cleaning 31998 clauses out of 64017 with flag 3587000/3683415
1398.91/1395.99	c cleaning 32004 clauses out of 64019 with flag 3619000/3715415
1412.12/1409.16	c cleaning 31996 clauses out of 64016 with flag 3651001/3747416
1425.52/1422.53	c cleaning 31996 clauses out of 64021 with flag 3683002/3779417
1438.82/1435.86	c cleaning 32002 clauses out of 64025 with flag 3715002/3811417
1452.03/1449.03	c cleaning 32000 clauses out of 64022 with flag 3747001/3843416
1465.24/1462.24	c cleaning 32002 clauses out of 64023 with flag 3779002/3875417
1478.95/1475.91	c cleaning 31998 clauses out of 64020 with flag 3811001/3907416
1492.57/1489.50	c cleaning 32004 clauses out of 64021 with flag 3843000/3939415
1506.08/1503.01	c cleaning 31998 clauses out of 64017 with flag 3875000/3971415
1518.28/1515.29	c cleaning 31999 clauses out of 64020 with flag 3907001/4003416
1530.49/1527.47	c cleaning 31998 clauses out of 64022 with flag 3939002/4035417
1542.70/1539.65	c cleaning 31998 clauses out of 64022 with flag 3971000/4067415
1554.81/1551.76	c cleaning 32005 clauses out of 64025 with flag 4003001/4099416
1567.02/1563.91	c cleaning 31998 clauses out of 64020 with flag 4035001/4131416
1579.34/1576.27	c cleaning 32000 clauses out of 64022 with flag 4067001/4163416
1592.34/1589.23	c cleaning 32004 clauses out of 64021 with flag 4099000/4195415
1604.95/1601.88	c cleaning 32000 clauses out of 64017 with flag 4131000/4227415
1617.87/1614.80	c cleaning 31994 clauses out of 64017 with flag 4163000/4259415
1631.08/1627.99	c cleaning 32005 clauses out of 64025 with flag 4195002/4291417
1644.47/1641.38	c cleaning 31995 clauses out of 64018 with flag 4227000/4323415
1657.28/1654.17	c cleaning 32002 clauses out of 64024 with flag 4259001/4355416
1670.19/1667.04	c cleaning 32000 clauses out of 64022 with flag 4291001/4387416
1683.69/1680.59	c cleaning 31998 clauses out of 64021 with flag 4323000/4419415
1697.00/1693.86	c cleaning 32003 clauses out of 64023 with flag 4355000/4451415
1710.51/1707.33	c cleaning 32005 clauses out of 64020 with flag 4387000/4483415
1721.81/1718.66	c cleaning 32003 clauses out of 64016 with flag 4419001/4515416
1735.33/1732.19	c cleaning 32000 clauses out of 64013 with flag 4451001/4547416
1748.04/1744.83	c cleaning 31999 clauses out of 64012 with flag 4483000/4579415
1761.85/1758.63	c cleaning 32001 clauses out of 64013 with flag 4515000/4611415
1774.36/1771.16	c cleaning 31996 clauses out of 64013 with flag 4547001/4643416
1786.07/1782.80	c cleaning 32000 clauses out of 64016 with flag 4579000/4675415
1798.39/1795.14	c cleaning 31998 clauses out of 64016 with flag 4611000/4707415
1800.10/1796.82	c starts		: 274
1800.10/1796.82	c conflicts		: 4711697
1800.10/1796.82	c decisions		: 7042778
1800.10/1796.82	c propagations		: 960403178
1800.10/1796.82	c inspects		: 11845541765
1800.10/1796.82	c shortcuts		: 0
1800.10/1796.82	c learnt literals	: 0
1800.10/1796.82	c learnt binary clauses	: 0
1800.10/1796.82	c learnt ternary clauses	: 0
1800.10/1796.82	c learnt constraints	: 4711697
1800.10/1796.82	c ignored constraints	: 0
1800.10/1796.82	c root simplifications	: 0
1800.10/1796.82	c removed literals (reason simplification)	: 11005646
1800.10/1796.82	c reason swapping (by a shorter reason)	: 0
1800.10/1796.82	c Calls to reduceDB	: 165
1800.10/1796.82	c number of reductions to clauses (during analyze)	: 0
1800.10/1796.82	c number of learned constraints concerned by reduction	: 0
1800.10/1796.82	c number of learning phase by resolution	: 0
1800.10/1796.82	c number of learning phase by cutting planes	: 0
1800.10/1796.82	c speed (assignments/second)	: 543406.0333477238
1800.10/1796.82	c non guided choices	795
1800.10/1796.84	c learnt constraints type 
1800.10/1796.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36333
1800.10/1796.84	c constraints type 
1800.10/1796.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16222
1800.10/1796.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/1796.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15722
1800.10/1796.84	s SATISFIABLE
1800.10/1796.84	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 x60 x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 x119 x120 x121 -x122 x123 -x124 -x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 x240 x241 x242 -x243 x244 x245 -x246 x247 -x248 -x249 x250 -x251 x252 x253 x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 x482 x483 -x484 x485 -x486 -x487 x488 x489 -x490 x491 x492 -x493 -x494 x495 -x496 -x497 x498 -x499 x500 
1800.10/1796.84	c objective function=40
1800.10/1796.84	c Total wall clock time (in seconds): 1796.73

Verifier Data 

OK	40

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

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.10 2.02 2/533 15978
/proc/meminfo: memFree=23017452/32950928 swapFree=58671692/67111528
[pid=15978] ppid=15976 vsize=86844 CPUtime=0 cores=0,2,4,6
/proc/15978/stat : 15978 (java) S 15976 15978 10738 0 -1 4202496 1427 0 1 0 0 0 0 0 25 0 2 0 906086437 88928256 1129 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/15978/statm: 21711 1141 888 9 0 12867 0
[pid=15978/tid=15979] ppid=15976 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15979/stat : 15979 (java) R 15976 15978 10738 0 -1 4202560 5347 0 1 0 0 0 0 0 25 0 2 0 906086438 13850947584 6163 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0229939 s]
/proc/loadavg: 2.17 2.10 2.02 2/533 15978
/proc/meminfo: memFree=23017452/32950928 swapFree=58671692/67111528
[pid=15978] ppid=15976 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/15978/stat : 15978 (java) S 15976 15978 10738 0 -1 4202496 8995 0 1 0 0 1 0 0 25 0 2 0 906086437 13850947584 8697 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/15978/statm: 3381579 8718 917 9 0 3372735 0
[pid=15978/tid=15979] ppid=15976 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15979/stat : 15979 (java) R 15976 15978 10738 0 -1 4202560 7914 0 1 0 0 0 0 0 25 0 2 0 906086438 13850947584 8730 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316

[startup+0.100955 s]
/proc/loadavg: 2.17 2.10 2.02 2/533 15978
/proc/meminfo: memFree=23017452/32950928 swapFree=58671692/67111528
[pid=15978] ppid=15976 vsize=13622092 CPUtime=0.11 cores=0,2,4,6
/proc/15978/stat : 15978 (java) S 15976 15978 10738 0 -1 4202496 15507 0 1 0 9 2 0 0 25 0 18 0 906086437 13949022208 15190 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15978/statm: 3405523 15190 2093 9 0 3396257 0
[pid=15978/tid=15979] ppid=15976 vsize=13622092 CPUtime=0.08 cores=0,2,4,6
/proc/15978/task/15979/stat : 15979 (java) R 15976 15978 10738 0 -1 4202560 13589 0 1 0 7 1 0 0 18 0 18 0 906086438 13949022208 15190 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256415052833 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622092

[startup+0.315504 s]
/proc/loadavg: 2.17 2.10 2.02 2/533 15978
/proc/meminfo: memFree=23017452/32950928 swapFree=58671692/67111528
[pid=15978] ppid=15976 vsize=13623440 CPUtime=0.5 cores=0,2,4,6
/proc/15978/stat : 15978 (java) S 15976 15978 10738 0 -1 4202496 18165 0 1 0 48 2 0 0 25 0 18 0 906086437 13950402560 17505 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15978/statm: 3405860 17505 2222 9 0 3396594 0
[pid=15978/tid=15979] ppid=15976 vsize=13623440 CPUtime=0.29 cores=0,2,4,6
/proc/15978/task/15979/stat : 15979 (java) R 15976 15978 10738 0 -1 4202560 15408 0 1 0 28 1 0 0 18 0 18 0 906086438 13950402560 17505 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 46912505591850 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13623440

[startup+0.700872 s]
/proc/loadavg: 2.17 2.10 2.02 2/533 15978
/proc/meminfo: memFree=23017452/32950928 swapFree=58671692/67111528
[pid=15978] ppid=15976 vsize=13639012 CPUtime=1.65 cores=0,2,4,6
/proc/15978/stat : 15978 (java) S 15976 15978 10738 0 -1 4202496 33838 0 1 0 161 4 0 0 25 0 19 0 906086437 13966348288 30755 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15978/statm: 3409753 30755 2240 9 0 3400487 0
[pid=15978/tid=15979] ppid=15976 vsize=13639012 CPUtime=0.68 cores=0,2,4,6
/proc/15978/task/15979/stat : 15979 (java) R 15976 15978 10738 0 -1 4202560 23268 0 1 0 66 2 0 0 18 0 19 0 906086438 13966348288 30755 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 46912505181505 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 13639012

[startup+1.50072 s]
/proc/loadavg: 2.17 2.10 2.02 3/552 15997
/proc/meminfo: memFree=22899384/32950928 swapFree=58671692/67111528
[pid=15978] ppid=15976 vsize=13639012 CPUtime=2.82 cores=0,2,4,6
/proc/15978/stat : 15978 (java) S 15976 15978 10738 0 -1 4202496 35233 0 1 0 277 5 0 0 25 0 19 0 906086437 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15978/statm: 3409753 31595 2245 9 0 3400487 0
[pid=15978/tid=15979] ppid=15976 vsize=13639012 CPUtime=1.47 cores=0,2,4,6
/proc/15978/task/15979/stat : 15979 (java) R 15976 15978 10738 0 -1 4202560 24041 0 1 0 145 2 0 0 18 0 19 0 906086438 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 46912506069772 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15978/tid=15981] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15981/stat : 15981 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086440 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15982] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15982/stat : 15982 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086440 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15983] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15983/stat : 15983 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086440 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15984] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15984/stat : 15984 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086440 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15985] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15985/stat : 15985 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086440 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15986] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15986/stat : 15986 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086440 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15987] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15987/stat : 15987 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086440 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15988] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15988/stat : 15988 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086440 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15989] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15989/stat : 15989 (java) S 15976 15978 10738 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 0 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15990] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15990/stat : 15990 (java) S 15976 15978 10738 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906086441 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15991] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15991/stat : 15991 (java) S 15976 15978 10738 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906086441 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15992] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15992/stat : 15992 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427215281 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15993] ppid=15976 vsize=13639012 CPUtime=0.66 cores=0,2,4,6
/proc/15978/task/15993/stat : 15993 (java) S 15976 15978 10738 0 -1 4202560 4657 0 0 0 65 1 0 0 15 0 19 0 906086444 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15994] ppid=15976 vsize=13639012 CPUtime=0.65 cores=0,2,4,6
/proc/15978/task/15994/stat : 15994 (java) R 15976 15978 10738 0 -1 4202560 5376 0 0 0 65 0 0 0 20 0 19 0 906086444 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 47424210108231 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15978/tid=15995] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15995/stat : 15995 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15996] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15996/stat : 15996 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906086444 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15997] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15997/stat : 15997 (java) S 15976 15978 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906086502 13966348288 31595 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 13639012

[startup+3.10142 s]
/proc/loadavg: 2.17 2.10 2.02 3/552 15997
/proc/meminfo: memFree=22895520/32950928 swapFree=58671692/67111528
[pid=15978] ppid=15976 vsize=13639012 CPUtime=4.5 cores=0,2,4,6
/proc/15978/stat : 15978 (java) S 15976 15978 10738 0 -1 4202496 43216 0 1 0 444 6 0 0 25 0 19 0 906086437 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15978/statm: 3409753 39575 2271 9 0 3400487 0
[pid=15978/tid=15979] ppid=15976 vsize=13639012 CPUtime=3 cores=0,2,4,6
/proc/15978/task/15979/stat : 15979 (java) R 15976 15978 10738 0 -1 4202560 24586 0 1 0 298 2 0 0 21 0 19 0 906086438 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 46912506004913 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15978/tid=15981] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15981/stat : 15981 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906086440 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15982] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15982/stat : 15982 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906086440 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15983] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15983/stat : 15983 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906086440 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15984] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15984/stat : 15984 (java) S 15976 15978 10738 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 19 0 906086440 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15985] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15985/stat : 15985 (java) S 15976 15978 10738 0 -1 4202560 851 0 0 0 0 0 0 0 18 0 19 0 906086440 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15986] ppid=15976 vsize=13639012 CPUtime=0.01 cores=0,2,4,6
/proc/15978/task/15986/stat : 15986 (java) S 15976 15978 10738 0 -1 4202560 930 0 0 0 1 0 0 0 18 0 19 0 906086440 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15987] ppid=15976 vsize=13639012 CPUtime=0.01 cores=0,2,4,6
/proc/15978/task/15987/stat : 15987 (java) S 15976 15978 10738 0 -1 4202560 885 0 0 0 1 0 0 0 18 0 19 0 906086440 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15988] ppid=15976 vsize=13639012 CPUtime=0.01 cores=0,2,4,6
/proc/15978/task/15988/stat : 15988 (java) S 15976 15978 10738 0 -1 4202560 919 0 0 0 1 0 0 0 18 0 19 0 906086440 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15989] ppid=15976 vsize=13639012 CPUtime=0.05 cores=0,2,4,6
/proc/15978/task/15989/stat : 15989 (java) S 15976 15978 10738 0 -1 4202560 3709 0 0 0 5 0 0 0 16 0 19 0 906086441 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 0 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15990] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15990/stat : 15990 (java) S 15976 15978 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15991] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15991/stat : 15991 (java) S 15976 15978 10738 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15992] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15992/stat : 15992 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427215281 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15993] ppid=15976 vsize=13639012 CPUtime=0.67 cores=0,2,4,6
/proc/15978/task/15993/stat : 15993 (java) S 15976 15978 10738 0 -1 4202560 4659 0 0 0 66 1 0 0 15 0 19 0 906086444 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15994] ppid=15976 vsize=13639012 CPUtime=0.68 cores=0,2,4,6
/proc/15978/task/15994/stat : 15994 (java) S 15976 15978 10738 0 -1 4202560 5393 0 0 0 68 0 0 0 15 0 19 0 906086444 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15995] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15995/stat : 15995 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15996] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15996/stat : 15996 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906086444 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15997] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15997/stat : 15997 (java) S 15976 15978 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906086502 13966348288 39575 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 13639012

[startup+6.30082 s]
/proc/loadavg: 2.23 2.12 2.03 3/552 15998
/proc/meminfo: memFree=22860552/32950928 swapFree=58671692/67111528
[pid=15978] ppid=15976 vsize=13639012 CPUtime=7.75 cores=0,2,4,6
/proc/15978/stat : 15978 (java) S 15976 15978 10738 0 -1 4202496 44487 0 1 0 769 6 0 0 25 0 19 0 906086437 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15978/statm: 3409753 40607 2271 9 0 3400487 0
[pid=15978/tid=15979] ppid=15976 vsize=13639012 CPUtime=6.12 cores=0,2,4,6
/proc/15978/task/15979/stat : 15979 (java) S 15976 15978 10738 0 -1 4202560 24590 0 1 0 610 2 0 0 25 0 19 0 906086438 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15981] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15981/stat : 15981 (java) S 15976 15978 10738 0 -1 4202560 189 0 0 0 0 0 0 0 15 0 19 0 906086440 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15982] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15982/stat : 15982 (java) S 15976 15978 10738 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 906086440 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15983] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15983/stat : 15983 (java) S 15976 15978 10738 0 -1 4202560 189 0 0 0 0 0 0 0 15 0 19 0 906086440 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15984] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15984/stat : 15984 (java) S 15976 15978 10738 0 -1 4202560 131 0 0 0 0 0 0 0 16 0 19 0 906086440 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15985] ppid=15976 vsize=13639012 CPUtime=0.01 cores=0,2,4,6
/proc/15978/task/15985/stat : 15985 (java) S 15976 15978 10738 0 -1 4202560 1087 0 0 0 1 0 0 0 18 0 19 0 906086440 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15986] ppid=15976 vsize=13639012 CPUtime=0.01 cores=0,2,4,6
/proc/15978/task/15986/stat : 15986 (java) S 15976 15978 10738 0 -1 4202560 930 0 0 0 1 0 0 0 18 0 19 0 906086440 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15987] ppid=15976 vsize=13639012 CPUtime=0.01 cores=0,2,4,6
/proc/15978/task/15987/stat : 15987 (java) S 15976 15978 10738 0 -1 4202560 1240 0 0 0 1 0 0 0 15 0 19 0 906086440 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15988] ppid=15976 vsize=13639012 CPUtime=0.01 cores=0,2,4,6
/proc/15978/task/15988/stat : 15988 (java) S 15976 15978 10738 0 -1 4202560 919 0 0 0 1 0 0 0 16 0 19 0 906086440 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15989] ppid=15976 vsize=13639012 CPUtime=0.12 cores=0,2,4,6
/proc/15978/task/15989/stat : 15989 (java) R 15976 15978 10738 0 -1 4202560 4002 0 0 0 12 0 0 0 15 0 19 0 906086441 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 47424215005379 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=15978/tid=15990] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15990/stat : 15990 (java) S 15976 15978 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15991] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15991/stat : 15991 (java) S 15976 15978 10738 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15992] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15992/stat : 15992 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427215281 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15993] ppid=15976 vsize=13639012 CPUtime=0.69 cores=0,2,4,6
/proc/15978/task/15993/stat : 15993 (java) S 15976 15978 10738 0 -1 4202560 4663 0 0 0 68 1 0 0 16 0 19 0 906086444 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15994] ppid=15976 vsize=13639012 CPUtime=0.69 cores=0,2,4,6
/proc/15978/task/15994/stat : 15994 (java) S 15976 15978 10738 0 -1 4202560 5395 0 0 0 69 0 0 0 15 0 19 0 906086444 13966348288 40607 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0

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

[pid=15978/tid=15986] ppid=15976 vsize=13639012 CPUtime=0.29 cores=0,2,4,6
/proc/15978/task/15986/stat : 15986 (java) S 15976 15978 10738 0 -1 4202560 1863 0 0 0 29 0 0 0 15 0 19 0 906086440 13966348288 55613 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15987] ppid=15976 vsize=13639012 CPUtime=0.34 cores=0,2,4,6
/proc/15978/task/15987/stat : 15987 (java) S 15976 15978 10738 0 -1 4202560 1758 0 0 0 34 0 0 0 16 0 19 0 906086440 13966348288 55613 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15988] ppid=15976 vsize=13639012 CPUtime=0.35 cores=0,2,4,6
/proc/15978/task/15988/stat : 15988 (java) S 15976 15978 10738 0 -1 4202560 1935 0 0 0 35 0 0 0 15 0 19 0 906086440 13966348288 55613 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15989] ppid=15976 vsize=13639012 CPUtime=11.25 cores=0,2,4,6
/proc/15978/task/15989/stat : 15989 (java) S 15976 15978 10738 0 -1 4202560 12623 0 0 0 1122 3 0 0 15 0 19 0 906086441 13966348288 55613 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 0 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15990] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15990/stat : 15990 (java) S 15976 15978 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 55613 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15991] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15991/stat : 15991 (java) S 15976 15978 10738 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 55613 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15992] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15992/stat : 15992 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 55613 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427215281 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15993] ppid=15976 vsize=13639012 CPUtime=0.7 cores=0,2,4,6
/proc/15978/task/15993/stat : 15993 (java) S 15976 15978 10738 0 -1 4202560 4663 0 0 0 69 1 0 0 16 0 19 0 906086444 13966348288 55613 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15994] ppid=15976 vsize=13639012 CPUtime=0.78 cores=0,2,4,6
/proc/15978/task/15994/stat : 15994 (java) S 15976 15978 10738 0 -1 4202560 5421 0 0 0 78 0 0 0 15 0 19 0 906086444 13966348288 55613 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15995] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15995/stat : 15995 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 55613 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15996] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15996/stat : 15996 (java) S 15976 15978 10738 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 906086444 13966348288 55613 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15997] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15997/stat : 15997 (java) S 15976 15978 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906086502 13966348288 55613 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.49
Current children cumulated vsize (KiB) 13639012

[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/552 16101
/proc/meminfo: memFree=22766616/32950928 swapFree=58671692/67111528
[pid=15978] ppid=15976 vsize=13639012 CPUtime=1725.53 cores=0,2,4,6
/proc/15978/stat : 15978 (java) S 15976 15978 10738 0 -1 4202496 59922 0 1 0 172540 13 0 0 25 0 19 0 906086437 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15978/statm: 3409753 55678 2272 9 0 3400487 0
[pid=15978/tid=15979] ppid=15976 vsize=13639012 CPUtime=1709.68 cores=0,2,4,6
/proc/15978/task/15979/stat : 15979 (java) R 15976 15978 10738 0 -1 4202560 24746 0 1 0 170964 4 0 0 25 0 19 0 906086438 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 46912506004292 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15978/tid=15981] ppid=15976 vsize=13639012 CPUtime=0.33 cores=0,2,4,6
/proc/15978/task/15981/stat : 15981 (java) S 15976 15978 10738 0 -1 4202560 527 0 0 0 33 0 0 0 16 0 19 0 906086440 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15982] ppid=15976 vsize=13639012 CPUtime=0.31 cores=0,2,4,6
/proc/15978/task/15982/stat : 15982 (java) S 15976 15978 10738 0 -1 4202560 398 0 0 0 31 0 0 0 15 0 19 0 906086440 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15983] ppid=15976 vsize=13639012 CPUtime=0.3 cores=0,2,4,6
/proc/15978/task/15983/stat : 15983 (java) S 15976 15978 10738 0 -1 4202560 1431 0 0 0 30 0 0 0 16 0 19 0 906086440 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15984] ppid=15976 vsize=13639012 CPUtime=0.33 cores=0,2,4,6
/proc/15978/task/15984/stat : 15984 (java) S 15976 15978 10738 0 -1 4202560 1456 0 0 0 33 0 0 0 15 0 19 0 906086440 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15985] ppid=15976 vsize=13639012 CPUtime=0.33 cores=0,2,4,6
/proc/15978/task/15985/stat : 15985 (java) S 15976 15978 10738 0 -1 4202560 1800 0 0 0 33 0 0 0 16 0 19 0 906086440 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15986] ppid=15976 vsize=13639012 CPUtime=0.31 cores=0,2,4,6
/proc/15978/task/15986/stat : 15986 (java) S 15976 15978 10738 0 -1 4202560 1863 0 0 0 31 0 0 0 16 0 19 0 906086440 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15987] ppid=15976 vsize=13639012 CPUtime=0.35 cores=0,2,4,6
/proc/15978/task/15987/stat : 15987 (java) S 15976 15978 10738 0 -1 4202560 1760 0 0 0 35 0 0 0 16 0 19 0 906086440 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15988] ppid=15976 vsize=13639012 CPUtime=0.36 cores=0,2,4,6
/proc/15978/task/15988/stat : 15988 (java) S 15976 15978 10738 0 -1 4202560 1935 0 0 0 36 0 0 0 16 0 19 0 906086440 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15989] ppid=15976 vsize=13639012 CPUtime=11.64 cores=0,2,4,6
/proc/15978/task/15989/stat : 15989 (java) S 15976 15978 10738 0 -1 4202560 12676 0 0 0 1161 3 0 0 15 0 19 0 906086441 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 0 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15990] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15990/stat : 15990 (java) S 15976 15978 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15991] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15991/stat : 15991 (java) S 15976 15978 10738 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15992] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15992/stat : 15992 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427215281 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15993] ppid=15976 vsize=13639012 CPUtime=0.7 cores=0,2,4,6
/proc/15978/task/15993/stat : 15993 (java) S 15976 15978 10738 0 -1 4202560 4663 0 0 0 69 1 0 0 16 0 19 0 906086444 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15994] ppid=15976 vsize=13639012 CPUtime=0.78 cores=0,2,4,6
/proc/15978/task/15994/stat : 15994 (java) S 15976 15978 10738 0 -1 4202560 5421 0 0 0 78 0 0 0 15 0 19 0 906086444 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15995] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15995/stat : 15995 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15996] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15996/stat : 15996 (java) S 15976 15978 10738 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 906086444 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15997] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15997/stat : 15997 (java) S 15976 15978 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906086502 13966348288 55678 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.53
Current children cumulated vsize (KiB) 13639012

[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/552 16103
/proc/meminfo: memFree=22764320/32950928 swapFree=58671692/67111528
[pid=15978] ppid=15976 vsize=13639012 CPUtime=1785.57 cores=0,2,4,6
/proc/15978/stat : 15978 (java) S 15976 15978 10738 0 -1 4202496 60215 0 1 0 178544 13 0 0 25 0 19 0 906086437 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15978/statm: 3409753 55959 2272 9 0 3400487 0
[pid=15978/tid=15979] ppid=15976 vsize=13639012 CPUtime=1769.32 cores=0,2,4,6
/proc/15978/task/15979/stat : 15979 (java) R 15976 15978 10738 0 -1 4202560 24750 0 1 0 176928 4 0 0 25 0 19 0 906086438 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 46912506017504 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15978/tid=15981] ppid=15976 vsize=13639012 CPUtime=0.34 cores=0,2,4,6
/proc/15978/task/15981/stat : 15981 (java) S 15976 15978 10738 0 -1 4202560 527 0 0 0 34 0 0 0 15 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15982] ppid=15976 vsize=13639012 CPUtime=0.32 cores=0,2,4,6
/proc/15978/task/15982/stat : 15982 (java) S 15976 15978 10738 0 -1 4202560 398 0 0 0 32 0 0 0 15 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15983] ppid=15976 vsize=13639012 CPUtime=0.31 cores=0,2,4,6
/proc/15978/task/15983/stat : 15983 (java) S 15976 15978 10738 0 -1 4202560 1431 0 0 0 31 0 0 0 16 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15984] ppid=15976 vsize=13639012 CPUtime=0.34 cores=0,2,4,6
/proc/15978/task/15984/stat : 15984 (java) S 15976 15978 10738 0 -1 4202560 1456 0 0 0 34 0 0 0 15 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15985] ppid=15976 vsize=13639012 CPUtime=0.34 cores=0,2,4,6
/proc/15978/task/15985/stat : 15985 (java) S 15976 15978 10738 0 -1 4202560 1800 0 0 0 34 0 0 0 16 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15986] ppid=15976 vsize=13639012 CPUtime=0.31 cores=0,2,4,6
/proc/15978/task/15986/stat : 15986 (java) S 15976 15978 10738 0 -1 4202560 1863 0 0 0 31 0 0 0 15 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15987] ppid=15976 vsize=13639012 CPUtime=0.37 cores=0,2,4,6
/proc/15978/task/15987/stat : 15987 (java) S 15976 15978 10738 0 -1 4202560 1760 0 0 0 37 0 0 0 15 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15988] ppid=15976 vsize=13639012 CPUtime=0.37 cores=0,2,4,6
/proc/15978/task/15988/stat : 15988 (java) S 15976 15978 10738 0 -1 4202560 1935 0 0 0 37 0 0 0 16 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15989] ppid=15976 vsize=13639012 CPUtime=11.97 cores=0,2,4,6
/proc/15978/task/15989/stat : 15989 (java) S 15976 15978 10738 0 -1 4202560 12961 0 0 0 1194 3 0 0 15 0 19 0 906086441 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 0 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15990] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15990/stat : 15990 (java) S 15976 15978 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15991] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15991/stat : 15991 (java) S 15976 15978 10738 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15992] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15992/stat : 15992 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427215281 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15993] ppid=15976 vsize=13639012 CPUtime=0.7 cores=0,2,4,6
/proc/15978/task/15993/stat : 15993 (java) S 15976 15978 10738 0 -1 4202560 4663 0 0 0 69 1 0 0 16 0 19 0 906086444 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15994] ppid=15976 vsize=13639012 CPUtime=0.78 cores=0,2,4,6
/proc/15978/task/15994/stat : 15994 (java) S 15976 15978 10738 0 -1 4202560 5421 0 0 0 78 0 0 0 15 0 19 0 906086444 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15995] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15995/stat : 15995 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15996] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15996/stat : 15996 (java) S 15976 15978 10738 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 906086444 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15997] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15997/stat : 15997 (java) S 15976 15978 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906086502 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 13639012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.8 s]
/proc/loadavg: 2.06 2.05 2.01 3/552 16103
/proc/meminfo: memFree=22763936/32950928 swapFree=58671692/67111528
[pid=15978] ppid=15976 vsize=13639012 CPUtime=1800.1 cores=0,2,4,6
/proc/15978/stat : 15978 (java) S 15976 15978 10738 0 -1 4202496 60217 0 1 0 179997 13 0 0 25 0 19 0 906086437 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15978/statm: 3409753 55959 2272 9 0 3400487 0
[pid=15978/tid=15979] ppid=15976 vsize=13639012 CPUtime=1783.65 cores=0,2,4,6
/proc/15978/task/15979/stat : 15979 (java) R 15976 15978 10738 0 -1 4202560 24752 0 1 0 178361 4 0 0 25 0 19 0 906086438 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 46912506022902 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15978/tid=15981] ppid=15976 vsize=13639012 CPUtime=0.34 cores=0,2,4,6
/proc/15978/task/15981/stat : 15981 (java) S 15976 15978 10738 0 -1 4202560 527 0 0 0 34 0 0 0 15 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15982] ppid=15976 vsize=13639012 CPUtime=0.32 cores=0,2,4,6
/proc/15978/task/15982/stat : 15982 (java) S 15976 15978 10738 0 -1 4202560 398 0 0 0 32 0 0 0 16 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15983] ppid=15976 vsize=13639012 CPUtime=0.32 cores=0,2,4,6
/proc/15978/task/15983/stat : 15983 (java) S 15976 15978 10738 0 -1 4202560 1431 0 0 0 32 0 0 0 16 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
[pid=15978/tid=15984] ppid=15976 vsize=13639012 CPUtime=0.35 cores=0,2,4,6
/proc/15978/task/15984/stat : 15984 (java) S 15976 15978 10738 0 -1 4202560 1456 0 0 0 35 0 0 0 16 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15985] ppid=15976 vsize=13639012 CPUtime=0.35 cores=0,2,4,6
/proc/15978/task/15985/stat : 15985 (java) S 15976 15978 10738 0 -1 4202560 1800 0 0 0 35 0 0 0 15 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15986] ppid=15976 vsize=13639012 CPUtime=0.31 cores=0,2,4,6
/proc/15978/task/15986/stat : 15986 (java) S 15976 15978 10738 0 -1 4202560 1863 0 0 0 31 0 0 0 16 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15987] ppid=15976 vsize=13639012 CPUtime=0.37 cores=0,2,4,6
/proc/15978/task/15987/stat : 15987 (java) S 15976 15978 10738 0 -1 4202560 1760 0 0 0 37 0 0 0 15 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15988] ppid=15976 vsize=13639012 CPUtime=0.37 cores=0,2,4,6
/proc/15978/task/15988/stat : 15988 (java) S 15976 15978 10738 0 -1 4202560 1935 0 0 0 37 0 0 0 15 0 19 0 906086440 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15989] ppid=15976 vsize=13639012 CPUtime=12.14 cores=0,2,4,6
/proc/15978/task/15989/stat : 15989 (java) S 15976 15978 10738 0 -1 4202560 12961 0 0 0 1211 3 0 0 15 0 19 0 906086441 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 0 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15990] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15990/stat : 15990 (java) S 15976 15978 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15991] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15991/stat : 15991 (java) S 15976 15978 10738 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906086441 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15992] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15992/stat : 15992 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427215281 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15993] ppid=15976 vsize=13639012 CPUtime=0.7 cores=0,2,4,6
/proc/15978/task/15993/stat : 15993 (java) S 15976 15978 10738 0 -1 4202560 4663 0 0 0 69 1 0 0 16 0 19 0 906086444 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 4 0 0 0
[pid=15978/tid=15994] ppid=15976 vsize=13639012 CPUtime=0.78 cores=0,2,4,6
/proc/15978/task/15994/stat : 15994 (java) S 15976 15978 10738 0 -1 4202560 5421 0 0 0 78 0 0 0 15 0 19 0 906086444 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15995] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15995/stat : 15995 (java) S 15976 15978 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906086444 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427207577 0 4 0 16800975 18446604441622192448 0 0 -1 2 0 0 0
[pid=15978/tid=15996] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15996/stat : 15996 (java) S 15976 15978 10738 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 906086444 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 4 0 16800975 18446604441622192448 0 0 -1 0 0 0 0
[pid=15978/tid=15997] ppid=15976 vsize=13639012 CPUtime=0 cores=0,2,4,6
/proc/15978/task/15997/stat : 15997 (java) S 15976 15978 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906086502 13966348288 55959 33554432000 1073741824 1073778376 140735112528832 18446744073709551615 256427208192 0 4 0 16800975 18446604441622192448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13639012

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.87
CPU time (s): 1800.19
CPU user time (s): 1800.04
CPU system time (s): 0.151976
CPU usage (%): 100.185
Max. virtual memory (cumulated for all children) (KiB): 13639012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60260
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= 41133
involuntary context switches= 27393

runsolver used 9.91149 second user time and 21.1648 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-04 05:35:58
IDJOB=3458293
IDBENCH=48113
IDSOLVER=1952
FILE ID=node115/3458293-1307158558
RUNJOBID= node115-1307156270-14440
PBS_JOBID= 13508801
Free space on /tmp= 73840 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_3.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458293-1307158558/watcher-3458293-1307158558 -o /tmp/evaluation-result-3458293-1307158558/solver-3458293-1307158558 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458293-1307158558.opb

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

MD5SUM BENCH= 0f5da0a781de7969842ad5c8dd7a6f1b
RANDOM SEED=1966428787

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23017484 kB
Buffers:        178240 kB
Cached:         304724 kB
SwapCached:      65796 kB
Active:        1191836 kB
Inactive:      8500016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23017484 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:             512 kB
Writeback:          20 kB
AnonPages:     9147012 kB
Mapped:          35784 kB
Slab:            96596 kB
PageTables:      76012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 165270116 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= 73836 MiB
End job on node115 at 2011-06-04 06:05:57