Trace number 3492589

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 Resolution 2011-06-08OPTIMUM 408.831 407.449

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
MD5SUM5c6d98aba4f4f2cf2db8cd0c78364d4c
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.047992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables150
Total number of constraints25
Number of soft constraints25
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Top cost 979
Min constraint cost 1
Max constraint cost 88
Sum of constraints costs 978
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
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.1.v20110525
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.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		9996466904
0.03/0.09	c Max memory 		10048897024
0.03/0.09	c Total memory 		10048897024
0.03/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
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 Expensive 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 --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3492589-1307910920.wbo
0.09/0.11	c reading problem ... 
0.09/0.13	c ... done. Wall clock time 0.021s.
0.09/0.13	c #vars     175
0.09/0.13	c #constraints  25
0.09/0.13	c constraints type 
0.09/0.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15
0.09/0.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
0.09/0.18	c SATISFIABLE
0.09/0.18	c OPTIMIZING...
0.09/0.18	c Got one! Elapsed wall clock time (in seconds):0.074
0.09/0.18	o 81
0.32/0.22	c Got one! Elapsed wall clock time (in seconds):0.108
0.32/0.22	o 13
0.32/0.24	c Got one! Elapsed wall clock time (in seconds):0.128
0.32/0.24	o 4
0.60/0.49	c Got one! Elapsed wall clock time (in seconds):0.377
0.60/0.49	o 2
0.93/0.72	c cleaning 3199 clauses out of 6407 with flag 2001/6407
1.50/1.21	c cleaning 4604 clauses out of 9209 with flag 8002/12408
2.41/2.19	c cleaning 5802 clauses out of 11604 with flag 15001/19407
3.52/3.27	c cleaning 6899 clauses out of 13803 with flag 23002/27408
5.06/4.76	c cleaning 7951 clauses out of 15905 with flag 32003/36409
6.56/6.22	c cleaning 8975 clauses out of 17953 with flag 42002/46408
8.46/8.11	c cleaning 9488 clauses out of 18976 with flag 52000/56406
10.66/10.34	c cleaning 9745 clauses out of 19491 with flag 62003/66409
12.56/12.27	c cleaning 9870 clauses out of 19744 with flag 72001/76407
15.27/14.99	c cleaning 9938 clauses out of 19877 with flag 82004/86410
17.98/17.68	c cleaning 9964 clauses out of 19937 with flag 92002/96408
20.08/19.75	c cleaning 9985 clauses out of 19972 with flag 102001/106407
22.08/21.70	c cleaning 9989 clauses out of 19988 with flag 112002/116408
24.59/24.23	c cleaning 9995 clauses out of 19997 with flag 122000/126406
26.58/26.28	c cleaning 10000 clauses out of 20002 with flag 132000/136406
28.68/28.32	c cleaning 10001 clauses out of 20003 with flag 142001/146407
31.19/30.88	c cleaning 9997 clauses out of 20002 with flag 152001/156407
33.99/33.60	c cleaning 9992 clauses out of 20004 with flag 162000/166406
36.89/36.58	c cleaning 10001 clauses out of 20012 with flag 172000/176406
39.79/39.41	c cleaning 10005 clauses out of 20012 with flag 182001/186407
42.39/42.07	c cleaning 10001 clauses out of 20008 with flag 192002/196408
44.70/44.34	c cleaning 9999 clauses out of 20005 with flag 202000/206406
47.10/46.77	c cleaning 9999 clauses out of 20007 with flag 212001/216407
49.50/49.12	c cleaning 10001 clauses out of 20007 with flag 222000/226406
51.91/51.58	c cleaning 10002 clauses out of 20007 with flag 232001/236407
54.11/53.79	c cleaning 10002 clauses out of 20006 with flag 242002/246408
56.31/55.92	c cleaning 10001 clauses out of 20004 with flag 252002/256408
58.72/58.36	c cleaning 10000 clauses out of 20005 with flag 262004/266410
61.32/60.97	c cleaning 9991 clauses out of 20002 with flag 272001/276407
64.12/63.73	c cleaning 10004 clauses out of 20015 with flag 282005/286411
67.02/66.66	c cleaning 10000 clauses out of 20008 with flag 292002/296408
70.02/69.68	c cleaning 10001 clauses out of 20010 with flag 302004/306410
72.93/72.52	c cleaning 9999 clauses out of 20005 with flag 312000/316406
75.53/75.18	c cleaning 9999 clauses out of 20007 with flag 322001/326407
78.03/77.62	c cleaning 9999 clauses out of 20008 with flag 332001/336407
80.23/79.85	c cleaning 10003 clauses out of 20011 with flag 342003/346409
82.73/82.40	c cleaning 10003 clauses out of 20007 with flag 352002/356408
85.33/85.00	c cleaning 9998 clauses out of 20004 with flag 362002/366408
87.83/87.43	c cleaning 9999 clauses out of 20006 with flag 372002/376408
90.05/89.67	c cleaning 9999 clauses out of 20006 with flag 382001/386407
92.55/92.16	c cleaning 9999 clauses out of 20006 with flag 392000/396406
95.15/94.77	c cleaning 10001 clauses out of 20007 with flag 402000/406406
97.55/97.14	c cleaning 10001 clauses out of 20006 with flag 412000/416406
100.35/99.94	c cleaning 9999 clauses out of 20005 with flag 422000/426406
103.15/102.79	c cleaning 10000 clauses out of 20008 with flag 432002/436408
105.75/105.35	c cleaning 9998 clauses out of 20006 with flag 442000/446406
108.35/107.92	c cleaning 10002 clauses out of 20010 with flag 452002/456408
110.76/110.35	c cleaning 9997 clauses out of 20007 with flag 462001/466407
112.86/112.48	c cleaning 10001 clauses out of 20010 with flag 472001/476407
115.26/114.86	c cleaning 9998 clauses out of 20008 with flag 482000/486406
117.66/117.29	c cleaning 10003 clauses out of 20012 with flag 492002/496408
119.86/119.47	c cleaning 9999 clauses out of 20008 with flag 502001/506407
122.06/121.62	c cleaning 10000 clauses out of 20009 with flag 512001/516407
123.97/123.59	c cleaning 10001 clauses out of 20008 with flag 522000/526406
126.17/125.71	c cleaning 9998 clauses out of 20008 with flag 532001/536407
128.07/127.65	c cleaning 10002 clauses out of 20009 with flag 542000/546406
129.97/129.58	c cleaning 9996 clauses out of 20007 with flag 552000/556406
132.07/131.68	c cleaning 10003 clauses out of 20012 with flag 562001/566407
134.38/133.93	c cleaning 10005 clauses out of 20010 with flag 572002/576408
136.28/135.85	c cleaning 10000 clauses out of 20003 with flag 582000/586406
138.68/138.26	c cleaning 9999 clauses out of 20004 with flag 592001/596407
140.88/140.47	c cleaning 9998 clauses out of 20004 with flag 602000/606406
143.29/142.89	c cleaning 9994 clauses out of 20006 with flag 612000/616406
145.89/145.42	c cleaning 10004 clauses out of 20012 with flag 622000/626406
148.49/148.06	c cleaning 9997 clauses out of 20008 with flag 632000/636406
151.10/150.61	c cleaning 10002 clauses out of 20012 with flag 642001/646407
153.01/152.54	c cleaning 10001 clauses out of 20011 with flag 652002/656408
155.02/154.54	c cleaning 10002 clauses out of 20011 with flag 662003/666409
157.02/156.60	c cleaning 9993 clauses out of 20006 with flag 672000/676406
159.52/159.04	c cleaning 10006 clauses out of 20019 with flag 682006/686412
161.82/161.33	c cleaning 10000 clauses out of 20009 with flag 692002/696408
164.13/163.61	c cleaning 10000 clauses out of 20007 with flag 702000/706406
166.53/166.04	c cleaning 10000 clauses out of 20008 with flag 712001/716407
169.03/168.55	c cleaning 9999 clauses out of 20007 with flag 722000/726406
171.23/170.70	c cleaning 10002 clauses out of 20010 with flag 732002/736408
173.53/173.01	c cleaning 9999 clauses out of 20006 with flag 742000/746406
175.93/175.44	c cleaning 9998 clauses out of 20007 with flag 752000/756406
178.03/177.56	c cleaning 10001 clauses out of 20010 with flag 762001/766407
180.13/179.60	c cleaning 10001 clauses out of 20009 with flag 772001/776407
182.54/182.02	c cleaning 10001 clauses out of 20012 with flag 782005/786411
184.84/184.30	c cleaning 9996 clauses out of 20006 with flag 792000/796406
186.85/186.32	c cleaning 9999 clauses out of 20012 with flag 802002/806408
188.66/188.17	c cleaning 10005 clauses out of 20012 with flag 812001/816407
190.65/190.20	c cleaning 10003 clauses out of 20007 with flag 822001/826407
192.76/192.29	c cleaning 9996 clauses out of 20003 with flag 832000/836406
194.77/194.28	c cleaning 10003 clauses out of 20008 with flag 842001/846407
196.77/196.27	c cleaning 10005 clauses out of 20009 with flag 852005/856411
198.87/198.39	c cleaning 9997 clauses out of 20002 with flag 862003/866409
201.18/200.65	c cleaning 10001 clauses out of 20006 with flag 872004/876410
203.48/202.97	c cleaning 9996 clauses out of 20004 with flag 882003/886409
206.58/206.03	c cleaning 9999 clauses out of 20006 with flag 892001/896407
209.29/208.71	c cleaning 9998 clauses out of 20008 with flag 902002/906408
212.29/211.74	c cleaning 9998 clauses out of 20009 with flag 912001/916407
214.79/214.22	c cleaning 10000 clauses out of 20010 with flag 922000/926406
217.39/216.81	c cleaning 10001 clauses out of 20012 with flag 932002/936408
219.59/219.01	c cleaning 9999 clauses out of 20011 with flag 942002/946408
221.89/221.33	c cleaning 9997 clauses out of 20010 with flag 952000/956406
224.09/223.54	c cleaning 10002 clauses out of 20014 with flag 962001/966407
226.59/226.03	c cleaning 10004 clauses out of 20013 with flag 972002/976408
228.89/228.31	c cleaning 10003 clauses out of 20010 with flag 982003/986409
230.99/230.49	c cleaning 10000 clauses out of 20005 with flag 992001/996407
233.29/232.72	c cleaning 9999 clauses out of 20006 with flag 1002002/1006408
235.60/235.06	c cleaning 10000 clauses out of 20006 with flag 1012001/1016407
238.00/237.45	c cleaning 10000 clauses out of 20006 with flag 1022001/1026407
240.30/239.71	c cleaning 10000 clauses out of 20005 with flag 1032000/1036406
242.50/242.00	c cleaning 9999 clauses out of 20005 with flag 1042000/1046406
244.80/244.24	c cleaning 9999 clauses out of 20007 with flag 1052001/1056407
247.10/246.58	c cleaning 10000 clauses out of 20007 with flag 1062000/1066406
249.40/248.82	c cleaning 10000 clauses out of 20009 with flag 1072002/1076408
251.31/250.72	c cleaning 10002 clauses out of 20008 with flag 1082001/1086407
253.00/252.44	c cleaning 9999 clauses out of 20007 with flag 1092002/1096408
254.91/254.32	c cleaning 10001 clauses out of 20008 with flag 1102002/1106408
257.01/256.42	c cleaning 9999 clauses out of 20006 with flag 1112001/1116407
259.01/258.41	c cleaning 10002 clauses out of 20006 with flag 1122000/1126406
261.01/260.49	c cleaning 10000 clauses out of 20006 with flag 1132002/1136408
262.91/262.32	c cleaning 10000 clauses out of 20006 with flag 1142002/1146408
264.81/264.29	c cleaning 10002 clauses out of 20004 with flag 1152000/1156406
266.72/266.13	c cleaning 9999 clauses out of 20003 with flag 1162001/1166407
268.72/268.16	c cleaning 9997 clauses out of 20003 with flag 1172000/1176406
270.62/270.00	c cleaning 9998 clauses out of 20007 with flag 1182001/1186407
272.42/271.83	c cleaning 10001 clauses out of 20009 with flag 1192001/1196407
274.23/273.61	c cleaning 10000 clauses out of 20007 with flag 1202000/1206406
276.03/275.43	c cleaning 9999 clauses out of 20007 with flag 1212000/1216406
277.83/277.29	c cleaning 9997 clauses out of 20010 with flag 1222002/1226408
279.63/279.02	c cleaning 10002 clauses out of 20011 with flag 1232000/1236406
281.33/280.76	c cleaning 9996 clauses out of 20009 with flag 1242000/1246406
283.13/282.52	c cleaning 10003 clauses out of 20013 with flag 1252000/1256406
284.73/284.18	c cleaning 10002 clauses out of 20014 with flag 1262004/1266410
286.44/285.85	c cleaning 9997 clauses out of 20011 with flag 1272003/1276409
288.34/287.72	c cleaning 10002 clauses out of 20011 with flag 1282000/1286406
290.14/289.57	c cleaning 10001 clauses out of 20010 with flag 1292001/1296407
292.15/291.53	c cleaning 10002 clauses out of 20009 with flag 1302001/1306407
293.94/293.39	c cleaning 9999 clauses out of 20006 with flag 1312000/1316406
295.84/295.20	c cleaning 10001 clauses out of 20009 with flag 1322002/1326408
298.24/297.69	c cleaning 9998 clauses out of 20011 with flag 1332005/1336411
300.35/299.78	c cleaning 9997 clauses out of 20008 with flag 1342000/1346406
302.35/301.78	c cleaning 10000 clauses out of 20011 with flag 1352000/1356406
304.45/303.84	c cleaning 10001 clauses out of 20011 with flag 1362000/1366406
306.55/305.94	c cleaning 10001 clauses out of 20013 with flag 1372003/1376409
308.66/308.03	c cleaning 10000 clauses out of 20015 with flag 1382006/1386412
310.65/310.02	c cleaning 9998 clauses out of 20011 with flag 1392002/1396408
312.65/312.02	c cleaning 10000 clauses out of 20012 with flag 1402001/1406407
314.65/314.00	c cleaning 10001 clauses out of 20012 with flag 1412001/1416407
316.55/315.92	c cleaning 10002 clauses out of 20010 with flag 1422000/1426406
318.25/317.65	c cleaning 10000 clauses out of 20009 with flag 1432001/1436407
319.95/319.37	c cleaning 9999 clauses out of 20008 with flag 1442000/1446406
321.65/321.06	c cleaning 10002 clauses out of 20011 with flag 1452002/1456408
323.56/322.93	c cleaning 10000 clauses out of 20009 with flag 1462002/1466408
325.16/324.54	c cleaning 9998 clauses out of 20010 with flag 1472003/1476409
326.87/326.20	c cleaning 10002 clauses out of 20010 with flag 1482001/1486407
328.57/327.94	c cleaning 10000 clauses out of 20009 with flag 1492002/1496408
330.27/329.60	c cleaning 10000 clauses out of 20009 with flag 1502002/1506408
331.78/331.18	c cleaning 9999 clauses out of 20008 with flag 1512001/1516407
333.38/332.79	c cleaning 9997 clauses out of 20011 with flag 1522003/1526409
335.18/334.57	c cleaning 10002 clauses out of 20011 with flag 1532000/1536406
336.88/336.25	c cleaning 9999 clauses out of 20011 with flag 1542002/1546408
338.48/337.82	c cleaning 10002 clauses out of 20011 with flag 1552001/1556407
340.08/339.40	c cleaning 9999 clauses out of 20008 with flag 1562000/1566406
341.69/341.09	c cleaning 10000 clauses out of 20009 with flag 1572000/1576406
343.28/342.69	c cleaning 9999 clauses out of 20010 with flag 1582001/1586407
344.89/344.29	c cleaning 10000 clauses out of 20011 with flag 1592001/1596407
346.68/346.02	c cleaning 10002 clauses out of 20011 with flag 1602001/1606407
348.39/347.73	c cleaning 10002 clauses out of 20009 with flag 1612001/1616407
350.09/349.49	c cleaning 10000 clauses out of 20006 with flag 1622000/1626406
351.89/351.23	c cleaning 10001 clauses out of 20006 with flag 1632000/1636406
353.59/352.93	c cleaning 10001 clauses out of 20005 with flag 1642000/1646406
355.29/354.64	c cleaning 10000 clauses out of 20007 with flag 1652003/1656409
356.90/356.25	c cleaning 9999 clauses out of 20007 with flag 1662003/1666409
358.50/357.83	c cleaning 10000 clauses out of 20006 with flag 1672001/1676407
360.10/359.46	c cleaning 9997 clauses out of 20006 with flag 1682001/1686407
361.70/361.01	c cleaning 10000 clauses out of 20008 with flag 1692000/1696406
363.10/362.49	c cleaning 9994 clauses out of 20008 with flag 1702000/1706406
364.71/364.10	c cleaning 10009 clauses out of 20020 with flag 1712006/1716412
366.30/365.69	c cleaning 10000 clauses out of 20008 with flag 1722003/1726409
367.90/367.29	c cleaning 10007 clauses out of 20013 with flag 1732008/1736414
369.60/368.91	c cleaning 9999 clauses out of 20001 with flag 1742003/1746409
371.11/370.47	c cleaning 9998 clauses out of 19999 with flag 1752000/1756406
372.71/372.06	c cleaning 9997 clauses out of 20002 with flag 1762001/1766407
374.62/373.92	c cleaning 9995 clauses out of 20006 with flag 1772002/1776408
376.31/375.64	c cleaning 10000 clauses out of 20011 with flag 1782002/1786408
378.11/377.48	c cleaning 10002 clauses out of 20011 with flag 1792002/1796408
379.82/379.10	c cleaning 10000 clauses out of 20007 with flag 1802000/1806406
381.42/380.76	c cleaning 10002 clauses out of 20010 with flag 1812003/1816409
382.92/382.30	c cleaning 9998 clauses out of 20006 with flag 1822001/1826407
384.63/383.92	c cleaning 10002 clauses out of 20009 with flag 1832002/1836408
386.22/385.52	c cleaning 10000 clauses out of 20006 with flag 1842001/1846407
387.83/387.15	c cleaning 10000 clauses out of 20006 with flag 1852001/1856407
389.43/388.75	c cleaning 10000 clauses out of 20005 with flag 1862000/1866406
391.03/390.34	c cleaning 9998 clauses out of 20005 with flag 1872000/1876406
392.63/391.90	c cleaning 10002 clauses out of 20007 with flag 1882000/1886406
394.03/393.36	c cleaning 9999 clauses out of 20005 with flag 1892000/1896406
395.54/394.90	c cleaning 9998 clauses out of 20006 with flag 1902000/1906406
397.24/396.50	c cleaning 10005 clauses out of 20010 with flag 1912002/1916408
398.64/397.99	c cleaning 9999 clauses out of 20004 with flag 1922001/1926407
400.25/399.51	c cleaning 10000 clauses out of 20008 with flag 1932004/1936410
401.75/401.04	c cleaning 10001 clauses out of 20005 with flag 1942001/1946407
403.49/402.70	c cleaning 10002 clauses out of 20007 with flag 1952004/1956410
405.16/404.16	c cleaning 9995 clauses out of 20000 with flag 1962000/1966406
407.18/405.86	c cleaning 10003 clauses out of 20006 with flag 1972001/1976407
408.77/407.44	c starts		: 214
408.77/407.44	c conflicts		: 1986166
408.77/407.44	c decisions		: 2294724
408.77/407.44	c propagations		: 38981337
408.77/407.44	c inspects		: 6382936079
408.77/407.44	c shortcuts		: 0
408.77/407.44	c learnt literals	: 6
408.77/407.44	c learnt binary clauses	: 17
408.77/407.44	c learnt ternary clauses	: 43
408.77/407.44	c learnt constraints	: 1986159
408.77/407.44	c ignored constraints	: 0
408.77/407.44	c root simplifications	: 0
408.77/407.44	c removed literals (reason simplification)	: 15759187
408.77/407.44	c reason swapping (by a shorter reason)	: 0
408.77/407.44	c Calls to reduceDB	: 199
408.77/407.44	c number of reductions to clauses (during analyze)	: 0
408.77/407.44	c number of learned constraints concerned by reduction	: 0
408.77/407.44	c number of learning phase by resolution	: 0
408.77/407.44	c number of learning phase by cutting planes	: 0
408.77/407.44	c speed (assignments/second)	: 95789.00847769997
408.77/407.44	c non guided choices	237
408.77/407.44	c learnt constraints type 
408.77/407.44	c constraints type 
408.77/407.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15
408.77/407.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
408.77/407.44	s OPTIMUM FOUND
408.77/407.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 
408.77/407.44	c objective function=2
408.77/407.44	c Total wall clock time (in seconds): 407.328

