Trace number 3455046

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0OPT30 195.404 103.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein45.opb
MD5SUM5084bd7d25dcb1d535d550da78b2db16
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark30
Best CPU time to get the best result obtained on this benchmark16.4115
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved YES
Number of variables45
Total number of constraints331
Number of constraints which are clauses330
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint45
Number of terms in the objective function 45
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 45
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 67
Number of bits of the biggest sum of numbers7
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3455046-1307187926.opb
0.10/0.11	c reading problem ... 
0.10/0.17	c ... done. Wall clock time 0.058s.
0.10/0.17	c #vars     45
0.10/0.17	c #constraints  331
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 329
0.10/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
0.10/0.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
0.10/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 329
0.10/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.10/0.17	c  And the winner is Resolution
0.21/0.67	c SATISFIABLE
0.21/0.67	c OPTIMIZING...
0.21/0.67	c Got one! Elapsed wall clock time (in seconds):0.562
0.21/0.67	o 33
0.21/0.68	c  And the winner is Resolution
0.22/1.17	c Got one! Elapsed wall clock time (in seconds):1.066
0.22/1.17	o 32
0.28/1.21	c  And the winner is Resolution
0.47/1.68	c Got one! Elapsed wall clock time (in seconds):1.57
0.47/1.68	o 31
0.47/1.77	c  And the winner is CuttingPlanes
0.88/2.18	c Got one! Elapsed wall clock time (in seconds):2.073
0.88/2.18	o 30
1.32/2.38	c cleaning 2619 clauses out of 5237 with flag 3000/5237
2.46/2.65	c cleaning 4309 clauses out of 8618 with flag 9000/11237
3.20/2.90	c cleaning 5655 clauses out of 11309 with flag 16000/18237
3.83/3.22	c cleaning 6822 clauses out of 13654 with flag 24000/26237
4.69/3.63	c cleaning 7913 clauses out of 15833 with flag 33001/35238
5.69/4.13	c cleaning 8956 clauses out of 17919 with flag 43000/45237
6.70/4.66	c cleaning 9482 clauses out of 18964 with flag 53001/55238
7.70/5.15	c cleaning 9741 clauses out of 19482 with flag 63001/65238
8.69/5.68	c cleaning 9870 clauses out of 19741 with flag 73001/75238
10.00/6.22	c cleaning 9931 clauses out of 19871 with flag 83001/85238
10.97/6.73	c cleaning 9968 clauses out of 19939 with flag 93000/95237
11.95/7.28	c cleaning 9986 clauses out of 19971 with flag 103000/105237
13.32/7.90	c cleaning 9993 clauses out of 19986 with flag 113001/115238
14.29/8.47	c cleaning 9990 clauses out of 19992 with flag 123000/125237
15.46/9.05	c cleaning 9995 clauses out of 20003 with flag 133001/135238
16.62/9.64	c cleaning 10003 clauses out of 20008 with flag 143001/145238
17.80/10.25	c cleaning 10002 clauses out of 20005 with flag 153001/155238
18.97/10.85	c cleaning 10001 clauses out of 20002 with flag 163000/165237
20.13/11.45	c cleaning 9994 clauses out of 20001 with flag 173000/175237
21.10/11.94	c cleaning 10002 clauses out of 20007 with flag 183000/185237
22.06/12.45	c cleaning 9993 clauses out of 20005 with flag 193000/195237
23.03/12.94	c cleaning 10003 clauses out of 20013 with flag 203001/205238
24.00/13.46	c cleaning 10004 clauses out of 20010 with flag 213001/215238
25.17/14.03	c cleaning 10002 clauses out of 20005 with flag 223000/225237
26.12/14.53	c cleaning 10001 clauses out of 20003 with flag 233000/235237
27.09/15.09	c cleaning 9997 clauses out of 20002 with flag 243000/245237
27.46/15.22	c cleaning 0 clauses out of 5112 with flag 0/5113
28.73/15.72	c cleaning 9995 clauses out of 20005 with flag 253000/255237
30.02/16.30	c cleaning 10006 clauses out of 20012 with flag 263002/265239
30.99/16.85	c cleaning 9995 clauses out of 20005 with flag 273001/275238
31.95/17.37	c cleaning 10002 clauses out of 20009 with flag 283000/285237
33.12/17.96	c cleaning 10003 clauses out of 20008 with flag 293001/295238
34.27/18.52	c cleaning 9998 clauses out of 20004 with flag 303000/305237
35.44/19.13	c cleaning 10003 clauses out of 20007 with flag 313001/315238
36.40/19.66	c cleaning 10002 clauses out of 20003 with flag 323000/325237
37.57/20.25	c cleaning 9998 clauses out of 20001 with flag 333000/335237
38.74/20.87	c cleaning 10001 clauses out of 20003 with flag 343000/345237
39.87/21.43	c cleaning 9994 clauses out of 20003 with flag 353001/355238
41.07/22.07	c cleaning 9999 clauses out of 20008 with flag 363000/365237
42.40/22.71	c cleaning 10004 clauses out of 20009 with flag 373000/375237
43.55/23.34	c cleaning 9997 clauses out of 20005 with flag 383000/385237
44.71/23.97	c cleaning 9998 clauses out of 20008 with flag 393000/395237
45.87/24.56	c cleaning 10000 clauses out of 20010 with flag 403000/405237
47.02/25.17	c cleaning 10003 clauses out of 20010 with flag 413000/415237
48.18/25.79	c cleaning 10000 clauses out of 20007 with flag 423000/425237
49.37/26.40	c cleaning 9992 clauses out of 20008 with flag 433001/435238
50.71/27.05	c cleaning 10002 clauses out of 20016 with flag 443001/445238
51.87/27.64	c cleaning 9991 clauses out of 20013 with flag 453000/455237
53.21/28.30	c cleaning 10006 clauses out of 20024 with flag 463002/465239
54.40/28.92	c cleaning 10003 clauses out of 20017 with flag 473001/475238
55.56/29.53	c cleaning 10000 clauses out of 20013 with flag 483000/485237
56.92/30.21	c cleaning 9998 clauses out of 20013 with flag 493000/495237
58.26/30.90	c cleaning 10004 clauses out of 20015 with flag 503000/505237
59.42/31.53	c cleaning 10003 clauses out of 20012 with flag 513001/515238
60.58/32.13	c cleaning 9992 clauses out of 20008 with flag 523000/525237
61.74/32.76	c cleaning 10005 clauses out of 20017 with flag 533001/535238
62.88/33.35	c cleaning 9998 clauses out of 20011 with flag 543000/545237
64.04/33.98	c cleaning 10001 clauses out of 20014 with flag 553001/555238
65.20/34.59	c cleaning 10006 clauses out of 20013 with flag 563001/565238
66.38/35.19	c cleaning 10002 clauses out of 20006 with flag 573000/575237
67.50/35.80	c cleaning 10000 clauses out of 20004 with flag 583000/585237
68.69/36.36	c cleaning 9997 clauses out of 20005 with flag 593001/595238
69.62/36.88	c cleaning 9999 clauses out of 20008 with flag 603001/605238
70.81/37.47	c cleaning 10001 clauses out of 20008 with flag 613000/615237
72.12/38.11	c cleaning 10002 clauses out of 20007 with flag 623000/625237
73.07/38.65	c cleaning 9994 clauses out of 20005 with flag 633000/635237
74.23/39.22	c cleaning 9998 clauses out of 20011 with flag 643000/645237
75.18/39.77	c cleaning 10006 clauses out of 20013 with flag 653000/655237
76.32/40.35	c cleaning 9998 clauses out of 20007 with flag 663000/665237
77.48/40.91	c cleaning 10001 clauses out of 20010 with flag 673001/675238
78.44/41.49	c cleaning 10003 clauses out of 20009 with flag 683001/685238
79.59/42.07	c cleaning 10002 clauses out of 20005 with flag 693000/695237
80.73/42.68	c cleaning 9993 clauses out of 20004 with flag 703001/705238
81.89/43.25	c cleaning 9999 clauses out of 20010 with flag 713000/715237
82.85/43.78	c cleaning 9995 clauses out of 20011 with flag 723000/725237
84.00/44.37	c cleaning 10000 clauses out of 20017 with flag 733001/735238
85.14/45.00	c cleaning 10007 clauses out of 20017 with flag 743001/745238
86.50/45.61	c cleaning 10004 clauses out of 20011 with flag 753002/755239
87.49/46.20	c cleaning 9995 clauses out of 20006 with flag 763001/765238
88.61/46.78	c cleaning 10001 clauses out of 20010 with flag 773000/775237
89.78/47.39	c cleaning 10000 clauses out of 20009 with flag 783000/785237
90.90/47.99	c cleaning 9998 clauses out of 20010 with flag 793001/795238
92.06/48.59	c cleaning 10001 clauses out of 20012 with flag 803001/805238
93.41/49.20	c cleaning 9999 clauses out of 20010 with flag 813000/815237
94.55/49.83	c cleaning 10005 clauses out of 20012 with flag 823001/825238
95.70/50.44	c cleaning 10000 clauses out of 20007 with flag 833001/835238
96.86/51.07	c cleaning 10004 clauses out of 20007 with flag 843001/845238
98.05/51.69	c cleaning 10000 clauses out of 20002 with flag 853000/855237
99.36/52.32	c cleaning 9999 clauses out of 20003 with flag 863001/865238
100.51/52.94	c cleaning 10000 clauses out of 20003 with flag 873000/875237
101.68/53.56	c cleaning 9997 clauses out of 20004 with flag 883001/885238
102.84/54.14	c cleaning 10003 clauses out of 20007 with flag 893001/895238
103.97/54.71	c cleaning 10000 clauses out of 20003 with flag 903000/905237
104.92/55.29	c cleaning 9998 clauses out of 20003 with flag 913000/915237
106.07/55.89	c cleaning 9996 clauses out of 20005 with flag 923000/925237
107.43/56.52	c cleaning 9994 clauses out of 20009 with flag 933000/935237
108.59/57.13	c cleaning 10000 clauses out of 20015 with flag 943000/945237
109.72/57.75	c cleaning 10001 clauses out of 20016 with flag 953001/955238
110.91/58.34	c cleaning 10001 clauses out of 20014 with flag 963000/965237
112.02/58.93	c cleaning 10003 clauses out of 20013 with flag 973000/975237
113.36/59.62	c cleaning 9999 clauses out of 20011 with flag 983001/985238
114.51/60.25	c cleaning 10002 clauses out of 20012 with flag 993001/995238
115.87/60.90	c cleaning 10001 clauses out of 20009 with flag 1003000/1005237
117.05/61.54	c cleaning 10005 clauses out of 20009 with flag 1013001/1015238
118.35/62.20	c cleaning 9997 clauses out of 20004 with flag 1023001/1025238
119.51/62.85	c cleaning 9997 clauses out of 20006 with flag 1033000/1035237
120.66/63.47	c cleaning 10001 clauses out of 20009 with flag 1043000/1045237
121.82/64.09	c cleaning 10003 clauses out of 20008 with flag 1053000/1055237
123.14/64.71	c cleaning 9996 clauses out of 20005 with flag 1063000/1065237
124.30/65.37	c cleaning 10002 clauses out of 20010 with flag 1073001/1075238
125.47/65.96	c cleaning 9997 clauses out of 20008 with flag 1083001/1085238
126.60/66.58	c cleaning 10005 clauses out of 20011 with flag 1093001/1095238
127.93/67.24	c cleaning 9999 clauses out of 20005 with flag 1103000/1105237
129.08/67.89	c cleaning 10001 clauses out of 20006 with flag 1113000/1115237
130.43/68.55	c cleaning 10002 clauses out of 20006 with flag 1123001/1125238
131.80/69.22	c cleaning 9998 clauses out of 20004 with flag 1133001/1135238
132.91/69.89	c cleaning 9997 clauses out of 20005 with flag 1143000/1145237
134.26/70.58	c cleaning 10005 clauses out of 20009 with flag 1153001/1155238
135.61/71.26	c cleaning 10001 clauses out of 20004 with flag 1163001/1165238
136.96/71.94	c cleaning 9998 clauses out of 20002 with flag 1173000/1175237
138.32/72.64	c cleaning 10000 clauses out of 20004 with flag 1183000/1185237
139.64/73.37	c cleaning 9999 clauses out of 20004 with flag 1193000/1195237
140.99/74.06	c cleaning 10000 clauses out of 20006 with flag 1203001/1205238
142.37/74.75	c cleaning 9996 clauses out of 20005 with flag 1213000/1215237
143.67/75.47	c cleaning 10001 clauses out of 20009 with flag 1223000/1225237
145.02/76.16	c cleaning 10000 clauses out of 20008 with flag 1233000/1235237
146.17/76.77	c cleaning 9996 clauses out of 20007 with flag 1243000/1245237
147.52/77.42	c cleaning 10000 clauses out of 20011 with flag 1253000/1255237
148.68/78.07	c cleaning 10004 clauses out of 20011 with flag 1263000/1265237
149.80/78.67	c cleaning 10000 clauses out of 20007 with flag 1273000/1275237
150.99/79.27	c cleaning 9999 clauses out of 20007 with flag 1283000/1285237
152.10/79.85	c cleaning 9991 clauses out of 20008 with flag 1293000/1295237
153.22/80.45	c cleaning 10005 clauses out of 20018 with flag 1303001/1305238
154.37/81.05	c cleaning 9997 clauses out of 20012 with flag 1313000/1315237
155.52/81.65	c cleaning 10008 clauses out of 20015 with flag 1323000/1325237
156.66/82.23	c cleaning 10005 clauses out of 20009 with flag 1333002/1335239
157.79/82.83	c cleaning 9997 clauses out of 20002 with flag 1343000/1345237
158.74/83.33	c cleaning 0 clauses out of 11111 with flag 0/11112
158.89/83.49	c cleaning 9997 clauses out of 20005 with flag 1353000/1355237
160.06/84.08	c cleaning 10000 clauses out of 20008 with flag 1363000/1365237
160.99/84.61	c cleaning 10002 clauses out of 20008 with flag 1373001/1375238
162.13/85.17	c cleaning 9998 clauses out of 20005 with flag 1383000/1385237
163.08/85.71	c cleaning 9999 clauses out of 20007 with flag 1393000/1395237
164.22/86.25	c cleaning 9997 clauses out of 20008 with flag 1403000/1405237
165.15/86.80	c cleaning 10001 clauses out of 20011 with flag 1413000/1415237
166.30/87.35	c cleaning 9999 clauses out of 20011 with flag 1423001/1425238
167.25/87.89	c cleaning 10003 clauses out of 20013 with flag 1433002/1435239
168.40/88.41	c cleaning 10000 clauses out of 20008 with flag 1443001/1445238
169.32/88.98	c cleaning 10001 clauses out of 20007 with flag 1453000/1455237
170.27/89.50	c cleaning 9998 clauses out of 20007 with flag 1463001/1465238
171.41/90.01	c cleaning 9995 clauses out of 20008 with flag 1473000/1475237
172.36/90.53	c cleaning 10003 clauses out of 20014 with flag 1483001/1485238
173.29/91.05	c cleaning 9997 clauses out of 20010 with flag 1493000/1495237
174.23/91.58	c cleaning 10008 clauses out of 20015 with flag 1503002/1505239
175.39/92.12	c cleaning 10002 clauses out of 20005 with flag 1513001/1515238
176.34/92.65	c cleaning 9995 clauses out of 20003 with flag 1523001/1525238
177.46/93.20	c cleaning 10003 clauses out of 20007 with flag 1533000/1535237
178.20/93.68	c cleaning 9996 clauses out of 20003 with flag 1543000/1545237
179.35/94.22	c cleaning 9998 clauses out of 20007 with flag 1553000/1555237
180.29/94.76	c cleaning 9999 clauses out of 20009 with flag 1563000/1565237
181.41/95.32	c cleaning 10002 clauses out of 20011 with flag 1573001/1575238
182.36/95.83	c cleaning 10003 clauses out of 20008 with flag 1583001/1585238
183.30/96.35	c cleaning 10000 clauses out of 20005 with flag 1593001/1595238
184.28/96.89	c cleaning 10001 clauses out of 20004 with flag 1603000/1605237
185.37/97.45	c cleaning 9996 clauses out of 20002 with flag 1613000/1615237
186.35/98.00	c cleaning 10003 clauses out of 20007 with flag 1623001/1625238
187.46/98.51	c cleaning 10001 clauses out of 20004 with flag 1633001/1635238
188.44/99.06	c cleaning 10000 clauses out of 20002 with flag 1643001/1645238
189.52/99.62	c cleaning 10000 clauses out of 20001 with flag 1653000/1655237
190.50/100.13	c cleaning 9999 clauses out of 20000 with flag 1663000/1665237
191.41/100.63	c cleaning 9996 clauses out of 20000 with flag 1673000/1675237
192.38/101.15	c cleaning 10001 clauses out of 20003 with flag 1683000/1685237
193.48/101.71	c cleaning 9999 clauses out of 20001 with flag 1693000/1695237
194.45/102.25	c cleaning 9999 clauses out of 19997 with flag 1703000/1705237
194.60/102.36	c  And the winner is Resolution
195.36/103.42	c starts		: 207
195.36/103.42	c conflicts		: 1707010
195.36/103.42	c decisions		: 1792466
195.36/103.42	c propagations		: 8000853
195.36/103.42	c inspects		: 1242434390
195.36/103.42	c shortcuts		: 0
195.36/103.42	c learnt literals	: 29
195.36/103.42	c learnt binary clauses	: 401
195.36/103.42	c learnt ternary clauses	: 3251
195.36/103.42	c learnt constraints	: 1706980
195.36/103.42	c ignored constraints	: 0
195.36/103.42	c root simplifications	: 0
195.36/103.42	c removed literals (reason simplification)	: 10981811
195.36/103.42	c reason swapping (by a shorter reason)	: 0
195.36/103.42	c Calls to reduceDB	: 172
195.36/103.42	c number of reductions to clauses (during analyze)	: 0
195.36/103.42	c number of learned constraints concerned by reduction	: 0
195.36/103.42	c number of learning phase by resolution	: 0
195.36/103.42	c number of learning phase by cutting planes	: 0
195.36/103.42	c speed (assignments/second)	: 79030.13690511468
195.36/103.42	c non guided choices	0
195.36/103.42	c learnt constraints type 
195.36/103.42	c constraints type 
195.36/103.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 329
195.36/103.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
195.36/103.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
195.36/103.42	c constraints type 
195.36/103.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
195.36/103.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 329
195.36/103.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
195.36/103.42	s OPTIMUM FOUND
195.36/103.42	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 
195.36/103.42	c objective function=30
195.36/103.42	c Total wall clock time (in seconds): 103.312

