Trace number 3718000

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 NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.03 1794.46

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
spot5/normalized-spot5-1502_wcsp.wbo
MD5SUM5d88a80efe7697cc210830a3f6a69d8c
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark28042
Best CPU time to get the best result obtained on this benchmark43.4224
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables622
Total number of constraints743
Number of soft constraints534
Number of constraints which are clauses534
Number of constraints which are cardinality constraints (but not clauses)209
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 89201
Min constraint cost 1
Max constraint cost 89201
Sum of constraints costs 29079525
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120528
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.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@4a913fe2
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 2 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 --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3718000-1338258416.wbo
0.09/0.11	c reading problem ... 
0.24/0.20	c ... done. Wall clock time 0.088s.
0.24/0.20	c declared #vars     622
0.24/0.20	c internal #vars     1156
0.24/0.20	c #constraints  953
0.24/0.20	c constraints type 
0.24/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 427
0.24/0.20	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
0.24/0.20	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 423
0.24/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.24/0.20	c 953 constraints processed.
0.24/0.20	c objective function length is 534 literals
0.24/0.23	c SATISFIABLE
0.24/0.23	c OPTIMIZING...
0.24/0.23	c Got one! Elapsed wall clock time (in seconds):0.116
0.24/0.23	o 28042
1.12/0.70	c cleaning 2503 clauses out of 5006 with flag 10249/5006
1.47/1.07	c cleaning 4252 clauses out of 8503 with flag 22517/11006
1.89/1.48	c cleaning 5624 clauses out of 11250 with flag 36715/18005
2.40/1.97	c cleaning 6814 clauses out of 13627 with flag 52865/26006
3.04/2.51	c cleaning 7905 clauses out of 15813 with flag 70988/35006
3.65/3.10	c cleaning 8952 clauses out of 17907 with flag 91113/45005
4.25/3.76	c cleaning 9976 clauses out of 19955 with flag 113281/56005
4.96/4.47	c cleaning 10988 clauses out of 21979 with flag 137504/68005
5.85/5.33	c cleaning 11992 clauses out of 23991 with flag 165475/81005
6.87/6.34	c cleaning 12998 clauses out of 26000 with flag 199981/95006
7.97/7.42	c cleaning 14000 clauses out of 28002 with flag 239076/110006
9.20/8.60	c cleaning 14995 clauses out of 30001 with flag 280716/126005
10.40/9.85	c cleaning 16004 clauses out of 32008 with flag 318042/143007
11.70/11.15	c cleaning 16999 clauses out of 34003 with flag 355172/161006
13.11/12.55	c cleaning 17998 clauses out of 36003 with flag 394557/180005
14.61/14.10	c cleaning 19001 clauses out of 38005 with flag 436618/200005
16.02/15.45	c cleaning 20000 clauses out of 40004 with flag 479308/221005
17.62/17.08	c cleaning 21002 clauses out of 42005 with flag 529553/243006
19.25/18.67	c cleaning 21998 clauses out of 44002 with flag 578375/266005
21.04/20.43	c cleaning 22996 clauses out of 46004 with flag 629936/290005
22.84/22.20	c cleaning 24000 clauses out of 48008 with flag 681937/315005
24.65/24.07	c cleaning 25001 clauses out of 50008 with flag 734743/341005
26.57/25.93	c cleaning 26002 clauses out of 52008 with flag 790639/368006
28.48/27.83	c cleaning 27000 clauses out of 54006 with flag 846762/396006
30.49/29.86	c cleaning 28002 clauses out of 56006 with flag 907154/425006
32.61/31.98	c cleaning 28998 clauses out of 58004 with flag 968611/455006
34.92/34.21	c cleaning 30001 clauses out of 60006 with flag 1031820/486006
37.34/36.69	c cleaning 31001 clauses out of 62004 with flag 1098978/518005
39.96/39.26	c cleaning 32000 clauses out of 64003 with flag 1166198/551005
42.61/41.88	c cleaning 33002 clauses out of 66004 with flag 1234371/585006
45.30/44.55	c cleaning 33999 clauses out of 68001 with flag 1310646/620005
48.43/47.68	c cleaning 34998 clauses out of 70002 with flag 1385494/656005
51.26/50.48	c cleaning 35996 clauses out of 72004 with flag 1462897/693005
54.06/53.27	c cleaning 37005 clauses out of 74010 with flag 1538947/731007
57.19/56.30	c cleaning 38002 clauses out of 76003 with flag 1617634/770005
60.50/59.66	c cleaning 38996 clauses out of 78001 with flag 1705745/810005
64.01/63.19	c cleaning 40002 clauses out of 80005 with flag 1810645/851005
67.42/66.54	c cleaning 41000 clauses out of 82004 with flag 1907849/893006
70.82/69.91	c cleaning 41998 clauses out of 84004 with flag 2003642/936006
74.44/73.53	c cleaning 42999 clauses out of 86005 with flag 2092268/980005
78.15/77.23	c cleaning 43997 clauses out of 88006 with flag 2184093/1025005
82.28/81.31	c cleaning 45003 clauses out of 90009 with flag 2276901/1071005
86.00/85.06	c cleaning 45998 clauses out of 92006 with flag 2371057/1118005
89.93/88.98	c cleaning 46999 clauses out of 94008 with flag 2467057/1166005
94.13/93.11	c cleaning 48003 clauses out of 96009 with flag 2565065/1215005
98.68/97.69	c cleaning 49001 clauses out of 98007 with flag 2665147/1265006
103.58/102.58	c cleaning 50002 clauses out of 100006 with flag 2767240/1316006
108.43/107.33	c cleaning 50999 clauses out of 102004 with flag 2871329/1368006
113.45/112.32	c cleaning 52000 clauses out of 104005 with flag 2977351/1421006
118.28/117.17	c cleaning 52999 clauses out of 106004 with flag 3085429/1475005
123.20/122.02	c cleaning 53997 clauses out of 108005 with flag 3195461/1530005
128.53/127.39	c cleaning 55001 clauses out of 110009 with flag 3307546/1586006
133.56/132.39	c cleaning 55999 clauses out of 112008 with flag 3421608/1643006
139.18/137.91	c cleaning 57004 clauses out of 114008 with flag 3537606/1701005
144.83/143.56	c cleaning 58001 clauses out of 116005 with flag 3655608/1760006
150.35/149.03	c cleaning 58999 clauses out of 118004 with flag 3775646/1820006
156.38/155.06	c cleaning 60000 clauses out of 120004 with flag 3897670/1881005
162.40/161.03	c cleaning 60998 clauses out of 122004 with flag 4021706/1943005
168.13/166.76	c cleaning 61998 clauses out of 124006 with flag 4147910/2006005
174.44/173.05	c cleaning 62997 clauses out of 126008 with flag 4276126/2070005
180.68/179.25	c cleaning 64001 clauses out of 128011 with flag 4406162/2135005
187.02/185.54	c cleaning 65001 clauses out of 130010 with flag 4538216/2201005
193.86/192.34	c cleaning 66001 clauses out of 132010 with flag 4672243/2268006
200.17/198.66	c cleaning 67005 clauses out of 134009 with flag 4808289/2336006
207.38/205.87	c cleaning 68002 clauses out of 136004 with flag 4946338/2405006
213.40/211.81	c cleaning 68995 clauses out of 138001 with flag 5103386/2475005
219.82/218.22	c cleaning 70000 clauses out of 140006 with flag 5262170/2546005
226.35/224.72	c cleaning 70998 clauses out of 142006 with flag 5432405/2618005
233.17/231.56	c cleaning 72001 clauses out of 144008 with flag 5607816/2691005
240.21/238.54	c cleaning 73001 clauses out of 146008 with flag 5786888/2765006
246.95/245.26	c cleaning 74000 clauses out of 148006 with flag 5959723/2840005
253.44/251.73	c cleaning 75002 clauses out of 150006 with flag 6132173/2916005
261.98/260.22	c cleaning 76000 clauses out of 152006 with flag 6297402/2993007
270.00/268.24	c cleaning 76995 clauses out of 154004 with flag 6463308/3071005
278.34/276.53	c cleaning 78002 clauses out of 156010 with flag 6626394/3150006
286.87/285.04	c cleaning 78998 clauses out of 158008 with flag 6795837/3230006
295.12/293.20	c cleaning 79999 clauses out of 160009 with flag 6967388/3311005
302.94/301.07	c cleaning 80996 clauses out of 162011 with flag 7147179/3393006
311.17/309.25	c cleaning 82004 clauses out of 164015 with flag 7332994/3476006
319.29/317.36	c cleaning 83005 clauses out of 166011 with flag 7511609/3560006
328.71/326.70	c cleaning 83998 clauses out of 168006 with flag 7706968/3645006
337.52/335.52	c cleaning 85002 clauses out of 170007 with flag 7910206/3731005
345.55/343.58	c cleaning 86000 clauses out of 172005 with flag 8130462/3818005
355.26/353.22	c cleaning 86998 clauses out of 174005 with flag 8309287/3906005
363.09/361.05	c cleaning 87996 clauses out of 176007 with flag 8524351/3995005
372.52/370.48	c cleaning 89002 clauses out of 178011 with flag 8704643/4085005
381.49/379.31	c cleaning 90000 clauses out of 180009 with flag 8895644/4176005
391.10/388.95	c cleaning 91003 clauses out of 182009 with flag 9098226/4268005
401.15/398.91	c cleaning 92000 clauses out of 184008 with flag 9303016/4361007
411.08/408.83	c cleaning 92999 clauses out of 186006 with flag 9509994/4455005
420.43/418.16	c cleaning 93995 clauses out of 188007 with flag 9737575/4550005
429.63/427.37	c cleaning 95001 clauses out of 190012 with flag 9961307/4646005
438.28/435.98	c cleaning 96006 clauses out of 192012 with flag 10169255/4743006
448.71/446.32	c cleaning 97000 clauses out of 194005 with flag 10387381/4841005
458.65/456.26	c cleaning 97995 clauses out of 196005 with flag 10588067/4940005
473.12/470.69	c cleaning 99002 clauses out of 198010 with flag 10806694/5040005
485.20/482.64	c cleaning 100002 clauses out of 200009 with flag 11024272/5141006
496.62/494.06	c cleaning 101003 clauses out of 202008 with flag 11250211/5243007
508.36/505.72	c cleaning 102001 clauses out of 204004 with flag 11485854/5346006
521.83/519.14	c cleaning 102996 clauses out of 206002 with flag 11730024/5450005
533.45/530.75	c cleaning 103998 clauses out of 208006 with flag 11950360/5555005
547.78/545.09	c cleaning 105001 clauses out of 210008 with flag 12162592/5661005
562.23/559.46	c cleaning 106000 clauses out of 212007 with flag 12376825/5768005
577.07/574.23	c cleaning 106999 clauses out of 214007 with flag 12593252/5876005
592.80/589.94	c cleaning 108000 clauses out of 216009 with flag 12811876/5985006
606.57/603.67	c cleaning 109002 clauses out of 218009 with flag 13036355/6095006
619.32/616.33	c cleaning 109999 clauses out of 220007 with flag 13262673/6206006
632.84/629.83	c cleaning 110998 clauses out of 222008 with flag 13489405/6318006
645.29/642.24	c cleaning 112002 clauses out of 224011 with flag 13727973/6431007
661.52/658.46	c cleaning 113004 clauses out of 226008 with flag 13971314/6545006
677.39/674.21	c cleaning 114000 clauses out of 228003 with flag 14210269/6660005
694.18/691.07	c cleaning 114997 clauses out of 230003 with flag 14450756/6776005
716.32/713.11	c cleaning 115999 clauses out of 232006 with flag 14690813/6893005
732.26/729.00	c cleaning 117003 clauses out of 234007 with flag 14931578/7011005
746.92/743.60	c cleaning 117999 clauses out of 236005 with flag 15174113/7130006
764.37/761.02	c cleaning 118997 clauses out of 238006 with flag 15418860/7250006
781.89/778.51	c cleaning 120000 clauses out of 240008 with flag 15660858/7371005
797.94/794.54	c cleaning 120998 clauses out of 242009 with flag 15913123/7493006
814.49/811.05	c cleaning 122003 clauses out of 244010 with flag 16168437/7616005
830.55/827.08	c cleaning 123001 clauses out of 246008 with flag 16424200/7740006
846.41/842.87	c cleaning 123998 clauses out of 248006 with flag 16678813/7865005
863.78/860.18	c cleaning 125000 clauses out of 250009 with flag 16930854/7991006
878.40/874.78	c cleaning 125998 clauses out of 252008 with flag 17185528/8118005
895.62/891.92	c cleaning 127004 clauses out of 254011 with flag 17454496/8246006
915.66/911.97	c cleaning 128001 clauses out of 256007 with flag 17715740/8375006
940.80/937.00	c cleaning 128999 clauses out of 258005 with flag 17986134/8505005
958.57/954.74	c cleaning 129999 clauses out of 260006 with flag 18248144/8636005
978.71/974.81	c cleaning 131003 clauses out of 262008 with flag 18512802/8768006
998.46/994.57	c cleaning 131999 clauses out of 264005 with flag 18780216/8901006
1016.78/1012.80	c cleaning 132999 clauses out of 266006 with flag 19048803/9035006
1035.10/1031.17	c cleaning 133998 clauses out of 268006 with flag 19320930/9170005
1053.74/1049.72	c cleaning 135002 clauses out of 270009 with flag 19592946/9306006
1074.72/1070.61	c cleaning 136000 clauses out of 272006 with flag 19866944/9443005
1094.54/1090.49	c cleaning 137002 clauses out of 274006 with flag 20143177/9581005
1114.69/1110.50	c cleaning 137995 clauses out of 276005 with flag 20421183/9720006
1134.02/1129.88	c cleaning 139003 clauses out of 278010 with flag 20701315/9860006
1154.86/1150.66	c cleaning 140000 clauses out of 280006 with flag 20987117/10001005
1172.18/1167.97	c cleaning 140997 clauses out of 282006 with flag 21271217/10143005
1185.14/1180.88	c cleaning 142005 clauses out of 284009 with flag 21557256/10286005
1200.56/1196.25	c cleaning 142998 clauses out of 286004 with flag 21845316/10430005
1216.12/1211.76	c cleaning 143999 clauses out of 288007 with flag 22135929/10575006
1241.25/1236.81	c cleaning 145001 clauses out of 290007 with flag 22427931/10721005
1259.65/1255.20	c cleaning 146000 clauses out of 292007 with flag 22729033/10868006
1281.82/1277.32	c cleaning 147000 clauses out of 294006 with flag 23049972/11016005
1299.37/1294.85	c cleaning 148002 clauses out of 296006 with flag 23384701/11165005
1320.30/1315.73	c cleaning 148998 clauses out of 298004 with flag 23742463/11315005
1341.27/1336.68	c cleaning 149998 clauses out of 300006 with flag 24101119/11466005
1361.83/1357.18	c cleaning 150999 clauses out of 302009 with flag 24460764/11618006
1390.56/1385.88	c cleaning 152001 clauses out of 304010 with flag 24849626/11771006
1417.91/1413.12	c cleaning 153002 clauses out of 306008 with flag 25213362/11925005
1443.88/1439.06	c cleaning 154001 clauses out of 308007 with flag 25643214/12080006
1468.55/1463.65	c cleaning 155000 clauses out of 310005 with flag 26023337/12236005
1490.80/1485.81	c cleaning 155998 clauses out of 312005 with flag 26406443/12393005
1515.46/1510.49	c cleaning 157003 clauses out of 314008 with flag 26722454/12551006
1539.74/1534.64	c cleaning 158000 clauses out of 316006 with flag 27040466/12710007
1564.34/1559.13	c cleaning 158994 clauses out of 318005 with flag 27360474/12870006
1589.00/1583.77	c cleaning 159999 clauses out of 320010 with flag 27682482/13031005
1614.72/1609.46	c cleaning 161000 clauses out of 322011 with flag 28006492/13193005
1640.14/1634.88	c cleaning 162002 clauses out of 324011 with flag 28332502/13356005
1660.69/1655.37	c cleaning 162996 clauses out of 326010 with flag 28660523/13520006
1684.22/1678.87	c cleaning 164002 clauses out of 328014 with flag 28991091/13685006
1707.07/1701.69	c cleaning 164999 clauses out of 330011 with flag 29328995/13851005
1729.99/1724.58	c cleaning 166004 clauses out of 332012 with flag 29676443/14018005
1753.71/1748.29	c cleaning 167001 clauses out of 334009 with flag 30063676/14186006
1780.45/1774.97	c cleaning 167999 clauses out of 336008 with flag 30475869/14355006
1800.03/1794.41	c starts		: 326
1800.03/1794.41	c conflicts		: 14525005
1800.03/1794.41	c decisions		: 17903363
1800.03/1794.41	c propagations		: 2380992071
1800.03/1794.41	c inspects		: 14887678384
1800.03/1794.41	c shortcuts		: 0
1800.03/1794.41	c learnt literals	: 0
1800.03/1794.41	c learnt binary clauses	: 0
1800.03/1794.41	c learnt ternary clauses	: 2
1800.03/1794.41	c learnt constraints	: 14525005
1800.03/1794.41	c ignored constraints	: 0
1800.03/1794.41	c root simplifications	: 0
1800.03/1794.41	c removed literals (reason simplification)	: 0
1800.03/1794.41	c reason swapping (by a shorter reason)	: 0
1800.03/1794.41	c Calls to reduceDB	: 166
1800.03/1794.41	c Number of update (reduction) of LBD	: 120083
1800.03/1794.41	c number of reductions to clauses (during analyze)	: 0
1800.03/1794.41	c number of learned constraints concerned by reduction	: 0
1800.03/1794.41	c number of learning phase by resolution	: 0
1800.03/1794.41	c number of learning phase by cutting planes	: 0
1800.03/1794.41	c speed (assignments/second)	: 1327049.420911827
1800.03/1794.41	c non guided choices	2031
1800.03/1794.45	c learnt constraints type 
1800.03/1794.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 338008
1800.03/1794.45	c constraints type 
1800.03/1794.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 427
1800.03/1794.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
1800.03/1794.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 423
1800.03/1794.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.03/1794.45	c 954 constraints processed.
1800.03/1794.45	s SATISFIABLE
1800.03/1794.45	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 
1800.03/1794.45	c objective function=28042
1800.03/1794.45	c Total wall clock time (in seconds): 1794.341