Verifier Data 

OK	2

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 /var/tmp/evaluation-result-3492589-1307910920/watcher-3492589-1307910920 -o /var/tmp/evaluation-result-3492589-1307910920/solver-3492589-1307910920 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492589-1307910920.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.00 2.02 1.95 2/195 22105
/proc/meminfo: memFree=1598772/32951124 swapFree=67052292/67111528
[pid=22105] ppid=22103 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/22105/stat : 22105 (java) R 22103 22105 19038 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 902692901 23580672 694 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270608148369 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22105/statm: 5757 694 510 9 0 124 0

[startup+0.0421691 s]
/proc/loadavg: 2.00 2.02 1.95 2/195 22105
/proc/meminfo: memFree=1598772/32951124 swapFree=67052292/67111528
[pid=22105] ppid=22103 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22103 22105 19038 0 -1 4202496 11159 0 1 0 2 1 0 0 25 0 13 0 902692901 10718699520 10854 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/22105/statm: 2616870 10854 1653 9 0 2607618 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.101155 s]
/proc/loadavg: 2.00 2.02 1.95 2/195 22105
/proc/meminfo: memFree=1598772/32951124 swapFree=67052292/67111528
[pid=22105] ppid=22103 vsize=10540260 CPUtime=0.09 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22103 22105 19038 0 -1 4202496 13019 0 1 0 8 1 0 0 25 0 18 0 902692901 10793226240 12714 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22105/statm: 2635065 12715 2093 9 0 2625799 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540260

