Trace number 3710730

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)73 1800.07 1790.56

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
MD5SUM09000b526c4cf3fc454b31cbb57a970b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.181971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables906
Total number of constraints1039
Number of constraints which are clauses852
Number of constraints which are cardinality constraints (but not clauses)187
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18
Number of terms in the objective function 906
Biggest coefficient in the objective function 553
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2526
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 553
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2526
Number of bits of the biggest sum of numbers12
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=true
0.10/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3710730-1338146346.opb
0.10/0.12	c reading problem ... 
0.25/0.23	c ... done. Wall clock time 0.116s.
0.25/0.23	c declared #vars     906
0.25/0.23	c #constraints  1039
0.25/0.23	c constraints type 
0.25/0.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 186
0.25/0.23	c ignored satisfied constraints => 1
0.25/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 852
0.25/0.23	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.25/0.23	c 1040 constraints processed.
0.25/0.25	c SATISFIABLE
0.25/0.25	c OPTIMIZING...
0.25/0.25	c Got one! Elapsed wall clock time (in seconds):0.13
0.25/0.25	o 74
0.25/0.27	c Got one! Elapsed wall clock time (in seconds):0.15
0.25/0.27	o 73
1.41/0.87	c cleaning 2492 clauses out of 5004 with flag 5000/5004
1.98/1.32	c cleaning 4248 clauses out of 8512 with flag 11000/11004
2.49/1.83	c cleaning 5622 clauses out of 11264 with flag 18000/18004
3.10/2.43	c cleaning 6820 clauses out of 13643 with flag 26001/26005
3.81/3.11	c cleaning 7907 clauses out of 15823 with flag 35001/35005
4.51/3.84	c cleaning 8951 clauses out of 17915 with flag 45000/45004
5.32/4.67	c cleaning 9975 clauses out of 19964 with flag 56000/56004
6.24/5.55	c cleaning 10984 clauses out of 21989 with flag 68000/68004
7.25/6.55	c cleaning 11995 clauses out of 24006 with flag 81001/81005
8.35/7.61	c cleaning 12998 clauses out of 26010 with flag 95000/95004
9.46/8.74	c cleaning 13998 clauses out of 28012 with flag 110000/110004
10.67/9.96	c cleaning 15001 clauses out of 30014 with flag 126000/126004
11.97/11.21	c cleaning 16000 clauses out of 32014 with flag 143001/143005
13.28/12.55	c cleaning 17000 clauses out of 34014 with flag 161001/161005
14.89/14.11	c cleaning 18002 clauses out of 36014 with flag 180001/180005
16.30/15.58	c cleaning 18999 clauses out of 38012 with flag 200001/200005
18.10/17.30	c cleaning 19994 clauses out of 40012 with flag 221000/221004
19.83/19.02	c cleaning 21001 clauses out of 42018 with flag 243000/243004
21.64/20.89	c cleaning 22006 clauses out of 44017 with flag 266000/266004
23.56/22.71	c cleaning 23001 clauses out of 46012 with flag 290001/290005
25.57/24.76	c cleaning 23996 clauses out of 48010 with flag 315000/315004
27.89/27.07	c cleaning 25001 clauses out of 50014 with flag 341000/341004
30.12/29.27	c cleaning 25999 clauses out of 52013 with flag 368000/368004
32.65/31.72	c cleaning 27003 clauses out of 54014 with flag 396000/396004
34.86/33.93	c cleaning 27999 clauses out of 56011 with flag 425000/425004
37.47/36.52	c cleaning 29003 clauses out of 58013 with flag 455001/455005
39.90/38.95	c cleaning 30000 clauses out of 60009 with flag 486000/486004
42.75/41.76	c cleaning 30999 clauses out of 62009 with flag 518000/518004
45.67/44.65	c cleaning 32000 clauses out of 64011 with flag 551001/551005
48.58/47.55	c cleaning 32993 clauses out of 66010 with flag 585000/585004
51.40/50.39	c cleaning 34002 clauses out of 68018 with flag 620001/620005
54.43/53.32	c cleaning 34995 clauses out of 70015 with flag 656000/656004
57.77/56.61	c cleaning 36003 clauses out of 72021 with flag 693001/693005
61.19/60.05	c cleaning 36999 clauses out of 74020 with flag 731003/731007
64.63/63.46	c cleaning 38001 clauses out of 76018 with flag 770000/770004
68.07/66.83	c cleaning 39001 clauses out of 78017 with flag 810000/810004
71.98/70.74	c cleaning 39993 clauses out of 80016 with flag 851000/851004
75.90/74.67	c cleaning 40999 clauses out of 82023 with flag 893000/893004
79.42/78.11	c cleaning 42004 clauses out of 84024 with flag 936000/936004
83.04/81.78	c cleaning 42998 clauses out of 86020 with flag 980000/980004
87.29/85.93	c cleaning 44007 clauses out of 88025 with flag 1025003/1025007
91.92/90.58	c cleaning 45005 clauses out of 90017 with flag 1071002/1071006
96.67/95.29	c cleaning 45999 clauses out of 92011 with flag 1118001/1118005
101.31/99.86	c cleaning 46996 clauses out of 94011 with flag 1166000/1166004
105.74/104.27	c cleaning 48005 clauses out of 96017 with flag 1215002/1215006
111.68/110.19	c cleaning 48996 clauses out of 98012 with flag 1265002/1265006
116.94/115.34	c cleaning 49997 clauses out of 100015 with flag 1316001/1316005
121.42/119.72	c cleaning 51002 clauses out of 102017 with flag 1368000/1368004
125.95/124.30	c cleaning 52001 clauses out of 104015 with flag 1421000/1421004
130.60/128.88	c cleaning 52998 clauses out of 106015 with flag 1475001/1475005
136.32/134.53	c cleaning 54003 clauses out of 108017 with flag 1530001/1530005
142.25/140.48	c cleaning 54998 clauses out of 110013 with flag 1586000/1586004
147.60/145.75	c cleaning 55990 clauses out of 112015 with flag 1643000/1643004
153.52/151.60	c cleaning 57003 clauses out of 114026 with flag 1701001/1701005
159.64/157.75	c cleaning 57999 clauses out of 116022 with flag 1760000/1760004
166.43/164.49	c cleaning 59007 clauses out of 118025 with flag 1820002/1820006
173.37/171.39	c cleaning 59995 clauses out of 120016 with flag 1881000/1881004
180.00/177.96	c cleaning 61000 clauses out of 122022 with flag 1943001/1943005
186.63/184.51	c cleaning 62007 clauses out of 124023 with flag 2006002/2006006
191.95/189.83	c cleaning 63000 clauses out of 126014 with flag 2070000/2070004
198.21/196.07	c cleaning 63998 clauses out of 128014 with flag 2135000/2135004
205.75/203.53	c cleaning 64997 clauses out of 130016 with flag 2201000/2201004
213.82/211.55	c cleaning 65996 clauses out of 132020 with flag 2268001/2268005
220.00/217.64	c cleaning 67002 clauses out of 134024 with flag 2336001/2336005
227.94/225.58	c cleaning 68002 clauses out of 136021 with flag 2405000/2405004
234.08/231.69	c cleaning 69003 clauses out of 138019 with flag 2475000/2475004
241.92/239.48	c cleaning 69998 clauses out of 140017 with flag 2546001/2546005
249.68/247.11	c cleaning 71004 clauses out of 142019 with flag 2618001/2618005
256.72/254.18	c cleaning 71997 clauses out of 144015 with flag 2691001/2691005
265.65/263.03	c cleaning 73000 clauses out of 146019 with flag 2765002/2765006
274.45/271.79	c cleaning 74002 clauses out of 148018 with flag 2840001/2840005
284.22/281.47	c cleaning 74999 clauses out of 150015 with flag 2916000/2916004
294.11/291.30	c cleaning 76007 clauses out of 152017 with flag 2993001/2993005
300.74/297.80	c cleaning 76995 clauses out of 154010 with flag 3071001/3071005
308.19/305.23	c cleaning 77998 clauses out of 156015 with flag 3150001/3150005
315.79/312.72	c cleaning 79002 clauses out of 158016 with flag 3230000/3230004
324.25/321.19	c cleaning 79997 clauses out of 160014 with flag 3311000/3311004
334.69/331.54	c cleaning 81004 clauses out of 162019 with flag 3393002/3393006
343.05/339.80	c cleaning 82003 clauses out of 164015 with flag 3476002/3476006
353.07/349.81	c cleaning 83000 clauses out of 166011 with flag 3560001/3560005
362.75/359.42	c cleaning 83996 clauses out of 168012 with flag 3645002/3645006
372.44/369.02	c cleaning 84999 clauses out of 170015 with flag 3731001/3731005
383.21/379.77	c cleaning 85997 clauses out of 172015 with flag 3818000/3818004
394.97/391.48	c cleaning 86995 clauses out of 174018 with flag 3906000/3906004
406.33/402.78	c cleaning 88008 clauses out of 176025 with flag 3995002/3995006
418.41/414.70	c cleaning 89002 clauses out of 178017 with flag 4085002/4085006
429.90/426.12	c cleaning 89991 clauses out of 180013 with flag 4176000/4176004
441.08/437.21	c cleaning 90999 clauses out of 182022 with flag 4268000/4268004
452.50/448.66	c cleaning 92007 clauses out of 184026 with flag 4361003/4361007
464.03/460.14	c cleaning 93000 clauses out of 186018 with flag 4455002/4455006
472.87/469.00	c cleaning 94001 clauses out of 188017 with flag 4550001/4550005
481.69/477.75	c cleaning 95000 clauses out of 190015 with flag 4646000/4646004
491.02/487.05	c cleaning 95992 clauses out of 192015 with flag 4743000/4743004
500.57/496.50	c cleaning 97002 clauses out of 194023 with flag 4841000/4841004
511.73/507.63	c cleaning 98004 clauses out of 196021 with flag 4940000/4940004
524.62/520.41	c cleaning 98997 clauses out of 198017 with flag 5040000/5040004
537.06/532.75	c cleaning 99998 clauses out of 200020 with flag 5141000/5141004
546.94/542.57	c cleaning 101000 clauses out of 202023 with flag 5243001/5243005
558.08/553.69	c cleaning 101995 clauses out of 204022 with flag 5346000/5346004
568.94/564.48	c cleaning 103006 clauses out of 206027 with flag 5450000/5450004
580.10/575.52	c cleaning 103999 clauses out of 208022 with flag 5555001/5555005
593.74/589.11	c cleaning 105001 clauses out of 210022 with flag 5661000/5661004
606.74/602.00	c cleaning 106000 clauses out of 212022 with flag 5768001/5768005
619.70/614.91	c cleaning 107001 clauses out of 214021 with flag 5876000/5876004
633.57/628.73	c cleaning 108004 clauses out of 216022 with flag 5985002/5985006
648.24/643.35	c cleaning 109001 clauses out of 218017 with flag 6095001/6095005
664.87/659.88	c cleaning 109991 clauses out of 220016 with flag 6206001/6206005
680.56/675.47	c cleaning 111004 clauses out of 222025 with flag 6318001/6318005
697.13/691.93	c cleaning 111998 clauses out of 224020 with flag 6431000/6431004
714.09/708.86	c cleaning 113002 clauses out of 226023 with flag 6545001/6545005
731.04/725.73	c cleaning 113996 clauses out of 228020 with flag 6660000/6660004
743.30/737.97	c cleaning 115007 clauses out of 230025 with flag 6776001/6776005
753.66/748.27	c cleaning 116004 clauses out of 232019 with flag 6893002/6893006
766.80/761.32	c cleaning 116997 clauses out of 234013 with flag 7011000/7011004
779.32/773.76	c cleaning 117994 clauses out of 236016 with flag 7130000/7130004
791.01/785.32	c cleaning 119001 clauses out of 238022 with flag 7250000/7250004
806.27/800.58	c cleaning 120006 clauses out of 240022 with flag 7371001/7371005
820.97/815.17	c cleaning 121001 clauses out of 242019 with flag 7493004/7493008
838.24/832.35	c cleaning 121993 clauses out of 244014 with flag 7616000/7616004
853.13/847.11	c cleaning 123000 clauses out of 246021 with flag 7740000/7740004
870.86/864.82	c cleaning 124003 clauses out of 248022 with flag 7865001/7865005
888.33/882.21	c cleaning 124998 clauses out of 250018 with flag 7991000/7991004
907.62/901.47	c cleaning 125997 clauses out of 252020 with flag 8118000/8118004
922.96/916.73	c cleaning 126999 clauses out of 254023 with flag 8246000/8246004
939.95/933.62	c cleaning 127997 clauses out of 256025 with flag 8375001/8375005
960.17/953.76	c cleaning 129005 clauses out of 258028 with flag 8505001/8505005
980.84/974.38	c cleaning 130003 clauses out of 260022 with flag 8636000/8636004
997.30/990.71	c cleaning 130994 clauses out of 262019 with flag 8768000/8768004
1016.97/1010.32	c cleaning 132002 clauses out of 264025 with flag 8901000/8901004
1033.07/1026.31	c cleaning 132998 clauses out of 266023 with flag 9035000/9035004
1050.60/1043.82	c cleaning 134002 clauses out of 268027 with flag 9170002/9170006
1072.77/1065.99	c cleaning 135005 clauses out of 270024 with flag 9306001/9306005
1094.38/1087.42	c cleaning 135998 clauses out of 272019 with flag 9443001/9443005
1113.16/1106.11	c cleaning 137000 clauses out of 274021 with flag 9581001/9581005
1132.71/1125.64	c cleaning 137998 clauses out of 276020 with flag 9720000/9720004
1151.41/1144.25	c cleaning 138999 clauses out of 278022 with flag 9860000/9860004
1169.76/1162.55	c cleaning 140001 clauses out of 280023 with flag 10001000/10001004
1186.80/1179.57	c cleaning 141001 clauses out of 282022 with flag 10143000/10143004
1201.40/1193.94	c cleaning 142001 clauses out of 284021 with flag 10286000/10286004
1216.52/1209.00	c cleaning 142996 clauses out of 286020 with flag 10430000/10430004
1234.01/1226.32	c cleaning 144000 clauses out of 288024 with flag 10575000/10575004
1258.34/1250.62	c cleaning 145002 clauses out of 290024 with flag 10721000/10721004
1276.00/1268.23	c cleaning 145997 clauses out of 292022 with flag 10868000/10868004
1297.96/1290.18	c cleaning 147004 clauses out of 294025 with flag 11016000/11016004
1314.97/1307.01	c cleaning 148003 clauses out of 296023 with flag 11165002/11165006
1334.93/1326.99	c cleaning 148998 clauses out of 298018 with flag 11315000/11315004
1359.32/1351.29	c cleaning 149997 clauses out of 300021 with flag 11466001/11466005
1384.91/1376.74	c cleaning 151005 clauses out of 302023 with flag 11618000/11618004
1411.78/1403.58	c cleaning 151999 clauses out of 304018 with flag 11771000/11771004
1434.55/1426.25	c cleaning 153000 clauses out of 306020 with flag 11925001/11925005
1460.80/1452.49	c cleaning 153998 clauses out of 308019 with flag 12080000/12080004
1484.29/1475.83	c cleaning 155003 clauses out of 310021 with flag 12236000/12236004
1503.70/1495.16	c cleaning 155999 clauses out of 312018 with flag 12393000/12393004
1534.61/1525.95	c cleaning 157001 clauses out of 314019 with flag 12551000/12551004
1567.00/1558.24	c cleaning 157998 clauses out of 316018 with flag 12710000/12710004
1592.45/1583.53	c cleaning 158994 clauses out of 318020 with flag 12870000/12870004
1622.29/1613.37	c cleaning 160001 clauses out of 320026 with flag 13031000/13031004
1648.07/1639.04	c cleaning 161000 clauses out of 322025 with flag 13193000/13193004
1675.73/1666.62	c cleaning 161999 clauses out of 324026 with flag 13356001/13356005
1696.76/1687.62	c cleaning 163008 clauses out of 326026 with flag 13520000/13520004
1718.36/1709.13	c cleaning 163993 clauses out of 328018 with flag 13685000/13685004
1745.57/1736.28	c cleaning 165003 clauses out of 330026 with flag 13851001/13851005
1772.68/1763.23	c cleaning 166002 clauses out of 332022 with flag 14018000/14018004
1800.07/1790.51	c starts		: 327
1800.07/1790.51	c conflicts		: 14186004
1800.07/1790.51	c decisions		: 21074116
1800.07/1790.51	c propagations		: 263105697
1800.07/1790.51	c inspects		: 11978420591
1800.07/1790.51	c shortcuts		: 0
1800.07/1790.51	c learnt literals	: 0
1800.07/1790.51	c learnt binary clauses	: 0
1800.07/1790.51	c learnt ternary clauses	: 0
1800.07/1790.51	c learnt constraints	: 14186004
1800.07/1790.51	c ignored constraints	: 0
1800.07/1790.51	c root simplifications	: 327
1800.07/1790.51	c removed literals (reason simplification)	: 2397412032
1800.07/1790.51	c reason swapping (by a shorter reason)	: 0
1800.07/1790.51	c Calls to reduceDB	: 164
1800.07/1790.51	c number of reductions to clauses (during analyze)	: 0
1800.07/1790.51	c number of learned constraints concerned by reduction	: 0
1800.07/1790.51	c number of learning phase by resolution	: 0
1800.07/1790.51	c number of learning phase by cutting planes	: 0
1800.07/1790.51	c speed (assignments/second)	: 146964.25511235735
1800.07/1790.51	c non guided choices	512
1800.07/1790.54	c learnt constraints type 
1800.07/1790.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 334020
1800.07/1790.54	c constraints type 
1800.07/1790.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 186
1800.07/1790.54	c ignored satisfied constraints => 1
1800.07/1790.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 852
1800.07/1790.54	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.07/1790.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.07/1790.54	c 1041 constraints processed.
1800.07/1790.54	s SATISFIABLE
1800.07/1790.55	v x1 x2 -x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 -x35 -x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 -x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 -x107 -x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 -x143 -x144 -x145 x146 x147 x148 x149 -x150 x151 x152 x153 -x154 x155 x156 x157 x158 x159 x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 -x185 -x186 -x187 -x188 x189 x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 -x257 -x258 x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 x275 x276 x277 x278 -x279 x280 x281 x282 x283 x284 x285 x286 x287 -x288 x289 x290 -x291 -x292 -x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 -x303 x304 x305 x306 x307 x308 x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 x336 x337 x338 x339 -x340 -x341 -x342 -x343 x344 x345 -x346 x347 x348 -x349 -x350 -x351 -x352 x353 x354 x355 x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 x375 x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 x389 x390 x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 x421 x422 x423 x424 -x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 x475 x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 x497 x498 x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 x555 x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 x741 x742 x743 x744 x745 x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 
1800.07/1790.55	c objective function=73
1800.07/1790.55	c Total wall clock time (in seconds): 1790.43

