Trace number 3710726

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 PB specific settings 2.3.2 snapshotSAT (TO)21 1800.03 1790.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUMb258fc1dc8cb1827e842a0b9558712c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.039993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables435
Total number of constraints501
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 435
Biggest coefficient in the objective function 282
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1168
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 282
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1168
Number of bits of the biggest sum of numbers11
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.14	c read org.sat4j.minisat.orders.VarOrderHeap
0.07/0.14	c configuring ORDERS
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.07/0.14	c Expensive reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	c Glucose learned constraints deletion strategy
0.07/0.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=true
0.07/0.14	c Heuristics kept accross calls (keep the solver "hot")
0.07/0.14	c --- End Solver configuration ---
0.07/0.14	c solving HOME/instance-3710726-1338146131.opb
0.07/0.14	c reading problem ... 
0.21/0.23	c ... done. Wall clock time 0.082s.
0.21/0.23	c declared #vars     435
0.21/0.23	c #constraints  501
0.21/0.23	c constraints type 
0.21/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1
0.21/0.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 97
0.21/0.23	c ignored satisfied constraints => 1
0.21/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 402
0.21/0.23	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.21/0.23	c 502 constraints processed.
0.21/0.23	c SATISFIABLE
0.21/0.23	c OPTIMIZING...
0.21/0.23	c Got one! Elapsed wall clock time (in seconds):0.091
0.21/0.24	o 26
0.21/0.24	c Got one! Elapsed wall clock time (in seconds):0.098
0.21/0.24	o 22
0.21/0.25	c Got one! Elapsed wall clock time (in seconds):0.107
0.21/0.25	o 21
0.99/0.67	c cleaning 2495 clauses out of 5002 with flag 5001/5002
1.35/0.96	c cleaning 4245 clauses out of 8507 with flag 11001/11002
1.68/1.29	c cleaning 5621 clauses out of 11263 with flag 18002/18003
2.09/1.67	c cleaning 6814 clauses out of 13641 with flag 26001/26002
2.61/2.11	c cleaning 7910 clauses out of 15828 with flag 35002/35003
3.01/2.58	c cleaning 8951 clauses out of 17916 with flag 45000/45001
3.61/3.11	c cleaning 9972 clauses out of 19965 with flag 56000/56001
4.21/3.70	c cleaning 10990 clauses out of 21994 with flag 68001/68002
4.83/4.36	c cleaning 11995 clauses out of 24003 with flag 81000/81001
5.53/5.04	c cleaning 13002 clauses out of 26011 with flag 95003/95004
6.36/5.80	c cleaning 13998 clauses out of 28007 with flag 110001/110002
7.17/6.64	c cleaning 14998 clauses out of 30008 with flag 126000/126001
8.09/7.52	c cleaning 16001 clauses out of 32013 with flag 143003/143004
9.01/8.41	c cleaning 17001 clauses out of 34009 with flag 161000/161001
10.02/9.43	c cleaning 17998 clauses out of 36008 with flag 180000/180001
11.04/10.47	c cleaning 18995 clauses out of 38011 with flag 200001/200002
12.16/11.57	c cleaning 20001 clauses out of 40015 with flag 221000/221001
13.48/12.80	c cleaning 21001 clauses out of 42014 with flag 243000/243001
14.81/14.12	c cleaning 21999 clauses out of 44013 with flag 266000/266001
16.02/15.38	c cleaning 23002 clauses out of 46015 with flag 290001/290002
17.42/16.76	c cleaning 24002 clauses out of 48013 with flag 315001/315002
18.94/18.24	c cleaning 25001 clauses out of 50010 with flag 341000/341001
20.49/19.75	c cleaning 25997 clauses out of 52009 with flag 368000/368001
22.31/21.50	c cleaning 27000 clauses out of 54012 with flag 396000/396001
23.84/23.00	c cleaning 27996 clauses out of 56012 with flag 425000/425001
25.44/24.66	c cleaning 29000 clauses out of 58016 with flag 455000/455001
27.16/26.33	c cleaning 30000 clauses out of 60016 with flag 486000/486001
29.18/28.31	c cleaning 31002 clauses out of 62016 with flag 518000/518001
31.41/30.50	c cleaning 31995 clauses out of 64015 with flag 551001/551002
33.84/32.92	c cleaning 33002 clauses out of 66020 with flag 585001/585002
35.75/34.85	c cleaning 34001 clauses out of 68017 with flag 620000/620001
37.85/36.95	c cleaning 34996 clauses out of 70016 with flag 656000/656001
40.18/39.21	c cleaning 36001 clauses out of 72020 with flag 693000/693001
42.60/41.70	c cleaning 37008 clauses out of 74024 with flag 731005/731006
45.33/44.37	c cleaning 37996 clauses out of 76011 with flag 770000/770001
48.25/47.25	c cleaning 38991 clauses out of 78015 with flag 810000/810001
51.67/50.64	c cleaning 40005 clauses out of 80025 with flag 851001/851002
54.58/53.57	c cleaning 41004 clauses out of 82019 with flag 893000/893001
57.02/55.98	c cleaning 41999 clauses out of 84015 with flag 936000/936001
59.84/58.76	c cleaning 42998 clauses out of 86016 with flag 980000/980001
62.78/61.64	c cleaning 44000 clauses out of 88018 with flag 1025000/1025001
66.50/65.34	c cleaning 44999 clauses out of 90019 with flag 1071001/1071002
69.55/68.34	c cleaning 46002 clauses out of 92020 with flag 1118001/1118002
73.38/72.18	c cleaning 46995 clauses out of 94017 with flag 1166000/1166001
76.62/75.35	c cleaning 48001 clauses out of 96022 with flag 1215000/1215001
80.46/79.20	c cleaning 49004 clauses out of 98021 with flag 1265000/1265001
84.58/83.22	c cleaning 50001 clauses out of 100017 with flag 1316000/1316001
87.84/86.49	c cleaning 51003 clauses out of 102016 with flag 1368000/1368001
91.16/89.75	c cleaning 52002 clauses out of 104014 with flag 1421001/1421002
94.57/93.16	c cleaning 52995 clauses out of 106011 with flag 1475000/1475001
98.51/97.00	c cleaning 54001 clauses out of 108016 with flag 1530000/1530001
102.65/101.10	c cleaning 54996 clauses out of 110015 with flag 1586000/1586001
106.18/104.68	c cleaning 56003 clauses out of 112020 with flag 1643001/1643002
110.81/109.21	c cleaning 57000 clauses out of 114016 with flag 1701000/1701001
116.64/115.08	c cleaning 57999 clauses out of 116017 with flag 1760001/1760002
120.72/119.09	c cleaning 59000 clauses out of 118017 with flag 1820000/1820001
125.07/123.38	c cleaning 60003 clauses out of 120018 with flag 1881001/1881002
130.09/128.33	c cleaning 61001 clauses out of 122015 with flag 1943001/1943002
135.15/133.37	c cleaning 61998 clauses out of 124013 with flag 2006000/2006001
139.18/137.38	c cleaning 62998 clauses out of 126016 with flag 2070001/2070002
143.82/141.92	c cleaning 64001 clauses out of 128017 with flag 2135000/2135001
148.55/146.62	c cleaning 65003 clauses out of 130017 with flag 2201001/2201002
154.00/152.03	c cleaning 65996 clauses out of 132013 with flag 2268000/2268001
158.83/156.85	c cleaning 67002 clauses out of 134017 with flag 2336000/2336001
165.26/163.29	c cleaning 67997 clauses out of 136016 with flag 2405001/2405002
170.11/168.06	c cleaning 69000 clauses out of 138018 with flag 2475000/2475001
176.05/173.90	c cleaning 69998 clauses out of 140018 with flag 2546000/2546001
182.20/180.03	c cleaning 70998 clauses out of 142021 with flag 2618001/2618002
187.44/185.23	c cleaning 72001 clauses out of 144022 with flag 2691000/2691001
194.59/192.33	c cleaning 72999 clauses out of 146021 with flag 2765000/2765001
201.54/199.29	c cleaning 73996 clauses out of 148022 with flag 2840000/2840001
208.90/206.52	c cleaning 75002 clauses out of 150027 with flag 2916001/2916002
215.85/213.48	c cleaning 76011 clauses out of 152024 with flag 2993000/2993001
221.08/218.65	c cleaning 77003 clauses out of 154014 with flag 3071001/3071002
226.22/223.79	c cleaning 77997 clauses out of 156013 with flag 3150003/3150004
232.18/229.61	c cleaning 79000 clauses out of 158013 with flag 3230000/3230001
238.03/235.44	c cleaning 79996 clauses out of 160013 with flag 3311000/3311001
244.87/242.29	c cleaning 80992 clauses out of 162017 with flag 3393000/3393001
250.63/247.96	c cleaning 82011 clauses out of 164025 with flag 3476000/3476001
259.10/256.32	c cleaning 83003 clauses out of 166015 with flag 3560001/3560002
271.68/268.85	c cleaning 83993 clauses out of 168011 with flag 3645000/3645001
280.27/277.32	c cleaning 85008 clauses out of 170023 with flag 3731005/3731006
289.91/286.95	c cleaning 85996 clauses out of 172010 with flag 3818000/3818001
298.08/295.06	c cleaning 86993 clauses out of 174014 with flag 3906000/3906001
308.63/305.59	c cleaning 88004 clauses out of 176023 with flag 3995002/3995003
318.47/315.31	c cleaning 89000 clauses out of 178017 with flag 4085000/4085001
327.54/324.38	c cleaning 90000 clauses out of 180017 with flag 4176000/4176001
337.22/333.98	c cleaning 91002 clauses out of 182017 with flag 4268000/4268001
348.24/344.95	c cleaning 91998 clauses out of 184016 with flag 4361001/4361002
357.11/353.76	c cleaning 92995 clauses out of 186017 with flag 4455000/4455001
364.04/360.70	c cleaning 94001 clauses out of 188022 with flag 4550000/4550001
371.36/367.99	c cleaning 95002 clauses out of 190021 with flag 4646000/4646001
379.59/376.15	c cleaning 96000 clauses out of 192019 with flag 4743000/4743001
387.32/383.89	c cleaning 96998 clauses out of 194020 with flag 4841001/4841002
395.57/392.08	c cleaning 98003 clauses out of 196021 with flag 4940000/4940001
406.35/402.74	c cleaning 99000 clauses out of 198019 with flag 5040001/5040002
417.86/414.10	c cleaning 99998 clauses out of 200018 with flag 5141000/5141001
428.91/425.19	c cleaning 101000 clauses out of 202021 with flag 5243001/5243002
442.99/439.14	c cleaning 102002 clauses out of 204020 with flag 5346000/5346001
457.95/454.05	c cleaning 102992 clauses out of 206019 with flag 5450001/5450002
466.73/462.71	c cleaning 104007 clauses out of 208027 with flag 5555001/5555002
475.86/471.85	c cleaning 105005 clauses out of 210019 with flag 5661000/5661001
486.82/482.70	c cleaning 105992 clauses out of 212014 with flag 5768000/5768001
497.10/492.99	c cleaning 106992 clauses out of 214023 with flag 5876001/5876002
507.54/503.36	c cleaning 108012 clauses out of 216030 with flag 5985000/5985001
520.91/516.66	c cleaning 109004 clauses out of 218019 with flag 6095001/6095002
534.60/530.22	c cleaning 109997 clauses out of 220014 with flag 6206000/6206001
548.86/544.44	c cleaning 111001 clauses out of 222018 with flag 6318001/6318002
561.77/557.24	c cleaning 111995 clauses out of 224016 with flag 6431000/6431001
574.66/570.07	c cleaning 113002 clauses out of 226022 with flag 6545001/6545002
588.12/583.41	c cleaning 114001 clauses out of 228019 with flag 6660000/6660001
599.86/595.14	c cleaning 115004 clauses out of 230018 with flag 6776000/6776001
609.00/604.25	c cleaning 115998 clauses out of 232015 with flag 6893001/6893002
619.54/614.73	c cleaning 117000 clauses out of 234016 with flag 7011000/7011001
632.28/627.41	c cleaning 117997 clauses out of 236018 with flag 7130002/7130003
641.57/636.66	c cleaning 119002 clauses out of 238022 with flag 7250003/7250004
657.51/652.50	c cleaning 119997 clauses out of 240017 with flag 7371000/7371001
670.62/665.51	c cleaning 121006 clauses out of 242021 with flag 7493001/7493002
691.68/686.56	c cleaning 121992 clauses out of 244014 with flag 7616000/7616001
710.49/705.28	c cleaning 123000 clauses out of 246024 with flag 7740002/7740003
722.78/717.45	c cleaning 124000 clauses out of 248023 with flag 7865001/7865002
735.15/729.75	c cleaning 125002 clauses out of 250022 with flag 7991000/7991001
747.44/741.96	c cleaning 126001 clauses out of 252020 with flag 8118000/8118001
758.01/752.49	c cleaning 127006 clauses out of 254022 with flag 8246003/8246004
773.35/767.77	c cleaning 127996 clauses out of 256014 with flag 8375001/8375002
790.83/785.16	c cleaning 128998 clauses out of 258017 with flag 8505000/8505001
807.92/802.12	c cleaning 130000 clauses out of 260020 with flag 8636001/8636002
823.90/818.05	c cleaning 130997 clauses out of 262019 with flag 8768000/8768001
843.47/837.56	c cleaning 131994 clauses out of 264022 with flag 8901000/8901001
856.86/850.86	c cleaning 133008 clauses out of 266029 with flag 9035001/9035002
881.95/875.86	c cleaning 134004 clauses out of 268020 with flag 9170000/9170001
904.34/898.16	c cleaning 135004 clauses out of 270017 with flag 9306001/9306002
926.01/919.73	c cleaning 135997 clauses out of 272013 with flag 9443001/9443002
944.61/938.24	c cleaning 137000 clauses out of 274016 with flag 9581001/9581002
967.55/961.11	c cleaning 137999 clauses out of 276015 with flag 9720000/9720001
992.53/986.08	c cleaning 138997 clauses out of 278016 with flag 9860000/9860001
1020.13/1013.56	c cleaning 139995 clauses out of 280020 with flag 10001001/10001002
1035.62/1028.91	c cleaning 141006 clauses out of 282025 with flag 10143001/10143002
1046.85/1040.13	c cleaning 141998 clauses out of 284020 with flag 10286002/10286003
1063.80/1057.02	c cleaning 142999 clauses out of 286020 with flag 10430000/10430001
1078.56/1071.79	c cleaning 144002 clauses out of 288021 with flag 10575000/10575001
1103.06/1096.11	c cleaning 145000 clauses out of 290019 with flag 10721000/10721001
1118.54/1111.57	c cleaning 146005 clauses out of 292019 with flag 10868000/10868001
1142.81/1135.79	c cleaning 146987 clauses out of 294014 with flag 11016000/11016001
1158.67/1151.54	c cleaning 148009 clauses out of 296027 with flag 11165000/11165001
1179.45/1172.27	c cleaning 149003 clauses out of 298020 with flag 11315002/11315003
1203.31/1195.99	c cleaning 149999 clauses out of 300015 with flag 11466000/11466001
1220.81/1213.32	c cleaning 150993 clauses out of 302017 with flag 11618001/11618002
1239.37/1231.83	c cleaning 152003 clauses out of 304024 with flag 11771001/11771002
1261.17/1253.58	c cleaning 153005 clauses out of 306021 with flag 11925001/11925002
1281.28/1273.52	c cleaning 153989 clauses out of 308016 with flag 12080001/12080002
1303.15/1295.37	c cleaning 154997 clauses out of 310026 with flag 12236000/12236001
1321.04/1313.16	c cleaning 156007 clauses out of 312030 with flag 12393001/12393002
1343.08/1335.11	c cleaning 156996 clauses out of 314023 with flag 12551001/12551002
1365.47/1357.48	c cleaning 158001 clauses out of 316026 with flag 12710000/12710001
1390.05/1381.99	c cleaning 158998 clauses out of 318025 with flag 12870000/12870001
1413.04/1404.84	c cleaning 159999 clauses out of 320027 with flag 13031000/13031001
1436.60/1428.37	c cleaning 161001 clauses out of 322028 with flag 13193000/13193001
1462.77/1454.46	c cleaning 161998 clauses out of 324027 with flag 13356000/13356001
1479.07/1470.68	c cleaning 163002 clauses out of 326029 with flag 13520000/13520001
1503.45/1494.91	c cleaning 164002 clauses out of 328027 with flag 13685000/13685001
1527.54/1519.00	c cleaning 165009 clauses out of 330026 with flag 13851001/13851002
1549.85/1541.18	c cleaning 166001 clauses out of 332017 with flag 14018001/14018002
1571.77/1562.95	c cleaning 166997 clauses out of 334015 with flag 14186000/14186001
1598.76/1589.87	c cleaning 167998 clauses out of 336018 with flag 14355000/14355001
1626.16/1617.12	c cleaning 168999 clauses out of 338020 with flag 14525000/14525001
1648.01/1638.91	c cleaning 169996 clauses out of 340022 with flag 14696001/14696002
1674.58/1665.40	c cleaning 171003 clauses out of 342025 with flag 14868000/14868001
1701.28/1692.03	c cleaning 171999 clauses out of 344022 with flag 15041000/15041001
1721.36/1712.00	c cleaning 173005 clauses out of 346023 with flag 15215000/15215001
1738.56/1729.20	c cleaning 174000 clauses out of 348018 with flag 15390000/15390001
1758.60/1749.16	c cleaning 174998 clauses out of 350018 with flag 15566000/15566001
1783.07/1773.59	c cleaning 176000 clauses out of 352021 with flag 15743001/15743002
1800.03/1790.41	c starts		: 349
1800.03/1790.41	c conflicts		: 15921002
1800.03/1790.41	c decisions		: 24208245
1800.03/1790.41	c propagations		: 216921973
1800.03/1790.41	c inspects		: 15366060485
1800.03/1790.41	c shortcuts		: 0
1800.03/1790.41	c learnt literals	: 0
1800.03/1790.41	c learnt binary clauses	: 0
1800.03/1790.41	c learnt ternary clauses	: 0
1800.03/1790.41	c learnt constraints	: 15921002
1800.03/1790.41	c ignored constraints	: 0
1800.03/1790.41	c root simplifications	: 349
1800.03/1790.41	c removed literals (reason simplification)	: 1433561187
1800.03/1790.41	c reason swapping (by a shorter reason)	: 0
1800.03/1790.41	c Calls to reduceDB	: 174
1800.03/1790.41	c number of reductions to clauses (during analyze)	: 0
1800.03/1790.41	c number of learned constraints concerned by reduction	: 0
1800.03/1790.41	c number of learning phase by resolution	: 0
1800.03/1790.41	c number of learning phase by cutting planes	: 0
1800.03/1790.41	c speed (assignments/second)	: 121173.20706677146
1800.03/1790.41	c non guided choices	279
1800.03/1790.45	c learnt constraints type 
1800.03/1790.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 354021
1800.03/1790.45	c constraints type 
1800.03/1790.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1
1800.03/1790.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 97
1800.03/1790.45	c ignored satisfied constraints => 1
1800.03/1790.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 402
1800.03/1790.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.03/1790.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.03/1790.45	c 503 constraints processed.
1800.03/1790.45	s SATISFIABLE
1800.03/1790.45	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 -x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 -x51 -x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 -x76 x77 x78 x79 x80 x81 x82 x83 -x84 x85 x86 x87 -x88 x89 x90 -x91 -x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 -x107 -x108 x109 x110 -x111 -x112 x113 x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 -x139 -x140 -x141 -x142 x143 x144 x145 x146 x147 -x148 x149 x150 x151 x152 x153 x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 -x176 -x177 -x178 -x179 x180 -x181 x182 x183 x184 x185 x186 x187 x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 x235 x236 -x237 -x238 x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 x341 x342 x343 x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 x420 x421 x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 
1800.03/1790.45	c objective function=21
1800.03/1790.45	c Total wall clock time (in seconds): 1790.305