[startup+0.30112 s]
/proc/loadavg: 2.00 2.02 1.95 2/195 22105
/proc/meminfo: memFree=1598772/32951124 swapFree=67052292/67111528
[pid=22105] ppid=22103 vsize=10546408 CPUtime=0.49 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22103 22105 19038 0 -1 4202496 15563 0 1 0 47 2 0 0 25 0 19 0 902692901 10799521792 14686 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22105/statm: 2636602 14686 2203 9 0 2627336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10546408

[startup+0.701051 s]
/proc/loadavg: 2.00 2.02 1.95 2/195 22105
/proc/meminfo: memFree=1598772/32951124 swapFree=67052292/67111528
[pid=22105] ppid=22103 vsize=10546408 CPUtime=0.93 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22103 22105 19038 0 -1 4202496 16490 0 1 0 91 2 0 0 25 0 19 0 902692901 10799521792 15273 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22105/statm: 2636602 15273 2207 9 0 2627336 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 10546408

[startup+1.50091 s]
/proc/loadavg: 2.00 2.02 1.95 4/214 22124
/proc/meminfo: memFree=1542536/32951124 swapFree=67052292/67111528
[pid=22105] ppid=22103 vsize=10546408 CPUtime=1.81 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22103 22105 19038 0 -1 4202496 17828 0 1 0 179 2 0 0 25 0 19 0 902692901 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22105/statm: 2636602 16594 2239 9 0 2627336 0
[pid=22105/tid=22107] ppid=22103 vsize=10546408 CPUtime=1.45 cores=1,3,5,7
/proc/22105/task/22107/stat : 22107 (java) R 22103 22105 19038 0 -1 4202560 12263 0 1 0 144 1 0 0 20 0 19 0 902692902 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 46912505609568 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22105/tid=22108] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22108/stat : 22108 (java) S 22103 22105 19038 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22109] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22110] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22111] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 902692904 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22112] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22103 22105 19038 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22113] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22103 22105 19038 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22114] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22103 22105 19038 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22115] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22103 22105 19038 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22116] ppid=22103 vsize=10546408 CPUtime=0.02 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22103 22105 19038 0 -1 4202560 555 0 0 0 2 0 0 0 15 0 19 0 902692905 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 0 0 16800975 18446604470013396288 0 0 -1 7 0 0 0
[pid=22105/tid=22117] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22103 22105 19038 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902692905 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22118] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22103 22105 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902692905 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22119] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624934321 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22120] ppid=22103 vsize=10546408 CPUtime=0.14 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22103 22105 19038 0 -1 4202560 1358 0 0 0 14 0 0 0 16 0 19 0 902692908 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22121] ppid=22103 vsize=10546408 CPUtime=0.16 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22103 22105 19038 0 -1 4202560 1747 0 0 0 16 0 0 0 16 0 19 0 902692908 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22122] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22123] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902692908 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22124] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22103 22105 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902692915 10799521792 16594 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 10546408

