Trace number 3687841

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)5 1800.69 1792.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUMb258fc1dc8cb1827e842a0b9558712c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.039993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables435
Total number of constraints501
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 435
Biggest coefficient in the objective function 282
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1168
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 282
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1168
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.2.v20120418
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687841-1337875822.opb
0.09/0.11	c reading problem ... 
0.09/0.19	c ... done. Wall clock time 0.078s.
0.09/0.19	c declared #vars     435
0.09/0.19	c #constraints  501
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1
0.09/0.19	c org.sat4j.minisat.constraints.card.MinWatchCard => 97
0.09/0.19	c ignored satisfied constraints => 1
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 402
0.09/0.19	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.09/0.19	c 502 constraints processed.
0.09/0.19	c objective function length is 435 literals
0.26/0.20	c SATISFIABLE
0.26/0.20	c OPTIMIZING...
0.26/0.20	c Got one! Elapsed wall clock time (in seconds):0.091
0.26/0.20	o 5
0.94/0.63	c cleaning 2500 clauses out of 5000 with flag 5000/5000
1.30/0.93	c cleaning 4239 clauses out of 8501 with flag 11001/11001
1.62/1.25	c cleaning 5626 clauses out of 11261 with flag 18000/18000
2.03/1.63	c cleaning 6815 clauses out of 13635 with flag 26000/26000
2.46/2.06	c cleaning 7896 clauses out of 15820 with flag 35000/35000
2.97/2.53	c cleaning 8947 clauses out of 17924 with flag 45000/45000
3.47/3.06	c cleaning 9977 clauses out of 19977 with flag 56000/56000
4.08/3.66	c cleaning 11000 clauses out of 22000 with flag 68000/68000
4.80/4.31	c cleaning 11996 clauses out of 24000 with flag 81000/81000
5.51/5.00	c cleaning 12998 clauses out of 26004 with flag 95000/95000
6.23/5.75	c cleaning 14002 clauses out of 28006 with flag 110000/110000
7.05/6.55	c cleaning 14995 clauses out of 30005 with flag 126001/126001
7.95/7.43	c cleaning 16001 clauses out of 32009 with flag 143000/143000
8.96/8.41	c cleaning 17001 clauses out of 34008 with flag 161000/161000
9.96/9.42	c cleaning 17998 clauses out of 36008 with flag 180001/180001
11.08/10.50	c cleaning 18993 clauses out of 38011 with flag 200002/200002
12.19/11.62	c cleaning 19999 clauses out of 40016 with flag 221000/221000
13.30/12.79	c cleaning 21005 clauses out of 42017 with flag 243000/243000
14.60/14.04	c cleaning 22003 clauses out of 44013 with flag 266001/266001
16.04/15.48	c cleaning 23005 clauses out of 46010 with flag 290001/290001
17.44/16.89	c cleaning 23997 clauses out of 48005 with flag 315001/315001
19.14/18.56	c cleaning 24999 clauses out of 50008 with flag 341001/341001
20.87/20.24	c cleaning 25996 clauses out of 52008 with flag 368000/368000
22.48/21.83	c cleaning 26991 clauses out of 54012 with flag 396000/396000
24.09/23.49	c cleaning 27992 clauses out of 56021 with flag 425000/425000
25.82/25.15	c cleaning 29008 clauses out of 58031 with flag 455002/455002
27.73/27.01	c cleaning 30011 clauses out of 60021 with flag 486000/486000
29.55/28.89	c cleaning 31004 clauses out of 62011 with flag 518001/518001
31.57/30.85	c cleaning 31985 clauses out of 64006 with flag 551000/551000
33.59/32.87	c cleaning 33003 clauses out of 66021 with flag 585000/585000
35.50/34.79	c cleaning 34004 clauses out of 68018 with flag 620000/620000
37.50/36.76	c cleaning 35000 clauses out of 70015 with flag 656001/656001
39.65/38.85	c cleaning 36001 clauses out of 72014 with flag 693000/693000
41.77/40.94	c cleaning 37007 clauses out of 74015 with flag 731002/731002
44.09/43.28	c cleaning 38002 clauses out of 76006 with flag 770000/770000
46.51/45.67	c cleaning 38989 clauses out of 78004 with flag 810000/810000
49.35/48.47	c cleaning 40000 clauses out of 80015 with flag 851000/851000
52.26/51.31	c cleaning 41006 clauses out of 82015 with flag 893000/893000
54.99/54.05	c cleaning 41990 clauses out of 84009 with flag 936000/936000
57.82/56.89	c cleaning 42997 clauses out of 86019 with flag 980000/980000
60.54/59.59	c cleaning 44001 clauses out of 88022 with flag 1025000/1025000
63.66/62.62	c cleaning 45007 clauses out of 90021 with flag 1071000/1071000
66.88/65.80	c cleaning 46005 clauses out of 92014 with flag 1118000/1118000
70.01/68.95	c cleaning 47004 clauses out of 94010 with flag 1166001/1166001
73.35/72.25	c cleaning 47988 clauses out of 96006 with flag 1215001/1215001
76.98/75.86	c cleaning 49005 clauses out of 98018 with flag 1265001/1265001
80.31/79.20	c cleaning 49998 clauses out of 100013 with flag 1316001/1316001
84.18/82.91	c cleaning 51006 clauses out of 102014 with flag 1368000/1368000
87.79/86.55	c cleaning 51990 clauses out of 104008 with flag 1421000/1421000
91.43/90.16	c cleaning 53000 clauses out of 106019 with flag 1475001/1475001
95.66/94.32	c cleaning 53999 clauses out of 108018 with flag 1530000/1530000
99.69/98.30	c cleaning 55006 clauses out of 110021 with flag 1586002/1586002
103.73/102.39	c cleaning 56005 clauses out of 112013 with flag 1643000/1643000
108.74/107.33	c cleaning 57003 clauses out of 114008 with flag 1701000/1701000
114.23/112.78	c cleaning 58003 clauses out of 116006 with flag 1760001/1760001
119.10/117.59	c cleaning 59002 clauses out of 118003 with flag 1820001/1820001
124.66/123.10	c cleaning 59998 clauses out of 120000 with flag 1881000/1881000
131.38/129.79	c cleaning 61003 clauses out of 122005 with flag 1943003/1943003
138.23/136.54	c cleaning 61989 clauses out of 123999 with flag 2006000/2006000
144.46/142.74	c cleaning 63000 clauses out of 126013 with flag 2070003/2070003
151.17/149.47	c cleaning 63989 clauses out of 128010 with flag 2135000/2135000
157.81/156.07	c cleaning 65001 clauses out of 130021 with flag 2201000/2201000
163.27/161.42	c cleaning 66002 clauses out of 132021 with flag 2268001/2268001
168.88/167.05	c cleaning 66997 clauses out of 134018 with flag 2336000/2336000
174.39/172.55	c cleaning 68004 clauses out of 136021 with flag 2405000/2405000
180.12/178.21	c cleaning 68998 clauses out of 138018 with flag 2475001/2475001
186.23/184.30	c cleaning 69999 clauses out of 140019 with flag 2546000/2546000
193.35/191.43	c cleaning 71002 clauses out of 142020 with flag 2618000/2618000
200.30/198.30	c cleaning 71998 clauses out of 144018 with flag 2691000/2691000
206.32/204.35	c cleaning 72984 clauses out of 146020 with flag 2765000/2765000
213.05/211.10	c cleaning 74017 clauses out of 148039 with flag 2840003/2840003
220.27/218.29	c cleaning 75005 clauses out of 150019 with flag 2916000/2916000
227.08/225.06	c cleaning 75993 clauses out of 152014 with flag 2993000/2993000
234.91/232.81	c cleaning 76992 clauses out of 154021 with flag 3071000/3071000
241.72/239.67	c cleaning 77999 clauses out of 156029 with flag 3150000/3150000
249.56/247.49	c cleaning 79009 clauses out of 158030 with flag 3230000/3230000
256.90/254.75	c cleaning 80002 clauses out of 160023 with flag 3311002/3311002
264.52/262.33	c cleaning 80991 clauses out of 162019 with flag 3393000/3393000
272.66/270.49	c cleaning 82000 clauses out of 164028 with flag 3476000/3476000
282.08/279.83	c cleaning 82999 clauses out of 166028 with flag 3560000/3560000
291.11/288.86	c cleaning 83999 clauses out of 168029 with flag 3645000/3645000
300.65/298.32	c cleaning 85016 clauses out of 170032 with flag 3731002/3731002
311.72/309.34	c cleaning 86002 clauses out of 172014 with flag 3818000/3818000
321.50/319.02	c cleaning 87002 clauses out of 174012 with flag 3906000/3906000
331.23/328.74	c cleaning 87993 clauses out of 176011 with flag 3995001/3995001
340.49/337.90	c cleaning 89005 clauses out of 178018 with flag 4085001/4085001
350.91/348.35	c cleaning 90005 clauses out of 180012 with flag 4176000/4176000
360.34/357.74	c cleaning 90982 clauses out of 182007 with flag 4268000/4268000
370.38/367.75	c cleaning 92010 clauses out of 184025 with flag 4361000/4361000
380.92/378.28	c cleaning 93002 clauses out of 186015 with flag 4455000/4455000
388.75/386.04	c cleaning 93996 clauses out of 188013 with flag 4550000/4550000
396.86/394.19	c cleaning 94994 clauses out of 190018 with flag 4646001/4646001
405.30/402.56	c cleaning 96004 clauses out of 192023 with flag 4743000/4743000
412.93/410.11	c cleaning 97002 clauses out of 194019 with flag 4841000/4841000
421.05/418.21	c cleaning 97995 clauses out of 196017 with flag 4940000/4940000
430.43/427.59	c cleaning 98993 clauses out of 198022 with flag 5040000/5040000
440.37/437.38	c cleaning 100005 clauses out of 200030 with flag 5141001/5141001
449.81/446.76	c cleaning 101007 clauses out of 202026 with flag 5243002/5243002
457.93/454.80	c cleaning 101994 clauses out of 204018 with flag 5346001/5346001
466.65/463.51	c cleaning 103001 clauses out of 206024 with flag 5450001/5450001
475.39/472.20	c cleaning 103997 clauses out of 208022 with flag 5555000/5555000
484.51/481.37	c cleaning 104996 clauses out of 210025 with flag 5661000/5661000
494.95/491.74	c cleaning 106007 clauses out of 212029 with flag 5768000/5768000
503.87/500.68	c cleaning 106994 clauses out of 214022 with flag 5876000/5876000
513.21/509.90	c cleaning 108003 clauses out of 216029 with flag 5985001/5985001
523.03/519.79	c cleaning 109004 clauses out of 218025 with flag 6095000/6095000
533.07/529.76	c cleaning 110003 clauses out of 220021 with flag 6206000/6206000
542.70/539.32	c cleaning 111004 clauses out of 222019 with flag 6318001/6318001
553.83/550.44	c cleaning 111990 clauses out of 224014 with flag 6431000/6431000
564.68/561.29	c cleaning 113007 clauses out of 226025 with flag 6545001/6545001
576.03/572.58	c cleaning 114000 clauses out of 228017 with flag 6660000/6660000
586.50/583.00	c cleaning 114995 clauses out of 230017 with flag 6776000/6776000
596.72/593.19	c cleaning 116011 clauses out of 232023 with flag 6893001/6893001
608.46/604.87	c cleaning 116988 clauses out of 234011 with flag 7011000/7011000
621.06/617.33	c cleaning 118012 clauses out of 236023 with flag 7130000/7130000
634.84/631.02	c cleaning 118993 clauses out of 238011 with flag 7250000/7250000
644.77/640.95	c cleaning 120002 clauses out of 240020 with flag 7371002/7371002
655.14/651.22	c cleaning 121001 clauses out of 242016 with flag 7493000/7493000
667.16/663.21	c cleaning 121994 clauses out of 244016 with flag 7616001/7616001
679.13/675.19	c cleaning 122999 clauses out of 246022 with flag 7740001/7740001
690.42/686.37	c cleaning 123996 clauses out of 248022 with flag 7865000/7865000
701.85/697.75	c cleaning 125002 clauses out of 250026 with flag 7991000/7991000
714.37/710.29	c cleaning 126000 clauses out of 252024 with flag 8118000/8118000
725.90/721.77	c cleaning 127013 clauses out of 254025 with flag 8246001/8246001
737.65/733.44	c cleaning 128000 clauses out of 256012 with flag 8375001/8375001
749.30/745.08	c cleaning 129006 clauses out of 258011 with flag 8505000/8505000
761.86/757.56	c cleaning 129992 clauses out of 260005 with flag 8636000/8636000
773.79/769.40	c cleaning 131000 clauses out of 262013 with flag 8768000/8768000
787.93/783.50	c cleaning 132004 clauses out of 264018 with flag 8901005/8901005
799.48/795.10	c cleaning 132993 clauses out of 266009 with flag 9035000/9035000
812.08/807.60	c cleaning 133994 clauses out of 268016 with flag 9170000/9170000
825.04/820.53	c cleaning 134995 clauses out of 270022 with flag 9306000/9306000
840.87/836.34	c cleaning 136007 clauses out of 272029 with flag 9443002/9443002
856.59/852.04	c cleaning 137006 clauses out of 274020 with flag 9581000/9581000
871.89/867.24	c cleaning 137998 clauses out of 276014 with flag 9720000/9720000
885.24/880.53	c cleaning 138993 clauses out of 278017 with flag 9860001/9860001
899.87/895.16	c cleaning 140004 clauses out of 280024 with flag 10001001/10001001
913.60/908.82	c cleaning 140999 clauses out of 282019 with flag 10143000/10143000
926.91/922.13	c cleaning 142006 clauses out of 284021 with flag 10286001/10286001
941.92/936.97	c cleaning 142995 clauses out of 286015 with flag 10430001/10430001
955.58/950.47	c cleaning 144005 clauses out of 288022 with flag 10575003/10575003
973.25/967.94	c cleaning 145000 clauses out of 290015 with flag 10721001/10721001
987.57/982.23	c cleaning 146000 clauses out of 292014 with flag 10868000/10868000
1003.74/998.31	c cleaning 147002 clauses out of 294015 with flag 11016001/11016001
1020.89/1015.48	c cleaning 147987 clauses out of 296013 with flag 11165001/11165001
1036.52/1031.02	c cleaning 148999 clauses out of 298027 with flag 11315002/11315002
1053.33/1047.83	c cleaning 149996 clauses out of 300026 with flag 11466000/11466000
1068.66/1063.17	c cleaning 151001 clauses out of 302032 with flag 11618002/11618002
1085.79/1080.29	c cleaning 152004 clauses out of 304029 with flag 11771000/11771000
1102.63/1097.06	c cleaning 153005 clauses out of 306026 with flag 11925001/11925001
1118.46/1112.83	c cleaning 154003 clauses out of 308021 with flag 12080001/12080001
1135.88/1130.22	c cleaning 155000 clauses out of 310020 with flag 12236003/12236003
1151.34/1145.66	c cleaning 156006 clauses out of 312017 with flag 12393000/12393000
1170.58/1164.83	c cleaning 157005 clauses out of 314012 with flag 12551001/12551001
1187.88/1182.16	c cleaning 157994 clauses out of 316006 with flag 12710000/12710000
1205.61/1199.87	c cleaning 158994 clauses out of 318013 with flag 12870001/12870001
1224.75/1218.92	c cleaning 160005 clauses out of 320019 with flag 13031001/13031001
1244.19/1238.31	c cleaning 161001 clauses out of 322014 with flag 13193001/13193001
1263.52/1257.66	c cleaning 161997 clauses out of 324013 with flag 13356001/13356001
1282.56/1276.69	c cleaning 162999 clauses out of 326016 with flag 13520001/13520001
1300.31/1294.38	c cleaning 163991 clauses out of 328016 with flag 13685000/13685000
1315.44/1309.44	c cleaning 165004 clauses out of 330026 with flag 13851001/13851001
1332.25/1326.23	c cleaning 166007 clauses out of 332021 with flag 14018000/14018000
1347.36/1341.36	c cleaning 166986 clauses out of 334014 with flag 14186000/14186000
1365.42/1359.32	c cleaning 168002 clauses out of 336029 with flag 14355001/14355001
1384.86/1378.79	c cleaning 169009 clauses out of 338026 with flag 14525000/14525000
1403.70/1397.58	c cleaning 170006 clauses out of 340017 with flag 14696000/14696000
1422.37/1416.16	c cleaning 170986 clauses out of 342011 with flag 14868000/14868000
1440.37/1434.19	c cleaning 171996 clauses out of 344025 with flag 15041000/15041000
1456.49/1450.20	c cleaning 173015 clauses out of 346029 with flag 15215000/15215000
1473.73/1467.49	c cleaning 174008 clauses out of 348015 with flag 15390001/15390001
1496.29/1489.96	c cleaning 174986 clauses out of 350006 with flag 15566000/15566000
1525.37/1519.00	c cleaning 176010 clauses out of 352021 with flag 15743001/15743001
1552.17/1545.66	c cleaning 176993 clauses out of 354013 with flag 15921003/15921003
1579.69/1573.05	c cleaning 178003 clauses out of 356017 with flag 16100000/16100000
1610.01/1603.30	c cleaning 178999 clauses out of 358014 with flag 16280000/16280000
1643.50/1636.75	c cleaning 180001 clauses out of 360015 with flag 16461000/16461000
1672.33/1665.45	c cleaning 180995 clauses out of 362014 with flag 16643000/16643000
1699.60/1692.68	c cleaning 182008 clauses out of 364019 with flag 16826000/16826000
1730.48/1723.45	c cleaning 182998 clauses out of 366012 with flag 17010001/17010001
1758.60/1751.31	c cleaning 183997 clauses out of 368013 with flag 17195000/17195000
1791.20/1783.75	c cleaning 185003 clauses out of 370016 with flag 17381000/17381000
1800.03/1792.41	c starts		: 350
1800.03/1792.41	c conflicts		: 17457518
1800.03/1792.41	c decisions		: 43249766
1800.03/1792.41	c propagations		: 579137489
1800.03/1792.41	c inspects		: 14156332437
1800.03/1792.41	c shortcuts		: 0
1800.03/1792.41	c learnt literals	: 0
1800.03/1792.41	c learnt binary clauses	: 0
1800.03/1792.41	c learnt ternary clauses	: 0
1800.03/1792.41	c learnt constraints	: 17457520
1800.03/1792.41	c ignored constraints	: 0
1800.03/1792.41	c root simplifications	: 0
1800.03/1792.41	c removed literals (reason simplification)	: 0
1800.03/1792.41	c reason swapping (by a shorter reason)	: 0
1800.03/1792.41	c Calls to reduceDB	: 182
1800.03/1792.41	c number of reductions to clauses (during analyze)	: 0
1800.03/1792.41	c number of learned constraints concerned by reduction	: 0
1800.03/1792.41	c number of learning phase by resolution	: 0
1800.03/1792.41	c number of learning phase by cutting planes	: 0
1800.03/1792.41	c speed (assignments/second)	: 323140.53272596607
1800.03/1792.41	c non guided choices	0
1800.03/1792.44	c learnt constraints type 
1800.03/1792.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 261797
1800.03/1792.44	c constraints type 
1800.03/1792.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1
1800.03/1792.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 97
1800.03/1792.44	c ignored satisfied constraints => 1
1800.03/1792.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 402
1800.03/1792.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.03/1792.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.03/1792.44	c 503 constraints processed.
1800.03/1792.44	s SATISFIABLE
1800.03/1792.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 
1800.03/1792.44	c objective function=5
1800.03/1792.44	c Total wall clock time (in seconds): 1792.335