Verifier Data 

OK	21

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-3710726-1338146131/watcher-3710726-1338146131 -o /tmp/evaluation-result-3710726-1338146131/solver-3710726-1338146131 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710726-1338146131.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/173 25920
/proc/meminfo: memFree=31351440/32873844 swapFree=6872/6872
[pid=25920] ppid=25918 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/25920/stat : 25920 (java) D 25918 25920 22966 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 280741622 2560000 46 33554432000 1073741824 1073778376 140734498362768 140734498359896 270109076775 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25920/statm: 625 46 37 9 0 29 0

[startup+0.031867 s]
/proc/loadavg: 2.00 2.01 2.00 2/173 25920
/proc/meminfo: memFree=31351440/32873844 swapFree=6872/6872
[pid=25920] ppid=25918 vsize=9014776 CPUtime=0 cores=1,3,5,7
/proc/25920/stat : 25920 (java) S 25918 25920 22966 0 -1 4202496 2089 0 1 0 0 0 0 0 20 0 10 0 280741622 9231130624 2279 33554432000 1073741824 1073778376 140737077523296 140737077514432 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25920/statm: 2253694 2280 969 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776

[startup+0.100312 s]
/proc/loadavg: 2.00 2.01 2.00 2/173 25920
/proc/meminfo: memFree=31351440/32873844 swapFree=6872/6872
[pid=25920] ppid=25918 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/25920/stat : 25920 (java) S 25918 25920 22966 0 -1 4202496 3449 0 1 0 6 1 0 0 20 0 18 0 280741622 9787842560 4656 33554432000 1073741824 1073778376 140737077523296 140737077514432 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25920/statm: 2389610 4656 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558440