Verifier Data 

OK	30

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3455046-1307187926/watcher-3455046-1307187926 -o /tmp/evaluation-result-3455046-1307187926/solver-3455046-1307187926 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455046-1307187926.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.01 1.24 1.61 4/502 16188
/proc/meminfo: memFree=26979264/32950928 swapFree=39617324/67111528
[pid=16188] ppid=16186 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16188/stat : 16188 (java) S 16186 16188 13533 0 -1 4202496 4922 0 1 0 0 0 0 0 25 0 2 0 830392309 10694979584 4624 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/16188/statm: 2611079 4638 917 9 0 2602235 0
[pid=16188/tid=16189] ppid=16186 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16189/stat : 16189 (java) R 16186 16188 13533 0 -1 4202560 5851 0 1 0 0 0 0 0 25 0 2 0 830392310 10694979584 6668 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0765749 s]
/proc/loadavg: 1.01 1.24 1.61 4/502 16188
/proc/meminfo: memFree=26979264/32950928 swapFree=39617324/67111528
[pid=16188] ppid=16186 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/16188/stat : 16188 (java) S 16186 16188 13533 0 -1 4202496 11952 0 1 0 5 1 0 0 25 0 18 0 830392309 10724442112 11649 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16188/statm: 2618272 11650 1755 9 0 2609006 0
[pid=16188/tid=16189] ppid=16186 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/16188/task/16189/stat : 16189 (java) R 16186 16188 13533 0 -1 4202560 10777 0 1 0 5 1 0 0 25 0 18 0 830392310 10724442112 11650 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092059083 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.10057 s]
/proc/loadavg: 1.01 1.24 1.61 4/502 16188
/proc/meminfo: memFree=26979264/32950928 swapFree=39617324/67111528
[pid=16188] ppid=16186 vsize=10540280 CPUtime=0.1 cores=1,3,5,7
/proc/16188/stat : 16188 (java) S 16186 16188 13533 0 -1 4202496 13135 0 1 0 9 1 0 0 25 0 18 0 830392309 10793246720 12784 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16188/statm: 2635070 12787 2092 9 0 2625804 0
[pid=16188/tid=16189] ppid=16186 vsize=10540280 CPUtime=0.08 cores=1,3,5,7
/proc/16188/task/16189/stat : 16189 (java) R 16186 16188 13533 0 -1 4202560 11181 0 1 0 7 1 0 0 25 0 18 0 830392310 10793246720 12789 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 46912496197392 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540280

