Trace number 3687829

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)19 1800.07 1789.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM885184c694263ba985a0dc2cd49b3440
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.160975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables776
Total number of constraints867
Number of constraints which are clauses701
Number of constraints which are cardinality constraints (but not clauses)166
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 776
Biggest coefficient in the objective function 474
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2127
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 474
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2127
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3687829-1337875628.opb
0.08/0.12	c reading problem ... 
0.23/0.23	c ... done. Wall clock time 0.106s.
0.23/0.23	c declared #vars     776
0.23/0.23	c #constraints  867
0.23/0.23	c constraints type 
0.23/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4
0.23/0.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 165
0.23/0.23	c ignored satisfied constraints => 1
0.23/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 697
0.23/0.23	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.23/0.23	c 868 constraints processed.
0.23/0.23	c objective function length is 776 literals
0.23/0.25	c SATISFIABLE
0.23/0.25	c OPTIMIZING...
0.23/0.25	c Got one! Elapsed wall clock time (in seconds):0.128
0.23/0.25	o 19
1.21/0.81	c cleaning 2500 clauses out of 5000 with flag 5000/5000
1.76/1.31	c cleaning 4245 clauses out of 8501 with flag 11001/11001
2.38/1.91	c cleaning 5625 clauses out of 11256 with flag 18001/18001
2.99/2.58	c cleaning 6810 clauses out of 13630 with flag 26000/26000
3.83/3.38	c cleaning 7885 clauses out of 15820 with flag 35000/35000
4.77/4.27	c cleaning 8954 clauses out of 17935 with flag 45000/45000
5.79/5.25	c cleaning 9968 clauses out of 19982 with flag 56001/56001
6.80/6.26	c cleaning 10991 clauses out of 22014 with flag 68001/68001
7.91/7.36	c cleaning 12012 clauses out of 24023 with flag 81001/81001
9.11/8.54	c cleaning 12994 clauses out of 26010 with flag 95000/95000
10.44/9.85	c cleaning 13989 clauses out of 28016 with flag 110000/110000
11.75/11.16	c cleaning 15008 clauses out of 30027 with flag 126000/126000
13.26/12.69	c cleaning 16010 clauses out of 32020 with flag 143001/143001
14.91/14.23	c cleaning 16983 clauses out of 34009 with flag 161000/161000
16.52/15.81	c cleaning 17995 clauses out of 36026 with flag 180000/180000
18.33/17.64	c cleaning 19008 clauses out of 38031 with flag 200000/200000
20.24/19.50	c cleaning 19993 clauses out of 40023 with flag 221000/221000
22.05/21.39	c cleaning 21011 clauses out of 42030 with flag 243000/243000
24.38/23.61	c cleaning 21995 clauses out of 44019 with flag 266000/266000
26.50/25.79	c cleaning 22971 clauses out of 46025 with flag 290001/290001
28.91/28.11	c cleaning 24013 clauses out of 48054 with flag 315001/315001
31.25/30.44	c cleaning 25000 clauses out of 50040 with flag 341000/341000
33.80/32.91	c cleaning 26001 clauses out of 52040 with flag 368000/368000
36.34/35.49	c cleaning 27007 clauses out of 54039 with flag 396000/396000
39.08/38.16	c cleaning 28001 clauses out of 56033 with flag 425001/425001
41.90/40.95	c cleaning 29001 clauses out of 58031 with flag 455000/455000
44.71/43.72	c cleaning 30015 clauses out of 60030 with flag 486000/486000
47.63/46.65	c cleaning 31008 clauses out of 62015 with flag 518000/518000
51.00/49.95	c cleaning 31988 clauses out of 64007 with flag 551000/551000
54.32/53.25	c cleaning 33004 clauses out of 66022 with flag 585003/585003
57.55/56.44	c cleaning 33993 clauses out of 68016 with flag 620001/620001
60.99/59.81	c cleaning 34988 clauses out of 70022 with flag 656000/656000
64.51/63.33	c cleaning 36011 clauses out of 72034 with flag 693000/693000
68.14/66.92	c cleaning 36993 clauses out of 74024 with flag 731001/731001
71.45/70.23	c cleaning 38010 clauses out of 76030 with flag 770000/770000
74.98/73.71	c cleaning 39000 clauses out of 78023 with flag 810003/810003
78.61/77.33	c cleaning 39998 clauses out of 80023 with flag 851003/851003
82.22/80.94	c cleaning 41012 clauses out of 82025 with flag 893003/893003
86.14/84.81	c cleaning 42003 clauses out of 84011 with flag 936001/936001
90.40/89.07	c cleaning 42955 clauses out of 86007 with flag 980000/980000
95.14/93.71	c cleaning 44019 clauses out of 88052 with flag 1025000/1025000
99.47/98.06	c cleaning 45002 clauses out of 90035 with flag 1071002/1071002
103.88/102.49	c cleaning 45998 clauses out of 92031 with flag 1118000/1118000
108.91/107.47	c cleaning 47017 clauses out of 94034 with flag 1166001/1166001
113.84/112.36	c cleaning 48002 clauses out of 96016 with flag 1215000/1215000
118.75/117.22	c cleaning 48997 clauses out of 98014 with flag 1265000/1265000
123.98/122.46	c cleaning 49995 clauses out of 100019 with flag 1316002/1316002
129.31/127.67	c cleaning 51005 clauses out of 102023 with flag 1368001/1368001
134.95/133.29	c cleaning 51991 clauses out of 104020 with flag 1421003/1421003
140.56/138.87	c cleaning 53000 clauses out of 106031 with flag 1475005/1475005
146.19/144.43	c cleaning 53989 clauses out of 108027 with flag 1530001/1530001
151.91/150.10	c cleaning 55011 clauses out of 110039 with flag 1586002/1586002
158.24/156.46	c cleaning 56001 clauses out of 112026 with flag 1643000/1643000
164.69/162.83	c cleaning 57012 clauses out of 114026 with flag 1701001/1701001
170.83/168.90	c cleaning 57994 clauses out of 116013 with flag 1760000/1760000
176.65/174.74	c cleaning 59004 clauses out of 118023 with flag 1820004/1820004
182.69/180.77	c cleaning 59993 clauses out of 120016 with flag 1881001/1881001
188.71/186.75	c cleaning 61005 clauses out of 122023 with flag 1943001/1943001
194.53/192.57	c cleaning 61990 clauses out of 124017 with flag 2006000/2006000
200.78/198.76	c cleaning 62988 clauses out of 126028 with flag 2070001/2070001
207.71/205.61	c cleaning 64001 clauses out of 128039 with flag 2135000/2135000
214.77/212.69	c cleaning 65013 clauses out of 130038 with flag 2201000/2201000
222.22/220.01	c cleaning 66014 clauses out of 132027 with flag 2268002/2268002
230.05/227.79	c cleaning 66977 clauses out of 134011 with flag 2336000/2336000
237.82/235.49	c cleaning 67993 clauses out of 136038 with flag 2405004/2405004
246.23/243.86	c cleaning 69019 clauses out of 138044 with flag 2475003/2475003
254.49/252.02	c cleaning 70005 clauses out of 140022 with flag 2546000/2546000
263.69/261.17	c cleaning 71008 clauses out of 142017 with flag 2618000/2618000
273.28/270.62	c cleaning 71981 clauses out of 144012 with flag 2691003/2691003
282.13/279.43	c cleaning 73005 clauses out of 146028 with flag 2765000/2765000
291.64/288.92	c cleaning 74005 clauses out of 148024 with flag 2840001/2840001
300.57/297.89	c cleaning 74998 clauses out of 150018 with flag 2916000/2916000
309.88/307.13	c cleaning 76011 clauses out of 152024 with flag 2993004/2993004
318.64/315.86	c cleaning 76996 clauses out of 154010 with flag 3071001/3071001
328.26/325.48	c cleaning 77995 clauses out of 156014 with flag 3150001/3150001
337.94/335.01	c cleaning 78998 clauses out of 158019 with flag 3230001/3230001
347.68/344.74	c cleaning 79999 clauses out of 160020 with flag 3311000/3311000
358.33/355.37	c cleaning 81005 clauses out of 162021 with flag 3393000/3393000
369.38/366.34	c cleaning 81995 clauses out of 164016 with flag 3476000/3476000
379.27/376.15	c cleaning 83001 clauses out of 166021 with flag 3560000/3560000
389.19/386.06	c cleaning 83992 clauses out of 168020 with flag 3645000/3645000
398.51/395.36	c cleaning 84987 clauses out of 170028 with flag 3731000/3731000
407.44/404.25	c cleaning 86016 clauses out of 172046 with flag 3818005/3818005
416.87/413.68	c cleaning 86999 clauses out of 174026 with flag 3906001/3906001
426.81/423.51	c cleaning 88005 clauses out of 176027 with flag 3995001/3995001
436.76/433.49	c cleaning 88993 clauses out of 178022 with flag 4085001/4085001
447.10/443.77	c cleaning 90006 clauses out of 180028 with flag 4176000/4176000
457.55/454.19	c cleaning 90991 clauses out of 182022 with flag 4268000/4268000
467.41/463.95	c cleaning 91984 clauses out of 184032 with flag 4361001/4361001
478.61/474.86	c cleaning 93007 clauses out of 186048 with flag 4455001/4455001
489.18/485.23	c cleaning 93991 clauses out of 188040 with flag 4550000/4550000
500.77/496.63	c cleaning 95009 clauses out of 190049 with flag 4646000/4646000
512.21/508.06	c cleaning 96020 clauses out of 192040 with flag 4743000/4743000
524.06/519.82	c cleaning 96981 clauses out of 194020 with flag 4841000/4841000
535.03/530.72	c cleaning 98013 clauses out of 196041 with flag 4940002/4940002
547.49/543.18	c cleaning 99010 clauses out of 198027 with flag 5040001/5040001
559.65/555.13	c cleaning 100001 clauses out of 200016 with flag 5141000/5141000
571.42/566.88	c cleaning 100986 clauses out of 202015 with flag 5243000/5243000
584.09/579.41	c cleaning 101997 clauses out of 204031 with flag 5346002/5346002
596.13/591.40	c cleaning 103005 clauses out of 206032 with flag 5450000/5450000
609.19/604.43	c cleaning 104009 clauses out of 208028 with flag 5555001/5555001
623.30/618.43	c cleaning 105003 clauses out of 210018 with flag 5661000/5661000
637.72/632.77	c cleaning 106002 clauses out of 212015 with flag 5768000/5768000
652.71/647.63	c cleaning 107005 clauses out of 214013 with flag 5876000/5876000
667.49/662.39	c cleaning 107978 clauses out of 216009 with flag 5985001/5985001
681.40/676.19	c cleaning 108992 clauses out of 218033 with flag 6095003/6095003
694.99/689.64	c cleaning 110012 clauses out of 220040 with flag 6206002/6206002
709.17/703.76	c cleaning 110999 clauses out of 222027 with flag 6318001/6318001
724.24/718.72	c cleaning 111997 clauses out of 224029 with flag 6431002/6431002
738.03/732.45	c cleaning 113012 clauses out of 226033 with flag 6545003/6545003
752.57/746.94	c cleaning 113987 clauses out of 228018 with flag 6660000/6660000
767.31/761.63	c cleaning 115008 clauses out of 230031 with flag 6776000/6776000
781.70/775.99	c cleaning 115992 clauses out of 232023 with flag 6893000/6893000
797.15/791.39	c cleaning 116997 clauses out of 234031 with flag 7011000/7011000
812.27/806.36	c cleaning 118009 clauses out of 236035 with flag 7130001/7130001
827.43/821.27	c cleaning 119007 clauses out of 238029 with flag 7250004/7250004
842.47/836.27	c cleaning 119993 clauses out of 240018 with flag 7371000/7371000
857.14/850.84	c cleaning 121001 clauses out of 242026 with flag 7493001/7493001
874.03/867.69	c cleaning 122006 clauses out of 244025 with flag 7616001/7616001
890.03/883.55	c cleaning 122999 clauses out of 246018 with flag 7740000/7740000
906.38/899.82	c cleaning 124005 clauses out of 248021 with flag 7865002/7865002
922.44/915.88	c cleaning 125003 clauses out of 250014 with flag 7991000/7991000
938.46/931.78	c cleaning 125983 clauses out of 252011 with flag 8118000/8118000
954.23/947.42	c cleaning 127005 clauses out of 254028 with flag 8246000/8246000
970.30/963.45	c cleaning 128010 clauses out of 256025 with flag 8375002/8375002
986.69/979.75	c cleaning 128997 clauses out of 258013 with flag 8505000/8505000
1002.27/995.26	c cleaning 129978 clauses out of 260018 with flag 8636002/8636002
1019.37/1012.25	c cleaning 131010 clauses out of 262039 with flag 8768001/8768001
1036.10/1028.87	c cleaning 132003 clauses out of 264028 with flag 8901000/8901000
1055.41/1048.06	c cleaning 133010 clauses out of 266026 with flag 9035001/9035001
1074.46/1066.91	c cleaning 133999 clauses out of 268017 with flag 9170002/9170002
1092.28/1084.64	c cleaning 135006 clauses out of 270016 with flag 9306000/9306000
1112.81/1105.16	c cleaning 135991 clauses out of 272010 with flag 9443000/9443000
1131.19/1123.41	c cleaning 136998 clauses out of 274019 with flag 9581000/9581000
1149.95/1142.16	c cleaning 138010 clauses out of 276021 with flag 9720000/9720000
1171.32/1163.48	c cleaning 138998 clauses out of 278011 with flag 9860000/9860000
1188.71/1180.71	c cleaning 140001 clauses out of 280013 with flag 10001000/10001000
1206.26/1198.27	c cleaning 140988 clauses out of 282012 with flag 10143000/10143000
1223.60/1215.53	c cleaning 142001 clauses out of 284024 with flag 10286000/10286000
1242.76/1234.64	c cleaning 143003 clauses out of 286023 with flag 10430000/10430000
1263.65/1255.44	c cleaning 143984 clauses out of 288023 with flag 10575003/10575003
1285.38/1277.02	c cleaning 145008 clauses out of 290036 with flag 10721000/10721000
1307.76/1299.26	c cleaning 146013 clauses out of 292030 with flag 10868002/10868002
1331.57/1322.80	c cleaning 147002 clauses out of 294016 with flag 11016001/11016001
1353.64/1344.44	c cleaning 147991 clauses out of 296013 with flag 11165000/11165000
1374.97/1365.78	c cleaning 148991 clauses out of 298022 with flag 11315000/11315000
1394.61/1385.23	c cleaning 149986 clauses out of 300031 with flag 11466000/11466000
1414.34/1404.94	c cleaning 151009 clauses out of 302046 with flag 11618001/11618001
1433.42/1423.99	c cleaning 152000 clauses out of 304037 with flag 11771001/11771001
1456.70/1447.05	c cleaning 153007 clauses out of 306037 with flag 11925001/11925001
1480.09/1470.19	c cleaning 154009 clauses out of 308030 with flag 12080001/12080001
1502.48/1492.34	c cleaning 154999 clauses out of 310020 with flag 12236000/12236000
1523.26/1513.08	c cleaning 155991 clauses out of 312021 with flag 12393000/12393000
1547.37/1537.03	c cleaning 157008 clauses out of 314030 with flag 12551000/12551000
1570.25/1559.89	c cleaning 157998 clauses out of 316023 with flag 12710001/12710001
1592.37/1581.88	c cleaning 158987 clauses out of 318024 with flag 12870000/12870000
1614.07/1603.44	c cleaning 160014 clauses out of 320038 with flag 13031001/13031001
1633.72/1623.04	c cleaning 160987 clauses out of 322023 with flag 13193000/13193000
1656.77/1646.08	c cleaning 162002 clauses out of 324036 with flag 13356000/13356000
1676.57/1665.76	c cleaning 163007 clauses out of 326036 with flag 13520002/13520002
1698.55/1687.63	c cleaning 164004 clauses out of 328027 with flag 13685000/13685000
1718.98/1708.10	c cleaning 164998 clauses out of 330024 with flag 13851001/13851001
1741.80/1730.83	c cleaning 165994 clauses out of 332025 with flag 14018000/14018000
1763.13/1752.17	c cleaning 166977 clauses out of 334031 with flag 14186000/14186000
1785.94/1774.94	c cleaning 168017 clauses out of 336054 with flag 14355000/14355000
1800.07/1789.01	c starts		: 326
1800.07/1789.01	c conflicts		: 14498039
1800.07/1789.01	c decisions		: 46529428
1800.07/1789.01	c propagations		: 1281656995
1800.07/1789.01	c inspects		: 7925103218
1800.07/1789.01	c shortcuts		: 0
1800.07/1789.01	c learnt literals	: 0
1800.07/1789.01	c learnt binary clauses	: 0
1800.07/1789.01	c learnt ternary clauses	: 0
1800.07/1789.01	c learnt constraints	: 14498039
1800.07/1789.01	c ignored constraints	: 0
1800.07/1789.01	c root simplifications	: 0
1800.07/1789.01	c removed literals (reason simplification)	: 0
1800.07/1789.01	c reason swapping (by a shorter reason)	: 0
1800.07/1789.01	c Calls to reduceDB	: 165
1800.07/1789.01	c number of reductions to clauses (during analyze)	: 0
1800.07/1789.01	c number of learned constraints concerned by reduction	: 0
1800.07/1789.01	c number of learning phase by resolution	: 0
1800.07/1789.01	c number of learning phase by cutting planes	: 0
1800.07/1789.01	c speed (assignments/second)	: 716500.447792734
1800.07/1789.01	c non guided choices	0
1800.07/1789.05	c learnt constraints type 
1800.07/1789.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 311191
1800.07/1789.05	c constraints type 
1800.07/1789.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4
1800.07/1789.05	c org.sat4j.minisat.constraints.card.MinWatchCard => 165
1800.07/1789.05	c ignored satisfied constraints => 1
1800.07/1789.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 697
1800.07/1789.05	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.07/1789.05	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.07/1789.05	c 869 constraints processed.
1800.07/1789.05	s SATISFIABLE
1800.07/1789.05	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 
1800.07/1789.05	c objective function=19
1800.07/1789.05	c Total wall clock time (in seconds): 1788.928