Verifier Data 

OK	5

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-3687841-1337875822/watcher-3687841-1337875822 -o /tmp/evaluation-result-3687841-1337875822/solver-3687841-1337875822 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687841-1337875822.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.03 2.01 1.91 3/195 17998
/proc/meminfo: memFree=29041288/32873648 swapFree=7360/7360
[pid=17998] ppid=17996 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17998/stat : 17998 (java) R 17996 17998 16961 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253706327 9515008 182 33554432000 1073741824 1073778376 140737339861728 140737339852760 251053031093 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17998/statm: 2323 184 142 9 0 71 0

[startup+0.0652241 s]
/proc/loadavg: 2.03 2.01 1.91 3/195 17998
/proc/meminfo: memFree=29041288/32873648 swapFree=7360/7360
[pid=17998] ppid=17996 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/17998/stat : 17998 (java) S 17996 17998 16961 0 -1 4202496 3190 0 1 0 3 0 0 0 20 0 18 0 253706327 9787813888 4399 33554432000 1073741824 1073778376 140734072332352 140734072323488 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17998/statm: 2389603 4399 1757 9 0 2380296 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558412

[startup+0.10029 s]
/proc/loadavg: 2.03 2.01 1.91 3/195 17998
/proc/meminfo: memFree=29041288/32873648 swapFree=7360/7360
[pid=17998] ppid=17996 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/17998/stat : 17998 (java) S 17996 17998 16961 0 -1 4202496 4326 0 1 0 8 1 0 0 20 0 18 0 253706327 9787813888 5522 33554432000 1073741824 1073778376 140734072332352 140734072323488 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17998/statm: 2389603 5524 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300159 s]
/proc/loadavg: 2.03 2.01 1.91 3/195 17998
/proc/meminfo: memFree=29041288/32873648 swapFree=7360/7360
[pid=17998] ppid=17996 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/17998/stat : 17998 (java) S 17996 17998 16961 0 -1 4202496 7519 0 1 0 50 1 0 0 20 0 19 0 253706327 9855975424 8376 33554432000 1073741824 1073778376 140734072332352 140734072323488 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17998/statm: 2406244 8376 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9624976

