Trace number 3687845

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)17 1800.03 1785.46

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:100.opb
MD5SUMf9ec307a3c8f55679d3b9ab693efbd4c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.182971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables934
Total number of constraints1063
Number of constraints which are clauses879
Number of constraints which are cardinality constraints (but not clauses)184
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 934
Biggest coefficient in the objective function 546
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2594
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 546
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2594
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

Solver Data

0.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose learned constraints deletion strategy
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3687845-1337876262.opb
0.08/0.11	c reading problem ... 
0.24/0.24	c ... done. Wall clock time 0.124s.
0.24/0.24	c declared #vars     934
0.24/0.24	c #constraints  1063
0.24/0.24	c constraints type 
0.24/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6
0.24/0.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 183
0.24/0.24	c ignored satisfied constraints => 1
0.24/0.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 873
0.24/0.24	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.24/0.24	c 1064 constraints processed.
0.24/0.24	c objective function length is 934 literals
0.24/0.26	c SATISFIABLE
0.24/0.26	c OPTIMIZING...
0.24/0.26	c Got one! Elapsed wall clock time (in seconds):0.149
0.24/0.26	o 17
1.32/0.94	c cleaning 2487 clauses out of 5000 with flag 5000/5000
1.99/1.55	c cleaning 4257 clauses out of 8513 with flag 11000/11000
2.71/2.23	c cleaning 5624 clauses out of 11256 with flag 18000/18000
3.54/3.03	c cleaning 6806 clauses out of 13632 with flag 26000/26000
4.49/3.92	c cleaning 7903 clauses out of 15829 with flag 35003/35003
5.40/4.82	c cleaning 8962 clauses out of 17923 with flag 45000/45000
6.41/5.87	c cleaning 9961 clauses out of 19963 with flag 56002/56002
7.51/6.98	c cleaning 10996 clauses out of 22000 with flag 68000/68000
8.84/8.22	c cleaning 11993 clauses out of 24004 with flag 81000/81000
10.16/9.58	c cleaning 12987 clauses out of 26011 with flag 95000/95000
11.80/11.10	c cleaning 14012 clauses out of 28024 with flag 110000/110000
13.43/12.75	c cleaning 15006 clauses out of 30012 with flag 126000/126000
15.25/14.54	c cleaning 15996 clauses out of 32006 with flag 143000/143000
17.06/16.37	c cleaning 16994 clauses out of 34011 with flag 161001/161001
19.19/18.40	c cleaning 17998 clauses out of 36017 with flag 180001/180001
21.21/20.45	c cleaning 19001 clauses out of 38021 with flag 200003/200003
23.42/22.66	c cleaning 19999 clauses out of 40017 with flag 221000/221000
25.74/24.99	c cleaning 21010 clauses out of 42019 with flag 243001/243001
28.18/27.38	c cleaning 21994 clauses out of 44008 with flag 266000/266000
30.70/29.86	c cleaning 23007 clauses out of 46015 with flag 290001/290001
33.24/32.37	c cleaning 23988 clauses out of 48008 with flag 315001/315001
35.64/34.74	c cleaning 25007 clauses out of 50019 with flag 341000/341000
38.41/37.43	c cleaning 25982 clauses out of 52012 with flag 368000/368000
41.12/40.18	c cleaning 27003 clauses out of 54030 with flag 396000/396000
44.34/43.34	c cleaning 28000 clauses out of 56027 with flag 425000/425000
47.46/46.50	c cleaning 28992 clauses out of 58027 with flag 455000/455000
50.77/49.70	c cleaning 30013 clauses out of 60036 with flag 486001/486001
54.09/53.03	c cleaning 30987 clauses out of 62022 with flag 518000/518000
57.72/56.63	c cleaning 32013 clauses out of 64038 with flag 551003/551003
61.23/60.17	c cleaning 33003 clauses out of 66022 with flag 585000/585000
65.07/63.95	c cleaning 34006 clauses out of 68019 with flag 620000/620000
69.10/67.91	c cleaning 35002 clauses out of 70014 with flag 656001/656001
73.24/72.06	c cleaning 35981 clauses out of 72012 with flag 693001/693001
77.37/76.14	c cleaning 37001 clauses out of 74030 with flag 731000/731000
81.78/80.52	c cleaning 38014 clauses out of 76029 with flag 770000/770000
86.30/85.01	c cleaning 39003 clauses out of 78015 with flag 810000/810000
91.14/89.84	c cleaning 40003 clauses out of 80013 with flag 851001/851001
95.87/94.57	c cleaning 41005 clauses out of 82009 with flag 893000/893000
100.67/99.25	c cleaning 41988 clauses out of 84004 with flag 936000/936000
105.90/104.44	c cleaning 42996 clauses out of 86016 with flag 980000/980000
111.13/109.68	c cleaning 44007 clauses out of 88020 with flag 1025000/1025000
116.37/114.80	c cleaning 45006 clauses out of 90013 with flag 1071000/1071000
121.82/120.26	c cleaning 45979 clauses out of 92007 with flag 1118000/1118000
127.14/125.55	c cleaning 47006 clauses out of 94028 with flag 1166000/1166000
132.26/130.68	c cleaning 48001 clauses out of 96023 with flag 1215001/1215001
137.69/136.09	c cleaning 48998 clauses out of 98021 with flag 1265000/1265000
143.01/141.31	c cleaning 49984 clauses out of 100024 with flag 1316001/1316001
148.84/147.00	c cleaning 51019 clauses out of 102039 with flag 1368000/1368000
155.07/153.25	c cleaning 52000 clauses out of 104021 with flag 1421001/1421001
161.12/159.22	c cleaning 52988 clauses out of 106020 with flag 1475000/1475000
167.04/165.14	c cleaning 54009 clauses out of 108032 with flag 1530000/1530000
173.36/171.46	c cleaning 55002 clauses out of 110023 with flag 1586000/1586000
179.68/177.75	c cleaning 56011 clauses out of 112024 with flag 1643003/1643003
187.02/185.08	c cleaning 56990 clauses out of 114011 with flag 1701001/1701001
193.76/191.70	c cleaning 58000 clauses out of 116022 with flag 1760002/1760002
199.91/197.85	c cleaning 58993 clauses out of 118020 with flag 1820000/1820000
206.65/204.53	c cleaning 60004 clauses out of 120027 with flag 1881000/1881000
213.37/211.22	c cleaning 61009 clauses out of 122025 with flag 1943002/1943002
220.23/218.04	c cleaning 62001 clauses out of 124016 with flag 2006002/2006002
226.87/224.63	c cleaning 62993 clauses out of 126014 with flag 2070001/2070001
234.19/232.00	c cleaning 64004 clauses out of 128020 with flag 2135000/2135000
241.55/239.26	c cleaning 64997 clauses out of 130016 with flag 2201000/2201000
249.79/247.50	c cleaning 66006 clauses out of 132022 with flag 2268003/2268003
257.12/254.70	c cleaning 66996 clauses out of 134013 with flag 2336000/2336000
264.67/262.29	c cleaning 67995 clauses out of 136018 with flag 2405001/2405001
272.82/270.31	c cleaning 69007 clauses out of 138024 with flag 2475002/2475002
281.14/278.63	c cleaning 70005 clauses out of 140015 with flag 2546000/2546000
288.97/286.48	c cleaning 70982 clauses out of 142010 with flag 2618000/2618000
297.02/294.49	c cleaning 72013 clauses out of 144028 with flag 2691000/2691000
305.94/303.37	c cleaning 73002 clauses out of 146015 with flag 2765000/2765000
315.69/312.87	c cleaning 74003 clauses out of 148013 with flag 2840000/2840000
325.11/322.10	c cleaning 74999 clauses out of 150010 with flag 2916000/2916000
333.61/330.62	c cleaning 75993 clauses out of 152012 with flag 2993001/2993001
342.36/339.36	c cleaning 76988 clauses out of 154019 with flag 3071001/3071001
351.93/348.88	c cleaning 78003 clauses out of 156032 with flag 3150002/3150002
361.57/358.47	c cleaning 79008 clauses out of 158028 with flag 3230001/3230001
370.92/367.78	c cleaning 80001 clauses out of 160020 with flag 3311001/3311001
380.46/377.22	c cleaning 81004 clauses out of 162019 with flag 3393001/3393001
390.24/386.98	c cleaning 81998 clauses out of 164015 with flag 3476001/3476001
399.60/396.28	c cleaning 82994 clauses out of 166017 with flag 3560001/3560001
409.54/406.13	c cleaning 84003 clauses out of 168022 with flag 3645000/3645000
419.73/416.22	c cleaning 85010 clauses out of 170019 with flag 3731000/3731000
429.72/426.14	c cleaning 85997 clauses out of 172009 with flag 3818000/3818000
440.27/436.62	c cleaning 86995 clauses out of 174012 with flag 3906000/3906000
450.51/446.80	c cleaning 87997 clauses out of 176017 with flag 3995000/3995000
461.16/457.42	c cleaning 89008 clauses out of 178020 with flag 4085000/4085000
472.04/468.25	c cleaning 89996 clauses out of 180012 with flag 4176000/4176000
483.66/479.72	c cleaning 91002 clauses out of 182016 with flag 4268000/4268000
494.84/490.80	c cleaning 92003 clauses out of 184014 with flag 4361000/4361000
505.71/501.66	c cleaning 92994 clauses out of 186013 with flag 4455002/4455002
516.97/512.64	c cleaning 93999 clauses out of 188017 with flag 4550000/4550000
528.30/523.94	c cleaning 94996 clauses out of 190018 with flag 4646000/4646000
540.85/536.44	c cleaning 95988 clauses out of 192022 with flag 4743000/4743000
553.23/548.77	c cleaning 97007 clauses out of 194035 with flag 4841001/4841001
565.21/560.68	c cleaning 97996 clauses out of 196027 with flag 4940000/4940000
577.16/572.56	c cleaning 99001 clauses out of 198031 with flag 5040000/5040000
590.26/585.44	c cleaning 100007 clauses out of 200030 with flag 5141000/5141000
603.05/598.13	c cleaning 101002 clauses out of 202024 with flag 5243001/5243001
615.98/611.07	c cleaning 102008 clauses out of 204022 with flag 5346001/5346001
629.27/624.24	c cleaning 102988 clauses out of 206013 with flag 5450000/5450000
642.43/637.37	c cleaning 104003 clauses out of 208025 with flag 5555000/5555000
655.67/650.52	c cleaning 105000 clauses out of 210022 with flag 5661000/5661000
668.58/663.44	c cleaning 106000 clauses out of 212022 with flag 5768000/5768000
682.27/677.02	c cleaning 107005 clauses out of 214022 with flag 5876000/5876000
695.70/690.44	c cleaning 108009 clauses out of 216018 with flag 5985001/5985001
710.94/705.69	c cleaning 109002 clauses out of 218008 with flag 6095000/6095000
725.91/720.52	c cleaning 109997 clauses out of 220006 with flag 6206000/6206000
739.64/734.26	c cleaning 110996 clauses out of 222010 with flag 6318001/6318001
754.37/748.91	c cleaning 112005 clauses out of 224013 with flag 6431000/6431000
768.93/763.47	c cleaning 112993 clauses out of 226008 with flag 6545000/6545000
784.82/779.26	c cleaning 114001 clauses out of 228015 with flag 6660000/6660000
800.68/795.06	c cleaning 115006 clauses out of 230014 with flag 6776000/6776000
816.20/810.58	c cleaning 115987 clauses out of 232008 with flag 6893000/6893000
830.80/825.09	c cleaning 116991 clauses out of 234021 with flag 7011000/7011000
846.92/841.13	c cleaning 118006 clauses out of 236031 with flag 7130001/7130001
863.90/858.07	c cleaning 119011 clauses out of 238024 with flag 7250000/7250000
883.96/878.06	c cleaning 120005 clauses out of 240013 with flag 7371000/7371000
904.70/898.60	c cleaning 120986 clauses out of 242009 with flag 7493001/7493001
924.36/918.21	c cleaning 121994 clauses out of 244023 with flag 7616001/7616001
943.11/936.97	c cleaning 123013 clauses out of 246029 with flag 7740001/7740001
965.62/959.11	c cleaning 123997 clauses out of 248015 with flag 7865000/7865000
987.26/980.56	c cleaning 124998 clauses out of 250018 with flag 7991000/7991000
1011.80/1004.49	c cleaning 126011 clauses out of 252022 with flag 8118002/8118002
1031.45/1023.83	c cleaning 126994 clauses out of 254011 with flag 8246002/8246002
1050.91/1043.02	c cleaning 127993 clauses out of 256016 with flag 8375001/8375001
1072.77/1064.57	c cleaning 129005 clauses out of 258022 with flag 8505000/8505000
1095.26/1086.88	c cleaning 129998 clauses out of 260017 with flag 8636000/8636000
1118.60/1110.06	c cleaning 131005 clauses out of 262021 with flag 8768002/8768002
1139.87/1131.16	c cleaning 131990 clauses out of 264015 with flag 8901001/8901001
1157.52/1148.54	c cleaning 133010 clauses out of 266024 with flag 9035000/9035000
1176.47/1167.49	c cleaning 134005 clauses out of 268014 with flag 9170000/9170000
1195.95/1186.88	c cleaning 134995 clauses out of 270009 with flag 9306000/9306000
1215.70/1206.55	c cleaning 136008 clauses out of 272015 with flag 9443001/9443001
1234.80/1225.57	c cleaning 136993 clauses out of 274006 with flag 9581000/9581000
1255.03/1245.77	c cleaning 137996 clauses out of 276013 with flag 9720000/9720000
1274.71/1265.36	c cleaning 138993 clauses out of 278018 with flag 9860001/9860001
1295.64/1286.24	c cleaning 140000 clauses out of 280026 with flag 10001002/10001002
1316.76/1307.06	c cleaning 141012 clauses out of 282024 with flag 10143000/10143000
1340.01/1330.08	c cleaning 141991 clauses out of 284013 with flag 10286001/10286001
1365.99/1355.74	c cleaning 142995 clauses out of 286024 with flag 10430003/10430003
1397.46/1386.92	c cleaning 144014 clauses out of 288027 with flag 10575001/10575001
1422.72/1411.91	c cleaning 145007 clauses out of 290013 with flag 10721001/10721001
1448.21/1437.18	c cleaning 145987 clauses out of 292005 with flag 10868000/10868000
1475.30/1463.96	c cleaning 147001 clauses out of 294018 with flag 11016000/11016000
1500.05/1488.42	c cleaning 148009 clauses out of 296017 with flag 11165000/11165000
1523.72/1511.89	c cleaning 148997 clauses out of 298008 with flag 11315000/11315000
1548.86/1536.69	c cleaning 150006 clauses out of 300011 with flag 11466000/11466000
1572.41/1559.95	c cleaning 150967 clauses out of 302007 with flag 11618002/11618002
1596.13/1583.33	c cleaning 152015 clauses out of 304039 with flag 11771001/11771001
1622.39/1609.31	c cleaning 153006 clauses out of 306023 with flag 11925000/11925000
1647.15/1633.81	c cleaning 153985 clauses out of 308018 with flag 12080001/12080001
1671.43/1657.84	c cleaning 155011 clauses out of 310032 with flag 12236000/12236000
1696.41/1682.52	c cleaning 155999 clauses out of 312021 with flag 12393000/12393000
1724.73/1710.62	c cleaning 157003 clauses out of 314022 with flag 12551000/12551000
1752.46/1738.10	c cleaning 157996 clauses out of 316019 with flag 12710000/12710000
1781.78/1767.21	c cleaning 159007 clauses out of 318024 with flag 12870001/12870001
1800.03/1785.41	c starts		: 325
1800.03/1785.41	c conflicts		: 12989916
1800.03/1785.41	c decisions		: 36861711
1800.03/1785.41	c propagations		: 1464116965
1800.03/1785.41	c inspects		: 8330413097
1800.03/1785.41	c shortcuts		: 0
1800.03/1785.41	c learnt literals	: 0
1800.03/1785.41	c learnt binary clauses	: 0
1800.03/1785.41	c learnt ternary clauses	: 0
1800.03/1785.41	c learnt constraints	: 12989917
1800.03/1785.41	c ignored constraints	: 0
1800.03/1785.41	c root simplifications	: 0
1800.03/1785.41	c removed literals (reason simplification)	: 0
1800.03/1785.41	c reason swapping (by a shorter reason)	: 0
1800.03/1785.41	c Calls to reduceDB	: 156
1800.03/1785.41	c number of reductions to clauses (during analyze)	: 0
1800.03/1785.41	c number of learned constraints concerned by reduction	: 0
1800.03/1785.41	c number of learning phase by resolution	: 0
1800.03/1785.41	c number of learning phase by cutting planes	: 0
1800.03/1785.41	c speed (assignments/second)	: 820160.0915324116
1800.03/1785.41	c non guided choices	0
1800.03/1785.44	c learnt constraints type 
1800.03/1785.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 278985
1800.03/1785.44	c constraints type 
1800.03/1785.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6
1800.03/1785.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 183
1800.03/1785.44	c ignored satisfied constraints => 1
1800.03/1785.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 873
1800.03/1785.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.03/1785.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.03/1785.44	c 1065 constraints processed.
1800.03/1785.44	s SATISFIABLE
1800.03/1785.44	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 x907 -x908 -x909 -x910 x911 x912 -x913 -x914 -x915 x916 -x917 -x918 x919 x920 x921 -x922 x923 x924 -x925 -x926 x927 x928 -x929 -x930 -x931 -x932 x933 x934 
1800.03/1785.44	c objective function=17
1800.03/1785.44	c Total wall clock time (in seconds): 1785.329