Verifier Data 

OK	19

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-3687829-1337875628/watcher-3687829-1337875628 -o /tmp/evaluation-result-3687829-1337875628/solver-3687829-1337875628 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687829-1337875628.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.06 1.94 4/192 22166
/proc/meminfo: memFree=28615612/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22166/stat : 22166 (java) D 22164 22166 21473 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 253691261 9515008 182 33554432000 1073741824 1073778376 140736613267696 140736613258728 226329706165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22166/statm: 2323 182 140 9 0 71 0

[startup+0.0300879 s]
/proc/loadavg: 2.20 2.06 1.94 4/192 22166
/proc/meminfo: memFree=28615612/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21473 0 -1 4202496 2748 0 1 0 0 0 0 0 20 0 10 0 253691261 9233014784 2939 33554432000 1073741824 1073778376 140735279866816 140735279857952 226333065277 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22166/statm: 2254154 2957 1524 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100276 s]
/proc/loadavg: 2.20 2.06 1.94 4/192 22166
/proc/meminfo: memFree=28615612/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21473 0 -1 4202496 4238 0 1 0 7 1 0 0 20 0 18 0 253691261 9787813888 4918 33554432000 1073741824 1073778376 140735279866816 140735279857952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22166/statm: 2389603 4918 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300226 s]
/proc/loadavg: 2.20 2.06 1.94 4/192 22166
/proc/meminfo: memFree=28615612/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21473 0 -1 4202496 6324 0 1 0 41 2 0 0 20 0 19 0 253691261 9855975424 7950 33554432000 1073741824 1073778376 140735279866816 140735279857952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22166/statm: 2406244 7949 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9624976