[startup+0.700241 s]
/proc/loadavg: 2.03 2.01 1.91 3/195 17998
/proc/meminfo: memFree=29041288/32873648 swapFree=7360/7360
[pid=17998] ppid=17996 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/17998/stat : 17998 (java) S 17996 17998 16961 0 -1 4202496 8601 0 1 0 105 2 0 0 20 0 19 0 253706327 9855975424 11808 33554432000 1073741824 1073778376 140734072332352 140734072323488 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17998/statm: 2406244 11808 2270 9 0 2396937 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9624976

[startup+1.50065 s]
/proc/loadavg: 2.03 2.01 1.91 3/214 18017
/proc/meminfo: memFree=28996248/32873648 swapFree=7360/7360
[pid=17998] ppid=17996 vsize=9624976 CPUtime=1.93 cores=1,3,5,7
/proc/17998/stat : 17998 (java) S 17996 17998 16961 0 -1 4202496 8625 0 1 0 190 3 0 0 20 0 19 0 253706327 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140734072323488 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17998/statm: 2406244 13868 2270 9 0 2396937 0
[pid=17998/tid=18000] ppid=17996 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/17998/task/18000/stat : 18000 (java) R 17996 17998 16961 0 -1 4202560 2459 0 1 0 143 0 0 0 20 0 19 0 253706328 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140441044500984 140440884425505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18001] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18001/stat : 18001 (java) S 17996 17998 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140441005992232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18002] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18002/stat : 18002 (java) S 17996 17998 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140441004939432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18003] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18003/stat : 18003 (java) S 17996 17998 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140441003887144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18004] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18004/stat : 18004 (java) S 17996 17998 16961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140441002834344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18005] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18005/stat : 18005 (java) S 17996 17998 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440883948328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18006] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18006/stat : 18006 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440882895528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18007] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18007/stat : 18007 (java) S 17996 17998 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440881843240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18008] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18008/stat : 18008 (java) S 17996 17998 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440880790440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18009] ppid=17996 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/17998/task/18009/stat : 18009 (java) S 17996 17998 16961 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 253706330 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440868591848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18010] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18010/stat : 18010 (java) S 17996 17998 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440263189496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18011] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18011/stat : 18011 (java) S 17996 17998 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440262137096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18012] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18012/stat : 18012 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440261085584 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18013] ppid=17996 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/17998/task/18013/stat : 18013 (java) S 17996 17998 16961 0 -1 4202560 1863 0 0 0 20 0 0 0 20 0 19 0 253706333 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440260033208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18014] ppid=17996 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/17998/task/18014/stat : 18014 (java) S 17996 17998 16961 0 -1 4202560 3038 0 0 0 21 0 0 0 20 0 19 0 253706333 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440258980408 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18015] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18015/stat : 18015 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440257928312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18016] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18016/stat : 18016 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440256875720 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18017] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18017/stat : 18017 (java) S 17996 17998 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253706346 9855975424 13868 33554432000 1073741824 1073778376 140734072332352 140440255820712 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9624976