[startup+3.10062 s]
/proc/loadavg: 2.00 2.02 1.95 3/214 22124
/proc/meminfo: memFree=1540552/32951124 swapFree=67052292/67111528
[pid=22105] ppid=22103 vsize=10546408 CPUtime=3.41 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22103 22105 19038 0 -1 4202496 18090 0 1 0 339 2 0 0 25 0 19 0 902692901 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22105/statm: 2636602 16841 2239 9 0 2627336 0
[pid=22105/tid=22107] ppid=22103 vsize=10546408 CPUtime=3.03 cores=1,3,5,7
/proc/22105/task/22107/stat : 22107 (java) R 22103 22105 19038 0 -1 4202560 12263 0 1 0 302 1 0 0 25 0 19 0 902692902 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 46912505539677 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22105/tid=22108] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22108/stat : 22108 (java) S 22103 22105 19038 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22109] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22103 22105 19038 0 -1 4202560 34 0 0 0 0 0 0 0 16 0 19 0 902692904 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22110] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22111] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22103 22105 19038 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 19 0 902692904 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22112] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22103 22105 19038 0 -1 4202560 205 0 0 0 0 0 0 0 16 0 19 0 902692904 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22113] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22103 22105 19038 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22114] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22103 22105 19038 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 19 0 902692904 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22115] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22103 22105 19038 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22116] ppid=22103 vsize=10546408 CPUtime=0.03 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22103 22105 19038 0 -1 4202560 729 0 0 0 3 0 0 0 15 0 19 0 902692905 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 0 0 16800975 18446604470013396288 0 0 -1 7 0 0 0
[pid=22105/tid=22117] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22103 22105 19038 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902692905 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22118] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22103 22105 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902692905 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22119] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624934321 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22120] ppid=22103 vsize=10546408 CPUtime=0.14 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22103 22105 19038 0 -1 4202560 1358 0 0 0 14 0 0 0 15 0 19 0 902692908 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22121] ppid=22103 vsize=10546408 CPUtime=0.17 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22103 22105 19038 0 -1 4202560 1763 0 0 0 17 0 0 0 15 0 19 0 902692908 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22122] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22123] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902692908 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22124] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22103 22105 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902692915 10799521792 16841 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 10546408