Verifier Data 

OK	28042

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

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.10 2.08 2.02 3/194 12312
/proc/meminfo: memFree=31382884/32873844 swapFree=6608/6608
[pid=12312] ppid=12310 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12312/stat : 12312 (java) D 12310 12312 6458 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291966499 9515008 182 33554432000 1073741824 1073778376 140737170765680 140737170756712 213419638453 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/12312/statm: 2323 182 140 9 0 71 0

[startup+0.0446341 s]
/proc/loadavg: 2.10 2.08 2.02 3/194 12312
/proc/meminfo: memFree=31382884/32873844 swapFree=6608/6608
[pid=12312] ppid=12310 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/12312/stat : 12312 (java) S 12310 12312 6458 0 -1 4202496 3011 0 1 0 1 0 0 0 20 0 13 0 291966499 9446973440 3709 33554432000 1073741824 1073778376 140735077430992 140735077422128 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12312/statm: 2306390 3709 1691 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.100268 s]
/proc/loadavg: 2.10 2.08 2.02 3/194 12312
/proc/meminfo: memFree=31382884/32873844 swapFree=6608/6608
[pid=12312] ppid=12310 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/12312/stat : 12312 (java) S 12310 12312 6458 0 -1 4202496 4292 0 1 0 8 1 0 0 20 0 18 0 291966499 9787817984 5478 33554432000 1073741824 1073778376 140735077430992 140735077422128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12312/statm: 2389604 5480 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300193 s]
/proc/loadavg: 2.10 2.08 2.02 3/194 12312
/proc/meminfo: memFree=31382884/32873844 swapFree=6608/6608
[pid=12312] ppid=12310 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/12312/stat : 12312 (java) S 12310 12312 6458 0 -1 4202496 6536 0 1 0 46 1 0 0 20 0 19 0 291966499 9855979520 7904 33554432000 1073741824 1073778376 140735077430992 140735077422128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12312/statm: 2406245 7904 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9624980

