Trace number 3711212

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)15 1800.07 1796.64

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1789.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint44
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

Quality of the solution as a function of time


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

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.02/0.07	c version 2.3.2.v20120418
0.02/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.07	c java.vm.version	19.1-b02
0.02/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.07	c sun.arch.data.model	64
0.02/0.07	c java.version		1.6.0_24
0.02/0.07	c os.name		Linux
0.02/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.07	c os.arch		amd64
0.02/0.07	c Free memory 		501472288
0.02/0.07	c Max memory 		7480803328
0.02/0.07	c Total memory 		504102912
0.02/0.07	c Number of processors 	8
0.10/0.10	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.10	c configuring ORDERS
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=true
0.10/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3711212-1338166429.opb
0.10/0.11	c reading problem ... 
0.78/0.45	c ... done. Wall clock time 0.345s.
0.78/0.45	c declared #vars     200
0.78/0.45	c internal #vars     6404
0.78/0.45	c #constraints  12608
0.78/0.45	c constraints type 
0.78/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6404
0.78/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
0.78/0.45	c 12608 constraints processed.
1.08/0.57	c SATISFIABLE
1.08/0.57	c OPTIMIZING...
1.08/0.57	c Got one! Elapsed wall clock time (in seconds):0.468
1.08/0.57	o 199
1.38/0.68	c Got one! Elapsed wall clock time (in seconds):0.576
1.38/0.68	o 198
1.68/0.70	c Got one! Elapsed wall clock time (in seconds):0.597
1.68/0.70	o 197
1.68/0.72	c Got one! Elapsed wall clock time (in seconds):0.615
1.68/0.72	o 196
1.68/0.73	c Got one! Elapsed wall clock time (in seconds):0.626
1.68/0.73	o 195
1.68/0.74	c Got one! Elapsed wall clock time (in seconds):0.633
1.68/0.74	o 194
1.68/0.74	c Got one! Elapsed wall clock time (in seconds):0.639
1.68/0.74	o 193
1.68/0.75	c Got one! Elapsed wall clock time (in seconds):0.646
1.68/0.75	o 192
1.68/0.76	c Got one! Elapsed wall clock time (in seconds):0.653
1.68/0.76	o 191
1.68/0.77	c Got one! Elapsed wall clock time (in seconds):0.66
1.68/0.77	o 190
1.68/0.77	c Got one! Elapsed wall clock time (in seconds):0.667
1.68/0.77	o 189
1.68/0.78	c Got one! Elapsed wall clock time (in seconds):0.672
1.68/0.78	o 188
1.68/0.78	c Got one! Elapsed wall clock time (in seconds):0.677
1.68/0.78	o 187
1.68/0.79	c Got one! Elapsed wall clock time (in seconds):0.682
1.68/0.79	o 186
1.68/0.79	c Got one! Elapsed wall clock time (in seconds):0.687
1.68/0.79	o 185
1.98/0.80	c Got one! Elapsed wall clock time (in seconds):0.692
1.98/0.80	o 184
1.98/0.80	c Got one! Elapsed wall clock time (in seconds):0.697
1.98/0.80	o 183
1.98/0.81	c Got one! Elapsed wall clock time (in seconds):0.702
1.98/0.81	o 182
1.98/0.81	c Got one! Elapsed wall clock time (in seconds):0.706
1.98/0.81	o 181
1.98/0.81	c Got one! Elapsed wall clock time (in seconds):0.71
1.98/0.82	o 180
1.98/0.82	c Got one! Elapsed wall clock time (in seconds):0.714
1.98/0.82	o 179
1.98/0.82	c Got one! Elapsed wall clock time (in seconds):0.718
1.98/0.82	o 178
1.98/0.83	c Got one! Elapsed wall clock time (in seconds):0.723
1.98/0.83	o 177
1.98/0.83	c Got one! Elapsed wall clock time (in seconds):0.727
1.98/0.83	o 176
1.98/0.84	c Got one! Elapsed wall clock time (in seconds):0.731
1.98/0.84	o 175
1.98/0.84	c Got one! Elapsed wall clock time (in seconds):0.736
1.98/0.84	o 174
1.98/0.85	c Got one! Elapsed wall clock time (in seconds):0.74
1.98/0.85	o 173
1.98/0.85	c Got one! Elapsed wall clock time (in seconds):0.744
1.98/0.85	o 172
1.98/0.85	c Got one! Elapsed wall clock time (in seconds):0.749
1.98/0.85	o 171
1.98/0.86	c Got one! Elapsed wall clock time (in seconds):0.754
1.98/0.86	o 170
1.98/0.86	c Got one! Elapsed wall clock time (in seconds):0.757
1.98/0.86	o 169
1.98/0.87	c Got one! Elapsed wall clock time (in seconds):0.76
1.98/0.87	o 168
1.98/0.87	c Got one! Elapsed wall clock time (in seconds):0.764
1.98/0.87	o 167
1.98/0.87	c Got one! Elapsed wall clock time (in seconds):0.767
1.98/0.87	o 166
1.98/0.88	c Got one! Elapsed wall clock time (in seconds):0.77
1.98/0.88	o 165
1.98/0.88	c Got one! Elapsed wall clock time (in seconds):0.774
1.98/0.88	o 164
1.98/0.88	c Got one! Elapsed wall clock time (in seconds):0.777
1.98/0.88	o 163
1.98/0.89	c Got one! Elapsed wall clock time (in seconds):0.78
1.98/0.89	o 162
1.98/0.89	c Got one! Elapsed wall clock time (in seconds):0.783
1.98/0.89	o 161
1.98/0.89	c Got one! Elapsed wall clock time (in seconds):0.786
1.98/0.89	o 160
1.98/0.89	c Got one! Elapsed wall clock time (in seconds):0.789
1.98/0.89	o 159
2.21/0.90	c Got one! Elapsed wall clock time (in seconds):0.792
2.21/0.90	o 158
2.21/0.90	c Got one! Elapsed wall clock time (in seconds):0.795
2.21/0.90	o 157
2.21/0.90	c Got one! Elapsed wall clock time (in seconds):0.798
2.21/0.90	o 156
2.21/0.91	c Got one! Elapsed wall clock time (in seconds):0.801
2.21/0.91	o 155
2.21/0.91	c Got one! Elapsed wall clock time (in seconds):0.803
2.21/0.91	o 154
2.21/0.91	c Got one! Elapsed wall clock time (in seconds):0.806
2.21/0.91	o 153
2.21/0.91	c Got one! Elapsed wall clock time (in seconds):0.809
2.21/0.91	o 152
2.21/0.92	c Got one! Elapsed wall clock time (in seconds):0.812
2.21/0.92	o 151
2.21/0.92	c Got one! Elapsed wall clock time (in seconds):0.815
2.21/0.92	o 150
2.21/0.92	c Got one! Elapsed wall clock time (in seconds):0.818
2.21/0.92	o 149
2.21/0.93	c Got one! Elapsed wall clock time (in seconds):0.822
2.21/0.93	o 148
2.21/0.93	c Got one! Elapsed wall clock time (in seconds):0.825
2.21/0.93	o 147
2.21/0.93	c Got one! Elapsed wall clock time (in seconds):0.828
2.21/0.93	o 146
2.21/0.94	c Got one! Elapsed wall clock time (in seconds):0.831
2.21/0.94	o 145
2.21/0.94	c Got one! Elapsed wall clock time (in seconds):0.835
2.21/0.94	o 144
2.21/0.94	c Got one! Elapsed wall clock time (in seconds):0.838
2.21/0.94	o 143
2.21/0.95	c Got one! Elapsed wall clock time (in seconds):0.84
2.21/0.95	o 142
2.21/0.95	c Got one! Elapsed wall clock time (in seconds):0.843
2.21/0.95	o 141
2.21/0.95	c Got one! Elapsed wall clock time (in seconds):0.846
2.21/0.95	o 140
2.21/0.95	c Got one! Elapsed wall clock time (in seconds):0.848
2.21/0.95	o 139
2.21/0.96	c Got one! Elapsed wall clock time (in seconds):0.851
2.21/0.96	o 138
2.21/0.96	c Got one! Elapsed wall clock time (in seconds):0.854
2.21/0.96	o 137
2.21/0.96	c Got one! Elapsed wall clock time (in seconds):0.857
2.21/0.96	o 136
2.21/0.96	c Got one! Elapsed wall clock time (in seconds):0.859
2.21/0.96	o 135
2.21/0.97	c Got one! Elapsed wall clock time (in seconds):0.869
2.21/0.97	o 134
2.21/0.98	c Got one! Elapsed wall clock time (in seconds):0.88
2.21/0.98	o 16
5.67/4.21	c cleaning 2496 clauses out of 5001 with flag 5000/5001
9.24/7.79	c cleaning 4248 clauses out of 8506 with flag 11001/11002
13.74/12.21	c cleaning 5628 clauses out of 11259 with flag 18002/18003
18.66/17.17	c cleaning 6809 clauses out of 13629 with flag 26000/26001
23.79/22.26	c cleaning 7887 clauses out of 15821 with flag 35001/35002
30.00/28.46	c cleaning 8960 clauses out of 17936 with flag 45003/45004
36.81/35.25	c cleaning 9978 clauses out of 19975 with flag 56002/56003
44.61/43.07	c cleaning 10999 clauses out of 22001 with flag 68006/68007
52.82/51.26	c cleaning 11991 clauses out of 23996 with flag 81000/81001
61.82/60.20	c cleaning 13002 clauses out of 26008 with flag 95003/95004
71.84/70.23	c cleaning 13996 clauses out of 28005 with flag 110002/110003
82.14/80.54	c cleaning 14992 clauses out of 30007 with flag 126000/126001
92.74/91.18	c cleaning 16004 clauses out of 32015 with flag 143000/143001
104.07/102.45	c cleaning 17001 clauses out of 34011 with flag 161000/161001
116.18/114.57	c cleaning 17996 clauses out of 36010 with flag 180000/180001
129.48/127.83	c cleaning 19000 clauses out of 38016 with flag 200002/200003
143.51/141.85	c cleaning 19987 clauses out of 40014 with flag 221000/221001
158.13/156.47	c cleaning 20995 clauses out of 42027 with flag 243000/243001
172.65/170.95	c cleaning 22008 clauses out of 44032 with flag 266000/266001
188.36/186.66	c cleaning 23002 clauses out of 46027 with flag 290003/290004
204.88/203.13	c cleaning 23987 clauses out of 48022 with flag 315000/315001
220.91/219.18	c cleaning 24992 clauses out of 50035 with flag 341000/341001
237.53/235.76	c cleaning 25991 clauses out of 52043 with flag 368000/368001
253.86/252.06	c cleaning 27020 clauses out of 54057 with flag 396005/396006
273.09/271.23	c cleaning 28003 clauses out of 56032 with flag 425000/425001
292.10/290.26	c cleaning 29007 clauses out of 58029 with flag 455000/455001
312.70/310.81	c cleaning 30000 clauses out of 60022 with flag 486000/486001
333.95/332.06	c cleaning 30988 clauses out of 62022 with flag 518000/518001
355.69/353.72	c cleaning 31998 clauses out of 64039 with flag 551005/551006
378.30/376.30	c cleaning 33009 clauses out of 66037 with flag 585001/585002
401.11/399.11	c cleaning 34004 clauses out of 68027 with flag 620000/620001
421.82/419.83	c cleaning 34994 clauses out of 70023 with flag 656000/656001
446.73/444.73	c cleaning 35992 clauses out of 72029 with flag 693000/693001
472.45/470.40	c cleaning 37008 clauses out of 74039 with flag 731002/731003
499.37/497.36	c cleaning 38007 clauses out of 76029 with flag 770000/770001
526.58/524.54	c cleaning 38986 clauses out of 78024 with flag 810002/810003
553.02/550.93	c cleaning 40001 clauses out of 80036 with flag 851000/851001
581.14/579.07	c cleaning 41011 clauses out of 82040 with flag 893005/893006
609.28/607.19	c cleaning 41998 clauses out of 84024 with flag 936000/936001
639.01/636.87	c cleaning 43004 clauses out of 86027 with flag 980001/980002
668.13/665.94	c cleaning 44006 clauses out of 88022 with flag 1025000/1025001
698.94/696.78	c cleaning 44961 clauses out of 90017 with flag 1071001/1071002
730.67/728.41	c cleaning 45984 clauses out of 92055 with flag 1118000/1118001
762.59/760.33	c cleaning 47017 clauses out of 94075 with flag 1166004/1166005
788.41/786.18	c cleaning 48017 clauses out of 96054 with flag 1215000/1215001
811.83/809.58	c cleaning 48999 clauses out of 98045 with flag 1265008/1265009
835.63/833.32	c cleaning 50006 clauses out of 100043 with flag 1316005/1316006
868.40/866.02	c cleaning 51006 clauses out of 102032 with flag 1368000/1368001
904.12/901.70	c cleaning 52005 clauses out of 104029 with flag 1421003/1421004
940.65/938.21	c cleaning 52996 clauses out of 106021 with flag 1475000/1475001
976.98/974.59	c cleaning 53997 clauses out of 108025 with flag 1530000/1530001
1015.02/1012.58	c cleaning 55000 clauses out of 110032 with flag 1586004/1586005
1053.15/1050.67	c cleaning 55983 clauses out of 112028 with flag 1643000/1643001
1076.18/1073.62	c Got one! Elapsed wall clock time (in seconds):1073.517
1076.18/1073.62	o 15
1079.58/1077.03	c cleaning 48501 clauses out of 97025 with flag 5000/1683981
1083.61/1081.03	c cleaning 27256 clauses out of 54528 with flag 11004/1689985
1088.12/1085.53	c cleaning 17113 clauses out of 34268 with flag 18000/1696981
1093.33/1090.74	c cleaning 12545 clauses out of 25155 with flag 26000/1704981
1098.75/1096.16	c cleaning 10776 clauses out of 21610 with flag 35000/1713981
1104.77/1102.12	c cleaning 10378 clauses out of 20836 with flag 45002/1723983
1111.07/1108.40	c cleaning 10685 clauses out of 21456 with flag 56000/1734981
1119.18/1116.60	c cleaning 11370 clauses out of 22771 with flag 68000/1746981
1128.00/1125.36	c cleaning 12178 clauses out of 24402 with flag 81001/1759982
1136.72/1134.07	c cleaning 13106 clauses out of 26232 with flag 95009/1773990
1145.76/1143.06	c cleaning 14033 clauses out of 28117 with flag 110000/1788981
1155.49/1152.74	c cleaning 15031 clauses out of 30084 with flag 126000/1804981
1166.62/1163.89	c cleaning 16019 clauses out of 32053 with flag 143000/1821981
1178.82/1176.09	c cleaning 17002 clauses out of 34035 with flag 161001/1839982
1191.34/1188.54	c cleaning 17990 clauses out of 36032 with flag 180000/1858981
1203.57/1200.78	c cleaning 18955 clauses out of 38042 with flag 200000/1878981
1216.69/1213.89	c cleaning 20029 clauses out of 40087 with flag 221000/1899981
1231.13/1228.23	c cleaning 21006 clauses out of 42059 with flag 243001/1921982
1244.85/1241.93	c cleaning 21975 clauses out of 44052 with flag 266000/1944981
1258.34/1255.46	c cleaning 23022 clauses out of 46078 with flag 290001/1968982
1273.96/1271.03	c cleaning 24019 clauses out of 48059 with flag 315004/1993985
1290.57/1287.66	c cleaning 25008 clauses out of 50036 with flag 341000/2019981
1308.70/1305.79	c cleaning 25999 clauses out of 52030 with flag 368002/2046983
1327.11/1324.15	c cleaning 26986 clauses out of 54031 with flag 396002/2074983
1345.54/1342.59	c cleaning 28002 clauses out of 56044 with flag 425001/2103982
1364.67/1361.64	c cleaning 29008 clauses out of 58042 with flag 455001/2133982
1385.68/1382.66	c cleaning 29986 clauses out of 60033 with flag 486000/2164981
1407.09/1404.08	c cleaning 31017 clauses out of 62052 with flag 518005/2196986
1428.50/1425.49	c cleaning 31995 clauses out of 64031 with flag 551001/2229982
1451.33/1448.26	c cleaning 32990 clauses out of 66035 with flag 585000/2263981
1472.87/1469.73	c cleaning 33988 clauses out of 68045 with flag 620000/2298981
1495.89/1492.78	c cleaning 34999 clauses out of 70057 with flag 656000/2334981
1518.40/1515.22	c cleaning 36018 clauses out of 72059 with flag 693001/2371982
1542.93/1539.79	c cleaning 36976 clauses out of 74040 with flag 731000/2409981
1568.75/1565.54	c cleaning 38027 clauses out of 76075 with flag 770011/2448992
1595.98/1592.76	c cleaning 39008 clauses out of 78038 with flag 810001/2488982
1623.29/1620.06	c cleaning 39973 clauses out of 80031 with flag 851002/2529983
1651.32/1648.01	c cleaning 40996 clauses out of 82057 with flag 893001/2571982
1677.93/1674.61	c cleaning 42009 clauses out of 84062 with flag 936002/2614983
1706.05/1702.71	c cleaning 42998 clauses out of 86052 with flag 980001/2658982
1733.59/1730.24	c cleaning 44010 clauses out of 88053 with flag 1025000/2703981
1760.60/1757.27	c cleaning 45000 clauses out of 90047 with flag 1071004/2749985
1789.05/1785.68	c cleaning 46008 clauses out of 92043 with flag 1118000/2796981
1800.07/1796.61	c starts		: 299
1800.07/1796.61	c conflicts		: 2814945
1800.07/1796.61	c decisions		: 6766543
1800.07/1796.61	c propagations		: 2782669679
1800.07/1796.61	c inspects		: 17847216489
1800.07/1796.61	c shortcuts		: 0
1800.07/1796.61	c learnt literals	: 0
1800.07/1796.61	c learnt binary clauses	: 0
1800.07/1796.61	c learnt ternary clauses	: 19
1800.07/1796.61	c learnt constraints	: 2814945
1800.07/1796.61	c ignored constraints	: 0
1800.07/1796.61	c root simplifications	: 299
1800.07/1796.61	c removed literals (reason simplification)	: 312350
1800.07/1796.61	c reason swapping (by a shorter reason)	: 0
1800.07/1796.61	c Calls to reduceDB	: 96
1800.07/1796.61	c number of reductions to clauses (during analyze)	: 0
1800.07/1796.61	c number of learned constraints concerned by reduction	: 0
1800.07/1796.61	c number of learning phase by resolution	: 0
1800.07/1796.61	c number of learning phase by cutting planes	: 0
1800.07/1796.61	c speed (assignments/second)	: 1549245.1131478176
1800.07/1796.61	c non guided choices	24900
1800.07/1796.63	c learnt constraints type 
1800.07/1796.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 64037
1800.07/1796.63	c constraints type 
1800.07/1796.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6404
1800.07/1796.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1796.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1800.07/1796.63	c 12609 constraints processed.
1800.07/1796.63	s SATISFIABLE
1800.07/1796.63	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 
1800.07/1796.63	c objective function=15
1800.07/1796.63	c Total wall clock time (in seconds): 1796.529