[startup+6.30106 s]
/proc/loadavg: 2.00 2.02 1.95 3/214 22124
/proc/meminfo: memFree=1536820/32951124 swapFree=67052292/67111528
[pid=22105] ppid=22103 vsize=10546408 CPUtime=6.66 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22103 22105 19038 0 -1 4202496 19326 0 1 0 663 3 0 0 25 0 19 0 902692901 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22105/statm: 2636602 17624 2249 9 0 2627336 0
[pid=22105/tid=22107] ppid=22103 vsize=10546408 CPUtime=6.19 cores=1,3,5,7
/proc/22105/task/22107/stat : 22107 (java) R 22103 22105 19038 0 -1 4202560 12266 0 1 0 618 1 0 0 20 0 19 0 902692902 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 46912505508847 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22105/tid=22108] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22108/stat : 22108 (java) S 22103 22105 19038 0 -1 4202560 272 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22109] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22103 22105 19038 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22110] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22103 22105 19038 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22111] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22103 22105 19038 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22112] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22103 22105 19038 0 -1 4202560 213 0 0 0 0 0 0 0 16 0 19 0 902692904 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22113] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22103 22105 19038 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22114] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22103 22105 19038 0 -1 4202560 88 0 0 0 0 0 0 0 16 0 19 0 902692904 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22115] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22103 22105 19038 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 902692904 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22116] ppid=22103 vsize=10546408 CPUtime=0.07 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22103 22105 19038 0 -1 4202560 1125 0 0 0 7 0 0 0 15 0 19 0 902692905 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 0 0 16800975 18446604470013396288 0 0 -1 7 0 0 0
[pid=22105/tid=22117] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22103 22105 19038 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902692905 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22118] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22103 22105 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902692905 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22119] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624934321 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22120] ppid=22103 vsize=10546408 CPUtime=0.14 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22103 22105 19038 0 -1 4202560 1358 0 0 0 14 0 0 0 15 0 19 0 902692908 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22121] ppid=22103 vsize=10546408 CPUtime=0.2 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22103 22105 19038 0 -1 4202560 2184 0 0 0 20 0 0 0 15 0 19 0 902692908 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22122] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22123] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902692908 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22124] ppid=22103 vsize=10546408 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22103 22105 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902692915 10799521792 17624 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 10546408