[startup+3.10062 s]
/proc/loadavg: 2.03 2.01 1.91 3/214 18017
/proc/meminfo: memFree=28985512/32873648 swapFree=7360/7360
[pid=17998] ppid=17996 vsize=9624976 CPUtime=3.58 cores=1,3,5,7
/proc/17998/stat : 17998 (java) S 17996 17998 16961 0 -1 4202496 8753 0 1 0 355 3 0 0 20 0 19 0 253706327 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140734072323488 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17998/statm: 2406244 16957 2270 9 0 2396937 0
[pid=17998/tid=18000] ppid=17996 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/17998/task/18000/stat : 18000 (java) R 17996 17998 16961 0 -1 4202560 2463 0 1 0 296 0 0 0 20 0 19 0 253706328 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140441044500888 140440884411952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18001] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18001/stat : 18001 (java) S 17996 17998 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140441005992232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18002] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18002/stat : 18002 (java) S 17996 17998 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140441004939432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18003] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18003/stat : 18003 (java) S 17996 17998 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140441003887144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18004] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18004/stat : 18004 (java) S 17996 17998 16961 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140441002834344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18005] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18005/stat : 18005 (java) S 17996 17998 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440883948328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18006] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18006/stat : 18006 (java) S 17996 17998 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440882895528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18007] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18007/stat : 18007 (java) S 17996 17998 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440881843240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18008] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18008/stat : 18008 (java) S 17996 17998 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440880790440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18009] ppid=17996 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/17998/task/18009/stat : 18009 (java) S 17996 17998 16961 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 19 0 253706330 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440868591848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18010] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18010/stat : 18010 (java) S 17996 17998 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440263189496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18011] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18011/stat : 18011 (java) S 17996 17998 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440262137096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18012] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18012/stat : 18012 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440261085584 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18013] ppid=17996 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/17998/task/18013/stat : 18013 (java) S 17996 17998 16961 0 -1 4202560 1864 0 0 0 20 0 0 0 20 0 19 0 253706333 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440260033208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18014] ppid=17996 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/17998/task/18014/stat : 18014 (java) S 17996 17998 16961 0 -1 4202560 3137 0 0 0 23 0 0 0 20 0 19 0 253706333 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440258980408 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18015] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18015/stat : 18015 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440257928312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18016] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18016/stat : 18016 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440256875720 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18017] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18017/stat : 18017 (java) S 17996 17998 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253706346 9855975424 16957 33554432000 1073741824 1073778376 140734072332352 140440255820712 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 9624976