Verifier Data 

OK	73

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-3710730-1338146346/watcher-3710730-1338146346 -o /tmp/evaluation-result-3710730-1338146346/solver-3710730-1338146346 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710730-1338146346.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.19 2.05 2.01 2/194 17593
/proc/meminfo: memFree=28975824/32873844 swapFree=7116/7116
[pid=17593] ppid=17591 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/17593/stat : 17593 (java) S 17591 17593 14200 0 -1 4202496 1159 0 0 0 0 0 0 0 20 0 2 0 280759634 91889664 878 33554432000 1073741824 1073778376 140736098713264 140736098704400 227144663101 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17593/statm: 22434 882 668 9 0 16769 0
[pid=17593/tid=17594] ppid=17591 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17594/stat : 17594 (java) R 17591 17593 14200 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 2 0 280759634 91889664 892 33554432000 1073741824 1073778376 140736098713264 140736098702328 140042571185248 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.094421 s]
/proc/loadavg: 2.19 2.05 2.01 2/194 17593
/proc/meminfo: memFree=28975824/32873844 swapFree=7116/7116
[pid=17593] ppid=17591 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/17593/stat : 17593 (java) S 17591 17593 14200 0 -1 4202496 4235 0 1 0 8 1 0 0 20 0 18 0 280759634 9787842560 5441 33554432000 1073741824 1073778376 140736098713264 140736098704400 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17593/statm: 2389610 5441 2115 9 0 2380296 0
[pid=17593/tid=17594] ppid=17591 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/17593/task/17594/stat : 17594 (java) R 17591 17593 14200 0 -1 4202560 2392 0 1 0 7 0 0 0 20 0 18 0 280759634 9787842560 5441 33554432000 1073741824 1073778376 140736098713264 140042564631440 140042572397395 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.100254 s]
/proc/loadavg: 2.19 2.05 2.01 2/194 17593
/proc/meminfo: memFree=28975824/32873844 swapFree=7116/7116
[pid=17593] ppid=17591 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/17593/stat : 17593 (java) S 17591 17593 14200 0 -1 4202496 4268 0 1 0 9 1 0 0 20 0 18 0 280759634 9787842560 5985 33554432000 1073741824 1073778376 140736098713264 140736098704400 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17593/statm: 2389610 5985 2116 9 0 2380296 0
[pid=17593/tid=17594] ppid=17591 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/17593/task/17594/stat : 17594 (java) R 17591 17593 14200 0 -1 4202560 2425 0 1 0 7 0 0 0 20 0 18 0 280759634 9787842560 5985 33554432000 1073741824 1073778376 140736098713264 140042564631440 227144688909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300217 s]
/proc/loadavg: 2.19 2.05 2.01 2/194 17593
/proc/meminfo: memFree=28975824/32873844 swapFree=7116/7116
[pid=17593] ppid=17591 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/17593/stat : 17593 (java) S 17591 17593 14200 0 -1 4202496 6347 0 1 0 45 2 0 0 20 0 19 0 280759634 9856004096 8940 33554432000 1073741824 1073778376 140736098713264 140736098704400 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17593/statm: 2406251 8940 2233 9 0 2396937 0
[pid=17593/tid=17594] ppid=17591 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/17593/task/17594/stat : 17594 (java) R 17591 17593 14200 0 -1 4202560 2517 0 1 0 27 0 0 0 20 0 19 0 280759634 9856004096 8940 33554432000 1073741824 1073778376 140736098713264 140042564633360 140042391632674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625004