[startup+0.700141 s]
/proc/loadavg: 2.10 2.08 2.02 3/194 12312
/proc/meminfo: memFree=31382884/32873844 swapFree=6608/6608
[pid=12312] ppid=12310 vsize=9624980 CPUtime=1.12 cores=1,3,5,7
/proc/12312/stat : 12312 (java) S 12310 12312 6458 0 -1 4202496 8422 0 1 0 110 2 0 0 20 0 19 0 291966499 9855979520 8996 33554432000 1073741824 1073778376 140735077430992 140735077422128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12312/statm: 2406245 8996 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9624980

[startup+1.50065 s]
/proc/loadavg: 2.10 2.08 2.02 3/213 12331
/proc/meminfo: memFree=31348520/32873844 swapFree=6608/6608
[pid=12312] ppid=12310 vsize=9624980 CPUtime=2 cores=1,3,5,7
/proc/12312/stat : 12312 (java) S 12310 12312 6458 0 -1 4202496 8531 0 1 0 198 2 0 0 20 0 19 0 291966499 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140735077422128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12312/statm: 2406245 11615 2271 9 0 2396937 0
[pid=12312/tid=12314] ppid=12310 vsize=9624980 CPUtime=1.42 cores=1,3,5,7
/proc/12312/task/12314/stat : 12314 (java) R 12310 12312 6458 0 -1 4202560 2458 0 1 0 141 1 0 0 20 0 19 0 291966500 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140399109411224 140398941577211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12315] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12315/stat : 12315 (java) S 12310 12312 6458 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140399070903336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12316] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12316/stat : 12316 (java) S 12310 12312 6458 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140399069850536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12317] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12317/stat : 12317 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140399068797736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12318] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12318/stat : 12318 (java) S 12310 12312 6458 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140399067744936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12319] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12319/stat : 12319 (java) S 12310 12312 6458 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140399066692136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12320] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12320/stat : 12320 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140399065639336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12321] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12321/stat : 12321 (java) S 12310 12312 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140399064586536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12322] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12322/stat : 12322 (java) S 12310 12312 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140399063533736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12323] ppid=12310 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/12312/task/12323/stat : 12323 (java) S 12310 12312 6458 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 19 0 291966502 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140398933539816 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12324] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12324/stat : 12324 (java) S 12310 12312 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291966503 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140398932485880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12325] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12325/stat : 12325 (java) S 12310 12312 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291966503 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140398931432968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12326] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12326/stat : 12326 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140398930381456 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12327] ppid=12310 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/12312/task/12327/stat : 12327 (java) S 12310 12312 6458 0 -1 4202560 2211 0 0 0 26 0 0 0 20 0 19 0 291966505 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140398929328568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12328] ppid=12310 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/12312/task/12328/stat : 12328 (java) S 12310 12312 6458 0 -1 4202560 2604 0 0 0 23 0 0 0 20 0 19 0 291966505 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140398928275768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12329] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12329/stat : 12329 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140398927223160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12330] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12330/stat : 12330 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140398926170568 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12331] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12331/stat : 12331 (java) S 12310 12312 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291966520 9855979520 11615 33554432000 1073741824 1073778376 140735077430992 140397917497000 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 9624980