[startup+6.30068 s]
/proc/loadavg: 2.03 2.01 1.91 3/213 18017
/proc/meminfo: memFree=28969900/32873648 swapFree=7360/7360
[pid=17998] ppid=17996 vsize=9624976 CPUtime=6.84 cores=1,3,5,7
/proc/17998/stat : 17998 (java) S 17996 17998 16961 0 -1 4202496 8812 0 1 0 679 5 0 0 20 0 19 0 253706327 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140734072323488 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17998/statm: 2406244 21867 2270 9 0 2396937 0
[pid=17998/tid=18000] ppid=17996 vsize=9624976 CPUtime=6.1 cores=1,3,5,7
/proc/17998/task/18000/stat : 18000 (java) R 17996 17998 16961 0 -1 4202560 2470 0 1 0 608 2 0 0 20 0 19 0 253706328 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140441044500888 140440884425505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18001] ppid=17996 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/17998/task/18001/stat : 18001 (java) S 17996 17998 16961 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 253706329 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140441005992232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18002] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18002/stat : 18002 (java) S 17996 17998 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140441004939432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18003] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18003/stat : 18003 (java) S 17996 17998 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140441003887144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18004] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18004/stat : 18004 (java) S 17996 17998 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140441002834344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18005] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18005/stat : 18005 (java) S 17996 17998 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440883948328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18006] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18006/stat : 18006 (java) S 17996 17998 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253706329 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440882895528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18007] ppid=17996 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/17998/task/18007/stat : 18007 (java) S 17996 17998 16961 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 253706329 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440881843240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18008] ppid=17996 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/17998/task/18008/stat : 18008 (java) S 17996 17998 16961 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 253706329 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440880790440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18009] ppid=17996 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/17998/task/18009/stat : 18009 (java) S 17996 17998 16961 0 -1 4202560 38 0 0 0 12 0 0 0 20 0 19 0 253706330 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440868591848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18010] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18010/stat : 18010 (java) S 17996 17998 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440263189496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18011] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18011/stat : 18011 (java) S 17996 17998 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440262137096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18012] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18012/stat : 18012 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440261085584 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18013] ppid=17996 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/17998/task/18013/stat : 18013 (java) S 17996 17998 16961 0 -1 4202560 1864 0 0 0 20 0 0 0 20 0 19 0 253706333 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440260033208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18014] ppid=17996 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/17998/task/18014/stat : 18014 (java) S 17996 17998 16961 0 -1 4202560 3137 0 0 0 23 0 0 0 20 0 19 0 253706333 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440258980408 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18015] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18015/stat : 18015 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440257928312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18016] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18016/stat : 18016 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440256875720 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18017] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18017/stat : 18017 (java) S 17996 17998 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253706346 9855975424 21867 33554432000 1073741824 1073778376 140734072332352 140440255820712 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=17998/tid=18006] ppid=17996 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/17998/task/18006/stat : 18006 (java) S 17996 17998 16961 0 -1 4202560 397 0 0 0 126 6 0 0 20 0 19 0 253706329 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440882895528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18007] ppid=17996 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/17998/task/18007/stat : 18007 (java) S 17996 17998 16961 0 -1 4202560 394 0 0 0 98 5 0 0 20 0 19 0 253706329 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440881843240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18008] ppid=17996 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/17998/task/18008/stat : 18008 (java) S 17996 17998 16961 0 -1 4202560 517 0 0 0 112 4 0 0 20 0 19 0 253706329 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440880790440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18009] ppid=17996 vsize=9624976 CPUtime=10.5 cores=1,3,5,7
/proc/17998/task/18009/stat : 18009 (java) S 17996 17998 16961 0 -1 4202560 419 0 0 0 1046 4 0 0 20 0 19 0 253706330 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440868591848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18010] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18010/stat : 18010 (java) S 17996 17998 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440263189496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18011] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18011/stat : 18011 (java) S 17996 17998 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440262137096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18012] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18012/stat : 18012 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440261085584 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18013] ppid=17996 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/17998/task/18013/stat : 18013 (java) S 17996 17998 16961 0 -1 4202560 1864 0 0 0 20 0 0 0 20 0 19 0 253706333 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440260033208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18014] ppid=17996 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/17998/task/18014/stat : 18014 (java) S 17996 17998 16961 0 -1 4202560 3439 0 0 0 26 0 0 0 20 0 19 0 253706333 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440258980408 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18015] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18015/stat : 18015 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440257928312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18016] ppid=17996 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/17998/task/18016/stat : 18016 (java) S 17996 17998 16961 0 -1 4202560 95 0 0 0 25 28 0 0 20 0 19 0 253706333 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440256875720 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18017] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18017/stat : 18017 (java) S 17996 17998 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253706346 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440255820712 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1669.22
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.96 3/213 18090
/proc/meminfo: memFree=28025840/32873648 swapFree=7360/7360
[pid=17998] ppid=17996 vsize=9624976 CPUtime=1729.38 cores=1,3,5,7
/proc/17998/stat : 17998 (java) S 17996 17998 16961 0 -1 4202496 12944 0 1 0 172863 75 0 0 20 0 19 0 253706327 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140734072323488 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17998/statm: 2406244 137560 2271 9 0 2396937 0
[pid=17998/tid=18000] ppid=17996 vsize=9624976 CPUtime=1708.57 cores=1,3,5,7
/proc/17998/task/18000/stat : 18000 (java) R 17996 17998 16961 0 -1 4202560 2695 0 1 0 170826 31 0 0 20 0 19 0 253706328 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140441044500768 140440884616564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18001] ppid=17996 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/17998/task/18001/stat : 18001 (java) S 17996 17998 16961 0 -1 4202560 458 0 0 0 92 4 0 0 20 0 19 0 253706329 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140441005992232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18002] ppid=17996 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/17998/task/18002/stat : 18002 (java) S 17996 17998 16961 0 -1 4202560 398 0 0 0 114 5 0 0 20 0 19 0 253706329 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140441004939432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18003] ppid=17996 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/17998/task/18003/stat : 18003 (java) S 17996 17998 16961 0 -1 4202560 278 0 0 0 113 6 0 0 20 0 19 0 253706329 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140441003887144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18004] ppid=17996 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/17998/task/18004/stat : 18004 (java) S 17996 17998 16961 0 -1 4202560 471 0 0 0 112 7 0 0 20 0 19 0 253706329 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140441002834344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18005] ppid=17996 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/17998/task/18005/stat : 18005 (java) S 17996 17998 16961 0 -1 4202560 328 0 0 0 109 5 0 0 20 0 19 0 253706329 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440883948328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18006] ppid=17996 vsize=9624976 CPUtime=1.34 cores=1,3,5,7
/proc/17998/task/18006/stat : 18006 (java) S 17996 17998 16961 0 -1 4202560 397 0 0 0 128 6 0 0 20 0 19 0 253706329 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440882895528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18007] ppid=17996 vsize=9624976 CPUtime=1.05 cores=1,3,5,7
/proc/17998/task/18007/stat : 18007 (java) S 17996 17998 16961 0 -1 4202560 394 0 0 0 100 5 0 0 20 0 19 0 253706329 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440881843240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18008] ppid=17996 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/17998/task/18008/stat : 18008 (java) S 17996 17998 16961 0 -1 4202560 517 0 0 0 117 4 0 0 20 0 19 0 253706329 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440880790440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18009] ppid=17996 vsize=9624976 CPUtime=10.79 cores=1,3,5,7
/proc/17998/task/18009/stat : 18009 (java) S 17996 17998 16961 0 -1 4202560 421 0 0 0 1075 4 0 0 20 0 19 0 253706330 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440868591848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18010] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18010/stat : 18010 (java) S 17996 17998 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440263189496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18011] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18011/stat : 18011 (java) S 17996 17998 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440262137096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18012] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18012/stat : 18012 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440261085584 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18013] ppid=17996 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/17998/task/18013/stat : 18013 (java) S 17996 17998 16961 0 -1 4202560 1864 0 0 0 20 0 0 0 20 0 19 0 253706333 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440260033208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18014] ppid=17996 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/17998/task/18014/stat : 18014 (java) S 17996 17998 16961 0 -1 4202560 3439 0 0 0 26 0 0 0 20 0 19 0 253706333 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440258980408 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18015] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18015/stat : 18015 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440257928312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18016] ppid=17996 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/17998/task/18016/stat : 18016 (java) S 17996 17998 16961 0 -1 4202560 99 0 0 0 26 29 0 0 20 0 19 0 253706333 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440256875720 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18017] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18017/stat : 18017 (java) S 17996 17998 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253706346 9855975424 137560 33554432000 1073741824 1073778376 140734072332352 140440255820712 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1729.38
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/214 18093
/proc/meminfo: memFree=27925400/32873648 swapFree=7360/7360
[pid=17998] ppid=17996 vsize=9624976 CPUtime=1789.8 cores=1,3,5,7
/proc/17998/stat : 17998 (java) S 17996 17998 16961 0 -1 4202496 13452 0 1 0 178897 83 0 0 20 0 19 0 253706327 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140734072323488 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17998/statm: 2406244 157887 2271 9 0 2396937 0
[pid=17998/tid=18000] ppid=17996 vsize=9624976 CPUtime=1768.2 cores=1,3,5,7
/proc/17998/task/18000/stat : 18000 (java) R 17996 17998 16961 0 -1 4202560 2699 0 1 0 176788 32 0 0 20 0 19 0 253706328 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140441044499824 140440884616528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18001] ppid=17996 vsize=9624976 CPUtime=1.02 cores=1,3,5,7
/proc/17998/task/18001/stat : 18001 (java) S 17996 17998 16961 0 -1 4202560 533 0 0 0 98 4 0 0 20 0 19 0 253706329 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140441005992232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18002] ppid=17996 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/17998/task/18002/stat : 18002 (java) S 17996 17998 16961 0 -1 4202560 406 0 0 0 118 5 0 0 20 0 19 0 253706329 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140441004939432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18003] ppid=17996 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/17998/task/18003/stat : 18003 (java) S 17996 17998 16961 0 -1 4202560 284 0 0 0 116 6 0 0 20 0 19 0 253706329 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140441003887144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18004] ppid=17996 vsize=9624976 CPUtime=1.28 cores=1,3,5,7
/proc/17998/task/18004/stat : 18004 (java) S 17996 17998 16961 0 -1 4202560 546 0 0 0 120 8 0 0 20 0 19 0 253706329 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140441002834344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18005] ppid=17996 vsize=9624976 CPUtime=1.28 cores=1,3,5,7
/proc/17998/task/18005/stat : 18005 (java) S 17996 17998 16961 0 -1 4202560 420 0 0 0 121 7 0 0 20 0 19 0 253706329 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440883948328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18006] ppid=17996 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/17998/task/18006/stat : 18006 (java) S 17996 17998 16961 0 -1 4202560 417 0 0 0 138 7 0 0 20 0 19 0 253706329 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440882895528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18007] ppid=17996 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/17998/task/18007/stat : 18007 (java) S 17996 17998 16961 0 -1 4202560 425 0 0 0 107 7 0 0 20 0 19 0 253706329 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440881843240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18008] ppid=17996 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/17998/task/18008/stat : 18008 (java) S 17996 17998 16961 0 -1 4202560 520 0 0 0 120 4 0 0 20 0 19 0 253706329 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440880790440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18009] ppid=17996 vsize=9624976 CPUtime=10.98 cores=1,3,5,7
/proc/17998/task/18009/stat : 18009 (java) S 17996 17998 16961 0 -1 4202560 611 0 0 0 1094 4 0 0 20 0 19 0 253706330 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440868591848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18010] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18010/stat : 18010 (java) S 17996 17998 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440263189496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18011] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18011/stat : 18011 (java) S 17996 17998 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440262137096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18012] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18012/stat : 18012 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440261085584 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18013] ppid=17996 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/17998/task/18013/stat : 18013 (java) S 17996 17998 16961 0 -1 4202560 1864 0 0 0 20 0 0 0 20 0 19 0 253706333 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440260033208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18014] ppid=17996 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/17998/task/18014/stat : 18014 (java) S 17996 17998 16961 0 -1 4202560 3439 0 0 0 26 0 0 0 20 0 19 0 253706333 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440258980408 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18015] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18015/stat : 18015 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440257928312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18016] ppid=17996 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/17998/task/18016/stat : 18016 (java) S 17996 17998 16961 0 -1 4202560 103 0 0 0 28 29 0 0 20 0 19 0 253706333 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440256875720 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18017] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18017/stat : 18017 (java) S 17996 17998 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253706346 9855975424 157887 33554432000 1073741824 1073778376 140734072332352 140440255820712 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1789.8
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.4 s]
/proc/loadavg: 2.04 2.01 1.97 3/214 18093
/proc/meminfo: memFree=27881128/32873648 swapFree=7360/7360
[pid=17998] ppid=17996 vsize=9624976 CPUtime=1800.03 cores=1,3,5,7
/proc/17998/stat : 17998 (java) S 17996 17998 16961 0 -1 4202496 13523 0 1 0 179916 87 0 0 20 0 19 0 253706327 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140734072323488 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17998/statm: 2406244 167460 2271 9 0 2396937 0
[pid=17998/tid=18000] ppid=17996 vsize=9624976 CPUtime=1778.16 cores=1,3,5,7
/proc/17998/task/18000/stat : 18000 (java) R 17996 17998 16961 0 -1 4202560 2701 0 1 0 177783 33 0 0 20 0 19 0 253706328 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140441044499824 140440884425582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18001] ppid=17996 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/17998/task/18001/stat : 18001 (java) S 17996 17998 16961 0 -1 4202560 537 0 0 0 98 5 0 0 20 0 19 0 253706329 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140441005992232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18002] ppid=17996 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/17998/task/18002/stat : 18002 (java) S 17996 17998 16961 0 -1 4202560 415 0 0 0 120 5 0 0 20 0 19 0 253706329 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140441004939432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18003] ppid=17996 vsize=9624976 CPUtime=1.26 cores=1,3,5,7
/proc/17998/task/18003/stat : 18003 (java) S 17996 17998 16961 0 -1 4202560 300 0 0 0 119 7 0 0 20 0 19 0 253706329 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140441003887144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18004] ppid=17996 vsize=9624976 CPUtime=1.31 cores=1,3,5,7
/proc/17998/task/18004/stat : 18004 (java) S 17996 17998 16961 0 -1 4202560 551 0 0 0 123 8 0 0 20 0 19 0 253706329 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140441002834344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18005] ppid=17996 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/17998/task/18005/stat : 18005 (java) S 17996 17998 16961 0 -1 4202560 429 0 0 0 122 8 0 0 20 0 19 0 253706329 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440883948328 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18006] ppid=17996 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/17998/task/18006/stat : 18006 (java) S 17996 17998 16961 0 -1 4202560 425 0 0 0 139 8 0 0 20 0 19 0 253706329 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440882895528 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17998/tid=18007] ppid=17996 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/17998/task/18007/stat : 18007 (java) S 17996 17998 16961 0 -1 4202560 433 0 0 0 109 7 0 0 20 0 19 0 253706329 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440881843240 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18008] ppid=17996 vsize=9624976 CPUtime=1.26 cores=1,3,5,7
/proc/17998/task/18008/stat : 18008 (java) S 17996 17998 16961 0 -1 4202560 529 0 0 0 121 5 0 0 20 0 19 0 253706329 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440880790440 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18009] ppid=17996 vsize=9624976 CPUtime=11.09 cores=1,3,5,7
/proc/17998/task/18009/stat : 18009 (java) S 17996 17998 16961 0 -1 4202560 612 0 0 0 1105 4 0 0 20 0 19 0 253706330 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440868591848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17998/tid=18010] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18010/stat : 18010 (java) S 17996 17998 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440263189496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18011] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18011/stat : 18011 (java) S 17996 17998 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253706330 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440262137096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18012] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18012/stat : 18012 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440261085584 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18013] ppid=17996 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/17998/task/18013/stat : 18013 (java) S 17996 17998 16961 0 -1 4202560 1864 0 0 0 20 0 0 0 20 0 19 0 253706333 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440260033208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18014] ppid=17996 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/17998/task/18014/stat : 18014 (java) S 17996 17998 16961 0 -1 4202560 3439 0 0 0 26 0 0 0 20 0 19 0 253706333 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440258980408 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17998/tid=18015] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18015/stat : 18015 (java) S 17996 17998 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253706333 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440257928312 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18016] ppid=17996 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/17998/task/18016/stat : 18016 (java) S 17996 17998 16961 0 -1 4202560 103 0 0 0 28 30 0 0 20 0 19 0 253706333 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440256875720 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17998/tid=18017] ppid=17996 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17998/task/18017/stat : 18017 (java) S 17996 17998 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253706346 9855975424 167460 33554432000 1073741824 1073778376 140734072332352 140440255820712 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 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
Real time (s): 1792.45
CPU time (s): 1800.69
CPU user time (s): 1799.34
CPU system time (s): 1.35079
CPU usage (%): 100.46
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 1.35079
maximum resident set size= 670452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13587
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= 43127
involuntary context switches= 37854