[startup+0.700172 s]
/proc/loadavg: 2.19 2.05 2.01 2/194 17593
/proc/meminfo: memFree=28975824/32873844 swapFree=7116/7116
[pid=17593] ppid=17591 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/17593/stat : 17593 (java) S 17591 17593 14200 0 -1 4202496 10869 0 1 0 124 4 0 0 20 0 19 0 280759634 9856004096 11752 33554432000 1073741824 1073778376 140736098713264 140736098704400 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17593/statm: 2406251 11752 2248 9 0 2396937 0
[pid=17593/tid=17594] ppid=17591 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/17593/task/17594/stat : 17594 (java) R 17591 17593 14200 0 -1 4202560 2519 0 1 0 66 1 0 0 20 0 19 0 280759634 9856004096 11752 33554432000 1073741824 1073778376 140736098713264 140042564633032 140042391987134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9625004

[startup+1.50075 s]
/proc/loadavg: 2.17 2.04 2.01 3/213 17612
/proc/meminfo: memFree=28924600/32873844 swapFree=7116/7116
[pid=17593] ppid=17591 vsize=9625004 CPUtime=2.19 cores=0,2,4,6
/proc/17593/stat : 17593 (java) S 17591 17593 14200 0 -1 4202496 11210 0 1 0 214 5 0 0 20 0 19 0 280759634 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140736098704400 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17593/statm: 2406251 16377 2279 9 0 2396937 0
[pid=17593/tid=17594] ppid=17591 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/17593/task/17594/stat : 17594 (java) R 17591 17593 14200 0 -1 4202560 2525 0 1 0 143 1 0 0 20 0 19 0 280759634 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042564632880 140042392008679 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042526124968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042525072424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042524019368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 14200 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042522966824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042521913768 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042520861224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042519808168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17603] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17603/stat : 17603 (java) S 17591 17593 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042518755624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17604] ppid=17591 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/17593/task/17604/stat : 17604 (java) S 17591 17593 14200 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 280759636 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042388355944 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17605] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17605/stat : 17605 (java) S 17591 17593 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280759636 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042387302264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17606] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17606/stat : 17606 (java) S 17591 17593 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280759637 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042386249096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17607] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17607/stat : 17607 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042385197840 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17608] ppid=17591 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/17593/task/17608/stat : 17608 (java) S 17591 17593 14200 0 -1 4202560 4211 0 0 0 31 1 0 0 20 0 19 0 280759639 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042384144696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17609] ppid=17591 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/17593/task/17609/stat : 17609 (java) S 17591 17593 14200 0 -1 4202560 3218 0 0 0 33 2 0 0 20 0 19 0 280759639 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042383092152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17610] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17610/stat : 17610 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042382039288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17611] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17611/stat : 17611 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042380986952 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17612] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17612/stat : 17612 (java) S 17591 17593 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280759658 9856004096 16377 33554432000 1073741824 1073778376 140736098713264 140042379933224 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9625004