[startup+0.700215 s]
/proc/loadavg: 2.20 2.06 1.94 4/192 22166
/proc/meminfo: memFree=28615612/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21473 0 -1 4202496 8407 0 1 0 107 3 0 0 20 0 19 0 253691261 9855975424 9849 33554432000 1073741824 1073778376 140735279866816 140735279857952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22166/statm: 2406244 9849 2241 9 0 2396937 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9624976

[startup+1.50071 s]
/proc/loadavg: 2.20 2.06 1.94 3/211 22185
/proc/meminfo: memFree=28570016/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=9624976 CPUtime=1.97 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21473 0 -1 4202496 8488 0 1 0 193 4 0 0 20 0 19 0 253691261 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140735279857952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22166/statm: 2406244 16051 2269 9 0 2396937 0
[pid=22166/tid=22168] ppid=22164 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/22166/task/22168/stat : 22168 (java) R 22164 22166 21473 0 -1 4202560 2519 0 1 0 141 1 0 0 20 0 19 0 253691262 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345446187296 140345318201720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22169] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22169/stat : 22169 (java) S 22164 22166 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345290082600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22170] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22170/stat : 22170 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345289029800 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22171] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22171/stat : 22171 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345287977512 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22172] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22172/stat : 22172 (java) S 22164 22166 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345286924712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22173] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22173/stat : 22173 (java) S 22164 22166 21473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345285872424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22174] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22174/stat : 22174 (java) S 22164 22166 21473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345284819624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22175] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22175/stat : 22175 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345283767336 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22176] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22176/stat : 22176 (java) S 22164 22166 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345282714536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22177] ppid=22164 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22166/task/22177/stat : 22177 (java) S 22164 22166 21473 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 253691265 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345270302952 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22178] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22178/stat : 22178 (java) S 22164 22166 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253691265 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345269249016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22179] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22179/stat : 22179 (java) S 22164 22166 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253691265 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345268196616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22180] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22180/stat : 22180 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345267145104 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22181] ppid=22164 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21473 0 -1 4202560 2587 0 0 0 25 0 0 0 20 0 19 0 253691268 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345266092728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22182] ppid=22164 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/22166/task/22182/stat : 22182 (java) S 22164 22166 21473 0 -1 4202560 2129 0 0 0 21 0 0 0 20 0 19 0 253691268 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345265039928 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22183] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22183/stat : 22183 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345263987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22184] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22184/stat : 22184 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345262935240 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22185] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22185/stat : 22185 (java) S 22164 22166 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253691285 9855975424 16051 33554432000 1073741824 1073778376 140735279866816 140345261880232 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9624976