Verifier Data

OK	17

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-3687845-1337876262/watcher-3687845-1337876262 -o /tmp/evaluation-result-3687845-1337876262/solver-3687845-1337876262 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687845-1337876262.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.01 2.05 1.96 3/194 10092
/proc/meminfo: memFree=26288296/32873844 swapFree=6592/6592
[pid=10092] ppid=10090 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/10092/stat : 10092 (java) D 10090 10092 8709 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253751038 9515008 183 33554432000 1073741824 1073778376 140735074676768 140735074667800 213419638453 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/10092/statm: 2323 183 140 9 0 71 0

[startup+0.0417789 s]
/proc/loadavg: 2.01 2.05 1.96 3/194 10092
/proc/meminfo: memFree=26288296/32873844 swapFree=6592/6592
[pid=10092] ppid=10090 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/10092/stat : 10092 (java) S 10090 10092 8709 0 -1 4202496 2993 0 1 0 1 0 0 0 20 0 13 0 253751038 9446973440 3690 33554432000 1073741824 1073778376 140736166925824 140736166916960 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 2306390 3690 1676 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.100241 s]
/proc/loadavg: 2.01 2.05 1.96 3/194 10092
/proc/meminfo: memFree=26288296/32873844 swapFree=6592/6592
[pid=10092] ppid=10090 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/10092/stat : 10092 (java) S 10090 10092 8709 0 -1 4202496 4255 0 1 0 8 0 0 0 20 0 18 0 253751038 9787813888 5454 33554432000 1073741824 1073778376 140736166925824 140736166916960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 2389603 5454 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300207 s]
/proc/loadavg: 2.01 2.05 1.96 3/194 10092
/proc/meminfo: memFree=26288296/32873844 swapFree=6592/6592
[pid=10092] ppid=10090 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/10092/stat : 10092 (java) S 10090 10092 8709 0 -1 4202496 4986 0 1 0 41 1 0 0 20 0 19 0 253751038 9855975424 7531 33554432000 1073741824 1073778376 140736166925824 140736166916960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 2406244 7531 2228 9 0 2396937 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9624976