[startup+3.10075 s]
/proc/loadavg: 2.17 2.04 2.01 3/213 17612
/proc/meminfo: memFree=28918332/32873844 swapFree=7116/7116
[pid=17593] ppid=17591 vsize=9625004 CPUtime=3.81 cores=0,2,4,6
/proc/17593/stat : 17593 (java) S 17591 17593 14200 0 -1 4202496 11220 0 1 0 376 5 0 0 20 0 19 0 280759634 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140736098704400 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17593/statm: 2406251 17405 2279 9 0 2396937 0
[pid=17593/tid=17594] ppid=17591 vsize=9625004 CPUtime=3 cores=0,2,4,6
/proc/17593/task/17594/stat : 17594 (java) R 17591 17593 14200 0 -1 4202560 2525 0 1 0 299 1 0 0 20 0 19 0 280759634 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042564633000 140042392075478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042526124968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042525072424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042524019368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 14200 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042522966824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042521913768 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042520861224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042519808168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17603] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17603/stat : 17603 (java) S 17591 17593 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042518755624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17604] ppid=17591 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/17593/task/17604/stat : 17604 (java) S 17591 17593 14200 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 19 0 280759636 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042388355944 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17605] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17605/stat : 17605 (java) S 17591 17593 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280759636 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042387302264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17606] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17606/stat : 17606 (java) S 17591 17593 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280759637 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042386249096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17607] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17607/stat : 17607 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042385197840 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17608] ppid=17591 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/17593/task/17608/stat : 17608 (java) S 17591 17593 14200 0 -1 4202560 4211 0 0 0 31 1 0 0 20 0 19 0 280759639 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042384144696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17609] ppid=17591 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/17593/task/17609/stat : 17609 (java) S 17591 17593 14200 0 -1 4202560 3221 0 0 0 35 2 0 0 20 0 19 0 280759639 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042383092152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17610] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17610/stat : 17610 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042382039288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17611] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17611/stat : 17611 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042380986952 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17612] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17612/stat : 17612 (java) S 17591 17593 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280759658 9856004096 17405 33554432000 1073741824 1073778376 140736098713264 140042379933224 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9625004