[startup+0.300531 s]
/proc/loadavg: 1.01 1.24 1.61 4/502 16188
/proc/meminfo: memFree=26979264/32950928 swapFree=39617324/67111528
[pid=16188] ppid=16186 vsize=10545192 CPUtime=0.21 cores=1,3,5,7
/proc/16188/stat : 16188 (java) S 16186 16188 13533 0 -1 4202496 13987 0 1 0 20 1 0 0 25 0 19 0 830392309 10798276608 13634 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16188/statm: 2636298 13634 2176 9 0 2627032 0
[pid=16188/tid=16189] ppid=16186 vsize=10545192 CPUtime=0.15 cores=1,3,5,7
/proc/16188/task/16189/stat : 16189 (java) S 16186 16188 13533 0 -1 4202560 11699 0 1 0 14 1 0 0 25 0 19 0 830392310 10798276608 13634 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10545192

[startup+0.700455 s]
/proc/loadavg: 1.01 1.24 1.61 4/502 16188
/proc/meminfo: memFree=26979264/32950928 swapFree=39617324/67111528
[pid=16188] ppid=16186 vsize=10545192 CPUtime=0.22 cores=1,3,5,7
/proc/16188/stat : 16188 (java) S 16186 16188 13533 0 -1 4202496 14073 0 1 0 21 1 0 0 25 0 19 0 830392309 10798276608 13720 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16188/statm: 2636298 13720 2176 9 0 2627032 0
[pid=16188/tid=16189] ppid=16186 vsize=10545192 CPUtime=0.15 cores=1,3,5,7
/proc/16188/task/16189/stat : 16189 (java) S 16186 16188 13533 0 -1 4202560 11711 0 1 0 14 1 0 0 21 0 19 0 830392310 10798276608 13720 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10545192