[startup+12.7009 s]

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

/proc/22105/task/22108/stat : 22108 (java) S 22103 22105 19038 0 -1 4202560 307 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22109] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22103 22105 19038 0 -1 4202560 85 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 7 0 0 0
[pid=22105/tid=22110] ppid=22103 vsize=10553144 CPUtime=0.1 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22103 22105 19038 0 -1 4202560 241 0 0 0 10 0 0 0 16 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22111] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22103 22105 19038 0 -1 4202560 129 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22112] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22103 22105 19038 0 -1 4202560 227 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22113] ppid=22103 vsize=10553144 CPUtime=0.07 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22103 22105 19038 0 -1 4202560 302 0 0 0 7 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22114] ppid=22103 vsize=10553144 CPUtime=0.07 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22103 22105 19038 0 -1 4202560 107 0 0 0 7 0 0 0 16 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22115] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22103 22105 19038 0 -1 4202560 135 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22116] ppid=22103 vsize=10553144 CPUtime=3.12 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22103 22105 19038 0 -1 4202560 2006 0 0 0 309 3 0 0 16 0 19 0 902692905 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 0 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22117] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22103 22105 19038 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902692905 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22118] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22103 22105 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902692905 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22119] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624934321 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22120] ppid=22103 vsize=10553144 CPUtime=0.44 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22103 22105 19038 0 -1 4202560 4544 0 0 0 44 0 0 0 15 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22121] ppid=22103 vsize=10553144 CPUtime=0.55 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22103 22105 19038 0 -1 4202560 10182 0 0 0 54 1 0 0 15 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22122] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22123] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22103 22105 19038 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22124] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22103 22105 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902692915 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.67
Current children cumulated vsize (KiB) 10553144