[startup+6.30076 s]
/proc/loadavg: 2.16 2.04 2.01 3/213 17612
/proc/meminfo: memFree=28879296/32873844 swapFree=7116/7116
[pid=17593] ppid=17591 vsize=9625004 CPUtime=7.04 cores=0,2,4,6
/proc/17593/stat : 17593 (java) S 17591 17593 14200 0 -1 4202496 11242 0 1 0 698 6 0 0 20 0 19 0 280759634 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140736098704400 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17593/statm: 2406251 19194 2279 9 0 2396937 0
[pid=17593/tid=17594] ppid=17591 vsize=9625004 CPUtime=6.13 cores=0,2,4,6
/proc/17593/task/17594/stat : 17594 (java) R 17591 17593 14200 0 -1 4202560 2530 0 1 0 612 1 0 0 20 0 19 0 280759634 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042564633000 140042392059186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 14200 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042526124968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 14200 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042525072424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042524019368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 14200 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042522966824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042521913768 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042520861224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042519808168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17603] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17603/stat : 17603 (java) S 17591 17593 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280759635 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042518755624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17604] ppid=17591 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/17593/task/17604/stat : 17604 (java) S 17591 17593 14200 0 -1 4202560 36 0 0 0 9 0 0 0 20 0 19 0 280759636 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042388355944 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17605] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17605/stat : 17605 (java) S 17591 17593 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280759636 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042387302264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17606] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17606/stat : 17606 (java) S 17591 17593 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280759637 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042386249096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17607] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17607/stat : 17607 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042385197840 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17608] ppid=17591 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/17593/task/17608/stat : 17608 (java) S 17591 17593 14200 0 -1 4202560 4211 0 0 0 31 1 0 0 20 0 19 0 280759639 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042384144696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17609] ppid=17591 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/17593/task/17609/stat : 17609 (java) S 17591 17593 14200 0 -1 4202560 3221 0 0 0 35 2 0 0 20 0 19 0 280759639 9856004096 19194 33554432000 1073741824 1073778376 140736098713264 140042383092152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=17593/tid=17608] ppid=17591 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/17593/task/17608/stat : 17608 (java) S 17591 17593 14200 0 -1 4202560 4211 0 0 0 31 1 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042384144696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17609] ppid=17591 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/17593/task/17609/stat : 17609 (java) S 17591 17593 14200 0 -1 4202560 3229 0 0 0 37 2 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042383092152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17610] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17610/stat : 17610 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042382039288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17611] ppid=17591 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/17593/task/17611/stat : 17611 (java) S 17591 17593 14200 0 -1 4202560 98 0 0 0 27 21 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042380986952 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17612] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17612/stat : 17612 (java) S 17591 17593 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280759658 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042379933224 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1731.67
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 17686
/proc/meminfo: memFree=28325444/32873844 swapFree=7116/7116
[pid=17593] ppid=17591 vsize=9625004 CPUtime=1791.86 cores=0,2,4,6
/proc/17593/stat : 17593 (java) S 17591 17593 14200 0 -1 4202496 15040 0 1 0 179120 66 0 0 20 0 19 0 280759634 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140736098704400 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17593/statm: 2406251 139680 2280 9 0 2396937 0
[pid=17593/tid=17594] ppid=17591 vsize=9625004 CPUtime=1763.45 cores=0,2,4,6
/proc/17593/task/17594/stat : 17594 (java) R 17591 17593 14200 0 -1 4202560 2742 0 1 0 176314 31 0 0 20 0 19 0 280759634 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042564632880 140042392075538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=9625004 CPUtime=1.42 cores=0,2,4,6
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 14200 0 -1 4202560 325 0 0 0 137 5 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042526124968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=9625004 CPUtime=1.6 cores=0,2,4,6
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 14200 0 -1 4202560 337 0 0 0 154 6 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042525072424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 14200 0 -1 4202560 343 0 0 0 142 4 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042524019368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=9625004 CPUtime=1.58 cores=0,2,4,6
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 14200 0 -1 4202560 443 0 0 0 152 6 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042522966824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=9625004 CPUtime=1.54 cores=0,2,4,6
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 14200 0 -1 4202560 483 0 0 0 148 6 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042521913768 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=9625004 CPUtime=1.48 cores=0,2,4,6
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 14200 0 -1 4202560 327 0 0 0 144 4 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042520861224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=9625004 CPUtime=1.52 cores=0,2,4,6
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 14200 0 -1 4202560 439 0 0 0 147 5 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042519808168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17603] ppid=17591 vsize=9625004 CPUtime=1.43 cores=0,2,4,6
/proc/17593/task/17603/stat : 17603 (java) S 17591 17593 14200 0 -1 4202560 440 0 0 0 137 6 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042518755624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17604] ppid=17591 vsize=9625004 CPUtime=10.75 cores=0,2,4,6
/proc/17593/task/17604/stat : 17604 (java) S 17591 17593 14200 0 -1 4202560 438 0 0 0 1073 2 0 0 20 0 19 0 280759636 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042388355944 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17605] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17605/stat : 17605 (java) S 17591 17593 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280759636 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042387302264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17606] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17606/stat : 17606 (java) S 17591 17593 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280759637 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042386249096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17607] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17607/stat : 17607 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042385197840 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17608] ppid=17591 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/17593/task/17608/stat : 17608 (java) S 17591 17593 14200 0 -1 4202560 4211 0 0 0 31 1 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042384144696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17609] ppid=17591 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/17593/task/17609/stat : 17609 (java) S 17591 17593 14200 0 -1 4202560 3229 0 0 0 37 2 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042383092152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17610] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17610/stat : 17610 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042382039288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17611] ppid=17591 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/17593/task/17611/stat : 17611 (java) S 17591 17593 14200 0 -1 4202560 102 0 0 0 29 21 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042380986952 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17612] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17612/stat : 17612 (java) S 17591 17593 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280759658 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042379933224 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.86
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 17686
/proc/meminfo: memFree=28304592/32873844 swapFree=7116/7116
[pid=17593] ppid=17591 vsize=9625004 CPUtime=1800.07 cores=0,2,4,6
/proc/17593/stat : 17593 (java) S 17591 17593 14200 0 -1 4202496 15040 0 1 0 179941 66 0 0 20 0 19 0 280759634 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140736098704400 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17593/statm: 2406251 139680 2280 9 0 2396937 0
[pid=17593/tid=17594] ppid=17591 vsize=9625004 CPUtime=1771.64 cores=0,2,4,6
/proc/17593/task/17594/stat : 17594 (java) R 17591 17593 14200 0 -1 4202560 2742 0 1 0 177133 31 0 0 20 0 19 0 280759634 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042564632880 140042392284735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=9625004 CPUtime=1.42 cores=0,2,4,6
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 14200 0 -1 4202560 325 0 0 0 137 5 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042526124968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=9625004 CPUtime=1.6 cores=0,2,4,6
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 14200 0 -1 4202560 337 0 0 0 154 6 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042525072424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 14200 0 -1 4202560 343 0 0 0 142 4 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042524019368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=9625004 CPUtime=1.58 cores=0,2,4,6
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 14200 0 -1 4202560 443 0 0 0 152 6 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042522966824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=9625004 CPUtime=1.54 cores=0,2,4,6
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 14200 0 -1 4202560 483 0 0 0 148 6 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042521913768 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=9625004 CPUtime=1.48 cores=0,2,4,6
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 14200 0 -1 4202560 327 0 0 0 144 4 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042520861224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=9625004 CPUtime=1.52 cores=0,2,4,6
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 14200 0 -1 4202560 439 0 0 0 147 5 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042519808168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17603] ppid=17591 vsize=9625004 CPUtime=1.43 cores=0,2,4,6
/proc/17593/task/17603/stat : 17603 (java) S 17591 17593 14200 0 -1 4202560 440 0 0 0 137 6 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042518755624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17604] ppid=17591 vsize=9625004 CPUtime=10.75 cores=0,2,4,6
/proc/17593/task/17604/stat : 17604 (java) S 17591 17593 14200 0 -1 4202560 438 0 0 0 1073 2 0 0 20 0 19 0 280759636 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042388355944 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17605] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17605/stat : 17605 (java) S 17591 17593 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280759636 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042387302264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17606] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17606/stat : 17606 (java) S 17591 17593 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280759637 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042386249096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17607] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17607/stat : 17607 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042385197840 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17608] ppid=17591 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/17593/task/17608/stat : 17608 (java) S 17591 17593 14200 0 -1 4202560 4211 0 0 0 31 1 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042384144696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17609] ppid=17591 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/17593/task/17609/stat : 17609 (java) S 17591 17593 14200 0 -1 4202560 3229 0 0 0 37 2 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042383092152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17610] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17610/stat : 17610 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042382039288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17611] ppid=17591 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/17593/task/17611/stat : 17611 (java) S 17591 17593 14200 0 -1 4202560 102 0 0 0 29 21 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042380986952 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17612] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17612/stat : 17612 (java) S 17591 17593 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280759658 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042379933224 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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