[startup+1.5013 s]
/proc/loadavg: 1.01 1.24 1.61 3/521 16213
/proc/meminfo: memFree=26931708/32950928 swapFree=39617324/67111528
[pid=16188] ppid=16186 vsize=10546972 CPUtime=0.47 cores=1,3,5,7
/proc/16188/stat : 16188 (java) S 16186 16188 13533 0 -1 4202496 17355 0 1 0 45 2 0 0 25 0 19 0 830392309 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16188/statm: 2636743 15053 2209 9 0 2627477 0
[pid=16188/tid=16189] ppid=16186 vsize=10546972 CPUtime=0.15 cores=1,3,5,7
/proc/16188/task/16189/stat : 16189 (java) S 16186 16188 13533 0 -1 4202560 11717 0 1 0 14 1 0 0 17 0 19 0 830392310 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16191] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16191/stat : 16191 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392312 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16192] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16192/stat : 16192 (java) S 16186 16188 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830392312 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16193] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16193/stat : 16193 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392312 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16194] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16194/stat : 16194 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392312 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16195] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16195/stat : 16195 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392312 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16196] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16196/stat : 16196 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392312 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16197] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16197/stat : 16197 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392312 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16198] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16198/stat : 16198 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392312 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16199] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16199/stat : 16199 (java) S 16186 16188 13533 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830392313 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16200] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16200/stat : 16200 (java) S 16186 16188 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830392313 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16201] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16201/stat : 16201 (java) S 16186 16188 13533 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 830392313 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16202] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16202/stat : 16202 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392315 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16203] ppid=16186 vsize=10546972 CPUtime=0.11 cores=1,3,5,7
/proc/16188/task/16203/stat : 16203 (java) S 16186 16188 13533 0 -1 4202560 1643 0 0 0 11 0 0 0 16 0 19 0 830392315 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16204] ppid=16186 vsize=10546972 CPUtime=0.1 cores=1,3,5,7
/proc/16188/task/16204/stat : 16204 (java) S 16186 16188 13533 0 -1 4202560 2512 0 0 0 10 0 0 0 18 0 19 0 830392315 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16205] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16205/stat : 16205 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392315 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16206] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16206/stat : 16206 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830392315 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16209] ppid=16186 vsize=10546972 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16209/stat : 16209 (java) S 16186 16188 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830392327 10800099328 15053 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10546972