Verifier Data 

OK	15

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-3711212-1338166429/watcher-3711212-1338166429 -o /tmp/evaluation-result-3711212-1338166429/solver-3711212-1338166429 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711212-1338166429.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: 1.96 2.00 2.00 3/194 5583
/proc/meminfo: memFree=28842636/32873648 swapFree=6844/6844
[pid=5583] ppid=5581 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/5583/stat : 5583 (java) S 5581 5583 3132 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 282768768 95129600 927 33554432000 1073741824 1073778376 140735944969840 140735944960976 259115745341 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5583/statm: 23528 930 704 9 0 16769 0
[pid=5583/tid=5584] ppid=5581 vsize=94176 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5584/stat : 5584 (java) R 5581 5583 3132 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 2 0 282768769 96436224 938 33554432000 1073741824 1073778376 140735944969840 140661877849640 259103165107 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.0350619 s]
/proc/loadavg: 1.96 2.00 2.00 3/194 5583
/proc/meminfo: memFree=28842636/32873648 swapFree=6844/6844
[pid=5583] ppid=5581 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/5583/stat : 5583 (java) S 5581 5583 3132 0 -1 4202496 3030 0 1 0 1 1 0 0 20 0 13 0 282768768 9446973440 3727 33554432000 1073741824 1073778376 140735944969840 140735944960976 259115745341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5583/statm: 2306390 3727 1698 9 0 2297091 0
[pid=5583/tid=5584] ppid=5581 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/5583/task/5584/stat : 5584 (java) R 5581 5583 3132 0 -1 4202560 1848 0 1 0 1 0 0 0 20 0 13 0 282768769 9446973440 3727 33554432000 1073741824 1073778376 140735944969840 140661877850352 259115771149 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100241 s]
/proc/loadavg: 1.96 2.00 2.00 3/194 5583
/proc/meminfo: memFree=28842636/32873648 swapFree=6844/6844
[pid=5583] ppid=5581 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/5583/stat : 5583 (java) S 5581 5583 3132 0 -1 4202496 4409 0 1 0 9 1 0 0 20 0 18 0 282768768 9787842560 6118 33554432000 1073741824 1073778376 140735944969840 140735944960976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5583/statm: 2389610 6118 2145 9 0 2380296 0
[pid=5583/tid=5584] ppid=5581 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/5583/task/5584/stat : 5584 (java) R 5581 5583 3132 0 -1 4202560 2494 0 1 0 6 1 0 0 20 0 18 0 282768769 9787842560 6118 33554432000 1073741824 1073778376 140735944969840 140661877853416 259115771149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.3002 s]
/proc/loadavg: 1.96 2.00 2.00 3/194 5583
/proc/meminfo: memFree=28842636/32873648 swapFree=6844/6844
[pid=5583] ppid=5581 vsize=9558664 CPUtime=0.48 cores=1,3,5,7
/proc/5583/stat : 5583 (java) S 5581 5583 3132 0 -1 4202496 6179 0 1 0 47 1 0 0 20 0 18 0 282768768 9788071936 8856 33554432000 1073741824 1073778376 140735944969840 140735944960976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5583/statm: 2389666 8856 2234 9 0 2380352 0
[pid=5583/tid=5584] ppid=5581 vsize=9558664 CPUtime=0.27 cores=1,3,5,7
/proc/5583/task/5584/stat : 5584 (java) R 5581 5583 3132 0 -1 4202560 2507 0 1 0 26 1 0 0 20 0 18 0 282768769 9788071936 8856 33554432000 1073741824 1073778376 140735944969840 140661877853416 140661881140071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558664