[startup+0.700206 s]
/proc/loadavg: 2.01 2.05 1.96 3/194 10092
/proc/meminfo: memFree=26288296/32873844 swapFree=6592/6592
[pid=10092] ppid=10090 vsize=9624976 CPUtime=1.12 cores=0,2,4,6
/proc/10092/stat : 10092 (java) S 10090 10092 8709 0 -1 4202496 8788 0 1 0 110 2 0 0 20 0 19 0 253751038 9855975424 10162 33554432000 1073741824 1073778376 140736166925824 140736166916960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 2406244 10162 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9624976

[startup+1.50069 s]
/proc/loadavg: 2.01 2.05 1.96 3/213 10111
/proc/meminfo: memFree=26236600/32873844 swapFree=6592/6592
[pid=10092] ppid=10090 vsize=9624976 CPUtime=1.99 cores=0,2,4,6
/proc/10092/stat : 10092 (java) S 10090 10092 8709 0 -1 4202496 8929 0 1 0 197 2 0 0 20 0 19 0 253751038 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140736166916960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 2406244 14817 2268 9 0 2396937 0
[pid=10092/tid=10094] ppid=10090 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/10092/task/10094/stat : 10094 (java) R 10090 10092 8709 0 -1 4202560 2461 0 1 0 144 0 0 0 20 0 19 0 253751039 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245824110968 140245664804447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10095] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10095/stat : 10095 (java) S 10090 10092 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245785602600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10096] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10096/stat : 10096 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245784549800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10097] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10097/stat : 10097 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245783497000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10092/tid=10098] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10098/stat : 10098 (java) S 10090 10092 8709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245664262312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10099] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10099/stat : 10099 (java) S 10090 10092 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245663210536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10100] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10100/stat : 10100 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245662157736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10101] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10101/stat : 10101 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245661104936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10102] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10102/stat : 10102 (java) S 10090 10092 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245660052136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10092/tid=10103] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10103/stat : 10103 (java) S 10090 10092 8709 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245177723368 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10104] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10104/stat : 10104 (java) S 10090 10092 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245176669432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10105] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10105/stat : 10105 (java) S 10090 10092 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245175616520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10106] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10106/stat : 10106 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245174565008 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10107] ppid=10090 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/10092/task/10107/stat : 10107 (java) S 10090 10092 8709 0 -1 4202560 2143 0 0 0 24 0 0 0 20 0 19 0 253751045 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245173513144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10108] ppid=10090 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/10092/task/10108/stat : 10108 (java) S 10090 10092 8709 0 -1 4202560 3081 0 0 0 24 0 0 0 20 0 19 0 253751045 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245172460344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10109] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10109/stat : 10109 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245171407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10110] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10110/stat : 10110 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245170355144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10111] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10111/stat : 10111 (java) S 10090 10092 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253751064 9855975424 14817 33554432000 1073741824 1073778376 140736166925824 140245169300648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9624976