[startup+3.101 s]
/proc/loadavg: 1.01 1.24 1.61 3/521 16219
/proc/meminfo: memFree=26915224/32950928 swapFree=39617324/67111528
[pid=16188] ppid=16186 vsize=10622444 CPUtime=3.6 cores=1,3,5,7
/proc/16188/stat : 16188 (java) S 16186 16188 13533 0 -1 4202496 76100 0 1 0 351 9 0 0 25 0 22 0 830392309 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16188/statm: 2655611 64989 2254 9 0 2646345 0
[pid=16188/tid=16189] ppid=16186 vsize=10622444 CPUtime=0.15 cores=1,3,5,7
/proc/16188/task/16189/stat : 16189 (java) S 16186 16188 13533 0 -1 4202560 11728 0 1 0 14 1 0 0 15 0 22 0 830392310 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16191] ppid=16186 vsize=10622444 CPUtime=0.02 cores=1,3,5,7
/proc/16188/task/16191/stat : 16191 (java) S 16186 16188 13533 0 -1 4202560 253 0 0 0 2 0 0 0 15 0 22 0 830392312 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16192] ppid=16186 vsize=10622444 CPUtime=0.02 cores=1,3,5,7
/proc/16188/task/16192/stat : 16192 (java) S 16186 16188 13533 0 -1 4202560 125 0 0 0 2 0 0 0 16 0 22 0 830392312 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16193] ppid=16186 vsize=10622444 CPUtime=0.02 cores=1,3,5,7
/proc/16188/task/16193/stat : 16193 (java) S 16186 16188 13533 0 -1 4202560 79 0 0 0 2 0 0 0 15 0 22 0 830392312 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16194] ppid=16186 vsize=10622444 CPUtime=0.01 cores=1,3,5,7
/proc/16188/task/16194/stat : 16194 (java) S 16186 16188 13533 0 -1 4202560 196 0 0 0 1 0 0 0 15 0 22 0 830392312 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16195] ppid=16186 vsize=10622444 CPUtime=0.01 cores=1,3,5,7
/proc/16188/task/16195/stat : 16195 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 1 0 0 0 15 0 22 0 830392312 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16196] ppid=16186 vsize=10622444 CPUtime=0.01 cores=1,3,5,7
/proc/16188/task/16196/stat : 16196 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 1 0 0 0 15 0 22 0 830392312 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16197] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16197/stat : 16197 (java) S 16186 16188 13533 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 830392312 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16198] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16198/stat : 16198 (java) S 16186 16188 13533 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 22 0 830392312 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16199] ppid=16186 vsize=10622444 CPUtime=0.04 cores=1,3,5,7
/proc/16188/task/16199/stat : 16199 (java) S 16186 16188 13533 0 -1 4202560 1063 0 0 0 4 0 0 0 15 0 22 0 830392313 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=16188/tid=16200] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16200/stat : 16200 (java) S 16186 16188 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830392313 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16201] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16201/stat : 16201 (java) S 16186 16188 13533 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830392313 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16202] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16202/stat : 16202 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830392315 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16203] ppid=16186 vsize=10622444 CPUtime=0.6 cores=1,3,5,7
/proc/16188/task/16203/stat : 16203 (java) S 16186 16188 13533 0 -1 4202560 5006 0 0 0 60 0 0 0 16 0 22 0 830392315 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16204] ppid=16186 vsize=10622444 CPUtime=0.75 cores=1,3,5,7
/proc/16188/task/16204/stat : 16204 (java) S 16186 16188 13533 0 -1 4202560 13024 0 0 0 73 2 0 0 15 0 22 0 830392315 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16205] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16205/stat : 16205 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830392315 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16206] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16206/stat : 16206 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830392315 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16219] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16219/stat : 16219 (java) S 16186 16188 13533 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830392478 10877382656 64989 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 10622444