[startup+1790.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 17686
/proc/meminfo: memFree=28304592/32873844 swapFree=7116/7116
[pid=17593] ppid=17591 vsize=9625004 CPUtime=1800.07 cores=0,2,4,6
/proc/17593/stat : 17593 (java) S 17591 17593 14200 0 -1 4202496 15040 0 1 0 179941 66 0 0 20 0 19 0 280759634 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140736098704400 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17593/statm: 2406251 139680 2280 9 0 2396937 0
[pid=17593/tid=17594] ppid=17591 vsize=9625004 CPUtime=1771.64 cores=0,2,4,6
/proc/17593/task/17594/stat : 17594 (java) R 17591 17593 14200 0 -1 4202560 2742 0 1 0 177133 31 0 0 20 0 19 0 280759634 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042564632880 140042392284735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=9625004 CPUtime=1.42 cores=0,2,4,6
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 14200 0 -1 4202560 325 0 0 0 137 5 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042526124968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=9625004 CPUtime=1.6 cores=0,2,4,6
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 14200 0 -1 4202560 337 0 0 0 154 6 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042525072424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 14200 0 -1 4202560 343 0 0 0 142 4 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042524019368 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=9625004 CPUtime=1.58 cores=0,2,4,6
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 14200 0 -1 4202560 443 0 0 0 152 6 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042522966824 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=9625004 CPUtime=1.54 cores=0,2,4,6
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 14200 0 -1 4202560 483 0 0 0 148 6 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042521913768 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=9625004 CPUtime=1.48 cores=0,2,4,6
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 14200 0 -1 4202560 327 0 0 0 144 4 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042520861224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=9625004 CPUtime=1.52 cores=0,2,4,6
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 14200 0 -1 4202560 439 0 0 0 147 5 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042519808168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17603] ppid=17591 vsize=9625004 CPUtime=1.43 cores=0,2,4,6
/proc/17593/task/17603/stat : 17603 (java) S 17591 17593 14200 0 -1 4202560 440 0 0 0 137 6 0 0 20 0 19 0 280759635 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042518755624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17593/tid=17604] ppid=17591 vsize=9625004 CPUtime=10.75 cores=0,2,4,6
/proc/17593/task/17604/stat : 17604 (java) S 17591 17593 14200 0 -1 4202560 438 0 0 0 1073 2 0 0 20 0 19 0 280759636 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042388355944 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17605] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17605/stat : 17605 (java) S 17591 17593 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280759636 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042387302264 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17606] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17606/stat : 17606 (java) S 17591 17593 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280759637 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042386249096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17607] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17607/stat : 17607 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042385197840 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17608] ppid=17591 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/17593/task/17608/stat : 17608 (java) S 17591 17593 14200 0 -1 4202560 4211 0 0 0 31 1 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042384144696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17593/tid=17609] ppid=17591 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/17593/task/17609/stat : 17609 (java) S 17591 17593 14200 0 -1 4202560 3229 0 0 0 37 2 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042383092152 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17610] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17610/stat : 17610 (java) S 17591 17593 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042382039288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17593/tid=17611] ppid=17591 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/17593/task/17611/stat : 17611 (java) S 17591 17593 14200 0 -1 4202560 102 0 0 0 29 21 0 0 20 0 19 0 280759639 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042380986952 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17593/tid=17612] ppid=17591 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17593/task/17612/stat : 17612 (java) S 17591 17593 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280759658 9856004096 139680 33554432000 1073741824 1073778376 140736098713264 140042379933224 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17593 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=848141
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=132827
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.56
CPU time (s): 1800.07
CPU user time (s): 1799.41
CPU system time (s): 0.66
CPU usage (%): 100.531
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.85
system time used= 1.13283
maximum resident set size= 558868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15080
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42446
involuntary context switches= 23421