[startup+3.1007 s]
/proc/loadavg: 2.01 2.05 1.96 3/213 10111
/proc/meminfo: memFree=26221892/32873844 swapFree=6592/6592
[pid=10092] ppid=10090 vsize=9624976 CPUtime=3.69 cores=0,2,4,6
/proc/10092/stat : 10092 (java) S 10090 10092 8709 0 -1 4202496 9696 0 1 0 365 4 0 0 20 0 19 0 253751038 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140736166916960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 2406244 20986 2268 9 0 2396937 0
[pid=10092/tid=10094] ppid=10090 vsize=9624976 CPUtime=2.99 cores=0,2,4,6
/proc/10092/task/10094/stat : 10094 (java) R 10090 10092 8709 0 -1 4202560 2462 0 1 0 299 0 0 0 20 0 19 0 253751039 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245824111000 140245664749216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10095] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10095/stat : 10095 (java) S 10090 10092 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245785602600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10096] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10096/stat : 10096 (java) S 10090 10092 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245784549800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10097] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10097/stat : 10097 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245783497000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10098] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10098/stat : 10098 (java) S 10090 10092 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245664262312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10099] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10099/stat : 10099 (java) S 10090 10092 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245663210536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10100] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10100/stat : 10100 (java) S 10090 10092 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245662157736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10101] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10101/stat : 10101 (java) S 10090 10092 8709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245661104936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10102] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10102/stat : 10102 (java) S 10090 10092 8709 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245660052136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10092/tid=10103] ppid=10090 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/10092/task/10103/stat : 10103 (java) S 10090 10092 8709 0 -1 4202560 36 0 0 0 3 0 0 0 20 0 19 0 253751042 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245177723368 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10104] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10104/stat : 10104 (java) S 10090 10092 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245176669432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10105] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10105/stat : 10105 (java) S 10090 10092 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245175616520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10106] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10106/stat : 10106 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245174565008 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10107] ppid=10090 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/10092/task/10107/stat : 10107 (java) S 10090 10092 8709 0 -1 4202560 2857 0 0 0 30 0 0 0 20 0 19 0 253751045 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245173513144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10108] ppid=10090 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/10092/task/10108/stat : 10108 (java) S 10090 10092 8709 0 -1 4202560 3082 0 0 0 25 0 0 0 20 0 19 0 253751045 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245172460344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10109] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10109/stat : 10109 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245171407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10110] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10110/stat : 10110 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245170355144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10111] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10111/stat : 10111 (java) S 10090 10092 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253751064 9855975424 20986 33554432000 1073741824 1073778376 140736166925824 140245169300648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 9624976