[startup+0.700201 s]
/proc/loadavg: 1.96 2.00 2.00 3/194 5583
/proc/meminfo: memFree=28842636/32873648 swapFree=6844/6844
[pid=5583] ppid=5581 vsize=9625004 CPUtime=1.68 cores=1,3,5,7
/proc/5583/stat : 5583 (java) S 5581 5583 3132 0 -1 4202496 23420 0 1 0 164 4 0 0 20 0 19 0 282768768 9856004096 22222 33554432000 1073741824 1073778376 140735944969840 140735944960976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5583/statm: 2406251 22222 2259 9 0 2396937 0
[pid=5583/tid=5584] ppid=5581 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/5583/task/5584/stat : 5584 (java) R 5581 5583 3132 0 -1 4202560 2525 0 1 0 66 1 0 0 20 0 19 0 282768769 9856004096 22222 33554432000 1073741824 1073778376 140735944969840 140661877854992 140661739339036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 9625004

[startup+1.50065 s]
/proc/loadavg: 1.96 2.00 2.00 5/213 5602
/proc/meminfo: memFree=28745572/32873648 swapFree=6844/6844
[pid=5583] ppid=5581 vsize=9625004 CPUtime=2.96 cores=1,3,5,7
/proc/5583/stat : 5583 (java) S 5581 5583 3132 0 -1 4202496 24536 0 1 0 291 5 0 0 20 0 19 0 282768768 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140735944960976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5583/statm: 2406251 26318 2266 9 0 2396937 0
[pid=5583/tid=5584] ppid=5581 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/5583/task/5584/stat : 5584 (java) R 5581 5583 3132 0 -1 4202560 2536 0 1 0 146 1 0 0 20 0 19 0 282768769 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661877854680 140661739953048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5586] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5586/stat : 5586 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661866916008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5587] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5587/stat : 5587 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661865863464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5588] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5588/stat : 5588 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661864810920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5589] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5589/stat : 5589 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661863758376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5590] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5590/stat : 5590 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661862705832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5591] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5591/stat : 5591 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661861653288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5592] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5592/stat : 5592 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661860600744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5593] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5593/stat : 5593 (java) S 5581 5583 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661859548200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5594] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5594/stat : 5594 (java) S 5581 5583 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282768770 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661701961832 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5595] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5595/stat : 5595 (java) S 5581 5583 3132 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282768771 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661700908152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5596] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5596/stat : 5596 (java) S 5581 5583 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282768771 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661699855496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5597] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5597/stat : 5597 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661698804240 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5598] ppid=5581 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/5583/task/5598/stat : 5598 (java) S 5581 5583 3132 0 -1 4202560 14018 0 0 0 72 2 0 0 20 0 19 0 282768773 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661697751608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5599] ppid=5581 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/5583/task/5599/stat : 5599 (java) S 5581 5583 3132 0 -1 4202560 6786 0 0 0 68 1 0 0 20 0 19 0 282768773 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661696699064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5600] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5600/stat : 5600 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661695646712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5601] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5601/stat : 5601 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661694594376 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5602] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5602/stat : 5602 (java) S 5581 5583 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282768815 9856004096 26318 33554432000 1073741824 1073778376 140735944969840 140661693539112 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 9625004