[startup+3.10068 s]
/proc/loadavg: 2.20 2.06 1.94 3/211 22185
/proc/meminfo: memFree=28554936/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=9624976 CPUtime=3.62 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21473 0 -1 4202496 8671 0 1 0 358 4 0 0 20 0 19 0 253691261 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140735279857952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22166/statm: 2406244 18118 2269 9 0 2396937 0
[pid=22166/tid=22168] ppid=22164 vsize=9624976 CPUtime=2.98 cores=1,3,5,7
/proc/22166/task/22168/stat : 22168 (java) R 22164 22166 21473 0 -1 4202560 2519 0 1 0 297 1 0 0 20 0 19 0 253691262 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345446187296 140345318167928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22169] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22169/stat : 22169 (java) S 22164 22166 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345290082600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22170] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22170/stat : 22170 (java) S 22164 22166 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345289029800 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22171] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22171/stat : 22171 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345287977512 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22172] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22172/stat : 22172 (java) S 22164 22166 21473 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345286924712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22173] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22173/stat : 22173 (java) S 22164 22166 21473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345285872424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22174] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22174/stat : 22174 (java) S 22164 22166 21473 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345284819624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22175] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22175/stat : 22175 (java) S 22164 22166 21473 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345283767336 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22176] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22176/stat : 22176 (java) S 22164 22166 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345282714536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22177] ppid=22164 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/22166/task/22177/stat : 22177 (java) S 22164 22166 21473 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 253691265 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345270302952 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22178] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22178/stat : 22178 (java) S 22164 22166 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253691265 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345269249016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22179] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22179/stat : 22179 (java) S 22164 22166 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253691265 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345268196616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22180] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22180/stat : 22180 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345267145104 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22181] ppid=22164 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21473 0 -1 4202560 2590 0 0 0 27 0 0 0 20 0 19 0 253691268 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345266092728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22182] ppid=22164 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/22166/task/22182/stat : 22182 (java) S 22164 22166 21473 0 -1 4202560 2295 0 0 0 25 0 0 0 20 0 19 0 253691268 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345265039928 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22183] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22183/stat : 22183 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345263987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22184] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22184/stat : 22184 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345262935240 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22185] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22185/stat : 22185 (java) S 22164 22166 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253691285 9855975424 18118 33554432000 1073741824 1073778376 140735279866816 140345261880232 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 9624976