runsolver used 6.45902 second user time and 14.7738 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-24 18:10:22
IDJOB=3687841
IDBENCH=2225
IDSOLVER=2269
FILE ID=node149/3687841-1337875822
RUNJOBID= node149-1337871880-16978
PBS_JOBID= 14620055
Free space on /tmp= 71732 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:10: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-3687841-1337875822/watcher-3687841-1337875822 -o /tmp/evaluation-result-3687841-1337875822/solver-3687841-1337875822 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687841-1337875822.opb

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

MD5SUM BENCH= b258fc1dc8cb1827e842a0b9558712c7
RANDOM SEED=1535735904

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
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	: 5438.55
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.145
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.145
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:       32873648 kB
MemFree:        29041560 kB
Buffers:          216952 kB
Cached:          2710388 kB
SwapCached:            0 kB
Active:           715976 kB
Inactive:        2350808 kB
Active(anon):     140984 kB
Inactive(anon):        0 kB
Active(file):     574992 kB
Inactive(file):  2350808 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               500 kB
Writeback:             0 kB
AnonPages:        145628 kB
Mapped:            22520 kB
Shmem:               200 kB
Slab:             627596 kB
SReclaimable:      71980 kB
SUnreclaim:       555616 kB
KernelStack:        1608 kB
PageTables:         4368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     697144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node149 at 2012-05-24 18:40:17