[startup+0.300291 s]
/proc/loadavg: 2.00 2.01 2.00 2/173 25920
/proc/meminfo: memFree=31351440/32873844 swapFree=6872/6872
[pid=25920] ppid=25918 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/25920/stat : 25920 (java) S 25918 25920 22966 0 -1 4202496 6319 0 1 0 40 1 0 0 20 0 19 0 280741622 9856004096 8325 33554432000 1073741824 1073778376 140737077523296 140737077514432 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25920/statm: 2406251 8325 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9625004

[startup+0.700285 s]
/proc/loadavg: 2.00 2.01 2.00 2/173 25920
/proc/meminfo: memFree=31351440/32873844 swapFree=6872/6872
[pid=25920] ppid=25918 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/25920/stat : 25920 (java) S 25918 25920 22966 0 -1 4202496 7767 0 1 0 113 2 0 0 20 0 19 0 280741622 9856004096 11364 33554432000 1073741824 1073778376 140737077523296 140737077514432 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25920/statm: 2406251 11364 2278 9 0 2396937 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9625004

[startup+1.50075 s]
/proc/loadavg: 1.92 2.00 1.99 3/213 25996
/proc/meminfo: memFree=31291860/32873844 swapFree=6872/6872
[pid=25920] ppid=25918 vsize=9625004 CPUtime=1.99 cores=1,3,5,7
/proc/25920/stat : 25920 (java) S 25918 25920 22966 0 -1 4202496 7780 0 1 0 197 2 0 0 20 0 19 0 280741622 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 140737077514432 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25920/statm: 2406251 12905 2278 9 0 2396937 0
[pid=25920/tid=25922] ppid=25918 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/25920/task/25922/stat : 25922 (java) R 25918 25920 22966 0 -1 4202560 2516 0 1 0 140 1 0 0 20 0 19 0 280741624 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139786035999240 139785901911848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25923] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25923/stat : 25923 (java) S 25918 25920 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280741625 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139786025061416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25924] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25924/stat : 25924 (java) S 25918 25920 22966 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280741625 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139786024008616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25925] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25925/stat : 25925 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139786022955816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25926] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25926/stat : 25926 (java) S 25918 25920 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139786021903016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25927] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25927/stat : 25927 (java) S 25918 25920 22966 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139786020850216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25928] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25928/stat : 25928 (java) S 25918 25920 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139785873865128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25929] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25929/stat : 25929 (java) S 25918 25920 22966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139785872812328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25930] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25930/stat : 25930 (java) S 25918 25920 22966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139785871759528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25931] ppid=25918 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/25920/task/25931/stat : 25931 (java) S 25918 25920 22966 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 280741627 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139785859562472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25932] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25932/stat : 25932 (java) S 25918 25920 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280741627 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139785858508536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25933] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25933/stat : 25933 (java) S 25918 25920 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280741627 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139785857455624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25934] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25934/stat : 25934 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139785856404112 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25935] ppid=25918 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/25920/task/25935/stat : 25935 (java) S 25918 25920 22966 0 -1 4202560 1667 0 0 0 21 0 0 0 20 0 19 0 280741630 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139785855351224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25936] ppid=25918 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/25920/task/25936/stat : 25936 (java) S 25918 25920 22966 0 -1 4202560 2341 0 0 0 27 0 0 0 20 0 19 0 280741630 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139785854298424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25937] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25937/stat : 25937 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139785853245816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25938] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25938/stat : 25938 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139785852193224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25939] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25939/stat : 25939 (java) S 25918 25920 22966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280741646 9856004096 12905 33554432000 1073741824 1073778376 140737077523296 139785851139752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9625004