[startup+6.3007 s]
/proc/loadavg: 2.18 2.06 1.94 3/211 22185
/proc/meminfo: memFree=28536256/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=9624976 CPUtime=6.91 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21473 0 -1 4202496 8702 0 1 0 686 5 0 0 20 0 19 0 253691261 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140735279857952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22166/statm: 2406244 21646 2269 9 0 2396937 0
[pid=22166/tid=22168] ppid=22164 vsize=9624976 CPUtime=6.07 cores=1,3,5,7
/proc/22166/task/22168/stat : 22168 (java) R 22164 22166 21473 0 -1 4202560 2526 0 1 0 606 1 0 0 20 0 19 0 253691262 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345446187416 140345318201532 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22169] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22169/stat : 22169 (java) S 22164 22166 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345290082600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22170] ppid=22164 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22166/task/22170/stat : 22170 (java) S 22164 22166 21473 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 253691263 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345289029800 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22171] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22171/stat : 22171 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345287977512 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22172] ppid=22164 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22166/task/22172/stat : 22172 (java) S 22164 22166 21473 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 253691263 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345286924712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22173] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22173/stat : 22173 (java) S 22164 22166 21473 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345285872424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22174] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22174/stat : 22174 (java) S 22164 22166 21473 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345284819624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22175] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22175/stat : 22175 (java) S 22164 22166 21473 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253691263 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345283767336 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22176] ppid=22164 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/22166/task/22176/stat : 22176 (java) S 22164 22166 21473 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 253691263 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345282714536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22177] ppid=22164 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/22166/task/22177/stat : 22177 (java) S 22164 22166 21473 0 -1 4202560 37 0 0 0 10 0 0 0 20 0 19 0 253691265 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345270302952 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22178] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22178/stat : 22178 (java) S 22164 22166 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253691265 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345269249016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22179] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22179/stat : 22179 (java) S 22164 22166 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253691265 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345268196616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22180] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22180/stat : 22180 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345267145104 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22181] ppid=22164 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21473 0 -1 4202560 2590 0 0 0 27 0 0 0 20 0 19 0 253691268 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345266092728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22182] ppid=22164 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/22166/task/22182/stat : 22182 (java) S 22164 22166 21473 0 -1 4202560 2295 0 0 0 25 0 0 0 20 0 19 0 253691268 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345265039928 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22183] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22183/stat : 22183 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345263987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22184] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22184/stat : 22184 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345262935240 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22185] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22185/stat : 22185 (java) S 22164 22166 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253691285 9855975424 21646 33554432000 1073741824 1073778376 140735279866816 140345261880232 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 9624976