[startup+3.10065 s]
/proc/loadavg: 2.10 2.08 2.02 3/213 12331
/proc/meminfo: memFree=31344424/32873844 swapFree=6608/6608
[pid=12312] ppid=12310 vsize=9624980 CPUtime=3.65 cores=1,3,5,7
/proc/12312/stat : 12312 (java) S 12310 12312 6458 0 -1 4202496 8715 0 1 0 363 2 0 0 20 0 19 0 291966499 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140735077422128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12312/statm: 2406245 11626 2272 9 0 2396937 0
[pid=12312/tid=12314] ppid=12310 vsize=9624980 CPUtime=2.99 cores=1,3,5,7
/proc/12312/task/12314/stat : 12314 (java) R 12310 12312 6458 0 -1 4202560 2459 0 1 0 298 1 0 0 20 0 19 0 291966500 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140399109411288 140398941601712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12315] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12315/stat : 12315 (java) S 12310 12312 6458 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140399070903336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12316] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12316/stat : 12316 (java) S 12310 12312 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140399069850536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12317] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12317/stat : 12317 (java) S 12310 12312 6458 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140399068797736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12318] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12318/stat : 12318 (java) S 12310 12312 6458 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140399067744936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12319] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12319/stat : 12319 (java) S 12310 12312 6458 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140399066692136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12320] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12320/stat : 12320 (java) S 12310 12312 6458 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140399065639336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12321] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12321/stat : 12321 (java) S 12310 12312 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140399064586536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12322] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12322/stat : 12322 (java) S 12310 12312 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140399063533736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12323] ppid=12310 vsize=9624980 CPUtime=0.04 cores=1,3,5,7
/proc/12312/task/12323/stat : 12323 (java) S 12310 12312 6458 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 19 0 291966502 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140398933539816 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12324] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12324/stat : 12324 (java) S 12310 12312 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291966503 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140398932485880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12325] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12325/stat : 12325 (java) S 12310 12312 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291966503 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140398931432968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12326] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12326/stat : 12326 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140398930381456 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12327] ppid=12310 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/12312/task/12327/stat : 12327 (java) S 12310 12312 6458 0 -1 4202560 2384 0 0 0 30 0 0 0 20 0 19 0 291966505 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140398929328568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12328] ppid=12310 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/12312/task/12328/stat : 12328 (java) S 12310 12312 6458 0 -1 4202560 2604 0 0 0 23 0 0 0 20 0 19 0 291966505 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140398928275768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12329] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12329/stat : 12329 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140398927223160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12330] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12330/stat : 12330 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140398926170568 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12331] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12331/stat : 12331 (java) S 12310 12312 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291966520 9855979520 11626 33554432000 1073741824 1073778376 140735077430992 140397917497000 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9624980