[startup+3.10073 s]
/proc/loadavg: 1.92 2.00 1.99 3/213 25996
/proc/meminfo: memFree=31263312/32873844 swapFree=6872/6872
[pid=25920] ppid=25918 vsize=9625004 CPUtime=3.61 cores=1,3,5,7
/proc/25920/stat : 25920 (java) S 25918 25920 22966 0 -1 4202496 7797 0 1 0 359 2 0 0 20 0 19 0 280741622 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 140737077514432 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25920/statm: 2406251 13939 2278 9 0 2396937 0
[pid=25920/tid=25922] ppid=25918 vsize=9625004 CPUtime=2.95 cores=1,3,5,7
/proc/25920/task/25922/stat : 25922 (java) R 25918 25920 22966 0 -1 4202560 2519 0 1 0 294 1 0 0 20 0 19 0 280741624 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139786035998984 139785902008352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25923] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25923/stat : 25923 (java) S 25918 25920 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280741625 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139786025061416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25924] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25924/stat : 25924 (java) S 25918 25920 22966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280741625 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139786024008616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25925] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25925/stat : 25925 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139786022955816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25926] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25926/stat : 25926 (java) S 25918 25920 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139786021903016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25927] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25927/stat : 25927 (java) S 25918 25920 22966 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139786020850216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25928] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25928/stat : 25928 (java) S 25918 25920 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139785873865128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25929] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25929/stat : 25929 (java) S 25918 25920 22966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139785872812328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25930] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25930/stat : 25930 (java) S 25918 25920 22966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139785871759528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25931] ppid=25918 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/25920/task/25931/stat : 25931 (java) S 25918 25920 22966 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 280741627 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139785859562472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25932] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25932/stat : 25932 (java) S 25918 25920 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280741627 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139785858508536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25933] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25933/stat : 25933 (java) S 25918 25920 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280741627 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139785857455624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25934] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25934/stat : 25934 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139785856404112 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25935] ppid=25918 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/25920/task/25935/stat : 25935 (java) S 25918 25920 22966 0 -1 4202560 1668 0 0 0 23 0 0 0 20 0 19 0 280741630 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139785855351224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25936] ppid=25918 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/25920/task/25936/stat : 25936 (java) S 25918 25920 22966 0 -1 4202560 2341 0 0 0 27 0 0 0 20 0 19 0 280741630 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139785854298424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25937] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25937/stat : 25937 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139785853245816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25938] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25938/stat : 25938 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139785852193224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25939] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25939/stat : 25939 (java) S 25918 25920 22966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280741646 9856004096 13939 33554432000 1073741824 1073778376 140737077523296 139785851139752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 9625004