[startup+12.7098 s]

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

[pid=22166/tid=22181] ppid=22164 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21473 0 -1 4202560 2590 0 0 0 27 0 0 0 20 0 19 0 253691268 9855975424 256317 33554432000 1073741824 1073778376 140735279866816 140345266092728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22182] ppid=22164 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22166/task/22182/stat : 22182 (java) S 22164 22166 21473 0 -1 4202560 2622 0 0 0 27 0 0 0 20 0 19 0 253691268 9855975424 256317 33554432000 1073741824 1073778376 140735279866816 140345265039928 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22183] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22183/stat : 22183 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 256317 33554432000 1073741824 1073778376 140735279866816 140345263987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22184] ppid=22164 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/22166/task/22184/stat : 22184 (java) S 22164 22166 21473 0 -1 4202560 95 0 0 0 41 20 0 0 20 0 19 0 253691268 9855975424 256317 33554432000 1073741824 1073778376 140735279866816 140345262935240 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22185] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22185/stat : 22185 (java) S 22164 22166 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253691285 9855975424 256317 33554432000 1073741824 1073778376 140735279866816 140345261880232 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1673.17
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.39 2.14 2.04 3/211 22258
/proc/meminfo: memFree=23572980/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=9624976 CPUtime=1733.3 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21473 0 -1 4202496 14243 0 1 0 173168 162 0 0 20 0 19 0 253691261 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140735279857952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22166/statm: 2406244 258872 2270 9 0 2396937 0
[pid=22166/tid=22168] ppid=22164 vsize=9624976 CPUtime=1699.74 cores=1,3,5,7
/proc/22166/task/22168/stat : 22168 (java) R 22164 22166 21473 0 -1 4202560 2738 0 1 0 169945 29 0 0 20 0 19 0 253691262 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345446187296 140345318267392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22169] ppid=22164 vsize=9624976 CPUtime=1.84 cores=1,3,5,7
/proc/22166/task/22169/stat : 22169 (java) S 22164 22166 21473 0 -1 4202560 677 0 0 0 167 17 0 0 20 0 19 0 253691263 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345290082600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22170] ppid=22164 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/22166/task/22170/stat : 22170 (java) S 22164 22166 21473 0 -1 4202560 573 0 0 0 142 14 0 0 20 0 19 0 253691263 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345289029800 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22171] ppid=22164 vsize=9624976 CPUtime=1.87 cores=1,3,5,7
/proc/22166/task/22171/stat : 22171 (java) S 22164 22166 21473 0 -1 4202560 674 0 0 0 172 15 0 0 20 0 19 0 253691263 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345287977512 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22172] ppid=22164 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/22166/task/22172/stat : 22172 (java) S 22164 22166 21473 0 -1 4202560 483 0 0 0 162 18 0 0 20 0 19 0 253691263 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345286924712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22173] ppid=22164 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/22166/task/22173/stat : 22173 (java) S 22164 22166 21473 0 -1 4202560 371 0 0 0 146 13 0 0 20 0 19 0 253691263 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345285872424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22174] ppid=22164 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/22166/task/22174/stat : 22174 (java) S 22164 22166 21473 0 -1 4202560 418 0 0 0 170 15 0 0 20 0 19 0 253691263 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345284819624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22175] ppid=22164 vsize=9624976 CPUtime=1.76 cores=1,3,5,7
/proc/22166/task/22175/stat : 22175 (java) S 22164 22166 21473 0 -1 4202560 297 0 0 0 159 17 0 0 20 0 19 0 253691263 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345283767336 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22176] ppid=22164 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/22166/task/22176/stat : 22176 (java) S 22164 22166 21473 0 -1 4202560 391 0 0 0 163 15 0 0 20 0 19 0 253691263 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345282714536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22177] ppid=22164 vsize=9624976 CPUtime=13.91 cores=1,3,5,7
/proc/22166/task/22177/stat : 22177 (java) S 22164 22166 21473 0 -1 4202560 1131 0 0 0 1387 4 0 0 20 0 19 0 253691265 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345270302952 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22178] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22178/stat : 22178 (java) S 22164 22166 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253691265 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345269249016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22179] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22179/stat : 22179 (java) S 22164 22166 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253691265 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345268196616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22180] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22180/stat : 22180 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345267145104 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22181] ppid=22164 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21473 0 -1 4202560 2590 0 0 0 27 0 0 0 20 0 19 0 253691268 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345266092728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22182] ppid=22164 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22166/task/22182/stat : 22182 (java) S 22164 22166 21473 0 -1 4202560 2622 0 0 0 27 0 0 0 20 0 19 0 253691268 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345265039928 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22183] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22183/stat : 22183 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345263987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22184] ppid=22164 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/22166/task/22184/stat : 22184 (java) S 22164 22166 21473 0 -1 4202560 99 0 0 0 42 21 0 0 20 0 19 0 253691268 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345262935240 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22185] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22185/stat : 22185 (java) S 22164 22166 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253691285 9855975424 258872 33554432000 1073741824 1073778376 140735279866816 140345261880232 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1733.3
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.14 2.12 2.03 3/211 22258
/proc/meminfo: memFree=23609836/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=9624976 CPUtime=1793.37 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21473 0 -1 4202496 14257 0 1 0 179173 164 0 0 20 0 19 0 253691261 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140735279857952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22166/statm: 2406244 254780 2270 9 0 2396937 0
[pid=22166/tid=22168] ppid=22164 vsize=9624976 CPUtime=1759.18 cores=1,3,5,7
/proc/22166/task/22168/stat : 22168 (java) R 22164 22166 21473 0 -1 4202560 2741 0 1 0 175888 30 0 0 20 0 19 0 253691262 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345446187296 140345318153792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22169] ppid=22164 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/22166/task/22169/stat : 22169 (java) S 22164 22166 21473 0 -1 4202560 677 0 0 0 168 17 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345290082600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22170] ppid=22164 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/22166/task/22170/stat : 22170 (java) S 22164 22166 21473 0 -1 4202560 573 0 0 0 144 14 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345289029800 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22171] ppid=22164 vsize=9624976 CPUtime=1.88 cores=1,3,5,7
/proc/22166/task/22171/stat : 22171 (java) S 22164 22166 21473 0 -1 4202560 675 0 0 0 173 15 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345287977512 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22172] ppid=22164 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/22166/task/22172/stat : 22172 (java) S 22164 22166 21473 0 -1 4202560 484 0 0 0 162 18 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345286924712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22173] ppid=22164 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/22166/task/22173/stat : 22173 (java) S 22164 22166 21473 0 -1 4202560 371 0 0 0 147 13 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345285872424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22174] ppid=22164 vsize=9624976 CPUtime=1.86 cores=1,3,5,7
/proc/22166/task/22174/stat : 22174 (java) S 22164 22166 21473 0 -1 4202560 420 0 0 0 171 15 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345284819624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22175] ppid=22164 vsize=9624976 CPUtime=1.77 cores=1,3,5,7
/proc/22166/task/22175/stat : 22175 (java) S 22164 22166 21473 0 -1 4202560 298 0 0 0 160 17 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345283767336 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22176] ppid=22164 vsize=9624976 CPUtime=1.79 cores=1,3,5,7
/proc/22166/task/22176/stat : 22176 (java) S 22164 22166 21473 0 -1 4202560 391 0 0 0 164 15 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345282714536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22177] ppid=22164 vsize=9624976 CPUtime=14.28 cores=1,3,5,7
/proc/22166/task/22177/stat : 22177 (java) S 22164 22166 21473 0 -1 4202560 1133 0 0 0 1423 5 0 0 20 0 19 0 253691265 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345270302952 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22178] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22178/stat : 22178 (java) S 22164 22166 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253691265 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345269249016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22179] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22179/stat : 22179 (java) S 22164 22166 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253691265 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345268196616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22180] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22180/stat : 22180 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345267145104 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22181] ppid=22164 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21473 0 -1 4202560 2590 0 0 0 27 0 0 0 20 0 19 0 253691268 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345266092728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22182] ppid=22164 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22166/task/22182/stat : 22182 (java) S 22164 22166 21473 0 -1 4202560 2622 0 0 0 27 0 0 0 20 0 19 0 253691268 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345265039928 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22183] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22183/stat : 22183 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345263987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22184] ppid=22164 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/22166/task/22184/stat : 22184 (java) S 22164 22166 21473 0 -1 4202560 103 0 0 0 44 21 0 0 20 0 19 0 253691268 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345262935240 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22185] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22185/stat : 22185 (java) S 22164 22166 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253691285 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345261880232 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1793.37
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789 s]
/proc/loadavg: 2.13 2.11 2.03 3/211 22258
/proc/meminfo: memFree=23609836/32873844 swapFree=6080/6080
[pid=22166] ppid=22164 vsize=9624976 CPUtime=1800.07 cores=1,3,5,7
/proc/22166/stat : 22166 (java) S 22164 22166 21473 0 -1 4202496 14257 0 1 0 179843 164 0 0 20 0 19 0 253691261 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140735279857952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22166/statm: 2406244 254780 2270 9 0 2396937 0
[pid=22166/tid=22168] ppid=22164 vsize=9624976 CPUtime=1765.86 cores=1,3,5,7
/proc/22166/task/22168/stat : 22168 (java) R 22164 22166 21473 0 -1 4202560 2741 0 1 0 176556 30 0 0 20 0 19 0 253691262 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345446187296 140345318201633 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22169] ppid=22164 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/22166/task/22169/stat : 22169 (java) S 22164 22166 21473 0 -1 4202560 677 0 0 0 168 17 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345290082600 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22170] ppid=22164 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/22166/task/22170/stat : 22170 (java) S 22164 22166 21473 0 -1 4202560 573 0 0 0 144 14 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345289029800 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22171] ppid=22164 vsize=9624976 CPUtime=1.88 cores=1,3,5,7
/proc/22166/task/22171/stat : 22171 (java) S 22164 22166 21473 0 -1 4202560 675 0 0 0 173 15 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345287977512 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22172] ppid=22164 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/22166/task/22172/stat : 22172 (java) S 22164 22166 21473 0 -1 4202560 484 0 0 0 162 18 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345286924712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22173] ppid=22164 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/22166/task/22173/stat : 22173 (java) S 22164 22166 21473 0 -1 4202560 371 0 0 0 147 13 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345285872424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22174] ppid=22164 vsize=9624976 CPUtime=1.86 cores=1,3,5,7
/proc/22166/task/22174/stat : 22174 (java) S 22164 22166 21473 0 -1 4202560 420 0 0 0 171 15 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345284819624 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22175] ppid=22164 vsize=9624976 CPUtime=1.77 cores=1,3,5,7
/proc/22166/task/22175/stat : 22175 (java) S 22164 22166 21473 0 -1 4202560 298 0 0 0 160 17 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345283767336 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22176] ppid=22164 vsize=9624976 CPUtime=1.79 cores=1,3,5,7
/proc/22166/task/22176/stat : 22176 (java) S 22164 22166 21473 0 -1 4202560 391 0 0 0 164 15 0 0 20 0 19 0 253691263 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345282714536 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22166/tid=22177] ppid=22164 vsize=9624976 CPUtime=14.28 cores=1,3,5,7
/proc/22166/task/22177/stat : 22177 (java) S 22164 22166 21473 0 -1 4202560 1133 0 0 0 1423 5 0 0 20 0 19 0 253691265 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345270302952 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22166/tid=22178] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22178/stat : 22178 (java) S 22164 22166 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253691265 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345269249016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22179] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22179/stat : 22179 (java) S 22164 22166 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253691265 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345268196616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22180] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22180/stat : 22180 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345267145104 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22181] ppid=22164 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22166/task/22181/stat : 22181 (java) S 22164 22166 21473 0 -1 4202560 2590 0 0 0 27 0 0 0 20 0 19 0 253691268 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345266092728 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22182] ppid=22164 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22166/task/22182/stat : 22182 (java) S 22164 22166 21473 0 -1 4202560 2622 0 0 0 27 0 0 0 20 0 19 0 253691268 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345265039928 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22183] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22183/stat : 22183 (java) S 22164 22166 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253691268 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345263987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22166/tid=22184] ppid=22164 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/22166/task/22184/stat : 22184 (java) S 22164 22166 21473 0 -1 4202560 103 0 0 0 44 21 0 0 20 0 19 0 253691268 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345262935240 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22166/tid=22185] ppid=22164 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22166/task/22185/stat : 22185 (java) S 22164 22166 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253691285 9855975424 254780 33554432000 1073741824 1073778376 140735279866816 140345261880232 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 22166 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=878289
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=952703
# CPU time returned by wait4() is 1795.83
# 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): 1789.06
CPU time (s): 1800.07
CPU user time (s): 1798.43
CPU system time (s): 1.64
CPU usage (%): 100.615
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 1.9527
maximum resident set size= 1035488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14387
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42685
involuntary context switches= 36022