[startup+6.30068 s]
/proc/loadavg: 2.09 2.07 2.02 3/213 12331
/proc/meminfo: memFree=31336108/32873844 swapFree=6608/6608
[pid=12312] ppid=12310 vsize=9624980 CPUtime=6.87 cores=1,3,5,7
/proc/12312/stat : 12312 (java) S 12310 12312 6458 0 -1 4202496 8739 0 1 0 684 3 0 0 20 0 19 0 291966499 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140735077422128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12312/statm: 2406245 12656 2272 9 0 2396937 0
[pid=12312/tid=12314] ppid=12310 vsize=9624980 CPUtime=6.12 cores=1,3,5,7
/proc/12312/task/12314/stat : 12314 (java) R 12310 12312 6458 0 -1 4202560 2464 0 1 0 611 1 0 0 20 0 19 0 291966500 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140399109411104 140398941601756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12315] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12315/stat : 12315 (java) S 12310 12312 6458 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140399070903336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12316] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12316/stat : 12316 (java) S 12310 12312 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140399069850536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12317] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12317/stat : 12317 (java) S 12310 12312 6458 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140399068797736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12318] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12318/stat : 12318 (java) S 12310 12312 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140399067744936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12319] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12319/stat : 12319 (java) S 12310 12312 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140399066692136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12320] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12320/stat : 12320 (java) S 12310 12312 6458 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140399065639336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12321] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12321/stat : 12321 (java) S 12310 12312 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140399064586536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12322] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12322/stat : 12322 (java) S 12310 12312 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291966501 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140399063533736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12323] ppid=12310 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/12312/task/12323/stat : 12323 (java) S 12310 12312 6458 0 -1 4202560 31 0 0 0 9 0 0 0 20 0 19 0 291966502 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140398933539816 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12324] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12324/stat : 12324 (java) S 12310 12312 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291966503 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140398932485880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12325] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12325/stat : 12325 (java) S 12310 12312 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291966503 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140398931432968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12326] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12326/stat : 12326 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140398930381456 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12327] ppid=12310 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/12312/task/12327/stat : 12327 (java) S 12310 12312 6458 0 -1 4202560 2384 0 0 0 30 0 0 0 20 0 19 0 291966505 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140398929328568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12328] ppid=12310 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/12312/task/12328/stat : 12328 (java) S 12310 12312 6458 0 -1 4202560 2604 0 0 0 23 0 0 0 20 0 19 0 291966505 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140398928275768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12329] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12329/stat : 12329 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140398927223160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12330] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12330/stat : 12330 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140398926170568 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12331] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12331/stat : 12331 (java) S 12310 12312 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291966520 9855979520 12656 33554432000 1073741824 1073778376 140735077430992 140397917497000 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 9624980