[startup+407.101 s]
/proc/loadavg: 2.00 2.00 1.95 3/214 22191
/proc/meminfo: memFree=1252704/32951124 swapFree=67052292/67111528
[pid=22105] ppid=22103 vsize=10553144 CPUtime=408.47 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22103 22105 19038 0 -1 4202496 31904 0 1 0 40838 9 0 0 25 0 19 0 902692901 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22105/statm: 2638286 24453 2250 9 0 2629020 0
[pid=22105/tid=22107] ppid=22103 vsize=10553144 CPUtime=403.63 cores=1,3,5,7
/proc/22105/task/22107/stat : 22107 (java) R 22103 22105 19038 0 -1 4202560 12462 0 1 0 40361 2 0 0 19 0 19 0 902692902 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 46912505609573 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22105/tid=22108] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22108/stat : 22108 (java) S 22103 22105 19038 0 -1 4202560 307 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22109] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22103 22105 19038 0 -1 4202560 85 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 7 0 0 0
[pid=22105/tid=22110] ppid=22103 vsize=10553144 CPUtime=0.1 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22103 22105 19038 0 -1 4202560 241 0 0 0 10 0 0 0 16 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22111] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22103 22105 19038 0 -1 4202560 129 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22112] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22103 22105 19038 0 -1 4202560 227 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22113] ppid=22103 vsize=10553144 CPUtime=0.07 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22103 22105 19038 0 -1 4202560 302 0 0 0 7 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22114] ppid=22103 vsize=10553144 CPUtime=0.07 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22103 22105 19038 0 -1 4202560 107 0 0 0 7 0 0 0 16 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22115] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22103 22105 19038 0 -1 4202560 135 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22116] ppid=22103 vsize=10553144 CPUtime=3.12 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22103 22105 19038 0 -1 4202560 2006 0 0 0 309 3 0 0 16 0 19 0 902692905 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 0 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22117] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22103 22105 19038 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902692905 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22118] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22103 22105 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902692905 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22119] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624934321 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22120] ppid=22103 vsize=10553144 CPUtime=0.44 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22103 22105 19038 0 -1 4202560 4544 0 0 0 44 0 0 0 15 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22121] ppid=22103 vsize=10553144 CPUtime=0.55 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22103 22105 19038 0 -1 4202560 10182 0 0 0 54 1 0 0 15 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22122] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22123] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22103 22105 19038 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22124] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22103 22105 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902692915 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.47
Current children cumulated vsize (KiB) 10553144

[startup+407.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/214 22191
/proc/meminfo: memFree=1252704/32951124 swapFree=67052292/67111528
[pid=22105] ppid=22103 vsize=10553144 CPUtime=408.67 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22103 22105 19038 0 -1 4202496 31905 0 1 0 40858 9 0 0 25 0 19 0 902692901 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22105/statm: 2638286 24453 2250 9 0 2629020 0
[pid=22105/tid=22107] ppid=22103 vsize=10553144 CPUtime=403.83 cores=1,3,5,7
/proc/22105/task/22107/stat : 22107 (java) R 22103 22105 19038 0 -1 4202560 12463 0 1 0 40381 2 0 0 19 0 19 0 902692902 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 46912505508940 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22105/tid=22108] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22108/stat : 22108 (java) S 22103 22105 19038 0 -1 4202560 307 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22109] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22103 22105 19038 0 -1 4202560 85 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 7 0 0 0
[pid=22105/tid=22110] ppid=22103 vsize=10553144 CPUtime=0.1 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22103 22105 19038 0 -1 4202560 241 0 0 0 10 0 0 0 16 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22111] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22103 22105 19038 0 -1 4202560 129 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22112] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22103 22105 19038 0 -1 4202560 227 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22113] ppid=22103 vsize=10553144 CPUtime=0.07 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22103 22105 19038 0 -1 4202560 302 0 0 0 7 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22114] ppid=22103 vsize=10553144 CPUtime=0.07 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22103 22105 19038 0 -1 4202560 107 0 0 0 7 0 0 0 16 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22115] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22103 22105 19038 0 -1 4202560 135 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22116] ppid=22103 vsize=10553144 CPUtime=3.12 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22103 22105 19038 0 -1 4202560 2006 0 0 0 309 3 0 0 16 0 19 0 902692905 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 0 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22117] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22103 22105 19038 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902692905 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22118] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22103 22105 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902692905 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22119] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624934321 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22120] ppid=22103 vsize=10553144 CPUtime=0.44 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22103 22105 19038 0 -1 4202560 4544 0 0 0 44 0 0 0 15 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22121] ppid=22103 vsize=10553144 CPUtime=0.55 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22103 22105 19038 0 -1 4202560 10182 0 0 0 54 1 0 0 15 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22122] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22123] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22103 22105 19038 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 902692908 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22124] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22103 22105 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902692915 10806419456 24453 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 10553144