[startup+6.30139 s]
/proc/loadavg: 1.25 1.29 1.62 5/524 16222
/proc/meminfo: memFree=26486908/32950928 swapFree=39617324/67111528
[pid=16188] ppid=16186 vsize=10622444 CPUtime=10.17 cores=1,3,5,7
/proc/16188/stat : 16188 (java) S 16186 16188 13533 0 -1 4202496 134337 0 1 0 1000 17 0 0 25 0 22 0 830392309 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16188/statm: 2655611 123046 2257 9 0 2646345 0
[pid=16188/tid=16189] ppid=16186 vsize=10622444 CPUtime=0.15 cores=1,3,5,7
/proc/16188/task/16189/stat : 16189 (java) S 16186 16188 13533 0 -1 4202560 11730 0 1 0 14 1 0 0 15 0 22 0 830392310 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16191] ppid=16186 vsize=10622444 CPUtime=0.03 cores=1,3,5,7
/proc/16188/task/16191/stat : 16191 (java) S 16186 16188 13533 0 -1 4202560 301 0 0 0 3 0 0 0 15 0 22 0 830392312 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16192] ppid=16186 vsize=10622444 CPUtime=0.03 cores=1,3,5,7
/proc/16188/task/16192/stat : 16192 (java) S 16186 16188 13533 0 -1 4202560 174 0 0 0 3 0 0 0 15 0 22 0 830392312 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16193] ppid=16186 vsize=10622444 CPUtime=0.04 cores=1,3,5,7
/proc/16188/task/16193/stat : 16193 (java) S 16186 16188 13533 0 -1 4202560 101 0 0 0 4 0 0 0 15 0 22 0 830392312 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16194] ppid=16186 vsize=10622444 CPUtime=0.02 cores=1,3,5,7
/proc/16188/task/16194/stat : 16194 (java) S 16186 16188 13533 0 -1 4202560 233 0 0 0 2 0 0 0 15 0 22 0 830392312 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16195] ppid=16186 vsize=10622444 CPUtime=0.02 cores=1,3,5,7
/proc/16188/task/16195/stat : 16195 (java) S 16186 16188 13533 0 -1 4202560 36 0 0 0 2 0 0 0 16 0 22 0 830392312 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16196] ppid=16186 vsize=10622444 CPUtime=0.01 cores=1,3,5,7
/proc/16188/task/16196/stat : 16196 (java) S 16186 16188 13533 0 -1 4202560 30 0 0 0 1 0 0 0 16 0 22 0 830392312 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16197] ppid=16186 vsize=10622444 CPUtime=0.01 cores=1,3,5,7
/proc/16188/task/16197/stat : 16197 (java) S 16186 16188 13533 0 -1 4202560 78 0 0 0 1 0 0 0 15 0 22 0 830392312 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16198] ppid=16186 vsize=10622444 CPUtime=0.02 cores=1,3,5,7
/proc/16188/task/16198/stat : 16198 (java) S 16186 16188 13533 0 -1 4202560 211 0 0 0 2 0 0 0 16 0 22 0 830392312 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16199] ppid=16186 vsize=10622444 CPUtime=0.21 cores=1,3,5,7
/proc/16188/task/16199/stat : 16199 (java) S 16186 16188 13533 0 -1 4202560 2280 0 0 0 21 0 0 0 15 0 22 0 830392313 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=16188/tid=16200] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16200/stat : 16200 (java) S 16186 16188 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830392313 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16201] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16201/stat : 16201 (java) S 16186 16188 13533 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830392313 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16202] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16202/stat : 16202 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830392315 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16203] ppid=16186 vsize=10622444 CPUtime=0.61 cores=1,3,5,7
/proc/16188/task/16203/stat : 16203 (java) S 16186 16188 13533 0 -1 4202560 5007 0 0 0 61 0 0 0 16 0 22 0 830392315 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16204] ppid=16186 vsize=10622444 CPUtime=1.09 cores=1,3,5,7
/proc/16188/task/16204/stat : 16204 (java) S 16186 16188 13533 0 -1 4202560 13140 0 0 0 107 2 0 0 15 0 22 0 830392315 10877382656 123046 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0

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

/proc/16188/task/16195/stat : 16195 (java) S 16186 16188 13533 0 -1 4202560 67 0 0 0 24 0 0 0 16 0 22 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16196] ppid=16186 vsize=10622444 CPUtime=0.2 cores=1,3,5,7
/proc/16188/task/16196/stat : 16196 (java) S 16186 16188 13533 0 -1 4202560 73 0 0 0 20 0 0 0 16 0 22 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16197] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16197/stat : 16197 (java) S 16186 16188 13533 0 -1 4202560 126 0 0 0 23 0 0 0 15 0 22 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16198] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16198/stat : 16198 (java) S 16186 16188 13533 0 -1 4202560 249 0 0 0 23 0 0 0 15 0 22 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16199] ppid=16186 vsize=10622444 CPUtime=8.82 cores=1,3,5,7
/proc/16188/task/16199/stat : 16199 (java) S 16186 16188 13533 0 -1 4202560 7364 0 0 0 880 2 0 0 15 0 22 0 830392313 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=16188/tid=16200] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16200/stat : 16200 (java) S 16186 16188 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830392313 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16201] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16201/stat : 16201 (java) S 16186 16188 13533 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830392313 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16202] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16202/stat : 16202 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16203] ppid=16186 vsize=10622444 CPUtime=0.69 cores=1,3,5,7
/proc/16188/task/16203/stat : 16203 (java) S 16186 16188 13533 0 -1 4202560 5008 0 0 0 69 0 0 0 15 0 22 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16204] ppid=16186 vsize=10622444 CPUtime=1.55 cores=1,3,5,7
/proc/16188/task/16204/stat : 16204 (java) S 16186 16188 13533 0 -1 4202560 17271 0 0 0 153 2 0 0 15 0 22 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16205] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16205/stat : 16205 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16206] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16206/stat : 16206 (java) S 16186 16188 13533 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16219] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16219/stat : 16219 (java) S 16186 16188 13533 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830392478 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=16188/tid=16220] ppid=16186 vsize=10622444 CPUtime=90.58 cores=1,3,5,7
/proc/16188/task/16220/stat : 16220 (java) R 16186 16188 13533 0 -1 4202560 681 0 0 0 9058 0 0 0 25 0 22 0 830392528 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 46912505625332 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16188/tid=16221] ppid=16186 vsize=10622444 CPUtime=90.59 cores=1,3,5,7
/proc/16188/task/16221/stat : 16221 (java) R 16186 16188 13533 0 -1 4202560 104306 0 0 0 9046 13 0 0 25 0 22 0 830392528 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 46912505583816 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16188/tid=16222] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16222/stat : 16222 (java) S 16186 16188 13533 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830392528 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 194.6
Current children cumulated vsize (KiB) 10622444

Solver just ended. Dumping a history of the last processes samples