[startup+12.7008 s]

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

[pid=12312/tid=12327] ppid=12310 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/12312/task/12327/stat : 12327 (java) S 12310 12312 6458 0 -1 4202560 2422 0 0 0 33 0 0 0 20 0 19 0 291966505 9855979520 52123 33554432000 1073741824 1073778376 140735077430992 140398929328568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12328] ppid=12310 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/12312/task/12328/stat : 12328 (java) S 12310 12312 6458 0 -1 4202560 2604 0 0 0 23 0 0 0 20 0 19 0 291966505 9855979520 52123 33554432000 1073741824 1073778376 140735077430992 140398928275768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12329] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12329/stat : 12329 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 52123 33554432000 1073741824 1073778376 140735077430992 140398927223160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12330] ppid=12310 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/12312/task/12330/stat : 12330 (java) S 12310 12312 6458 0 -1 4202560 95 0 0 0 21 21 0 0 20 0 19 0 291966505 9855979520 52123 33554432000 1073741824 1073778376 140735077430992 140398926170568 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12331] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12331/stat : 12331 (java) S 12310 12312 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291966520 9855979520 52123 33554432000 1073741824 1073778376 140735077430992 140397917497000 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1667.7
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 1.32 1.90 1.97 2/189 12373
/proc/meminfo: memFree=31349612/32873844 swapFree=6608/6608
[pid=12312] ppid=12310 vsize=9624980 CPUtime=1727.79 cores=1,3,5,7
/proc/12312/stat : 12312 (java) S 12310 12312 6458 0 -1 4202496 11718 0 1 0 172743 36 0 0 20 0 19 0 291966499 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140735077422128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12312/statm: 2406245 52635 2273 9 0 2396937 0
[pid=12312/tid=12314] ppid=12310 vsize=9624980 CPUtime=1707.88 cores=1,3,5,7
/proc/12312/task/12314/stat : 12314 (java) R 12310 12312 6458 0 -1 4202560 2640 0 1 0 170761 27 0 0 20 0 19 0 291966500 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140399109411104 140398941602084 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12315] ppid=12310 vsize=9624980 CPUtime=0.8 cores=1,3,5,7
/proc/12312/task/12315/stat : 12315 (java) S 12310 12312 6458 0 -1 4202560 273 0 0 0 78 2 0 0 20 0 19 0 291966501 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140399070903336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12316] ppid=12310 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/12312/task/12316/stat : 12316 (java) S 12310 12312 6458 0 -1 4202560 380 0 0 0 80 2 0 0 20 0 19 0 291966501 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140399069850536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12317] ppid=12310 vsize=9624980 CPUtime=0.77 cores=1,3,5,7
/proc/12312/task/12317/stat : 12317 (java) S 12310 12312 6458 0 -1 4202560 358 0 0 0 77 0 0 0 20 0 19 0 291966501 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140399068797736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12318] ppid=12310 vsize=9624980 CPUtime=0.86 cores=1,3,5,7
/proc/12312/task/12318/stat : 12318 (java) S 12310 12312 6458 0 -1 4202560 339 0 0 0 84 2 0 0 20 0 19 0 291966501 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140399067744936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12319] ppid=12310 vsize=9624980 CPUtime=0.83 cores=1,3,5,7
/proc/12312/task/12319/stat : 12319 (java) S 12310 12312 6458 0 -1 4202560 255 0 0 0 81 2 0 0 20 0 19 0 291966501 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140399066692136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12320] ppid=12310 vsize=9624980 CPUtime=0.85 cores=1,3,5,7
/proc/12312/task/12320/stat : 12320 (java) S 12310 12312 6458 0 -1 4202560 269 0 0 0 84 1 0 0 20 0 19 0 291966501 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140399065639336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12321] ppid=12310 vsize=9624980 CPUtime=0.96 cores=1,3,5,7
/proc/12312/task/12321/stat : 12321 (java) S 12310 12312 6458 0 -1 4202560 309 0 0 0 94 2 0 0 20 0 19 0 291966501 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140399064586536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12322] ppid=12310 vsize=9624980 CPUtime=0.81 cores=1,3,5,7
/proc/12312/task/12322/stat : 12322 (java) S 12310 12312 6458 0 -1 4202560 418 0 0 0 79 2 0 0 20 0 19 0 291966501 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140399063533736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12323] ppid=12310 vsize=9624980 CPUtime=7.94 cores=1,3,5,7
/proc/12312/task/12323/stat : 12323 (java) S 12310 12312 6458 0 -1 4202560 172 0 0 0 792 2 0 0 20 0 19 0 291966502 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140398933539816 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12324] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12324/stat : 12324 (java) S 12310 12312 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291966503 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140398932485880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12325] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12325/stat : 12325 (java) S 12310 12312 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291966503 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140398931432968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12326] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12326/stat : 12326 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140398930381456 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12327] ppid=12310 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/12312/task/12327/stat : 12327 (java) S 12310 12312 6458 0 -1 4202560 2422 0 0 0 33 0 0 0 20 0 19 0 291966505 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140398929328568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12328] ppid=12310 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/12312/task/12328/stat : 12328 (java) S 12310 12312 6458 0 -1 4202560 2604 0 0 0 23 0 0 0 20 0 19 0 291966505 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140398928275768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12329] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12329/stat : 12329 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140398927223160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12330] ppid=12310 vsize=9624980 CPUtime=0.44 cores=1,3,5,7
/proc/12312/task/12330/stat : 12330 (java) S 12310 12312 6458 0 -1 4202560 99 0 0 0 22 22 0 0 20 0 19 0 291966505 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140398926170568 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12331] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12331/stat : 12331 (java) S 12310 12312 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291966520 9855979520 52635 33554432000 1073741824 1073778376 140735077430992 140397917497000 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1727.79
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 1.11 1.73 1.91 2/189 12373
/proc/meminfo: memFree=31345516/32873844 swapFree=6608/6608
[pid=12312] ppid=12310 vsize=9624980 CPUtime=1787.92 cores=1,3,5,7
/proc/12312/stat : 12312 (java) S 12310 12312 6458 0 -1 4202496 11733 0 1 0 178755 37 0 0 20 0 19 0 291966499 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140735077422128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12312/statm: 2406245 53659 2273 9 0 2396937 0
[pid=12312/tid=12314] ppid=12310 vsize=9624980 CPUtime=1767.39 cores=1,3,5,7
/proc/12312/task/12314/stat : 12314 (java) R 12310 12312 6458 0 -1 4202560 2644 0 1 0 176711 28 0 0 20 0 19 0 291966500 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399109411104 140398941382007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12315] ppid=12310 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/12312/task/12315/stat : 12315 (java) S 12310 12312 6458 0 -1 4202560 273 0 0 0 80 2 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399070903336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12316] ppid=12310 vsize=9624980 CPUtime=0.84 cores=1,3,5,7
/proc/12312/task/12316/stat : 12316 (java) S 12310 12312 6458 0 -1 4202560 380 0 0 0 82 2 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399069850536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12317] ppid=12310 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/12312/task/12317/stat : 12317 (java) S 12310 12312 6458 0 -1 4202560 358 0 0 0 79 0 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399068797736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12318] ppid=12310 vsize=9624980 CPUtime=0.88 cores=1,3,5,7
/proc/12312/task/12318/stat : 12318 (java) S 12310 12312 6458 0 -1 4202560 339 0 0 0 86 2 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399067744936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12319] ppid=12310 vsize=9624980 CPUtime=0.85 cores=1,3,5,7
/proc/12312/task/12319/stat : 12319 (java) S 12310 12312 6458 0 -1 4202560 255 0 0 0 83 2 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399066692136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12320] ppid=12310 vsize=9624980 CPUtime=0.86 cores=1,3,5,7
/proc/12312/task/12320/stat : 12320 (java) S 12310 12312 6458 0 -1 4202560 269 0 0 0 85 1 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399065639336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12321] ppid=12310 vsize=9624980 CPUtime=1 cores=1,3,5,7
/proc/12312/task/12321/stat : 12321 (java) S 12310 12312 6458 0 -1 4202560 309 0 0 0 98 2 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399064586536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12322] ppid=12310 vsize=9624980 CPUtime=0.85 cores=1,3,5,7
/proc/12312/task/12322/stat : 12322 (java) S 12310 12312 6458 0 -1 4202560 418 0 0 0 83 2 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399063533736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12323] ppid=12310 vsize=9624980 CPUtime=8.22 cores=1,3,5,7
/proc/12312/task/12323/stat : 12323 (java) S 12310 12312 6458 0 -1 4202560 179 0 0 0 820 2 0 0 20 0 19 0 291966502 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398933539816 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12324] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12324/stat : 12324 (java) S 12310 12312 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291966503 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398932485880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12325] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12325/stat : 12325 (java) S 12310 12312 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291966503 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398931432968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12326] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12326/stat : 12326 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398930381456 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12327] ppid=12310 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/12312/task/12327/stat : 12327 (java) S 12310 12312 6458 0 -1 4202560 2422 0 0 0 33 0 0 0 20 0 19 0 291966505 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398929328568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12328] ppid=12310 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/12312/task/12328/stat : 12328 (java) S 12310 12312 6458 0 -1 4202560 2604 0 0 0 23 0 0 0 20 0 19 0 291966505 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398928275768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12329] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12329/stat : 12329 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398927223160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12330] ppid=12310 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/12312/task/12330/stat : 12330 (java) S 12310 12312 6458 0 -1 4202560 103 0 0 0 23 23 0 0 20 0 19 0 291966505 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398926170568 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12331] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12331/stat : 12331 (java) S 12310 12312 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291966520 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140397917497000 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1787.92
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.4 s]
/proc/loadavg: 1.09 1.69 1.89 2/189 12373
/proc/meminfo: memFree=31345392/32873844 swapFree=6608/6608
[pid=12312] ppid=12310 vsize=9624980 CPUtime=1800.03 cores=1,3,5,7
/proc/12312/stat : 12312 (java) S 12310 12312 6458 0 -1 4202496 11733 0 1 0 179966 37 0 0 20 0 19 0 291966499 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140735077422128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12312/statm: 2406245 53659 2273 9 0 2396937 0
[pid=12312/tid=12314] ppid=12310 vsize=9624980 CPUtime=1779.47 cores=1,3,5,7
/proc/12312/task/12314/stat : 12314 (java) R 12310 12312 6458 0 -1 4202560 2644 0 1 0 177918 29 0 0 20 0 19 0 291966500 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399109411104 140398941601756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12315] ppid=12310 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/12312/task/12315/stat : 12315 (java) S 12310 12312 6458 0 -1 4202560 273 0 0 0 80 2 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399070903336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12316] ppid=12310 vsize=9624980 CPUtime=0.84 cores=1,3,5,7
/proc/12312/task/12316/stat : 12316 (java) S 12310 12312 6458 0 -1 4202560 380 0 0 0 82 2 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399069850536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12317] ppid=12310 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/12312/task/12317/stat : 12317 (java) S 12310 12312 6458 0 -1 4202560 358 0 0 0 79 0 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399068797736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12318] ppid=12310 vsize=9624980 CPUtime=0.88 cores=1,3,5,7
/proc/12312/task/12318/stat : 12318 (java) S 12310 12312 6458 0 -1 4202560 339 0 0 0 86 2 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399067744936 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12319] ppid=12310 vsize=9624980 CPUtime=0.85 cores=1,3,5,7
/proc/12312/task/12319/stat : 12319 (java) S 12310 12312 6458 0 -1 4202560 255 0 0 0 83 2 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399066692136 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12312/tid=12320] ppid=12310 vsize=9624980 CPUtime=0.86 cores=1,3,5,7
/proc/12312/task/12320/stat : 12320 (java) S 12310 12312 6458 0 -1 4202560 269 0 0 0 85 1 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399065639336 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12321] ppid=12310 vsize=9624980 CPUtime=1 cores=1,3,5,7
/proc/12312/task/12321/stat : 12321 (java) S 12310 12312 6458 0 -1 4202560 309 0 0 0 98 2 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399064586536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12322] ppid=12310 vsize=9624980 CPUtime=0.85 cores=1,3,5,7
/proc/12312/task/12322/stat : 12322 (java) S 12310 12312 6458 0 -1 4202560 418 0 0 0 83 2 0 0 20 0 19 0 291966501 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140399063533736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12323] ppid=12310 vsize=9624980 CPUtime=8.22 cores=1,3,5,7
/proc/12312/task/12323/stat : 12323 (java) S 12310 12312 6458 0 -1 4202560 179 0 0 0 820 2 0 0 20 0 19 0 291966502 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398933539816 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12324] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12324/stat : 12324 (java) S 12310 12312 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291966503 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398932485880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12325] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12325/stat : 12325 (java) S 12310 12312 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291966503 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398931432968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12326] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12326/stat : 12326 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398930381456 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12327] ppid=12310 vsize=9624980 CPUtime=0.33 cores=1,3,5,7
/proc/12312/task/12327/stat : 12327 (java) S 12310 12312 6458 0 -1 4202560 2422 0 0 0 33 0 0 0 20 0 19 0 291966505 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398929328568 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12312/tid=12328] ppid=12310 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/12312/task/12328/stat : 12328 (java) S 12310 12312 6458 0 -1 4202560 2604 0 0 0 23 0 0 0 20 0 19 0 291966505 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398928275768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12329] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12329/stat : 12329 (java) S 12310 12312 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291966505 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398927223160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12312/tid=12330] ppid=12310 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/12312/task/12330/stat : 12330 (java) S 12310 12312 6458 0 -1 4202560 103 0 0 0 23 23 0 0 20 0 19 0 291966505 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140398926170568 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12312/tid=12331] ppid=12310 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/12312/task/12331/stat : 12331 (java) S 12310 12312 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291966520 9855979520 53659 33554432000 1073741824 1073778376 140735077430992 140397917497000 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624980

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 12312 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=178091
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=811876
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.46
CPU time (s): 1800.03
CPU user time (s): 1799.66
CPU system time (s): 0.37
CPU usage (%): 100.31
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.18
system time used= 0.811876
maximum resident set size= 220928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11775
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42530
involuntary context switches= 15572