[startup+6.30066 s]
/proc/loadavg: 2.01 2.05 1.96 3/213 10111
/proc/meminfo: memFree=26207556/32873844 swapFree=6592/6592
[pid=10092] ppid=10090 vsize=9624976 CPUtime=6.91 cores=0,2,4,6
/proc/10092/stat : 10092 (java) S 10090 10092 8709 0 -1 4202496 9725 0 1 0 686 5 0 0 20 0 19 0 253751038 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140736166916960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 2406244 24365 2268 9 0 2396937 0
[pid=10092/tid=10094] ppid=10090 vsize=9624976 CPUtime=6.12 cores=0,2,4,6
/proc/10092/task/10094/stat : 10094 (java) R 10090 10092 8709 0 -1 4202560 2466 0 1 0 612 0 0 0 20 0 19 0 253751039 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245824110840 140245664858860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10095] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10095/stat : 10095 (java) S 10090 10092 8709 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245785602600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10096] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10096/stat : 10096 (java) S 10090 10092 8709 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245784549800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10097] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10097/stat : 10097 (java) S 10090 10092 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245783497000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10098] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10098/stat : 10098 (java) S 10090 10092 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245664262312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10099] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10099/stat : 10099 (java) S 10090 10092 8709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245663210536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10100] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10100/stat : 10100 (java) S 10090 10092 8709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245662157736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10101] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10101/stat : 10101 (java) S 10090 10092 8709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245661104936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10092/tid=10102] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10102/stat : 10102 (java) S 10090 10092 8709 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 253751041 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245660052136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10103] ppid=10090 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/10092/task/10103/stat : 10103 (java) S 10090 10092 8709 0 -1 4202560 40 0 0 0 7 0 0 0 20 0 19 0 253751042 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245177723368 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10104] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10104/stat : 10104 (java) S 10090 10092 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245176669432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10105] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10105/stat : 10105 (java) S 10090 10092 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245175616520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10106] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10106/stat : 10106 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245174565008 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10107] ppid=10090 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/10092/task/10107/stat : 10107 (java) S 10090 10092 8709 0 -1 4202560 2858 0 0 0 30 0 0 0 20 0 19 0 253751045 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245173513144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10108] ppid=10090 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/10092/task/10108/stat : 10108 (java) S 10090 10092 8709 0 -1 4202560 3082 0 0 0 25 0 0 0 20 0 19 0 253751045 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245172460344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10109] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10109/stat : 10109 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245171407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10110] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10110/stat : 10110 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245170355144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10111] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10111/stat : 10111 (java) S 10090 10092 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253751064 9855975424 24365 33554432000 1073741824 1073778376 140736166925824 140245169300648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=10092/tid=10107] ppid=10090 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/10092/task/10107/stat : 10107 (java) S 10090 10092 8709 0 -1 4202560 3036 0 0 0 32 0 0 0 20 0 19 0 253751045 9855975424 336120 33554432000 1073741824 1073778376 140736166925824 140245173513144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10108] ppid=10090 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/10092/task/10108/stat : 10108 (java) S 10090 10092 8709 0 -1 4202560 3082 0 0 0 25 0 0 0 20 0 19 0 253751045 9855975424 336120 33554432000 1073741824 1073778376 140736166925824 140245172460344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10109] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10109/stat : 10109 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 336120 33554432000 1073741824 1073778376 140736166925824 140245171407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10110] ppid=10090 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/10092/task/10110/stat : 10110 (java) S 10090 10092 8709 0 -1 4202560 95 0 0 0 26 24 0 0 20 0 19 0 253751045 9855975424 336120 33554432000 1073741824 1073778376 140736166925824 140245170355144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10111] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10111/stat : 10111 (java) S 10090 10092 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253751064 9855975424 336120 33554432000 1073741824 1073778376 140736166925824 140245169300648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1676.01
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 10244
/proc/meminfo: memFree=24934852/32873844 swapFree=6592/6592
[pid=10092] ppid=10090 vsize=9624976 CPUtime=1736.49 cores=0,2,4,6
/proc/10092/stat : 10092 (java) S 10090 10092 8709 0 -1 4202496 18464 0 1 0 173471 178 0 0 20 0 19 0 253751038 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140736166916960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 2406244 338185 2269 9 0 2396937 0
[pid=10092/tid=10094] ppid=10090 vsize=9624976 CPUtime=1702.1 cores=0,2,4,6
/proc/10092/task/10094/stat : 10094 (java) R 10090 10092 8709 0 -1 4202560 3183 0 1 0 170181 29 0 0 20 0 19 0 253751039 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245824110880 140245664749558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10095] ppid=10090 vsize=9624976 CPUtime=2.28 cores=0,2,4,6
/proc/10092/task/10095/stat : 10095 (java) S 10090 10092 8709 0 -1 4202560 755 0 0 0 211 17 0 0 20 0 19 0 253751041 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245785602600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10096] ppid=10090 vsize=9624976 CPUtime=2.33 cores=0,2,4,6
/proc/10092/task/10096/stat : 10096 (java) S 10090 10092 8709 0 -1 4202560 895 0 0 0 209 24 0 0 20 0 19 0 253751041 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245784549800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10097] ppid=10090 vsize=9624976 CPUtime=2.41 cores=0,2,4,6
/proc/10092/task/10097/stat : 10097 (java) S 10090 10092 8709 0 -1 4202560 825 0 0 0 223 18 0 0 20 0 19 0 253751041 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245783497000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10098] ppid=10090 vsize=9624976 CPUtime=2.52 cores=0,2,4,6
/proc/10092/task/10098/stat : 10098 (java) S 10090 10092 8709 0 -1 4202560 931 0 0 0 227 25 0 0 20 0 19 0 253751041 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245664262312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10092/tid=10099] ppid=10090 vsize=9624976 CPUtime=2.28 cores=0,2,4,6
/proc/10092/task/10099/stat : 10099 (java) S 10090 10092 8709 0 -1 4202560 546 0 0 0 212 16 0 0 20 0 19 0 253751041 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245663210536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10100] ppid=10090 vsize=9624976 CPUtime=2.31 cores=0,2,4,6
/proc/10092/task/10100/stat : 10100 (java) S 10090 10092 8709 0 -1 4202560 928 0 0 0 214 17 0 0 20 0 19 0 253751041 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245662157736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10092/tid=10101] ppid=10090 vsize=9624976 CPUtime=2.34 cores=0,2,4,6
/proc/10092/task/10101/stat : 10101 (java) S 10090 10092 8709 0 -1 4202560 766 0 0 0 220 14 0 0 20 0 19 0 253751041 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245661104936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10102] ppid=10090 vsize=9624976 CPUtime=2.18 cores=0,2,4,6
/proc/10092/task/10102/stat : 10102 (java) S 10090 10092 8709 0 -1 4202560 672 0 0 0 200 18 0 0 20 0 19 0 253751041 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245660052136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10103] ppid=10090 vsize=9624976 CPUtime=10.47 cores=0,2,4,6
/proc/10092/task/10103/stat : 10103 (java) S 10090 10092 8709 0 -1 4202560 1565 0 0 0 1045 2 0 0 20 0 19 0 253751042 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245177723368 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10104] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10104/stat : 10104 (java) S 10090 10092 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245176669432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10105] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10105/stat : 10105 (java) S 10090 10092 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245175616520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10106] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10106/stat : 10106 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245174565008 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10107] ppid=10090 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/10092/task/10107/stat : 10107 (java) S 10090 10092 8709 0 -1 4202560 3036 0 0 0 32 0 0 0 20 0 19 0 253751045 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245173513144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10108] ppid=10090 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/10092/task/10108/stat : 10108 (java) S 10090 10092 8709 0 -1 4202560 3082 0 0 0 25 0 0 0 20 0 19 0 253751045 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245172460344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10109] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10109/stat : 10109 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245171407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10110] ppid=10090 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/10092/task/10110/stat : 10110 (java) S 10090 10092 8709 0 -1 4202560 99 0 0 0 26 25 0 0 20 0 19 0 253751045 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245170355144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10111] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10111/stat : 10111 (java) S 10090 10092 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253751064 9855975424 338185 33554432000 1073741824 1073778376 140736166925824 140245169300648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1736.49
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/213 10244
/proc/meminfo: memFree=24839032/32873844 swapFree=6592/6592
[pid=10092] ppid=10090 vsize=9624976 CPUtime=1796.93 cores=0,2,4,6
/proc/10092/stat : 10092 (java) S 10090 10092 8709 0 -1 4202496 18563 0 1 0 179510 183 0 0 20 0 19 0 253751038 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140736166916960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 2406244 346905 2269 9 0 2396937 0
[pid=10092/tid=10094] ppid=10090 vsize=9624976 CPUtime=1761.58 cores=0,2,4,6
/proc/10092/task/10094/stat : 10094 (java) R 10090 10092 8709 0 -1 4202560 3187 0 1 0 176128 30 0 0 20 0 19 0 253751039 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245824110880 140245664760355 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10095] ppid=10090 vsize=9624976 CPUtime=2.32 cores=0,2,4,6
/proc/10092/task/10095/stat : 10095 (java) S 10090 10092 8709 0 -1 4202560 763 0 0 0 214 18 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245785602600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10096] ppid=10090 vsize=9624976 CPUtime=2.38 cores=0,2,4,6
/proc/10092/task/10096/stat : 10096 (java) S 10090 10092 8709 0 -1 4202560 896 0 0 0 214 24 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245784549800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10097] ppid=10090 vsize=9624976 CPUtime=2.5 cores=0,2,4,6
/proc/10092/task/10097/stat : 10097 (java) S 10090 10092 8709 0 -1 4202560 833 0 0 0 231 19 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245783497000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10098] ppid=10090 vsize=9624976 CPUtime=2.59 cores=0,2,4,6
/proc/10092/task/10098/stat : 10098 (java) S 10090 10092 8709 0 -1 4202560 933 0 0 0 234 25 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245664262312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10099] ppid=10090 vsize=9624976 CPUtime=2.37 cores=0,2,4,6
/proc/10092/task/10099/stat : 10099 (java) S 10090 10092 8709 0 -1 4202560 551 0 0 0 221 16 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245663210536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10100] ppid=10090 vsize=9624976 CPUtime=2.46 cores=0,2,4,6
/proc/10092/task/10100/stat : 10100 (java) S 10090 10092 8709 0 -1 4202560 945 0 0 0 228 18 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245662157736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10101] ppid=10090 vsize=9624976 CPUtime=2.4 cores=0,2,4,6
/proc/10092/task/10101/stat : 10101 (java) S 10090 10092 8709 0 -1 4202560 774 0 0 0 225 15 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245661104936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10092/tid=10102] ppid=10090 vsize=9624976 CPUtime=2.27 cores=0,2,4,6
/proc/10092/task/10102/stat : 10102 (java) S 10090 10092 8709 0 -1 4202560 684 0 0 0 209 18 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245660052136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10092/tid=10103] ppid=10090 vsize=9624976 CPUtime=10.66 cores=0,2,4,6
/proc/10092/task/10103/stat : 10103 (java) S 10090 10092 8709 0 -1 4202560 1595 0 0 0 1064 2 0 0 20 0 19 0 253751042 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245177723368 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10104] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10104/stat : 10104 (java) S 10090 10092 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245176669432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10105] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10105/stat : 10105 (java) S 10090 10092 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245175616520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10106] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10106/stat : 10106 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245174565008 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10107] ppid=10090 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/10092/task/10107/stat : 10107 (java) S 10090 10092 8709 0 -1 4202560 3036 0 0 0 32 0 0 0 20 0 19 0 253751045 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245173513144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10108] ppid=10090 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/10092/task/10108/stat : 10108 (java) S 10090 10092 8709 0 -1 4202560 3082 0 0 0 25 0 0 0 20 0 19 0 253751045 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245172460344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10109] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10109/stat : 10109 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245171407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10110] ppid=10090 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/10092/task/10110/stat : 10110 (java) S 10090 10092 8709 0 -1 4202560 103 0 0 0 26 27 0 0 20 0 19 0 253751045 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245170355144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10111] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10111/stat : 10111 (java) S 10090 10092 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253751064 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245169300648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.4 s]
/proc/loadavg: 2.11 2.04 2.01 3/213 10244
/proc/meminfo: memFree=24839032/32873844 swapFree=6592/6592
[pid=10092] ppid=10090 vsize=9624976 CPUtime=1800.03 cores=0,2,4,6
/proc/10092/stat : 10092 (java) S 10090 10092 8709 0 -1 4202496 18563 0 1 0 179820 183 0 0 20 0 19 0 253751038 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140736166916960 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 2406244 346905 2269 9 0 2396937 0
[pid=10092/tid=10094] ppid=10090 vsize=9624976 CPUtime=1764.68 cores=0,2,4,6
/proc/10092/task/10094/stat : 10094 (java) R 10090 10092 8709 0 -1 4202560 3187 0 1 0 176438 30 0 0 20 0 19 0 253751039 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245824110880 140245664804679 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10095] ppid=10090 vsize=9624976 CPUtime=2.32 cores=0,2,4,6
/proc/10092/task/10095/stat : 10095 (java) S 10090 10092 8709 0 -1 4202560 763 0 0 0 214 18 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245785602600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10096] ppid=10090 vsize=9624976 CPUtime=2.38 cores=0,2,4,6
/proc/10092/task/10096/stat : 10096 (java) S 10090 10092 8709 0 -1 4202560 896 0 0 0 214 24 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245784549800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10097] ppid=10090 vsize=9624976 CPUtime=2.5 cores=0,2,4,6
/proc/10092/task/10097/stat : 10097 (java) S 10090 10092 8709 0 -1 4202560 833 0 0 0 231 19 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245783497000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10098] ppid=10090 vsize=9624976 CPUtime=2.59 cores=0,2,4,6
/proc/10092/task/10098/stat : 10098 (java) S 10090 10092 8709 0 -1 4202560 933 0 0 0 234 25 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245664262312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10099] ppid=10090 vsize=9624976 CPUtime=2.37 cores=0,2,4,6
/proc/10092/task/10099/stat : 10099 (java) S 10090 10092 8709 0 -1 4202560 551 0 0 0 221 16 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245663210536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10100] ppid=10090 vsize=9624976 CPUtime=2.46 cores=0,2,4,6
/proc/10092/task/10100/stat : 10100 (java) S 10090 10092 8709 0 -1 4202560 945 0 0 0 228 18 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245662157736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10101] ppid=10090 vsize=9624976 CPUtime=2.4 cores=0,2,4,6
/proc/10092/task/10101/stat : 10101 (java) S 10090 10092 8709 0 -1 4202560 774 0 0 0 225 15 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245661104936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10092/tid=10102] ppid=10090 vsize=9624976 CPUtime=2.27 cores=0,2,4,6
/proc/10092/task/10102/stat : 10102 (java) S 10090 10092 8709 0 -1 4202560 684 0 0 0 209 18 0 0 20 0 19 0 253751041 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245660052136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10092/tid=10103] ppid=10090 vsize=9624976 CPUtime=10.66 cores=0,2,4,6
/proc/10092/task/10103/stat : 10103 (java) S 10090 10092 8709 0 -1 4202560 1595 0 0 0 1064 2 0 0 20 0 19 0 253751042 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245177723368 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10104] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10104/stat : 10104 (java) S 10090 10092 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245176669432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10105] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10105/stat : 10105 (java) S 10090 10092 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253751042 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245175616520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10106] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10106/stat : 10106 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245174565008 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10107] ppid=10090 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/10092/task/10107/stat : 10107 (java) S 10090 10092 8709 0 -1 4202560 3036 0 0 0 32 0 0 0 20 0 19 0 253751045 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245173513144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092/tid=10108] ppid=10090 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/10092/task/10108/stat : 10108 (java) S 10090 10092 8709 0 -1 4202560 3082 0 0 0 25 0 0 0 20 0 19 0 253751045 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245172460344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10109] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10109/stat : 10109 (java) S 10090 10092 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253751045 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245171407736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10092/tid=10110] ppid=10090 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/10092/task/10110/stat : 10110 (java) S 10090 10092 8709 0 -1 4202560 103 0 0 0 26 27 0 0 20 0 19 0 253751045 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245170355144 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10092/tid=10111] ppid=10090 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10111/stat : 10111 (java) S 10090 10092 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253751064 9855975424 346905 33554432000 1073741824 1073778376 140736166925824 140245169300648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624976

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 10092 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=809299
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=281653
# CPU time returned by wait4() is 1796.09
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1785.46
CPU time (s): 1800.03
CPU user time (s): 1798.2
CPU system time (s): 1.83
CPU usage (%): 100.816
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.81
system time used= 2.28165
maximum resident set size= 1387772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18605
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= 43411
involuntary context switches= 33254