runsolver used 6.08108 second user time and 14.0239 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-27 21:19:06
IDJOB=3710730
IDBENCH=2229
IDSOLVER=2289
FILE ID=node138/3710730-1338146346
RUNJOBID= node138-1338139170-16910
PBS_JOBID= 14624507
Free space on /tmp= 71496 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:20:4.5:0.95:98.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-3710730-1338146346/watcher-3710730-1338146346 -o /tmp/evaluation-result-3710730-1338146346/solver-3710730-1338146346 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710730-1338146346.opb

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

MD5SUM BENCH= 09000b526c4cf3fc454b31cbb57a970b
RANDOM SEED=1784096321

node138.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.347
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.69
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.347
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.347
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.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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.347
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.347
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.92
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.347
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:        28976196 kB
Buffers:          429012 kB
Cached:          2393248 kB
SwapCached:          212 kB
Active:          1082544 kB
Inactive:        1930576 kB
Active(anon):     181976 kB
Inactive(anon):    11368 kB
Active(file):     900568 kB
Inactive(file):  1919208 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108644 kB
Dirty:              1960 kB
Writeback:             0 kB
AnonPages:        199680 kB
Mapped:            22568 kB
Shmem:               200 kB
Slab:             732552 kB
SReclaimable:     174800 kB
SUnreclaim:       557752 kB
KernelStack:        1600 kB
PageTables:         4596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 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= 71496 MiB
End job on node138 at 2012-05-27 21:48:58