[startup+6.3008 s]
/proc/loadavg: 1.93 2.00 1.99 3/213 25996
/proc/meminfo: memFree=31251148/32873844 swapFree=6872/6872
[pid=25920] ppid=25918 vsize=9625004 CPUtime=6.86 cores=1,3,5,7
/proc/25920/stat : 25920 (java) S 25918 25920 22966 0 -1 4202496 7840 0 1 0 683 3 0 0 20 0 19 0 280741622 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 140737077514432 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25920/statm: 2406251 15781 2278 9 0 2396937 0
[pid=25920/tid=25922] ppid=25918 vsize=9625004 CPUtime=6.03 cores=1,3,5,7
/proc/25920/task/25922/stat : 25922 (java) R 25918 25920 22966 0 -1 4202560 2525 0 1 0 602 1 0 0 20 0 19 0 280741624 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139786035999144 139785901932673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25923] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25923/stat : 25923 (java) S 25918 25920 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280741625 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139786025061416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25924] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25924/stat : 25924 (java) S 25918 25920 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280741625 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139786024008616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25925] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25925/stat : 25925 (java) S 25918 25920 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139786022955816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25926] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25926/stat : 25926 (java) S 25918 25920 22966 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139786021903016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25927] ppid=25918 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/25920/task/25927/stat : 25927 (java) S 25918 25920 22966 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 280741626 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139786020850216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25928] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25928/stat : 25928 (java) S 25918 25920 22966 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139785873865128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25929] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25929/stat : 25929 (java) S 25918 25920 22966 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139785872812328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25930] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25930/stat : 25930 (java) S 25918 25920 22966 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 280741626 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139785871759528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25931] ppid=25918 vsize=9625004 CPUtime=0.14 cores=1,3,5,7
/proc/25920/task/25931/stat : 25931 (java) S 25918 25920 22966 0 -1 4202560 34 0 0 0 14 0 0 0 20 0 19 0 280741627 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139785859562472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25932] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25932/stat : 25932 (java) S 25918 25920 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280741627 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139785858508536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25933] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25933/stat : 25933 (java) S 25918 25920 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280741627 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139785857455624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25934] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25934/stat : 25934 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139785856404112 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25935] ppid=25918 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/25920/task/25935/stat : 25935 (java) S 25918 25920 22966 0 -1 4202560 1668 0 0 0 23 0 0 0 20 0 19 0 280741630 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139785855351224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25936] ppid=25918 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/25920/task/25936/stat : 25936 (java) S 25918 25920 22966 0 -1 4202560 2341 0 0 0 27 0 0 0 20 0 19 0 280741630 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139785854298424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25937] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25937/stat : 25937 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139785853245816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25938] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25938/stat : 25938 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139785852193224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25939] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25939/stat : 25939 (java) S 25918 25920 22966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280741646 9856004096 15781 33554432000 1073741824 1073778376 140737077523296 139785851139752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=25920/tid=25935] ppid=25918 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/25920/task/25935/stat : 25935 (java) S 25918 25920 22966 0 -1 4202560 2094 0 0 0 25 0 0 0 20 0 19 0 280741630 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785855351224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25936] ppid=25918 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/25920/task/25936/stat : 25936 (java) S 25918 25920 22966 0 -1 4202560 2341 0 0 0 27 0 0 0 20 0 19 0 280741630 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785854298424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25937] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25937/stat : 25937 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785853245816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25938] ppid=25918 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/25920/task/25938/stat : 25938 (java) S 25918 25920 22966 0 -1 4202560 93 0 0 0 43 29 0 0 20 0 19 0 280741630 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785852193224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25939] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25939/stat : 25939 (java) S 25918 25920 22966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280741646 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785851139752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1671.47
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/213 26011
/proc/meminfo: memFree=30800544/32873844 swapFree=6872/6872
[pid=25920] ppid=25918 vsize=9625004 CPUtime=1731.76 cores=1,3,5,7
/proc/25920/stat : 25920 (java) S 25918 25920 22966 0 -1 4202496 10863 0 1 0 173104 72 0 0 20 0 19 0 280741622 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 140737077514432 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25920/statm: 2406251 79957 2279 9 0 2396937 0
[pid=25920/tid=25922] ppid=25918 vsize=9625004 CPUtime=1703.18 cores=1,3,5,7
/proc/25920/task/25922/stat : 25922 (java) R 25918 25920 22966 0 -1 4202560 2721 0 1 0 170291 27 0 0 20 0 19 0 280741624 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139786035999024 139785901968275 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25923] ppid=25918 vsize=9625004 CPUtime=1.32 cores=1,3,5,7
/proc/25920/task/25923/stat : 25923 (java) S 25918 25920 22966 0 -1 4202560 290 0 0 0 129 3 0 0 20 0 19 0 280741625 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139786025061416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25924] ppid=25918 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/25920/task/25924/stat : 25924 (java) S 25918 25920 22966 0 -1 4202560 360 0 0 0 133 2 0 0 20 0 19 0 280741625 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139786024008616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25925] ppid=25918 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/25920/task/25925/stat : 25925 (java) S 25918 25920 22966 0 -1 4202560 92 0 0 0 130 3 0 0 20 0 19 0 280741626 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139786022955816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25926] ppid=25918 vsize=9625004 CPUtime=1.44 cores=1,3,5,7
/proc/25920/task/25926/stat : 25926 (java) S 25918 25920 22966 0 -1 4202560 323 0 0 0 141 3 0 0 20 0 19 0 280741626 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139786021903016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25927] ppid=25918 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/25920/task/25927/stat : 25927 (java) S 25918 25920 22966 0 -1 4202560 146 0 0 0 132 2 0 0 20 0 19 0 280741626 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139786020850216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25928] ppid=25918 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/25920/task/25928/stat : 25928 (java) S 25918 25920 22966 0 -1 4202560 404 0 0 0 159 3 0 0 20 0 19 0 280741626 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785873865128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25929] ppid=25918 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/25920/task/25929/stat : 25929 (java) S 25918 25920 22966 0 -1 4202560 292 0 0 0 138 4 0 0 20 0 19 0 280741626 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785872812328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25930] ppid=25918 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/25920/task/25930/stat : 25930 (java) S 25918 25920 22966 0 -1 4202560 357 0 0 0 128 2 0 0 20 0 19 0 280741626 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785871759528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25931] ppid=25918 vsize=9625004 CPUtime=11.51 cores=1,3,5,7
/proc/25920/task/25931/stat : 25931 (java) S 25918 25920 22966 0 -1 4202560 159 0 0 0 1148 3 0 0 20 0 19 0 280741627 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785859562472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25932] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25932/stat : 25932 (java) S 25918 25920 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280741627 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785858508536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25933] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25933/stat : 25933 (java) S 25918 25920 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280741627 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785857455624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25934] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25934/stat : 25934 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785856404112 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25935] ppid=25918 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/25920/task/25935/stat : 25935 (java) S 25918 25920 22966 0 -1 4202560 2094 0 0 0 25 0 0 0 20 0 19 0 280741630 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785855351224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25936] ppid=25918 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/25920/task/25936/stat : 25936 (java) S 25918 25920 22966 0 -1 4202560 2341 0 0 0 27 0 0 0 20 0 19 0 280741630 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785854298424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25937] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25937/stat : 25937 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785853245816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25938] ppid=25918 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/25920/task/25938/stat : 25938 (java) S 25918 25920 22966 0 -1 4202560 97 0 0 0 45 30 0 0 20 0 19 0 280741630 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785852193224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25939] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25939/stat : 25939 (java) S 25918 25920 22966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280741646 9856004096 79957 33554432000 1073741824 1073778376 140737077523296 139785851139752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1731.76
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/213 26011
/proc/meminfo: memFree=30771376/32873844 swapFree=6872/6872
[pid=25920] ppid=25918 vsize=9625004 CPUtime=1791.93 cores=1,3,5,7
/proc/25920/stat : 25920 (java) S 25918 25920 22966 0 -1 4202496 10877 0 1 0 179121 72 0 0 20 0 19 0 280741622 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 140737077514432 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25920/statm: 2406251 81493 2279 9 0 2396937 0
[pid=25920/tid=25922] ppid=25918 vsize=9625004 CPUtime=1762.55 cores=1,3,5,7
/proc/25920/task/25922/stat : 25922 (java) R 25918 25920 22966 0 -1 4202560 2727 0 1 0 176227 28 0 0 20 0 19 0 280741624 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139786035999024 139785901968618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25923] ppid=25918 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/25920/task/25923/stat : 25923 (java) S 25918 25920 22966 0 -1 4202560 290 0 0 0 132 3 0 0 20 0 19 0 280741625 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139786025061416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25924] ppid=25918 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/25920/task/25924/stat : 25924 (java) S 25918 25920 22966 0 -1 4202560 360 0 0 0 137 2 0 0 20 0 19 0 280741625 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139786024008616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25925] ppid=25918 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/25920/task/25925/stat : 25925 (java) S 25918 25920 22966 0 -1 4202560 92 0 0 0 133 3 0 0 20 0 19 0 280741626 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139786022955816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25926] ppid=25918 vsize=9625004 CPUtime=1.48 cores=1,3,5,7
/proc/25920/task/25926/stat : 25926 (java) S 25918 25920 22966 0 -1 4202560 323 0 0 0 145 3 0 0 20 0 19 0 280741626 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139786021903016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25927] ppid=25918 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/25920/task/25927/stat : 25927 (java) S 25918 25920 22966 0 -1 4202560 146 0 0 0 134 2 0 0 20 0 19 0 280741626 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139786020850216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25928] ppid=25918 vsize=9625004 CPUtime=1.66 cores=1,3,5,7
/proc/25920/task/25928/stat : 25928 (java) S 25918 25920 22966 0 -1 4202560 404 0 0 0 163 3 0 0 20 0 19 0 280741626 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785873865128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25929] ppid=25918 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/25920/task/25929/stat : 25929 (java) S 25918 25920 22966 0 -1 4202560 292 0 0 0 141 4 0 0 20 0 19 0 280741626 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785872812328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25930] ppid=25918 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/25920/task/25930/stat : 25930 (java) S 25918 25920 22966 0 -1 4202560 357 0 0 0 131 2 0 0 20 0 19 0 280741626 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785871759528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25931] ppid=25918 vsize=9625004 CPUtime=11.89 cores=1,3,5,7
/proc/25920/task/25931/stat : 25931 (java) S 25918 25920 22966 0 -1 4202560 163 0 0 0 1186 3 0 0 20 0 19 0 280741627 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785859562472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25932] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25932/stat : 25932 (java) S 25918 25920 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280741627 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785858508536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25933] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25933/stat : 25933 (java) S 25918 25920 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280741627 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785857455624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25934] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25934/stat : 25934 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785856404112 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25935] ppid=25918 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/25920/task/25935/stat : 25935 (java) S 25918 25920 22966 0 -1 4202560 2094 0 0 0 25 0 0 0 20 0 19 0 280741630 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785855351224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25936] ppid=25918 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/25920/task/25936/stat : 25936 (java) S 25918 25920 22966 0 -1 4202560 2341 0 0 0 27 0 0 0 20 0 19 0 280741630 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785854298424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25937] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25937/stat : 25937 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785853245816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25938] ppid=25918 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/25920/task/25938/stat : 25938 (java) S 25918 25920 22966 0 -1 4202560 101 0 0 0 46 30 0 0 20 0 19 0 280741630 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785852193224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25939] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25939/stat : 25939 (java) S 25918 25920 22966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280741646 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785851139752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.4 s]
/proc/loadavg: 2.07 2.04 2.00 2/193 26014
/proc/meminfo: memFree=31010104/32873844 swapFree=6872/6872
[pid=25920] ppid=25918 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/25920/stat : 25920 (java) S 25918 25920 22966 0 -1 4202496 10877 0 1 0 179931 72 0 0 20 0 19 0 280741622 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 140737077514432 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25920/statm: 2406251 81493 2279 9 0 2396937 0
[pid=25920/tid=25922] ppid=25918 vsize=9625004 CPUtime=1770.63 cores=1,3,5,7
/proc/25920/task/25922/stat : 25922 (java) R 25918 25920 22966 0 -1 4202560 2727 0 1 0 177035 28 0 0 20 0 19 0 280741624 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139786035999024 139785902146303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25923] ppid=25918 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/25920/task/25923/stat : 25923 (java) S 25918 25920 22966 0 -1 4202560 290 0 0 0 132 3 0 0 20 0 19 0 280741625 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139786025061416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25924] ppid=25918 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/25920/task/25924/stat : 25924 (java) S 25918 25920 22966 0 -1 4202560 360 0 0 0 137 2 0 0 20 0 19 0 280741625 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139786024008616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25925] ppid=25918 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/25920/task/25925/stat : 25925 (java) S 25918 25920 22966 0 -1 4202560 92 0 0 0 133 3 0 0 20 0 19 0 280741626 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139786022955816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25926] ppid=25918 vsize=9625004 CPUtime=1.48 cores=1,3,5,7
/proc/25920/task/25926/stat : 25926 (java) S 25918 25920 22966 0 -1 4202560 323 0 0 0 145 3 0 0 20 0 19 0 280741626 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139786021903016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25927] ppid=25918 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/25920/task/25927/stat : 25927 (java) S 25918 25920 22966 0 -1 4202560 146 0 0 0 134 2 0 0 20 0 19 0 280741626 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139786020850216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25928] ppid=25918 vsize=9625004 CPUtime=1.66 cores=1,3,5,7
/proc/25920/task/25928/stat : 25928 (java) S 25918 25920 22966 0 -1 4202560 404 0 0 0 163 3 0 0 20 0 19 0 280741626 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785873865128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25929] ppid=25918 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/25920/task/25929/stat : 25929 (java) S 25918 25920 22966 0 -1 4202560 292 0 0 0 141 4 0 0 20 0 19 0 280741626 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785872812328 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25930] ppid=25918 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/25920/task/25930/stat : 25930 (java) S 25918 25920 22966 0 -1 4202560 357 0 0 0 131 2 0 0 20 0 19 0 280741626 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785871759528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25920/tid=25931] ppid=25918 vsize=9625004 CPUtime=11.89 cores=1,3,5,7
/proc/25920/task/25931/stat : 25931 (java) S 25918 25920 22966 0 -1 4202560 163 0 0 0 1186 3 0 0 20 0 19 0 280741627 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785859562472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25932] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25932/stat : 25932 (java) S 25918 25920 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280741627 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785858508536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25933] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25933/stat : 25933 (java) S 25918 25920 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280741627 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785857455624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25934] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25934/stat : 25934 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785856404112 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25935] ppid=25918 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/25920/task/25935/stat : 25935 (java) S 25918 25920 22966 0 -1 4202560 2094 0 0 0 25 0 0 0 20 0 19 0 280741630 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785855351224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25920/tid=25936] ppid=25918 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/25920/task/25936/stat : 25936 (java) S 25918 25920 22966 0 -1 4202560 2341 0 0 0 27 0 0 0 20 0 19 0 280741630 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785854298424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25937] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25937/stat : 25937 (java) S 25918 25920 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280741630 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785853245816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25920/tid=25938] ppid=25918 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/25920/task/25938/stat : 25938 (java) S 25918 25920 22966 0 -1 4202560 101 0 0 0 46 31 0 0 20 0 19 0 280741630 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785852193224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25920/tid=25939] ppid=25918 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25920/task/25939/stat : 25939 (java) S 25918 25920 22966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280741646 9856004096 81493 33554432000 1073741824 1073778376 140737077523296 139785851139752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25920 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=578182
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=980850
# CPU time returned by wait4() is 1795.56
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.46
CPU time (s): 1800.03
CPU user time (s): 1799.31
CPU system time (s): 0.72
CPU usage (%): 100.535
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 0.98085
maximum resident set size= 332268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10920
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42668
involuntary context switches= 18180