[startup+3.10152 s]
/proc/loadavg: 1.96 2.00 2.00 3/213 5602
/proc/meminfo: memFree=28745572/32873648 swapFree=6844/6844
[pid=5583] ppid=5581 vsize=9625004 CPUtime=4.56 cores=1,3,5,7
/proc/5583/stat : 5583 (java) S 5581 5583 3132 0 -1 4202496 24538 0 1 0 451 5 0 0 20 0 19 0 282768768 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140735944960976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5583/statm: 2406251 26830 2266 9 0 2396937 0
[pid=5583/tid=5584] ppid=5581 vsize=9625004 CPUtime=3.08 cores=1,3,5,7
/proc/5583/task/5584/stat : 5584 (java) R 5581 5583 3132 0 -1 4202560 2538 0 1 0 306 2 0 0 20 0 19 0 282768769 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661877852608 140661739946121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5586] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5586/stat : 5586 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661866916008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5587] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5587/stat : 5587 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661865863464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5588] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5588/stat : 5588 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661864810920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5589] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5589/stat : 5589 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661863758376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5590] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5590/stat : 5590 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661862705832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5591] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5591/stat : 5591 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661861653288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5592] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5592/stat : 5592 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661860600744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5593] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5593/stat : 5593 (java) S 5581 5583 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661859548200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5594] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5594/stat : 5594 (java) S 5581 5583 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282768770 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661701961832 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5595] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5595/stat : 5595 (java) S 5581 5583 3132 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282768771 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661700908152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5596] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5596/stat : 5596 (java) S 5581 5583 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282768771 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661699855496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5597] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5597/stat : 5597 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661698804240 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5598] ppid=5581 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/5583/task/5598/stat : 5598 (java) S 5581 5583 3132 0 -1 4202560 14018 0 0 0 72 2 0 0 20 0 19 0 282768773 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661697751608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5599] ppid=5581 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/5583/task/5599/stat : 5599 (java) S 5581 5583 3132 0 -1 4202560 6786 0 0 0 68 1 0 0 20 0 19 0 282768773 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661696699064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5600] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5600/stat : 5600 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661695646712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5601] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5601/stat : 5601 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661694594376 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5602] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5602/stat : 5602 (java) S 5581 5583 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282768815 9856004096 26830 33554432000 1073741824 1073778376 140735944969840 140661693539112 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 9625004