[startup+103.101 s]
/proc/loadavg: 3.35 2.00 1.84 5/524 16224
/proc/meminfo: memFree=26380672/32950928 swapFree=39617324/67111528
[pid=16188] ppid=16186 vsize=10622444 CPUtime=195.04 cores=1,3,5,7
/proc/16188/stat : 16188 (java) S 16186 16188 13533 0 -1 4202496 150828 0 1 0 19480 24 0 0 25 0 19 0 830392309 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16188/statm: 2655611 135308 2259 9 0 2646345 0
[pid=16188/tid=16189] ppid=16186 vsize=10622444 CPUtime=0.44 cores=1,3,5,7
/proc/16188/task/16189/stat : 16189 (java) R 16186 16188 13533 0 -1 4202560 11761 0 1 0 43 1 0 0 16 0 19 0 830392310 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 46912505844943 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16188/tid=16191] ppid=16186 vsize=10622444 CPUtime=0.22 cores=1,3,5,7
/proc/16188/task/16191/stat : 16191 (java) S 16186 16188 13533 0 -1 4202560 340 0 0 0 22 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16192] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16192/stat : 16192 (java) S 16186 16188 13533 0 -1 4202560 220 0 0 0 23 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16193] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16193/stat : 16193 (java) S 16186 16188 13533 0 -1 4202560 157 0 0 0 23 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16194] ppid=16186 vsize=10622444 CPUtime=0.25 cores=1,3,5,7
/proc/16188/task/16194/stat : 16194 (java) S 16186 16188 13533 0 -1 4202560 270 0 0 0 25 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16195] ppid=16186 vsize=10622444 CPUtime=0.24 cores=1,3,5,7
/proc/16188/task/16195/stat : 16195 (java) S 16186 16188 13533 0 -1 4202560 67 0 0 0 24 0 0 0 16 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16196] ppid=16186 vsize=10622444 CPUtime=0.2 cores=1,3,5,7
/proc/16188/task/16196/stat : 16196 (java) S 16186 16188 13533 0 -1 4202560 73 0 0 0 20 0 0 0 16 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16197] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16197/stat : 16197 (java) S 16186 16188 13533 0 -1 4202560 126 0 0 0 23 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16198] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16198/stat : 16198 (java) S 16186 16188 13533 0 -1 4202560 249 0 0 0 23 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16199] ppid=16186 vsize=10622444 CPUtime=8.82 cores=1,3,5,7
/proc/16188/task/16199/stat : 16199 (java) S 16186 16188 13533 0 -1 4202560 7364 0 0 0 880 2 0 0 15 0 19 0 830392313 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=16188/tid=16200] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16200/stat : 16200 (java) S 16186 16188 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830392313 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16201] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16201/stat : 16201 (java) S 16186 16188 13533 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 830392313 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16202] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16202/stat : 16202 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16203] ppid=16186 vsize=10622444 CPUtime=0.69 cores=1,3,5,7
/proc/16188/task/16203/stat : 16203 (java) S 16186 16188 13533 0 -1 4202560 5009 0 0 0 69 0 0 0 15 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16204] ppid=16186 vsize=10622444 CPUtime=1.57 cores=1,3,5,7
/proc/16188/task/16204/stat : 16204 (java) S 16186 16188 13533 0 -1 4202560 17271 0 0 0 155 2 0 0 15 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16205] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16205/stat : 16205 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16206] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16206/stat : 16206 (java) S 16186 16188 13533 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16222] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16222/stat : 16222 (java) S 16186 16188 13533 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 830392528 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 195.04
Current children cumulated vsize (KiB) 10622444

[startup+103.301 s]
/proc/loadavg: 3.32 2.02 1.85 4/521 16224
/proc/meminfo: memFree=26380200/32950928 swapFree=39617324/67111528
[pid=16188] ppid=16186 vsize=10622444 CPUtime=195.26 cores=1,3,5,7
/proc/16188/stat : 16188 (java) S 16186 16188 13533 0 -1 4202496 150828 0 1 0 19502 24 0 0 25 0 19 0 830392309 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16188/statm: 2655611 135308 2259 9 0 2646345 0
[pid=16188/tid=16189] ppid=16186 vsize=10622444 CPUtime=0.65 cores=1,3,5,7
/proc/16188/task/16189/stat : 16189 (java) R 16186 16188 13533 0 -1 4202560 11761 0 1 0 64 1 0 0 16 0 19 0 830392310 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 46912505845032 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16188/tid=16191] ppid=16186 vsize=10622444 CPUtime=0.22 cores=1,3,5,7
/proc/16188/task/16191/stat : 16191 (java) S 16186 16188 13533 0 -1 4202560 340 0 0 0 22 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16192] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16192/stat : 16192 (java) S 16186 16188 13533 0 -1 4202560 220 0 0 0 23 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16193] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16193/stat : 16193 (java) S 16186 16188 13533 0 -1 4202560 157 0 0 0 23 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16194] ppid=16186 vsize=10622444 CPUtime=0.25 cores=1,3,5,7
/proc/16188/task/16194/stat : 16194 (java) S 16186 16188 13533 0 -1 4202560 270 0 0 0 25 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16195] ppid=16186 vsize=10622444 CPUtime=0.24 cores=1,3,5,7
/proc/16188/task/16195/stat : 16195 (java) S 16186 16188 13533 0 -1 4202560 67 0 0 0 24 0 0 0 16 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16196] ppid=16186 vsize=10622444 CPUtime=0.2 cores=1,3,5,7
/proc/16188/task/16196/stat : 16196 (java) S 16186 16188 13533 0 -1 4202560 73 0 0 0 20 0 0 0 16 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16197] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16197/stat : 16197 (java) S 16186 16188 13533 0 -1 4202560 126 0 0 0 23 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16198] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16198/stat : 16198 (java) S 16186 16188 13533 0 -1 4202560 249 0 0 0 23 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16199] ppid=16186 vsize=10622444 CPUtime=8.82 cores=1,3,5,7
/proc/16188/task/16199/stat : 16199 (java) S 16186 16188 13533 0 -1 4202560 7364 0 0 0 880 2 0 0 15 0 19 0 830392313 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=16188/tid=16200] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16200/stat : 16200 (java) S 16186 16188 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830392313 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16201] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16201/stat : 16201 (java) S 16186 16188 13533 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 830392313 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16202] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16202/stat : 16202 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16203] ppid=16186 vsize=10622444 CPUtime=0.69 cores=1,3,5,7
/proc/16188/task/16203/stat : 16203 (java) S 16186 16188 13533 0 -1 4202560 5009 0 0 0 69 0 0 0 15 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16204] ppid=16186 vsize=10622444 CPUtime=1.57 cores=1,3,5,7
/proc/16188/task/16204/stat : 16204 (java) S 16186 16188 13533 0 -1 4202560 17271 0 0 0 155 2 0 0 15 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16205] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16205/stat : 16205 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16206] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16206/stat : 16206 (java) S 16186 16188 13533 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16222] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16222/stat : 16222 (java) S 16186 16188 13533 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 830392528 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 195.26
Current children cumulated vsize (KiB) 10622444