runsolver used 6.561 second user time and 14.2928 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-29 04:26:57
IDJOB=3718000
IDBENCH=79604
IDSOLVER=2301
FILE ID=node140/3718000-1338258416
RUNJOBID= node140-1338248942-8853
PBS_JOBID= 14624641
Free space on /tmp= 71336 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-1502_wcsp.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718000-1338258416/watcher-3718000-1338258416 -o /tmp/evaluation-result-3718000-1338258416/solver-3718000-1338258416 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718000-1338258416.wbo

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

MD5SUM BENCH= 5d88a80efe7697cc210830a3f6a69d8c
RANDOM SEED=540664443

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31383156 kB
Buffers:          265524 kB
Cached:           169700 kB
SwapCached:         1668 kB
Active:           443808 kB
Inactive:         161396 kB
Active(anon):     162024 kB
Inactive(anon):    10060 kB
Active(file):     281784 kB
Inactive(file):   151336 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105152 kB
Dirty:               480 kB
Writeback:             0 kB
AnonPages:        186784 kB
Mapped:            18152 kB
Shmem:                 8 kB
Slab:             733344 kB
SReclaimable:     175300 kB
SUnreclaim:       558044 kB
KernelStack:        1600 kB
PageTables:         4620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71336 MiB
End job on node140 at 2012-05-29 04:56:53