runsolver used 6.60999 second user time and 14.5528 second system time

The end

Launcher Data 

Begin job on node110 at 2012-05-24 18:07:08
IDJOB=3687829
IDBENCH=2219
IDSOLVER=2269
FILE ID=node110/3687829-1337875628
RUNJOBID= node110-1337871882-21490
PBS_JOBID= 14620094
Free space on /tmp= 71612 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.5:100.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687829-1337875628/watcher-3687829-1337875628 -o /tmp/evaluation-result-3687829-1337875628/solver-3687829-1337875628 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687829-1337875628.opb

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

MD5SUM BENCH= 885184c694263ba985a0dc2cd49b3440
RANDOM SEED=1516854087

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
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:        28616296 kB
Buffers:          199092 kB
Cached:          3202320 kB
SwapCached:            0 kB
Active:           631164 kB
Inactive:        2862260 kB
Active(anon):      94472 kB
Inactive(anon):        0 kB
Active(file):     536692 kB
Inactive(file):  2862260 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:         97868 kB
Mapped:            21504 kB
Shmem:               200 kB
Slab:             627720 kB
SReclaimable:      70432 kB
SUnreclaim:       557288 kB
KernelStack:        1592 kB
PageTables:         4352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     685064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 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= 71612 MiB
End job on node110 at 2012-05-24 18:36:59