[startup+103.419 s]
/proc/loadavg: 3.32 2.02 1.85 4/521 16224
/proc/meminfo: memFree=26380200/32950928 swapFree=39617324/67111528
[pid=16188] ppid=16186 vsize=10622444 CPUtime=195.36 cores=1,3,5,7
/proc/16188/stat : 16188 (java) S 16186 16188 13533 0 -1 4202496 150829 0 1 0 19512 24 0 0 25 0 19 0 830392309 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16188/statm: 2655611 135308 2259 9 0 2646345 0
[pid=16188/tid=16189] ppid=16186 vsize=10622444 CPUtime=0.75 cores=1,3,5,7
/proc/16188/task/16189/stat : 16189 (java) R 16186 16188 13533 0 -1 4202560 11762 0 1 0 74 1 0 0 16 0 19 0 830392310 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 46912505366568 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16188/tid=16191] ppid=16186 vsize=10622444 CPUtime=0.22 cores=1,3,5,7
/proc/16188/task/16191/stat : 16191 (java) S 16186 16188 13533 0 -1 4202560 340 0 0 0 22 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16192] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16192/stat : 16192 (java) S 16186 16188 13533 0 -1 4202560 220 0 0 0 23 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16193] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16193/stat : 16193 (java) S 16186 16188 13533 0 -1 4202560 157 0 0 0 23 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16194] ppid=16186 vsize=10622444 CPUtime=0.25 cores=1,3,5,7
/proc/16188/task/16194/stat : 16194 (java) S 16186 16188 13533 0 -1 4202560 270 0 0 0 25 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16195] ppid=16186 vsize=10622444 CPUtime=0.24 cores=1,3,5,7
/proc/16188/task/16195/stat : 16195 (java) S 16186 16188 13533 0 -1 4202560 67 0 0 0 24 0 0 0 16 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16196] ppid=16186 vsize=10622444 CPUtime=0.2 cores=1,3,5,7
/proc/16188/task/16196/stat : 16196 (java) S 16186 16188 13533 0 -1 4202560 73 0 0 0 20 0 0 0 16 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16197] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16197/stat : 16197 (java) S 16186 16188 13533 0 -1 4202560 126 0 0 0 23 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16198] ppid=16186 vsize=10622444 CPUtime=0.23 cores=1,3,5,7
/proc/16188/task/16198/stat : 16198 (java) S 16186 16188 13533 0 -1 4202560 249 0 0 0 23 0 0 0 15 0 19 0 830392312 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16199] ppid=16186 vsize=10622444 CPUtime=8.82 cores=1,3,5,7
/proc/16188/task/16199/stat : 16199 (java) S 16186 16188 13533 0 -1 4202560 7364 0 0 0 880 2 0 0 15 0 19 0 830392313 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=16188/tid=16200] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16200/stat : 16200 (java) S 16186 16188 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830392313 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16201] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16201/stat : 16201 (java) S 16186 16188 13533 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 830392313 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16202] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16202/stat : 16202 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16203] ppid=16186 vsize=10622444 CPUtime=0.69 cores=1,3,5,7
/proc/16188/task/16203/stat : 16203 (java) S 16186 16188 13533 0 -1 4202560 5009 0 0 0 69 0 0 0 15 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=16188/tid=16204] ppid=16186 vsize=10622444 CPUtime=1.57 cores=1,3,5,7
/proc/16188/task/16204/stat : 16204 (java) S 16186 16188 13533 0 -1 4202560 17271 0 0 0 155 2 0 0 15 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16205] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16205/stat : 16205 (java) S 16186 16188 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=16188/tid=16206] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16206/stat : 16206 (java) S 16186 16188 13533 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 830392315 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=16188/tid=16222] ppid=16186 vsize=10622444 CPUtime=0 cores=1,3,5,7
/proc/16188/task/16222/stat : 16222 (java) S 16186 16188 13533 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 830392528 10877382656 135308 33554432000 1073741824 1073778376 140735567551424 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 195.36
Current children cumulated vsize (KiB) 10622444

Child status: 30
Real time (s): 103.45
CPU time (s): 195.404
CPU user time (s): 195.133
CPU system time (s): 0.270958
CPU usage (%): 188.887
Max. virtual memory (cumulated for all children) (KiB): 10622444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 195.133
system time used= 0.270958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150832
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= 7727
involuntary context switches= 5844

runsolver used 0.534918 second user time and 1.19882 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-04 13:45:26
IDJOB=3455046
IDBENCH=1865
IDSOLVER=1950
FILE ID=node127/3455046-1307187926
RUNJOBID= node127-1307187918-15913
PBS_JOBID= 13508856
Free space on /tmp= 73948 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455046-1307187926/watcher-3455046-1307187926 -o /tmp/evaluation-result-3455046-1307187926/solver-3455046-1307187926 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455046-1307187926.opb

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

MD5SUM BENCH= 5084bd7d25dcb1d535d550da78b2db16
RANDOM SEED=513341405

node127.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.823
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.823
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	: 5332.83
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.823
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.74
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.823
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.86
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.823
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.75
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.823
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.823
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.60
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.823
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:     32950928 kB
MemFree:      26979544 kB
Buffers:        331080 kB
Cached:         922908 kB
SwapCached:      59160 kB
Active:        3685296 kB
Inactive:      1995908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26979544 kB
SwapTotal:    67111528 kB
SwapFree:     39617324 kB
Dirty:            1172 kB
Writeback:           0 kB
AnonPages:     4374632 kB
Mapped:          30352 kB
Slab:           124424 kB
PageTables:      95704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 130114376 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 /tmp at the end= 73948 MiB
End job on node127 at 2011-06-04 13:47:10