runsolver used 8.74167 second user time and 12.6621 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-27 21:15:31
IDJOB=3710726
IDBENCH=2225
IDSOLVER=2289
FILE ID=node106/3710726-1338146131
RUNJOBID= node106-1338138950-25295
PBS_JOBID= 14624504
Free space on /tmp= 71336 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710726-1338146131/watcher-3710726-1338146131 -o /tmp/evaluation-result-3710726-1338146131/solver-3710726-1338146131 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710726-1338146131.opb

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

MD5SUM BENCH= b258fc1dc8cb1827e842a0b9558712c7
RANDOM SEED=545456940

node106.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		: 2667.065
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	: 5334.13
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		: 2667.065
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		: 2667.065
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.91
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		: 2667.065
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.92
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		: 2667.065
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.91
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		: 2667.065
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		: 2667.065
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		: 2667.065
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:       32873844 kB
MemFree:        31352076 kB
Buffers:          165456 kB
Cached:           505728 kB
SwapCached:            0 kB
Active:           603972 kB
Inactive:          80852 kB
Active(anon):       4028 kB
Inactive(anon):    12004 kB
Active(file):     599944 kB
Inactive(file):    68848 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               872 kB
Writeback:             0 kB
AnonPages:         20316 kB
Mapped:            10452 kB
Shmem:               200 kB
Slab:             696752 kB
SReclaimable:     138908 kB
SUnreclaim:       557844 kB
KernelStack:        1432 kB
PageTables:         3996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     137308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node106 at 2012-05-27 21:45:24