runsolver used 6.31404 second user time and 13.8409 second system time

The end

Launcher Data

Begin job on node140 at 2012-05-24 18:17:42
IDJOB=3687845
IDBENCH=2227
IDSOLVER=2269
FILE ID=node140/3687845-1337876262
RUNJOBID= node140-1337871881-8725
PBS_JOBID= 14620064
Free space on /tmp= 71680 MiB

SOLVER NAME= Sat 4j PB Resolution 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:100.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687845-1337876262/watcher-3687845-1337876262 -o /tmp/evaluation-result-3687845-1337876262/solver-3687845-1337876262 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687845-1337876262.opb

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

MD5SUM BENCH= f9ec307a3c8f55679d3b9ab693efbd4c
RANDOM SEED=698857102

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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.88
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.094
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.90
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.094
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:        26288188 kB
Buffers:          223268 kB
Cached:          3263532 kB
SwapCached:            0 kB
Active:          2678772 kB
Inactive:        3106712 kB
Active(anon):    2299792 kB
Inactive(anon):      444 kB
Active(file):     378980 kB
Inactive(file):  3106268 kB
Unevictable:        6592 kB
Mlocked:            6592 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               488 kB
Writeback:             0 kB
AnonPages:       2322472 kB
Mapped:            22532 kB
Shmem:               200 kB
Slab:             640076 kB
SReclaimable:      82548 kB
SUnreclaim:       557528 kB
KernelStack:        1600 kB
PageTables:         8652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2974568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2265088 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= 71676 MiB
End job on node140 at 2012-05-24 18:47:29