[startup+6.30062 s]
/proc/loadavg: 1.96 2.00 2.00 3/213 5602
/proc/meminfo: memFree=28732532/32873648 swapFree=6844/6844
[pid=5583] ppid=5581 vsize=9625004 CPUtime=7.82 cores=1,3,5,7
/proc/5583/stat : 5583 (java) S 5581 5583 3132 0 -1 4202496 24649 0 1 0 776 6 0 0 20 0 19 0 282768768 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140735944960976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5583/statm: 2406251 29507 2292 9 0 2396937 0
[pid=5583/tid=5584] ppid=5581 vsize=9625004 CPUtime=6.23 cores=1,3,5,7
/proc/5583/task/5584/stat : 5584 (java) R 5581 5583 3132 0 -1 4202560 2542 0 1 0 621 2 0 0 20 0 19 0 282768769 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661877854392 140661739962257 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5586] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5586/stat : 5586 (java) S 5581 5583 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661866916008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5587] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5587/stat : 5587 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661865863464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5588] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5588/stat : 5588 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661864810920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5589] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5589/stat : 5589 (java) S 5581 5583 3132 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661863758376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5590] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5590/stat : 5590 (java) S 5581 5583 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661862705832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5591] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5591/stat : 5591 (java) S 5581 5583 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661861653288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5592] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5592/stat : 5592 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661860600744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5593] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5593/stat : 5593 (java) S 5581 5583 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282768769 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661859548200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5594] ppid=5581 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/5583/task/5594/stat : 5594 (java) S 5581 5583 3132 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 282768770 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661701961832 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5595] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5595/stat : 5595 (java) S 5581 5583 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282768771 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661700908152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5596] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5596/stat : 5596 (java) S 5581 5583 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282768771 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661699855496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5597] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5597/stat : 5597 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661698804240 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5598] ppid=5581 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/5583/task/5598/stat : 5598 (java) S 5581 5583 3132 0 -1 4202560 14023 0 0 0 74 2 0 0 20 0 19 0 282768773 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661697751608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5599] ppid=5581 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/5583/task/5599/stat : 5599 (java) S 5581 5583 3132 0 -1 4202560 6829 0 0 0 71 1 0 0 20 0 19 0 282768773 9856004096 29507 33554432000 1073741824 1073778376 140735944969840 140661696699064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=5583/tid=5598] ppid=5581 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/5583/task/5598/stat : 5598 (java) S 5581 5583 3132 0 -1 4202560 14023 0 0 0 75 2 0 0 20 0 19 0 282768773 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661697751608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5599] ppid=5581 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/5583/task/5599/stat : 5599 (java) S 5581 5583 3132 0 -1 4202560 6860 0 0 0 75 2 0 0 20 0 19 0 282768773 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661696699064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5600] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5600/stat : 5600 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661695646712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5601] ppid=5581 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/5583/task/5601/stat : 5601 (java) S 5581 5583 3132 0 -1 4202560 95 0 0 0 11 12 0 0 20 0 19 0 282768773 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661694594376 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5602] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5602/stat : 5602 (java) S 5581 5583 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282768815 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661693539112 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1665.63
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/213 5970
/proc/meminfo: memFree=28702672/32873648 swapFree=6844/6844
[pid=5583] ppid=5581 vsize=9625004 CPUtime=1725.68 cores=1,3,5,7
/proc/5583/stat : 5583 (java) S 5581 5583 3132 0 -1 4202496 25310 0 1 0 172542 26 0 0 20 0 19 0 282768768 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140735944960976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5583/statm: 2406251 42886 2293 9 0 2396937 0
[pid=5583/tid=5584] ppid=5581 vsize=9625004 CPUtime=1713.37 cores=1,3,5,7
/proc/5583/task/5584/stat : 5584 (java) R 5581 5583 3132 0 -1 4202560 2632 0 1 0 171309 28 0 0 20 0 19 0 282768769 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661877854512 140661739945660 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5586] ppid=5581 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/5583/task/5586/stat : 5586 (java) S 5581 5583 3132 0 -1 4202560 49 0 0 0 33 0 0 0 20 0 19 0 282768769 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661866916008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5587] ppid=5581 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/5583/task/5587/stat : 5587 (java) S 5581 5583 3132 0 -1 4202560 25 0 0 0 33 2 0 0 20 0 19 0 282768769 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661865863464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5588] ppid=5581 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/5583/task/5588/stat : 5588 (java) S 5581 5583 3132 0 -1 4202560 10 0 0 0 29 0 0 0 20 0 19 0 282768769 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661864810920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5589] ppid=5581 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/5583/task/5589/stat : 5589 (java) S 5581 5583 3132 0 -1 4202560 39 0 0 0 26 2 0 0 20 0 19 0 282768769 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661863758376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5590] ppid=5581 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/5583/task/5590/stat : 5590 (java) S 5581 5583 3132 0 -1 4202560 33 0 0 0 31 2 0 0 20 0 19 0 282768769 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661862705832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5591] ppid=5581 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/5583/task/5591/stat : 5591 (java) S 5581 5583 3132 0 -1 4202560 115 0 0 0 31 0 0 0 20 0 19 0 282768769 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661861653288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5592] ppid=5581 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/5583/task/5592/stat : 5592 (java) S 5581 5583 3132 0 -1 4202560 50 0 0 0 29 0 0 0 20 0 19 0 282768769 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661860600744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5593] ppid=5581 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/5583/task/5593/stat : 5593 (java) S 5581 5583 3132 0 -1 4202560 21 0 0 0 34 0 0 0 20 0 19 0 282768769 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661859548200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5594] ppid=5581 vsize=9625004 CPUtime=3.72 cores=1,3,5,7
/proc/5583/task/5594/stat : 5594 (java) S 5581 5583 3132 0 -1 4202560 173 0 0 0 371 1 0 0 20 0 19 0 282768770 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661701961832 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5595] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5595/stat : 5595 (java) S 5581 5583 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282768771 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661700908152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5596] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5596/stat : 5596 (java) S 5581 5583 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282768771 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661699855496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5597] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5597/stat : 5597 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661698804240 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5598] ppid=5581 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/5583/task/5598/stat : 5598 (java) S 5581 5583 3132 0 -1 4202560 14023 0 0 0 75 2 0 0 20 0 19 0 282768773 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661697751608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5599] ppid=5581 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/5583/task/5599/stat : 5599 (java) S 5581 5583 3132 0 -1 4202560 6860 0 0 0 75 2 0 0 20 0 19 0 282768773 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661696699064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5600] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5600/stat : 5600 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661695646712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5601] ppid=5581 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/5583/task/5601/stat : 5601 (java) S 5581 5583 3132 0 -1 4202560 99 0 0 0 11 13 0 0 20 0 19 0 282768773 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661694594376 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5602] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5602/stat : 5602 (java) S 5581 5583 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282768815 9856004096 42886 33554432000 1073741824 1073778376 140735944969840 140661693539112 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1725.68
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/213 5970
/proc/meminfo: memFree=28702800/32873648 swapFree=6844/6844
[pid=5583] ppid=5581 vsize=9625004 CPUtime=1785.75 cores=1,3,5,7
/proc/5583/stat : 5583 (java) S 5581 5583 3132 0 -1 4202496 25322 0 1 0 178548 27 0 0 20 0 19 0 282768768 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140735944960976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5583/statm: 2406251 42888 2293 9 0 2396937 0
[pid=5583/tid=5584] ppid=5581 vsize=9625004 CPUtime=1773.09 cores=1,3,5,7
/proc/5583/task/5584/stat : 5584 (java) R 5581 5583 3132 0 -1 4202560 2634 0 1 0 177281 28 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661877854512 140661739977440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5586] ppid=5581 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/5583/task/5586/stat : 5586 (java) S 5581 5583 3132 0 -1 4202560 51 0 0 0 33 1 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661866916008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5587] ppid=5581 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/5583/task/5587/stat : 5587 (java) S 5581 5583 3132 0 -1 4202560 25 0 0 0 33 2 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661865863464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5588] ppid=5581 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/5583/task/5588/stat : 5588 (java) S 5581 5583 3132 0 -1 4202560 10 0 0 0 31 0 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661864810920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5589] ppid=5581 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/5583/task/5589/stat : 5589 (java) S 5581 5583 3132 0 -1 4202560 39 0 0 0 27 2 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661863758376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5590] ppid=5581 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/5583/task/5590/stat : 5590 (java) S 5581 5583 3132 0 -1 4202560 33 0 0 0 33 2 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661862705832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5591] ppid=5581 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/5583/task/5591/stat : 5591 (java) S 5581 5583 3132 0 -1 4202560 115 0 0 0 32 0 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661861653288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5592] ppid=5581 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/5583/task/5592/stat : 5592 (java) S 5581 5583 3132 0 -1 4202560 50 0 0 0 30 0 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661860600744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5593] ppid=5581 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/5583/task/5593/stat : 5593 (java) S 5581 5583 3132 0 -1 4202560 21 0 0 0 36 0 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661859548200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5594] ppid=5581 vsize=9625004 CPUtime=3.81 cores=1,3,5,7
/proc/5583/task/5594/stat : 5594 (java) S 5581 5583 3132 0 -1 4202560 177 0 0 0 380 1 0 0 20 0 19 0 282768770 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661701961832 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5595] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5595/stat : 5595 (java) S 5581 5583 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282768771 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661700908152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5596] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5596/stat : 5596 (java) S 5581 5583 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282768771 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661699855496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5597] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5597/stat : 5597 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661698804240 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5598] ppid=5581 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/5583/task/5598/stat : 5598 (java) S 5581 5583 3132 0 -1 4202560 14023 0 0 0 75 2 0 0 20 0 19 0 282768773 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661697751608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5599] ppid=5581 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/5583/task/5599/stat : 5599 (java) S 5581 5583 3132 0 -1 4202560 6860 0 0 0 75 2 0 0 20 0 19 0 282768773 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661696699064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5600] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5600/stat : 5600 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661695646712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5601] ppid=5581 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/5583/task/5601/stat : 5601 (java) S 5581 5583 3132 0 -1 4202560 103 0 0 0 11 14 0 0 20 0 19 0 282768773 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661694594376 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5602] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5602/stat : 5602 (java) S 5581 5583 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282768815 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661693539112 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1785.75
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 5970
/proc/meminfo: memFree=28702804/32873648 swapFree=6844/6844
[pid=5583] ppid=5581 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7
/proc/5583/stat : 5583 (java) S 5581 5583 3132 0 -1 4202496 25325 0 1 0 179980 27 0 0 20 0 19 0 282768768 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140735944960976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5583/statm: 2406251 42888 2293 9 0 2396937 0
[pid=5583/tid=5584] ppid=5581 vsize=9625004 CPUtime=1787.29 cores=1,3,5,7
/proc/5583/task/5584/stat : 5584 (java) R 5581 5583 3132 0 -1 4202560 2635 0 1 0 178700 29 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661877854512 140661739978027 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5586] ppid=5581 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/5583/task/5586/stat : 5586 (java) S 5581 5583 3132 0 -1 4202560 51 0 0 0 33 2 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661866916008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5587] ppid=5581 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/5583/task/5587/stat : 5587 (java) S 5581 5583 3132 0 -1 4202560 25 0 0 0 34 2 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661865863464 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5588] ppid=5581 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/5583/task/5588/stat : 5588 (java) S 5581 5583 3132 0 -1 4202560 10 0 0 0 31 0 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661864810920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5589] ppid=5581 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/5583/task/5589/stat : 5589 (java) S 5581 5583 3132 0 -1 4202560 39 0 0 0 28 2 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661863758376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5590] ppid=5581 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/5583/task/5590/stat : 5590 (java) S 5581 5583 3132 0 -1 4202560 33 0 0 0 33 2 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661862705832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5591] ppid=5581 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/5583/task/5591/stat : 5591 (java) S 5581 5583 3132 0 -1 4202560 115 0 0 0 32 0 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661861653288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5592] ppid=5581 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/5583/task/5592/stat : 5592 (java) S 5581 5583 3132 0 -1 4202560 50 0 0 0 31 0 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661860600744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5583/tid=5593] ppid=5581 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/5583/task/5593/stat : 5593 (java) S 5581 5583 3132 0 -1 4202560 21 0 0 0 36 0 0 0 20 0 19 0 282768769 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661859548200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5594] ppid=5581 vsize=9625004 CPUtime=3.87 cores=1,3,5,7
/proc/5583/task/5594/stat : 5594 (java) S 5581 5583 3132 0 -1 4202560 179 0 0 0 386 1 0 0 20 0 19 0 282768770 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661701961832 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5595] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5595/stat : 5595 (java) S 5581 5583 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282768771 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661700908152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5596] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5596/stat : 5596 (java) S 5581 5583 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282768771 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661699855496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5597] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5597/stat : 5597 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661698804240 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5598] ppid=5581 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/5583/task/5598/stat : 5598 (java) S 5581 5583 3132 0 -1 4202560 14023 0 0 0 75 2 0 0 20 0 19 0 282768773 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661697751608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5599] ppid=5581 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/5583/task/5599/stat : 5599 (java) S 5581 5583 3132 0 -1 4202560 6860 0 0 0 75 2 0 0 20 0 19 0 282768773 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661696699064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5583/tid=5600] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5600/stat : 5600 (java) S 5581 5583 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282768773 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661695646712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5583/tid=5601] ppid=5581 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/5583/task/5601/stat : 5601 (java) S 5581 5583 3132 0 -1 4202560 103 0 0 0 11 14 0 0 20 0 19 0 282768773 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661694594376 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5583/tid=5602] ppid=5581 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5583/task/5602/stat : 5602 (java) S 5581 5583 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282768815 9856004096 42888 33554432000 1073741824 1073778376 140735944969840 140661693539112 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5583 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=259079
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=701893
# CPU time returned by wait4() is 1795.96
# 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): 1796.64
CPU time (s): 1800.07
CPU user time (s): 1799.8
CPU system time (s): 0.27
CPU usage (%): 100.191
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.26
system time used= 0.701893
maximum resident set size= 171676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25358
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40494
involuntary context switches= 8397

runsolver used 5.75012 second user time and 14.1928 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-28 02:53:49
IDJOB=3711212
IDBENCH=48128
IDSOLVER=2289
FILE ID=node124/3711212-1338166429
RUNJOBID= node124-1338143409-3149
PBS_JOBID= 14624516
Free space on /tmp= 71432 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.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-3711212-1338166429/watcher-3711212-1338166429 -o /tmp/evaluation-result-3711212-1338166429/solver-3711212-1338166429 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711212-1338166429.opb

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

MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76
RANDOM SEED=1122412455

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28842520 kB
Buffers:          357692 kB
Cached:          2694968 kB
SwapCached:            0 kB
Active:          1083060 kB
Inactive:        2137780 kB
Active(anon):     170304 kB
Inactive(anon):        0 kB
Active(file):     912756 kB
Inactive(file):  2137780 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               620 kB
Writeback:             0 kB
AnonPages:        176536 kB
Mapped:            22604 kB
Shmem:               200 kB
Slab:             669152 kB
SReclaimable:     113516 kB
SUnreclaim:       555636 kB
KernelStack:        1608 kB
PageTables:         4500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71432 MiB
End job on node124 at 2012-05-28 03:23:48