[startup+407.401 s]
/proc/loadavg: 2.00 2.00 1.95 3/214 22191
/proc/meminfo: memFree=1252704/32951124 swapFree=67052292/67111528
[pid=22105] ppid=22103 vsize=10553144 CPUtime=408.77 cores=1,3,5,7
/proc/22105/stat : 22105 (java) S 22103 22105 19038 0 -1 4202496 31906 0 1 0 40868 9 0 0 25 0 19 0 902692901 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22105/statm: 2638286 24454 2250 9 0 2629020 0
[pid=22105/tid=22107] ppid=22103 vsize=10553144 CPUtime=403.93 cores=1,3,5,7
/proc/22105/task/22107/stat : 22107 (java) R 22103 22105 19038 0 -1 4202560 12464 0 1 0 40391 2 0 0 19 0 19 0 902692902 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 46912505709684 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22105/tid=22108] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22108/stat : 22108 (java) S 22103 22105 19038 0 -1 4202560 307 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22109] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22109/stat : 22109 (java) S 22103 22105 19038 0 -1 4202560 85 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 7 0 0 0
[pid=22105/tid=22110] ppid=22103 vsize=10553144 CPUtime=0.1 cores=1,3,5,7
/proc/22105/task/22110/stat : 22110 (java) S 22103 22105 19038 0 -1 4202560 241 0 0 0 10 0 0 0 16 0 19 0 902692904 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22111] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22111/stat : 22111 (java) S 22103 22105 19038 0 -1 4202560 129 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22112] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22112/stat : 22112 (java) S 22103 22105 19038 0 -1 4202560 227 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22113] ppid=22103 vsize=10553144 CPUtime=0.07 cores=1,3,5,7
/proc/22105/task/22113/stat : 22113 (java) S 22103 22105 19038 0 -1 4202560 302 0 0 0 7 0 0 0 15 0 19 0 902692904 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22114] ppid=22103 vsize=10553144 CPUtime=0.07 cores=1,3,5,7
/proc/22105/task/22114/stat : 22114 (java) S 22103 22105 19038 0 -1 4202560 107 0 0 0 7 0 0 0 16 0 19 0 902692904 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22115] ppid=22103 vsize=10553144 CPUtime=0.08 cores=1,3,5,7
/proc/22105/task/22115/stat : 22115 (java) S 22103 22105 19038 0 -1 4202560 135 0 0 0 8 0 0 0 15 0 19 0 902692904 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22116] ppid=22103 vsize=10553144 CPUtime=3.12 cores=1,3,5,7
/proc/22105/task/22116/stat : 22116 (java) S 22103 22105 19038 0 -1 4202560 2006 0 0 0 309 3 0 0 16 0 19 0 902692905 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 0 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22117] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22117/stat : 22117 (java) S 22103 22105 19038 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902692905 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22118] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22118/stat : 22118 (java) S 22103 22105 19038 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902692905 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22119] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22119/stat : 22119 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624934321 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22120] ppid=22103 vsize=10553144 CPUtime=0.44 cores=1,3,5,7
/proc/22105/task/22120/stat : 22120 (java) S 22103 22105 19038 0 -1 4202560 4544 0 0 0 44 0 0 0 15 0 19 0 902692908 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22121] ppid=22103 vsize=10553144 CPUtime=0.55 cores=1,3,5,7
/proc/22105/task/22121/stat : 22121 (java) S 22103 22105 19038 0 -1 4202560 10182 0 0 0 54 1 0 0 15 0 19 0 902692908 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
[pid=22105/tid=22122] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22122/stat : 22122 (java) S 22103 22105 19038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902692908 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624926617 0 4 0 16800975 18446604470013396288 0 0 -1 1 0 0 0
[pid=22105/tid=22123] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22123/stat : 22123 (java) S 22103 22105 19038 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 902692908 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 3 0 0 0
[pid=22105/tid=22124] ppid=22103 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/22105/task/22124/stat : 22124 (java) S 22103 22105 19038 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902692915 10806419456 24454 33554432000 1073741824 1073778376 140734352486704 18446744073709551615 270624927232 0 4 0 16800975 18446604470013396288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.77
Current children cumulated vsize (KiB) 10553144

Child status: 30
Real time (s): 407.449
CPU time (s): 408.831
CPU user time (s): 408.731
CPU system time (s): 0.099984
CPU usage (%): 100.339
Max. virtual memory (cumulated for all children) (KiB): 10553144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 408.731
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31932
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13953
involuntary context switches= 6843

runsolver used 0.681896 second user time and 1.55276 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-12 22:35:20
IDJOB=3492589
IDBENCH=79178
IDSOLVER=1982
FILE ID=node108/3492589-1307910920
RUNJOBID= node108-1307908527-21182
PBS_JOBID= 13559595
Free space on /var/tmp= 2888 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492589-1307910920/watcher-3492589-1307910920 -o /var/tmp/evaluation-result-3492589-1307910920/solver-3492589-1307910920 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492589-1307910920.wbo

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

MD5SUM BENCH= 5c6d98aba4f4f2cf2db8cd0c78364d4c
RANDOM SEED=827212794

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1598688 kB
Buffers:         64556 kB
Cached:       30224448 kB
SwapCached:      23196 kB
Active:       15309460 kB
Inactive:     15096504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1598688 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:             104 kB
Writeback:           0 kB
AnonPages:      114272 kB
Mapped:          17620 kB
Slab:           881680 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10553408 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2884 MiB
End job on node108 at 2011-06-12 22:42:07